BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Timothy G. F. Jones appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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$.
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.
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.
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.
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.
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 $\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$.