arXiv++ Combinatorics

We obtain a generalization of the recent Kelley--Meka result on sets avoiding arithmetic progressions of length three. In our proof we develop the theory of the higher energies. Also, we discuss the case of longer arithmetic progressions, as well as a general family of norms, which includes the higher energies norms and Gowers norms.

Suppose $j_N(τ)$ and $j_N^{*}(τ)$ are the Hauptmoduln of the congruence subgroup $Γ_0(N)$ and the Fricke group $Γ^{*}_0(N)$, respectively. In [7], the authors predicted that, like Klein's $j$-function, the Fourier coefficients of $j_N(τ)$ and $j_{N}^{*}(τ)$ in some arithmetic progression are both even and odd with density $\frac{1}{2}$. In this article, we can find some arithmetic progression of $n$ where the Fourier coefficients of $j_6(τ)$ (resp. $j_6^{*}(τ)$ and $j_{10}(τ)$) are almost always even. Furthermore, using Hecke eigenforms and Rogers-Ramanujan continued fraction, we obtain infinite families of congruences for $j_6(τ)$, $j_6^{*}(τ)$, $j_{10}(τ),$ and $j_{10}^{*}(τ)$.

Let $\mathcal{P}$ be a set of points in the plane, and $\mathcal{S}$ a strictly convex set of points. In this note, we show that if $\mathcal{P}$ contains many translates of $\mathcal{S}$, then these translates must come from a generalized arithmetic progression of low dimension. We also discuss an application to the unit distance conjecture.

We determine asymptotic growth rates for lengths of monochromatic arithmetic progressions in certain automatic sequences. In particular, we look at (one-sided) fixed points of aperiodic, primitive, bijective substitutions and spin substitutions, which are generalisations of the Thue--Morse and Rudin--Shapiro substitutions, respectively. For such infinite words, we show that there exists a subsequence $\left\{d_n\right\}$ of differences along which the maximum length $A(d_n)$ of a monochromatic arithmetic progression (with fixed difference $d_n$) grows at least polynomially in $d_n$. Explicit upper and lower bounds for the growth exponent can be derived from a finite group associated to the substitution. As an application, we obtain bounds for a van der Waerden-type number for a class of colourings parametrised by the size of the alphabet and the length of the substitution.

A permutation of the positive integers avoiding monotone arithmetic progressions of length $4$ with odd common difference was constructed in (LeSaulnier and Vijay, 2011). We generalise this result and show that for each $k\geq 1$, there exists a permutation of the positive integers that avoids monotone arithmetic progressions of length $4$ with common difference not divisible by $2^k$.

We give a self-contained exposition of the recent remarkable result of Kelley and Meka: if $A\subseteq \{1,\ldots,N\}$ has no non-trivial three-term arithmetic progressions then $\lvert A\rvert \leq \exp(-c(\log N)^{1/12})N$ for some constant $c>0$. Although our proof is identical to that of Kelley and Meka in all of the main ideas, we also incorporate some minor simplifications relating to Bohr sets. This eases some of the technical difficulties tackled by Kelley and Meka and widens the scope of their method. As a consequence, we improve the lower bounds for finding long arithmetic progressions in $A+A+A$, where $A\subseteq \{1,\ldots,N\}$.

The problem of counting the $\mathbb{F}_q$-valued points of a variety has been well-studied from algebro-geometric, topological, and combinatorial perspectives. We explore a combinatorially flavored version of this problem studied by Anzis et al. (2018), which is similar to work of Kontsevich, Elkies, and Haglund. Anzis et al. considered the question: what is the probability that the determinant of a Jacobi-Trudi matrix vanishes if the variables are chosen uniformly at random from a finite field? They gave a formula for various partitions such as hooks, staircases, and rectangles. We give a formula for partitions whose parts form an arithmetic progression, verifying and generalizing one of their conjectures. More generally, we compute the probability of the determinant vanishing for a class of matrices (``multislant matrices'') made of Toeplitz blocks with certain properties. We furthermore show that the determinant of a skew Jacobi-Trudi matrix is equidistributed across the finite field if the skew partition is a ribbon.

We show that for some constant $β> 0$, any subset $A$ of integers $\{1,\ldots,N\}$ of size at least $2^{-O((\log N)^β)} \cdot N$ contains a non-trivial three-term arithmetic progression. Previously, three-term arithmetic progressions were known to exist only for sets of size at least $N/(\log N)^{1 + c}$ for a constant $c > 0$. Our approach is first to develop new analytic techniques for addressing some related questions in the finite-field setting and then to apply some analogous variants of these same techniques, suitably adapted for the more complicated setting of integers.

We consider the number of the $6$-regular partitions of $n$, $b_6(n)$, and give infinite families of congruences modulo $3$ (in arithmetic progression) for $b_6(n)$. We also consider the number of the partitions of $n$ into distinct parts not congruent to $\pm 2$ modulo $6$, $Q_2(n)$, and investigate connections between $b_6(n)$ and $Q_2(n)$ providing new combinatorial interpretations for these partition functions. In this context, we discover new infinite families of linear inequalities involving Euler's partition function $p(n)$. Infinite families of linear inequalities involving the $6$-regular partition function $b_6(n)$ and the distinct partition function $Q_2(n)$ are proposed as open problems.

Erd\H os introduced the quantity $S=T\sum^T_{i=1}X_i$, where $X_1,\dots, X_T$ are arithmetic progressions, and cover the square numbers up to $N$. He conjectured that $S$ is close to $N$, i.e. the square numbers cannot be covered "economically" by arithmetic progressions. Sárközy confirmed this conjecture and proved that $S\geq cN/\log^2N$. In this paper, we extend this to shrinking polynomials and so-called $\{X_i\}$ quasi progressions.

We prove a known 2-coloring of the integers $[N] := \{1,2,3,\ldots,N\}$ minimizes the number of monochromatic arithmetic 3-progressions under certain restrictions. A monochromatic arithmetic progression is a set of equally-spaced integers that are all the same color. Previous work by Parrilo, Robertson and Saracino conjectured an optimal coloring for large $N$ that involves 12 colored blocks. Here, we prove that the conjecture is optimal among anti-symmetric colorings with 12 or fewer colored blocks. We leverage a connection to the coloring of the continuous interval $[0,1]$ used by Parrilo, Robertson, and Saracino as well as by Butler, Costello and Graham. Our proof identifies classes of colorings with permutations, then counts the permutations using mixed integer linear programming.

We examine the limiting behavior of multiple ergodic averages associated with arithmetic progressions whose differences are elements of a fixed integer sequence. For each $\ell$, we give necessary and sufficient conditions under which averages of length $\ell$ of the aforementioned form have the same limit as averages of $\ell$-term arithmetic progressions. As a corollary, we derive a sufficient condition for the presence of arithmetic progressions with length $\ell+1$ and restricted differences in dense subsets of integers. These results are a consequence of the following general theorem: in order to verify that a multiple ergodic average is controlled by the degree $d$ Gowers-Host-Kra seminorm, it suffices to show that it is controlled by some Gowers-Host-Kra seminorm, and that the degree $d$ control follows whenever we have degree $d+1$ control. The proof relies on an elementary inverse theorem for the Gowers-Host-Kra seminorms involving dual functions, combined with novel estimates on averages of seminorms of dual functions. We use these estimates to obtain a higher order variant of the degree lowering argument previously used to cover averages that converge to the product of integrals.

We consider measurable functions $f$ on $\mathbb{R}$ that tile simultaneously by two arithmetic progressions $α\mathbb{Z}$ and $β\mathbb{Z}$ at respective tiling levels $p$ and $q$. We are interested in two main questions: what are the possible values of the tiling levels $p,q$, and what is the least possible measure of the support of $f$? We obtain sharp results which show that the answers depend on arithmetic properties of $α, β$ and $p,q$, and in particular, on whether the numbers $α, β$ are rationally independent or not.

H.Furstenberg and E.Glasner proved that for an arbitrary $k\in\mathbb{N}$, any piecewise syndetic set of integers contains a $k$-term arithmetic progression and the collection of such progressions is itself piecewise syndetic in $\mathbb{Z}.$ The above result was extended for arbitrary semigroups by V. Bergelson and N. Hindman, using the algebra of the Stone-Čech compactification of discrete semigroups. However, they provided an abundance for various types of large sets. In \cite{DHS}, the first author, Neil Hindman and Dona Strauss introduced two notions of large sets, namely, $J$-set and $C$-set. In \cite{BG}, V. Bergelson and D. Glasscock introduced another notion of largeness, which is analogous to the notion of $J$-set, namely $\mathcal{CR}$- set. All these sets contain arithmetic progressions of arbitrary length. In \cite{DG}, the second author and S. Goswami proved that for any $J$-set, $A\subseteq\mathbb{N}$, the collection $\{(a,b):\,\{a,a+b,a+2b,\ldots,a+lb\}\subset A\}$ is a $J$-set in $(\mathbb{N\times\mathbb{N}},+)$. In this article, we prove the same for $\mathcal{CR}$-sets.

Van der Waerden's theorem states that for any positive integers $k$ and $r$, there exists a smallest value $n = w(k,r)$, called the van der Waerden number, such that every $r$-coloring of $\{1,\dots,n\}$ contains a monochromatic $k$-term arithmetic progression. We consider two variants of van der Waerden numbers: the numbers $n = n(AP_D,k;r)$, the smallest value where every $r$-coloring of $\{1,\dots,n\}$ contains a monochromatic $k$-term arithmetic progression with common difference in $D$, and the numbers $n = Δ(D,k;r)$, the smallest value $n$ where every $r$-coloring of $\{1,\dots,n\}$ contains a sequence $x_1 < \dots < x_k$ where the differences between consecutive terms are members of $D$. We study the case when $D$ is set of Fibonacci numbers $F$ and give improved bounds for the largest $r$ where $n(AP_F,k;r)$ and $Δ(F,k;r)$ exist for all $k$. Moreover, we give some computational data on $Δ(D,k;r)$ for other sets $D$.

A permutation of the integers avoiding monotone arithmetic progressions of length $6$ was constructed in (Geneson, 2018). We improve on this by constructing a permutation of the integers avoiding monotone arithmetic progressions of length $5$. We also construct permutations of the integers and the positive integers that improve on previous upper and lower density results. In (Davis et al. 1977) they constructed a doubly infinite permutation of the positive integers that avoids monotone arithmetic progressions of length $4$. We construct a doubly infinite permutation of the integers avoiding monotone arithmetic progressions of length $5$. A permutation of the positive integers that avoided monotone arithmetic progressions of length $4$ with odd common difference was constructed in (LeSaulnier and Vijay, 2011). We generalise this result and show that for each $k\geq 1$, there exists a permutation of the positive integers that avoids monotone arithmetic progressions of length $4$ with common difference not divisible by $2^k$. In addition, we specify the structure of permutations of $[1,n]$ that avoid length $3$ monotone arithmetic progressions mod $n$ as defined in (Davis et al. 1977) and provide an explicit construction for a multiplicative result on permutations that avoid length $k$ monotone arithmetic progressions mod $n$.

For integers $m$ and $n$, we study the problem of finding good lower bounds for the size of progression-free sets in $(\mathbb{Z}_{m}^{n},+)$. Let $r_{k}(\mathbb{Z}_{m}^{n})$ denote the maximal size of a subset of $\mathbb{Z}_{m}^{n}$ without arithmetic progressions of length $k$ and let $P^{-}(m)$ denote the least prime factor of $m$. We construct explicit progression-free sets and obtain the following improved lower bounds for $r_{k}(\mathbb{Z}_{m}^{n})$: If $k\geq 5$ is odd and $P^{-}(m)\geq (k+2)/2$, then \[r_k(\mathbb{Z}_m^n) \gg_{m,k} \frac{\bigl\lfloor \frac{k-1}{k+1}m +1\bigr\rfloor^{n}}{n^{\lfloor \frac{k-1}{k+1}m \rfloor/2}}. \] If $k\geq 4$ is even, $P^{-}(m) \geq k$ and $m \equiv -1 \bmod k$, then \[r_{k}(\mathbb{Z}_{m}^{n}) \gg_{m,k} \frac{\bigl\lfloor \frac{k-2}{k}m + 2\bigr\rfloor^{n}}{n^{\lfloor \frac{k-2}{k}m + 1\rfloor/2}}.\] Moreover, we give some further improved lower bounds on $r_k(\mathbb{Z}_p^n)$ for primes $p \leq 31$ and progression lengths $4 \leq k \leq 8$.

A covering system is a finite collection of arithmetic progressions whose union is the set of integers. The study of these objects was initiated by Erdős in 1950, and over the following decades he asked many questions about them. Most famously, he asked whether there exist covering systems with distinct moduli whose minimum modulus is arbitrarily large. This problem was resolved in 2015 by Hough, who showed that in any such system the minimum modulus is at most $10^{16}$. The purpose of this note is to give a gentle exposition of a simpler and stronger variant of Hough's method, which was recently used to answer several other questions about covering systems. We hope that this technique, which we call the distortion method, will have many further applications in other combinatorial settings.

Let $a_1,a_2,\dots,a_k$ be positive integers with $\gcd(a_1,a_2,\dots,a_k)=1$. Frobenius number is the largest positive integer that is NOT representable in terms of $a_1,a_2,\dots,a_k$. When $k\ge 3$, there is no explicit formula in general, but some formulae may exist for special sequences $a_1,a_2,\dots,a_k$, including, those forming arithmetic progressions and their modifications. In this paper we give explicit formulae for the sum of nonrepresentable positive integers (Sylvester sum) as well as Frobenius numbers and the number of nonrepresentable positive integers (Sylverster number) for $a_1,a_2,\dots,a_k$ forming arithmetic progressions with initial gaps.

A system of linear equations in $\mathbb{F}_p^n$ is \textit{Sidorenko} if any subset of $\mathbb{F}_p^n$ contains at least as many solutions to the system as a random set of the same density, asymptotically as $n\to \infty$. A system of linear equations is \textit{common} if any 2-colouring of $\mathbb{F}_p^n$ yields at least as many monochromatic solutions to the system of equations as a random 2-colouring, asymptotically as $n\to \infty$. Both classification problems remain wide open despite recent attention. We show that a certain generic family of systems of two linear equations is not Sidorenko. In fact, we show that systems in this family are not locally Sidorenko, and that systems in this family which do not contain additive tuples are not weakly locally Sidorenko. This endeavour answers a conjecture and question of Kamčev--Liebenau--Morrison. Insofar as methods, we observe that the true complexity of a linear system is not maintained under Fourier inversion; our main novelty is the use of higher-order methods in the frequency space of systems which have complexity one. We also give a shorter proof of the recent result of Kamčev--Liebenau--Morrison and independently Versteegen that any linear system containing a four term arithmetic progression is uncommon.