A Ramsey Theorem on semigroups and a general van der Corput lemma

Anush Tserunyan

Research output: Contribution to journalArticlepeer-review


A major theme in arithmetic combinatorics is proving multiple recurrence results on semigroups (such as Szemerédi’s theorem) and this can often be done using methods of ergodic Ramsey theory. What usually lies at the heart of such proofs is that, for actions of semigroups, a certain kind of one recurrence (mixing along a filter) amplifies itself to multiple recurrence. This amplification is proved using a so-called van der Corput difference lemma for a suitable filter on the semigroup. Particular instances of this lemma (for concrete filters) have been proven before (by Furstenberg, Bergelson-McCutcheon, and others), with a somewhat different proof in each case. We define a notion of differentiation for subsets of semigroups and isolate the class of filters that respect this notion. The filters in this class (call them ∂-filters) include all those for which the van der Corput lemma was known, and our main result is a van der Corput lemma for ∂-filters, which thus generalizes all its previous instances. This is done via proving a Ramsey theorem for graphs on the semigroup with edges between the semigroup elements labeled by their ratios.

Original languageEnglish (US)
Pages (from-to)718-741
Number of pages24
JournalJournal of Symbolic Logic
Issue number2
StatePublished - Jun 1 2016


  • Difference lemma
  • Differentiation on semigroups
  • Filter
  • Ramsey
  • Van dercorput

ASJC Scopus subject areas

  • Philosophy
  • Logic


Dive into the research topics of 'A Ramsey Theorem on semigroups and a general van der Corput lemma'. Together they form a unique fingerprint.

Cite this