Source author record

Dmitrii Zhelezov

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.CO math.CA

Catalog footprint

Research overview

7works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Query complexity and the polynomial Freiman-Ruzsa conjecture

We prove a query complexity variant of the weak polynomial Freiman-Ruzsa conjecture in the following form. For any $ε> 0$ , a set $A \subset \mathbb{Z}^d$ with doubling $K$ has a subset of size at least $K^{-\frac{4}ε}|A|$ with coordinate query complexity at most $ε\log_2 |A|$ . We apply this structural result to give a simple proof of the "few products, many sums" phenomenon for integer sets. The resulting bounds are explicit and improve on the seminal result of Bourgain and Chang.

preprint2020arXiv

A Weighted Prékopa-Leindler inequality and sumsets with quasicubes

We give a short, self-contained proof of two key results from a paper of four of the authors. The first is a kind of weighted discrete Prékopa-Leindler inequality. This is then applied to show that if $A, B \subseteq \mathbb{Z}^d$ are finite sets and $U$ is a subset of a "quasicube" then $|A + B + U| \geq |A|^{1/2} |B|^{1/2} |U|$ . This result is a key ingredient in forthcoming work of the fifth author and Pälvölgyi on the sum-product phenomenon.

preprint2020arXiv

An analytic approach to cardinalities of sumsets

Let $d$ be a positive integer and $U \subset \mathbb{Z}^d$ finite. We study $β(U) : = \inf_{\substack{A , B \neq \emptyset \\ \text{finite}}} \frac{|A+B+U|}{|A|^{1/2}{|B|^{1/2}}},$ and other related quantities. We employ tensorization, which is not available for the doubling constant, $|U+U|/|U|$ . For instance, we show $β(U) = |U|,$ whenever $U$ is a subset of $\{0,1\}^d$ . Our methods parallel those used for the Prékopa-Leindler inequality, an integral variant of the Brunn-Minkowski inequality.

preprint2020arXiv

On iterated product sets with shifts II

The main result of this paper is the following: for all $b \in \mathbb Z$ there exists $k=k(b)$ such that $\max \{ |A^{(k)}|, |(A+u)^{(k)}| \} \geq |A|^b,$ for any finite $A \subset \mathbb Q$ and any non-zero $u \in \mathbb Q$ . Here, $|A^{(k)}|$ denotes the $k$ -fold product set $\{a_1\cdots a_k : a_1, \dots, a_k \in A \}$ . Furthermore, our method of proof also gives the following $l_{\infty}$ sum-product estimate. For all $γ>0$ there exists a constant $C=C(γ)$ such that for any $A \subset \mathbb Q$ with $|AA| \leq K|A|$ and any $c_1,c_2 \in \mathbb Q \setminus \{0\}$ , there are at most $K^C|A|^γ$ solutions to $c_1x + c_2y =1 ,\,\,\,\,\,\,\, (x,y) \in A \times A.$ In particular, this result gives a strong bound when $K=|A|^ε$ , provided that $ε>0$ is sufficiently small, and thus improves on previous bounds obtained via the Subspace Theorem. In further applications we give a partial structure theorem for point sets which determine many incidences and prove that sum sets grow arbitrarily large by taking sufficiently many products. We utilise a query-complexity analogue of the polynomial Freiman-Ruzsa conjecture, due to Zhelezov and Pálvölgyi. This new tool replaces the role of the complicated setup of Bourgain and Chang, which we had previously used. Furthermore, there is a better quantitative dependence between the parameters.

preprint2016arXiv

Discrete spheres and arithmetic progressions in product sets

We prove that if $B$ is a set of $N$ positive integers such that $B\cdot B$ contains an arithmetic progression of length $M$ , then for some absolute $C > 0$ , $π(M) + C \frac {M^{2/3}}{\log^2 M} \leq N,$ where $π$ is the prime counting function. This improves on previously known bounds of the form $N = Ω(π(M))$ and gives a bound which is sharp up to the second order term, as Pach and Sándor gave an example for which $N < π(M)+ O\left(\frac {M^{2/3}}{\log^2 M} \right).$ The main new tool is a reduction of the original problem to the question of approximate additive decomposition of the $3$ -sphere in $\mathbb{F}_3^n$ which is the set of $\{0,1\}$ vectors with exactly three non-zero coordinates. Namely, we prove that such a set cannot have an additive basis of order two of size less than $c n^2$ with absolute constant $c > 0$ .

preprint2016arXiv

On additive bases of sets with small product set

We prove that finite sets of real numbers satisfying $|AA| \leq |A|^{1+ε}$ with sufficiently small $ε> 0$ cannot have small additive bases nor can they be written as a set of sums $B+C$ with $|B|, |C| \geq 2$ . The result can be seen as a real analog of the conjecture of Sárközy that multiplicative subgroups of finite fields of prime order are additively irreducible.

preprint2015arXiv

On additive shifts of multiplicative almost-subgroups in finite fields

We prove that for sets $A, B, C \subset \mathbb{F}_p$ with $|A|=|B|=|C| \leq \sqrt{p}$ and a fixed $0 \neq d \in \mathbb{F}_p$ holds $\max(|AB|, |(A+d)C|) \gg|A|^{1+1/26}.$ In particular, $|A(A+1)| \gg |A|^{1 + 1/26}$ and $\max(|AA|, |(A+1)(A+1)|) \gg |A|^{1 + 1/26}.$ The first estimate improves the bound by Roche-Newton and Jones. In the general case of a field of order $q = p^m$ we obtain similar estimates with the exponent $1+1/559 + o(1)$ under the condition that $AB$ does not have large intersection with any subfield coset, answering a question of Shparlinski. Finally, we prove the estimate $\left| \sum_{x \in \mathbb{F}_q} ψ(x^n) \right| \ll q^{\frac{7 - 2δ_2}{8}}n^{\frac{2+2δ_2}{8}}$ for Gauss sums over $\mathbb{F}_q$ , where $ψ$ is a non-trivial additive character and $δ_2 = 1/56 + o(1)$ . The estimate gives an improvement over the classical Weil bound when $q^{1/2} \ll n = o\left( q^{29/57 + o(1)} \right)$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Dmitrii Zhelezov

Research overview

Is this your work?

7 publications

Query complexity and the polynomial Freiman-Ruzsa conjecture

A Weighted Prékopa-Leindler inequality and sumsets with quasicubes

An analytic approach to cardinalities of sumsets

On iterated product sets with shifts II

Discrete spheres and arithmetic progressions in product sets

On additive bases of sets with small product set

On additive shifts of multiplicative almost-subgroups in finite fields

See the researcher in context

Building this map preview