It’s time to (somewhat belatedly) roll over the previous thread on writing the first paper from the Polymath8 project, as this thread is overflowing with comments. We are getting near the end of writing this large (173 pages!) paper, establishing a bound of 4,680 on the gap between primes, with only a few sections left to thoroughly proofread (and the last section should probably be removed, with appropriate changes elsewhere, in view of the more recent progress by Maynard). As before, one can access the working copy of the paper at this subdirectory, as well as the rest of the directory, and the plan is to submit the paper to Algebra and Number theory (and the arXiv) once there is consensus to do so. Even before this paper was submitted, it already has had some impact; Andrew Granville’s exposition of the bounded gaps between primes story for the Bulletin of the AMS follows several of the Polymath8 arguments in deriving the result.

After this paper is done, there is interest in continuing onwards with other Polymath8 – related topics, and perhaps it is time to start planning for them. First of all, we have an invitation from the Newsletter of the European Mathematical Society to discuss our experiences and impressions with the project. I think it would be interesting to collect some impressions or thoughts (both positive and negative) from people who were highly active in the research and/or writing aspects of the project, as well as from more casual participants who were following the progress more quietly. This project seemed to attract a bit more attention than most other polymath projects (with the possible exception of the very first project, Polymath1). I think there are several reasons for this; the project builds upon a recent breakthrough (Zhang’s paper) that attracted an impressive amount of attention and publicity; the objective is quite easy to describe, when compared against other mathematical research objectives; and one could summarise the current state of progress by a single natural number H, which implied by infinite descent that the project was guaranteed to terminate at some point, but also made it possible to set up a “scoreboard” that could be quickly and easily updated. From the research side, another appealing feature of the project was that – in the early stages of the project, at least – it was quite easy to grab a new world record by means of making a small observation, which made it fit very well with the polymath spirit (in which the emphasis is on lots of small contributions by many people, rather than a few big contributions by a small number of people). Indeed, when the project first arose spontaneously as a blog post of Scott Morrrison over at the Secret Blogging Seminar, I was initially hesitant to get involved, but soon found the “game” of shaving a few thousands or so off of to be rather fun and addictive, and with a much greater sense of instant gratification than traditional research projects, which often take months before a satisfactory conclusion is reached. Anyway, I would welcome other thoughts or impressions on the projects in the comments below (I think that the pace of comments regarding proofreading of the paper has slowed down enough that this post can accommodate both types of comments comfortably.)

Then of course there is the “Polymath 8b” project in which we build upon the recent breakthroughs of James Maynard, which have simplified the route to bounded gaps between primes considerably, bypassing the need for any Elliott-Halberstam type distribution results beyond the Bombieri-Vinogradov theorem. James has kindly shown me an advance copy of the preprint, which should be available on the arXiv in a matter of days; it looks like he has made a modest improvement to the previously announced results, improving a bit to 105 (which then improves H to the nice round number of 600). He also has a companion result on bounding gaps between non-consecutive primes for any (not just ), with a bound of the shape , which is in fact the first time that the finiteness of this limit inferior has been demonstrated. I plan to discuss these results (from a slightly different perspective than Maynard) in a subsequent blog post kicking off the Polymath8b project, once Maynard’s paper has been uploaded. It should be possible to shave the value of down further (or to get better bounds for for larger ), both unconditionally and under assumptions such as the Elliott-Halberstam conjecture, either by performing more numerical or theoretical optimisation on the variational problem Maynard is faced with, and also by using the improved distributional estimates provided by our existing paper; again, I plan to discuss these issues in a subsequent post. ( James, by the way, has expressed interest in participating in this project, which should be very helpful.)

## 92 comments

Comments feed for this article

17 November, 2013 at 1:18 pm

Philippe MichelAs soon as Polymath8B takes off, I’ll be happy to be part of (along with FKN I guess). That is a great playground for testing and developing ideas.

17 November, 2013 at 2:37 pm

SniffnoyAnd the improved distributional estimates that didn’t quite make it into the existing paper. :)

18 November, 2013 at 2:46 pm

Aubrey de GreyWould this (once confirmed) best be termed “Type I Level 5a” on the wiki? I see that at present it has been referred to there just within the “Level 5″ entry, but maybe it merits separating out?

17 November, 2013 at 3:13 pm

musicsoundscapes2Dear Dr. Tao,What about an algorithm for extracting primes?Robert Kimera

17 November, 2013 at 5:11 pm

David RobertsFor what it’s worth, I’ve been following the progress since Peter Woit mentioned that Zhang was giving a talk on his (then unreleased) paper, and posting on Google+ about it. If people want an outsider’s perspective (I’m not a number theorist nor an analyst), then I’d like to contribute something to the EMS newsletter article.

17 November, 2013 at 9:47 pm

Emmanuel KowalskiI am close to finishing Section 9 and hope to upload the updated version later today. Then hopefully by the end of the week, I will be done reading through.

18 November, 2013 at 6:44 am

John MangualProfessionals in other disciplines are noticing problems in the traditional workflow. After much planning, the result is a product which is still defective and fails to achieve its intended purpose. It is as if we had done no work at all.

18 November, 2013 at 7:08 am

Alastair IrvingA few corrections to chapter 2:

1. Just after the statement of Claim 2.4

unconditionnally -> unconditionally

2. Shortly after Theorem 2.6

need only by controlled -> need only be controlled

3. Just before Definition 2.7

$\varpi\geq 1/2$ -> $\varpi>0$

4. Remark 2.9

less that -> less than

[Corrected in the main version, thanks - T.]18 November, 2013 at 7:44 am

Alastair Irving5. Shortly after Theorem 2.13

significanty -> significantly

[Corrected in the main version, thanks - T.]18 November, 2013 at 9:30 am

Eytan PaldiSome typos in the proof of lemma 4.10:

1. In the proof of claim (i), the upper limit of the integral should be (instead of ), and the integration variable should be changed (e.g. to ).

2. In the proof of claim (ii), it should be (instead of ) – since (note also that is undefined for ).

3. In the proof of claim (iii), “from from” should be “from”.

[Corrected, thanks - T.]18 November, 2013 at 10:01 am

BogdanProbably, the world record (with question mark) should now be 600?

[I'll update this when Maynard's arXiv article comes out; thanks for the reminder. -T.]18 November, 2013 at 11:39 am

Andrew GibsonAs an undergrad mathematics student who has been following from the start, I don’t know if I qualify as one of those casual, quiet participants you’re interested in hearing from or not, but here’s my experience, for whatever it’s worth:

Shortly after Zhang announced his result and you proposed the project, my classmates and I began a small weekly seminar with a professor devoted to studying some of the theory involved (analytic number theory, sieve methods, etc.), albeit on a much more elementary level that was within our reach. Of course, the majority of the actual proof is still mostly over our heads, but at least I feel as if I’ve gained a birds’-eye-view of the strategy and, probably more importantly, how it fits into the larger field. (For instance, before any of this, I could never have explained the Bombieri-Vinogradov theorem or the Hardy-Littlewood prime tuple conjecture.) So for us the project was a great excuse to enter a new subject, and has been immensely educational.

More than that, though, reading the posts and following the ‘leader-board’ felt a lot like an academic spectator sport. It was surreal, a bit like watching a piece of history as it occurred. It made the mathematics feel much more alive and social, rather than just coming from a textbook. I don’t think us undergrads often get the chance to peak behind closed doors and watch professional mathematicians “in the wild” like this, so from a career standpoint, it was illuminating. I get the sense that this is the sort of activity I can look forward to in grad school and as a post-doc doing research (…hopefully.)

I also suspect that many other students from many other schools have had similar experiences but, like me, chose to stay quiet, as we had nothing to contribute. So, thank you all for organizing this project and for making it publicly available online.

18 November, 2013 at 3:35 pm

Gergely HarcosI was very busy with another project in the past 10 weeks, but I can now return to PolyMath8. I will try to read the whole paper in about 10 days, so that I can finish at about the same time as Emmanuel. I will only look for errors and typos, and I will report here in the traditional way for simplicity.

Of course I also look forward to PolyMath8b, it has been a fun experience so far!

18 November, 2013 at 7:28 pm

pigh3Previous thread rescue:

Quite a lot of typos and corrections are now buried in the previous thread, most were not fixed when there were 2 versions worked on:

(http://terrytao.wordpress.com/2013/10/15/polymath8-writing-the-paper-iv/#comment-248417): on 1. still missing an e in the middle of equalities, and 2. is not fixed.

(http://terrytao.wordpress.com/2013/10/15/polymath8-writing-the-paper-iv/#comment-248519)

(http://terrytao.wordpress.com/2013/10/15/polymath8-writing-the-paper-iv/#comment-248801) Although some points (3&6) have been discussed, most have not been fixed.

(http://terrytao.wordpress.com/2013/10/15/polymath8-writing-the-paper-iv/#comment-248969)

(http://terrytao.wordpress.com/2013/10/15/polymath8-writing-the-paper-iv/#comment-249311)

(http://terrytao.wordpress.com/2013/10/15/polymath8-writing-the-paper-iv/#comment-249812)

(http://terrytao.wordpress.com/2013/10/15/polymath8-writing-the-paper-iv/#comment-249843)

The list is probably incomplete.

[Thanks for this! I went back and implemented these corrections. -T]18 November, 2013 at 7:36 pm

FanDear Prof. Tao

I’m not sure what you mean by this sentence

“…and the last section should probably be removed, with appropriate changes elsewhere, in view of the more recent progress by Maynard”

Are all the prospective improvements in the last section superseded by Maynard?

To Gibson:

I’m also trying to organize an undergraduate reading group on this topic (possibly several weeks later). I’m curious what is the background and the goal you set for your seminar, and how long it runs. I want some frame of reference. Thanks

18 November, 2013 at 7:59 pm

Terence TaoRegarding Section 11, these possible improvements are not directly superseded by Maynard’s work (with the exception of suggestion (iii)), but now that we have a Polymath8b project to be launched which will pursue many of the directions indicated there, there doesn’t seem to be much point to attaching Section 11 to the current paper. (But perhaps once Polymath8b concludes, we could have an analogous section at the end of that paper, assuming that there isn’t a Polymath8c of course…)

19 November, 2013 at 1:58 am

Andrew GibsonIt was very informal: we would meet and try to work through the posts. Soon a more structured plan emerged, but this unfortunately only lasted a few months and ended halfway through, as people simply gave up and stopped coming. But I’m sure this could be avoided with more thought and planning before-hand.

Most of us had taken standard courses in analysis, number theory, and so-on. But we had not really used sieves to much effect before and so began at the very start with Eratosthenes, then Brun’s sieve, Selberg, and so-on. Rademacher and another book I forget was used as a reference for Brun. There were some nice beginning sieve exercises from the Lovasz’ problem book. Dirichlet’s theorem was used as a segue into arithmetic progressions and as an intro to analytic number theory; we also talked about the prime number theorem for quite a while and went through much of its proof and related estimates. Halbertstam and Richert’s Sieve Methods was useful for the more advanced sieves. And there were the project’s posts themselves.

The original (too ambitious) goal was to reach the large sieve and prove Bombieri-Vinogradov, and to see Linnik’s dispersion method and some exponential sums, since we learned from the posts that so much of Zhang’s approach was based on modifying this existing machinery. (We didn’t dare unpack the Weil conjectures and took any reference to them as a black box.) I had hoped to do this and then dig into Zhang’s theorem and Polymath8 proper. However, as you can guess, this was still a bit out of our reach, probably more appropriate for graduate students with more background. Our meetings became instead an introduction to basic sieve methods and analytic number theory, with Zhang’s theorem lurking far away on the horizon. So we had the loose goal of understanding an outline of the proof, the improvements being made by the project, and as many of the ideas involved as possible.

We didn’t get as far as I would have hoped, but I believe the approach was sound and continued on my own for a ways. It was all very exciting. No doubt a formal class could be set up to much better effect.

19 November, 2013 at 9:48 am

Eytan PaldiThis thread should be added to the list of Polymath8 threads.

[Done, thanks for the reminder - T.]19 November, 2013 at 6:13 pm

Terence TaoA bunch of relevant links:

Maynard’s article is up on the arXiv! http://arxiv.org/abs/1311.4600

A new media article about bounded gaps between primes (covering Zhang’s work, our Polymath work, and Maynard’s new work): https://www.simonsfoundation.org/quanta/20131119-together-and-alone-closing-the-prime-gap/

Also, Andrew Granville has a print version of the talk he’ll give at the joint AMS meeting covering the same material (but in less detail) than his longer Bulletin article: http://www.dms.umontreal.ca/~andrew/CEBBrochureFinal.pdf

I am starting an expository post on Maynard’s arguments to kick off the Polymath8b project, and hope to have it ready in a day or so.

19 November, 2013 at 6:53 pm

Eytan PaldiSince any symmetric is a function of the symmetric polynomials (appearing in Maynard’s article), it is possible to reduce the value $k = 105$ by adding more symmetric polynomials to (used in Maynard’s article.)

19 November, 2013 at 10:51 pm

Terence TaoI’ve opened up a research thread for Polymath8b at http://terrytao.wordpress.com/2013/11/19/polymath8b-bounded-intervals-with-many-primes-after-maynard/ . This current thread can remain active for finishing the writing up of Polymath8a , and for all other Polymath8-related topics, such as collecting feedback on the project for a retrospective article.

20 November, 2013 at 4:05 am

Emmanuel KowalskiI’m done with typeiii.tex and I have merged also the last corrections in the main folders with those of the ek subfolder. I will copy the ek-files to the main folder.

20 November, 2013 at 10:02 am

Eytan Paldi“(??)” appears in the line below (10.13) (and also in the fifth line above (10.14))

20 November, 2013 at 11:30 am

Emmanuel KowalskiThat’s just because I changed some references to equations in Chapter 7, but these will be corrected as I go through Section 10.

20 November, 2013 at 4:08 am

Emmanuel KowalskiI forgot to mention that there wasn’t much to report in typeiii.tex; I just gave a few more details for some steps (the separation of variable using Taylor expansion and the Euler product estimate at the end, in particular).

20 November, 2013 at 9:02 am

Wouter CastryckI made a few minor edits to Sections 1 and 2 and to the references.

Two things that I didn’t dare to change but that confused me:

* What is in the statement of Lemma 1.6?

* In the discussion below Theorem 2.6, we write that Motohashi and Pintz noticed that [...] the residue classes a may be assumed to be essentially fixed, [...]. What does ‘essentially fixed’ mean here?

[I reworded these two points to clarify - is any fixed quantity, and what Motohashi and Pintz essentially observed was that one only needed to work with a single residue class for each in which was independent of (but potentially very large). -T.]22 November, 2013 at 9:44 am

Marshall FlaxTwo notes about the polymath8 process:

1. Most of the active Polymath8 participants were clearly identifiable (either by human-sounding names, or actual links to their webpages). But I am curious as to who “v08ltu” is: a well-known mathematician, or a self-taught savant, or a precocious undergrand, or Dr. Zhang himself? He contributed as an equal in the early days of Polymath8, and his only apparent bona-fides were his contributions. This true egalitarianism might be unique to mathematics.

2. We all have seen how quickly Dr. Tao can work and write. Had he chosen to, he could have easily “scooped” Dr. Maynard once he learned they had both found finite limits to the M>1 case — especially since someone established like Dr. Tao can publish unfinished work and still record priority, whereas a relative unknown like Dr. Zhang or Dr. Maynard has to “dot all I’s and cross all T’s” before they can publish. Yet Dr. Tao was more-than-scrupulous in naming the theorem exclusively after Maynard. Again, I think mathematics is probably almost-unique in the consideration presigious full professors show to young postdocs.

p.s. Dr. Tao will probably claim that he didn’t even think of priority (even for as important a theorem as Polymath8b), but that just proves my point :-)

23 November, 2013 at 4:17 am

Wouter CastryckI have now read through Section 8 (without being confident about the details, I must admit). There are a number of typos that I can fix myself (Emmanuel, is it safe to do so?). The following things I didn’t dare to change:

* (in the introduction) [...] it is possible to all references to sheaves [...]: something’s wrong with this phrase

* (section 8.1) [...] in the case : what is ?

* (definition 8.1) [...] the eigenvalues of : should this be ?

* (section 8.2.3) In particular, the product of two admissible trace functions and coincides with an admissible trace function except for at most , [...]: at most that many points?

* (same sentence) [...] and the complex conjugate of an admissible trace function is one.: is also an admissible trace function?

* (section 8.3) [...] and denote with with open immersion : something seems wrong with this phrase

* (below formula (8.18)) [...] for each prime : ?

* (remark 8.22, the big formula): I guess the last term is not part of the summand? Maybe it’s better to write

One overall question: I didn’t get the point of excluding the asymptotic notation from Definition 1.4. and seem to have the same meaning in Section 8 as in Definition 1.4?

24 November, 2013 at 1:18 am

Emmanuel KowalskiThanks, I will put in the corrections.

For the asymptotic notation, what is meant is that “x” is free from being the main asymptotic variable (which it is reserved for in the beginning of Def. 1.4) and that <<, O(…) do not implicitly refer to functions of x.

(In particular, \lessapprox is not used in Sections 6 and 8 where the asymptotic convention is related, since it incorporates a factor x^o(1) that does not make sense then.)

24 November, 2013 at 1:19 am

Emmanuel KowalskiP.S. It is safe to make changes in the main folder, since I always use diff to check the files before copying from ek to main folder; it’s more dangerous to touch the ek subfolder, because I copy more often from my computer to this subfolder, and usually do not check whether the ek copy has changed or not.

24 November, 2013 at 7:28 am

Wouter CastryckOk, thanks for the clarification! I have added half a line on this at the beginning of Section 8. I’ve now also fixed the typos that I mentioned, leaving the above remarks unaddressed. One additional question/remark about the new section on Sato-Tate distributions: in the formula , I guess the sheaf should be replaced by the classical sum .

23 November, 2013 at 11:58 am

pigh3Some more typos:

* p9, Table 4, changes again, and should now be according to the latest notation in Def 2.14.

* p18 l 1, in Def 2.14 itself, has the left parenthese superscripted.

* p42, proof of lemma 4.2, it seems too strong a claim that the first display holds “for any >0″; also, after the WLOG condition supp g = [0,1] is dropped, it is not obvious where the summation restriction comes from in the second display above (4.13). Maybe better to do the alternative way in (http://terrytao.wordpress.com/2013/10/15/polymath8-writing-the-paper-iv/#comment-248837)?

* p67, last sentence of 3rd complete paragraph, “The preprocess function 4.55…” 4.55 missing parentheses (might be a \ref instead of \eqref).

* p87 statement of Lemma 6.9, R should be in blackboard font in .

* p90, (6.19) parentheses on the RHS are not balanced. More )’s then (‘s.

* p96 1st paragraph after Theorem 7.1, (9.4) should be (7.3) (reference conflict?). Next line, “the found” should be “the type found”? “estimate (iii)” might be better as “case (iii)”?

* p100 line above (7.5), “implies”; line below (7.6), “recall”.

* p101 line above (7.9), “therefore”.

* p103 display in statement of Lemma 7.6, LHS missing right “)”. Same for last line of the page (2nd display after end of proof).

* p105, l -1, “reunion” is “union”?

* p106, Remark 7.7, 1st sentence, “note” should probably be after the comma(,).

* p108, paragraph before sec7.4, the counting of cases is a bit confusing.

* p111, l -3 of proof of Prop7.10, “then” should be “the”.

* p116, l -1 of sec 7, should be .

[Corrected (except for the reference error, which I presume Emmanuel will resolve) in the main version, thanks - T.]24 November, 2013 at 1:13 am

Emmanuel KowalskiI will put in these corrections (and check the reference…)

25 November, 2013 at 10:01 am

Gergely HarcosI read the first 47 pages carefully, and I hope I can read the rest by the end of the week. Here is my first list of corrections and suggestions, all of which are minor, but please check:

1. Page 1, Abstract: “” should be “, ”

2. Page 4, Footnote 1: Give a reference to Maynard’s preprint.

3. Page 14, Line -1: Insert a reference for the application to Titchmarsh’s divisor problem.

4. Page 15, Line -10: “will not dwell” should be “we will not dwell”

5. Page 19, Line 1: “large value” should be “larger value”

6. Page 21, (2.12): Interchange and to harmonize with later notation. Correspondingly, change to in the next line.

7. Page 21, (2.14): should be .

8. Page 22, Line 6: I think only the ‘s are smooth, is not. This is especially emphasized four lines above Lemma 2.22.

9. Page 24, Line 1: “last constraint” should be “penultimate constraint”

10. Page 28, Line -4: “can found” should be “can be found”

11. Page 29, Line -15: It would be worthwhile to give an example of for which .

12. Page 34, Footnote 12: "Their proofs" should be "The proofs"

13. Page 43, Line 10: Perhaps "integration by parts" would be better than "Fubini's theorem".

14. Page 44, display below (4.15): should be

15. Page 45, Line 4: is missing from the denominator.

16. Page 46, (4.20): should be

17. Page 46, (4.21): should be

25 November, 2013 at 10:35 am

Terence TaoI implemented all of these corrections except for #11, as I did not have a good example of this in mind (Wikipedia suggests that k=447 is the first counterexample, but we should probably double-check this.)

25 November, 2013 at 11:02 am

Gergely HarcosThank you! It seems that works, since in this case and . Of course there might be a smaller counterexample. Probably Andrew is the best person to locate the smallest known example.

25 November, 2013 at 11:25 am

Emmanuel KowalskiThanks! I’ll also merge in these corrections.

I haven’t yet had time to go through typei-advanced (reports and teaching, etc…), but I still hope to finish this week. I’ll also review the extra section that Philippe added in deligne.tex as additional application.

By the way, I’ve put the survey on trace functions that I had added as a reference on my web page.

25 November, 2013 at 11:28 am

Gergely Harcosk=459 also satisfies : the LHS is at most 3240, the RHS is 3251.

25 November, 2013 at 12:11 pm

Wouter CastryckI find the same value . Note that , where is the largest integer for which there exists an admissible -tuple of diameter strictly smaller than . This implies that , so we have found an such that , which is what one needs to contradict the second H-L conjecture, assuming the prime tuples conjecture.

But there are smaller values of , that are not of the form , for which : here one can take , for which and (see Engelsma’s site). That is probably what wikipedia refers to.

25 November, 2013 at 4:21 pm

Terence TaoOK, I put the k=459 example in a footnote to the paper; thanks for confirming the value and explaining the Wikipedia value also.

28 November, 2013 at 1:28 am

Emmanuel KowalskiI’m sorry that I am a bit late with Section 9 — a few urgent things came up early this week… I should be done either over the week-end or on Monday.

2 December, 2013 at 11:38 am

Emmanuel KowalskiI am working on Section 9 and at first thought everything went smoothly. However, I realized that the issue we had in section 7 with H being replaced by H/q_0 does also turn up here. Precisely, this is a problem when checking that the quantity D_1 of the main folder version is << R (since there is factor H^4 in the denominator, this increases the current D_1 by q_0^4, and the previous estimate << R was rather tight).

The first obvious "solution", namely replacing H^4 by q_0^4H^4 in defining D_1, hits a snag in the q_0 powers in the final estimates (because the quantities D_1 and D are now smaller), although I may have made computation mistakes in checking this — I will check again tomorrow before attempting other possible solutions (I remember having had sometimes the impression that the estimates were not optimal with respect to q_0, and not much is needed, but the bounds I have rechecked do seem to be tight).

I will put in the ek subfolder the current state of my files (the changes of this section are not finished, but the flow of the argument leading to the problem should be readable if one wishes to look through this instead of the old version). Note that D_1 became D and D became Delta in this version…

2 December, 2013 at 11:48 am

Terence TaoDear Emmanuel,

I unfortunately am busy for the next few days and won’t be able to check things directly, but perhaps the same fix we proposed for Section 7 (namely, isolating the k=0 case to be treated separately, see http://terrytao.wordpress.com/2013/10/15/polymath8-writing-the-paper-iv/#comment-250067 ) works here?

2 December, 2013 at 12:06 pm

Emmanuel KowalskiI think this is already incorporated, since this step was done in the general Type I/II work. I will work on this tomorrow and I still hope this is just a computation mistake somewhere (since q_0 shouldn’t affect the basic argument).

2 December, 2013 at 12:21 pm

Deterministic RIP matrices: Breaking the square-root bottleneck | Short, Fat Matrices[…] then, the Polymath project exploded to decrease this number considerably. In a recent blog entry, Terry Tao took some time to reflect on why this Polymath project received so much attention. Here is one of the reasons he points […]

3 December, 2013 at 5:35 am

Emmanuel KowalskiI checked the exponents of q_0 and there does not seem to be merely a computational mistake, so one has to find another workaround to get rid of this problem. I will continue thinking about it…

3 December, 2013 at 7:26 am

Terence TaoHmm, this is troubling, that even with the previous fix that essentially recovered one power of , that we are still in the hole for another power – so the original argument in fact had two powers of missing? (or even more, once Cauchy-Schwarz is taken into account?) I will try to look through the argument carefully when I have a chance. (I did notice though a conflict of notation: is now being used for two different quantities in Section 10, one for what used to be called D, and another for the quantity , but perhaps this is because the revision process is still incomplete.)

3 December, 2013 at 8:05 am

Emmanuel KowalskiConcerning, Delta, I’m indeed still fixing the notation for some lemmas and other parts of Section 10. I will update the ek folder later today.

In the current state of things, we get stuck with the following dilemma (stated using old notation):

(1) either D and D_1 are kept as in the old text, but then the condition D_1 << R becomes problematic because there is an extra factor q_0^4

(2) or one changes the definition of D and D_1 (dividing by q_0^4 in effect) and then the final estimates have extra powers of q_0.

I tried fiddling with the power of q_0 in changing d_1, or trying to get rid of large q_0 using trivial estimates early on. The second seems most promising, but I couldn't get a good enough control on the size of q_0 to handle even those…

3 December, 2013 at 8:08 am

Emmanuel Kowalski(In other words, we have a constraint of a different kind than before: the final estimates are fine, but the condition D_1 << R involved in the splitting of moduli does not necessarily hold).

3 December, 2013 at 10:55 pm

Terence TaoHere is a possible fix. First observe that if the quantity H defined before Remark 7.7 (or in (10.1), which is essentially the same quantity) is less than 1, then vanishes and we have nothing to prove. So we may assume wlog that . Next observe that the upper bound in (10.6) may be relaxed to and one still gets the factorisation (when one just sets ). So now it seems to me that we can set equal to (without the denominator) and one still has the weakened bound thanks to (7.12).

Incidentally there is also an “emergency exit” here, which is to revert back to the slightly weaker MPZ estimates of Zhang, in which the residue class is not completely arbitrary, but has the additional multiplicity constraint that for most , there are only moduli such that (more precisely, one needs an L^2 bound on the number of such q as n varies). This sort of hypothesis lets us kill off the contributions as soon as they appear in by crude bounds (not exploiting any cancellation), without having to carry factors of all through the rest of the analysis; in the application to prime gaps in which the congruence class is the root of a fixed polynomial, the multiplicity hypothesis can be verified from standard estimates on the divisor function (Lemma 1.5(iii)). But I would prefer to avoid this route as it makes the MPZ statement less elegant (and less applicable to potential other applications than prime gaps).

4 December, 2013 at 5:32 am

Emmanuel KowalskiI had noted the fact that D<=1 condition suffices to make things work.

Another possibility would be to drop the dense-divisibility and deal with smooth numbers only — although that would lose a bit in the GPY step, this might not be so bad, and after all we are far from Maynard’s gap anyway…

4 December, 2013 at 5:37 am

Emmanuel KowalskiCorrection: D<=x^(delta)R…

We should actually mention this slight relaxation of the d.d. condition since it was used once or twice before.

And indeed, this solves the problem — I should be able then to finish the review of Section 10 today or tomorrow.

8 December, 2013 at 2:48 am

Emmanuel KowalskiI just put up in the ek subfolder the reviewed version of Section 10. I added the extended d.d. range (1<R<= yn) in the definition and remarked that the extra range is automatic in Lemma {fq} in gpy.tex

I also re-added a minor comment in exponential.tex concerning possible appearances of e_p(0/0), since these tend to appear in Section 10.4: basically, we are dealing with psi(infty) where psi is the trivial additive character e_p(0 \times x), and the right definition of psi(infty) (from the trace function point of view) is that this is 0 if psi is non-trivial, and 1 if psi is trivial.

I will still have a look at improvements.tex, but more quickly (and to prune the parts now made obsolete by Maynard's work).

8 December, 2013 at 9:32 am

Terence TaoOK, I will start going through the paper one last time from Section 1 onwards now. (If you could synchronise the ek folder with the main folder that would be helpful.) Thanks for all the careful reading!

Regarding improvements.tex, I’m increasingly inclined to postpone pretty much all of it for the Polymath8b paper; it was written at a time when the Polymath8a paper was likely to be our final word on these topics, and now with Maynard’s work and Polymath8b it seems that it is no longer so logical to place this sort of discussion here. (For instance, at some point we will have to revisit the MPZ estimates to flesh out Nelson’s idea to improve further.)

8 December, 2013 at 9:58 am

Emmanuel KowalskiI’ll synchronize the file later today. I think there were no changes in the main folder since the last sync, but I’ll make sure.

In a few days, I’ll also read through quickly again to catch typos and inconsistencies in notation.

8 December, 2013 at 11:48 am

Emmanuel KowalskiI’ve merged the file from the subfolder to the main folder.

10 December, 2013 at 4:40 am

Eytan PaldiIn fig. 3, the numerator in the vertical caption should be (i.e. “best known upper bound”) instead of .

[This appears to have been fixed already - T.]12 December, 2013 at 11:23 am

Terence TaoI’ve reread up to Section 8, making some minor typo changes etc. but nothing major. There were some existing “TODO”s in Section 8 that I didn’t touch (other than to colour them red to make them easier to find). Will go onwards to Section 9 and Section 10 next.

12 December, 2013 at 10:42 pm

Emmanuel KowalskiI will look again myself this week-end up to Section 8 and take care of the TODO items.

12 December, 2013 at 1:18 pm

Eytan PaldiInterestingly, . (coincidence?)

12 December, 2013 at 2:41 pm

AnonymousJust out of curiosity: Where in the document are , , and defined? (I’m asking as a curios non-mathematician.)

12 December, 2013 at 3:02 pm

Eytan PaldiYou can find both in p. 53 ( is defined in lemma 4.10, and the ratio is defined in (4.31) – and is minimized by the optimal weight function )

12 December, 2013 at 1:46 pm

AnonymousBibliography:

The titles should (I _think_) be in italic in [1], [20], [35], [51]–[53], [58], [65].

[Currently we are using the convention that article titles are italicised, but book titles are not. -T.]12 December, 2013 at 3:11 pm

AnonymousBetween (4.33) and (4.34), p. 52: “Lemma” –> “lemma”.

[Corrected, thanks - T.]12 December, 2013 at 6:30 pm

AnonymousSecond formula on p. 87: Load “mathtools”, define paired delimiters by “\DeclarePairedDelimiter\inner{\langle}{\rangle}”, and then use “\inner{f,g}”.

13 December, 2013 at 2:07 am

Emmanuel KowalskiI just updated the files after reviewing Terry’s changes.

13 December, 2013 at 6:54 am

Eytan PaldiIn the line below (10.15), it should be “… that is …”.

[Corrected, thanks. -T.]17 December, 2013 at 11:25 am

Gergely HarcosI am truly busy these days, but I try to catch up with proof-reading. Here are some new corrections and suggestions for the latest version:

1. Page 48, Line -8: A factor is missing inside the first sum. This factor is by trivial estimation of (4.21), hence the corrected first sum is .

2. Page 48, Line -5: In accordance with the previous item, should be in this display, and there should be no on the right hand side (instead, comes from the separate factor ).

3. Page 48, Line -3: should be , but this might be obsolete in the light of the next item.

4. Page 48, Line -1: I think this display is not good for the first display on page 49, because restricting to multiples of here, only those residue classes mod will occur that lie in . Instead, we should restrict (4.23) to divisible by first, and then average over those residue classes mod that reduce to some and to mod . This yields the second display on page 49 directly, with the necessary correction that should be there.

5. Page 49, Line 3: This display might be obsolete in the light of the previous item.

6. Page 49, Line 5: should be .

[Corrected, thanks - T.]17 December, 2013 at 1:58 pm

Terence TaoGone through Section 9 fairly carefully, some rewording and rearranging of the logic, but nothing major. I also credited the simple but crucial trick of combining the triple sum over into a single sum over to Heath-Brown, who explicitly calls it “the key step” in his own d_3 distribution paper from 1986.

On to Section 10…

17 December, 2013 at 5:41 pm

Gergely HarcosI read another 12 pages. Here are some small corrections and suggestions:

1. Page 49, Line -5: Insert a reference to (4.8) after .

2. Page 49, Line -3: should be : 2 occurrences.

3. Page 50, four lines below (4.24): “estimated” should be “is estimated”.

4. Page 55, Line -1: This display is valid independent of the previous display.

5. Page 57, Line -6: should be .

6. Page 59, Case (0) of Lemma 4.12: “$i$-tuple” should be “$i$-tuply”.

7. Small corrections for the list of references:

In item [13], “Deligne, P.” should be “P. Deligne”.

In item [17], “mathematics” should be “Mathematics”, and 155-161 should be 155–161.

In item [22], Birkhaüser should be Birkhäuser.

In item [28], “(2013)” should follow the volume number “155”.

In item [53], “(1988)” should be “, 1988”.

In item [54], “(1990)” should be “, 1990”.

In item [56], “pp.” should be omitted.

In item [70], “(1969)” should be followed by a comma.

In item [76], the authors should be separated by a comma instead of “and”.

In item [85], “1996” should be preceded by a comma.

In item [87], “1948” should be preceded by a comma.

In item [88], “Annals of Mathematics” should be “Ann. of Math.”.

[Corrected, thanks - T.]18 December, 2013 at 1:45 pm

Gergely HarcosDear Terry, thanks for taking care of my corrections. Some leftover:

On Page 56, Line 2, I would delete the words “and thus”.

In item [70], “(1969)” should be followed by a comma.

In item [76], the authors should be separated by a comma instead of a dot.

In item [85], “1996” should be preceded by a comma.

In item [88], “Ann. Math.” should be “Ann. of Math.”.

[Corrected, thanks - T.]18 December, 2013 at 2:02 pm

Terence TaoI’m wondering if we may have to change the title of the paper: “A new bound for gaps between primes” is, strictly speaking, no longer accurate as of late October. Our distribution theorem for the primes remains new though (and is a better improvement over Bombieri-Vinogradov than Zhang’s original bound by a factor of more than ten), so we could reword the title to emphasise that, e.g. “A new distribution theorem for the primes, and bounds for gaps between primes”. Of course the abstract and introduction would also be reworded slightly to reflect this new emphasis. I’m still on the fence though as to whether we should do this; alternatively we could maintain the convention that the paper mostly refers to the state of affairs at the time when it was first being written up in August. Anyway, I would be happy to hear of any opinions on this topic.

18 December, 2013 at 3:09 pm

Gergely HarcosI am happy with the old title, and also with the new suggestion. Here are two alternate suggestions:

Gaps between primes and equidistribution in arithmetic progressions

Bombieri-Vinogradov type results and bounded gaps between primes

18 December, 2013 at 2:30 pm

Eytan PaldiAnother possible title could be “Improving Zhang’s bound for gaps between primes”.

19 December, 2013 at 9:16 am

Wouter CastryckI have read through the first 8 sections (mainly from an editorial point of view; I only checked the proofs of some of the more elementary statements) and mainly fixed some typos along the way.

Below I list some of the choices that I made to make our notation more consistent (so that people making future changes can take them into account):

* over -th

[Note: the former "th" should be in the \operatorname{} environment, but this is not recognised by WordPress LaTeX -T.]* “Chinese Remainder Theorem” over “Chinese remainder theorem” (and similarly for the Prime Number Theorem)

* “prime tuples conjecture” over “prime tuple conjecture”, “-tuples conjecture”, …

* over

[Note: the second inline here is $\not =$, which in the paper is rendered with a vertical line rather than a slash - T.]* “Polymath project” over “polymath project”

* over (for booleans)

* over

At some points I also chose

* (\mid) over

but I didn’t do the effort to trace every occurrence.

Here are some questions / unsolved issues:

* Right before Theorem 3.1: I added a footnote on the recent results on bounded gaps between prime triples, quadruples, … as an extra motivation for having efficient methods to find narrow admissible tuples. I’m not sure to what extent we want to keep things “chronological”, however.

* In formula (4.21)

it’s not clear at first sight whether the last term is understood to be part of the summand or not, so maybe it’s better to switch terms, i.e. to write

* There’s a similar issue with the formula in Remark 8.23.

* In the paragraph below the statement of Lemma 4.4: “… the archimedean size of elements of (which make the statement harder to prove)” Does the “which” refer to the archimedean size here? (If yes, it should be “makes”.)

* In the proof of Lemma 4.12: “By induction, is therefore …” This phrase should be rewritten.

* In Section 6, sometimes refers to inversion modulo , and sometimes to complex conjugation. Should we add a remark about this (it’s always clear from the context, of course)?

* In the paragraph below Example 6.1: “where and are integers that [...] may apparently be simultaneously divisible by .” After this, a case distinction between and is made. So should it be just that is divisible by in the above phrase?

* In the last formula of Section 7.2: What is ?

* In the phrase right before Remark 7.7: “which one must be careful to note depends on and “: this sounds a bit twisted.

* In Remark 8.16 and in the proof of Theorem 8.17 we write

and

Maybe these should be changed in conformity with the notation introduced in Section 8.1?

* In the proof of Theorem 8.29: maybe I overlooked this, but what does mean?

[Corrections implemented, thanks - T.]23 December, 2013 at 1:48 pm

Terence TaoI’ve gone through Section 10 (mostly focusing on tracking the powers of , which were an issue recently), and also commented out Section 11, punting it to a subsequent paper (and thus shaving a few pages off of the length, though at 169 pages it’s still a monster of a paper). The title, abstract, and introduction still needs to be looked at again in view of all the recent progress, and there are some residual “TODO”s in the Deligne section, but other than that I’m happy to sign off on this paper for the purposes of submission, though I think a few people are still doing some additional proofreading.

23 December, 2013 at 3:24 pm

Eytan PaldiIn the fifth line above subsection 1.2, it should by “only”.

[Corrected, thanks - T.]27 December, 2013 at 12:46 pm

Andrew SutherlandAt the suggestion of Christian Elsholtz, I added a footnote to section 3.5 explaining how ties were broken when obtaining the tuples listed in the “Shifted greedy” row of table 5.

4 January, 2014 at 11:37 am

Wouter CastryckI’ve fixed some small typos in Sections 1-3 and 9-10, and have now read everything at least once (although rather superficially from Section 4 on). I also agree with a slight change of emphasis in the title. As a combination of Eytan’s and Gergely’s suggestion, maybe “Zhang type distribution results and bounded gaps between primes” would be a possible title?

4 January, 2014 at 3:59 pm

Terence TaoI’ve now changed the title (and modified the introduction a bit accordingly). I think we’re getting very close to being able to submit; there are a few “TODO”s left in the text, mostly in the Deligne section, but apart from that and any further proofreading we should be good to go soon!

8 January, 2014 at 8:47 pm

Terence TaoA small update: we had a reference to a strengthening of Zhang’s theorem in a recent survey of Friedlander and Iwaniec, in which the residue class a was allowed to vary in q. Unfortunately, I’ve just been informed by the authors that the proof of this strengthened version had a gap, and possibly an unfixable one, so I’ve removed the reference to this improved version of the theorem from the Polymath paper for now at least.

25 January, 2014 at 4:31 am

Gergely HarcosThanks for the update. I could not read the manuscript further (I stopped around page 60) because of my other tasks, and it seems for another month I will still be very busy, so I definitely give a green light on my side to the paper, especially that Emmanuel has checked everything carefully. On the other hand, if others are still reading and this thread is not closed, I might throw in some typos later.

9 January, 2014 at 11:20 am

Eytan PaldiIn subsection 7.2, the notation is defined as a certain term in definition 1.2 (which does not exist!)

9 January, 2014 at 11:30 am

Eytan PaldiI’m sorry! I misunderstood def. (1.2) as def. 1.2.

16 January, 2014 at 1:02 pm

Eytan PaldiIn the last line of the abstract, “which” already appears also before the parentheses (two lines above).

[Fixed, thanks - T.]3 February, 2014 at 9:38 am

Terence TaoI’ve just heard from Emmanuel Kowalski, who has signed off on the latest version of the manuscript. As far as I know, everyone who was proofreading the paper is now happy with it, so if I don’t hear anything in the next day or so, I am going to put the Polymath8a paper on the arXiv and submit to Algebra & Number theory as previously planned.

Given this, and also given that Polymath8b has also achieved most of the goals it wanted, I think it may be time to start working on the retrospective article for the EMS newsletter, while memories of the Polymath8 collaboration are still fairly fresh. I’ll start a thread to discuss that when the Polymath8a paper is up on the arXiv.

4 February, 2014 at 10:06 am

Terence TaoI’ve concatenated all the LaTeX files into one enormous LaTeX file (newgap.tex) and submitted to the arXiv and to Algebra & Number theory. When the paper appears on the arXiv, I’ll start a new blog post to announce it, and also to begin work on the retrospective article.

5 February, 2014 at 8:28 am

Terence TaoPaper is now on arXiv: http://arxiv.org/abs/1402.0811 . I’m traveling today, but hope to put up a blog post on the paper and on kicking off the retrospective shortly.

5 February, 2014 at 1:50 pm

Gergely HarcosThanks for posting the article, and thanks for putting so much work (so many ideas etc.) into it!

3 February, 2014 at 9:12 pm

Terence TaoI’ve just received a request from Yoichi Motohashi to use one of the figures in our Polymath8a paper (more precisely, logic.png, appearing on page 11) in an expository talk he is giving on bounded gaps between primes for the annual meeting of the Japanese Mathematical Society in March. Of course he’ll cite the paper as the original source. I don’t see any problem with this, so if I don’t hear any objections in the next day or so, I’ll tell Yoichi that it is fine to use the figure.

4 February, 2014 at 12:46 am

Emmanuel KowalskiThat’s certainly OK!

7 February, 2014 at 9:09 am

“New equidistribution estimates of Zhang type, and bounded gaps between primes” – and a retrospective | What's new[…] second purpose is to roll over the previous thread on all remaining Polymath8a-related matters (e.g. updates on the submission status of the paper) to […]