BZPEER

preprint2022arXiv

A convex set with a rich difference

We construct a convex set $A$ with cardinality $2n$ and with the property that an element of the difference set $A-A$ can be represented in $n$ different ways. We also show that this construction is optimal by proving that for any convex set $A$ , the maximum possible number of representations an element of $A-A$ can have is $\lfloor |A|/2 \rfloor$ .

preprint2022arXiv

Counting arcs in $\mathbb F_q^2$

An arc in $\mathbb F_q^2$ is a set $P \subset \mathbb F_q^2$ such that no three points of $P$ are collinear. We use the method of hypergraph containers to prove several counting results for arcs. Let $\mathcal A(q)$ denote the family of all arcs in $\mathbb F_q^2$ . Our main result is the bound $|\mathcal A(q)| \leq 2^{(1+o(1))q}.$ This matches, up to the factor hidden in the $o(1)$ notation, the trivial lower bound that comes from considering all subsets of an arc of size $q$ . We also give upper bounds for the number of arcs of a fixed (large) size. Let $k=q^t$ for some $t >2/3$ , and let $\mathcal A(q,k)$ denote the family of all arcs in $\mathbb F_q^2$ with cardinality $k$ . We prove that, for all $γ>0$ $|\mathcal A(q,k)| \leq \binom{(1+γ)q}{k}.$ This result improves a bound of Roche-Newton and Warren. A nearly matching lower bound $|\mathcal A(q,k)| \geq \binom{q}{k}$ follows by considering all subsets of size $k$ of an arc of size $q$ .

preprint2020arXiv

An Energy Bound in the Affine Group

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.

preprint2020arXiv

Four-term progression free sets with three-term progressions in all large subsets

This paper is mainly concerned with sets which do not contain four-term arithmetic progressions, but are still very rich in three term arithmetic progressions, in the sense that all sufficiently large subsets contain at least one such progression. We prove that there exists a positive constant $c$ and a set $A \subset \mathbb F_q^n$ which does not contain a four-term arithmetic progression, with the property that for every subset $A' \subset A$ with $|A'| \geq |A|^{1-c}$ , $A'$ contains a nontrivial three term arithmetic progression. We derive this from a more general quantitative Roth-type theorem in random subsets of $\mathbb{F}_{q}^{n}$ , which improves a result of Kohayakawa-Luczak-Rödl/Tao-Vu. We also discuss a similar phenomenon over the integers, where we show that for all $ε>0$ , and all sufficiently large $N \in \mathbb N$ , there exists a four-term progression-free set $A$ of size $N$ with the property that for every subset $A' \subset A$ with $|A'| \gg \frac{1}{(\log N)^{1-ε}} \cdot N$ contains a nontrivial three term arithmetic progression. Finally, we include another application of our methods, showing that for sets in $\mathbb{F}_{q}^{n}$ or $\mathbb{Z}$ the property of "having nontrivial three-term progressions in all large subsets" is almost entirely uncorrelated with the property of "having large additive energy".

preprint2020arXiv

Higher convexity and iterated sum sets

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$ .

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

Expanders with superquadratic growth

We will prove several expanders with exponent strictly greater than $2$ . For any finite set $A \subset \mathbb R$ , we prove the following six-variable expander results: \begin{align*} |(A-A)(A-A)(A-A)| &\gg \frac{|A|^{2+\frac{1}{8}}}{\log^{\frac{17}{16}}|A|}, \\ \left|\frac{A+A}{A+A}+\frac{A}{A}\right| &\gg \frac{|A|^{2+\frac{2}{17}}}{\log^{\frac{16}{17}}|A|}, \\ \left|\frac{AA+AA}{A+A}\right| &\gg \frac{|A|^{2+\frac{1}{8}}}{\log |A|}, \\ \left|\frac{AA+A}{AA+A}\right| &\gg \frac{|A|^{2+\frac{1}{8}}}{\log |A|}. \end{align*}

preprint2016arXiv

On an application of Guth-Katz theorem

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}$ .

preprint2016arXiv

On distinct perpendicular bisectors and pinned distances in finite fields

Given a set of points $P \subset \mathbb F_q^2$ such that $|P|\geq q^{3/2}$ it is established that $|P|$ determines $Ω(q^2)$ distinct perpendicular bisectors. It is also proven that, if $|P| \geq q^{4/3}$ , then for a positive proportion of points $a \in P$ , we have $|\{\| a- b\|: b \in P\}|=Ω(q),$ where $\|a- b\|$ is the distance between points $a$ and $b$ . The latter result represents an improvement on a result of Chapman et al. (arxiv:0903.4218).

preprint2016arXiv

On sets with few distinct distances

It is widely believed that point sets in the plane which determine few distinct distances must have some special structure. In particular, such sets are believed to be similar to a lattice. This note considers two different ways to quantify this idea. Firstly, improving on a result of Hanson (see arXiv:1607.03442), it is proven that if $P= A \times A$ with $A \subset \mathbb R$ and $P$ determines $O(|A|^2)$ distinct distances, then $|A-A|=O\left(|A|^{2-\frac{2}{11}}\right)$ . This result gives further evidence that cartesian products which determine few distinct distances have some additive structure. Secondly, it is shown that if a set $P \subset \mathbb R^2$ of $N$ points determines $O(N/\sqrt {\log N})$ distinct distances, then there exists a reflection $\mathcal R$ and a set $P' \subset P$ with $|P'| =Ω( \log^{3/2} N)$ such that $\mathcal R(P') \subset P$ . In other words, sets with few distinct distances have some degree of reflexive symmetry.

preprint2015arXiv

New sum-product type estimates over finite fields

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}}.$

preprint2015arXiv

On discrete values of bilinear forms

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).$

preprint2014arXiv

A bound on the multiplicative energy of a sum set and extremal sum-product problems

In recent years some near-optimal estimates have been established for certain sum-product type estimates. This paper gives some first extremal results which provide information about when these bounds may or may not be tight. The main tool is a new result which provides a nontrivial upper bound on the multiplicative energy of a sum set or difference set.

preprint2014arXiv

Elementary methods for incidence problems in finite fields

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.

preprint2014arXiv

New sum-product estimates for real and complex numbers

A variation on the sum-product problem seeks to show that a set which is defined by additive and multiplicative operations will always be large. In this paper, we prove new results of this type. In particular, we show that for any finite set $A$ of positive real numbers, it is true that $\left|\left\{\frac{a+b}{c+d}:a,b,c,d\in{A}\right\}\right|\geq{2|A|^2-1}.$ As a consequence of this result, it is also established that $|4^{k-1}A^{(k)}|:=|\underbrace{\underbrace{A\cdots{A}}_\textrm{k times}+\cdots{+A\cdots{A}}}_\textrm{$4^{k-1}$ times}|\geq{|A|^k}.$ Later on, it is shown that both of these bounds hold in the case when $A$ is a finite set of complex numbers, although with smaller multiplicative constants.

preprint2014arXiv

Polynomial Values in Subfields and Affine Subspaces of Finite Fields

For an integer $r$ , a prime power $q$ , and a polynomial $f$ over a finite field ${\mathbb F}_{q^r}$ of $q^r$ elements, we obtain an upper bound on the frequency of elements in an orbit generated by iterations of $f$ which fall in a proper subfield of ${\mathbb F}_{q^r}$ . We also obtain similar results for elements in affine subspaces of ${\mathbb F}_{q^r}$ , considered as a linear space over ${\mathbb F}_q$ .

preprint2014arXiv

Sets with few distinct distances do not have heavy lines

Let $P$ be a set of $n$ points in the plane that determines at most $n/5$ distinct distances. We show that no line can contain more than $O(n^{43/52}{\rm polylog}(n))$ points of $P$ . We also show a similar result for rectangular distances, equivalent to distances in the Minkowski plane, where the distance between a pair of points is the area of the axis-parallel rectangle that they span.

preprint2014arXiv

Sum-ratio estimates over arbitrary finite fields

The aim of this note is to record a proof that the estimate $\max{\{|A+A|,|A:A|\}}\gg{|A|^{12/11}}$ holds for any set $A\subset{\mathbb{F}_q}$ , provided that $A$ satisfies certain conditions which state that it is not too close to being a subfield. An analogous result was established in \cite{LiORN}, with the product set $A\cdot{A}$ in the place of the ratio set $A:A$ . The sum-ratio estimate here beats the sum-product estimate in \cite{LiORN} by a logarithmic factor, with slightly improved conditions for the set $A$ , and the proof is arguably a little more intuitive. The sum-ratio estimate was mentioned in \cite{LiORN}, but a proof was not given.

preprint2014arXiv

Variations on the Sum-Product Problem

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$ .

preprint2013arXiv

On the Minkowski distances and products of sum sets

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|}}}.$

preprint2012arXiv

Improved bounds on the set A(A+1)

For a subset A of a field F, write A(A + 1) for the set {a(b + 1):a,b\in A}. We establish new estimates on the size of A(A+1) in the case where F is either a finite field of prime order, or the real line. In the finite field case we show that A(A+1) is of cardinality at least C|A|^{57/56-o(1)} for some absolute constant C, so long as |A| < p^{1/2}. In the real case we show that the cardinality is at least C|A|^{24/19-o(1)}. These improve on the previously best-known exponents of 106/105-o(1) and 5/4 respectively.

preprint2011arXiv

An improved sum-product estimate for general finite fields

This paper improves on a sum-product estimate obtained by Katz and Shen for subsets of a finite field whose order is not prime.

preprint2011arXiv

An improved sum-product estimate over finite fields

This paper gives an improved sum-product estimate for subsets of a finite field whose order is not prime. It is shown, under certain conditions, that $\max\{|A+A|,|A\cdot{A}|\}\gg{\frac{|A|^{12/11}}{(\log_2|A|)^{5/11}}}.$ This new estimate matches, up to a logarithmic factor, the current best known bound obtained over prime fields by Rudnev (\cite{mishaSP}).

preprint2011arXiv

Convexity and a sum-product type estimate

In this paper we further study the relationship between convexity and additive growth, building on the work of Schoen and Shkredov (\cite{SS}) to get some improvements to earlier results of Elekes, Nathanson and Ruzsa (\cite{ENR}). In particular, we show that for any finite set $A\subset{\mathbb{R}}$ and any strictly convex or concave function $f$ , $|A+f(A)|\gg{\frac{|A|^{24/19}}{(\log|A|)^{2/19}}}$ and $\max\{|A-A|,\ |f(A)+f(A)|\}\gg{\frac{|A|^{14/11}}{(\log|A|)^{2/11}}}.$ For the latter of these inequalities, we go on to consider the consequences for a sum-product type problem.

Oliver Roche-Newton

Research overview

Is this your work?

24 publications

A convex set with a rich difference

Counting arcs in $\mathbb F_q^2$

An Energy Bound in the Affine Group

Four-term progression free sets with three-term progressions in all large subsets

Higher convexity and iterated sum sets

On iterated product sets with shifts II

Expanders with superquadratic growth

On an application of Guth-Katz theorem

On distinct perpendicular bisectors and pinned distances in finite fields

On sets with few distinct distances

New sum-product type estimates over finite fields

On discrete values of bilinear forms

A bound on the multiplicative energy of a sum set and extremal sum-product problems

Elementary methods for incidence problems in finite fields

New sum-product estimates for real and complex numbers

Polynomial Values in Subfields and Affine Subspaces of Finite Fields

Sets with few distinct distances do not have heavy lines

Sum-ratio estimates over arbitrary finite fields

Variations on the Sum-Product Problem

On the Minkowski distances and products of sum sets

Improved bounds on the set A(A+1)

An improved sum-product estimate for general finite fields

An improved sum-product estimate over finite fields

Convexity and a sum-product type estimate

See the researcher in context

Building this map preview

Oliver Roche-Newton

Research overview

Is this your work?

24 publications

A convex set with a rich difference

Counting arcs in Fq2\mathbb F_q^2Fq2​

An Energy Bound in the Affine Group

Four-term progression free sets with three-term progressions in all large subsets

Higher convexity and iterated sum sets

On iterated product sets with shifts II

Expanders with superquadratic growth

On an application of Guth-Katz theorem

On distinct perpendicular bisectors and pinned distances in finite fields

On sets with few distinct distances

New sum-product type estimates over finite fields

On discrete values of bilinear forms

A bound on the multiplicative energy of a sum set and extremal sum-product problems

Elementary methods for incidence problems in finite fields

New sum-product estimates for real and complex numbers

Polynomial Values in Subfields and Affine Subspaces of Finite Fields

Sets with few distinct distances do not have heavy lines

Sum-ratio estimates over arbitrary finite fields

Variations on the Sum-Product Problem

On the Minkowski distances and products of sum sets

Improved bounds on the set A(A+1)

An improved sum-product estimate for general finite fields

An improved sum-product estimate over finite fields

Convexity and a sum-product type estimate

See the researcher in context

Building this map preview

Counting arcs in $\mathbb F_q^2$