Showing 1–41 of 41 results for author: Helfgott, H A

New dimensional estimates for subvarieties of linear algebraic groups

Authors: Jitendra Bajpai, Daniele Dona, Harald Andrés Helfgott

Abstract: For every connected, almost simple linear algebraic group $G\leq\mathrm{GL}_{n}$ over a large enough field $K$, every subvariety $V\subseteq G$, and every finite generating set $A\subseteq G(K)$, we prove a general dimensional bound, that is, a bound of the form \[|A\cap V(\overline{K})|\leq C_{1}|A^{C_{2}}|^{\frac{\dim(V)}{\dim(G)}}\] with $C_{1},C_{2}$ depending only on $n,\mathrm{deg}(V)$. The… ▽ More For every connected, almost simple linear algebraic group $G\leq\mathrm{GL}_{n}$ over a large enough field $K$, every subvariety $V\subseteq G$, and every finite generating set $A\subseteq G(K)$, we prove a general dimensional bound, that is, a bound of the form \[|A\cap V(\overline{K})|\leq C_{1}|A^{C_{2}}|^{\frac{\dim(V)}{\dim(G)}}\] with $C_{1},C_{2}$ depending only on $n,\mathrm{deg}(V)$. The dependence of $C_1$ on $n$ (or rather on $\dim (V)$) is doubly exponential, whereas $C_2$ (which is independent of $\mathrm{deg}(V)$) depends simply exponentially on $n$. Bounds of this form have proved useful in the study of growth in linear algebraic groups since 2005 (Helfgott) and, before then, in the study of subgroup structure (Larsen-Pink: $A$ a subgroup). In bounds for general $V$ and $G$ available before our work, the dependence of $C_1$ and $C_2$ on $n$ was of exponential-tower type. We draw immediate consequences regarding diameter bounds for untwisted classical groups $G(\mathbb{F}_{q})$. (In a separate paper, we derive stronger diameter bounds from stronger dimensional bounds we prove for specific families of varieties $V$.) △ Less

Submitted 22 January, 2024; v1 submitted 17 August, 2023; originally announced August 2023.

Comments: 42 pages. Submitted

MSC Class: Primary: 20F69; 20G40; 05C25; Secondary: 14A10; 05C12

Aritmética, Grupos y Análisis (AGRA II, Cusco, Perú)

Authors: Mikhail Belolipetsky, Harald Andrés Helfgott, Carlos Gustavo Moreira

Abstract: These are lecture notes for the AGRA II school, which took place in August 2015 at Universidad de San Antonio Abad del Cusco (Perú). They are geared towards graduate students and young researchers. I. Modular forms and Shimura curves (R. J. Miatello, G. Tornaría, A. Pacetti, M. Harris) II. Additive combinatorics (J. Rué, J. Wolf, J. Cilleruelo, P. Candela) III. Introduction to elliptic curve… ▽ More These are lecture notes for the AGRA II school, which took place in August 2015 at Universidad de San Antonio Abad del Cusco (Perú). They are geared towards graduate students and young researchers. I. Modular forms and Shimura curves (R. J. Miatello, G. Tornaría, A. Pacetti, M. Harris) II. Additive combinatorics (J. Rué, J. Wolf, J. Cilleruelo, P. Candela) III. Introduction to elliptic curves (M. Rebolledo and M. Hindry) IV. Growth in groups and expanders (H. A. Helfgott, M. Belolipetsky) V. Analysis and geometry in groups (A. Zuk) VI. Equidistribution and Diophantine analysis (R. Menares) △ Less

Submitted 20 April, 2022; originally announced April 2022.

Comments: 344+iv pages. In Spanish

MSC Class: 11A25; 11F06; 11G18; 11R58

Expansion, divisibility and parity: an explanation

Authors: Harald Andrés Helfgott

Abstract: After seeing how questions on the finer distribution of prime factorization -- considered inaccessible until recently -- reduce to bounding the norm of an operator defined on a graph describing factorization, we will show how to bound that norm. In essence, the graph is a strong local expander, with all eigenvalues bounded by a constant factor times the theoretical minimum (i.e., the eigenvalue bo… ▽ More After seeing how questions on the finer distribution of prime factorization -- considered inaccessible until recently -- reduce to bounding the norm of an operator defined on a graph describing factorization, we will show how to bound that norm. In essence, the graph is a strong local expander, with all eigenvalues bounded by a constant factor times the theoretical minimum (i.e., the eigenvalue bound corresponding to Ramanujan graphs). The proof will take us on a walk from graph theory to linear algebra and the geometry of numbers, and back to graph theory, aided, along the way, by a generalized sieve. This is an expository paper; the full proof has appeared as a joint preprint with M. Radziwi\{l}\{l}. △ Less

Submitted 3 January, 2022; originally announced January 2022.

Comments: 40 pages, 11 figures

MSC Class: 05C48; 11N37; 11N35; 05C81

Growth estimates and diameter bounds for classical Chevalley groups

Authors: Jitendra Bajpai, Daniele Dona, Harald Andrés Helfgott

Abstract: Babai's conjecture states that, for any finite simple non-abelian group $G$, the diameter of $G$ is bounded by $(\log|G|)^{C}$ for some absolute constant $C$. We prove that, for any classical Chevalley group $G$ of rank $r$ defined over a field $\mathbb{F}_{q}$ with $q$ not too small with respect to $r$, \begin{equation*} \mathrm{diam}(G(\mathbb{F}_{q}))\leq(\log|G(\mathbb{F}_{q})|)^{1947r^{4}\log… ▽ More Babai's conjecture states that, for any finite simple non-abelian group $G$, the diameter of $G$ is bounded by $(\log|G|)^{C}$ for some absolute constant $C$. We prove that, for any classical Chevalley group $G$ of rank $r$ defined over a field $\mathbb{F}_{q}$ with $q$ not too small with respect to $r$, \begin{equation*} \mathrm{diam}(G(\mathbb{F}_{q}))\leq(\log|G(\mathbb{F}_{q})|)^{1947r^{4}\log(2r)}. \end{equation*} This bound improves on results by Breuillard, Green, and Tao [7], Pyber and Szabó [31], and, for $q$ large enough, also on Halasi, Maróti, Pyber, and Qiao [13]. Our bound is achieved by way of giving dimensional estimates for certain subvarieties of $G$, i.e. estimates of the form $|A\cap V(\mathbb{F}_{q})|\ll|A^{C}|^{\dim(V)/\dim(G)}$ valid for all generating sets $A$. We also provide an explicit dimensional estimate for general subvarieties of $G$. △ Less

Submitted 7 February, 2022; v1 submitted 6 October, 2021; originally announced October 2021.

Comments: 45 pages; v2: updated funding information

MSC Class: 20F69; 20G40; 05C25 (Primary); 14A10; 05C12 (Secondary)

Expansion, divisibility and parity

Authors: Harald Andrés Helfgott, Maksym Radziwiłł

Abstract: Let $\mathbf{P} \subset [H_0,H]$ be a set of primes, where $\log H_0 \geq (\log H)^{2/3 + ε}$. Let $\mathscr{L} = \sum_{p \in \mathbf{P}} 1/p$. Let $N$ be such that $\log H \leq (\log N)^{1/2-ε}$. We show there exists a subset $\mathscr{X} \subset (N, 2N]$ of density close to $1$ such that all the eigenvalues of the linear operator… ▽ More Let $\mathbf{P} \subset [H_0,H]$ be a set of primes, where $\log H_0 \geq (\log H)^{2/3 + ε}$. Let $\mathscr{L} = \sum_{p \in \mathbf{P}} 1/p$. Let $N$ be such that $\log H \leq (\log N)^{1/2-ε}$. We show there exists a subset $\mathscr{X} \subset (N, 2N]$ of density close to $1$ such that all the eigenvalues of the linear operator $$(A_{|\mathscr{X}} f)(n) = \sum_{\substack{p \in \mathbf{P} : p | n \\ n, n \pm p \in \mathscr{X}}} f(n \pm p) \; - \sum_{\substack{p \in\mathbf{P} \\ n, n \pm p \in \mathscr{X}}} \frac{f(n \pm p)}{p}$$ are $O(\sqrt{\mathscr{L}})$. This bound is optimal up to a constant factor. In other words, we prove that a graph describing divisibility by primes is a strong local expander almost everywhere, and indeed within a constant factor of being "locally Ramanujan" (a.e.). Specializing to $f(n) = λ(n)$ with $λ(n)$ the Liouville function, and using an estimate by Matomäki, Radziwiłł and Tao on the average of $λ(n)$ in short intervals, we derive that \[\frac{1}{\log x} \sum_{n\leq x} \frac{λ(n) λ(n+1)}{n} = O\Big(\frac{1}{\sqrt{\log \log x}}\Big),\] improving on a result of Tao's. We also prove that $\sum_{N<n\leq 2 N} λ(n) λ(n+1)=o(N)$ at almost all scales with a similar error term, improving on a result by Tao and Teräväinen. (Tao and Tao-Teräväinen followed a different approach, based on entropy, not expansion; significantly, we can take a much larger value of $H$, and thus consider many more primes.) We can also prove sharper results with ease. For instance: let $S_{N,k}$ the set of all $N<n\leq 2N$ such that $Ω(n) = k$. Then, for any fixed value of $k$ with $k = \log \log N + O(\sqrt{\log \log N})$ (that is, any "popular" value of $k$) the average of $λ(n+1)$ over $S_{N,k}$ is $o(1)$ at almost all scales. △ Less

Submitted 13 April, 2021; v1 submitted 11 March, 2021; originally announced March 2021.

Comments: Second version: 101 pages, 3 figures. Last section much expanded. Minor corrections

MSC Class: 05C48; 11N37; 11N35; 05C81

Summing $μ(n)$: a faster elementary algorithm

Authors: Harald A. Helfgott, Lola Thompson

Abstract: We present a new elementary algorithm that takes \[ \mathrm{time} \ \ O_ε\left(x^{\frac{3}{5}} (\log x)^{\frac{3}{5}+ε} \right) \ \ \mathrm{and}\ \ \mathrm{space} \ \ O\left(x^{\frac{3}{10}} (\log x)^{\frac{13}{10}} \right)\] for computing $M(x) = \sum_{n \leq x} μ(n),$ where $μ(n)$ is the Möbius function. This is the first improvement in the exponent of $x$ for an elementary algorithm since 1985.… ▽ More We present a new elementary algorithm that takes \[ \mathrm{time} \ \ O_ε\left(x^{\frac{3}{5}} (\log x)^{\frac{3}{5}+ε} \right) \ \ \mathrm{and}\ \ \mathrm{space} \ \ O\left(x^{\frac{3}{10}} (\log x)^{\frac{13}{10}} \right)\] for computing $M(x) = \sum_{n \leq x} μ(n),$ where $μ(n)$ is the Möbius function. This is the first improvement in the exponent of $x$ for an elementary algorithm since 1985. We also show that it is possible to reduce space consumption to $O(x^{1/5} (\log x)^{5/3})$ by the use of (Helfgott, 2020; arxiv.longhoe.net:1712.09130), at the cost of letting time rise to the order of $x^{3/5} (\log x)$. △ Less

Submitted 28 February, 2022; v1 submitted 21 January, 2021; originally announced January 2021.

Comments: 43 pages, 2 figures. Fourth version: streamlined abstract, rewritten introduction

MSC Class: 11Y70; 11Y16

Optimality for the two-parameter quadratic sieve

Authors: Emanuel Carneiro, Andrés Chirre, Harald Andrés Helfgott, Julian Mejia-Cordero

Abstract: We study the two-parameter quadratic sieve for a general test function. We prove, under some very general assumptions, that the function considered by Barban and Vehov [BV68] and Graham [Gra78] for this problem is optimal up to and including the second-order term. We determine that second-order term explicitly. We study the two-parameter quadratic sieve for a general test function. We prove, under some very general assumptions, that the function considered by Barban and Vehov [BV68] and Graham [Gra78] for this problem is optimal up to and including the second-order term. We determine that second-order term explicitly. △ Less

Submitted 5 January, 2022; v1 submitted 6 May, 2020; originally announced May 2020.

Comments: Minor edits. 32 pages. To appear in Acta Arithmetica

MSC Class: 11N35

Explicit $L^2$ bounds for the Riemann $ζ$ function

Authors: Daniele Dona, Harald A. Helfgott, Sebastian Zuniga Alterman

Abstract: Explicit bounds on the tails of the zeta function $ζ$ are needed for applications, notably for integrals involving $ζ$ on vertical lines or other paths going to infinity. Here we bound weighted $L^2$ norms of tails of $ζ$. Two approaches are followed, each giving the better result on a different range. The first one is inspired by the proof of the standard mean value theorem for Dirichlet polyno… ▽ More Explicit bounds on the tails of the zeta function $ζ$ are needed for applications, notably for integrals involving $ζ$ on vertical lines or other paths going to infinity. Here we bound weighted $L^2$ norms of tails of $ζ$. Two approaches are followed, each giving the better result on a different range. The first one is inspired by the proof of the standard mean value theorem for Dirichlet polynomials. The second approach, superior for large $T$, is based on classical lines, starting with an approximation to $ζ$ via Euler-Maclaurin. Both bounds give main terms of the correct order for $0<σ\leq 1$ and are strong enough to be of practical use for the rigorous computation of improper integrals. We also present bounds for the $L^{2}$ norm of $ζ$ in $[1,T]$ for $0\leqσ\leq 1$. △ Less

Submitted 15 March, 2022; v1 submitted 3 June, 2019; originally announced June 2019.

Comments: 37 pages; v7: version accepted by the journal

MSC Class: 11M06

Journal ref: J. Théor. Nombres Bordeaux, 34(1):91--133, 2022

Growth and expansion in algebraic groups over finite fields

Authors: Harald Andres Helfgott

Abstract: This is a brief introduction to the study of growth in groups of Lie type, with $SL_2(\mathbb{F}_q)$ and some of its subgroups as the key examples. They are an edited version of the notes I distributed at the Arizona Winter School in 2016. Those notes were, in turn, based in part on my survey in Bull. Am. Math. Soc. (2015) and in part on the notes for courses I gave on the subject in Cusco (AGRA)… ▽ More This is a brief introduction to the study of growth in groups of Lie type, with $SL_2(\mathbb{F}_q)$ and some of its subgroups as the key examples. They are an edited version of the notes I distributed at the Arizona Winter School in 2016. Those notes were, in turn, based in part on my survey in Bull. Am. Math. Soc. (2015) and in part on the notes for courses I gave on the subject in Cusco (AGRA) and Göttingen. △ Less

Submitted 10 October, 2019; v1 submitted 17 February, 2019; originally announced February 2019.

Comments: 44 pages; minimal changes to bibliography

MSC Class: 20F69; 20D60; 11B30; 05C25

Crecimiento y expansion en SL_2

Authors: Harald Andres Helfgott

Abstract: This is a short introduction (in Spanish) to the study of growth in finite groups, with SL_2 as an example. Emphasis is put on developments of the decade 2005--2015, originating partly in combinatorics. Little algebraic-geometrical background is assumed, but the proofs are nevertheless presented in a relatively abstract and generalizable way. This is a short introduction (in Spanish) to the study of growth in finite groups, with SL_2 as an example. Emphasis is put on developments of the decade 2005--2015, originating partly in combinatorics. Little algebraic-geometrical background is assumed, but the proofs are nevertheless presented in a relatively abstract and generalizable way. △ Less

Submitted 1 October, 2018; originally announced October 2018.

Comments: 44 pages, in Spanish; final version of notes for the AGRA II winter school (2015)

MSC Class: 20F69; 20D60

Growth in linear algebraic groups and permutation groups: towards a unified perspective

Authors: Harald A. Helfgott

Abstract: By now, we have a product theorem in every finite simple group $G$ of Lie type, with the strength of the bound depending only in the rank of $G$. Such theorems have numerous consequences: bounds on the diameters of Cayley graphs, spectral gaps, and so forth. For the alternating group Alt_n, we have a quasipolylogarithmic diameter bound (Helfgott-Seress 2014), but it does not rest on a product theo… ▽ More By now, we have a product theorem in every finite simple group $G$ of Lie type, with the strength of the bound depending only in the rank of $G$. Such theorems have numerous consequences: bounds on the diameters of Cayley graphs, spectral gaps, and so forth. For the alternating group Alt_n, we have a quasipolylogarithmic diameter bound (Helfgott-Seress 2014), but it does not rest on a product theorem. We shall revisit the proof of the bound for Alt_n, bringing it closer to the proof for linear algebraic groups, and making some common themes clearer. As a result, we will show how to prove a product theorem for Alt_n -- not of full strength, as that would be impossible, but strong enough to imply the diameter bound. △ Less

Submitted 21 November, 2018; v1 submitted 9 April, 2018; originally announced April 2018.

Comments: To appear in the proceedings of the St Andrews conference (2017). A paragraph (reiterating credit) was accidentally omitted from v2

MSC Class: 20B05; 20B30; 30B35

An improved sieve of Eratosthenes

Authors: Harald Andres Helfgott

Abstract: We show how to carry out a sieve of Eratosthenes up to N in space O(N^{1/3} (log N)^{2/3}) and time O(N log N). These bounds constitute an improvement over the usual versions of the sieve, which take space about O(sqrt{N}) and time at least linear on N. We can also apply our sieve to any subinterval of [1,N] of length Omega(N^{1/3} (log N)^{2/3}) in time essentially linear on the length of the int… ▽ More We show how to carry out a sieve of Eratosthenes up to N in space O(N^{1/3} (log N)^{2/3}) and time O(N log N). These bounds constitute an improvement over the usual versions of the sieve, which take space about O(sqrt{N}) and time at least linear on N. We can also apply our sieve to any subinterval of [1,N] of length Omega(N^{1/3} (log N)^{2/3}) in time essentially linear on the length of the interval. Before, such a thing was possible only for subintervals of [1,N] of length Omega(sqrt{N}). Just as in (Galway, 2000), our approach is related to Diophantine approximation, and also has close ties to Voronoi's work on the Dirichlet divisor problem. The advantage of the method here resides in the fact that, because the method we will give is based on the sieve of Eratosthenes, we will also be able to use it to factor integers, and not just to produce lists of consecutive primes. △ Less

Submitted 22 April, 2019; v1 submitted 25 December, 2017; originally announced December 2017.

Comments: 20 pages; fifth version. Typos in the pseudocode in algorithm 5 corrected

MSC Class: 11Y05; 11Y06; 11Y16

Graph isomorphisms in quasi-polynomial time

Authors: Harald Andrés Helfgott, Jitendra Bajpai, Daniele Dona

Abstract: Let us be given two graphs $Γ_1$, $Γ_2$ of $n$ vertices. Are they isomorphic? If they are, the set of isomorphisms from $Γ_1$ to $Γ_2$ can be identified with a coset $H\cdotπ$ inside the symmetric group on $n$ elements. How do we find $π$ and a set of generators of $H$? The challenge of giving an always efficient algorithm answering these questions remained open for a long time. Babai has recent… ▽ More Let us be given two graphs $Γ_1$, $Γ_2$ of $n$ vertices. Are they isomorphic? If they are, the set of isomorphisms from $Γ_1$ to $Γ_2$ can be identified with a coset $H\cdotπ$ inside the symmetric group on $n$ elements. How do we find $π$ and a set of generators of $H$? The challenge of giving an always efficient algorithm answering these questions remained open for a long time. Babai has recently shown how to solve these problems -- and others linked to them -- in quasi-polynomial time, i.e. in time $\exp\left(O(\log n)^{O(1)}\right)$. His strategy is based in part on the algorithm by Luks (1980/82), who solved the case of graphs of bounded degree. △ Less

Submitted 12 October, 2017; originally announced October 2017.

Comments: Translation from the French original (with additions: solutions, further problems) of arXiv:1701.04372; main text (42 pages) by Harald Helfgott + Appendix B (24 pages) by Jitendra Bajpai and Daniele Dona + bibliography (2 pages)

MSC Class: 68Q25; 68R10; 20B25; 20B15; 05E18

Isomorphismes de graphes en temps quasi-polynomial (d'après Babai et Luks, Weisfeiler-Leman...)

Authors: Harald Andrés Helfgott

Abstract: Soient donnés deux graphes $Γ_1$, $Γ_2$ à $n$ sommets. Sont-ils isomorphes? S'ils le sont, l'ensemble des isomorphismes de $Γ_1$ à $Γ_2$ peut être identifié avec une classe $H π$ du groupe symétrique sur $n$ éléments. Comment trouver $π$ et des générateurs de $H$? Le défi de donner un algorithme toujours efficace en réponse à ces questions est resté longtemps ouvert. Babai a récemment montré comme… ▽ More Soient donnés deux graphes $Γ_1$, $Γ_2$ à $n$ sommets. Sont-ils isomorphes? S'ils le sont, l'ensemble des isomorphismes de $Γ_1$ à $Γ_2$ peut être identifié avec une classe $H π$ du groupe symétrique sur $n$ éléments. Comment trouver $π$ et des générateurs de $H$? Le défi de donner un algorithme toujours efficace en réponse à ces questions est resté longtemps ouvert. Babai a récemment montré comment résoudre ces questions -- et d'autres qui y sont liées -- en temps quasi-polynomial, c'est-à-dire en temps $\exp(O(\log n)^{O(1)})$. Sa stratégie est basée en partie sur l'algorithme de Luks (1980/82), qui a résolu le cas de graphes de degré borné. English translation: Graph isomorphisms in quasipolynomial time [after Babai and Luks, Weisfeiler--Leman,...]. Let $Γ_1$, $Γ_2$ be two graphs with $n$ vertices. Are they isomorphic? If any isomorphisms from $Γ_1$ to $Γ_2$ exist, they form a coset $H π$ in the symmetric group on $n$ elements. How can we find a representative $π$ and a set of generators for $H$? Finding an algorithm that answers such questions efficiently (in all cases) is a challenge that has long remained open. Babai has recently shown how to solve these problems and related ones in quasipolynomial time, i.e., time $\exp(O(\log n)^{O(1)})$. His strategy is based in part on an algorithm due to Luks (1980/82), who solved the case of graphs of bounded degree. △ Less

Submitted 12 October, 2017; v1 submitted 16 January, 2017; originally announced January 2017.

Comments: Expository paper associated to Bourbaki seminar (Jan 14, 2017). 43 pages, in French. To appear in Astérisque. Fascicule no 1125 of the Bourbaki seminar (69th year, 2016-2017)

MSC Class: 68Q25; 68R10; 20B25; 20B15; 05E18

Soficity, short cycles and the Higman group

Authors: Harald A. Helfgott, Kate Juschenko

Abstract: This is a paper with two aims. First, we show that the map from $\mathbb{Z}/p\mathbb{Z}$ to itself defined by exponentiation $x\to m^x$ has few $3$-cycles -- that is to say, the number of cycles of length three is $o(p)$. This improves on previous bounds. Our second objective is to contribute to an ongoing discussion on how to find a non-sofic group. In particular, we show that, if the Higman gr… ▽ More This is a paper with two aims. First, we show that the map from $\mathbb{Z}/p\mathbb{Z}$ to itself defined by exponentiation $x\to m^x$ has few $3$-cycles -- that is to say, the number of cycles of length three is $o(p)$. This improves on previous bounds. Our second objective is to contribute to an ongoing discussion on how to find a non-sofic group. In particular, we show that, if the Higman group were sofic, there would be a map from $\mathbb{Z}/p\mathbb{Z}$ to itself, locally like an exponential map, yet satisfying a recurrence property. △ Less

Submitted 1 November, 2017; v1 submitted 7 December, 2015; originally announced December 2015.

Comments: 27 pages. Revised version. We address results by Glebsky and Kassabov-Kuperberg-Riley that go against the heuristic, allowing for the construction of functions that behave like $x\to m^x$, $m\ne 2$ and satisfy a recurrence property

MSC Class: 20F65; 11B37

The ternary Goldbach problem

Authors: Harald Andres Helfgott

Abstract: The ternary Goldbach conjecture (or three-prime conjecture) states that every odd number greater than 5 can be written as the sum of three primes. The purpose of this book is to give the first proof of the conjecture, in full. The ternary Goldbach conjecture (or three-prime conjecture) states that every odd number greater than 5 can be written as the sum of three primes. The purpose of this book is to give the first proof of the conjecture, in full. △ Less

Submitted 27 January, 2015; v1 submitted 22 January, 2015; originally announced January 2015.

Comments: 317(+x) pages, 3 figures. This effectively supersedes the author's earlier preprints [arXiv:1205.5252, arXiv:1305.2897, arXiv:1312.7748] giving the first version of the proof. Some typos have been corrected

MSC Class: 11P32

On the dimension of additive sets

Authors: P. Candela, H. A. Helfgott

Abstract: We study the relations between several notions of dimension for an additive set, some of which are well-known and some of which are more recent, appearing for instance in work of Schoen and Shkredov. We obtain bounds for the ratios between these dimensions by improving an inequality of Lev and Yuster, and we show that these bounds are asymptotically sharp, using in particular the existence of larg… ▽ More We study the relations between several notions of dimension for an additive set, some of which are well-known and some of which are more recent, appearing for instance in work of Schoen and Shkredov. We obtain bounds for the ratios between these dimensions by improving an inequality of Lev and Yuster, and we show that these bounds are asymptotically sharp, using in particular the existence of large dissociated subsets of $\{0,1\}^n\subset \mathbb{Z}^n$. △ Less

Submitted 25 July, 2014; v1 submitted 18 July, 2014; originally announced July 2014.

Comments: 10 pages, abstract reworded

The ternary Goldbach problem

Authors: Harald Andrés Helfgott

Abstract: The ternary Goldbach conjecture, or three-primes problem, states that every odd number $n$ greater than $5$ can be written as the sum of three primes. The conjecture, posed in 1742, remained unsolved until now, in spite of great progress in the twentieth century. In 2013 -- following a line of research pioneered and developed by Hardy, Littlewood and Vinogradov, among others -- the author proved t… ▽ More The ternary Goldbach conjecture, or three-primes problem, states that every odd number $n$ greater than $5$ can be written as the sum of three primes. The conjecture, posed in 1742, remained unsolved until now, in spite of great progress in the twentieth century. In 2013 -- following a line of research pioneered and developed by Hardy, Littlewood and Vinogradov, among others -- the author proved the conjecture. In this, as in many other additive problems, what is at issue is really the proper usage of the limited information we possess on the distribution of prime numbers. The problem serves as a test and whetting-stone for techniques in analysis and number theory -- and also as an incentive to think about the relations between existing techniques with greater clarity. We will go over the main ideas of the proof. The basic approach is based on the circle method, the large sieve and exponential sums. For the purposes of this overview, we will not need to work with explicit constants; however, we will discuss what makes certain strategies and procedures not just effective, but efficient, in the sense of leading to good constants. Still, our focus will be on qualitative improvements. △ Less

Submitted 12 April, 2014; v1 submitted 8 April, 2014; originally announced April 2014.

Comments: 29 pages. To be submitted to the Proceedings of the ICM 2014

MSC Class: 11P32

The ternary Goldbach conjecture is true

Authors: H. A. Helfgott

Abstract: The ternary Goldbach conjecture, or three-primes problem, asserts that every odd integer $n$ greater than $5$ is the sum of three primes. The present paper proves this conjecture. Both the ternary Goldbach conjecture and the binary, or strong, Goldbach conjecture had their origin in an exchange of letters between Euler and Goldbach in 1742. We will follow an approach based on the circle method,… ▽ More The ternary Goldbach conjecture, or three-primes problem, asserts that every odd integer $n$ greater than $5$ is the sum of three primes. The present paper proves this conjecture. Both the ternary Goldbach conjecture and the binary, or strong, Goldbach conjecture had their origin in an exchange of letters between Euler and Goldbach in 1742. We will follow an approach based on the circle method, the large sieve and exponential sums. Some ideas coming from Hardy, Littlewood and Vinogradov are reinterpreted from a modern perspective. While all work here has to be explicit, the focus is on qualitative gains. The improved estimates on exponential sums are proven in the author's papers on major and minor arcs for Goldbach's problem. One of the highlights of the present paper is an optimized large sieve for primes. Its ideas get reapplied to the circle method to give an improved estimate for the minor-arc integral. △ Less

Submitted 17 January, 2014; v1 submitted 30 December, 2013; originally announced December 2013.

Comments: 79 pages, 1 figure. Minimal changes

MSC Class: 11P32; 11N35

Random generators of the symmetric group: diameter, mixing time and spectral gap

Authors: Harald A. Helfgott, Ákos Seress, Andrzej Zuk

Abstract: Let $g$, $h$ be a random pair of generators of $G=Sym(n)$ or $G=Alt(n)$. We show that, with probability tending to $1$ as $n\to \infty$, (a) the diameter of $G$ with respect to $S = \{g,h,g^{-1},h^{-1}\}$ is at most $O(n^2 (\log n)^c)$, and (b) the mixing time of $G$ with respect to $S$ is at most $O(n^3 (\log n)^c)$. (Both $c$ and the implied constants are absolute.) These bounds are far lower… ▽ More Let $g$, $h$ be a random pair of generators of $G=Sym(n)$ or $G=Alt(n)$. We show that, with probability tending to $1$ as $n\to \infty$, (a) the diameter of $G$ with respect to $S = \{g,h,g^{-1},h^{-1}\}$ is at most $O(n^2 (\log n)^c)$, and (b) the mixing time of $G$ with respect to $S$ is at most $O(n^3 (\log n)^c)$. (Both $c$ and the implied constants are absolute.) These bounds are far lower than the strongest worst-case bounds known (in Helfgott--Seress, 2013); they roughly match the worst known examples. We also give an improved, though still non-constant, bound on the spectral gap. Our results rest on a combination of the algorithm in (Babai--Beals--Seress, 2004) and the fact that the action of a pair of random permutations is almost certain to act as an expander on $\ell$-tuples, where $\ell$ is an arbitrary constant (Friedman et al., 1998). △ Less

Submitted 10 March, 2014; v1 submitted 26 November, 2013; originally announced November 2013.

Numerical Verification of the Ternary Goldbach Conjecture up to 8.875e30

Authors: H. A. Helfgott, David J. Platt

Abstract: We describe a computation that confirms the ternary Goldbach Conjecture up to 8,875,694,145,621,773,516,800,000,000,000 (>8.875e30). We describe a computation that confirms the ternary Goldbach Conjecture up to 8,875,694,145,621,773,516,800,000,000,000 (>8.875e30). △ Less

Submitted 1 April, 2014; v1 submitted 14 May, 2013; originally announced May 2013.

Comments: 4 pages

MSC Class: Primary 11P32 Secondary 11A41 11Y11

Major arcs for Goldbach's problem

Authors: H. A. Helfgott

Abstract: The ternary Goldbach conjecture states that every odd number $n\geq 7$ is the sum of three primes. The estimation of the Fourier series $\sum_{p\leq x} e(αp)$ and related sums has been central to the study of the problem since Hardy and Littlewood (1923). Here we show how to estimate such Fourier series for $α$ in the so-called major arcs, i.e., for $α$ close to a rational of small denominator. Th… ▽ More The ternary Goldbach conjecture states that every odd number $n\geq 7$ is the sum of three primes. The estimation of the Fourier series $\sum_{p\leq x} e(αp)$ and related sums has been central to the study of the problem since Hardy and Littlewood (1923). Here we show how to estimate such Fourier series for $α$ in the so-called major arcs, i.e., for $α$ close to a rational of small denominator. This is part of the author's proof of the ternary Goldbach conjecture. In contrast to most previous work on the subject, we will rely on a finite verification of the Generalized Riemann Hypothesis up to a bounded conductor and bounded height, rather than on zero-free regions. We apply a rigorous verification due to D. Platt; the results we obtain are both rigorous and unconditional. The main point of the paper will be the development of estimates on parabolic cylinder functions that make it possible to use smoothing functions based on the Gaussian. The generality of our explicit formulas will allow us to work with a wide variety of such functions. △ Less

Submitted 14 April, 2014; v1 submitted 13 May, 2013; originally announced May 2013.

Comments: Title fixed

MSC Class: 11P32; 11N36; 11L07; 33C15

Growth in groups: ideas and perspectives

Authors: H. A. Helfgott

Abstract: This is a survey of methods developed in the last few years to prove results on growth in non-commutative groups. These techniques have their roots in both additive combinatorics and group theory, as well as other fields. We discuss linear algebraic groups, with SL_2(Z/pZ) as the basic example, as well as permutation groups. The emphasis lies on the ideas behind the methods. This is a survey of methods developed in the last few years to prove results on growth in non-commutative groups. These techniques have their roots in both additive combinatorics and group theory, as well as other fields. We discuss linear algebraic groups, with SL_2(Z/pZ) as the basic example, as well as permutation groups. The emphasis lies on the ideas behind the methods. △ Less

Submitted 11 February, 2015; v1 submitted 1 March, 2013; originally announced March 2013.

Comments: 60 pages. This is the final version, incorporating corrections from the proofreaders. To appear in Bull. Am. Math. Soc

MSC Class: 20F69; 20D60; 11B30; 20B05; 05C25

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)

Minor arcs for Goldbach's problem

Authors: H. A. Helfgott

Abstract: The ternary Goldbach conjecture states that every odd number n>=7 is the sum of three primes. The estimation of sums of the form \sum_{p\leq x} e(αp), α= a/q + O(1/q^2), has been a central part of the main approach to the conjecture since (Vinogradov, 1937). Previous work required q or x to be too large to make a proof of the conjecture for all n feasible. The present paper gives new bounds on m… ▽ More The ternary Goldbach conjecture states that every odd number n>=7 is the sum of three primes. The estimation of sums of the form \sum_{p\leq x} e(αp), α= a/q + O(1/q^2), has been a central part of the main approach to the conjecture since (Vinogradov, 1937). Previous work required q or x to be too large to make a proof of the conjecture for all n feasible. The present paper gives new bounds on minor arcs and the tails of major arcs. This is part of the author's proof of the ternary Goldbach conjecture. The new bounds are due to several qualitative improvements. In particular, this paper presents a general method for reducing the cost of Vaughan's identity, as well as a way to exploit the tails of minor arcs in the context of the large sieve. △ Less

Submitted 30 December, 2013; v1 submitted 23 May, 2012; originally announced May 2012.

Comments: 79 pages; third version. (A couple of explanatory paragraphs have been added.)

MSC Class: 11P32; 11L07

Square-free values of f(p), f cubic

Authors: H. A. Helfgott

Abstract: Let f\in Z[x], deg(f)=3. Assume that f does not have repeated roots. Assume as well that, for every prime q, the inequality f(x)\not\equiv 0 mod q^2 has at least one solution in (Z/q^2 Z)^*. Then, under these two necessary conditions, there are infinitely many primes p such that f(p) is square-free. Let f\in Z[x], deg(f)=3. Assume that f does not have repeated roots. Assume as well that, for every prime q, the inequality f(x)\not\equiv 0 mod q^2 has at least one solution in (Z/q^2 Z)^*. Then, under these two necessary conditions, there are infinitely many primes p such that f(p) is square-free. △ Less

Submitted 17 July, 2014; v1 submitted 16 December, 2011; originally announced December 2011.

Comments: 24 pages. Minimal changes

MSC Class: 11N32; 11D25; 11K38

Groupes, courbes et croissance

Authors: H. A. Helfgott

Abstract: - Synthèse des travaux présentés en vue d'une Habilitation à Diriger des Recherches - Synthesis of works presented towards the Habilitation degree This is a summary (in French) of my work in number theory, group theory and combinatorics in the last eight years. - Synthèse des travaux présentés en vue d'une Habilitation à Diriger des Recherches - Synthesis of works presented towards the Habilitation degree This is a summary (in French) of my work in number theory, group theory and combinatorics in the last eight years. △ Less

Submitted 13 December, 2011; originally announced December 2011.

Comments: 23 pages + bibliography

MSC Class: 05-xx; 11-xx; 20-xx

On the diameter of permutation groups

Authors: Harald A. Helfgott, Akos Seress

Abstract: Given a finite group $G$ and a set $A$ of generators, the diameter diam$(Γ(G,A))$ of the Cayley graph $Γ(G,A)$ is the smallest $\ell$ such that every element of $G$ can be expressed as a word of length at most $\ell$ in $A \cup A^{-1}$. We are concerned with bounding diam(G):= $\max_A$ diam$(Γ(G,A))$. It has long been conjectured that the diameter of the symmetric group of degree $n$ is polynomi… ▽ More Given a finite group $G$ and a set $A$ of generators, the diameter diam$(Γ(G,A))$ of the Cayley graph $Γ(G,A)$ is the smallest $\ell$ such that every element of $G$ can be expressed as a word of length at most $\ell$ in $A \cup A^{-1}$. We are concerned with bounding diam(G):= $\max_A$ diam$(Γ(G,A))$. It has long been conjectured that the diameter of the symmetric group of degree $n$ is polynomially bounded in $n$, but the best previously known upper bound was exponential in $\sqrt{n \log n}$. We give a quasipolynomial upper bound, namely, \[\text{diam}(G) = \exp(O((\log n)^4 \log\log n)) = \exp((\log \log |G|)^{O(1)})\] for G = Sym(n) or G = \Alt(n), where the implied constants are absolute. This addresses a key open case of Babai's conjecture on diameters of simple groups. By standard results, our bound also implies a quasipolynomial upper bound on the diameter of all transitive permutation groups of degree $n$. △ Less

Submitted 31 December, 2013; v1 submitted 16 September, 2011; originally announced September 2011.

Comments: 42 pages. Minimal additions. Last version, to appear in Ann. of Math

MSC Class: 20B05; 05C25; 20B30; 20F69; 20D60

Growth in solvable subgroups of GL_r(Z/pZ)

Authors: Nick Gill, Harald Andres Helfgott

Abstract: Let $K=Z/pZ$ and let $A$ be a subset of $\GL_r(K)$ such that $<A>$ is solvable. We reduce the study of the growth of $A$ under the group operation to the nilpotent setting. Specifically we prove that either $A$ grows rapidly (meaning $|A\cdot A\cdot A|\gg |A|^{1+δ}$), or else there are groups $U_R$ and $S$, with $S/U_R$ nilpotent such that $A_k\cap S$ is large and $U_R\subseteq A_k$, where $k$ is… ▽ More Let $K=Z/pZ$ and let $A$ be a subset of $\GL_r(K)$ such that $<A>$ is solvable. We reduce the study of the growth of $A$ under the group operation to the nilpotent setting. Specifically we prove that either $A$ grows rapidly (meaning $|A\cdot A\cdot A|\gg |A|^{1+δ}$), or else there are groups $U_R$ and $S$, with $S/U_R$ nilpotent such that $A_k\cap S$ is large and $U_R\subseteq A_k$, where $k$ is a bounded integer and $A_k = \{x_1 x_2...b x_k : x_i \in A \cup A^{-1} \cup {1}}$. The implied constants depend only on the rank $r$ of $\GL_r(K)$. When combined with recent work by Pyber and Szabó, the main result of this paper implies that it is possible to draw the same conclusions without supposing that $<A>$ is solvable. △ Less

Submitted 10 September, 2013; v1 submitted 31 August, 2010; originally announced August 2010.

Comments: 46 pages. This version includes revisions recommended by an anonymous referee including, in particular, the statement of a new theorem, Theorem 3

MSC Class: 20G40; 11B30

Growth of small generating sets in SL_n(Z/pZ)

Authors: Nick Gill, Harald Andres Helfgott

Abstract: Let G=SL_n. Let K=Z/pZ, p a prime. Let A\subset G(K) generate G(K). Suppose that |A|<p^{n+1-δ}, delta>0. Then |A A A|>>|A|^{1+ε}, where epsilon>0 and the implied constant depend only on n and delta. Let G=SL_n. Let K=Z/pZ, p a prime. Let A\subset G(K) generate G(K). Suppose that |A|<p^{n+1-δ}, delta>0. Then |A A A|>>|A|^{1+ε}, where epsilon>0 and the implied constant depend only on n and delta. △ Less

Submitted 9 September, 2010; v1 submitted 8 February, 2010; originally announced February 2010.

Comments: 19 pages; typos removed, some proofs shortened

MSC Class: 20G40; 20N99

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

Improving Roth's theorem in the primes

Authors: Harald Andres Helfgott, Anne de Roton

Abstract: Let A be a subset of the primes. Let δ_P(N) = \frac{|\{n\in A: n\leq N\}|}{|\{\text{$n$ prime}: n\leq N\}|}. We prove that, if δ_P(N)\geq C \frac{\log \log \log N}{(\log \log N)^{1/3}} for N\geq N_0, where C and N_0 are absolute constants, then A\cap [1,N] contains a non-trivial three-term arithmetic progression. This improves on B. Green's result, which needs δ_P(N) \geq C' \sqrt{\frac{\log \… ▽ More Let A be a subset of the primes. Let δ_P(N) = \frac{|\{n\in A: n\leq N\}|}{|\{\text{$n$ prime}: n\leq N\}|}. We prove that, if δ_P(N)\geq C \frac{\log \log \log N}{(\log \log N)^{1/3}} for N\geq N_0, where C and N_0 are absolute constants, then A\cap [1,N] contains a non-trivial three-term arithmetic progression. This improves on B. Green's result, which needs δ_P(N) \geq C' \sqrt{\frac{\log \log \log \log \log N}{\log \log \log \log N}}. △ Less

Submitted 9 December, 2009; originally announced December 2009.

Comments: 13 pages

MSC Class: 11B25; 11P32

Azar y Aritmetica

Authors: Harald Andres Helfgott

Abstract: Let omega(n) be the number of prime divisors of an integer n. Let n be an integer taken at random between 1 and N. What can be said about the value then taken by omega(n)? What is its expected value? What is its distribution in the limit? What is the probability that omega(n) will deviate greatly from its expected value? We will study these questions as an introduction to probabilistic number… ▽ More Let omega(n) be the number of prime divisors of an integer n. Let n be an integer taken at random between 1 and N. What can be said about the value then taken by omega(n)? What is its expected value? What is its distribution in the limit? What is the probability that omega(n) will deviate greatly from its expected value? We will study these questions as an introduction to probabilistic number theory. We treat several central topics in probabilistic number theory without assuming previous knowledge of the area. Neither measure theory nor complex analysis are assumed. In the exercises, among other topics, we develop some of the bases of sieve theory as an application of probabilistic ideas. ----- Sea omega(n) el numero de divisores primos de un entero n. Sea n un entero tomado al azar entre 1 y N. Que se puede decir del valor que entonces tomara' omega(n)? Cual es su esperanza? Cual es su distribucion en el limite? Cual es la probabilidad que omega(n) tome valores que se alejen mucho de su esperanza? Estudiamos estas preguntas a guisa de introduccion a la teoria de numeros probabilistica. Trataremos varios topicos centrales de la teoria de probabilidades sin suponer conocimientos previos en el area. No asumiremos ni teoria de la medida ni analisis complejo. En los ejercicios, entre otros topicos, se desarrollaran las bases de la teoria de cribas como una aplicacion de ideas probabilisticas. △ Less

Submitted 10 September, 2009; v1 submitted 4 September, 2009; originally announced September 2009.

Comments: 72 pages, based on course given at the Universidad Nacional Mayor de San Marcos (Lima, Peru); in Spanish; second version - minor corrections

MSC Class: 11K99; 11N35; 11N36; 11A41

Growth in SL_3(Z/pZ)

Authors: H. A. Helfgott

Abstract: Let G=SL_3(Z/pZ), p a prime. Let A be a set of generators of G. Then A grows under the group operation. To be precise: denote by |S| the number of elements of a finite set S. Assume |A| < |G|^{1-ε} for some ε>0. Then |A\cdot A\cdot A|>|A|^{1+δ}, where δ>0 depends only on ε. We also study subsets A\subset G that do not generate G. Other results on growth and generation follow. Let G=SL_3(Z/pZ), p a prime. Let A be a set of generators of G. Then A grows under the group operation. To be precise: denote by |S| the number of elements of a finite set S. Assume |A| < |G|^{1-ε} for some ε>0. Then |A\cdot A\cdot A|>|A|^{1+δ}, where δ>0 depends only on ε. We also study subsets A\subset G that do not generate G. Other results on growth and generation follow. △ Less

Submitted 8 June, 2009; v1 submitted 14 July, 2008; originally announced July 2008.

Comments: 88 pages; Theorem 1.1 is new

MSC Class: 05C25; 20G40; 20D60; 20F65; 11B75

Power-free values, repulsion between points, differing beliefs and the existence of error

Authors: Harald Andres Helfgott

Abstract: Let f be a cubic polynomial. Then there are infinitely many primes p such that f(p) is square-free. Let f be a cubic polynomial. Then there are infinitely many primes p such that f(p) is square-free. △ Less

Submitted 11 June, 2007; originally announced June 2007.

Comments: 8 pages; to appear in CRM conference proceedings

MSC Class: 11D85; 11K99; 11G05

Growth and generation in SL_2(Z/pZ)

Authors: H. A. Helfgott

Abstract: We show that every subset of SL_2(Z/pZ) grows rapidly when it acts on itself by the group operation. It follows readily that, for every set of generators A of SL_2(Z/pZ), every element of SL_2(Z/pZ) can be expressed as a product of at most O((log p)^c) elements of the union of A and A^{-1}, where c and the implied constant are absolute. We show that every subset of SL_2(Z/pZ) grows rapidly when it acts on itself by the group operation. It follows readily that, for every set of generators A of SL_2(Z/pZ), every element of SL_2(Z/pZ) can be expressed as a product of at most O((log p)^c) elements of the union of A and A^{-1}, where c and the implied constant are absolute. △ Less

Submitted 7 January, 2008; v1 submitted 1 September, 2005; originally announced September 2005.

Comments: 21 pages; fourth version - lemmas on escape amended and improved; to appear in Annals of Mathematics

MSC Class: 05C25; 20G40; 20D60; 11B75

The parity problem for irreducible cubic forms

Authors: H. A. Helfgott

Abstract: Let f\in \mathbb{Z}[x,y] be an irreducible homogeneous polynomial of degree 3. We show that f(x,y) has an even number of prime factors as often as an odd number of prime factors. Let f\in \mathbb{Z}[x,y] be an irreducible homogeneous polynomial of degree 3. We show that f(x,y) has an even number of prime factors as often as an odd number of prime factors. △ Less

Submitted 11 January, 2005; originally announced January 2005.

Comments: 11 pages

MSC Class: 11N32; 11N35; 11N36

Power-free values, large deviations, and integer points on irrational curves

Authors: H. A. Helfgott

Abstract: Let $f\in \mathbb{Z}\lbrack x\rbrack$ be a polynomial of degree $d\geq 3$ without roots of multiplicity $d$ or $(d-1)$. Erdős conjectured that, if $f$ satisfies the necessary local conditions, then $f(p)$ is free of $(d-1)$th powers for infinitely many primes $p$. This is proved here for all $f$ with sufficiently high entropy. The proof serves to demonstrate two innovations: a strong repulsion… ▽ More Let $f\in \mathbb{Z}\lbrack x\rbrack$ be a polynomial of degree $d\geq 3$ without roots of multiplicity $d$ or $(d-1)$. Erdős conjectured that, if $f$ satisfies the necessary local conditions, then $f(p)$ is free of $(d-1)$th powers for infinitely many primes $p$. This is proved here for all $f$ with sufficiently high entropy. The proof serves to demonstrate two innovations: a strong repulsion principle for integer points on curves of positive genus, and a number-theoretical analogue of Sanov's theorem from the theory of large deviations. △ Less

Submitted 3 July, 2007; v1 submitted 16 November, 2004; originally announced November 2004.

Comments: 39 pages; rather major revision, with strengthened and generalized statements

MSC Class: 11N32; 11D45; 11G05; 11G30; 11N25

The parity problem for reducible cubic forms

Authors: H. A. Helfgott

Abstract: Let f in Z[x,y] be a reducible homoegeneous polynomial of degree 3. We show that f(x,y) has an even number of prime factors as often as an odd number of prime factors. Let f in Z[x,y] be a reducible homoegeneous polynomial of degree 3. We show that f(x,y) has an even number of prime factors as often as an odd number of prime factors. △ Less

Submitted 26 September, 2005; v1 submitted 10 August, 2004; originally announced August 2004.

Comments: 22 pages, gap in section 2.5 fixed; minor changes elsewhere

MSC Class: 11N32; 11N35; 11N36

On the behaviour of root numbers in families of elliptic curves

Authors: H. A. Helfgott

Abstract: Let E be a one-parameter family of elliptic curves over Q. We prove that the average root number is zero for a large class of families of elliptic curves of fairly general type. Furthermore, we show that any family E with at least one point of multiplicative reduction over Q(t) has average root number 0, provided that two classical arithmetical conjectures hold for two polynomials constructed ex… ▽ More Let E be a one-parameter family of elliptic curves over Q. We prove that the average root number is zero for a large class of families of elliptic curves of fairly general type. Furthermore, we show that any family E with at least one point of multiplicative reduction over Q(t) has average root number 0, provided that two classical arithmetical conjectures hold for two polynomials constructed explicitly in terms of E. The behaviour of the root number in any family E without multiplicative reduction over Q(t) is shown to be rather regular and non-random; we give expressions for the average root number in this case. △ Less

Submitted 29 May, 2009; v1 submitted 10 August, 2004; originally announced August 2004.

Comments: 65 pages; major changes

MSC Class: 11G05; 11G40

Integral points on elliptic curves and 3-torsion in class groups

Authors: H. A. Helfgott, A. Venkatesh

Abstract: We give new bounds for the number of integral points on elliptic curves. The method may be said to interpolate between approaches via diophantine techniques ([BP], [HBR]) and methods based on quasiorthogonality in the Mordell-Weil lattice ([Sil6], [GS], [He]). We apply our results to break previous bounds on the number of elliptic curves of given conductor and the size of the 3-torsion part of t… ▽ More We give new bounds for the number of integral points on elliptic curves. The method may be said to interpolate between approaches via diophantine techniques ([BP], [HBR]) and methods based on quasiorthogonality in the Mordell-Weil lattice ([Sil6], [GS], [He]). We apply our results to break previous bounds on the number of elliptic curves of given conductor and the size of the 3-torsion part of the class group of a quadratic field. The same ideas can be used to count rational points on curves of higher genus. △ Less

Submitted 4 November, 2005; v1 submitted 11 May, 2004; originally announced May 2004.

Comments: 23 pages, no figures, v2. To appear in J. Amer. Math. Soc

MSC Class: 11G05