arXiv++ Combinatorics

Let $\cR=\{r+jm:j\geq0\}$ and $\cS=\{s+jm:j\geq0\}$ be disjoint arithmetic progressions of positive integers, and choose a partition of $n$ uniformly at random. We determine the limiting probability that the number of parts in $\cR$ is larger than the number of parts in $\cS$. More precisely, if $a=r/m$ and $b=s/m$, then this probability converges to $I_{1/2}(a,b)$, the regularized incomplete beta function. We prove the stronger distributional statement that, after multiplication by the partition saddle-point parameter, the difference of the two numbers of parts converges to $m^{-1}(\log G_b-\log G_a)$, where $G_a$ and $G_b$ are independent gamma variables. The proof uses the Boltzmann conditioning device for random partitions, a $q$-gamma evaluation of the unconditioned characteristic function, and a uniform Fourier estimate showing that conditioning on the total size does not change the limit. We also evaluate the finite-truncation limit studied by Li and Zhao. The two evaluations coincide, proving their conjecture on the commutation of the truncation and large-size limits.

A set $S$ of positive integers is $2$-large if every two-coloring contains arbitrarily long monochromatic arithmetic progressions with common difference in $S$. We prove that every such set meets every nil-Bohr neighborhood of $0$. This proves a conjecture of the first author and gives a sharp answer to a question of Host, Kra, and Maass. We also show that, for every fixed nil-Bohr neighborhood $B$ of $0$ and every $\varepsilon>0$, restricting the common difference to $B$ increases the extremal number for $k$-term arithmetic progressions by at most a factor of $1+\varepsilon$, provided $k$ is sufficiently large.

Let $m\geq1$ be an integer and let $W=(m\mathbb N_0+X)\cup U\cup V\subseteq\mathbb Z$ be bounded below, where $X\ne\varnothing$, $[U]_m\subseteq[X]_m$, $[X]_m\cap[V]_m=\varnothing$, and $V$ contains no infinite arithmetic progression with common difference $m$. Here $[S]_m$ denotes the set of residue classes modulo $m$ represented by $S$. Suppose that $W$ satisfies the $\mathcal C$-condition modulo $m$. For $0\leq r<m$, let $V_r=V\cap(r+m\mathbb Z)$, and put $V'=\bigcup_{|V_r|=\infty}V_r$, where the union is over $0\leq r<m$. We prove that $W$ has a minimal additive complement if $V'$ satisfies the big-hole property modulo $m$. This answers a problem posed by Ma and Chen.

For $n\in\mathbb N$, let $μ_n$ be the uniform measure on $2^{[n]}$. A family $\mathcal F \subseteq2^{[n]}$ is called $k$-AP-intersecting if $F_1\cap F_2$ contains a nonconstant $k$-term arithmetic progression for every $F_1, F_2\in\mathcal F$. Writing $m_k$ for the supremum of $μ_n(\mathcal F)$ over all $n$ and all such families $\mathcal F$, we prove \[ 2^{-k}\le m_k\le32\cdot 2^{-k}\qquad(k\ge3). \] This greatly improves a recent result of Gillott, who proved that $m_k \leq k^{-1/3}$ for all sufficiently large $k$, and answers his question on $m_k$'s exponential decay. We also prove a similar bound for the corresponding cross-intersection problem.

Let $α_1,\ldots,α_d$ be real numbers, fix $δ>0$, and let $S$ be the set of positive integers $s$ such that $\|α_i s\|_{\R/\Z}>δ$ for some $1\le i\le d$. We prove that $S$ is not \enquote{$2$-large}, i.e. there is a $2$-coloring of $\N$ that avoids arbitrarily long monochromatic arithmetic progressions with common differences in $S$. The case $d=1$ was previously known; here we prove the result in every finite dimension.

We prove that there exists an absolute constant $c > 0$ such that the following holds for every $k \ge 3$ and $p \ge n^{-c / \log \log k}$. Letting $δ> 0$ and $D \sim [n]_p$, with high probability every ${S \subset [n]}$ with $|S| \ge δn$ contains a $k$-term arithmetic progression whose common difference lies in $D$. This improves the best known bounds for the threshold of Szemerédi's theorem with random differences for all sufficiently large $k$, previously of the form ${p \ge n^{-2/k+o(1)}}$, due to Briët and Castro-Silva. We obtain our improvement via a small cover lemma, in the sense of Alon and Pham's work on random Cayley graphs, and its proof crucially relies on a construction of Green and Ruzsa in the context of the arithmetic Kakeya conjecture. The usage of the latter was suggested to us by GPT 6 Astra.

We study GLMY path homology of circulant digraphs through step-word complexes and infinite cyclic lifts. We first prove chain retractions for interval connection sets. For a fixed finite positive connection set $S$ containing $1$, the infinite lift yields a split exact sequence and all-degree stability over every field. We then encode the short additive relations of $S$ in a lattice lift and obtain exterior homology in arbitrarily high degrees for collision-free step sets. Under an exact Freiman admissibility condition, we classify all connection sets with three positive steps. For arbitrarily many steps, we compute rectangular additive configurations and arithmetic progressions over every field, and doubling strings in characteristic zero, including their boundary ranks.

We show that there exists $c > 0$ such that any subset of $\{1,\ldots,N\}$ having size $\gg N / \exp( (\log\log\log N)^c )$ contains a nontrivial pattern of the form $x,x+y,x+2y,x+y^3$. It is the first configuration of complexity strictly greater than $0$, other than refinements of arithmetic progressions, for which quantitative bounds over integers were obtained.

We introduce an asymmetric variant of a classic problem by Roth about colourings of integers and midpoints. The new problem cannot be solved with the standard approach by Erdös-Sárközy-Sós which uses symmetry. We describe a Fourier Analytic approach which gives asymptotically tight bounds. In the $\mathbb{F}_3^n$ setting, the density increment we show is efficient and together with the Freiman-Ruzsa Theorem provides an affine subspace of near optimal codimension within the distinguished set. This approach adopted to the setting of the integers from $1$ to $N$ via Bohr sets and Bogolyubov-Ruzsa Lemma gives a progression of length being a power of $N$ which only depends on the number of colours. We then use Chang's Lemma and Balog-Szemerédi-Gowers Theorem to further improve the dependence on the number of colours.

Let $f(N,k)$ be the minimum size of a subset of $\{0,\ldots,N-1\}$ meeting every $k$-term arithmetic progression of positive difference contained in that interval. Improving on a bound of Truss, we prove that \[ f(n^2,n)\ge n+n^{1-o(1)} \] as $n\to\infty$. Improving on a bound of Xu, for primes $p$ we prove that \[ f(p^2,p)\le2p-(\sqrt2-o(1))\sqrt{\frac p{\log p}}. \]

We prove a variational formula for the logarithmic asymptotics of a non-existence probability in a broad class of combinatorial problems such as avoiding cliques in random graphs and $k$-term arithmetic progressions in random subsets of integers. These results follow from a formula for the probability that a binomial random subset of the vertices of a locally sparse hypergraph is an independent set. The formula holds throughout the critical regime, interpolating between the regimes in which Janson's inequality and the method of hypergraph containers give the respective asymptotics. The formula is the replica-symmetric Bethe free energy formula from statistical physics applied to a hypergraph hardcore model. The proof uses two new techniques. The first, for the upper bound, involves revealing a small `window' of a random independent set and then applying entropy methods. The second, for the lower bound, involves the analysis of a random greedy algorithm guided by a Belief Propagation fixed point. In the case of avoiding cliques in random graphs, the variational formula can be expressed as an optimization problem over graphons. Moreover, typical random graphs conditioned on not containing $K_r$, when suitably normalized, approach the set of optimizing graphons in cut distance.

We give negative answers to Kolmogorov's rearrangement problem and Garsia's conjecture. We construct a complete uniformly bounded orthonormal system for which every rearrangement admits a square-summable series divergent almost everywhere. The finite construction uses two copies of the trigonometric system in different orderings. The main ingredient is a combinatorial lemma which guarantees a prescribed ordering along an arithmetic progression in at least one of two related permutations. Its proof uses Szemerédi's theorem and a counting argument. A Walsh variant gives $N$-term $\{\pm1\}$-valued systems with $L^2$ maximal norm at least $c\log\log N$ in every ordering, matching Bourgain's upper bound.

We establish discorrelation estimates between the Piatetski-Shapiro prime set \[ \mathcal{P}_γ := \{p \text{ is prime and } p = \lfloor n^{1/γ} \rfloor \text{ for some } n \in \mathbb{N}\} \] and arbitrary nilsequences when $γ\in (0,1)$ is sufficiently close to $1$. This extends earlier works which treated linear or polynomial exponential phase functions. As an application, we establish an asymptotic formula for the number of solutions in $\mathcal{P}_γ$ to any ``finite-complexity" system of linear equations, including for the number of $k$-term arithmetic progressions in $\mathcal{P}_γ$ up to a threshold $N$ for any given $k \geq 3$. Furthermore, we show that there exists an absolute constant $C>0$ such that if \[ 1 - 2^{-Ck} < γ< 1, \] then the Piatetski-Shapiro primes $\mathcal{P}_γ$ contain infinitely many non-trivial $k$-term arithmetic progressions. This significantly improves upon the previous range of $γ$ obtained by Li and Pan, which is of triple exponential type.

Benjamini asked whether every configuration of points on the real line that is in equilibrium under the inverse-square repulsive force must be an arithmetic progression. Georgakopoulos and Kolountzakis proved this when some gap between consecutive points has maximal or minimal length, and described the general (aperiodic) case as open. We show that the answer is yes. More generally, let $1<s\le2$, and let $X\subset\mathbb{R}$ be a locally finite set with at least two points such that, for every $x\in X$, the total force $\sum_{y\in X\setminus\{x\}}|y-x|^{-s}$ is finite and the net force $\sum_{y\in X\setminus\{x\}}\operatorname{sgn}(y-x)\,|y-x|^{-s}$ is zero. Then $X$ is an arithmetic progression. No a priori assumption on the gaps is needed. Subtracting the equilibrium equations of two consecutive points shows that the gaps $g_n$ form a positive harmonic function for an explicit reversible random walk on $\mathbb{Z}$ with long-range jumps. Equilibrium also bounds the ratio of consecutive gaps, by $1.5386\ldots$ when $s=2$. With this bound, an energy estimate shows that the Doob transform of the walk by $g$ is recurrent. Since $1/g$ is a positive harmonic function of the transformed walk, it is constant.

A $k$-configuration is a collection of $k$ distinct integers $x_1,\ldots,x_k$ together with their pairwise arithmetic means $\frac{x_i+x_j}{2}$ for $1 \leq i < j \leq k$. Building on recent work of Filmus, Hatami, Hosseini and Kelman on binary systems of linear forms and of Kelley and Meka on Roth's theorem on arithmetic progressions, we show that, for $N \geq \exp((k\log(2/α))^{O(1)})$, any subset $A \subseteq [N]$ of density at least $α$ contains a $k$-configuration. This improves on the previously best known bound $N \geq \exp((2/α)^{O(k^2)})$, due to Shao. As a consequence, it follows that any finite non-empty set $A \subseteq \mathbb{Z}$ contains a subset $B \subseteq A$ of size at least $(\log|A|)^{1+Ω(1)}$ such that $b_1+b_2 \not\in A$ for any distinct $b_1,b_2 \in B$. This provides a new proof of a lower bound for the Erdős--Moser sum-free set problem of the same shape as the best known bound, established by Sanders.

Given $m \in \mathbb{N}$ and a $p$-random subset $A \subseteq \mathbb{N}$, we asymptotically determine $\log \Pr(|\mathbb{N} \setminus (A + A)| \ge m)$ for $p$ above the threshold for this property. As an application, we show that a uniformly at random chosen subset $A \subseteq \{1, \ldots, n\}$ of size $k$ such that $|A + A| \le λk$, for $λ= o(k^{1/4} / \log^{1/2} n)$, with high probability belongs to an arithmetic progression of length $λk / 2 + o(λk)$. Both proofs are based on a bespoke container argument, exploiting the additive robustness of the considered sets.

In this paper, we derive thresholds and fluctuations for arithmetic progressions with prescribed color patterns in sparse random colorings of $[n]:=\{1, 2, \ldots, n\}$, where each element of $[n]$ is colored independently according to a given probability vector. For any admissible ordered palette of colors, we determine the full multi-parameter threshold region for the appearance of a colorful arithmetic progression. The threshold is governed by two competing mechanisms: a global first-moment condition and a local color-availability condition, resulting in a polyhedral satisfiability region, with a piecewise-polyhedral threshold surface. In the satisfiability region we establish asymptotic normality for the number of colorful arithmetic progressions of a given length, with an explicit rate of convergence in Wasserstein distance. On the threshold surface, we identify three distinct asymptotic regimes: Poisson, compound Poisson with mixed Poisson jumps, and compound Poisson with uniform jumps, after an appropriate normalization. These results provide a complete description of the threshold and fluctuation behavior of general colored arithmetic progressions under sparse random colorings, in a unified framework that interpolates between classical uncolored/monochromatic progressions in binomial random subsets and multicolored, including rainbow, arithmetic progressions.

Let $u=(u_n)_{n\ge0}$ be a binary sequence, and define \[ X_0=1,\qquad X_{n+1}=2X_n+u_n \qquad(n\ge0). \] Let $A_u$ be the set of all nonempty finite subset sums of the sequence $(X_n)$, and let $L_u(N)$ denote the maximum length of an arithmetic progression contained in $A_u\cap[1,N]$. We prove that there are absolute constants $c>0$ and $N_0\geq 1$ such that, for every binary sequence $u$, \[ L_u(N)\ge \exp\!\left(c\sqrt{\frac{\log N}{\log\log N}}\right) \] for all $N\geq N_0$. Moreover, if the random variables $u_n$ are independent and uniformly distributed on $\{0,1\}$, then, almost surely, \[ L_u(N)\ll_u N^{2/3}\exp\!\left(C\sqrt{\log N\log\log N}\right), \] where $C>0$ is an absolute constant. Furthermore, every eventually periodic binary sequence satisfies $L_u(N)\gg_u N^{1/2}$.

For an integer $k\ge 3$, let $w(3,k)$ be the least $n$ such that every red-blue coloring of $[n]$ contains either a nontrivial three-term arithmetic progression in blue or a nontrivial $k$-term arithmetic progression in red. A recent breakthrough of Green proved that $w(3,k)\ge k^{Ω\left(\left(\frac{\log k}{\log\log k}\right)^{1/3}\right)}$ when $k$ is large, and Hunter later improved the bound to $w(3,k)\ge k^{Ω\left(\frac{\log k}{\log\log k}\right)}$. On the other hand, Green remarked that it is reasonable to believe that $w(3,k)\le k^{O(\log k)}$. We prove that $w(3,k)\ge k^{Ω(\log k)}$, which perhaps gives some evidence that $k^{Θ(\log k)}$ is the correct order of magnitude.

We develop a Ramsey theory for leaf-generated subsets of finite products of trees. Our starting point is a Theorem of Furstenberg and Weiss which states that for every $k\geq 1$ and $α>0$, if $A$ is a subset of the leaves of $T_n$, where $T_n$ is the complete binary tree of height $n$, with size $|A|\geq 2^{αn}$, then for $n$ sufficiently large the ancestor closed sub-tree $T_A\subset T_n$ generated by $A$ must contain a copy of $T_k$ such that (1) all vertices in the same level of $T_k$ are mapped into vertices at the same level of $T_A$, (2) if a non-leaf vertex $x\in T_k$ is mapped into a vertex $y \in T_A$, then the two children of $x$ are mapped into descendants of the two children of $y$, and (3) the levels of $T_A$ occupied by the copy of $T_k$ form an arithmetic progression. For the product $T_n \times T_n$ of two binary trees, we show that for every $k\geq 1$ and $α> 1$, for $n$ sufficiently large, every subset $A$ of the leaves of $T_n\times T_n$ of size at least $2^{αn}$ has that its ancestor closure $Γ_A\subset T_n \times T_n$ contains similarly structured arithmetic copies of the height $k$ four-ary tree, where the four children of every non-leaf vertex in the source tree are required to map below the four distinct \textit{diagonal children} of the image vertex, where a diagonal child of a vertex $(x,y) \in T_n \times T_n$ is obtained by moving one level down each in each component. Our results generalise to product of $d$-many finite $b$-ary trees with a sharp critical exponent of \[ α_{\text{crit}}(d,b) =d-1 + \log_b(b-1).\] Geometrically, our results imply that any set $E\subset [0,1)^d$ of upper Minkowski dimension greater than $α_{\text{crit}}(d,b)$ contains arithmetic $b$-adic branching patterns of arbitrary finite order.