arXiv++ Combinatorics

We analyze the rank gradient of finitely generated groups with respect to sequences of subgroups of finite index that do not necessarily form a chain, by connecting it to the cost of p.m.p. actions. We generalize several results that were only known for chains before. The connection is made by the notion of local-global convergence. In particular, we show that for a finitely generated group $Γ$ with fixed price $c$, every Farber sequence has rank gradient $c-1$. By adapting Lackenby's trichotomy theorem to this setting, we also show that in a finitely presented amenable group, every sequence of subgroups with index tending to infinity has vanishing rank gradient.

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.

The firefighter game problem on locally finite connected graphs was introduced by Bert Hartnell. The game on a graph $G$ can be described as follows: let $f_n$ be a sequence of positive integers; an initial fire starts at a finite set of vertices; at each (integer) time $n\geq 1$, $f_n$ vertices which are not on fire become protected, and then the fire spreads to all unprotected neighbors of vertices on fire; once a vertex is protected or is on fire, it remains so for all time intervals. The graph $G$ has the \emph{$f_n$-containment property} if every initial fire admits an strategy that protects $f_n$ vertices at time $n$ so that the set of vertices on fire is eventually constant. If the graph $G$ has the containment property for a sequence of the form $f_n=Cn^d$, then the graph is said to have \emph{polynomial containment}. In [5], it is shown that any locally finite graph with polynomial growth has polynomial containment; and it is remarked that the converse does not hold. That article also raised the question of whether the equivalence of polynomial growth and polynomial containment holds for Cayley graphs of finitely generated groups. In this short note, we remark how the equivalence holds for elementary amenable groups and for non-amenable groups from results in the literature.

We introduce the notion of (Ramsey) action of a tree on a (filtered) semigroup. We then prove in this setting a general result providing a common generalization of the infinitary Gowers Ramsey theorem for multiple tetris operations, the infinitary Hales--Jewett theorems (for both located and nonlocated words), and the Farah--Hindman--McLeod Ramsey theorem for layered actions on partial semigroups. We also establish a polynomial version of our main result, recovering the polynomial Milliken--Taylor theorem of Bergelson--Hindman--Williams as a particular case. We present applications of our Ramsey-theoretic results to the structure of delta sets in amenable groups.

In this paper we investigate the extent to which the Lovász Local Lemma (an important tool in probabilistic combinatorics) can be adapted for the measurable setting. In most applications, the Lovász Local Lemma is used to produce a function $f \colon X \to Y$ with certain properties, where $X$ is some underlying combinatorial structure and $Y$ is a (typically finite) set. Can this function $f$ be chosen to be Borel or $μ$-measurable for some probability Borel measure $μ$ on $X$ (assuming that $X$ is a standard Borel space)? In the positive direction, we prove that if the set of constraints put on $f$ is, in a certain sense, "locally finite," then there is always a Borel choice for $f$ that is "$\varepsilon$-close" to satisfying these constraints, for any $\varepsilon > 0$. Moreover, if the combinatorial structure on $X$ is "induced" by the $[0;1]$-shift action of a countable group $Γ$, then, even without any local finiteness assumptions, there is a Borel choice for $f$ which satisfies the constraints on an invariant conull set (i.e., with $\varepsilon = 0$). A direct corollary of our results is an upper bound on the measurable chromatic number of the graph $G_n$ generated by the shift action of the free group $\mathbb{F}_n$ that is asymptotically tight up to a factor of at most $2$ (which answers a question of Lyons and Nazarov). On the other hand, our result for structures induced by measure-preserving group actions is, at least for amenable groups, sharp in the following sense: a probability measure-preserving action of a countably infinite amenable group satisfies the measurable version of the Lovász Local Lemma if and only if it admits a factor map to the $[0;1]$-shift action. To prove this, we combine the tools of the Ornstein--Weiss theory of entropy for actions of amenable groups with concepts from computability theory, specifically, Kolmogorov complexity.

The connective constant $μ(G)$ of an infinite transitive graph $G$ is the exponential growth rate of the number of self-avoiding walks from a given origin. The relationship between connective constants and amenability is explored in the current work. Various properties of connective constants depend on the existence of so-called 'graph height functions', namely: (i) whether $μ(G)$ is a local function on certain graphs derived from $G$, (ii) the equality of $μ(G)$ and the asymptotic growth rate of bridges, and (iii) whether there exists a terminating algorithm for approximating $μ(G)$ to a given degree of accuracy. In the context of amenable groups, it is proved that the Cayley graphs of infinite, finitely generated, elementary amenable groups support graph height functions, which are in addition harmonic. In contrast, the Cayley graph of the Grigorchuk group, which is amenable but not elementary amenable, does not have a graph height function. In the context of non-amenable, transitive graphs, a lower bound is presented for the connective constant in terms of the spectral bottom of the graph. This is a strengthening of an earlier result of the same authors. Secondly, using a percolation inequality of Benjamini, Nachmias, and Peres, it is explained that the connective constant of a non-amenable, transitive graph with large girth is close to that of a regular tree. Examples are given of non-amenable groups without graph height functions, of which one is the Higman group.

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 define a class of groups equipped with an invariant probability measure, which includes all compact groups and is closed under taking ultraproducts with the induced Loeb measure; in fact, this class also contains the ultraproducts all locally compact unimodular amenable groups. We call the members of this class probability groups and develop the basics of the theory of their measure-preserving actions on probability spaces, including a natural notion of mixing. A short proof reveals that for probability groups mixing implies double recurrence, which generalizes a theorem of Bergelson and Tao proved for ultraproducts of finite groups. Moreover, a quantitative version of our proof gives that $\varepsilon$-approximate mixing implies $3\sqrt{\varepsilon}$-approximate double recurrence. Examples of approximately mixing probability groups are quasirandom groups introduced by Gowers, so the last theorem generalizes and sharpens the corresponding results for quasirandom groups of Bergelson and Tao, as well as of Austin. Lastly, we point out that the fact that the ultraproduct of locally compact unimodular amenable groups is a probability group provides a general alternative to Furstenberg correspondence principle.

We construct, in locally compact, second countable, amenable groups, sets with large density that fail to have certain combinatorial properties. For the property of being a shift of a set of measurable recurrence we show that this is possible when the group does not have cocompact von Neumann kernel. For the stronger property of being piecewise-syndetic we show that this is always possible. For minimally almost periodic, locally compact, second countable, amenable groups, we prove that any dilation of a positive density set by an open neighborhood of the identity contains a set of measurable recurrence, and that the same result holds, up to a shift, when the von Neumann kernel is cocompact. This leads to a trichotomy for locally compact, second countable, amenable groups based on combinatorial properties of large sets. We also prove, using a two-sided Furstenberg correspondence principle, that any two-sided dilation of a positive density set contains a two-sided finite products set.

Classical ergodic theory for integer-group actions uses entropy as a complete invariant for isomorphism of IID (independent, identically distributed) processes (a.k.a. product measures). This theory holds for amenable groups as well. Despite recent spectacular progress of Bowen, the situation for non-amenable groups, including free groups, is still largely mysterious. We present some illustrative results and open questions on free groups, which are particularly interesting in combinatorics, statistical physics, and probability. Our results include bounds on minimum and maximum bisection for random cubic graphs that improve on all past bounds.

Let $T_1$, $T_2$ be two commuting probability measure-preserving actions of a countable amenable group such that the group spanned by these actions acts ergodically. We show that $μ(A\cap T_1^g A\cap T_1^g T_2^g A) > μ(A)^4-ε$ on a syndetic set for any measurable set $A$ and any $ε>0$. The proof uses the concept of a sated system introduced by Austin.

Let $(X,μ)$ be a probability space, $G$ a countable amenable group and $(F_n)_n$ a left Følner sequence in $G$. This paper analyzes the non-conventional ergodic averages \[\frac{1}{|F_n|}\sum_{g \in F_n}\prod_{i=1}^d (f_i\circ T_1^g\cdots T_i^g)\] associated to a commuting tuple of $μ$-preserving actions $T_1$, ..., $T_d:G\curvearrowright X$ and $f_1$, ..., $f_d \in L^\infty(μ)$. We prove that these averages always converge in $\|\cdot\|_2$, and that they witness a multiple recurrence phenomenon when $f_1 = \ldots = f_d = 1_A$ for a non-negligible set $A\subseteq X$. This proves a conjecture of Bergelson, McCutcheon and Zhang. The proof relies on an adaptation from earlier works of the machinery of sated extensions.

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.

We prove non-amenability of the product replacement graphs Γ_n(G) for uniformly non-amenable groups. We also prove it for Z-large groups, when n is sufficiently large. It follows that Γ_n(G) is non-amenable when n is sufficiently large for hyperbolic groups, linear groups, and elementary amenable groups.

In this paper, we deal with a notion of Banach space-valued mappings defined on a set consisting of finite graphs with uniformly bounded vertex degree. These functions will be endowed with certain boundedness and additivity criteria. We examine their normalized long-term behaviour along a particular class of graph sequences. Using techniques developed by Elek, we show convergence in the topology of the Banach space if the corresponding graph sequence possesses a hyperfinite structure. These considerations extend and complement the corresponding results for amenable groups. As an application, we verify the uniform approximation of the integrated density of states for bounded, finite range operators on discrete structures. Further, we extend results concerning an abstract version of Fekete's Lemma for amenable groups and cancellative semigroups to the geometric situation of convergent graph sequences.

Beiglboeck, Bergelson and Fish proved that if subsets A,B of a countable discrete amenable group G have positive Banach densities a and b respectively, then the product set AB is piecewise syndetic, i.e. there exists k such that the union of k-many left translates of AB is thick. Using nonstandard analysis we give a shorter alternative proof of this result that does not require G to be countable, and moreover yields the explicit bound that k is not greater than 1/ab. We also prove with similar methods that if $\{A_i\}$ are finitely many subsets of G having positive Banach densities $a_i$ and G is countable, then there exists a subset B whose Banach density is at least the product of the densities $a_i$ and such that the product $BB^{-1}$ is a subset of the intersection of the product sets $A_i A_i^{-1}$. In particular, the latter set is piecewise Bohr.

We introduce the Solecki submeasure $σ(A)=\inf_F\sup_{x,y\in G}|F\cap xAy|/|F|$ and its left and right modifications on a group $G$, and study the interplay between the Solecki submeasure and the Haar measure on compact topological groups. Also we show that the right Solecki density on a countable amenable group coincides with the upper Banach density $d^*$ which allows us to generalize some fundamental results of Bogoliuboff, Folner, Cotlar and Ricabarra, Ellis and Keynes about difference sets and Jin, Beiglbock, Bergelson and Fish about the sumsets to the class of all amenable groups.

We show that the only random orderings of finite graphs that are invariant under isomorphism and induced subgraph are the uniform random orderings. We show how this implies the unique ergodicity of the automorphism group of the random graph. We give similar theorems for other structures, including, for example, metric spaces. These give the first examples of uniquely ergodic groups, other than compact groups and extremely amenable groups, after Glasner and Weiss's example of the group of all permutations of the integers. We also contrast these results to those for certain special classes of graphs and metric spaces in which such random orderings can be found that are not uniform.

The purpose of this article is to connect the notion of the amenability of a discrete group with a new form of structural Ramsey theory. The Ramsey theoretic reformulation of amenability constitutes a considerable weakening of the Folner criterion. As a by-product, it will be shown that in any non amenable group G, there is a subset E of G such that no finitely additive probability measure on G measures all translates of E equally.

Given a sequence of subsets A_n of {0,...,n-1}, the Furstenberg correspondence principle provides a shift-invariant measure on Cantor space that encodes combinatorial information about infinitely many of the A_n's. Here it is shown that this process can be inverted, so that for any such measure there are finite sets whose combinatorial properties approximate it arbitarily well. Moreover, we obtain an explicit upper bound on how large n has to be to obtain a sufficiently good approximation. As a consequence of the inversion theorem, we show that every computable invariant measure on Cantor space has a computable generic point. We also present a generalization of the correspondence principle and its inverse to countable discrete amenable groups.