34
Introduction Arithmetic progressions Other linear patterns Recent progress in additive prime number theory Terence Tao University of California, Los Angeles Mahler Lecture Series Terence Tao Recent progress in additive prime number theory

Prime Number Theory1

Embed Size (px)

DESCRIPTION

primos

Citation preview

  • IntroductionArithmetic progressions

    Other linear patterns

    Recent progress in additive prime numbertheory

    Terence Tao

    University of California, Los Angeles

    Mahler Lecture Series

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Additive prime number theory

    Additive prime number theory is the study of additivepatterns in the prime numbers 2,3,5,7, . . ..Examples of additive patterns include twins p,p + 2,arithmetic progressions a,a + r , . . . ,a + (k 1)r , andprime gaps pn+1 pn.Many open problems regarding these patterns still remain,but there has been some recent progress in somedirections.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Random models for the primesSieve theorySzemerdis theoremPutting it together

    Long arithmetic progressions in the primes

    Ill first discuss a theorem of Ben Green and myself from2004:Theorem: The primes contain arbitrarily long arithmeticprogressions.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Random models for the primesSieve theorySzemerdis theoremPutting it together

    It was previously established by van der Corput (1929) thatthe primes contained infinitely many progressions of lengththree. In 1981, Heath-Brown showed that there areinfinitely many progressions of length four, in which threeelements are prime and the fourth is an almost prime (theproduct of at most two primes).The proof of the full theorem combines three separateingredients: random models for the primes, sieve theory,and Szemerdis theorem.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Random models for the primesSieve theorySzemerdis theoremPutting it together

    Prime counting heuristics

    While we are not able to prove everything we would like toin this subject, we do have a rather convincing set ofheuristics with which to predict how to count variouspatterns in the primes.The starting point is the prime number theorem, whichasserts that the number of primes less than a largenumber N is roughly N/ logN.One can interpret this fact probabilistically: if one picks aninteger at random between 1 and N, then it has aprobability of about 1/ logN of being prime.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Random models for the primesSieve theorySzemerdis theoremPutting it together

    Cramrs random model

    Cramrs random model for the primes asserts that theprimes behave as if each integer n had an independentprobability of 1/ logn of being prime, in the sense thatstatistics for the primes asymptotically match statistics forthis random model.This model turns out to not be totally accurate, but thereare some refinements to this model which give quiteconvincing predictions.Well illustrate this with a study of the twin primeconjecture: there are infinitely many pairs p,p + 2 ofprimes that are a distance 2 apart. This ancient conjectureremains open, despite many partial results.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Random models for the primesSieve theorySzemerdis theoremPutting it together

    A proof of the twin prime conjecture

    Let N be a large number, and let n be an integer chosenrandomly between 1 and N.From the prime number theorem, n and n + 2 each have aprobability about 1/ logN of being prime.Assuming that the events n is prime and n + 2 is primeare independent, we conclude that n,n + 2 aresimultaneously prime with probability about 1/ log2 N.In other words, there are about N/ log2 N twin primes lessthan N. Letting N we obtain the twin primeconjecture.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Random models for the primesSieve theorySzemerdis theoremPutting it together

    Correcting the model

    This argument is incorrect. One reason to see this is that itwould also predict an infinite number of consecutive primesn,n+ 1, which is false, as all but one of the primes are odd.However, one can correct for this by refining the model.Right now, we are giving each integer n {1, . . . ,N} anequal chance of 1/ logN of being prime. A smarter modelwould be to give the odd integers a 2/ logN chance ofbeing prime and the even integers a 0 chance of beingprime. (This omits the prime 2, but this is negligible in thegrand scheme of things.)With this refined model, consecutive primes are ruled out(as they should), and the expected number of twin primesincreases from N/ log2 N to 2N/ log2 N.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Random models for the primesSieve theorySzemerdis theoremPutting it together

    The prime tuples conjecture

    One can refine the model further, by excluding themultiples of 3 from being prime (and increasing theprobability of the remaining numbers of being prime from2/ logN to 3/ logN). This turns out to adjust the expectednumber of twin primes downward, to 1.5 N

    log2 N.

    Continuing to add information about small moduli, theexpected count given by these models continues tochange, but can be easily computed to converge to anasymptotic prediction, which in the case of twin primesturns out to be 2 Nlog2 N , where 2 is the twin primeconstant

    2 = 2

    p odd prime(1 1

    (p 1)2 ) 1.320 . . . .

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Random models for the primesSieve theorySzemerdis theoremPutting it together

    This is believed to be the correct asymptotic.More generally, there is a similar asymptotic conjecturedfor other patterns in the primes; this is basically theHardy-Littlewood prime tuples conjecture. Roughlyspeaking, it is asserting that the sequence of adjustedCrmer models discussed earlier is asymptoticallyaccurate for describing the primes.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Random models for the primesSieve theorySzemerdis theoremPutting it together

    One can think of each of these models as identifying acertain amount of structure in the primes, and thensaying that all other aspects of the primes are random.For instance, one could observe the structure that theprimes have density about 2/ logN in the odd numbersand 1/ logN in the even numbers, but assert that there isno discernible additional structure on top of this.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Random models for the primesSieve theorySzemerdis theoremPutting it together

    Viewed in this light, the prime tuples conjecture isasserting that apart from the obvious structure that theprimes obey (they are almost all coprime to 2, coprime to3, etc.), there is no additional pattern or structure to thissequence of integers, and they behave as if they wererandom relative to the structure already identified.However, we are unable at this time to rigorously rule out abizarre conspiracy among primes to exhibit an additionallayer of structure (e.g. to avoid congregating as twinsn,n + 2 after a certain point). How does one disprove aconspiracy?

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Random models for the primesSieve theorySzemerdis theoremPutting it together

    Sieve theory

    Now we turn from random models to another aspect ofprime number theory, namely sieve theory.One way to approach the primes is to start with all theintegers in a given range (e.g. from N/2 to N) and then siftout all the non-primes, for instance by removing themultiples of 2, then the multiples of 3, and so forth up tothe multiples of

    N (the sieve of Eratosthenes).

    One can hope to count, say, twin primes, by keeping trackof the number of twins at each stage of the sifting process.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Random models for the primesSieve theorySzemerdis theoremPutting it together

    For instance, the number of twins n,n + 2 in the entirerange [N/2,N] is N/2 + O(1). After removing the multiplesof two, the count drops to N/4 + O(1); after removing themultiples of three, it drops further to N/12 + O(1), and soforth.Unfortunately, the O(1) errors multiple rapidly, andoverwhelm the main term long before one reaches thelevel of multiples of

    N.

    One can partially address this problem by smoothing thesieve (rather than eliminating numbers outright, adjust theirscore upward or downward whenever they are divisible ornot divisible by certain numbers), but one still cannot get toN by these techniques alone (there is a specific

    obstruction to this, known as the parity problem).

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Random models for the primesSieve theorySzemerdis theoremPutting it together

    Almost primes

    Nevertheless, it is possible to use sieve theory to controlthings up to some partial height, e.g. up to multiples ofN1/10. The resulting sifted set consists not only of primes,but also contains almost primes - products of a boundednumber (e.g. at most ten) of (large) primes.To summarise several decades of work in sieve theory intoa single sentence, these methods can establish analoguesof conjectures such as the prime tuples conjecture, butwith primes replaced by almost primes. For instance, onecan find infinitely many twins of almost primes. [Imglossing over the technical issue here of exactly how todefine almost prime.]

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Random models for the primesSieve theorySzemerdis theoremPutting it together

    To put it another way, the almost primes do indeed behavelike we expect the primes to, namely that they have nostructure beyond the obvious ones (like the primes, thealmost primes tend to be coprime to 2, coprime to 3, etc.)On the other hand, there are more almost primes thanprimes; there are about N/ logN primes less than N, butthere are about CN/ logN almost primes less than N(where C is a constant that depends on how exactly onedefines almost prime).

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Random models for the primesSieve theorySzemerdis theoremPutting it together

    Szemerdis theorem

    To summarise so far: we have conjectures about patternsin the primes, but cannot prove them in general.But if we replace primes with the larger set of almostprimes, we can then verify the analogous conjectures foralmost primes using sieve theory.For a special type of pattern, namely arithmeticprogressions, there is an additional powerful tool available,namely Szemerdis theorem.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Random models for the primesSieve theorySzemerdis theoremPutting it together

    Szemerdis theorem: Any subset of the A integers ofpositive upper density (which means thatlim supN

    #(A[N,N])2N+1 > 0) contains arbitrarily long

    arithmetic progressions.First proven by Szemerdi in 1975. Note that this type ofresult is false for other patterns, such as twins n,n + 2 (e.g.the multiples of 3 have positive density, but no twins).Arithmetic progressions are more indestructible thanother patterns.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Random models for the primesSieve theorySzemerdis theoremPutting it together

    Szemerdis theorem is difficult to prove. There have beenmany different proofs, each of which has been very significantin stimulating further research, including:

    Szemerdis original combinatorial proof using graphtheory (1975);Furstenbergs ergodic theory proof (1977);Gowers proof using generalised Fourier analysis andadditive combinatorics (2001);The proofs of Gowers, Nagle-Rdl-Schacht-Skokan, andlater authors using graph and hypergraph theory(2004-2006);The combinatorial proof of the Polymath1 collaborativeproject (2009).

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Random models for the primesSieve theorySzemerdis theoremPutting it together

    The proofs are too technical to describe here, but they allshare some features in common.Namely, they all have to address the fact that the dense setA of integers could be very structured (e.g. the multiples offour), very random (e.g. a random subset of integers ofdensity 1/4), or a combination of both (e.g. a randomsubset of the even integers of density 1/2).In each of these cases, arithmetic progressions can befound, but the reason for the progressions is different indifferent cases.Accordingly, all of the proofs must at some point split A upinto structured and random components.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Random models for the primesSieve theorySzemerdis theoremPutting it together

    Putting it all together

    Szemerdis theorem shows that sets of positive densityhave arbitrarily long progressions.It does not directly apply to the primes, because the primeshave zero density.However, the primes have positive relative density withrespect to the almost primes.And the almost primes behave quite randomly (inparticular, they have plenty of progressions).It is possible to combine these facts to show that theprimes have arbitrarily long progressions.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Random models for the primesSieve theorySzemerdis theoremPutting it together

    Very informal sketch of proof

    If the primes obeyed the (modified) Cramr random model,we would be done. But they could obey some exoticstructure not predicted by this model, e.g. they could beunexpectedly dense on some structured set.If this occurs, we adjust the random model to take thisadditional structure into account. We repeat this processuntil no significant additional structure is found.We end up with some exotic random model that modelsthe primes. (Showing the process terminates is non-trivial.)

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Random models for the primesSieve theorySzemerdis theoremPutting it together

    On the other hand, the primes are a dense subset of thealmost primes, which behave like a random subset of theentire integers. (Here we use a particular notion of thealmost primes, studied by Goldston and Yldrm in theirwork on prime gaps.Because of this, one can show that the random model forthe primes contain a random subset of a dense subset ofintegers.Dense subsets of the integers contain lots of arithmeticprogressions. Many of them will survive the passage to arandom subset.Since the model for the primes is accurate, the primesthemselves contain lots of arithmetic progressions.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Other linear patterns

    An arithmetic progression of a fixed length k is a sequenceof numbers n1,n1 + n2,n1 + 2n2, . . . ,n1 + (k 1)n2parameterised in a linear fashion by two integerparameters a, r .One can consider more general linear (or affine) patternsc11n1 + . . . + c1dnd + c1, . . . , ck1n1 + . . . + ckdnd + ckgenerated by some integer parameters n1, . . . ,nd , wherethe cij and ci are fixed coefficients.One can then ask whether one can find choices of theparameters in which all of the elements in this pattern areprime; one can also ask the more refined question of howmany such choices there are in a given range (e.g. with alln1, . . . ,nd less than a threshold N).

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Many classical problems in prime number theory can be viewedas special cases of this problem. For instance:

    The twin prime conjecture corresponds to the patternn1,n1 + 2.The even Goldbach conjecture corresponds to the patternn1,N n1, where N is a fixed even number larger than 2.The odd Goldbach conjecture corresponds to the patternn1,n2,N n1 n2, where N is a fixed odd number largerthan 5.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    There are some obvious obstructions to solvability of thisproblem.

    Obstructions mod p If it is not possible for all of the linearforms to be simultaneously coprime to a given modulus p,then this presents an obvious obstruction to solvability. Forinstance, at least one of n,n + 1 has to be even, whichmakes it hard for both to be prime; similarly, at least one ofn,n + 2,n + 4 has to be divisible by 3.Obstructions at infinity If the linear forms can be positiveonly finitely often, then this of course prevents having morethan a finite number of solutions.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    In a series of papers, Ben Green, Tamar Ziegler and I(2006-2009) established the following result:Theorem. If a family of affine-linear forms has noobstructions mod p and at infinity, and any two forms areaffinely independent, then the forms can be simultaneouslyprime infinitely often. Furthermore, the number of solutionsobeys the asymptotic predicted by the Hardy-Littlewoodprime tuples conjecture.Thus, for instance, there are infinitely many n1,n2 such thatn1,n2,n1 + n2 + 1,n1 + 2n2 + 2 are all prime (i.e. there areinfinitely many progressions of length three whosedifference is one less than a prime). The theorem alsoimplies our previous result that the primes containedarbitrarily long arithmetic progressions.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Unfortunately, the requirement that no two forms areaffinely dependent means that the theorem does not applyto classical problems such as the twin prime problem. (Avariant of the result can however be used to recover thefamous theorem of Vinogradov that the odd Goldbachconjecture is true for sufficiently large odd numbers.)Indeed, our methods fundamentally rely on having at leasttwo free parameters n1,n2 to work with; one-parameterproblems such as the twin prime or even Goldbachconjecture remain out of reach.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    The starting point for the arguments is similar to that usedto establish long progressions in primes, namely to locatean accurate dense model for the primes.Previously, one used Szemerdis theorem to generateprogressions regardless of whether the primes obeyed theCrmer model or some more exotic model. Here,Szemerdis theorem is not available. Instead, we work toeliminate the possibility of an exotic model, leaving only theCrmer model.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Dichotomy between structure and randomness

    The two key steps in the argument (in addition to the factthat the primes have a dense model) are, roughlyspeaking, as follows:Proposition 1. If a dense set does not have the expectednumber of patterns of a certain form, then it must beirregularly distributed with respect to some structured set.Proposition 2. The primes (or more precisely, a proxy forthe primes known as the Mbius function) is uniformlydistributed with respect to every structured set.Combining these facts with some additional arguments,one obtains the theorem.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    What is structure?

    To formalise this approach, one has to define precisely thetype of structured sets that block a set from having theexpected number of patterns.To given an example, suppose that a set of integers A hadan unusual propensity to congregate in the set P ofintegers with a last digit of 7. Then one would expect A tohave an unusually large number of (say) arithmeticprogressions n,n + r ,n + 2r of length three, sincewhenever the first two elements of a progression lie in P,the third element does also.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    More generally, any infinite arithmetic progressionP = {n : n = a mod q} can distort the number ofprogressions of length three in this manner.A little less obviously, a Bohr set such asP = {n : {2n} 0.1}, where {x} is the fractional part ofn, also distorts progressions of length three. This can beexplained using the identity

    2n 2

    2(n + r) +

    2(n + 2r) = 0.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    Even less obviously, for more complicated patterns such asprogressions n,n + r ,n + 2r ,n + 3r of length four,quadratic Bohr sets such as P = {n : {2n2} 0.1} candistort the number of patterns, ultimately because ofidentities such as

    2n2 3

    2(n + r)2 + 3

    2(n + 2r)2

    2(n + 3r)2 = 0.

    Terence Tao Recent progress in additive prime number theory

  • IntroductionArithmetic progressions

    Other linear patterns

    It turns out (with a lot of effort, using some technology ofGowers, of Ratner, and of Leibman) that one cancompletely classify the types of sets that can distort thesesots of patterns, in terms of the dynamics of nilmanifoldsG/.One can also show (using some powerful technology ofRatner and of Vinogradov) that the primes behaveuniformly with respect to these dynamical systems.These are the two major ingredients used to establish themain theorem.

    Terence Tao Recent progress in additive prime number theory

    IntroductionArithmetic progressionsRandom models for the primesSieve theorySzemerdi's theoremPutting it together

    Other linear patterns