arXiv++ Combinatorics

Let $A \subset \mathbb{F}_p$ of size at most $p^{3/5}$. We show $$|A+A| + |AA| \gtrsim |A|^{6/5 + c},$$ for $c = 4/305$. Our main tools are the cartesian product point--line incidence theorem of Stevens and de Zeeuw and the theory of higher energies developed by the second author.

In the paper we find new inequalities involving the intersections $A\cap (A-x)$ of shifts of some subset $A$ from an abelian group. We apply the inequalities to obtain new upper bounds for the additive energy of multiplicative subgroups and convex sets and also a series another results on the connection of the additive energy and so--called higher moments of convolutions. Besides we prove new theorems on multiplicative subgroups concerning lower bounds for its doubling constants, sharp lower bound for the cardinality of sumset of a multiplicative subgroup and its subprogression and another results.

In the paper we obtain some new applications of well--known W. Rudin's theorem concerning lacunary series to problems of combinatorial number theory. We generalize a result of M.-C. Chang on L_2 (L)-norm of Fourier coefficients of a set (here L is a dissociated set), and prove a dual version of the theorem. Our main instrument is computing of eigenvalues of some operators.

We consider a class of two-dimensional functions f(x,y) with the property that the smallness of its rectangular norm implies the smallness of rectangular norm for f(x,x+y). Also we study a family of functions f(x,y) having a similar property for higher Gowers norms. The method based on a transference principle for a class of sums over special systems of linear equations.

Consider an arbitrary coloring of integers with finite number of colors. Is it true that there are x, y such that x + y, xy and x have the same color? This is a well-known question of Ramsey theory has not solved yet. In the article we give a positive answer to the last question in the group Z/pZ, where p is a prime number.

In the paper we are studying some properties of subsets Q of sums of dissociated sets. The exact upper bound for the number of solutions of the following equation (1) q_1 + ... + q_p = q_{p+1} + ... + q_{2p}, q_i \in Q in groups F_2^n is found. Using our approach, we easily prove a recent result of J. Bourgain on sets of large exponential sums and obtain a tiny improvement of his theorem. Besides an inverse problem is considered in the article. Let Q be a set belonging a sumset of two dissociated sets such that equation (1) has many solutions. We prove that in the case the large proportion of Q is highly structured.

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.

Let G be an arbitrary Abelian group and let A be a finite subset of G. A has small additive doubling if |A+A| < K|A| for some K>0. These sets were studied in papers of G.A. Freiman, Y. Bilu, I. Ruzsa, M.C.--Chang, B. Green and T.Tao. In the article we prove that if we have some minor restrictions on K then for any set with small doubling there exists a set Lambda, |Lambda| << K log |A| such that |A\cap Lambda| >> |A| / K^{1/2 + c}, where c > 0. In contrast to the previous results our theorem is nontrivial for large K. For example one can take K equals |A|^η, where η>0. We use an elementary method in our proof.

Let $A$ be a subset of $\mathbb{Z} / N\mathbb{Z}$ and let $\mathcal{R}$ be the set of large Fourier coefficients of $A$. Properties of $\mathcal{R}$ have been studied in works of M.-- C. Chang, B. Green and the author. In the paper we obtain some new results on sets of large exponential sums.

Let A be a subset of Z / NZ, and let R be the set of large Fourier coefficients of A. Properties of R have been studied in works of M.-C. Chang and B. Green. Our result is the following : the number of quadruples (r_1, r_2, r_3, r_4) \in R^4 such that r_1 + r_2 = r_3 + r_4 is at least |R|^{2+ε}, ε>0. This statement shows that the set R is highly structured. We also discuss some of the generalizations and applications of our result.