arXiv++ Combinatorics

Let $d(\cdot)$ denote the natural density on the positive integers. We characterize all sets $A,B$ with positive density satisfying $d(A+B)=d(A)+d(B)$, under the assumption that the two sets are not both contained in a proper finite union of residue classes. This gives a new inverse theorem for Kneser's sumset inequality in the integers, and provides a partial answer to a long-standing open question of Erdős and Graham.

The goal of this paper is to undertake an in-depth study of the phenomenon behind the Furstenberg--Sárközy theorem, which, in its modern form due to Kamae and Mendès-France, states that if $E$ is a set of integers with positive density and $P$ is an intersective polynomial, then there are distinct elements $x, y \in E$ such that $x - y = P(n)$ for some some $n$. In this paper, we identify an algebraic framework (rings of integers of global fields) for Furstenberg--Sárközy-type theorems. One of our main results establishes necessary and sufficient conditions for a polynomial to satisfy the Furstenberg--Sárközy theorem over the ring of integers of a global field, providing an extension of the result of Kamae and Mendès-France. The Furstenberg--Sárközy phenomenon goes beyond infinite rings and has interesting additional aspects in finite rings. As an example, classical exponential sum estimates can be used to show that large subsets of finite fields contain the asymptotically ``correct'' number of pairs $(x,y)$ whose difference is a square. In previous work, the class of polynomials satisfying this strong form of the Furstenberg--Sárközy theorem over finite fields was classified. In the present paper, we establish asymptotic results characterizing sequences of finite principal ideal rings that produce ``correct'' statistics in the Furstenberg--Sárközy theorem and show that these families are much more general than finite fields. As an application of our enhanced forms of the Furstenberg--Sárközy theorem over finite rings, we produce new families of examples of quasirandom graphs of algebraic origin. The production of these new examples hinges on a two-way connection between asymptotic total ergodicity -- the phenomenon responsible for enhanced versions of the Furstenberg--Sárközy theorem over finite fields and rings -- and quasirandomness.

Inspired by a question of Kra, Moreira, Richter, and Robertson, we prove two new results about infinite polynomial configurations in large subsets of the rational numbers. First, given a finite coloring of $\mathbb{Q}$, we show that there exists an infinite set $B = \{b_n : n \in \mathbb{N}\} \subseteq \mathbb{Q}$ such that $$\{b_i, b_i^2 + b_j : i < j\}$$ is monochromatic. Second, we prove that every subset of positive density in the rational numbers contains a translate of such an infinite configuration. The corresponding results in the integers are both known to be false, so our results provide natural and relatively simple examples of combinatorial structures that distinguish between the Ramsey-theoretic properties of the rational numbers and the integers. The proofs of our main results build upon methods developed in a series of papers by Kra, Moreira, Richter, and Robertson to translate from combinatorics into dynamics, where the core of the argument reduces to understanding the behavior of certain polynomial ergodic averages. The new dynamical tools required for this analysis are a Wiener--Wintner theorem for polynomially-twisted ergodic averages in $\mathbb{Q}$-systems and a structure theorem for Abramov $\mathbb{Q}$-systems.

The aim of this paper is to establish a Ratner-type equidistribution theorem for orbits on homogeneous spaces associated with $2$-nilpotent locally compact Polish groups under the action of a countable discrete abelian group. We apply this result to establish the existence of triple restricted sumsets in subsets of positive density in arbitrary countable discrete abelian groups, subject to a necessary finiteness condition.

Following their resolution of the Erdős $B+B+t$ problem, Kra Moreira, Richter, and Robertson posed a number of questions and conjectures related to infinite configurations in positive density subsets of the integers and other amenable groups. We give a negative answer to several of these questions and conjectures by producing families of counterexamples based on a construction of Ernst Straus. Included among our counterexamples, we exhibit, for any $\varepsilon > 0$, a set $A \subseteq \mathbb{N}$ with multiplicative upper Banach density at least $1 - \varepsilon$ such that $A$ does not contain any dilated product set $\{b_1b_2t : b_1, b_2 \in B, b_1 \ne b_2\}$ for an infinite set $B \subseteq \mathbb{N}$ and $t \in \mathbb{Q}_{>0}$. We also prove the existence of a set $A \subseteq \mathbb{N}$ with additive upper Banach density at least $1 - \varepsilon$ such that $A$ does not contain any polynomial configuration $\{b_1^2 + b_2 + t : b_1, b_2 \in B, b_1 < b_2\}$ for an infinite set $B \subseteq \mathbb{N}$ and $t \in \mathbb{Z}$. Counterexamples to some closely related problems are also discussed.

We prove a Khintchine-type recurrence theorem for pairs of endomorphisms of a countable discrete abelian group. As a special case of the main result, if $Γ$ is a countable discrete abelian group, $\varphi, ψ\in End(Γ)$, and $ψ- \varphi$ is an injective endomorphism with finite index image, then for any ergodic measure-preserving $Γ$-system $\left( X, \mathcal{X}, μ, (T_g)_{g \in Γ} \right)$, any measurable set $A \in \mathcal{X}$, and any $\varepsilon > 0$, the set of $g \in Γ$ for which $$μ\left( A \cap T_{\varphi(g)}^{-1} A \cap T_{ψ(g)}^{-1} A \right) > μ(A)^3 - \varepsilon$$ is syndetic. This generalizes the main results of (Ackelsberg--Bergelson--Shalom, 2022) and essentially answers a question left open in that paper (Question 1.12). For the group $Γ= \mathbb{Z}^d$, we deduce that for any matrices $M_1, M_2 \in M_{d \times d}(\mathbb{Z})$ whose difference $M_2 - M_1$ is nonsingular, any ergodic measure-preserving $\mathbb{Z}^d$-system $\left( X, \mathcal{X}, μ, (T_{\vec{n}})_{\vec{n} \in \mathbb{Z}^d} \right)$, any measurable set $A \in \mathcal{X}$, and any $\varepsilon > 0$, the set of $\vec{n} \in \mathbb{Z}^d$ for which $$μ\left( A \cap T_{M_1 \vec{n}}^{-1} A \cap T_{M_2 \vec{n}}^{-1} A \right) > μ(A)^3 - \varepsilon$$ is syndetic, a result that was previously known only in the case $d = 2$. The key ingredients in the proof are: (1) a recent result obtained jointly with Bergelson and Shalom that says that the relevant ergodic averages are controlled by a characteristic factor closely related to the quasi-affine (or Conze--Lesigne) factor; (2) an extension trick to reduce to systems with well-behaved (with respect to $\varphi$ and $ψ$) discrete spectrum; and (3) a description of Mackey groups associated to quasi-affine cocycles over rotational systems with well-behaved discrete spectrum.

The goal of this paper is to generalize, refine, and improve results on large intersections. We show that if $G$ is a countable abelian group and $\varphi, ψ: G \to G$ are homomorphisms such that at least two of the three subgroups $\varphi(G)$, $ψ(G)$, and $(ψ-\varphi)(G)$ have finite index in $G$, then $\{\varphi, ψ\}$ has the \emph{large intersections property}. That is, for any ergodic measure preserving system $X=(X,\mathcal{X},μ,(T_g)_{g\in G})$, any $A\in\mathcal{X}$, and any $\varepsilon>0$, the set $$\{g\in G : μ(A\cap T_{\varphi(g)}^{-1} A\cap T_{ψ(g)}^{-1}A)>μ(A)^3-\varepsilon\}$$ is syndetic. Moreover, in the special case where $\varphi(g)=ag$ and $ψ(g)=bg$ for $a,b\in\mathbb{Z}$, we show that we only need one of the groups $aG$, $bG$, or $(b-a)G$ to be of finite index in $G$, and we show that the property fails in general if all three groups are of infinite index. One particularly interesting case is where $G=(\mathbb{Q}_{>0},\cdot)$ and $\varphi(g)=g$, $ψ(g)=g^2$, which leads to a multiplicative version for the large intersection result of Bergelson-Host-Kra. We also completely characterize the pairs of homomorphisms $\varphi,ψ$ that have the large intersections property when $G=\mathbb{Z}^2$. The proofs of our main results rely on analysis of the structure of the \emph{universal characteristic factor} for the multiple ergodic averages $$\frac{1}{|Φ_N|} \sum_{g\in Φ_N}T_{\varphi(g)}f_1\cdot T_{ψ(g)} f_2.$$ In the case where $G$ is finitely-generated, the characteristic factor for such averages is the \emph{Kronecker factor}. In this paper, we study actions of groups that are not necessarily finitely-generated, showing in particular that by passing to an extension of $X$, one can describe the characteristic factor in terms of the \emph{Conze--Lesigne factor} and the $σ$-algebras of $\varphi(G)$ and $ψ(G)$ invariant functions.

We demonstrate that the phenomenon of popular differences (aka the phenomenon of large intersections) holds for natural families of polynomial patterns in rings of integers of number fields. If $K$ is a number field with ring of integers $\mathcal{O}_K$ and $E \subseteq \mathcal{O}_K$ has positive upper Banach density $d^*(E) = δ> 0$, we show, inter alia: 1. If $p(x) \in K[x]$ is an intersective $\mathcal{O}_K$-valued polynomial and $r, s \in \mathcal{O}_K$ are distinct and nonzero, then for any $\varepsilon > 0$, the set of $n \in \mathcal{O}_K$ such that \[ d^* \left( \{ x \in \mathcal{O}_K : \{x, x + rp(n), x + sp(n)\} \subseteq E \} \right) > δ^3 - \varepsilon. \] is syndetic. Moreover, if $\frac{s}{r} \in \mathbb{Q}$, then there are syndetically many $n \in \mathcal{O}_K$ such that \[ d^* \left( \{ x \in \mathcal{O}_K : \{x, x + rp(n), x + sp(n), x + (r+s)p(n)\} \subseteq E \} \right) > δ^4 - \varepsilon. \] 2. If $\{p_1, \dots, p_k\} \subseteq K[x]$ is a jointly intersective family of linearly independent $\mathcal{O}_K$-valued polynomials, then the set of $n \in \mathcal{O}_K$ such that \[ d^* \left( \{ x \in \mathcal{O}_K : \{x, x + p_1(n), \dots, x + p_k(n)\} \subseteq E \} \right)> δ^{k+1} - \varepsilon \] is syndetic. These two results generalize and extend previous work of Frantzikinakis and Kra on polynomial configurations in $\mathbb{Z}$ and build upon recent work of the authors and Best on linear patterns in general abelian groups. The above combinatorial results follow from multiple recurrence results in ergodic theory, which require a sharpening of existing tools for handling polynomial multiple ergodic averages. A key advancement made in this paper is a new result on the equidistribution of polynomial orbits in nilmanifolds, which can be seen as a far-reaching generalization of Weyl's equidistribution theorem.

The purpose of this paper is to study the phenomenon of large intersections in the framework of multiple recurrence for measure-preserving actions of countable abelian groups. Among other things, we show: (1) If $G$ is a countable abelian group and $\varphi, ψ: G \to G$ are homomorphisms such that $\varphi(G)$, $ψ(G)$, and $(ψ- \varphi)(G)$ have finite index in $G$, then for every ergodic measure-preserving system $(X, \mathcal{B}, μ, (T_g)_{g \in G})$, every set $A \in \mathcal{B}$, and every $\varepsilon > 0$, the set $\{g \in G : μ(A \cap T_{\varphi(g)}^{-1}A \cap T_{ψ(g)}^{-1}A) > μ(A)^3 - \varepsilon\}$ is syndetic. (2) If $G$ is a countable abelian group and $r,s \in \mathbb{Z}$ are integers such that $rG$, $sG$, and $(r \pm s)G$ have finite index in $G$, then for every ergodic measure-preserving system $(X, \mathcal{B}, μ, (T_g)_{g \in G})$, every set $A \in \mathcal{B}$, and every $\varepsilon > 0$, the set $\{g \in G : μ(A \cap T_{rg}^{-1}A \cap T_{sg}^{-1}A \cap T_{(r+s)g}^{-1}A) > μ(A)^4 - \varepsilon\}$ is syndetic. In particular, these extend and generalize results of Bergelson, Host, and Kra concerning $\mathbb{Z}$-actions and of Bergelson, Tao, and Ziegler concerning $\mathbb{F}_p^{\infty}$-actions. Using an ergodic version of the Furstenberg correspondence principle, we obtain new combinatorial applications. We also discuss numerous examples shedding light on the necessity of the various hypotheses above. Our results lead to a number of interesting questions and conjectures, formulated in the introduction and at the end of the paper.

We study state transfer in quantum walk on graphs relative to the adjacency matrix. Our motivation is to understand how the addition of pendant subgraphs affect state transfer. For two graphs $G$ and $H$, the Frucht-Harary corona product $G \circ H$ is obtained by taking $|G|$ copies of the cone $K_{1} + H$ and by connecting the conical vertices according to $G$. Our work explores conditions under which the corona $G \circ H$ exhibits state transfer. We also describe new families of graphs with state transfer based on the corona product. Some of these constructions provide a generalization of related known results.

We prove that the corona product of two graphs has no Laplacian perfect state transfer whenever the first graph has at least two vertices. This complements a result of Coutinho and Liu who showed that no tree of size greater than two has Laplacian perfect state transfer. In contrast, we prove that the corona product of two graphs exhibits Laplacian pretty good state transfer, under some mild conditions. This provides the first known examples of families of graphs with Laplacian pretty good state transfer. Our result extends of the work of Fan and Godsil on double stars to the Laplacian setting. Moreover, we also show that the corona product of any cocktail party graph with a single vertex graph has Laplacian pretty good state transfer, even though odd cocktail party graphs have no perfect state transfer.