arXiv++ Combinatorics

We extend Leth's notion of subsets of the integers satisfying the Standard interval measure (SIM) property to the class of virtually nilpotent groups and name the corresponding property the Standard ball measure (SBM) property. In order to do this, we define a natural measure on closed balls in asymptotic cones associated to such groups and show that this measure satisfies the Lebesgue density theorem. We then prove analogs of various properties known to hold for SIM sets in this broader context, occasionally assuming extra properties of the group, such as the small spheres property and the small gaps property.

We establish an approximate zero-one law for sentences of continuous logic over finite metric spaces of diameter at most $1$. More precisely, we axiomatize a complete metric theory $T_{\mathrm{as}}$ such that, given any sentence $σ$ in the language of pure metric spaces and any $ε>0$, the probability that the difference of the value of $σ$ in a random metric space of size $n$ and the value of $σ$ in any model of $T_{\mathrm{as}}$ is less than $ε$ approaches $1$ as $n$ approaches infinity. We also establish some model-theoretic properties of the theory $T_{\mathrm{as}}$.

We present the basic theory of central subsets of semigroups from the nonstandard perspective. A key feature of this perspective is the replacement of the algebra of ultrafilters with the algebra of elements of iterated hyperextensions, a technique first employed by Mauro Di Nasso.

We introduce the class of supra-SIM sets of natural numbers. We prove that this class is partition regular and closed under finite-embeddability. We also prove some results on sumsets and SIM sets motivated by their positive Banach density analogues.

The goal of this present manuscript is to introduce the reader to the nonstandard method and to provide an overview of its most prominent applications in Ramsey theory and combinatorial number theory.

We consider the question of when sets definable in first-order expansions of groups contain the product of two infinite sets (we refer to this as the "productset property"). We first show that the productset property holds for any definable subset $A$ of an expansion of a discrete amenable group such that $A$ has positive Banach density and the formula $x\cdot y\in A$ is stable. For arbitrary expansions of groups, we consider a "$1$-sided" version of the productset property, which is characterized in various ways using coheir independence. For stable groups, the productset property is equivalent to this $1$-sided version, and behaves as a notion of largeness for definable sets, which can be characterized by a natural weakening of model-theoretic genericity. Finally, we use recent work on regularity lemmas in distal theories to prove a definable version of the productset property for sets of positive Banach density definable in certain distal expansions of amenable groups.

Motivated by a question of Di Nasso, we prove that Hindman's theorem is equivalent to the existence of idempotent types in countable complete extensions of Peano Arithmetic.

We show that any subset of the natural numbers with positive logarithmic Banach density contains a set that is within a factor of two of a geometric progression, improving the bound on a previous result of the authors. Density conditions on subsets of the natural numbers that imply the existence of approximate powers of arithmetic progressions are developed and explored.

M. Beiglböck, V. Bergelson, and A. Fish proved that if $G$ is a countable amenable group and $A$ and $B$ are subsets of $G$ with positive Banach density, then the product set $AB$ is piecewise syndetic. This means that there is a finite subset $E$ of $G$ such that $EAB$ is thick, that is, $EAB$ contains translates of any finite subset of $G$. When $G=\mathbb{Z}$, this was first proven by R. Jin. We prove a quantitative version of the aforementioned result by providing a lower bound on the density (with respect to a Følner sequence) of the set of witnesses to the thickness of $% EAB$. When $G=\mathbb{Z}^d$, this result was first proven by the current set of authors using completely different techniques.

We provide a framework for proofs of structural theorems about sets with positive Banach logarithmic density. For example, we prove that if $A\subseteq \mathbb{N}$ has positive Banach logarithmic density, then $A$ contains an approximate geometric progression of any length. We also prove that if $A,B\subseteq \mathbb{N}$ have positive Banach logarithmic density, then there are arbitrarily long intervals whose gaps on $A\cdot B$ are multiplicatively bounded, a multiplicative version Jin's sumset theorem. The main technical tool is the use of a quotient of a Loeb measure space with respect to a multiplicative cut.

Erdős conjectured that for any set $A\subseteq \mathbb{N}$ with positive lower asymptotic density, there are infinite sets $B,C\subseteq \mathbb{N}$ such that $B+C\subseteq A$. We verify Erdős' conjecture in the case that $A$ has Banach density exceeding $\frac{1}{2}$. As a consequence, we prove that, for $A\subseteq \mathbb{N}$ with positive Banach density (a much weaker assumption than positive lower density), we can find infinite $B,C\subseteq \mathbb{N}$ such that $B+C$ is contained in the union of $A$ and a translate of $A$. Both of the aforementioned results are generalized to arbitrary countable amenable groups. We also provide a positive solution to Erdős' conjecture for subsets of the natural numbers that are pseudorandom.

The end compactification |Γ| of the locally finite graph Γis the union of the graph and its ends, endowed with a suitable topology. We show that π_1(|Γ|) embeds into a nonstandard free group with hyperfinitely many generators, i.e. an ultraproduct of finitely generated free groups, and that the embedding we construct factors through an embedding into an inverse limit of free groups, recovering a result of Diestel and Sprüssel.

We present a logical framework for formalizing connections between finitary combinatorics and measure theory or ergodic theory that have appeared various places throughout the literature. We develop the basic syntax and semantics of this logic and give applications, showing that the method can express the classic Furstenberg correspondence and to give a short proof of the Szemerédi Regularity Lemma. We also derive some connections between the model-theoretic notion of stability and the Gowers uniformity norms from combinatorics.