arXiv++ Combinatorics

The goal of this note is to provide a general lower bound on the number of even values of the Fourier coefficients of an arbitrary eta-quotient $F$, over any arithmetic progression. Namely, if $g_{a,b}(x)$ denotes the number of even coefficients of $F$ in degrees $n\equiv b$ (mod $a$) such that $n\le x$, then we show that $g_{a,b}(x) / \sqrt{x}$ is unbounded for $x$ large. Note that our result is very close to the best bound currently known even in the special case of the partition function $p(n)$ (namely, $\sqrt{x}\log \log x$, proven by Bellaïche and Nicolas in 2016). Our argument substantially relies upon, and generalizes, Serre's classical theorem on the number of even values of $p(n)$, combined with a recent modular-form result by Cotron \emph{et al.} on the lacunarity modulo 2 of certain eta-quotients. Interestingly, even in the case of $p(n)$ first shown by Serre, no elementary proof is known of this bound. At the end, we propose an elegant problem on quadratic representations, whose solution would finally yield a modular form-free proof of Serre's theorem.

A corner is a triple of points in $\Bbb{Z}^2$ of the form $(x,y),(x+d,y),(x,y+d)$ where $d\neq 0$. One can think of them as being 2D-analogues to 3-term arithmetic progressions. In this short note, we extend ideas of Green-Wolf from this latter setting to the former, achieving slightly better constructions of corner-free sets.

Several network communication problems are highly related such as coded caching and distributed computation. The centralized coded caching focuses on reducing the network burden in peak times in a wireless network system and the coded distributed computation studies the tradeoff between computation and communication in distributed system. In this paper, motivated by the study of the only rainbow $3$-term arithmetic progressions set, we propose a unified framework for constructing coded caching schemes. This framework builds bridges between coded caching schemes and lots of combinatorial objects due to the freedom of the choices of families and operations. We prove that any scheme based on a placement delivery array (PDA) can be represented by a rainbow scheme under this framework and lots of other known schemes can also be included in this framework. Moreover, we also present a new coded caching scheme with linear subpacketization and near constant rate using the only rainbow $3$-term arithmetic progressions set. Next, we modify the framework to be applicable to the distributed computing problem. We present a new transmission scheme in the shuffle phase and show that in certain cases it could have a lower communication load than the schemes based on PDAs or resolvable designs with the same number of files.

Given a family $\mathcal{F}=\{A_1,\dots,A_s\}$ of subsets of $\mathbb{Z}_n$, define $Δ\mathcal{F}$ to be the multiset of all (cyclic) distances dist$(x,y)$, where $\{x,y\} \subset A_i$, $x \neq y$, for some $i=1,\dots,s$. Taking inspiration from a Euclidean distance problem of Erdős, we say that $\mathcal{F}$ is Erdős-deep if the multiplicities of distances that occur in $Δ\mathcal{F}$ are precisely $1,2,\dots,k-1$ for some integer $k$. In the case $s=1$, it is known that a modular arithmetic progression in $\mathbb{Z}_n$ achieves this property (under mild conditions); conversely, APs are the only such sets, except for one sporadic case when $n=6$. Here, we consider in detail the case $s=2$. In particular, we classify Erdős-deep pairs $\{A_1,A_2\}$ when each $A_i$ is an arithmetic progression in $\mathbb{Z}_n$. We also give a construction of a much wider class of Erdős-deep families $\{A_1,\dots,A_s\}$ when $s$ is a square integer.

A famous result of D. Walkup is that an $m\times n$ rectangle may be tiled by T-tetrominos if and only if both $m$ and $n$ are multiples of 4. The "if" portion may be proved by tiling a $4\times 4$ block, and then copying that block to fill the rectangle; but, this leads to regular, periodic tilings. In this paper we investigate how much "order" must be present in every tiling of a rectangle by T-tetrominos, where we measure order by length of arithmetic progressions of tiles.

In the topological dynamical system $(X,T)$, a point $x$ simultaneously approximates a point $y$ if there exists a sequence $n_1$, $n_2$, ... of natural numbers for which $T^{n_i} x$, $T^{2n_i}x$, ..., $T^{k n_i} x$ all tend to $y$. In 1978, Furstenberg and Weiss showed that every system possesses a point which simultaneously approximates itself (a multiply recurrent point) and deduced refinements of van der Waerden's theorem on arithmetic progressions. In this paper, we study the denseness of the set of points that are simultaneously approximated by a given point. We show that in a minimal nilsystem, all points simultaneously approximate a $δ$-dense set of points under a necessarily restricted set of powers of $T$. We tie this theorem to the multiplicative combinatorial properties of return-time sets, showing that all nil-Bohr sets and typical return-time sets in a minimal system are multiplicatively thick in a coset of a multiplicative subsemigroup of the natural numbers. This yields an inhomogeneous multiple recurrence result that generalizes Furstenberg and Weiss' theorem and leads to new enhancements of van der Waerden's theorem. This work relies crucially on continuity in the prolongation relation (the closure of the orbit-closure relation) developed by Auslander, Akin, and Glasner; the theory of rational points and polynomials on nilmanifolds developed by Leibman, Green, and Tao; and the machinery of topological characteristic factors developed recently by Glasner, Huang, Shao, Weiss, and Ye.

For given positive integers $a_1,a_2,\dots,a_k$ with $\gcd(a_1,a_2,\dots,a_k)=1$, the denumerant $d(n)=d(n;a_1,a_2,\dots,a_k)$ is the number of nonnegative solutions $(x_1,x_2,\dots,x_k)$ of the linear equation $a_1 x_1+a_2 x_2+\dots+a_k x_k=n$ for a positive integer $n$. For a given nonnegative integer $p$, let $S_p=S_p(a_1,a_2,\dots,a_k)$ be the set of all nonnegative integers $n$'s such that $d(n)>p$. In this paper, we are interested in the $p$-Frobenius number, which is the maximum of the set of gaps $\mathbb N_0\backslash S_p$. Here $\mathbb N_0$ denotes the set of nonnegative integers. When $p=0$, $S=S_0$ is the original numerical semigroup, and the $0$-Frobenius number is the original Frobenius number. The explicit formula for two variables is known not only for $p=0$ but also for $p>0$, but when there are three or more variables, it is difficult even in the special case of $p=0$. For $p>0$, it is not only more difficult, but no explicit formula had been found. In this paper, explicit formulas of the $p$-Frobenius number and related values are given for the triple of arithmetic progressions. The main tool is to determine the elements of the $p$-Apéry set.

This is the text accompanying my Bourbaki seminar on the work of Bloom and Sisask, Croot, Lev, and Pach, and Ellenberg and Gijswijt.

A $k$-term arithmetic progression ($k$-AP) in a graph $G$ is a list of vertices such that each consecutive pair of vertices is the same distance apart. If $c$ is a coloring function of the vertices of $G$ and a $k$-AP in $G$ has each vertex colored distinctly, then that $k$-AP is a rainbow $k$-AP. The anti-van der Waerden number of a graph $G$ with respect to $k$ is the least positive integer $r$ such that every surjective coloring with domain $V(G)$ and codomain $\{1,2,\dots,r\} = [r]$ is guaranteed to have a rainbow $k$-AP. This paper focuses on $3$-APs and graph products with cycles. Specifically, the anti-van der Waerden number with respect to $3$ is determined precisely for $P_m \square C_n$, $C_m\square C_n$ and $G\square C_{2n+1}$.

In its usual form, Freiman's 3k-4 theorem states that if A and B are subsets of the integers of size k with small sumset (of size close to 2k) then they are very close to arithmetic progressions. Our aim in this paper is to strengthen this by allowing only a bounded number of possible summands from one of the sets. We show that if A and B are subsets of the integers of size k such that for any four-element subset X of B the sumset A+X has size not much more than 2k then already this implies that A and B are very close to arithmetic progressions.

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 formulae for the power and weighted sum of nonrepresentable positive integers. As applications, we show explicit expressions of these sums for $a_1,a_2,\dots,a_k$ forming arithmetic progressions.

Let $e_v(n)$ denote the number of occurrences of a fixed pattern $v$ in the binary expansion of $n \in \mathbb{N}$. In this paper we study monochromatic arithmetic progressions in the class of binary words $(e_v(n) \bmod{2})_{n \geq 0}$, which includes the famous Thue--Morse word $\mathbf{t}$ and Rudin--Shapiro word $\mathbf{r}$. We prove that the length of a monochromatic arithmetic progression of difference $d \geq 3$ starting at $0$ in $\mathbf{r}$ is at most $(d+3)/2$, with equality for infinitely many $d$. Moreover, we compute the maximal length of a monochromatic arithmetic progression in $\mathbf{r}$ of difference $2^k-1$ and $2^k+1$. For a general pattern $v$ we provide an upper bound on the length of a monochromatic arithmetic progression of any difference $d$. We also prove other miscellaneous results and offer a number of related problems and conjectures.

Let $a_1,a_2,\dots,a_k$ be positive integers with $\gcd(a_1,a_2,\dots,a_k)=1$. The concept of the weighted sum $\sum_{n\in{\rm NR}}λ^{n}$ is introduced in \cite{KZ0,KZ}, where ${\rm NR}={\rm NR}(a_1,a_2,\dots,a_k)$ denotes the set of positive integers nonrepresentable in terms of $a_1,a_2,\dots,a_k$. When $λ=1$, such a sum is often called Sylvester sum. The main purpose of this paper is to give explicit expressions of the Sylvester sum ($λ=1$) and the weighed sum ($λ\ne 1$), where $a_1,a_2,\dots,a_k$ forms arithmetic progressions. As applications, various other cases are also considered, including weighted sums, almost arithmetic sequences, arithmetic sequences with an additional term, and geometric-like sequences. Several examples illustrate and confirm our results.

In this paper, we study the rainbow Erdős-Rothschild problem with respect to $k$-term arithmetic progressions. For a set of positive integers $S \subseteq [n]$, an $r$-coloring of $S$ is \emph{rainbow $k$-AP-free} if it contains no rainbow $k$-term arithmetic progression. Let $g_{r,k}(S)$ denote the number of rainbow $k$-AP-free $r$-colorings of $S$. For sufficiently large $n$ and fixed integers $r\ge k\ge 3$, we show that $g_{r,k}(S)<g_{r,k}([n])$ for any proper subset $S\subset [n]$. Further, we prove that $\lim_{n\to \infty}g_{r,k}([n])/(k-1)^n= \binom{r}{k-1}$. Our result is asymptotically best possible and implies that, almost all rainbow $k$-AP-free $r$-colorings of $[n]$ use only $k-1$ colors.

We give conditions under which certain digit-restricted integer sets avoid $k$-term arithmetic progressions. These sets and their harmonic sums can be computed efficiently. Through large-scale search, we identify integer sets avoiding arithmetic progressions of length 4 and 10 whose harmonic sums exceed earlier "greedy" constructions.

Given a natural $n$, we construct a two-coloring of $\mathbb{R}^n$ with the maximum metric satisfying the following. For any finite set of reals $S$ with diameter greater than $5^{n}$ such that the distance between any two consecutive points of $S$ does not exceed one, no isometric copy of $S$ is monochromatic. As a corollary, we prove that any normed space can be two-colored such that all sufficiently long unit arithmetic progressions contain points of both colors.

Let $X$ be a random variable and define its concentration function by $$\mathcal{Q}_{h}(X)=\sup_{x\in \mathbb{R}}\mathbb{P}(X\in (x,x+h]).$$ For a sum $S_n=X_1+\cdots+X_n$ of independent real-valued random variables the Kolmogorov-Rogozin inequality states that $$\mathcal{Q}_{h}(S_n)\leq C\left(\sum_{i=1}^{n}(1-\mathcal{Q}_{h}(X_i))\right)^{-\frac{1}{2}}.$$ In this paper we give an optimal bound for $\mathcal{Q}_{h}(S_n)$ in terms of $\mathcal{Q}_{h}(X_i)$, which settles a question posed by Leader and Radcliffe in 1994. Moreover, we show that the extremal distributions are mixtures of two uniform distributions each lying on an arithmetic progression.

Let $(u(n))_{n\in\mathbb{N}}$ be an arithmetic progression of natural integers in base $b\in\mathbb{N}\setminus \{0,1\}$. We consider the following sequences: $s(n)=\overline{u(0)u(1)\cdots u(n) }^b$ formed by concatenating the first $n+1$ terms of $(u(n))_{n\in\mathbb{N}}$ in base $b$ from the right; $s_g(n) = \overline{u(n)u(n-1)\cdots u(0)}^b$; and $(s_*(n))_{n\in\mathbb{N}}$, given by $s_*(0)=u(0)$, $s_*(n)=\overline{s(n)s_g(n-1)}^b, n\geq 1$. We construct explicit formulae for these sequences and use basic concepts of linear difference operators to prove they are not P-recursive (holonomic). We also present an alternative proof that follows directly from their definitions. We implemented $(s(n))_{n\in\mathbb{N}}$ and $(s_g(n))_{n\in\mathbb{N}}$ in the decimal base when $(u(n))_{n\in\mathbb{N}}=\mathbb{N}\setminus \{0\}$.

We prove that the size of the product set of any finite arithmetic progression $\mathcal{A}\subset \mathbb{Z}$ satisfies \[|\mathcal A \cdot \mathcal A| \ge \frac{|\mathcal A|^2}{(\log |\mathcal A|)^{2θ+o(1)} } ,\] where $2θ=1-(1+\log\log 2)/(\log 2)$ is the constant appearing in the celebrated Erdős multiplication table problem. This confirms a conjecture of Elekes and Ruzsa from about two decades ago. If instead $\mathcal{A}$ is relaxed to be a subset of a finite arithmetic progression in integers with positive constant density, we prove that \[|\mathcal A \cdot \mathcal A | \ge \frac{|\mathcal A|^{2}}{(\log |\mathcal A|)^{2\log 2- 1 + o(1)}}. \] This solves the typical case of another conjecture of Elekes and Ruzsa on the size of the product set of a set $\mathcal{A}$ whose sumset is of size $O(|\mathcal{A}|)$. Our bounds are sharp up to the $o(1)$ term in the exponents. We further prove asymmetric extensions of the above results.

In his 1984 Memoir of the American Mathematical Society, George Andrews defined two families of functions, $φ_k(n)$ and $cφ_k(n),$ which enumerate two types of combinatorial objects which Andrews called generalized Frobenius partitions. As part of that Memoir, Andrews proved a number of Ramanujan--like congruences satisfied by specific functions within these two families. In the years that followed, numerous other authors proved similar results for these functions, often with a view towards a specific choice of the parameter $k.$ In this brief note, our goal is to identify an {\bf infinite} family of values of $k$ such that $φ_k(n)$ is even for all $n$ in a specific arithmetic progression; in particular, our primary goal in this work is to prove that, for all positive integers $\ell,$ all primes $p\geq 5,$ and all values $r,$ $0 < r < p,$ such that $24r+1$ is a quadratic nonresidue modulo $p,$ $$ φ_{p\ell-1}(pn+r) \equiv 0 \pmod{2} $$ for all $n\geq 0.$ Our proof of this result is truly elementary, relying on a lemma from Andrews' Memoir, classical $q$--series results, and elementary generating function manipulations. Such a result, which holds for infinitely many values of $k,$ is rare in the study of arithmetic properties satisfied by generalized Frobenius partitions, primarily because of the unwieldy nature of the generating functions in question.