arXiv++ Combinatorics

Browse math.CO papers from arXiv

Papers by Ilya D. Shkredov

74 paper(s) by this author · All BibTeX
2014-10-21
On sums of Szemerédi--Trotter sets
Published • View PublicationBIB
We prove new general results on sumsets of sets having Szemerédi--Trotter type. This family includes convex sets, sets with small multiplicative doubling, images of sets under convex/concave maps and others.
New sum-product type estimates over finite fields
Published in Adv. Math. 293 (2016) 589-605 • View PublicationBIB
Let $F$ be a field with positive odd characteristic $p$. We prove a variety of new sum-product type estimates over $F$. They are derived from the theorem that the number of incidences between $m$ points and $n$ planes in the projective three-space $PG(3,F)$, with $m\geq n=O(p^2)$, is $$O( m\sqrt{n} + km ),$$ where $k$ denotes the maximum number of collinear planes. The main result is a significant improvement of the state-of-the-art sum-product inequality over fields with positive characteristic, namely that \begin{equation}\label{mres} |A\pm A|+|A\cdot A| =Ω\left(|A|^{1+\frac{1}{5}}\right), \end{equation} for any $A$ such that $|A|<p^{\frac{5}{8}}.$
2014-05-13
Energies and structure of additive sets
Published • View PublicationBIB
In the paper we prove that any sumset or difference set has large E_3 energy. Also, we give a full description of families of sets having critical relations between some kind of energies such as E_k, T_k and Gowers norms. In particular, we give criteria for a set to be a 1) set of the form H+L, where H+H is small and L has "random structure", 2) set equals a disjoint union of sets H_j, each H_j has small doubling, 3) set having large subset A' with 2A' is equal to a set with small doubling and |A'+A'| \approx |A|^4 / \E(A).
2014-04-08
Additive dimension and a theorem of Sanders
Published in Journal of the Australian Mathematical Society 100 (2015) 124-144 • View PublicationBIB
We prove some new bounds for the size of the maximal dissociated subset of structured (having small sumset, large energy and so on) subsets A of an abelian group.
2014-03-31
On Wiener norm of subsets of Z_p of medium size
Published • View PublicationBIB
We give a lower bound for Wiener norm of characteristic function of subsets A from Z_p, p is a prime number, in the situation when exp((log p/log log p)^{1/3}) \le |A| \le p/3.
2014-01-17
Quantitative version of Beurling-Helson theorem
Published • View PublicationBIB
It is proved that any continuous function f on the unit circle such that the sequence e^{in f}, n=1,2,... has small Wiener norm \| e^{in f} \|_A = o (\frac{\log^{1/22} |n|}{(\log \log |n|)^{3/11}}), is linear. Moreover, we get lower bounds for Wiener norm of characteristic functions of subsets from Z_p in the case of prime p.
Variations on the Sum-Product Problem
Published • View PublicationBIB
This paper considers various formulations of the sum-product problem. It is shown that, for a finite set $A\subset{\mathbb{R}}$, $$|A(A+A)|\gg{|A|^{\frac{3}{2}+\frac{1}{178}}},$$ giving a partial answer to a conjecture of Balog. In a similar spirit, it is established that $$|A(A+A+A+A)|\gg{\frac{|A|^2}{\log{|A|}}},$$ a bound which is optimal up to constant and logarithmic factors. We also prove several new results concerning sum-product estimates and expanders, for example, showing that $$|A(A+a)|\gg{|A|^{3/2}}$$ holds for a typical element of $A$.
2013-11-22
On exponential sums over multiplicative subgroups of medium size
Published • View PublicationBIB
In the paper we obtain some new upper bounds for exponential sums over multiplicative subgroups G of F^*_p having sizes in the range [p^{c_1}, p^{c_2}], where c_1,c_2 are some absolute constants close to 1/2. As an application we prove that in symmetric case G is always an additive basis of order five, provided by |G| > p^{1/2} log^{1/3} p. Also the method allows us to give a new upper bound for Heilbronn's exponential sum.
2013-05-17
Sumsets in quadratic residues
Published • View PublicationBIB
We describe all sets $A \subseteq \F_p$ which represent the quadratic residues $R \subseteq \F_p$ as $R=A+A$ and $R=A\hat{+} A$. Also, we consider the case of an approximate equality $R \approx A+A$ and $R \approx A\hat{+} A$ and prove that $A$ has a structure in the situation.
Intersections of multiplicative subgroups and Heilbronn's exponential sum
The paper is devoted to some applications of Stepanov method. In the first part of the paper we obtain the estimate of the cardinality of the set, which is obtained as an intersection of additive shifts of some different subgroups of F^*_p. In the second part we prove a new upper bound for Heilbronn's exponential sum and obtain a series of applications of our result to distribution of Fermat quotients. Also we study additive decompositions of multiplicative subgroups.
2012-12-27
Some new results on higher energies
Published • View PublicationBIB
In the paper we develop the method of higher energies. New upper bounds for the additive energies of convex sets, sets A with small |AA| and |A(A+1)| are obtained. We prove new structural results, including higher sumsets, and develop the notion of dual popular difference sets.
2012-08-30
On Heilbronn's exponential sum
Published • View PublicationBIB
In the paper we prove a new upper bound for Heilbronn's exponential sum and obtain some applications of our result to distribution of Fermat quotients.
2011-10-13 v3
Higher moments of convolutions
Published • View PublicationBIB
We study higher moments of convolutions of the characteristic function of a set, which generalize a classical notion of the additive energy. Such quantities appear in many problems of additive combinatorics as well as in number theory. In our investigation we use different approaches including basic combinatorics, Fourier analysis and eigenvalues method to establish basic properties of higher energies. We provide also a sequence of applications of higher energies additive combinatorics.
2011-05-18
On sumsets of convex sets
Published • View PublicationBIB
A set of reals A={a_1,...,a_2} is called convex if a_{i+1} - a_i > a_i - a_{i-1} for all i. We prove, in particular, that |A-A| \gg |A|^{8/5} \log{-2/5} |A|.