-
New quantitative estimates on the incidence geometry and growth of finite sets
Authors:
Timothy G. F. Jones
Abstract:
This thesis establishes new quantitative records in several problems of incidence geometry and growth. After the necessary background in Chapters 1, 2 and 3, the following results are proven.
Chapter 4 gives new results in the incidence geometry of a plane determined by a finite field of prime order. These comprise a new upper bound on the total number of incidences determined by finitely many p…
▽ More
This thesis establishes new quantitative records in several problems of incidence geometry and growth. After the necessary background in Chapters 1, 2 and 3, the following results are proven.
Chapter 4 gives new results in the incidence geometry of a plane determined by a finite field of prime order. These comprise a new upper bound on the total number of incidences determined by finitely many points and lines, and a new estimate for the number of distinct lines determined by a finite set of non-collinear points.
Chapter 5 gives new results on expander functions. First, a new bound is established for the two-variable expander a+ab over a finite field of prime order. Second, new expanders in three and four variables are demonstrated over the real and complex numbers with stronger growth properties than any functions previously considered.
Finally, Chapter 6 gives the first bespoke sum-product estimate over function fields, a setting that has so far been largely unexplored for these kinds of problems. This last chapter is joint work with Thomas Bloom.
△ Less
Submitted 21 January, 2013;
originally announced January 2013.
-
A sum-product theorem in function fields
Authors:
Thomas Bloom,
Timothy G. F. Jones
Abstract:
Let $A$ be a finite subset of $\ffield$, the field of Laurent series in $1/t$ over a finite field $\mathbb{F}_q$. We show that for any $ε>0$ there exists a constant $C$ dependent only on $ε$ and $q$ such that $\max\{|A+A|,|AA|\}\geq C |A|^{6/5-ε}$. In particular such a result is obtained for the rational function field $\mathbb{F}_q(t)$. Identical results are also obtained for finite subsets of th…
▽ More
Let $A$ be a finite subset of $\ffield$, the field of Laurent series in $1/t$ over a finite field $\mathbb{F}_q$. We show that for any $ε>0$ there exists a constant $C$ dependent only on $ε$ and $q$ such that $\max\{|A+A|,|AA|\}\geq C |A|^{6/5-ε}$. In particular such a result is obtained for the rational function field $\mathbb{F}_q(t)$. Identical results are also obtained for finite subsets of the $p$-adic field $\mathbb{Q}_p$ for any prime $p$.
△ Less
Submitted 1 March, 2013; v1 submitted 23 November, 2012;
originally announced November 2012.
-
Further improvements to incidence and Beck-type bounds over prime finite fields
Authors:
Timothy G. F. Jones
Abstract:
We establish improved finite field Szemeredi-Trotter and Beck type theorems. First we show that if P and L are a set of points and lines respectively in the plane F_p^2, with |P|,|L| \leq N and N<p, then there are at most C_1 N^{3/2-1/662+o(1)} incidences between points in P and lines in L. Here C_1 is some absolute constant greater than 1. This improves on the previously best-known bound of C_1 N…
▽ More
We establish improved finite field Szemeredi-Trotter and Beck type theorems. First we show that if P and L are a set of points and lines respectively in the plane F_p^2, with |P|,|L| \leq N and N<p, then there are at most C_1 N^{3/2-1/662+o(1)} incidences between points in P and lines in L. Here C_1 is some absolute constant greater than 1. This improves on the previously best-known bound of C_1 N^{3/2-1/806+o(1)}.
Second we show that if P is a set of points in \mathbb{F}_p^2 with |P|<p then either at least C_2|P|^{1-o(1)} points in P are contained in a single line, or P determines least C_2 |P|^{1+1/109-o(1)} distinct lines. Here C_2 is an absolute constant less than 1. This improves on previous results in two ways. Quantitatively, the exponent of 1+1/109-o(1) is stronger than the previously best-known exponent of 1+1/267. And qualitatively, the result applies to all subsets of F_p^2 satisfying the cardinality condition; the previously best-known result applies only when P is of the form P=A*A for A \subseteq F_p.
△ Less
Submitted 20 June, 2012;
originally announced June 2012.
-
Improved bounds on the set A(A+1)
Authors:
Timothy G. F. Jones,
Oliver Roche-Newton
Abstract:
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 i…
▽ More
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.
△ Less
Submitted 3 August, 2012; v1 submitted 17 May, 2012;
originally announced May 2012.
-
New results for the growth of sets of real numbers
Authors:
Timothy G. F. Jones
Abstract:
We use the theory of cross ratios to construct a real-valued function f of only three variables with the property that for any finite set A of reals, the set f(A) = {f(a,b,c):a,b,c \in A} has cardinality at least C|A|^2/log|A|, for an absolute constant C. Previously-known functions with this property had all been of four variables.
We also improve on the state of the art for functions of four va…
▽ More
We use the theory of cross ratios to construct a real-valued function f of only three variables with the property that for any finite set A of reals, the set f(A) = {f(a,b,c):a,b,c \in A} has cardinality at least C|A|^2/log|A|, for an absolute constant C. Previously-known functions with this property had all been of four variables.
We also improve on the state of the art for functions of four variables by constructing a function g for which g(A) has cardinality at least C|A|^2; the previously best-achieved bound was C|A|^2/log|A|.
Finally, we give an example of a five-variable function h for which h(A) has cardinality at least C|A|^4/log|A|.
Proving these results depends only on the Szemeredi-Trotter incidence theorem and an analoguous result for planes due to Edelsbrunner, Guibas and Sharir, each applied in the Erlangen-type framework of Elekes and Sharir. In particular the proofs do not employ the Guth-Katz polynomial partitioning technique or the theory of ruled surfaces.
Although the growth exponents for f, g and h are stronger than those for previously considered functions, it is not clear that they are necessarily sharp. So we pose a question as to whether the bounds on the cardinalities of f(A), g(A) and h(A) can be further strengthened.
△ Less
Submitted 22 February, 2012;
originally announced February 2012.
-
An improved incidence bound over fields of prime order
Authors:
Timothy G. F. Jones
Abstract:
Let P be a set of points and $L$ a set of lines in (F_p)^2, with |P|,|L|\leq N and N<p. We show that P and L generate no more than C N^(3/2 - 1/806 + o(1)) incidences for some absolute constant C. This improves by an order of magnitude on the previously best-known bound of C N^(3/2 - 1/10678).
Let P be a set of points and $L$ a set of lines in (F_p)^2, with |P|,|L|\leq N and N<p. We show that P and L generate no more than C N^(3/2 - 1/806 + o(1)) incidences for some absolute constant C. This improves by an order of magnitude on the previously best-known bound of C N^(3/2 - 1/10678).
△ Less
Submitted 1 November, 2011; v1 submitted 21 October, 2011;
originally announced October 2011.
-
Explicit incidence bounds over general finite fields
Authors:
Timothy G. F. Jones
Abstract:
Let $\mathbb{F}_{q}$ be a finite field of order $q=p^k$ where $p$ is prime. Let $P$ and $L$ be sets of points and lines respectively in $\mathbb{F}_{q} \times \mathbb{F}_{q}$ with $|P|=|L|=n$. We establish the incidence bound $I(P,L) \leq γn^{3/2 - 1/12838}$, where $γ$ is an absolute constant, so long as $P$ satisfies the conditions of being an `antifield'. We define this to mean that the projecti…
▽ More
Let $\mathbb{F}_{q}$ be a finite field of order $q=p^k$ where $p$ is prime. Let $P$ and $L$ be sets of points and lines respectively in $\mathbb{F}_{q} \times \mathbb{F}_{q}$ with $|P|=|L|=n$. We establish the incidence bound $I(P,L) \leq γn^{3/2 - 1/12838}$, where $γ$ is an absolute constant, so long as $P$ satisfies the conditions of being an `antifield'. We define this to mean that the projection of $P$ onto some coordinate axis has no more than half-dimensional interaction with large subfields of $\mathbb{F}_q$. In addition, we give examples of sets satisfying these conditions in the important cases $q=p^2$ and $q=p^4$.
△ Less
Submitted 19 January, 2011; v1 submitted 20 September, 2010;
originally announced September 2010.
