Source author record

Neil Lyall

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

11works
3topics
4close collaborators

Published work

11 publications

preprint2015arXiv

Polynomials and Primes in Generalized Arithmetic Progressions (Revised Version)

We provide upper bounds on the density of a symmetric generalized arithmetic progression lacking nonzero elements of the form h(n) for natural numbers n, or h(p) with p prime, for appropriate polynomials h with integer coefficients. The prime variant can be interpreted as a multi-dimensional, polynomial extension of Linnik's Theorem. This version is a revision of the published version. Most notably, the properness hypotheses have been removed from Theorems 2 and 3, and the numerology in Theorem 2 has been improved.

preprint2010arXiv

An optimal version of Sarkozy's theorem

Using Fourier analytic techniques, we prove that if $\VE>0$, $N\geq \exp\exp(C\VE^{-1}\log\VE^{-1})$ and A⊆{1,...,N}A\subseteq\{1,...,N\}, then there must exist t∈Nt\in\N such that \[\frac{|A\cap (A+t^2)|}{N}>(\frac{|A|}{N})^2-\VE.\] This is a special case of results presented in Lyall and Magyar \cite{LM3} and we will follow those arguments closely. We hope that the exposition of this special case will serve to illuminate the key ideas contained in \cite{LM3}, where many of the analogous arguments are significantly more technical.

preprint2010arXiv

Arithmetic Structure in Sparse Difference Sets

Using a slight modification of an argument of Croot, Ruzsa and Schoen we establish a quantitative result on the existence of a dilated copy of any given configuration of integer points in sparse difference sets. More precisely, given any configuration {v1,...,vℓ}\{v_1,...,v_\ell\} of vectors in Zd\mathbb{Z}^d, we show that if A⊂[1,N]dA\subset[1,N]^d with ∣A∣/Nd≥CN−1/ℓ|A|/N^d\geq C N^{-1/\ell}, then there necessarily exists r≠0r\ne0 such that {rv1,...,rvℓ}⊆A−A\{rv_1, ...,rv_\ell\}\subseteq A-A.

preprint2010arXiv

Polynomial Configurations in Difference Sets (Revised Version)

We prove a quantitative version of the Polynomial Szemeredi Theorem for difference sets. This result is achieved by first establishing a higher dimensional analogue of a theorem of Sarkozy (the simplest non-trivial case of the Polynomial Szemeredi Theorem asserting that the difference set of any subset of the integers of positive upper density necessarily contains a perfect square) and then applying a simple lifting argument.

preprint2010arXiv

Simultaneous Polynomial Recurrence

Let A⊆{1,...,N}A\subseteq\{1,...,N\} and P1,...,Pℓ∈Z[n]P_1,...,P_\ell\in\Z[n] with Pi(0)=0P_i(0)=0 and °Pi=k°P_i=k for every 1≤i≤ℓ1\leq i\leq\ell. We show, using Fourier analytic techniques, that for every $\VE>0$, there necessarily exists n∈Nn\in\N such that \[\frac{|A\cap (A+P_i(n))|}{N}>(\frac{|A|}{N})^2-\VE\] holds simultaneously for 1≤i≤ℓ1\leq i\leq \ell (in other words all of the polynomial shifts of the set AA intersect AA "$\VE$-optimally"), as long as $N\geq N_1(\VE,P_1,...,P_\ell)$. The quantitative bounds obtained for N1N_1 are explicit but poor; we establish that N1N_1 may be taken to be a constant (depending only on P1,...,PℓP_1,...,P_\ell) times a tower of 2's of height $C_{k,\ell}^*+C\eps^{-2}$.

Research graph

See the researcher in context

Open full explorer

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

Building this map preview

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