arXiv++ Combinatorics

Let f(x_1,x_2,...,x_m) = u_1x_1+u_2 x_2+... + u_mx_m be a linear form with positive integer coefficients, and let N_f(k) = min{|f(A)| : A \subseteq Z and |A|=k}. A minimizing k-set for f is a set A such that |A|=k and |f(A)| = N_f(k). A finite sequence (u_1, u_2,...,u_m) of positive integers is called complete if {\sum_{j\in J} u_j : J \subseteq {1,2,..,m}} = {0,1,2,..., U}, where $U = \sum_{j=1}^m u_j.$ It is proved that if f is an m-ary linear form whose coefficient sequence (u_1,...,u_m) is complete, then N_f(k) = Uk-U+1 and the minimizing k-sets are precisely the arithmetic progressions of length k. Other extremal results on linear forms over finite sets of integers are obtained.

Let U(N) denote the maximal length of arithmetic progressions in a random uniform subset of {0,1}^N. By an application of the Chen-Stein method, we show that U(N)- 2 log(N)/log(2) converges in law to an extreme type (asymmetric) distribution. The same result holds for the maximal length W(N) of arithmetic progressions (mod N). When considered in the natural way on a common probability space, we observe that U(N)/log(N) converges almost surely to 2/log(2), while W(N)/log(N) does not converge almost surely (and in particular, limsup W(N)/log(N) is at least 3/log(2)).

Suppose that f : F_p^n -> [0,1] has expected value t in [p^(-n/9),1] (so, the density t can be quite low!). Furthermore, suppose that support(f) has no three-term arithmetic progressions. Then, we develop non-trivial lower bounds for f_j, which is the jth largest Fourier coefficient of f. This result is similar in spirit to that appearing in an earlier paper [1] by the author; however, in that paper the focus was on the ``small'' Fourier coefficients, whereas here the focus is on the ``large'' Fourier coefficients. Furthermore, the proof in the present paper requires much more sophisticated arguments than those of that other paper.

For positive integers $s$ and $k_1, k_2, ..., k_s$, let $w(k_1,k_2,...,k_s)$ be the minimum integer $n$ such that any $s$-coloring $\{1,2,...,n\} \to \{1,2,...,s\}$ admits a $k_i$-term arithmetic progression of color $i$ for some $i$, $1 \leq i \leq s$. In the case when $k_1=k_2=...=k_s=k$ we simply write $w(k;s)$. That such a minimum integer exists follows from van der Waerden's theorem on arithmetic progressions. In the present paper we give a lower bound for $w(k,m)$ for each fixed $m$. We include a table with values of $w(k,3)$ which match this lower bound closely for $5 \leq k \leq 16$. We also give an upper bound for $w(k,4)$, an upper bound for $w(4;s)$, and a lower bound for $w(k;s)$ for an arbitrary fixed $k$. We discuss a number of other functions that are closely related to the van der Waerden function.

Let G be a finite Abelian group and A be a subset G\times G of cardinality at least |G|^2/(log log |G|)^c, where c>0 is an absolute constant. We prove that A contains a triple {(k,m), (k+d,m), (k,m+d)}, where d does not equal 0. This theorem is a two-dimensional generalization of Szemeredi's theorem on arithmetic progressions.

We extend two well-known results in additive number theory, Sárközy's theorem on square differences in dense sets and a theorem of Green on long arithmetic progressions in sumsets, to subsets of random sets of asymptotic density 0. Our proofs rely on a restriction-type Fourier analytic argument of Green and Green-Tao.

In 1954, Atkin and Swinnerton-Dyer proved Dyson's conjectures on the rank of a partition by establishing formulas for the generating functions for rank differences in arithmetic progressions. In this paper, we prove formulas for the generating functions for rank differences for overpartitions. These are in terms of modular functions and generalized Lambert series.

In this paper we construct a cover {a_s(mod n_s)}_{s=1}^k of Z with odd moduli such that there are distinct primes p_1,...,p_k dividing 2^{n_1}-1,...,2^{n_k}-1 respectively. Using this cover we show that for any positive integer m divisible by none of 3, 5, 7, 11, 13 there exists an infinite arithmetic progression of positive odd integers the m-th powers of whose terms are never of the form $2^n\pm p^a$ with p a prime and a,n in {0,1,2,...}. We also construct another cover of Z with odd moduli and use it to prove that $x^2-F_{3n}/2$ has at least two distinct prime factors whenever n is a nonnegative integer and x=a (mod M), where {F_i}_{i\ge 0} is the Fibonacci sequence, and a and M are suitable positive integers having 80 decimal digits.

A classical theorem of Fritz John allows one to describe a convex body, up to constants, as an ellipsoid. In this article we establish similar descriptions for generalized (i.e. multidimensional) arithmetic progressions in terms of proper (i.e. collision-free) generalized arithmetic progressions, in both torsion-free and torsion settings. We also obtain a similar characterization of iterated sumsets in arbitrary abelian groups in terms of progressions, thus strengthening and extending recent results of Szemerédi and Vu.

We give a simple and natural (probabilistic) construction of hypergraph regularization. It is done just by taking a constant-bounded number of random vertex samplings only one time (thus, iteration-free). It is independent from the definition of quasi-randomness and yields a new elementary proof of a strong hypergraph regularity lemma. Consequently, as an example of its applications, we have a new self-contained proof of Szemerédi's classic theorem on arithmetic progressions (1975) as well as its multidimensional extension by Furstenberg-Katznelson (1978).

Define $r_4(N)$ to be the largest cardinality of a set $A$ in $\{1,\dots,N\}$ which does not contain four elements in arithmetic progression. In 1998 Gowers proved that $r_4(N) \ll N(\log \log N)^{-c}$ for some absolute constant $c> 0$. In this paper (part II of a series) we improve this to $r_4(N) \ll N e^{-c\sqrt{\log \log N}}$. In part III of the series we will use a more elaborate argument to improve this to $r_4(N) \ll N(\log N)^{-c}$.

Let V(n) be the minimum number of monochromatic 3-term arithmetic progressions in any 2-coloring of {1,2,...,n}. We show that (1675/32768) n^2 (1+o(1)) <= V(n) <= (117/2192) n^2(1+o(1)). As a consequence, we find that V(n) is strictly greater than the corresponding number for Schur triples (which is (1/22) n^2 (1+o(1)). Additionally, we disprove the conjecture that V(n) = (1/16) n^2(1+o(1)), as well as a more general conjecture.

The set A of distinct scores of the vertices of an oriented bipartite graph D(U, V) is called its score set. We consider the following question: given a finite, nonempty set A of positive integers, is there an oriented bipartite graph D(U, V) such that score set of D(U, V) is A? We conjecture that there is an affirmative answer, and verify this conjecture when $\mid A\mid $ = 1, 2, 3, or when A is a geometric or arithmetic progression.

Carpi constructed an infinite word over a 4-letter alphabet that avoids squares in all subsequences indexed by arithmetic progressions of odd difference. We show a connection between Carpi's construction and the paperfolding words. We extend Carpi's result by constructing uncountably many words that avoid squares in arithmetic progressions of odd difference. We also construct infinite words avoiding overlaps and infinite words avoiding arbitrarily large squares in arithmetic progressions of odd difference. We use these words to construct labelings of the 2-dimensional integer lattice such that any line through the lattice encounters a squarefree (resp. overlapfree) sequence of labels.

For any measure preserving system $(X,\mathcal{X},μ,T)$ and $A\in\mathcal{X}$ with $μ(A)>0$, we show that there exist infinitely many primes $p$ such that $μ\bigl(A\cap T^{-(p-1)}A\cap T^{-2(p-1)}A\bigr) > 0$ (the same holds with $p-1$ replaced by $p+1$). Furthermore, we show the existence of the limit in $L^2(μ)$ of the associated ergodic average over the primes. A key ingredient is a recent result of Green and Tao on the von Mangoldt function. A combinatorial consequence is that every subset of the integers with positive upper density contains an arithmetic progression of length three and common difference of the form $p-1$ (or $p+1$) for some prime $p$.

In this paper we prove a basic theorem which says that if f : F_p^n -> [0,1] has the property that ||f^||_(1/3) is not too ``large''(actually, it also holds for quasinorms 1/2-δin place of 1/3), and E(f) = p^{-n} sum_m f(m) is not too ``small'', then there are lots of triples m,m+d,m+2d such that f(m)f(m+d)f(m+2d) > 0. If f is the indicator function for some set S, then this would be saying that the set has many three-term arithmetic progressions. In principle this theorem can be applied to sets having very low density, where |S| is around p^{n(1-c)} for some small c > 0.

We observe that the classical Faulhaber's theorem on sums of odd powers also holds for an arbitrary arithmetic progression, namely, the odd power sums of any arithmetic progression $a+b, a+2b, ..., a+nb$ is a polynomial in $na+n(n+1)b/2$. While this assertion can be deduced from the original Fauhalber's theorem, we give an alternative formula in terms of the Bernoulli polynomials. Moreover, by utilizing the central factorial numbers as in the approach of Knuth, we derive formulas for $r$-fold sums of powers without resorting to the notion of $r$-reflexive functions. We also provide formulas for the $r$-fold alternating sums of powers in terms of Euler polynomials.

Suppose that A is a subset of the integers {1,...,N} of density a. We provide a new proof of a result of Green which shows that A+A contains an arithmetic progression of length exp(ca(log N)^{1/2}) for some absolute c>0. Furthermore we improve the length of progression guaranteed in higher sumsets; for example we show that A+A+A contains a progression of length roughly N^{ca} improving on the previous best of N^{ca^{2+ε}}.

Let S and T be sets of positive integers and let a be a fixed positive integer. An a-shifted partition identity has the form p(S,n)=p(T,n-a), for all n greater or equal to a. Here p(S,n) is the number partitions of n whose parts are elements of S. For all known nontrivial shifted partition identities, the sets S and T are unions of arithmetic progressions modulo M for some M. In 1987, Andrews found two 1-shifted examples (M=32, 40) and asked whether there were any more. In 1989, Kalvade responded with a further six. In 2000, the first author found 59 new 1-shifted identities using a computer search and showed how these could be proved using the theory of modular functions. Modular transformation of certain shifted identities leads to shiftless partition identities. Again let a be a fixed positive integer, and S, T be distinct sets of positive integers. A shiftless partition identity has the form p(S,n)=p(T,n), for all n not equal to a. In this paper, we show, except in one case, how all known 1-shifted and shiftless identities follow from a four parameter theta function identity due to Jacobi. New shifted and shiftless partition identities are proved.

The 2-colouring discrepancy of arithmetic progressions is a well-known problem in combinatorial discrepancy theory. In 1964, Roth proved that if each integer from 0 to N is coloured red or blue, there is some arithmetic progression in which the number of reds and the number of blues differ by at least (1/20) N^{1/4}. In 1996, Matousek and Spencer showed that this estimate is sharp up to a constant. The analogous question for homogeneous arithmetic progressions (i.e., the ones containing 0) was raised by Erdos in the 1930s, and it is still not known whether the discrepancy is unbounded. However, it is easy to construct partial colourings with density arbitrarily close to 1 such that all homogeneous arithmetic progressions have bounded discrepancy. A related problem concerns the discrepancy of quasi-progressions. A quasi-progression consists of successive multiples of a real number, with each multiple rounded down to the nearest integer. In 1986, Beck showed that given any 2-colouring, the quasi-progressions corresponding to almost all real numbers in (1, \infty) have discrepancy at least log* N, the inverse of the tower function. We improve the lower bound to (log N)^{1/4 - o(1)}, and also show that there is some quasi-progression with discrepancy at least (1/50) N^{1/6}. Our results remain valid even if the 2-colouring is replaced by a partial colouring of positive density.