arXiv++ Combinatorics

The Marcus-Spielman-Srivastava theorem (Annals of Mathematics, 2015) for the Kadison-Singer conjecture implies the following result in spectral graph theory: For any undirected graph $G = (V,E)$ with a maximum edge effective resistance at most $α$, there exists a partition of its edge set $E$ into $E_1 \cup E_2$ such that the two edge-induced subgraphs of $G$ spectrally approximates $(1/2)G$ with a relative error $O(\sqrtα)$. However, the proof of this theorem is non-constructive. It remains an open question whether such a partition can be found in polynomial time, even for special classes of graphs. In this paper, we explore polynomial-time algorithms for partitioning circulant graphs via partitioning their generators. We develop an efficient algorithm that partitions a circulant graph whose generators form an arithmetic progression, with an error matching that in the Marcus-Spielman-Srivastava theorem and optimal, up to a constant. On the other hand, we prove that if the generators of a circulant graph are ``far" from an arithmetic progression, no partition of the generators can yield two circulant subgraphs with an error matching that in the Marcus-Spielman-Srivastava theorem. In addition, we extend our algorithm to Cayley graphs whose generators are from a product of multiple arithmetic progressions.

Building upon the work of Berglund (2018), we establish a method for constructing subsets $B \subseteq \mathbb{Z}_{mk}$ such that $B$ does not contain any $k$-term cyclic arithmetic progressions mod $mk$, where $m,k \in \mathbb{Z}^+$ with $k \geq 3$. This construction thereby provides concrete lower bounds for the maximum size of such subsets. Additionally, it allows us to tightly bound specific chromatic numbers $χ(mk,k)$ of $\mathbb{Z}_{mk}$ and helps increase the lower bounds of certain cyclic Van der Waerden numbers $W_{c}(k,r)$, originally introduced by Burkert and Johnson (2011) as a way of bounding the standard Van der Waerden numbers $W(k,r)$ from below for $r \geq 2$.

We introduce the arithmetic width of a convex body, defined as the number of distinct values a linear functional attains on the lattice points within the body. Arithmetic width refines lattice width by detecting gaps in the lattice point distribution and always provides a natural lower bound. We show that for large dilates of a convex body, the attained values form an arithmetic progression with only a bounded number of omissions near the extremes. For rational polytopes, we show that the arithmetic width grows eventually quasilinearly in the dilation parameter, with optimal directions reoccurring periodically. Lastly, we present algorithms to compute the arithmetic width. These results build new connections with discrete geometry, integer programming, and additive combinatorics.

We prove that any finite abelian group $G$ contains a collection of not too many subsets with a special structure, so that for every subset $A$ of $G$ with a small doubling, there is a member $F$ of the collection that is fully contained in the sumset $A+A$ and is not much smaller than it. Using this result we obtain improved bounds for the problem of estimating the typical independence number of sparse random Cayley or Cayley-sum graphs, and for the problem of estimating the smallest size of a subset of $G$ which is not a sumset. We also obtain tight bounds for the typical maximum length of an arithmetic progression in the sumset of a sparse random subset of $G$.

This paper considers some different measures for how additively structured a convex set can be. The main result gives a construction of a convex set $A$ containing $Ω(|A|^{3/2})$ three-term arithmetic progressions.

Let $n$, $s$, and $k$ be positive integers. We say that a sequence $f_1,\dots,f_s$ of nonnegative integers is satisfying if for any collection of $s$ families $\mathcal F_1,\dots,\mathcal F_s\subseteq [n]^k$ such that $|\mathcal F_i|=f_i$ for all $i$, there exists a rainbow matching, i.e., a list of pairwise disjoint tuples $F_1\in\mathcal F_1$, $\dots$, $F_s\in\mathcal F_s$. We investigate the question, posed by Kupavskii and Popova, of determining the smallest $c=c(n,s,k)$ such that the arithmetic progression $c$, $n^{k-1}+c$, $2n^{k-1}+c$, $\dots$, $(s-1)n^{k-1}+c$ is satisfying. We prove that the sequence is satisfying for $c=Ω_k(\max(s^2n^{k-2}, sn^{k-3/2}\sqrt{\log s}))$, improving the previous result by Kupavskii and Popova. We also study satisfying sequences for $k=2$ using the polynomial method, extending the previous result by Kupavskii and Popova to when $n$ is not prime.

A Steinhaus triangle modulo $m$ is a finite down-pointing triangle of elements in the finite cyclic group $\mathbb{Z}/m\mathbb{Z}$ satisfying the same local rule as the standard Pascal triangle modulo $m$. A Steinhaus triangle modulo $m$ is said to be balanced if it contains all the elements of $\mathbb{Z}/m\mathbb{Z}$ with the same multiplicity. In this paper, the existence of infinitely many balanced Steinhaus triangles modulo $m$, for any positive integer $m$, is shown. This is achieved by considering periodic triangles generated from interlaced arithmetic progressions. This positively answers a weak version of a problem, due to John C. Molluzzo in 1978, that has remained unsolved to date for the even values of $m\geqslant 12$.

In this note we connect Sobolev estimates in the context of polynomial averages e.g. \[ \| \int_0^1 \prod_{k=1}^m f_k(x-t^k) \|_{1} \leq \text{Const} \cdot 2^{-\text{const} \cdot l} \prod_{i=1}^m \| f_k \|_m \] whenever some $f_i$ vanishes on $\{ |ξ| \leq 2^l \}$ to the existence of polynomial progressions inside of sets of sufficiently large Hausdorff dimension, in analogy with work of Peluse in the discrete context. Our strongest (unconditional) result builds off deep work of Hu-Lie and is as follows: suppose that $\mathcal{P} = \{P_1,P_2,P_3\}$ vanish at the origin at different rates, and that $E \subset [0,1]$ has sufficiently large Hausdorff dimension, \[ 1 - \text{const}(\mathcal{P}) < \text{dim}_H(E) < 1 \] and Hausdorff content bounded away from zero, sufficiently large in terms of its dimension. Then $E$ contains a non-trivial polynomial progression of the form \[ \{ x , x - P_1(t), x - P_2(t), x - P_3(t) \} \subset E, \; \; \; t \neq 0. \] We also provide a short proof that whenever $E$ has sufficiently large Hausdorff dimension and Fourier dimension $> 1/2$, it necessarily contains a non-trivial generalized three-term arithmetic progression of the form \[ \{ x, x - θ_1 t, x- θ_2 t\} \subset E, \; \; \; θ_i \in \mathbb{Q},\ t \neq 0.\]

In this note, we consider Szemerédi's theorem on $k$-term arithmetic progressions over finite fields $\mathbb{F}_p^n$, where the allowed set $S$ of common differences in these progressions is chosen randomly of fixed size. Combining a generalization of an argument of Altman with Moshkovitz--Zhu's bounds for the partition rank of a tensor in terms of its analytic rank, we (slightly) improve the best known lower bounds (due to Briët) on the size $|S|$ required for Szemerédi's theorem with difference in $S$ to hold asymptotically almost surely.

We propose a family of quantum algorithms for estimating Gowers uniformity norms $ U^k $ over finite abelian groups and demonstrate their applications to testing polynomial structure and counting arithmetic progressions. Building on recent work for estimating the $ U^2 $-norm over $ \mathbb{F}_2^n $, we generalize the construction to arbitrary finite fields and abelian groups for higher values of $ k $. Our algorithms prepare quantum states encoding finite differences and apply Fourier sampling to estimate uniformity norms, enabling efficient detection of structural correlations. As a key application, we show that for certain degrees $ d = 4, 5, 6 $ and under appropriate conditions on the underlying field, there exist quasipolynomial-time quantum algorithms that distinguish whether a bounded function $ f(x) $ is a degree-$ d $ phase polynomial or far from any such structure. These algorithms leverage recent inverse theorems for Gowers norms, together with amplitude estimation, to reveal higher-order algebraic correlations. We also develop a quantum method for estimating the number of 3-term arithmetic progressions in Boolean functions $ f : \mathbb{F}_p^n \to \{0,1\} $, based on estimating the $ U^2 $-norm. Though not as query-efficient as Grover-based counting, our approach provides a structure-sensitive alternative aligned with additive combinatorics. Finally, we demonstrate that our techniques remain valid under certain quantum noise models, due to the shift-invariance of Gowers norms. This enables noise-resilient implementations within the NISQ regime and suggests that Gowers-norm-based quantum algorithms may serve as robust primitives for quantum property testing, learning, and pseudorandomness.

Fix integers $r \ge 2$ and $1\le s_1\le \cdots \le s_{r-1}\le t$ and set $s=\prod_{i=1}^{r-1}s_i$. Let $K=K(s_1, \ldots, s_{r-1}, t)$ denote the complete $r$-partite $r$-uniform hypergraph with parts of size $s_1, \ldots, s_{r-1}, t$. We prove that the Zarankiewicz number $z(n, K)= n^{r-1/s-o(1)}$ provided $t> 3^{s+o(s)}$. Previously this was known only for $t > ((r-1)(s-1))!$ due to Pohoata and Zakharov. Our novel approach, which uses Behrend's construction of sets with no 3 term arithmetic progression, also applies for small values of $s_i$, for example, it gives $z(n, K(2,2,7))=n^{11/4-o(1)}$ where the exponent 11/4 is optimal, whereas previously this was only known with 7 replaced by 721.

This article focuses on the occurrence of three-point configurations in subsets of $\mathbb{R}^d$ for $d\geq 1$ of sufficient thickness. We prove that compact sets $A\subset \mathbb{R}^d$ contain a similar copy of any linear $3$ point configuration provided $A$ satisfies a mild Yavicoli-thickness condition and an $r$-uniformity condition for $d\geq 2$; or, when $d=1$, the result holds provided the Newhouse thickness of $A$ is at least $1$. Moreover, we prove that compact sets $A\subset \mathbb{R}^2$ contain the vertices of an equilateral triangle (and more generally, the vertices of a similar copy of any given triangle) provided $A$ satisfies a mild Yavicoli-thickness condition and an $r$-uniformity condition. Further, $C\times C$ contains the vertices of an equilateral triangle (and more generally the vertices of a similar copy of any given three-point configuration) provided the Newhouse thickness of $C$ is at least $1$. These are among the first results in the literature to give explicit criteria for the occurrence of three-point configurations in the plane.

We analyze generalized progressions in some nonabelian groups using a measure of complexity called VC-dimension, which was originally introduced in statistical learning theory by Vapnik and Chervonenkis. Here by a "generalized progression" in a group $G$, we mean a finite subset of $G$ built from a fixed set of generators in analogy to a (multidimensional) arithmetic progression of integers. These sets play an important role in additive combinatorics and, in particular, the study of approximate groups. Our two main results establish finite upper bounds on the VC-dimension of certain set systems of generalized progressions in finitely generated free groups and also the Heisenberg group over $\mathbb{Z}$.

By Maynard's theorem and the subsequent improvements by the Polymath Project, there exists a positive integer $b\leq 246$ such that there are infinitely many primes $p$ such that $p+b$ is also prime. Let $P_1,...,P_t\in \mathbb{Z}[y]$ with $P_1(0)=\cdots=P_t(0)=0$. We use the transference argument of Tao and Ziegler to prove there exist positive integers $x, y,$ and $b \leq 246 $ such that $x+P_1(y),x+P_2(y),...,x+P_t(y)$ and $x+P_1(y)+b,x+P_2(y)+b,...,x+P_t(y)+b$ are all prime. Our work is inspired by Pintz, who proved a similar result for the special case of arithmetic progressions.

In this article we describe all possible infinite linear configurations that can be found in a shift of any set of positive upper Banach density. This simultaneously generalizes Szemerédi's theorem on arithmetic progressions and the recent density finite sums theorem of Kra, Moreira, Richter, and Robertson.

Building on the techniques behind the recent progress on the 3-term arithmetic progression problem [KM'23], Kelley, Lovett, and Meka [KLM'24] constructed the first explicit 3-player function $f:[N]^3 \rightarrow \{0,1\}$ that demonstrates a strong separation between randomized and (non-)deterministic NOF communication complexity. Specifically, their hard function can be solved by a randomized protocol sending $O(1)$ bits, but requires $Ω(\log^{1/3}(N))$ bits of communication with a deterministic (or non-deterministic) protocol. We show a stronger $Ω(\log^{1/2}(N))$ lower bound for their construction. To achieve this, the key technical advancement is an improvement to the sifting argument for grid norms of (somewhat dense) bipartite graphs. In addition to quantitative improvement, we qualitatively improve over [KLM'24] by relaxing the hardness condition: while [KLM'24] proved their lower bound for any function $f$ that satisfies a strong two-sided pseudorandom condition, we show that a weak one-sided condition suffices. This is achieved by a new structural result for cylinder intersections (or, in graph-theoretic language, the set of triangles induced from a tripartite graph), showing that any small cylinder intersection can be efficiently covered by a sum of simple ``slice'' functions.

The combinatorial discrepancy of arithmetic progressions inside $[N] := \{1, \ldots, N\}$ is the smallest integer $D$ for which $[N]$ can be colored with two colors so that any arithmetic progression in $[N]$ contains at most $D$ more elements from one color class than the other. Bounding the discrepancy of such set systems is a classical problem in discrepancy theory. More recently, this problem was generalized to arithmetic progressions in grids like $[N]^d$ (Valk{ó}) and $[N_1]\times \ldots \times [N_d]$ (Fox, Xu, and Zhou). In the latter setting, Fox, Xu, and Zhou gave upper and lower bounds on the discrepancy that match within a $\frac{\log |Ω|}{\log \log |Ω|}$ factor, where $Ω:= [N_1]\times \ldots \times [N_d]$ is the ground set. In this work, we use the connection between factorization norms and discrepancy to improve their upper bound to be within a $\sqrt{\log|Ω|}$ factor from the lower bound. We also generalize Fox, Xu, and Zhou's lower bound, and our upper bounds to arithmetic progressions in arbitrary convex bodies.

Denote by $f_D(n)$ the maximum size of a set family $\mathcal{F}$ on $[n] \stackrel{\mbox{\normalfont\tiny def}}{=} \{1, \dots, n\}$ with distance set $D$. That is, $|A \bigtriangleup B| \in D$ holds for every pair of distinct sets $A, B \in \mathcal{F}$. Kleitman's celebrated discrete isodiametric inequality states that $f_D(n)$ is maximized at Hamming balls of radius $d/2$ when $D = \{1, \dots, d\}$. We study the generalization where $D$ is a set of arithmetic progression and determine $f_D(n)$ asymptotically for all homogeneous $D$. In the special case when $D$ is an interval, our result confirms a conjecture of Huang, Klurman, and Pohoata. Moreover, we demonstrate a dichotomy in the growth of $f_D(n)$, showing linear growth in $n$ when $D$ is a non-homogeneous arithmetic progression. Different from previous combinatorial and spectral approaches, we deduce our results by converting the restricted distance problems to restricted intersection problems. Our proof ideas can be adapted to prove upper bounds on $t$-distance sets in Hamming cubes (also known as binary $t$-codes), which has been extensively studied by algebraic combinatorialists community, improving previous bounds from polynomial methods and optimization approaches.

The paper explores combinatorial properties of Fibonacci words and their generalizations within the framework of combinatorics on words. These infinite sequences, measures the diversity of subwords in Fibonacci words, showing non-decreasing growth for infinite sequences. Extends factor analysis to arithmetic progressions of symbols, highlighting generalized pattern distributions. Recent results link Sturmian sequences (including Fibonacci words) to unbounded binomial complexity and gap inequivalence, with implications for formal language theory and automata. This work underscores the interplay between substitution rules, algebraic number theory, and combinatorial complexity in infinite words, providing tools for applications in fractal geometry and theoretical computer science.

For any set $A$ of natural numbers with positive upper Banach density and any $k\geq 1$, we show the existence of an infinite set $B\subset{\mathbb N}$ and a shift $t\geq0$ such that $A-t$ contains all sums of $m$ distinct elements from $B$ for all $m\in\{1,\ldots,k\}$. This can be viewed as a density analog of Hindman's finite sums theorem. Our proof reveals the natural relationships among infinite sumsets, the dynamics underpinning arithmetic progressions, and homogeneous spaces of nilpotent Lie groups.