Showing 1–50 of 55 results for author: Rudnev, M

On Distinct Angles in the Plane

Authors: Sergei V. Konyagin, Jonathan Passant, Misha Rudnev

Abstract: We prove that if $N$ points lie in convex position in the plane then they determine $N^{1+ 3/23-o(1)}$ distinct angles, provided the points do not lie on a common circle. This is the first super-linear bound on the distinct angles problem that has received recent attention. This is derived from a more general claim that if $N$ points in the convex position in the real plane determine $KN$ distinct… ▽ More We prove that if $N$ points lie in convex position in the plane then they determine $N^{1+ 3/23-o(1)}$ distinct angles, provided the points do not lie on a common circle. This is the first super-linear bound on the distinct angles problem that has received recent attention. This is derived from a more general claim that if $N$ points in the convex position in the real plane determine $KN$ distinct angles, then $K=Ω(N^{1/4})$ or $Ω(N/K)$ points are co-circular. The proof makes use of the implicit order one can give to points in convex position, recently used by Solymosi. Convex position also allows us to divide our set into two large ordered pieces. We use the squeezing lemma and the level sets of repeated angles to estimate the number of angles formed between these pieces. We obtain the main theorem using Stevens and Warren's convexity versus sum-set bound. △ Less

Submitted 23 February, 2024; originally announced February 2024.

Comments: 23 pages, 10 figures

MSC Class: 52C10

Detecting value-expressive text posts in Russian social media

Authors: Maria Milkova, Maksim Rudnev, Lidia Okolskaya

Abstract: Basic values are concepts or beliefs which pertain to desirable end-states and transcend specific situations. Studying personal values in social media can illuminate how and why societal values evolve especially when the stimuli-based methods, such as surveys, are inefficient, for instance, in hard-to-reach populations. On the other hand, user-generated content is driven by the massive use of ster… ▽ More Basic values are concepts or beliefs which pertain to desirable end-states and transcend specific situations. Studying personal values in social media can illuminate how and why societal values evolve especially when the stimuli-based methods, such as surveys, are inefficient, for instance, in hard-to-reach populations. On the other hand, user-generated content is driven by the massive use of stereotyped, culturally defined speech constructions rather than authentic expressions of personal values. We aimed to find a model that can accurately detect value-expressive posts in Russian social media VKontakte. A training dataset of 5,035 posts was annotated by three experts, 304 crowd-workers and ChatGPT. Crowd-workers and experts showed only moderate agreement in categorizing posts. ChatGPT was more consistent but struggled with spam detection. We applied an ensemble of human- and AI-assisted annotation involving active learning approach, subsequently trained several LLMs and selected a model based on embeddings from pre-trained fine-tuned rubert-tiny2, and reached a high quality of value detection with F1 = 0.75 (F1-macro = 0.80). This model provides a crucial step to a study of values within and between Russian social media users. △ Less

Submitted 14 December, 2023; originally announced December 2023.

The sum-product problem for integers with few prime factors

Authors: Brandon Hanson, Misha Rudnev, Ilya Shkredov, Dmitrii Zhelezov

Abstract: It was asked by E. Szemerédi if, for a finite set $A\subset\mathbb{Z}$, one can improve estimates for $\max\{|A+A|,|A\cdot A|\}$, under the constraint that all integers involved have a bounded number of prime factors -- that is, each $a\in A$ satisfies $ω(a)\leq k$. In this paper, answer Szemerédi's question in the affirmative by showing that this maximum is of order $|A|^{\frac{5}{3}-o(1)}$ provi… ▽ More It was asked by E. Szemerédi if, for a finite set $A\subset\mathbb{Z}$, one can improve estimates for $\max\{|A+A|,|A\cdot A|\}$, under the constraint that all integers involved have a bounded number of prime factors -- that is, each $a\in A$ satisfies $ω(a)\leq k$. In this paper, answer Szemerédi's question in the affirmative by showing that this maximum is of order $|A|^{\frac{5}{3}-o(1)}$ provided $k\leq (\log|A|)^{1-ε}$ for some $ε>0$. In fact, this will follow from an estimate for additive energy which is best possible up to factors of size $|A|^{o(1)}$. △ Less

Submitted 6 May, 2023; originally announced May 2023.

Comments: Comments welcome

Higher Convexity and Iterated Second Moment Estimates

Authors: Peter J. Bradshaw, Brandon Hanson, Misha Rudnev

Abstract: We prove bounds for the number of solutions to $$a_1 + \dots + a_k = a_1' + \dots + a_k'$$ over $N$-element sets of reals, which are sufficiently convex or near-convex. A near-convex set will be the image of a set with small additive doubling under a convex function with sufficiently many strictly monotone derivatives. We show, roughly, that every time the number of terms in the equation is doub… ▽ More We prove bounds for the number of solutions to $$a_1 + \dots + a_k = a_1' + \dots + a_k'$$ over $N$-element sets of reals, which are sufficiently convex or near-convex. A near-convex set will be the image of a set with small additive doubling under a convex function with sufficiently many strictly monotone derivatives. We show, roughly, that every time the number of terms in the equation is doubled, an additional saving of $1$ in the exponent of the trivial bound $N^{2k-1}$ is made, starting from the trivial case $k=1$. In the context of near-convex sets we also provide explicit dependencies on the additive doubling parameters. Higher convexity is necessary for such bounds to hold, as evinced by sets of perfect powers of consecutive integers. We exploit these stronger assumptions using an idea of Garaev, rather than the ubiquitous Szemerédi-Trotter theorem, which has not been adapted in earlier results to embrace higher convexity. As an application we prove small improvements for the best known bounds for sumsets of convex sets under additional convexity assumptions. △ Less

Submitted 22 April, 2021; originally announced April 2021.

Comments: 22 pages

Incidence bounds with Möbius hyperbolae in positive characteristic

Authors: Misha Rudnev, James Wheeler

Abstract: We prove new incidence bounds between a plane point set, which is a Cartesian product, and a set of translates $H$ of the hyperbola $xy=λ\neq 0$, over a field of asymptotically large positive characteristic $p$. They improve recent bounds by Shkredov, which are based on using explicit incidence estimates in the early terminated procedure of repeated applications of the Cauchy-Schwarz inequality, u… ▽ More We prove new incidence bounds between a plane point set, which is a Cartesian product, and a set of translates $H$ of the hyperbola $xy=λ\neq 0$, over a field of asymptotically large positive characteristic $p$. They improve recent bounds by Shkredov, which are based on using explicit incidence estimates in the early terminated procedure of repeated applications of the Cauchy-Schwarz inequality, underlying many qualitative results related to growth and expansion in groups. The improvement -- both quantitative, plus we are able to deal with a general $H$, rather than a Cartesian product -- is mostly due to a non-trivial "intermediate" bound on the number of $k$-rich Möbius hyperbolae in positive characteristic. In addition, we make an observation that a certain energy-type quantity in the context of $H$ can be bounded via the $L^2$-moment of the Minkowski distance in $H$ and can therefore fetch the corresponding estimates apropos of the Erdős distinct distance problem. △ Less

Submitted 21 April, 2021; originally announced April 2021.

Comments: 17 pages

An update on the sum-product problem

Authors: Misha Rudnev, Sophie Stevens

Abstract: We improve the best known sum-product estimates over the reals. We prove that \[ \max(|A+A|,|AA|)\geq |A|^{\frac{4}{3} + \frac{2}{1167} - o(1)}\,, \] for a finite $A\subset \mathbb R$, following a streamlining of the arguments of Solymosi, Konyagin and Shkredov. We include several new observations to our techniques. Furthermore, \[ |AA+AA|\geq |A|^{\frac{127}{80} - o(1)}\,. \] Besides, for a con… ▽ More We improve the best known sum-product estimates over the reals. We prove that \[ \max(|A+A|,|AA|)\geq |A|^{\frac{4}{3} + \frac{2}{1167} - o(1)}\,, \] for a finite $A\subset \mathbb R$, following a streamlining of the arguments of Solymosi, Konyagin and Shkredov. We include several new observations to our techniques. Furthermore, \[ |AA+AA|\geq |A|^{\frac{127}{80} - o(1)}\,. \] Besides, for a convex set $A$ we show that \[ |A+A|\geq |A|^{\frac{30}{19}-o(1)}\,. \] This paper is largely self-contained. △ Less

Submitted 2 September, 2021; v1 submitted 22 May, 2020; originally announced May 2020.

Comments: 19 pages, refereed version

Journal ref: Math. Proc. Cambridge Phil. Soc. 2021

Higher convexity and iterated sum sets

Authors: Brandon Hanson, Oliver Roche-Newton, Misha Rudnev

Abstract: Let $f$ be a smooth real function with strictly monotone first $k$ derivatives. We show that for a finite set $A$, with $|A+A|\leq K|A|$, $|2^kf(A)-(2^k-1)f(A)|\gg_k |A|^{k+1-o(1)}/K^{O_k(1)}$. We deduce several new sum-product type implications, e.g. that $A+A$ being small implies unbounded growth for a many enough times iterated product set $A \cdots A$. Let $f$ be a smooth real function with strictly monotone first $k$ derivatives. We show that for a finite set $A$, with $|A+A|\leq K|A|$, $|2^kf(A)-(2^k-1)f(A)|\gg_k |A|^{k+1-o(1)}/K^{O_k(1)}$. We deduce several new sum-product type implications, e.g. that $A+A$ being small implies unbounded growth for a many enough times iterated product set $A \cdots A$. △ Less

Submitted 30 April, 2020; originally announced May 2020.

On incidences of lines in regular complexes

Authors: Misha Rudnev

Abstract: A regular linear line complex is a three-parameter set of lines in space, whose Plücker vectors lie in a hyperplane, which is not tangent to the Klein quadric. Our main result is a bound $O(n^{1/2}m^{3/4} + m+n)$ for the number of incidences between $n$ lines in a complex and $m$ points in $\mathbb F^3$, where $\mathbb F$ is a field, and $n\leq char(\mathbb F)^{4/3}$ in positive characteristic. Za… ▽ More A regular linear line complex is a three-parameter set of lines in space, whose Plücker vectors lie in a hyperplane, which is not tangent to the Klein quadric. Our main result is a bound $O(n^{1/2}m^{3/4} + m+n)$ for the number of incidences between $n$ lines in a complex and $m$ points in $\mathbb F^3$, where $\mathbb F$ is a field, and $n\leq char(\mathbb F)^{4/3}$ in positive characteristic. Zahl has recently observed that bichromatic pairwise incidences of lines coming from two distinct line complexes account for the nonzero single distance problem for a set of $n$ points in $\mathbb F^3$. This implied the new bound $O(n^{3/2})$ for the number of realisations of the distance, which is a square, for $\mathbb F$, where $-1$ is not a square in the $\mathbb F$-analogue of the Erd\H os single distance problem in $\mathbb R^3$. Our incidence bound yields, under a natural constraint, a weaker bound $O(n^{1.6})$, which holds for any distance, including zero, over any $\mathbb F$. △ Less

Submitted 30 June, 2021; v1 submitted 10 March, 2020; originally announced March 2020.

Comments: Accepted version

MSC Class: 68R05; 11B75

On the Pinned Distances Problem in Positive Characteristic

Authors: Brendan Murphy, Giorgis Petridis, Thang Pham, Misha Rudnev, Sophie Stevens

Abstract: We study the Erd\H os-Falconer distance problem for a set $A\subset \mathbb{F}^2$, where $\mathbb{F}$ is a field of positive characteristic $p$. If $\mathbb{F}=\mathbb{F}_p$ and the cardinality $|A|$ exceeds $p^{5/4}$, we prove that $A$ determines an asymptotically full proportion of the feasible $p$ distances. For small sets $A$, namely when $|A|\leq p^{4/3}$ over any $\mathbb{F}$, we prove that… ▽ More We study the Erd\H os-Falconer distance problem for a set $A\subset \mathbb{F}^2$, where $\mathbb{F}$ is a field of positive characteristic $p$. If $\mathbb{F}=\mathbb{F}_p$ and the cardinality $|A|$ exceeds $p^{5/4}$, we prove that $A$ determines an asymptotically full proportion of the feasible $p$ distances. For small sets $A$, namely when $|A|\leq p^{4/3}$ over any $\mathbb{F}$, we prove that either $A$ determines $\gg|A|^{2/3}$. For both large and small sets, the results proved are in fact for pinned distances. △ Less

Submitted 8 July, 2021; v1 submitted 1 March, 2020; originally announced March 2020.

Comments: A substantial revision of the older version. The main results are unchanged. arXiv admin note: text overlap with arXiv:1908.04618

MSC Class: 52C10; 11E88; 11T23; 14N10; 52C35; 51E20

Journal ref: J. Lond. Math. Soc.(2) 105 (1), 469-499, 2022

An Energy Bound in the Affine Group

Authors: Giorgis Petridis, Oliver Roche-Newton, Misha Rudnev, Audie Warren

Abstract: We prove a nontrivial energy bound for a finite set of affine transformations over a general field and discuss a number of implications. These include new bounds on growth in the affine group, a quantitative version of a theorem by Elekes about rich lines in grids. We also give a positive answer to a question of Yufei Zhao that for a plane point set P for which no line contains a positive proporti… ▽ More We prove a nontrivial energy bound for a finite set of affine transformations over a general field and discuss a number of implications. These include new bounds on growth in the affine group, a quantitative version of a theorem by Elekes about rich lines in grids. We also give a positive answer to a question of Yufei Zhao that for a plane point set P for which no line contains a positive proportion of points from P, there may be at most one line, meeting the set of lines defined by P in at most a constant multiple of |P| points. △ Less

Submitted 6 May, 2020; v1 submitted 8 November, 2019; originally announced November 2019.

Comments: 16 pages, 1 figure

Journal ref: Int. Math. Res. Not. IMRN 2022 (2), 1154--1172, 2022

Bisector energy and pinned distances in positive characteristic

Authors: Brendan Murphy, Misha Rudnev, Sophie Stevens

Abstract: We prove a new lower bound for the number of pinned distances over finite fields: if $A$ is a sufficiently small subset of $\mathbb{F}_q^2$, then there is an element in $A$ that determines $\gg |A|^{2/3}$ distinct distances to other elements of $A$. Combined with results for large subsets $A\subseteq\mathbb{F}_q^2$, this improves all previously known lower bounds on distinct distances over finite… ▽ More We prove a new lower bound for the number of pinned distances over finite fields: if $A$ is a sufficiently small subset of $\mathbb{F}_q^2$, then there is an element in $A$ that determines $\gg |A|^{2/3}$ distinct distances to other elements of $A$. Combined with results for large subsets $A\subseteq\mathbb{F}_q^2$, this improves all previously known lower bounds on distinct distances over finite fields. In fact, we obtain an upper bound for the number of isosceles triangles determined by $A$. For that we use the concept of bisector energy. It turns out that the latter can be expressed as a point-plane incidence bound, so one can use a theorem of the third author. The conversion to this incidence problem relies on the Blaschke-Grünwald kinematic map** -- an embedding of the group of rigid motions of $\mathbb{F}_q^2$ into an open subset of the projective three space. This has long been known in kinematics and geometric algebra; we provide a proof for arbitrary fields using Clifford algebras. △ Less

Submitted 1 November, 2019; v1 submitted 13 August, 2019; originally announced August 2019.

Comments: 17 pages. Updated in response to comments by Giorgis Petridis and Thang Pham. Removed alternate proofs for existing results for large sets

MSC Class: 52C10; 11E88; 11T23; 14N10; 52C35; 51E20

On the number of hinges defined by a point set in $\mathbb R^2$

Authors: Misha Rudnev

Abstract: It is shown that the number of distinct types of three-point hinges, defined by a real plane set of $n$ points is $\gg n^2\log^{-3} n$, where a hinge is identified by fixing two pair-wise distances in a point triple. This is achieved via strengthening (modulo a $\log n$ factor) of the Guth-Katz estimate for the number of pair-wise intersections of lines in $\mathbb R^3$, arising in the context of… ▽ More It is shown that the number of distinct types of three-point hinges, defined by a real plane set of $n$ points is $\gg n^2\log^{-3} n$, where a hinge is identified by fixing two pair-wise distances in a point triple. This is achieved via strengthening (modulo a $\log n$ factor) of the Guth-Katz estimate for the number of pair-wise intersections of lines in $\mathbb R^3$, arising in the context of the plane Erd\H os distinct distance problem, to a second moment incidence estimate. This relies, in particular, on the generalisation of the Guth-Katz incidence bound by Solomon and Sharir. △ Less

Submitted 11 March, 2020; v1 submitted 15 February, 2019; originally announced February 2019.

Comments: Updated following referee reports. Accepted to Combinatorica

MSC Class: 68R05; 11B75

On growth rate in $SL_2(\mathbf{F}_p)$, the affine group and sum-product type implications

Authors: Misha Rudnev, Ilya D. Shkredov

Abstract: This paper aims to study in more depth the relation between growth in matrix groups ${\rm SL_2}(\mathbf{F})$ and ${\rm Aff}(\mathbf{F})$ over a field $\mathbf{F}$ by multiplication and geometric incidence estimates, associated with the sum-product phenomenon over $\mathbf{F}$. It presents streamlined proofs of Helfgott's theorems on growth in the $\mathbf{F}_p$-case, which avoid sum-product estima… ▽ More This paper aims to study in more depth the relation between growth in matrix groups ${\rm SL_2}(\mathbf{F})$ and ${\rm Aff}(\mathbf{F})$ over a field $\mathbf{F}$ by multiplication and geometric incidence estimates, associated with the sum-product phenomenon over $\mathbf{F}$. It presents streamlined proofs of Helfgott's theorems on growth in the $\mathbf{F}_p$-case, which avoid sum-product estimates. For ${\rm SL_2}(\mathbf{F}_p)$, for sets exceeding in size some absolute constant, we improve the lower bound $\frac{1}{1512}$ for the growth exponent, due to Kowalski, to $\frac{1}{21}.$ For the affine group we fetch a sharp theorem of Szőnyi on the number of directions, determined by a point set in $\mathbf{F}_p^2$. We then focus on ${\rm Aff}(\mathbf{F})$ and present a new incidence bound between a set of points and a set of lines in $\mathbf{F}^2$, which explicitly depends on the energy of the set of lines as affine transformations under composition. This bound, strong when the number of lines is considerably smaller than the number of points, yields generalizations of structural theorems of Elekes and Murphy on rich lines in grids. In the special case when the set of lines is also a grid -- relating back to sum-products -- we use growth in ${\rm Aff}(\mathbf{R})$ to obtain a subthreshold estimate on the energy of the set of lines. This yields a unified way to break the ice in various threshold sum-product type energy inequalities. We show this in applications to energy estimates, corresponding to sets $A(A+ A)$, $A+AA$ (also embracing asymmetric versions) as well as $A+B$ when $A$ has small multiplicative doubling and $\sqrt{|A|} \le |B|\le|A|^{1+o(1)}$. △ Less

Submitted 26 February, 2019; v1 submitted 4 December, 2018; originally announced December 2018.

Comments: 43 pages

Stronger sum-product inequalities for small sets

Authors: Misha Rudnev, George Shakan, Ilya Shkredov

Abstract: Let $F$ be a field and a finite $A\subset F$ be sufficiently small in terms of the characteristic $p$ of $F$ if $p>0$. We strengthen the "threshold" sum-product inequality $$|AA|^3 |A\pm A|^2 \gg |A|^6\,,\;\;\;\;\mbox{hence} \;\; \;\;|AA|+|A+A|\gg |A|^{1+\frac{1}{5}},$$ due to Roche-Newton, Rudnev and Shkredov, to… ▽ More Let $F$ be a field and a finite $A\subset F$ be sufficiently small in terms of the characteristic $p$ of $F$ if $p>0$. We strengthen the "threshold" sum-product inequality $$|AA|^3 |A\pm A|^2 \gg |A|^6\,,\;\;\;\;\mbox{hence} \;\; \;\;|AA|+|A+A|\gg |A|^{1+\frac{1}{5}},$$ due to Roche-Newton, Rudnev and Shkredov, to $$|AA|^5 |A\pm A|^4 \gg |A|^{11-o(1)}\,,\;\;\;\;\mbox{hence} \;\; \;\;|AA|+|A\pm A|\gg |A|^{1+\frac{2}{9}-o(1)},$$ as well as $$ |AA|^{36}|A-A|^{24} \gg |A|^{73-o(1)}. $$ The latter inequality is "threshold-breaking", for it shows for $ε>0$, one has $$|AA| \le |A|^{1+ε}\;\;\;\Rightarrow\;\;\; |A-A|\gg |A|^{\frac{3}{2}+c(ε)},$$ with $c(ε)>0$ if $ε$ is sufficiently small. This implies that regardless of $ε$, $$|AA-AA|\gg |A|^{\frac{3}{2}+\frac{1}{56}-o(1)}\,.$$ △ Less

Submitted 26 September, 2018; v1 submitted 25 August, 2018; originally announced August 2018.

Comments: v2: Improved sum-product bound to match difference-product bound

MSC Class: 68R05; 11B75

Point-plane incidences and some applications in positive characteristic

Authors: Misha Rudnev

Abstract: The point-plane incidence theorem states that the number of incidences between $n$ points and $m\geq n$ planes in the projective three-space over a field $F$, is $$O\left(m\sqrt{n}+ m k\right),$$ where $k$ is the maximum number of collinear points, with the extra condition $n< p^2$ if $F$ has characteristic $p>0$. This theorem also underlies a state-of-the-art Szemerédi-Trotter type bound for poin… ▽ More The point-plane incidence theorem states that the number of incidences between $n$ points and $m\geq n$ planes in the projective three-space over a field $F$, is $$O\left(m\sqrt{n}+ m k\right),$$ where $k$ is the maximum number of collinear points, with the extra condition $n< p^2$ if $F$ has characteristic $p>0$. This theorem also underlies a state-of-the-art Szemerédi-Trotter type bound for point-line incidences in $F^2$, due to Stevens and de Zeeuw. This review focuses on some recent, as well as new, applications of these bounds that lead to progress in several open geometric questions in $F^d$, for $d=2,3,4$. These are the problem of the minimum number of distinct nonzero values of a non-degenerate bilinear form on a point set in $d=2$, the analogue of the Erd\H os distinct distance problem in $d=2,3$ and additive energy estimates for sets, supported on a paraboloid and sphere in $d=3,4$. It avoids discussing sum-product type problems (corresponding to the special case of incidences with Cartesian products), which have lately received more attention. △ Less

Submitted 9 June, 2018; originally announced June 2018.

Comments: A survey, with some new results, for the forthcoming Workshop on Pseudorandomness and Finite Fields in at RICAM in Linz 15-19 October, 2018; 24pp

On the restriction problem for discrete paraboloid in lower dimension

Authors: Misha Rudnev, Ilya D. Shkredov

Abstract: We apply geometric incidence estimates in positive characteristic to prove the optimal $L^2 \to L^3$ Fourier extension estimate for the paraboloid in the four-dimensional vector space over a prime residue field. In three dimensions, when $-1$ is not a square, we prove an $L^2 \to L^{\frac{32}{9} }$ extension estimate, improving the previously known exponent $\frac{68}{19}.$ We apply geometric incidence estimates in positive characteristic to prove the optimal $L^2 \to L^3$ Fourier extension estimate for the paraboloid in the four-dimensional vector space over a prime residue field. In three dimensions, when $-1$ is not a square, we prove an $L^2 \to L^{\frac{32}{9} }$ extension estimate, improving the previously known exponent $\frac{68}{19}.$ △ Less

Submitted 5 October, 2018; v1 submitted 29 March, 2018; originally announced March 2018.

Comments: Final version

MSC Class: 42B05

Journal ref: Adv. Math, Vol. 339, 1 December 2018, Pages 657-671

On the few products, many sums problem

Authors: Brendan Murphy, Misha Rudnev, Ilya D. Shkredov, Yurii N. Shteinikov

Abstract: We prove new results on additive properties of finite sets $A$ with small multiplicative doubling $|AA|\leq M|A|$ in the category of real/complex sets as well as multiplicative subgroups in the prime residue field. The improvements are based on new combinatorial lemmata, which may be of independent interest. Our main results are the inequality $$ |A-A|^3|AA|^5 \gtrsim |A|^{10}, $$ over the reals… ▽ More We prove new results on additive properties of finite sets $A$ with small multiplicative doubling $|AA|\leq M|A|$ in the category of real/complex sets as well as multiplicative subgroups in the prime residue field. The improvements are based on new combinatorial lemmata, which may be of independent interest. Our main results are the inequality $$ |A-A|^3|AA|^5 \gtrsim |A|^{10}, $$ over the reals, "redistributing" the exponents in the textbook Elekes sum-product inequality and the new best known additive energy bound $\mathsf E(A)\lesssim_M |A|^{49/20}$, which aligns, in a sense to be discussed, with the best known sum set bound $|A+A|\gtrsim_M |A|^{8/5}$. These bounds, with $M=1$, also apply to multiplicative subgroups of $\mathbb F^\times_p$, whose order is $O(\sqrt{p})$. We adapt the above energy bound to larger subgroups and obtain new bounds on gaps between elements in cosets of subgroups of order $Ω(\sqrt{p})$. △ Less

Submitted 1 December, 2017; originally announced December 2017.

Comments: 27pp

MSC Class: 68R05; 11B75

On distinct cross-ratios and related growth problems

Authors: Misha Rudnev

Abstract: It is shown that for a finite set $A$ of four or more complex numbers, the cardinality of the set $C[A]$ of all cross-ratios generated by quadruples of pair-wise distinct elements of $A$ is $|C[A]|\gg |A|^{2+\frac{2}{11}}\log^{-\frac{6}{11}} |A|$ and without the logarithmic factor in the real case. The set $C=C[A]$ always grows under both addition and multiplication. The cross-ratio arises, in par… ▽ More It is shown that for a finite set $A$ of four or more complex numbers, the cardinality of the set $C[A]$ of all cross-ratios generated by quadruples of pair-wise distinct elements of $A$ is $|C[A]|\gg |A|^{2+\frac{2}{11}}\log^{-\frac{6}{11}} |A|$ and without the logarithmic factor in the real case. The set $C=C[A]$ always grows under both addition and multiplication. The cross-ratio arises, in particular, in the study of the open question of the minimum number of triangle areas, with two vertices in a given non-collinear finite point set in the plane and the third one at the fixed origin. The above distinct cross-ratio bound implies a new lower bound for the latter question, and enables one to show growth of the set $\sin(A-A),\;A\subset \mathbb R/π\mathbb Z$ under multiplication. It seems reasonable to conjecture that more-fold product, as well as sum sets of this set or $C$ continue growing ad infinitum. △ Less

Submitted 4 May, 2017; originally announced May 2017.

Comments: 9pp

MSC Class: 68R05; 11B75

New results on sum-product type growth over fields

Authors: Brendan Murphy, Giorgis Petridis, Oliver Roche-Newton, Misha Rudnev, Ilya D. Shkredov

Abstract: We prove a range of new sum-product type growth estimates over a general field $\mathbb{F}$, in particular the special case $\mathbb{F}=\mathbb{F}_p$. They are unified by the theme of "breaking the $3/2$ threshold", epitomising the previous state of the art. These estimates stem from specially suited applications of incidence bounds over $\mathbb{F}$, which apply to higher moments of representatio… ▽ More We prove a range of new sum-product type growth estimates over a general field $\mathbb{F}$, in particular the special case $\mathbb{F}=\mathbb{F}_p$. They are unified by the theme of "breaking the $3/2$ threshold", epitomising the previous state of the art. These estimates stem from specially suited applications of incidence bounds over $\mathbb{F}$, which apply to higher moments of representation functions. We establish the estimate $|R[A]| \gtrsim |A|^{8/5}$ for cardinality of the set $R[A]$ of distinct cross-ratios defined by triples of elements of a (sufficiently small if $\mathbb{F}$ has positive characteristic, similarly for the rest of the estimates) set $A\subset \mathbb{F}$, pinned at infinity. The cross-ratio naturally arises in various sum-product type questions of projective nature and is the unifying concept underlying most of our results. It enables one to take advantage of its symmetry properties as an onset of growth of, for instance, products of difference sets. The geometric nature of the cross-ratio enables us to break the version of the above threshold for the minimum number of distinct triangle areas $Ouu'$, defined by points $u,u'$ of a non-collinear point set $P\subset \mathbb{F}^2$. Another instance of breaking the threshold is showing that if $A$ is sufficiently small and has additive doubling constant $M$, then $|AA|\gtrsim M^{-2}|A|^{14/9}$. This result has a second moment version, which allows for new upper bounds for the number of collinear point triples in the set $A\times A\subset \mathbb{F}^2$, the quantity often arising in applications of geometric incidence estimates. △ Less

Submitted 19 May, 2019; v1 submitted 3 February, 2017; originally announced February 2017.

Comments: 59 pages. Added Theorem 2 and improved Theorem 1. This version is different to the one in print

MSC Class: 11B30

Journal ref: Mathematika 65 (2019) 588-642

Minimizing the sum of projections of a finite set

Authors: Vsevolod F. Lev, Misha Rudnev

Abstract: Consider the projections of a finite set $A\subset R^n$ onto the coordinate hyperplanes. How small can the sum of the sizes of these projections be, given the size of $A$? In a different form, this problem has been studied earlier in the context of edge-isoperimetric inequalities on graphs, and it is can be derived from the known results that there is a linear order on the set of $n$-tuples with n… ▽ More Consider the projections of a finite set $A\subset R^n$ onto the coordinate hyperplanes. How small can the sum of the sizes of these projections be, given the size of $A$? In a different form, this problem has been studied earlier in the context of edge-isoperimetric inequalities on graphs, and it is can be derived from the known results that there is a linear order on the set of $n$-tuples with non-negative integer coordinates, such that the sum in question is minimised for the initial segments with respect to this order. We present a new, self-contained and constructive proof, enabling us to obtain a stability result and establish algebraic properties of the smallest possible projection sum. We also solve the problem of minimising the sum of the sizes of the one-dimensional projections. △ Less

Submitted 31 October, 2016; v1 submitted 8 October, 2016; originally announced October 2016.

Comments: References and appendix on the one-dimensional projections added, 18 pp

MSC Class: Primary: 52A38; secondary: 52A40; 05A20

On The Energy Variant of the Sum-Product Conjecture

Authors: Misha Rudnev, Ilya D. Shkredov, Sophie Stevens

Abstract: We prove new exponents for the energy version of the Erdős-Szemerédi sum-product conjecture, raised by Balog and Wooley. They match the previously established milestone values for the standard formulation of the question, both for general fields and the special case of real or complex numbers, and appear to be the best ones attainable within the currently available technology. Further results are… ▽ More We prove new exponents for the energy version of the Erdős-Szemerédi sum-product conjecture, raised by Balog and Wooley. They match the previously established milestone values for the standard formulation of the question, both for general fields and the special case of real or complex numbers, and appear to be the best ones attainable within the currently available technology. Further results are obtained about multiplicative energies of additive shifts and a strengthened energy version of the "few sums, many products" inequality of Elekes and Ruzsa. The latter inequality enables us to obtain a minor improvement of the state-of the art sum-product exponent over the reals due to Konyagin and the second author, up to $\frac{4}{3}+\frac{1}{1509}$. An application of energy estimates to an instance of arithmetic growth in prime residue fields is presented. △ Less

Submitted 5 June, 2017; v1 submitted 18 July, 2016; originally announced July 2016.

Comments: 25 pages. A new best sum-product exponent is attained over the reals via a new corollary which locally improves the two recent sum-product papers by Konyagin and Shkredov

MSC Class: 68R05; 11B75

Growth Estimates in Positive Characteristic via Collisions

Authors: Esen Aksoy Yazici, Brendan Murphy, Misha Rudnev, Ilya Shkredov

Abstract: Let $F$ be a field of characteristic $p>2$ and $A\subset F$ have sufficiently small cardinality in terms of $p$. We improve the state of the art of a variety of sum-product type inequalities. In particular, we prove that $$ |AA|^2|A+A|^3 \gg |A|^6,\qquad |A(A+A)|\gg |A|^{3/2}. $$ We also prove several two-variable extractor estimates: ${\displaystyle |A(A+1)| \gg|A|^{9/8},}$… ▽ More Let $F$ be a field of characteristic $p>2$ and $A\subset F$ have sufficiently small cardinality in terms of $p$. We improve the state of the art of a variety of sum-product type inequalities. In particular, we prove that $$ |AA|^2|A+A|^3 \gg |A|^6,\qquad |A(A+A)|\gg |A|^{3/2}. $$ We also prove several two-variable extractor estimates: ${\displaystyle |A(A+1)| \gg|A|^{9/8},}$ $$ |A+A^2|\gg |A|^{11/10},\; |A+A^3|\gg |A|^{29/28}, \; |A+1/A|\gg |A|^{31/30}.$$ Besides, we address questions of cardinalities $|A+A|$ vs $|f(A)+f(A)|$, for a polynomial $f$, where we establish the inequalities $$ \max(|A+A|,\, |A^2+A^2|)\gg |A|^{8/7}, \;\; \max(|A-A|,\, |A^3+A^3|)\gg |A|^{17/16}. $$ Szemerédi-Trotter type implications of the arithmetic estimates in question are that a Cartesian product point set $P=A\times B$ in $F^2$, of $n$ elements, with $|B|\leq |A|< p^{2/3}$ makes $O(n^{3/4}m^{2/3} + m + n)$ incidences with any set of $m$ lines. In particular, when $|A|=|B|$, there are $\ll n^{9/4}$ collinear triples of points in $P$, $\gg n^{3/2}$ distinct lines between pairs of its points, in $\gg n^{3/4}$ distinct directions. Besides, $P=A\times A$ determines $\gg n^{9/16}$ distinct pair-wise distances. These estimates are obtained on the basis of a new plane geometry interpretation of the incidence theorem between points and planes in three dimensions, which we call collisions of images. △ Less

Submitted 21 December, 2015; originally announced December 2015.

Comments: 24pp

On discrete values of bilinear forms

Authors: Alex Iosevich, Oliver Roche-Newton, Misha Rudnev

Abstract: This paper is an erratum to our paper, entitled "On an application of Guth-Katz theorem", Math. Res. Lett. 18 (2011), no. 4, 691-697. Let $F$ be the real or complex field and $ω$ a non-degenerate skew-symmetric bilinear form in the plane $F^2$. We prove that for finite a point set $P\subset F^2\setminus\{0\}$, the set $T_ω(P)$ of nonzero values of $ω$ in $P\times P$, if nonempty, has cardinality… ▽ More This paper is an erratum to our paper, entitled "On an application of Guth-Katz theorem", Math. Res. Lett. 18 (2011), no. 4, 691-697. Let $F$ be the real or complex field and $ω$ a non-degenerate skew-symmetric bilinear form in the plane $F^2$. We prove that for finite a point set $P\subset F^2\setminus\{0\}$, the set $T_ω(P)$ of nonzero values of $ω$ in $P\times P$, if nonempty, has cardinality $Ω(N^{9/13}).$ A presumably near-sharp estimate $Ω(N/\log N)$ was claimed in the abovemnetioned paper over the reals for a symmetric or skew-symmetric form $ω$. However, the set-up for the proof was flawed. We discuss why we believe that justifying this claim in full strength is a major open problem. In the special case when $P=A\times A$, where $A$ is a set of at least two reals, we establish the following sum-product type estimates: $$ |AA+ AA|= Ω\left(|A|^{19/12}\right), $$ and $$|AA-AA|= Ω\left( \frac{|A|^{26/17}}{\log^{2/17}|A|}\right).$$ △ Less

Submitted 8 December, 2015; originally announced December 2015.

Comments: 13pp

MSC Class: 68R05; 11B75

On distinct cross-ratios in positive characteristic

Authors: Misha Rudnev

Abstract: We prove that a finite subset $A$ of the projective line $FP^1$ over a field $F$ of positive characteristic $p$ determines $Ω(|A|^2)$ distinct cross-ratios, as long as $|A|<\sqrt{p}.$ We prove that a finite subset $A$ of the projective line $FP^1$ over a field $F$ of positive characteristic $p$ determines $Ω(|A|^2)$ distinct cross-ratios, as long as $|A|<\sqrt{p}.$ △ Less

Submitted 8 January, 2016; v1 submitted 20 August, 2015; originally announced August 2015.

Comments: This article had been earlier withdrawn by the author: the main proposition was false as stated. This update is to point out that the bound $Ω(|A|^{3/2})$ for the number of distinct cross-ratios, and other incidence estimates have been proven in the preprint "Growth Estimates in Positive Characteristic via Collisions", with E. Aksoy, B. Murphy and I. Shkredov, arXiv:1512.06613

MSC Class: 68R05; 11B75

On the use of Klein quadric for geometric incidence problems in two dimensions

Authors: Misha Rudnev, J. M. Selig

Abstract: We discuss a unified approach to a class of geometric combinatorics incidence problems in $2D$, of the Erdös distance type. The goal is obtaining the second moment estimate, that is given a finite point set $S$ and a function $f$ on $S\times S$, an upper bound on the number of solutions of $$ f(p,p') = f(q,q')\neq 0,\qquad (p,p',q,q')\in S\times S\times S\times S. \qquad(*) $$ E.g., $f$ is the E… ▽ More We discuss a unified approach to a class of geometric combinatorics incidence problems in $2D$, of the Erdös distance type. The goal is obtaining the second moment estimate, that is given a finite point set $S$ and a function $f$ on $S\times S$, an upper bound on the number of solutions of $$ f(p,p') = f(q,q')\neq 0,\qquad (p,p',q,q')\in S\times S\times S\times S. \qquad(*) $$ E.g., $f$ is the Euclidean distance in the plane, sphere, or a sheet of the two-sheeted hyperboloid. Our tool is the Guth-Katz incidence theorem for lines in $\mathbb{RP}^3$, but we focus on how the original $2D$ problem is made amenable to it. This procedure was initiated by Elekes and Sharir, based on symmetry considerations. However, symmetry considerations can be bypassed or made implicit. The classical Plücker-Klein formalism for line geometry enables one to directly interpret a solution of $(*)$ as intersection of two lines in $\mathbb{RP}^3$. This allows for a very brief argument extending the Euclidean plane distance argument to the spherical and hyperbolic distances. We also find instances of the question $(*)$ without underlying symmetry group. The space of lines in the three-space, the Klein quadric $\mathcal K$, is four-dimensional. We start out with an injective map $\mathfrak F:\,S\times S\to\mathcal K$, from a pair of points in $2D$ to a line in $3D$ and seek a combinatorial problem in the form $(*)$, which can be solved by applying the Guth-Katz theorem to the set of lines in question. We identify a few new such problems and generalise the existing ones. △ Less

Submitted 4 September, 2016; v1 submitted 9 December, 2014; originally announced December 2014.

Comments: Theorem 5', implicit in the earlier verisons has been stated explicitly in this ArXiv version, giving a family of applications of the Guth-Katz theorem to sum-product type quantities, with no underlying symmetry group

MSC Class: 68R05; 11B75

Journal ref: SIAM J. Discrete Math. 30-2 (2016), pp. 934-954 (does not contain the latter addition)

New sum-product type estimates over finite fields

Authors: Oliver Roche-Newton, Misha Rudnev, Ilya D. Shkredov

Abstract: 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 significa… ▽ More 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}}.$ △ Less

Submitted 24 July, 2015; v1 submitted 3 August, 2014; originally announced August 2014.

Comments: This is a revised version: Theorem 1 was incorrect as stated. We give its correct statement; this does not seriously affect the main arguments throughout the paper. Also added is a seres of remarks, placing the result in the context of the current state of the art

MSC Class: 68R05; 11B75

Journal ref: Adv. Math. 293 (2016) 589-605

Elementary methods for incidence problems in finite fields

Authors: Javier Cilleruelo, Alex Iosevich, Ben Lund, Oliver Roche-Newton, Misha Rudnev

Abstract: We use elementary methods to prove an incidence theorem for points and spheres in $\mathbb{F}_q^n$. As an application, we show that any point set of $P\subset \mathbb{F}_q^2$ with $|P|\geq 5q$ determines a positive proportion of all circles. The latter result is an analogue of Beck's Theorem for circles which is optimal up to multiplicative constants. We use elementary methods to prove an incidence theorem for points and spheres in $\mathbb{F}_q^n$. As an application, we show that any point set of $P\subset \mathbb{F}_q^2$ with $|P|\geq 5q$ determines a positive proportion of all circles. The latter result is an analogue of Beck's Theorem for circles which is optimal up to multiplicative constants. △ Less

Submitted 17 August, 2014; v1 submitted 9 July, 2014; originally announced July 2014.

Comments: 9 pages. In this new version, Theorem 3 has been significantly improved, whilst the proof has been simplified. Also, Ben Lund has been added as an author

MSC Class: 52C10

On the number of incidences between points and planes in three dimensions

Authors: Misha Rudnev

Abstract: We prove an incidence theorem for points and planes in the projective space $\mathbb P^3$ over any field $\mathbb F$, whose characteristic $p\neq 2.$ An incidence is viewed as an intersection along a line of a pair of two-planes from two canonical rulings of the Klein quadric. The Klein quadric can be traversed by a generic hyperplane, yielding a line-line incidence problem in a three-quadric, the… ▽ More We prove an incidence theorem for points and planes in the projective space $\mathbb P^3$ over any field $\mathbb F$, whose characteristic $p\neq 2.$ An incidence is viewed as an intersection along a line of a pair of two-planes from two canonical rulings of the Klein quadric. The Klein quadric can be traversed by a generic hyperplane, yielding a line-line incidence problem in a three-quadric, the Klein image of a regular line complex. This hyperplane can be chosen so that at most two lines meet. Hence, one can apply an algebraic theorem of Guth and Katz, with a constraint involving $p$ if $p>0$. This yields a bound on the number of incidences between $m$ points and $n$ planes in $\mathbb P^3$, with $m\geq n$ as $$O\left(m\sqrt{n}+ m k\right),$$ where $k$ is the maximum number of collinear planes, provided that $n=O(p^2)$ if $p>0$. Examples show that this bound cannot be improved without additional assumptions. This gives one a vehicle to establish geometric incidence estimates when $p>0$. For a non-collinear point set $S\subseteq \mathbb F^2$ and a non-degenerate symmetric or skew-symmetric bilinear form $ω$, the number of distinct values of $ω$ on pairs of points of $S$ is $Ω\left[\min\left(|S|^{\frac{2}{3}},p\right)\right]$. This is also the best known bound over $\mathbb R$, where it follows from the Szemerédi-Trotter theorem. Also, a set $S\subseteq \mathbb F^3$, not supported in a single semi-isotropic plane contains a point, from which $Ω\left[\min\left(|S|^{\frac{1}{2}},p\right)\right]$ distinct distances to other points of $S$ are attained. △ Less

Submitted 4 December, 2015; v1 submitted 1 July, 2014; originally announced July 2014.

Comments: 25pp. A revised version: a remark, a lemma, and a theorem have been added

MSC Class: 68R05; 11B75

Group actions and geometric combinatorics in ${\mathbb F}_q^d$

Authors: M. Bennett, D. Hart, A. Iosevich, J. Pakianathan, M. Rudnev

Abstract: In this paper we apply a group action approach to the study of Erd\H os-Falconer type problems in vector spaces over finite fields and use it to obtain non-trivial exponents for the distribution of simplices. We prove that there exists $s_0(d)<d$ such that if $E \subset {\mathbb F}_q^d$, $d \ge 2$, with $|E| \ge Cq^{s_0}$, then $|T^d_d(E)| \ge C'q^{d+1 \choose 2}$, where $T^d_k(E)$ denotes the set… ▽ More In this paper we apply a group action approach to the study of Erd\H os-Falconer type problems in vector spaces over finite fields and use it to obtain non-trivial exponents for the distribution of simplices. We prove that there exists $s_0(d)<d$ such that if $E \subset {\mathbb F}_q^d$, $d \ge 2$, with $|E| \ge Cq^{s_0}$, then $|T^d_d(E)| \ge C'q^{d+1 \choose 2}$, where $T^d_k(E)$ denotes the set of congruence classes of $k$-dimensional simplices determined by $k+1$-tuples of points from $E$. Non-trivial exponents were previously obtained by Chapman, Erdogan, Hart, Iosevich and Koh (\cite{CEHIK12}) for $T^d_k(E)$ with $2 \leq k \leq d-1$. A non-trivial result for $T^2_2(E)$ in the plane was obtained by Bennett, Iosevich and Pakianathan (\cite{BIP12}). These results are significantly generalized and improved in this paper. In particular, we establish the Wolff exponent $\frac{4}{3}$, previously established in \cite{CEHIK12} for the $q\equiv3\mbox{ mod }4$ case to the case $q\equiv1\mbox{ mod }4$, and this results in a new sum-product type inequality. We also obtain non-trivial results for subsets of the sphere in ${\mathbb F}_q^d$, where previous methods have yielded nothing. The key to our approach is a group action perspective which quickly leads to natural and effective formulae in the style of the classical Mattila integral from geometric measure theory. △ Less

Submitted 19 November, 2013; originally announced November 2013.

Comments: 26 pages

MSC Class: 52C10; 42B20; 11L05

On growth in an abstract plane

Authors: Nick Gill, H. A. Helfgott, Misha Rudnev

Abstract: There is a parallelism between growth in arithmetic combinatorics and growth in a geometric context. While, over $\mathbb{R}$ or $\mathbb{C}$, geometric statements on growth often have geometric proofs, what little is known over finite fields rests on arithmetic proofs. We discuss strategies for geometric proofs of growth over finite fields, and show that growth can be defined and proven in an abs… ▽ More There is a parallelism between growth in arithmetic combinatorics and growth in a geometric context. While, over $\mathbb{R}$ or $\mathbb{C}$, geometric statements on growth often have geometric proofs, what little is known over finite fields rests on arithmetic proofs. We discuss strategies for geometric proofs of growth over finite fields, and show that growth can be defined and proven in an abstract projective plane -- even one with weak axioms. △ Less

Submitted 20 December, 2012; originally announced December 2012.

Comments: 10 pages

MSC Class: 51E15 (primary); 51A35; 11B30 (secondary)

New sum product type estimates

Authors: Sergei V. Konyagin, Misha Rudnev

Abstract: New lower bounds involving sum, difference, product, and ratio sets for a set $A\subset \C$ are given. The estimates involving the sum set match, up to constants, the one obtained by Solymosi for the reals and are obtained by generalising his approach to the complex plane. The bounds involving the difference set are slightly weaker. They improve on the best known ones, including the case… ▽ More New lower bounds involving sum, difference, product, and ratio sets for a set $A\subset \C$ are given. The estimates involving the sum set match, up to constants, the one obtained by Solymosi for the reals and are obtained by generalising his approach to the complex plane. The bounds involving the difference set are slightly weaker. They improve on the best known ones, including the case $A\subset \R$, which also due to Solymosi, by means of combining the use of the Szemerédi-Trotter theorem with an arithmetic combinatorics technique. △ Less

Submitted 9 March, 2013; v1 submitted 29 July, 2012; originally announced July 2012.

Comments: 19pp. This is a new extended version, accepted for publication to SIAM J. Disc. Math. Note: the earlier homonymous preprint arXiv_math: 1111.4977 of the Second Author contained weaker estimates involving the sum-set. The present estimate for the sum-set was erroneously claimed in arXiv:0812.1454

MSC Class: 68R05; 11B75

On the number of classes of triangles determined by $N$ points in $\R^2$

Authors: Misha Rudnev

Abstract: Let $P$ be a set of $N$ points in the Euclidean plane, where a positive proportion of points lies off a single straight line. This note points out two facts concerning the number of equivalence classes of triangles that $P$ determines, namely that (i) $P$ determines $Ω(N^2)$ different equivalence classes of congruent triangles, and (ii) $P$ determines $Ω(\frac{N^2}{\log N})$ different equivalence… ▽ More Let $P$ be a set of $N$ points in the Euclidean plane, where a positive proportion of points lies off a single straight line. This note points out two facts concerning the number of equivalence classes of triangles that $P$ determines, namely that (i) $P$ determines $Ω(N^2)$ different equivalence classes of congruent triangles, and (ii) $P$ determines $Ω(\frac{N^2}{\log N})$ different equivalence classes of similar triangles. The first fact follows from the recent theorem by Guth-Katz on point-line incidences in $\R^3$. The second one, perhaps not so well known, is due to Solymosi and Tardos. △ Less

Submitted 26 May, 2012; v1 submitted 22 May, 2012; originally announced May 2012.

Comments: 6pp

MSC Class: 68R05; 11B75

Areas of triangles and Beck's theorem in planes over finite fields

Authors: Alex Iosevich, Misha Rudnev, Yujia Zhai

Abstract: It is shown that any subset $E$ of a plane over a finite field $\F_q$, of cardinality $|E|>q$ determines not less than $\frac{q-1}{2}$ distinct areas of triangles, moreover once can find such triangles sharing a common base. It is also shown that if $|E|\geq 64q\log_2 q$, then there are more than $\frac{q}{2}$ distinct areas of triangles sharing a common vertex. The result follows from a finite… ▽ More It is shown that any subset $E$ of a plane over a finite field $\F_q$, of cardinality $|E|>q$ determines not less than $\frac{q-1}{2}$ distinct areas of triangles, moreover once can find such triangles sharing a common base. It is also shown that if $|E|\geq 64q\log_2 q$, then there are more than $\frac{q}{2}$ distinct areas of triangles sharing a common vertex. The result follows from a finite field version of the Beck theorem for large subsets of $\F_q^2$ that we prove. If $|E|\geq 64q\log_2 q$, there exists a point $z\in E$, such that there are at least $\frac{q}{4}$ straight lines incident to $z$, each supporting the number of points of $E$ other than $z$ in the interval between $\frac{|E|}{2q}$ and $\frac{2|E|}{q}.$ This is proved by combining combinatorial and Fourier analytic techniques. We also discuss higher-dimensional implications of these results in light of recent developments. △ Less

Submitted 1 May, 2012; originally announced May 2012.

MSC Class: 52C10

On the Minkowski distances and products of sum sets

Authors: Oliver Roche-Newton, Misha Rudnev

Abstract: Given two points $p,q$ in the real plane, the signed area of the rectangle with the diagonal $[pq]$ equals the square of the Minkowski distance between the points $p,q$. We prove that $N>1$ points in the Minkowski plane $\R^{1,1}$ generate $Ω(\frac{N}{\log{N}})$ distinct distances, or all the distances are zero. The proof follows the lines of the Elekes/Sharir/Guth/Katz approach to the Erd\H os di… ▽ More Given two points $p,q$ in the real plane, the signed area of the rectangle with the diagonal $[pq]$ equals the square of the Minkowski distance between the points $p,q$. We prove that $N>1$ points in the Minkowski plane $\R^{1,1}$ generate $Ω(\frac{N}{\log{N}})$ distinct distances, or all the distances are zero. The proof follows the lines of the Elekes/Sharir/Guth/Katz approach to the Erd\H os distance problem, analysing the 3D incidence problem, arising by considering the action of the Minkowski isometry group $ISO^*(1,1)$. The signature of the metric creates an obstacle to applying the Guth/Katz incidence theorem to the 3D problem at hand, since one may encounter a high count of congruent line intervals, lying on null lines, or "light cones", all these intervals having zero Minkowski length. In terms of the Guth/Katz theorem, its condition of the non-existence of "rich planes" generally gets violated. It turns out, however, that one can efficiently identify and discount incidences, corresponding to null intervals and devise a counting strategy, where the rich planes condition happens to be just ample enough for the strategy to succeed. As a corollary we establish the following near-optimal sum-product type estimate for finite sets $A,B\subset \R$, with more than one element: $$|(A\pm{B})\cdot{(A\pm{B})}|\gg{\frac{|A||B|}{\log{|A|}+\log{|B|}}}.$$ △ Less

Submitted 14 March, 2013; v1 submitted 28 March, 2012; originally announced March 2012.

Comments: 16pp. This is a new extended version of the paper. The previous one had a small gap in the part of the proof, dealing with rich planes, which has been corrected

MSC Class: 68R05; 11B75

On new sum-product type estimates

Authors: Misha Rudnev

Abstract: New lower bounds involving sum, difference, product, and ratio sets for $A\subset \C$ are given. New lower bounds involving sum, difference, product, and ratio sets for $A\subset \C$ are given. △ Less

Submitted 21 November, 2011; originally announced November 2011.

Comments: 12 pages

An elementary additive doubling inequality

Authors: Misha Rudnev

Abstract: We prove an elementary additive combinatorics inequality, which says that if $A$ is a subset of an Abelian group, which has, in some strong sense, large doubling, then the difference set A-A has a large subset, which has small doubling. We prove an elementary additive combinatorics inequality, which says that if $A$ is a subset of an Abelian group, which has, in some strong sense, large doubling, then the difference set A-A has a large subset, which has small doubling. △ Less

Submitted 25 July, 2011; v1 submitted 22 July, 2011; originally announced July 2011.

Comments: Withdrawn (permanently!) thanks to B. Bukh, and T. Tao who both pointed out that the trivial case of the zero difference makes the fourth moment a-priori quite large. Thus the condition, under which the "theorem" was claimed (referred to in the Abstract as "if $A$ is a subset of an Abelian group, which has, in some strong sense, large doubling") is never satisfied

MSC Class: 68R05

On an application of Guth-Katz theorem

Authors: Alex Iosevich, Oliver Roche-Newton, Misha Rudnev

Abstract: We prove that for some universal $c$, a non-collinear set of $N>\frac{1}{c}$ points in the Euclidean plane determines at least $c \frac{N}{\log N}$ distinct areas of triangles with one vertex at the origin, as well as at least $c \frac{N}{\log N}$ distinct dot products. This in particular implies a sum-product bound $$ |A\cdot A\pm A\cdot A|\geq c\frac{|A|^2}{\log |A|} $$ for a discrete… ▽ More We prove that for some universal $c$, a non-collinear set of $N>\frac{1}{c}$ points in the Euclidean plane determines at least $c \frac{N}{\log N}$ distinct areas of triangles with one vertex at the origin, as well as at least $c \frac{N}{\log N}$ distinct dot products. This in particular implies a sum-product bound $$ |A\cdot A\pm A\cdot A|\geq c\frac{|A|^2}{\log |A|} $$ for a discrete $A \subset {\mathbb R}$. △ Less

Submitted 6 February, 2016; v1 submitted 7 March, 2011; originally announced March 2011.

Comments: This paper has been withdrawn. A corrected version can be found at arXiv:1512.02670

MSC Class: 52C10

Journal ref: Math. Res. Lett 18 (2011) no 4, pp 1--7

An improved sum-product inequality in fields of prime order

Authors: Misha Rudnev

Abstract: This note improves the best known exponent 1/12 in the prime field sum-product inequality (for small sets) to 1/11, modulo a logarithmic factor. This note improves the best known exponent 1/12 in the prime field sum-product inequality (for small sets) to 1/11, modulo a logarithmic factor. △ Less

Submitted 20 April, 2011; v1 submitted 11 November, 2010; originally announced November 2010.

Comments: I spotted that the existing version was, in fact, not the final one

MSC Class: 68R05; 11B75

An explicit incidence theorem in F_p

Authors: Harald Andres Helfgott, Misha Rudnev

Abstract: Let $P = A\times A \subset \mathbb{F}_p \times \mathbb{F}_p$, $p$ a prime. Assume that $P= A\times A$ has $n$ elements, $n<p$. See $P$ as a set of points in the plane over $\mathbb{F}_p$. We show that the pairs of points in $P$ determine $\geq c n^{1 + {1/267}}$ lines, where $c$ is an absolute constant. We derive from this an incidence theorem: the number of incidences between a set of $n$ poi… ▽ More Let $P = A\times A \subset \mathbb{F}_p \times \mathbb{F}_p$, $p$ a prime. Assume that $P= A\times A$ has $n$ elements, $n<p$. See $P$ as a set of points in the plane over $\mathbb{F}_p$. We show that the pairs of points in $P$ determine $\geq c n^{1 + {1/267}}$ lines, where $c$ is an absolute constant. We derive from this an incidence theorem: the number of incidences between a set of $n$ points and a set of $n$ lines in the projective plane over $\F_p$ ($n<\sqrt{p}$) is bounded by $C n^{{3/2}-{1/10678}}$, where $C$ is an absolute constant. △ Less

Submitted 19 January, 2010; v1 submitted 12 January, 2010; originally announced January 2010.

Comments: 11 pages

MSC Class: 11B75

Solymosi's multiplicative energy bound for complex numbers

Authors: Tim Jones, Misha Rudnev

Abstract: We extend the recent Solymosi's sum-product estimate for reals to the complex case. We extend the recent Solymosi's sum-product estimate for reals to the complex case. △ Less

Submitted 1 July, 2014; v1 submitted 8 December, 2008; originally announced December 2008.

Comments: This paper was withdrawn by the authors, after L.Li pointed out that the proof had an error. The claim of the paper in question was given a correct proof in the work "New sum-product type estimates", SIAM J. Discrete. Math. 27 (2013), no.2, 873--990, by Konyagin and Rudnev

MSC Class: 68R05; 11B75

An improved estimate on sums of product sets

Authors: Misha Rudnev

Abstract: In a recent paper \cite{Gl} A. Glibichuk proved that if $A,B$ are subsets of an arbitrary finite filed $\F_q$, such that $|A||B|>q$, then $16AB = \F_q$. We improve this to $10AB = \F_q.$ In a recent paper \cite{Gl} A. Glibichuk proved that if $A,B$ are subsets of an arbitrary finite filed $\F_q$, such that $|A||B|>q$, then $16AB = \F_q$. We improve this to $10AB = \F_q.$ △ Less

Submitted 17 May, 2008; originally announced May 2008.

Comments: 4 pages

MSC Class: 11T; 52C

Generalized incidence theorems, homogeneous forms, and sum-product estimates in finite fields

Authors: David Covert, Derrick Hart, Alex Iosevich, Doowon Koh, Misha Rudnev

Abstract: In recent years, sum-product estimates in Euclidean space and finite fields have been studied using a variety of combinatorial, number theoretic and analytic methods. Erdos type problems involving the distribution of distances, areas and volumes have also received much attention. In this paper we prove a relatively straightforward function version of an incidence results for points and planes pr… ▽ More In recent years, sum-product estimates in Euclidean space and finite fields have been studied using a variety of combinatorial, number theoretic and analytic methods. Erdos type problems involving the distribution of distances, areas and volumes have also received much attention. In this paper we prove a relatively straightforward function version of an incidence results for points and planes previously established in \cite{HI07} and \cite{HIKR07}. As a consequence of our methods, we obtain sharp or near sharp results on the distribution of volumes determined by subsets of vector spaces over finite fields and the associated arithmetic expressions. In particular, our machinery enables us to prove that if $E \subset {\Bbb F}_q^d$, $d \ge 4$, the $d$-dimensional vector space over a finite field ${\Bbb F}_q$, of size much greater than $q^{\frac{d}{2}}$, and if $E$ is a product set, then the set of volumes of $d$-dimensional parallelepipeds determined by $E$ covers ${\Bbb F}_q$. This result is sharp as can be seen by taking $E$ to equal to $A \times A \times ... \times A$, where $A$ is a sub-field of ${\Bbb F}_q$ of size $\sqrt{q}$. In three dimensions we establish the same result if $|E| \gtrsim q^{15/8}$. We prove in three dimensions that the set of volumes covers a positive proportion of ${\Bbb F}_q$ if $|E| \ge Cq^{3/2}$. Finally we show that in three dimensions the set of volumes covers a positive proportion of ${\Bbb F}_q$ if $|E| \ge Cq^2$, without any further assumptions on $E$, which is again sharp as taking $E$ to be a 2-plane through the origin shows. △ Less

Submitted 31 March, 2008; v1 submitted 4 January, 2008; originally announced January 2008.

Averages over hyperplanes, sum-product theory in vector spaces over finite fields and the Erdos-Falconer distance conjecture

Authors: Derrick Hart, Alex Iosevich, Doowon Koh, Misha Rudnev

Abstract: We prove a point-wise and average bound for the number of incidences between points and hyper-planes in vector spaces over finite fields. While our estimates are, in general, sharp, we observe an improvement for product sets and sets contained in a sphere. We use these incidence bounds to obtain significant improvements on the arithmetic problem of covering ${\mathbb F}_q$, the finite field with… ▽ More We prove a point-wise and average bound for the number of incidences between points and hyper-planes in vector spaces over finite fields. While our estimates are, in general, sharp, we observe an improvement for product sets and sets contained in a sphere. We use these incidence bounds to obtain significant improvements on the arithmetic problem of covering ${\mathbb F}_q$, the finite field with q elements, by $A \cdot A+... +A \cdot A$, where A is a subset ${\mathbb F}_q$ of sufficiently large size. We also use the incidence machinery we develope and arithmetic constructions to study the Erdos-Falconer distance conjecture in vector spaces over finite fields. We prove that the natural analog of the Euclidean Erdos-Falconer distance conjecture does not hold in this setting due to the influence of the arithmetic. On the positive side, we obtain good exponents for the Erdos -Falconer distance problem for subsets of the unit sphere in $\mathbb F_q^d$ and discuss their sharpness. This results in a reasonably complete description of the Erdos-Falconer distance problem in higher dimensional vector spaces over general finite fields. △ Less

Submitted 31 July, 2007; v1 submitted 23 July, 2007; originally announced July 2007.

Theory of dimension for large discrete sets and applications

Authors: Alex Iosevich, Misha Rudnev, Ignacio Uriarte-Tuero

Abstract: We define two notions of discrete dimension based on the Minkowski and Hausdorff dimensions in the continuous setting. After proving some basic results illustrating these definitions, we apply this machinery to the study of connections between the Erdos and Falconer distance problems in geometric combinatorics and geometric measure theory, respectively. We define two notions of discrete dimension based on the Minkowski and Hausdorff dimensions in the continuous setting. After proving some basic results illustrating these definitions, we apply this machinery to the study of connections between the Erdos and Falconer distance problems in geometric combinatorics and geometric measure theory, respectively. △ Less

Submitted 9 July, 2007; originally announced July 2007.

Comments: 27 pages

MSC Class: 52C10

On distance measures for well-distributed sets

Authors: Alex Iosevich, Misha Rudnev

Abstract: In this paper we investigate the Erdös/Falconer distance conjecture for a natural class of sets statistically, though not necessarily arithmetically, similar to a lattice. We prove a good upper bound for spherical means that have been classically used to study this problem. We conjecture that a majorant for the spherical means suffices to prove the distance conjecture(s) in this setting. For a c… ▽ More In this paper we investigate the Erdös/Falconer distance conjecture for a natural class of sets statistically, though not necessarily arithmetically, similar to a lattice. We prove a good upper bound for spherical means that have been classically used to study this problem. We conjecture that a majorant for the spherical means suffices to prove the distance conjecture(s) in this setting. For a class of non-Euclidean distances, we show that this generally cannot be achieved, at least in dimension two, by considering integer point distributions on convex curves and surfaces. In higher dimensions, we link this problem to the question about the existence of smooth well-curved hypersurfaces that support many integer points. △ Less

Submitted 20 January, 2006; originally announced January 2006.

MSC Class: 42B; 52C

Erdos distance problem in vector spaces over finite fields

Authors: Alex Iosevich, Misha Rudnev

Abstract: We study the Erdös/Falconer distance problem in vector spaces over finite fields. Let ${\Bbb F}_q$ be a finite field with $q$ elements and take $E \subset {\Bbb F}^d_q$, $d \ge 2$. We develop a Fourier analytic machinery, analogous to that developed by Mattila in the continuous case, for the study of distance sets in ${\Bbb F}^d_q$ to provide estimates for minimum cardinality of the distance set… ▽ More We study the Erdös/Falconer distance problem in vector spaces over finite fields. Let ${\Bbb F}_q$ be a finite field with $q$ elements and take $E \subset {\Bbb F}^d_q$, $d \ge 2$. We develop a Fourier analytic machinery, analogous to that developed by Mattila in the continuous case, for the study of distance sets in ${\Bbb F}^d_q$ to provide estimates for minimum cardinality of the distance set $Δ(E)$ in terms of the cardinality of $E$. Kloosterman sums play an important role in the proof. △ Less

Submitted 31 August, 2005; originally announced September 2005.

MSC Class: 42B

On inverse problem of dynamics

Authors: M. Rudnev, V. Ten

Abstract: We study the question whether for a natural Hamiltonian system on a two-dimensional compact configuration manifold, a single trajectory of sufficiently high energy is almost surely enough to reconstruct a real analytic potential. We study the question whether for a natural Hamiltonian system on a two-dimensional compact configuration manifold, a single trajectory of sufficiently high energy is almost surely enough to reconstruct a real analytic potential. △ Less

Submitted 13 February, 2005; originally announced February 2005.

Comments: 5 pages

MSC Class: 37J05; 70H12

Integrability versus topology of configuration manifolds and domains of possible motions

Authors: M. Rudnev, V. Ten

Abstract: We establish a generic sufficient condition for a compact $n$-dimensional manifold bearing an integrable geodesic flow to be the $n$-torus. As a complementary result, we show that in the case of domains of possible motions with boundary, the first Betti number of the domain of possible motions may be arbitrarily large. We establish a generic sufficient condition for a compact $n$-dimensional manifold bearing an integrable geodesic flow to be the $n$-torus. As a complementary result, we show that in the case of domains of possible motions with boundary, the first Betti number of the domain of possible motions may be arbitrarily large. △ Less

Submitted 24 January, 2005; originally announced January 2005.

MSC Class: 37J30; 37J35

A model for separatrix splitting near multiple resonances

Authors: M. Rudnev, V. Ten

Abstract: We propose a model for local dynamics of a perturbed convex real-analytic Liouville-integrable Hamiltonian system near a resonance of multiplicity $1+m, m\geq 0$. Physically, the model represents a toroidal pendulum, coupled with a Liouville-integrable system of $n$ non-linear rotators via a small analytic potential. The global bifurcation problem is set-up for the $n$-dimensional isotropic mani… ▽ More We propose a model for local dynamics of a perturbed convex real-analytic Liouville-integrable Hamiltonian system near a resonance of multiplicity $1+m, m\geq 0$. Physically, the model represents a toroidal pendulum, coupled with a Liouville-integrable system of $n$ non-linear rotators via a small analytic potential. The global bifurcation problem is set-up for the $n$-dimensional isotropic manifold, corresponding to a specific homoclinic orbit of the toroidal pendulum. The splitting of this manifold can be described by a scalar function on an $n$-torus, whose $k$th Fourier coefficient satisfies the estimate $$O(e^{- ρ|k\cdotω| - |k|σ}), k\in\Z^n\setminus\{0\},$$ where $ω\in\R^n$ is a Diophantine rotation vector of the system of rotators; $ρ\in(0,{π\over2})$ and $σ>0$ are the analyticity parameters built into the model. The estimate, under suitable assumptions would generalize to a general multiple resonance normal form of a convex analytic Liouville integrable Hamiltonian system, perturbed by $O(\eps)$, in which case $ω_j\sim\omeps, j=1,...,n.$ △ Less

Submitted 13 January, 2005; originally announced January 2005.

Comments: 24 pages

MSC Class: 70H08; 70H20

A new integrable 3+1 dimensional generalization of the Burgers equation

Authors: M. Rudnev, A. V. Yurov, V. A. Yurov

Abstract: A new nonlinear 3+1 dimensional evolution equation admitting the Lax pair is presented. In the case of one spatial dimension, the equation reduces to the Burgers equation. A method of construction of exact solutions, based on a class of discrete symmetries of the former equation is developed. These symmetries reduce to the Cole-Hopf transformation in one-dimensional limit. Some exact solutions a… ▽ More A new nonlinear 3+1 dimensional evolution equation admitting the Lax pair is presented. In the case of one spatial dimension, the equation reduces to the Burgers equation. A method of construction of exact solutions, based on a class of discrete symmetries of the former equation is developed. These symmetries reduce to the Cole-Hopf transformation in one-dimensional limit. Some exact solutions are analyzed, in the physical context of spatial dissipative structures and shock wave dressing. △ Less

Submitted 29 November, 2004; originally announced November 2004.

Comments: 8 pages