This Thursday I was at the University of Sydney, Australia, giving a public lecture on a favourite topic of mine, “Structure and randomness in the prime numbers“. My slides here are a merge between my slides for a Royal Society meeting and the slides I gave for the UCLA Science Colloquium; now that I figured out to use Powerpoint a little bit better, I was able to make the latter a bit more colourful (and the former less abridged).
Recent Comments
Robert on The Collatz conjecture, Little… | |
gowers on Notes on the “slice rank… | |
![]() | Mushfique Hasan on Advice on gifted educatio… |
![]() | Mushfique Hasan on Advice on gifted educatio… |
![]() | Mushfique Hasan on Advice on gifted educatio… |
Anonymous on Boosting the van der Corput in… | |
James Deikun on Ultralimit analysis, and quant… | |
AC on 285G, Lecture 8: Ricci flow as… | |
Notlikeireallyknow on The Collatz conjecture, Little… | |
Anonymous on Polymath proposal: clearinghou… | |
Nik on Does one have to be a genius t… | |
Daniel on Does one have to be a genius t… | |
Anonymous on A statement from mathematics d… | |
Anonymous on A statement from mathematics d… | |
David on A statement from mathematics d… |
Articles by others
- Andreas Blass – The mathematical theory T of actual mathematical reasoning
- Gene Weingarten – Pearls before breakfast
- Isaac Asimov – The relativity of wrong
- Jonah Lehrer – Don't! – the secret of self-control
- Julianne Dalcanton – The cult of genius
- Nassim Taleb – The fourth quadrant: a map of the limits of statistics
- Paul Graham – What You'll Wish You'd Known
- Po Bronson – How not to talk to your kids
- Scott Aaronson – Ten signs a claimed mathematical proof is wrong
- Tanya Klowden – articles on astronomy
- Timothy Gowers – Elsevier — my part in its downfall
- Timothy Gowers – The two cultures of mathematics
- William Thurston – On proof and progress in mathematics
Diversions
- Abstruse Goose
- BoxCar2D
- Factcheck.org
- FiveThirtyEight
- Gapminder
- Literally Unbelievable
- Planarity
- PolitiFact
- Quite Interesting
- snopes
- Strange maps
- Television tropes and idioms
- The Economist
- The Onion
- The Straight Dope
- This American Life on the financial crisis I
- This American Life on the financial crisis II
- What if? (xkcd)
- xkcd
Mathematics
- 0xDE
- A Mind for Madness
- A Portion of the Book
- Absolutely useless
- Alex Sisto
- Algorithm Soup
- Almost Originality
- AMS blogs
- AMS Graduate Student Blog
- Analysis & PDE
- Analysis & PDE Conferences
- Annoying Precision
- Area 777
- Ars Mathematica
- ATLAS of Finite Group Representations
- Automorphic forum
- Avzel's journal
- Blog on Math Blogs
- blogderbeweise
- Bubbles Bad; Ripples Good
- Cédric Villani
- Climbing Mount Bourbaki
- Coloquio Oleis
- Combinatorics and more
- Compressed sensing resources
- Computational Complexity
- Concrete nonsense
- David Mumford's blog
- Delta epsilons
- DispersiveWiki
- Disquisitiones Mathematicae
- Embûches tissues
- Emmanuel Kowalski’s blog
- Equatorial Mathematics
- fff
- Floer Homology
- Frank Morgan’s blog
- Gérard Besson's Blog
- Gödel’s Lost Letter and P=NP
- Geometric Group Theory
- Geometry and the imagination
- Geometry Bulletin Board
- George Shakan
- Girl's Angle
- God Plays Dice
- Good Math, Bad Math
- Graduated Understanding
- Hydrobates
- I Can't Believe It's Not Random!
- I Woke Up In A Strange Place
- Igor Pak's blog
- Images des mathématiques
- In theory
- James Colliander's Blog
- Jérôme Buzzi’s Mathematical Ramblings
- Joel David Hamkins
- Journal of the American Mathematical Society
- Kill Math
- Le Petit Chercheur Illustré
- Lemma Meringue
- Lewko's blog
- Libres pensées d’un mathématicien ordinaire
- LMS blogs page
- Low Dimensional Topology
- M-Phi
- Mark Sapir's blog
- Math Overflow
- Math3ma
- Math3ma
- Mathbabe
- Mathblogging
- Mathematical musings
- Mathematics Illuminated
- Mathematics in Australia
- Mathematics Jobs Wiki
- Mathematics Stack Exchange
- Mathematics under the Microscope
- Mathematics without apologies
- Mathlog
- Mathtube
- Matt Baker's Math Blog
- Mixedmath
- Motivic stuff
- Much ado about nothing
- Multiple Choice Quiz Wiki
- MyCQstate
- nLab
- Noncommutative geometry blog
- Nonlocal equations wiki
- Nuit-blanche
- Number theory web
- Online Analysis Research Seminar
- outofprintmath
- Pattern of Ideas
- Pengfei Zhang's blog
- Persiflage
- Peter Cameron's Blog
- Phillipe LeFloch's blog
- ProofWiki
- Quomodocumque
- Ramis Movassagh's blog
- Random Math
- Reasonable Deviations
- Regularize
- Research Seminars
- Rigorous Trivialities
- Roots of unity
- Science Notes by Greg Egan
- Secret Blogging Seminar
- Selected Papers Network
- Sergei Denisov's blog
- Short, Fat Matrices
- Shtetl-Optimized
- Shuanglin's Blog
- Since it is not…
- Sketches of topology
- Snapshots in Mathematics !
- Soft questions
- Some compact thoughts
- Stacks Project Blog
- SymOmega
- Tanya Khovanova's Math Blog
- tcs math
- TeX, LaTeX, and friends
- The accidental mathematician
- The Cost of Knowledge
- The Everything Seminar
- The Geomblog
- The L-function and modular forms database
- The n-Category Café
- The n-geometry cafe
- The On-Line Blog of Integer Sequences
- The polylogblog
- The polymath blog
- The polymath wiki
- The Tricki
- The twofold gaze
- The Unapologetic Mathematician
- The value of the variable
- The World Digital Mathematical Library
- Theoretical Computer Science – StackExchange
- Tim Gowers’ blog
- Tim Gowers’ mathematical discussions
- Todd and Vishal’s blog
- Van Vu's blog
- Vaughn Climenhaga
- Vieux Girondin
- Visual Insight
- Vivatsgasse 7
- Williams College Math/Stat Blog
- Windows on Theory
- Wiskundemeisjes
- XOR’s hammer
- Yufei Zhao's blog
- Zhenghe's Blog
Selected articles
- A cheap version of nonstandard analysis
- A review of probability theory
- American Academy of Arts and Sciences speech
- Amplification, arbitrage, and the tensor power trick
- An airport-inspired puzzle
- Benford's law, Zipf's law, and the Pareto distribution
- Compressed sensing and single-pixel cameras
- Einstein’s derivation of E=mc^2
- On multiple choice questions in mathematics
- Problem solving strategies
- Quantum mechanics and Tomb Raider
- Real analysis problem solving strategies
- Sailing into the wind, or faster than the wind
- Simons lectures on structure and randomness
- Small samples, and the margin of error
- Soft analysis, hard analysis, and the finite convergence principle
- The blue-eyed islanders puzzle
- The cosmic distance ladder
- The federal budget, rescaled
- Ultrafilters, non-standard analysis, and epsilon management
- What is a gauge?
- What is good mathematics?
- Why global regularity for Navier-Stokes is hard
Software
The sciences
Top Posts
- Career advice
- Does one have to be a genius to do maths?
- Notes on the "slice rank" of tensors
- Eigenvectors from Eigenvalues: a survey of a basic identity in linear algebra
- Boosting the van der Corput inequality using the tensor power trick
- Books
- Work hard
- On writing
- Advice on gifted education
- The Collatz conjecture, Littlewood-Offord theory, and powers of 2 and 3
Archives
- February 2021 (6)
- January 2021 (2)
- December 2020 (4)
- November 2020 (2)
- October 2020 (4)
- September 2020 (5)
- August 2020 (2)
- July 2020 (2)
- June 2020 (1)
- May 2020 (2)
- April 2020 (3)
- March 2020 (9)
- February 2020 (1)
- January 2020 (3)
- December 2019 (4)
- November 2019 (2)
- September 2019 (2)
- August 2019 (3)
- July 2019 (2)
- June 2019 (4)
- May 2019 (6)
- April 2019 (4)
- March 2019 (2)
- February 2019 (5)
- January 2019 (1)
- December 2018 (6)
- November 2018 (2)
- October 2018 (2)
- September 2018 (5)
- August 2018 (3)
- July 2018 (3)
- June 2018 (1)
- May 2018 (4)
- April 2018 (4)
- March 2018 (5)
- February 2018 (4)
- January 2018 (5)
- December 2017 (5)
- November 2017 (3)
- October 2017 (4)
- September 2017 (4)
- August 2017 (5)
- July 2017 (5)
- June 2017 (1)
- May 2017 (3)
- April 2017 (2)
- March 2017 (3)
- February 2017 (1)
- January 2017 (2)
- December 2016 (2)
- November 2016 (2)
- October 2016 (5)
- September 2016 (4)
- August 2016 (4)
- July 2016 (1)
- June 2016 (3)
- May 2016 (5)
- April 2016 (2)
- March 2016 (6)
- February 2016 (2)
- January 2016 (1)
- December 2015 (4)
- November 2015 (6)
- October 2015 (5)
- September 2015 (5)
- August 2015 (4)
- July 2015 (7)
- June 2015 (1)
- May 2015 (5)
- April 2015 (4)
- March 2015 (3)
- February 2015 (4)
- January 2015 (4)
- December 2014 (6)
- November 2014 (5)
- October 2014 (4)
- September 2014 (3)
- August 2014 (4)
- July 2014 (5)
- June 2014 (5)
- May 2014 (5)
- April 2014 (2)
- March 2014 (4)
- February 2014 (5)
- January 2014 (4)
- December 2013 (4)
- November 2013 (5)
- October 2013 (4)
- September 2013 (5)
- August 2013 (1)
- July 2013 (7)
- June 2013 (12)
- May 2013 (4)
- April 2013 (2)
- March 2013 (2)
- February 2013 (6)
- January 2013 (1)
- December 2012 (4)
- November 2012 (7)
- October 2012 (6)
- September 2012 (4)
- August 2012 (3)
- July 2012 (4)
- June 2012 (3)
- May 2012 (3)
- April 2012 (4)
- March 2012 (5)
- February 2012 (5)
- January 2012 (4)
- December 2011 (8)
- November 2011 (8)
- October 2011 (7)
- September 2011 (6)
- August 2011 (8)
- July 2011 (9)
- June 2011 (8)
- May 2011 (11)
- April 2011 (3)
- March 2011 (10)
- February 2011 (3)
- January 2011 (5)
- December 2010 (5)
- November 2010 (6)
- October 2010 (9)
- September 2010 (9)
- August 2010 (3)
- July 2010 (4)
- June 2010 (8)
- May 2010 (8)
- April 2010 (8)
- March 2010 (8)
- February 2010 (10)
- January 2010 (12)
- December 2009 (11)
- November 2009 (8)
- October 2009 (15)
- September 2009 (6)
- August 2009 (13)
- July 2009 (10)
- June 2009 (11)
- May 2009 (9)
- April 2009 (11)
- March 2009 (14)
- February 2009 (13)
- January 2009 (18)
- December 2008 (8)
- November 2008 (9)
- October 2008 (10)
- September 2008 (5)
- August 2008 (6)
- July 2008 (7)
- June 2008 (8)
- May 2008 (11)
- April 2008 (12)
- March 2008 (12)
- February 2008 (13)
- January 2008 (17)
- December 2007 (10)
- November 2007 (9)
- October 2007 (9)
- September 2007 (7)
- August 2007 (9)
- July 2007 (9)
- June 2007 (6)
- May 2007 (10)
- April 2007 (11)
- March 2007 (9)
- February 2007 (4)
Categories
- expository (288)
- tricks (11)
- guest blog (10)
- Mathematics (813)
- math.AC (8)
- math.AG (41)
- math.AP (112)
- math.AT (17)
- math.CA (175)
- math.CO (179)
- math.CT (7)
- math.CV (37)
- math.DG (37)
- math.DS (83)
- math.FA (24)
- math.GM (12)
- math.GN (21)
- math.GR (86)
- math.GT (16)
- math.HO (12)
- math.IT (13)
- math.LO (50)
- math.MG (43)
- math.MP (28)
- math.NA (23)
- math.NT (179)
- math.OA (22)
- math.PR (101)
- math.QA (6)
- math.RA (40)
- math.RT (21)
- math.SG (4)
- math.SP (48)
- math.ST (8)
- non-technical (164)
- admin (45)
- advertising (42)
- diversions (4)
- media (13)
- journals (3)
- obituary (15)
- opinion (31)
- paper (216)
- question (123)
- polymath (85)
- talk (67)
- DLS (20)
- teaching (188)
- 245A – Real analysis (11)
- 245B – Real analysis (21)
- 245C – Real analysis (6)
- 246A – complex analysis (11)
- 246B – complex analysis (5)
- 246C – complex analysis (5)
- 247B – Classical Fourier Analysis (5)
- 254A – analytic prime number theory (19)
- 254A – ergodic theory (18)
- 254A – Hilbert's fifth problem (12)
- 254A – Incompressible fluid equations (5)
- 254A – random matrices (14)
- 254B – expansion in groups (8)
- 254B – Higher order Fourier analysis (9)
- 255B – incompressible Euler equations (2)
- 275A – probability theory (6)
- 285G – poincare conjecture (20)
- Logic reading seminar (8)
- travel (26)
additive combinatorics
almost orthogonality
announcement
approximate groups
arithmetic progressions
Ben Green
Cauchy-Schwarz
Cayley graphs
central limit theorem
Chowla conjecture
compactness
compressed sensing
correspondence principle
distributions
eigenvalues
Elias Stein
Emmanuel Breuillard
entropy
equidistribution
ergodic theory
Euler equations
expander graphs
exponential sums
finite fields
Fourier transform
Freiman's theorem
Gowers uniformity norms
graph theory
Gromov's theorem
GUE
hard analysis
Hilbert's fifth problem
hypergraphs
incompressible Euler equations
inverse conjecture
Kaisa Matomaki
Kakeya conjecture
Lie algebras
Lie groups
Liouville function
Littlewood-Offord problem
Maksym Radziwill
Mobius function
multiple recurrence
Navier-Stokes equations
nilpotent groups
nilsequences
nonstandard analysis
parity problem
politics
polymath1
polymath8
Polymath15
polynomial method
polynomials
prime gaps
prime numbers
prime number theorem
random matrices
randomness
Ratner's theorem
regularity lemma
Ricci flow
Riemann zeta function
Roth's theorem
Schrodinger equation
sieve theory
structure
Szemeredi's theorem
Tamar Ziegler
ultrafilters
universality
Van Vu
wave maps
Yitang Zhang
The Polymath Blog
- Polymath projects 2021 20 February, 2021
- A sort of Polymath on a famous MathOverflow problem 9 June, 2019
- Ten Years of Polymath 3 February, 2019
- Updates and Pictures 19 October, 2018
- Polymath proposal: finding simpler unit distance graphs of chromatic number 5 10 April, 2018
- A new polymath proposal (related to the Riemann Hypothesis) over Tao’s blog 26 January, 2018
- Spontaneous Polymath 14 – A success! 26 January, 2018
- Polymath 13 – a success! 22 August, 2017
- Non-transitive Dice over Gowers’s Blog 15 May, 2017
- Rota’s Basis Conjecture: Polymath 12, post 3 5 May, 2017
76 comments
Comments feed for this article
7 February, 2008 at 10:03 am
Anon
Nice slides!
I would recommend to convert them (directly) into
PDF (unless you have significant animation in them).
7 February, 2008 at 10:39 pm
Derek Buchanan
The date on the first page is wrong. It’s the 7th, not the 8th.
Anyway, Terry, I was the one who asked you later about polynomial progressions of primes. I’m curious as to why you did not mention this in your talk.
18 February, 2008 at 7:51 am
mitchan88
Nice slides!
I like your site very much, but unfortunately I’m only at the first year of University, so I can understand only 0,5% of your articles :p
27 February, 2008 at 9:26 am
dsilvestre
Dear Dr Tao,
I watched this video and liked it very much.
Hey, if I want to find a drawing on the gaussian primes constelation, say, this rabbit
do I have a chance? (my mom drew it)
what are the chances of finding it using 1-year of a pentium4 time?
3 March, 2008 at 2:42 pm
alexandru
yes, pdf would be great… especially for linux users…
2 July, 2008 at 11:54 am
Ian Agol
Anyone understand Xian-Jin Li’s paper claiming to prove the Riemann hypothesis?
http://arxiv.org/abs/0807.0090
Look’s like he’s completing a program of Bombieri and Connes.
He seems to be an expert on RH, and has done some nice work on it before.
2 July, 2008 at 2:11 pm
I Can Has Riemann Hypothesis? « The Unapologetic Mathematician
[…] Can Has Riemann Hypothesis? Everybody is talking about […]
2 July, 2008 at 6:28 pm
Terence Tao
It unfortunately seems that the decomposition claimed in equation (6.9) on page 20 of that paper is, in fact, impossible; it would endow the function h (which is holding the arithmetical information about the primes) with an extremely strong dilation symmetry which it does not actually obey. It seems that the author was relying on this symmetry to make the adelic Fourier transform far more powerful than it really ought to be for this problem.
2 July, 2008 at 7:09 pm
Not Even Wrong » Blog Archive » Proof of the Riemann Hypothesis?
[…] It looks like a problem with the proof has been found. Terry Tao comments on his blog It unfortunately seems that the decomposition claimed in equation (6.9) on page 20 of […]
2 July, 2008 at 7:47 pm
Another attempted proof of the Riemann hypothesis « Muse Free
[…] I’d think that the chances of this proof being correct are extremely low; in fact Terry Tao claims to have already found a […]
3 July, 2008 at 3:41 am
Gergely Harcos
I also have some (perhaps milder) troubles with the proof. It seems to me as if Li had treated the Dirac delta on L^2(A) as a function. For example, the first 5 lines of page 28 make little sense to me. Am I missing something here?
3 July, 2008 at 10:04 am
Ars Mathematica » Blog Archive » Li’s Preprint
[…] proof the Riemann Hypothesis. The optics of it looked good (Li is clearly not a crank), but Terry Tao has identified an apparent […]
3 July, 2008 at 1:58 pm
Terence Tao encuentra un fallo en la demostración de Li de la Hipótesis de Riemann [ENG]
[…] Terence Tao encuentra un fallo en la demostración de Li de la Hipótesis de Riemann [ENG]terrytao.wordpress.com/2008/02/07/structure-and-randomness-i… por emulenews hace pocos segundos […]
3 July, 2008 at 2:12 pm
Otro valiente más (o una nueva “demostración” de la hipótesis de Riemann) « Francis (th)E mule Science’s News
[…] Fields en el ICM de Madrid de 2006, uno de los matemáticos más geniales vivos en la actualidad) afirma en su blog que ha encontrado ciertos “problemas” con una descomposición presentada en la página […]
3 July, 2008 at 3:13 pm
Request: Li’s preprint, or “on not being a crackpot” « Secret Blogging Seminar
[…] of us seemed inclined to go through the paper and look for mistakes. Luckily, Terry Tao did and thinks he has found a mistake (which the author may claim to have fixed…things are starting to get a little confusing). […]
4 July, 2008 at 5:10 am
Richard Elwes - Riemann Hypothesis
[…] Terry Tao and Alain Connes both say “no”. Ok, Li’s apparently “updated” the […]
4 July, 2008 at 5:15 am
Lior Silberman
The function
defined on page 20 does have a strong dilation symmetry: it is invariant by multiplication by ideles of norm one (since it is merely a function of the norm of
). In particular, it is invariant under multiplication by elements of
. I’m probably missing something here.
Probably the subtlety is in passing from integration over the nice space
of idele classes to the singular space
. The topologies on the spaces of adeles and ideles are quite different.
There is a formal error in Theorem 3.1 which doesn’t affect the paper: the distribution discussed is not unique. A distribution supported at a point is a sum of derivatives of the delta distribution. Clearly there exist many such with a given special value of the Fourier transform.
There is also something odd about this paper: nowhere is it pointed out what is the new contribution of the paper. Specifically, what is the new insight about number theory?
4 July, 2008 at 6:09 am
Emmanuel Kowalski
A remark concerning Lior’s remark: the function h(u) in the current (v4) version of the paper is _not_ the same as the one that was defined when T. Tao pointed out a problem with it. This earlier one (still visible on arXiv, v1) was defined in different ways depending on whether the idele had at most one or more than one non-unit component, and was therefore not invariant under multiplication by
.
(It is another problem with looking at such a paper if corrections as drastic as that are made without any indication of when and why).
4 July, 2008 at 8:15 am
Terence Tao
Dear Lior,
Emmanuel is correct. The old definition of h was in fact problematic for a large number of reasons (the author was routinely integrating h on the idele class group C, which is only well-defined if h was
-invariant). Changing the definition does indeed fix the problem I pointed out (and a number of other issues too). But Connes has pointed out a much more serious issue, in the proof of the trace formula in Theorem 7.3 (which is the heart of the matter, and is what should be focused on in any future revision): the author is trying to use adelic integration to control a function (namely, h) supported on the ideles, which cannot work as the ideles have measure zero in the adeles. (The first concrete error here arises in the equation after (7.13): the author has made a change of variables
on the idele class group C that only makes sense when u is an idele, but u is being integrated over the adeles instead. All subsequent manipulations involving the adelic Fourier transform Hh of h are also highly suspect, since h is zero almost everywhere on the adeles.)
More generally, there is a philosophical objection as to why a purely multiplicative adelic approach such as this one cannot work. The argument only uses the multiplicative structure of
, but not the additive structure of k. (For instance, the fact that k is a cocompact discrete additive subgroup of A is not used.) Because of this, the arguments would still hold if we simply deleted a finite number of finite places v from the adeles (and from
). If the arguments worked, this would mean that the Weil-Bombieri positivity criterion (Theorem 3.2 in the paper) would continue to hold even after deleting an arbitrary number of places. But I am pretty sure one can cook up a function g which (assuming RH) fails this massively stronger positivity property (basically, one needs to take g to be a well chosen slowly varying function with broad support, so that the Mellin transforms at Riemann zeroes, as well as the pole at 1 and the place at infinity, are negligible but which gives a bad contribution to a single large prime (and many good contributions to other primes which we delete).)
4 July, 2008 at 8:25 am
Emmanuel Kowalski
That’s an interesting point indeed, if one considers that the RH doesn’t work over function fields once we take out a point of a (smooth projective) curve — there arise zeros of the zeta function which are not on the critical line.
4 July, 2008 at 10:54 am
Update on Riemann hypothesis « Muse Free
[…] Tao explains here why an approach such as Li’s, which basically only uses the multiplicative structure of the […]
4 July, 2008 at 6:49 pm
Posible demostración de la hipótesis de Riemann « Edumate Perú
[…] debate lo plantea el matemático Terence Tao de la Universidad de los California – Los Ángeles. En su blog plantea que ciertos pasos seguidos por Xian-Jin Li no están del todo bien. It unfortunately seems that the […]
5 July, 2008 at 5:56 am
Moshe Klein
Dear Terence Tao, 5.7.08
Maybe You and A.Connes can work together to close the gap which you discover in Li new paper on RH.
B.Riemann claim in 1859 that the zeros of the Zeta function lies all on the critical line ( This is one part of the 8 problem of Hilbert) Do you think that an interaction between a line and points as individual
atoms can create a new mathematical framework which can be consider as a
solution to the 6 th’ problem of Hilbert about the connection between mathematics and physics ?
Best Wishes
Moshe Klein
5 July, 2008 at 9:01 am
Desmontada la demostración de Li
[…] en la UCLA y ganador de la medalla Fields (considerada el premio nobel de las matemáticas), ha encontrado un fallo en su demostración. El error está en una fórmula donde se atribuye a los números primos unas […]
5 July, 2008 at 7:16 pm
Abhishek
Xian-Jin Li has now withdrawn his paper from the arXiv.
6 July, 2008 at 5:28 pm
Chip Neville
Terence,
I have a question about your comment:
“Because of this, the arguments would still hold if we simply deleted a finite number of finite places v from the adeles (and from k^*). … (basically, one needs to take g to be a well chosen slowly varying function with broad support, so that the Mellin transforms at Riemann zeroes, as well as the pole at 1 and the place at infinity, are negligible but which gives a bad contribution to a single large prime (and many good contributions to other primes which we delete).)”
Does this mean that you would be considering the “reduced” (for lack of a better name) zeta function \prod 1/(1-1/p^{-s}), where the product is taken over the set of primes not in a finite subset S? If so, this “reduced” zeta function has the same zeroes as the standard Riemann zeta function, since the finite product \prod_S 1/(1-1/p^{-s}) is an entire function with no zeroes in the complex plane. Thus the classical situation in the complex plane seems to be very different in this regard from the situation with function fields over smooth projective curves alluded to by Emmanuel above.
Does anyone have an example of an infinite set S and corresponding reduced zeta function with zeroes in the half plane Re z > 1/2? A set S of primes p so that \sum_S 1/p^{1/2} converges will not do, since \prod_S 1/(1-1/p^{-s}) is holomorphic in the half plane Re z > 1/2 with no zeroes there. Perhaps a set S of primes P thick enough so that \sum_S 1/p^{1/2} diverges, but thin enough so that \sum_S 1/p converges, might do. This seems to me to be a delicate and difficult matter.
I hope these questions do not sound too foolish.
6 July, 2008 at 7:44 pm
Terence Tao
Dear Chip,
Actually, the product
has a number of poles on the line
, when s is a multiple of
.
Li’s approach to the RH was not to tackle it directly, but instead to establish the Weil-Bombieri positivity condition which is known to be equivalent to RH. However, the proof of that equivalence implicitly uses the functional equation for the zeta function (via the explicit formula). If one starts deleting places (i.e. primes) from the problem, the RH stays intact (at least on the half-plane
), but the positivity condition does not, because the functional equation has been distorted.
The functional equation, incidentally, is perhaps the one non-trivial way we do know how to exploit the additive structure of k inside the adeles, indeed I believe this equation can be obtained from the Poisson summation formula for the adeles relative to k. But it seems that the functional equation alone is not enough to yield the RH; some other way of exploiting additive structure is also needed, but I have no idea what it should be.
[Revised, July 7:] Looking back at Li’s paper, I see now that Poisson summation was indeed used quite a few times, and in actually a rather essential way, so my previous philosophical objection does not actually apply here. My revised opinion is now that, beyond the issues with the trace formula that caused the paper to be withdrawn, there is another fundamental problem with the paper, which is that the author is in fact implicitly assuming the Riemann hypothesis in order to justify some facts about the operator E (which one can think of as a sort of Mellin transform multiplier with symbol equal to the zeta function, related to the operator
on
). More precisely, on page 18, the author establishes that
and asserts that this implies that
, but this requires certain invertibility properties of E which fail if there is a zero off of the critical line. (A related problem is that the decomposition
used immediately afterwards is not justified, because
is merely dense in
rather than equal to it.)
6 July, 2008 at 10:30 pm
Riemann hypothesis proved? - Bad Astronomy and Universe Today Forum
[…] make the adelic Fourier transform far more powerful than it really ought to be for this problem. Source. __________________ MacTalk – The Australian Apple Community – iPod, iPhone and […]
7 July, 2008 at 5:14 am
Felipe Voloch
Chip, look up Beurling primes. It will give a sort of an answer to your question.
7 July, 2008 at 9:59 am
javier
Dear Terence,
I am not sure I understand your “philosophical” complain on using only the multiplicative structure and not the additive one. This is essentially the philosophy while working over the (so over-hyped lately) field with one element, which apparently comes into the game in the description of the Connes-Bost system on the latest Connes-Consani-Marcolli paper (Fun with F_un).
From an algebraic point of view, you can often recover the additive structure of a ring from the multiplicative one provided that you fix the zero. There is an explanation of this fact (using the language of monads) in the (also famous lately) work by Nikolai Durov “A new approach to Arakelov geometry (Section 4.8, on additivity on algebraic monads).
By the way, I wanted to tell you that I think you are doing an impressive work with this blog and that I really enjoy learning from it, even if this is the very first time I’ve got something sensible to say :-)
7 July, 2008 at 11:01 am
Terence Tao
Dear Javier,
I must confess I do not understand the field with one element much at all (beyond the formal device of setting q to 1 in any formula derived using
and seeing what one gets), and don’t have anything intelligent to say on that topic. Regarding my philosophical objection, the point was that if one deleted some places from the adele ring A and the multiplicative group
(e.g. if k was the rationals, one could delete the place 2 by replacing
with the group of non-zero rationals with odd numerator and denominator) then one would still get a perfectly good “adele” ring in place of A, and a perfectly good multiplicative group in place of
(which would be the invertible elements in the ring of rationals with odd denominator), but somehow the arithmetic aspects of the adeles have been distorted in the process (in particular, Poisson summation and the functional equation get affected). The Riemann hypothesis doesn’t seem to extend to this general setting, so that suggests that if one wants to use adeles to prove RH, one has to somehow exploit the fact that one has all places present, and not just a subset of such places. Now, Poisson summation does exploit this very fact, and so technically this means that my objection does not apply to Li’s paper, but I feel that Poisson summation is not sufficient by itself for this task (just as the functional equation is insufficient to resolve RH), and some further exploitation of additive (or field-theoretic) structure of k should be needed. I don’t have a precise formalisation of this feeling, though.
10 May, 2016 at 11:50 am
Amr Alturky
my dear terence tao iam sure at this i am egyptain arabic man and ihave 2 soultion on rimann hypothesis my number is 01095162649
7 July, 2008 at 1:22 pm
Gergely Harcos
Dear Terry,
you are absolutely right that Poisson summation over k inside A is the (now) standard way to obtain the functional equation for Hecke L-functions. This proof is due to Tate (his thesis from 1950), you can also find it in Weil’s Basic Number Theory, Chapter 7, Section 5.
9 July, 2008 at 1:19 am
j.
Why don’t you use LaTeX for your slides?
14 July, 2008 at 1:02 am
Babak
Hi Terrance,
A few months ago I stumbled upon an interesting differential equation while using probability heuristics to explore the distribution of primes. It’s probably nothing, but on the off-chance that it might mean something to a better trained mind, I decided to blog about it: http://babaksjournal.blogspot.com/2008/07/differential-equation-estimating.html
-Babak
15 July, 2008 at 7:57 am
michele
I think that the paper of Prof. Xian-Jin Li will be very useful for a future and definitive proof of the Riemann hypothesis. Furthermore, many mathematics contents of this paper can be applied for further progress in varios sectors of theoretical physics (p-adic and adelic strings, zeta strings).
17 July, 2008 at 2:29 am
Yonghui Wang
“functional equation is insufficient to resolve RH”
Yes, For example, The Hurwitz zeta-function and the Eisenstein series (See
Lagarias paper or my paper on Acta Math Hung.~mine is very easy, just for
an test) do not satisfy RH, though they have functional equation.
The point is that, they do not have Euler product! ~a multiplicative
structure!
By the way, the Possion Summation on Adele do use the fact that ” k is a
cocompact discrete additive subgroup of A”, which takes the role as the
Fourier analysis on R/Z. This certifies that “Functional equation” (deduced
from Poisson Summation) represents the additive structure.
So, the philosophy of “multiplicative” and “additive” is really critical for
analytic number theorist.
Usually, the analytic number theorist believe that a general L-function
which satisfies both functional equation and Euler Products will posses RH.
5 August, 2008 at 1:27 am
Qiaochu Yuan
Professor Tao, I’m not quite sure where to put this comment, but I was wondering whether your results with Ziegler on polynomial progressions in the primes implied or could be used to deduce effective bounds that would help explain patterns like the Ulam spiral. In other words, can it be deduced that certain quadratic patterns (such as the well-known n^2 + n + 41) appear more often in the primes than “expected” (for an appropriate definition of “expected”) from your results?
Since that particular example is related to the Heegner numbers, I would be pleasantly surprised if the answer was affirmative, although from what I’ve read the techniques you apply do not actually use much information about the primes themselves, so perhaps it’s not philosophically likely.
5 August, 2008 at 9:41 am
Terence Tao
Dear Qiaochu,
My result with Tamar is only able to deal with polynomial expressions involving two or more variables, e.g. n + P(r) where n, r are integers and P is a polynomial. It is still an open problem whether there is even a single non-linear polynomial P such that P(n) is prime infinitely often (though it is widely believed that any such polynomial which is coprime to any given modulus infinitely often, such as n^2+n+41, will in fact capture infinitely many primes, cf. Schinzel’s hypothesis H).
In our paper, we do look a little bit at the “local factors” of a polynomial such as P(n) or P(n,r) with respect to a given modulus q, and in particular how often the polynomial is coprime to q. For certain quadratics such as n^2+n+41, this factor is slightly higher for many small q than for generic quadratics, which may at least partially explain the Ulam spiral phenomenon. But we did not need very precise bounds on these local factors, and we ended up just using extremely crude bounds from baby algebraic geometry. (At one point we were worried that we would have to use some version of the BSD conjecture, though this turned out (fortunately) to be based on a misconception as to where the pole of a certain zeta function was.)
6 December, 2008 at 2:40 pm
The uniform uncertainty principle and compressed sensing « What’s new
[…] and randomness in the prime numbers. This lecture is largely equivalent to the one posted here.] Possibly related posts: (automatically generated)Law School Prof: “Never, Ever Talk to a […]
11 December, 2008 at 2:12 am
Quotes on primes « Asymptotics
[…] makes a mathematician go beyond theorems and proofs to praise them. A couple of quotes I found on Terrence Tao’s blog . The first one is based on the reductio ad absurdum proof for the existence of infinitely many […]
20 January, 2009 at 6:16 pm
Más sobre la posible demostración de la hipótesis de Riemann
[…] les dejo un comentarios de vengoroso donde explica las fallas: Traduzco un comentario de Terry Tao en su propio blog: Desafortunadamente parece que la descomposición propuesta en la ecuación (6.9) de la página 20 […]
6 September, 2009 at 7:27 pm
Two more Clay-Mahler lectures « What’s new
[…] and randomness in the prime numbers“. This public lecture is slightly updated from a previous talk of the same name given last year, but is largely the same […]
30 September, 2009 at 1:45 am
Ian Robinson
Dear Professor Tao
Good morning, my name is Ian Robinson living on the east coast of Australia. I am contacting you with regards to the distribution of Prime Numbers. There seems to be two accepted facts about their distribution, one is that they do seem to grow like weeds among the natural numbers, and two they do have stunning regularity with laws governing their behaviour with military precision.
I am writing with a humble air of confidence because yesterday I re-discovered the true distribution of Primes and their supporting Composites.
The Prime Numbers are responsible for the physical structure of in this instance the ‘Whirlpool Galaxy.’ In a nutshell the Prime Numbers are strategically placed on the spiralling arms of the galaxy, they can be seen as naturally plotted prominent star clusters on the spiralling arms that give physical structure to the trunk and branches. I achieved this discovery by measuring the distance of each prime number from a centre point then plotted the distance down onto paper whilst moving in a clockwise direction,I then joined up the dots to complete the spiralling picture of Prime Numbers. I repeated the process with the composite numbers and joined up the dots that spiralled outwards with stunning regularity resembling a spiders web, yet both sets of numbers are working in complete unison.
The image of the physical makeup of the Whirlpool Galaxy looks identical to my drawing, I have deliberately withheld an important piece of the jigsaw until a later date.
The truth is I require someone with a bit of mathematical clout to give these findings the validity and respect they deserve, no one else is aware of my findings.
A timely response will be much appreciated Professor Tao and believe me this discovery is for real and not a fabricated hoax.
Thank you
Regards
Ian Robinson
5 January, 2011 at 4:13 pm
primepatterns
Ian, I see the whirlpool galaxy too //primepatterns.wordpress.com should get you there. Don’t be shy, share your findings!
8 November, 2009 at 4:52 am
Struktur dan keteracakan bilangan prima « Proof { }
[…] Struktur dan keteracakan bilangan prima 2009 February 19 tags: bilangan, matematika, Math, prima, struktur by Aria Turns Structure and randomness in the prime numbers […]
1 December, 2009 at 6:51 am
Pardamean Panjaitan
Very glad to know you, Mr.Terence Tao. I’m Pardamean Panjaitan from Indonesian. Hmmm, there is any simple arithmatic or geometric series equation that can produce first ten prime numbers?
2 December, 2009 at 4:28 am
tarandeep
Hi Prof. Tao,
I had a query. Assuming I have two numbers that are relatively prime (a,b) and a>b . Now if I perform the following operation :
a/b => c. Its obvious c is a real number.
The query I have is the following: Is there any generic method/formula using which we can eliminate/minimize/reduce the decimal part of the resulting number (that can be applied to all or almost all a,b pairs).
For eg: (17,3) or (19,3)..
Thanks a lot.
1 October, 2010 at 9:43 am
michele
Dear Prof. Tao,
I’m very glad to point out a very intersting example of the mathematical connections between some sectors of Number Theory and some sectors of String Theory. I think that the Number Theory will be always very useful for the future applications of the theoretical physics
all my best wishes
4 January, 2011 at 12:19 pm
Pete Quinn
Dr. Tao,
I’m wondering if you are aware of any peer reviewed work discussing patterns and symmetry of prime numbers in relation to the primorials.
Cheers,
Pete
5 January, 2011 at 7:05 am
Pete Quinn
Dr. Tao, let me elaborate on the reason for my question. I’ve also posted this in similar form a few hours ago at PrimeGrid here:
http://www.primegrid.com/forum_thread.php?id=2991
For any primorial Pn#, there appears to be a pattern of possible primes that repeats forward to infinity. For example, P2# (i.e. 3#, or 6), the repeating pattern is 6m +/-1.
We can find the possible prime repetition pattern for P(n+1)# by first repeating the Pn# pattern P(n+1) times, and then removing all prime products of Pn, using only other prime numbers greater than P(n+1) but less than Pn#.
For example, start with 1,0,0,0,1,0 as a series of possible primes for P2#. This is the P2# sieve. To get the P3# sieve, repeat the series 5 times:
1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0 (here 1 indicates a number in this position “may” be prime, and a 0 indicates the number is not prime)
Now remove all multiples of five from this series. The only ones that remain involve a product of 5 with 1 and other primes greater than or equal to 5. In this case that means only 5 (since 5 x 7 is outside P3# and is therefore of no interest for this step), so we remove 5 and 25. The following represents the possible primes for every subsequent group of 30 integers:
1,0,0,0,0,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,0,0,0,0,1,0
Note, the values removed through this first sweep are symmetric about the mid-point of P3#. This seems to be the case for all primorial sets for the first pass of removal. Therefore, we only need to remove the prime multiples of 5 up to P3#/2, and then we can simply reflect the result about P3#/2 (e.g. reflecting 5 about 15 would give us 25 as expected).
This leaves the P3# sieve, which can be repeated forever as an indication of all possible future primes, but refined again at the next level (i.e. converted to a 7# sieve by repeating 7 times and then removing all products of 7 with 1, then primes from 7 to 30, including any products involving more than one other prime) to help us get the primes at subsequent levels.
The next step within P3#, to leave only prime numbers standing (the whole point, right?), is to remove all products of primes using only prime numbers greater than P3 (5 in this case). For Pn=5 there are no other products of primes greater than 5 less than 30, so this step makes no difference.
Note that for 1 to 30, this pattern is correct except for the primes already established up to P2#, which need to be retained in the list of known primes. In this stage we’re ony interested in finding the primes between 6 and 30, as primes up to 6 were previously decided and recorded.
Note that as Pn increases, and we have more primes as factors in Pn#, the process attracts a little more complexity. Recall the sieve for the next higher primordial uses the following sequence:
1,0,0,0,0,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,0,0,0,0,1,0
but will be repeated 7 times:
1,0,0,0,0,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,0,0,0,0,1,0
1,0,0,0,0,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,0,0,0,0,1,0
1,0,0,0,0,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,0,0,0,0,1,0
1,0,0,0,0,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,0,0,0,0,1,0
1,0,0,0,0,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,0,0,0,0,1,0
1,0,0,0,0,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,0,0,0,0,1,0
1,0,0,0,0,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,0,0,0,0,1,0
To generate the sieve for the next primorial, remove all prime products of 7 as previously described, e.g. 7, 49, 77, 91, 119, 133, 161, 203. The distribution of these prime products involving 7 and one other number will be symmetric, so we could only find the first four, then reflect then about 105.
1,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,0,0,0,0,1,0
1,0,0,0,0,0,1,0,0,0,1,0,1,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,1,0
1,0,0,0,0,0,1,0,0,0,1,0,1,0,0,0,0,0,1,0,0,0,1,0,0,0,0,0,1,0
0,0,0,0,0,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,0,0,0,0,1,0
1,0,0,0,0,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,0,0,0,0,0,0
1,0,0,0,0,0,1,0,0,0,1,0,0,0,0,0,1,0,1,0,0,0,1,0,0,0,0,0,1,0
0,0,0,0,0,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,1,0
We can duplicate this pattern 11 times to get the possible primes for every 2310 (11#) numbers.
However, we first want to identify all the prime numbers between 5# and 7# (30 and 210). To do this, we now need to remove all products of primes GREATER than 7 yielding a product of interest. This means if we delete 121 (11 x 11), 143 (11 x 13), 169 (13 x 13) and 209 (11 x 19), it will leave us with only prime numbers up to 210.
The process is the same for larger Pn#, except we need to consider products of a larger number of primes in the sieving within a given range from P(n-1)# to Pn#.
At first glance this might seem to boil down to an equivalent of the sieve of Erathosthenes, but I think it reduces to an exponentially smaller number of calculations as you are able to take advantage of the patterns, periodicity and symmetry embedded in the sequence of prime numbers.
This would be easier for me to explain with some of the graphs I used to visualize this. I have likely not fully explained the key steps, but hopefully you can get the gist.
I’ve only explained the general process of generating the sieves and focussing the search to eliminate the rest of the non-pimes, but it should be obvious that those other steps can also be described coherently.
Please note I tend to be a little careless with details, so it’s quite possible (likely even!) there are some minor errors embedded in this post. I don’t think they detract from what I’ve presented, but perhaps they do, and feel free to let me know.
I’m interested to know whether there are any obvious errors in this algoritm, and if not, whether it may represent a novel idea. I realize the possibility of novelty is quite remote, but I haven’t seen the idea yet anywhere else, at least not fully developed. I’ve found a blogger with some similar ideas working on a helix concept here:
http://primepatterns.wordpress.com/2010/06/12/6/
And I’ve seen some mention of patterns within the primorials elsewhere. But the discussion of patterns in the peer reviewed literature does not seem to cover this ground, at least not from what I’ve managed to find.
Criticism from others, either friendly or harsh, is also welcome. :-)
Cheers,
Pete
10 January, 2011 at 7:51 am
Anonymous
Pete,
What you’re saying about prime patterns seems correct to me.
See my blog for a related attempt to prove the twin prime conjecture, which relies on symmetrical primorial patterns..
http://barkerhugh.blogspot.com/
6 January, 2011 at 9:10 am
ฟังเพลง
I achieved this discovery by measuring the distance of each prime number from a centre point then plotted the distance down onto paper whilst moving in a clockwise direction
9 January, 2011 at 3:37 pm
Pete Quinn
If anyone is interested, I’ve tried to explain the ideas more concisely in the form of a draft paper. Note it’s written by an engineer, not a mathematician, and therefore is written intuitively in the way the ideas developed, but not necessarily in a particularly elegant fashion.
http://petequinnramblings.wordpress.com/2011/01/09/draft-paper-on-patterns-in-prime-numbers/
I’d appreciate if anyone could tell me if the ideas have been published before, and please note it’s a rough draft, so references in particular need to be tightened up, and the formatting is a little icky.
10 January, 2011 at 8:01 am
Hugh
Sorry, the attempt twin prime proof is here:
http://barkerhugh.blogspot.com/2011/01/twin-primes-and-polignac-conjecture.html
24 February, 2011 at 10:57 pm
mobiusfunction
Two recurrences:
T(1,1)=1, n>1: T(n,1)=0, k>1: T(n,k) = (0 + (sum from i = 1 to k-1 of T(n-i,k-1))) mod 2.
T(1,1)=1, n>1: T(n,1)=0, k>1: T(n,k) = (1 + (sum from i = 1 to k-1 of T(n-i,k-0))) mod 2.
http://mobiusfunction.wordpress.com/2011/02/25/mahonian-numbers-modulo-2/
Mahonian numbers mod 2
21 March, 2011 at 8:02 am
petequinn
Hopefully this is not seen as using up unnecessary bandwidth.
Acknowledging again this is just a bit of a hobby project, for fun. We’ve been playing with this a little further, and can offer a couple of observations perhaps a little more concisely.
Within any primorial, there is a symmetric pattern of “non-primes” that repeats for all repetitions of that primorial to infinity. These numeric positions can never be prime, as they all represent multiples of primes (namely the factors of that primorial). There is also an asymmetric, non-repetitive component of non-primes within each primorial. This asymmetric component represents all additional “non-primes” that need to be deleted to leave behind only primes.
The repetitive pattern, whose symmetry turns out to be fairly easy (I think) to prove, involves only the primes that are factors of the primorial. The asymmetric, non-repetitive, component involves (prime) multiples of all primes higher than the prime factors but less than the square root of the primorial.
Each of the higher primes not involved in the symmetric pattern within a primorial has a repetitive, symmetric pattern that eventually emerges as the numbers get high enough. But this does not emerge until you reach the first primorial involving that prime as a factor.
Of interest (if perhaps only to me), is there are “long” sequences of non-primes leading up to and following every primorial, and every multiple of every primorial. If the nth primorial is Pn#, then (Pn# – 1) and (Pn# + 1) could be prime (common knowledge), but every other number between (xPn# – P(n+1)+1) and (xPn# + P(n+1)-1) must not be prime, where x is some arbitrary integer (also, I think, fairly simple to prove). So if for some reason you need an arbitrarily long string of sequential non-primes, simply go to the primorial corresponding to the closest higher prime (or any multiple thereof).
15 April, 2011 at 3:09 am
Mats Granvik
The prime zeta function (Wikipedia) is defined as:

It is known that:

We may consider:

.
where zero is not included in the multiplication and
Doctormatt rewrote
as:

Can it be proven that:

23 July, 2011 at 8:07 pm
spaghetti monster
Ian Robinson: You said…..
“The image of the physical makeup of the Whirlpool Galaxy looks identical to my drawing, I have deliberately withheld an important piece of the jigsaw until a later date.
The truth is I require someone with a bit of mathematical clout to give these findings the validity and respect they deserve, no one else is aware of my findings.”
—————————————-
You might find the link below more helpful than Terry Tao’s blog.
http://math.ucr.edu/home/baez/crackpot.html
20 September, 2011 at 3:53 pm
petequinn
In case anyone is interested, I extended the previous bit of numerical experimentation to twin primes, and found (perhaps unsurprisingly) some similar patterns. Some details here:
http://wp.me/p1h3oO-O
Was just playing around a bit to try to understand the bounds of the twin prime conjecture problem. No breakthroughs to share (surprise!) but I find the patterns and trends to be interesting, and help me, as a visual thinker, to put the challenge in perspective.
31 October, 2011 at 8:05 am
petequinn
CRACKPOT ALERT :-)
More on primes and twin primes from a complete amateur. Looking for help answering a question…
What I’ve tried to describe in previous posts are some patterns that develop within primorials. For the n-th primorial, Pn#, the distribution of primes can obviously be fully developed by repetition of all primes less that sqrt(Pn#). The removal (or sieving) of all non-primes can be divided into two broad components: (1) a symmetric pattern of non-primes removed through repetition of all primes from 2 to Pn (symmetric since these all divide evenly into Pn#), and (2) a non-symmetric distribution of non-primes generated by all other primes from P(n+1) to the highest prime < sqrt(Pn#).
Numerical experimentation shows that the symmetric component of non-primes projects outward, presumably to infinity, for every subsequent repetition of Pn#, so that primes can never fall on those positions, and primes appear, at "random" (clearly not random, but apparently random) intervals at the other positions that were not "non-primes" within Pn# screened by the primes to Pn.
Interestingly, if only to me, is that the number of "possible primes" (i.e. not "non-primes" screened by the primes to Pn), which I will call Nn, within any given primorial, Pn# ( obviously defined as the product of all primes to Pn), is related to the primorial as follows: Nn = (product for all i=1 to n) [Pn – 1]
(sorry I don't have LaTEX)
In my last post I linked to some notes describing results of numerical experimentation that show that similar patterns develop for twin primes. Within any given primorial, all possible twin primes can be sieved via symmetric removal due to primes to Pn, and then non-symmetric removal by higher primes to sqrt(Pn#). The symmetric pattern of "non-twins" removed by, and lingering "possible twins" left alone by, the sieving of primes to Pn, then repeats to infinity for all repetitions of Pn#, so that higher twins will always only occur at these "possible twin" locations.
Even more interesting (probably still only to me, haha) is that the number of "possible twins" within any given primorial is ALSO related to the primorial, similar to the way the "possible primes" are, but with the following form, where Tn is the number of "possible twins" within any given repetition of a primorial:
Tn = (product for all i=2 to n) [Pn – 2]
Alternatively, one can describe the number of "possible twins" removed when going from Pn# to P(n+1)# as:
T(n+1) = P(n+1)*Tn – 2 * (product for all i=2 to n) [P(n-1) – 2]
= P(n+1)*Tn – 2 * Tn
= (Pn – 2)*Tn
Using a couple of random examples to illustrate this observation:
consider P4 = 7, where P4# = 210.
The number of possible positions for primes within repetitions of 210 projecting out to infinity is 48, a result you can check for yourself fairly easily (work out Pi(mod 210) for as many primes as you like and you will find exactly 48 unique values). This is (7-1)*(5-1)*(3-1)*(2-1)
Similarly, the number of possible twin prime pairs within repetitions of 210 is T4=15, which is (7-2)*(5-2)*(3-2). You can readily see that T3 would be 3, or (5-2)*(3-2).
Note that T4 = 15 = (P4 – 2)*T3 = 5*3
I can't work out the math to prove these results, but they seem far to simple to be accidental, and to not continue to infinity. Can anyone suggest a way to demonstrate these results algebraicly, or otherwise?
Thanks for humouring me.
Pete
31 October, 2011 at 8:08 am
petequinn
dangit, no editing function… there are a few silly typos that should be obvious by context, like some n’s in products should be i’s
1 November, 2011 at 12:10 pm
petequinn
Goodness I left numerous irritating little typos in that post, sorry. To correct a few:
“Possible primes” within the nth primorial, Pn#, is:
Nn = (product for all i=1 to n) [Pi – 1]
“Possible twins” within the nth primorial is:
Tn = (product for all i=2 to n) [Pi – 2]
or
T(n+1) = [P(n+1) – 2]*Tn
For a few moments, let’s suspend disbelief and pretend these definitions for Nn and Tn are proven.
I now propose that the density of primes, within all natural numbers, is less than Nn/Pn#, and converges on Nn/Pn# as n approaches infinity. I will claim this without proof for the moment and maybe elaborate later. More disbelief to suspend, sorry. :-)
I also propose that the density of twin pairs, within all natural numbers, is less than Tn/Pn#, and converges on Tn/Pn# as n approaches infinity.
The ratio of the density of twin pairs to the density of primes, within all natural numbers, which is the same as the density of twin pairs within all primes, can be taken as (Tn/Pn#)/(Nn/Pn#) = Tn/Nn, n approaching infinity
Let’s now compare the density of twin pairs within the set of primes to the density of primes within the set of natural numbers, as:
[Tn/Nn]/[Nn/Pn#], as n approaches infinity.
I believe it is fairly straightforward to show that this ratio converges on about 1.320…, the twin prime constant.
This result tells us, I think, that the set of twin primes corresponding to the set of primes is 1.32 times larger than the set of primes corresponding to the set of natural numbers (with apologies, if this isn’t written correctly from a mathematical perspective). Since the set of primes is infinite, hence the set of twin primes is also infinite.
Does that make sense?
I’ve claimed a couple of things in here without proof – the first being the existence and definitions of Nn and Tn, which I’ve demonstrated (to myself anyway) through numerical experimentation but not proven mathematically. I would think that, given the simplicity of the relationships they should be easy to develop algebraically, but admit that they are beyond my ability. The second unproven claim is that the ratios converge to the values indicated as n approaches infinity. I think those claims are much easier to rationalize, and the fact that they lead to the twin prime constant would seem to suggest they must be correct.
Thoughts?
Thanks for reading. :-)
Pete
1 November, 2011 at 9:43 pm
petequinn
One more crackpot post, thanks for the indulgence Prof. Tao.
I’d appreciate if someone would comment, even if only to make fun of me. This is the internet after all. :-)
I know this is a famous problem and it’s bad form to hastily claim a proof (or “near-proof,” as in this case I think) of a famous problem, but since I am not a mathematician, I have no reputation to lose by exposing myself to ridicule for this, and I can easily slink back to the day job when someone pokes a big hole through this. :-)
Let me elaborate on two of the items I’ve claimed without proof in the previous post, and then also show why the ratio of twin pair/primes density to primes/natural numbers density is 1.32, or at least converges and is not less than 1. That will be in the next post to keep this one relatively short.
To find all prime numbers, we need to strip away all composite numbers. We can imagine doing this by progressively removing, or sieving, all prime multiples, working our way from the lowest prime through to infinity.
Let’s start with by removing all multiples of 2, the even numbers, from the set of natural numbers. This strips out half of all natural numbers as prime candidates, leaving only the odd numbers as possible primes. Then remove all multiples of 3, 5, 7 and so on through to Pn, the nth prime, with n approaching infinity.
Consider the second primorial, P2# = 6, after first removing the even numbers, so we have 1, 3 and 5 as prime candidates, and 2, 4 and 6 as confirmed “non-primes” between 1 and 6. Note that this pattern, which is symmetric within 6, repeats ad infinitum, or in other words, after sieving the even numbers, all remaining numbers (mod 6) are either 1, 3 or 5.
Now remove all multiples of 3 from the remaining set of “possible primes.” This removes one possible prime candidate between 1 and 6, leaving 1 and 5 as possible primes. Note again this leaves a symmetric pattern, which, since we have now only removed multiples of 2 and 3, repeats ad infinitum, removing 2/3 of all natural numbers as non-primes and leaving 1/3 for further consideration as possible primes. After having sieved the 2s and 3s, the remaining “possible prime” candidates (mod 6) are all either 1 or 5.
We can continue in the same fashion to remove all remaining multiples of 5, 7, 11, 13, …. to Pn. Each time we do this, we will be left with a set of non-primes and “possible primes” that is symmetric within the respective primorial, and which repeats ad infinitum. The density of “possible primes” within the set of natural numbers, after sieving all primes to some arbitrary Pn, is equal to the number of “possible primes” within the respective primorial divided by the value of the primorial.
The complete set of prime numbers is revealed when we have sieved all possible composite numbers by repeating to infinity each prime, and striking out all these repetitions as non-prime. Therefore, if we continue this process as described, ad infinitum, to remove all multiples of all primes to Pn, where n approaches infinity, then we will be left with only primes. Hence, if we call Nn the number of “possible primes” within Pn#, then Nn/Pn# converges on the density of primes within the set of natural numbers as n approaches infinity, since as n approaches infinity, Nn becomes the set of primes and Pn# becomes the set of natural numbers.
Now let’s examine how many natural numbers are removed as candidates for any given prime, Pn. Choose an arbitrary prime, Pn, and consider the number of multiples of Pn within Pn#. This is clearly P(n-1)#. If no multiples of primes smaller than Pn had yet been removed, then repetitions of Pn to infinity would eliminate Pn prime candidates out of every Pn# natural numbers. However, assuming Pn > 2, and following our sieving process sequentially with monotonically increasing n, by the time we are set to remove remaining candidates that are multiples of Pn, there are a number of multiples that have already been removed, namely all those that are multiples of lower primes < Pn. If you conduct a simple accounting exercise, starting with the smallest prime numbers and working up through a few, you should be able to convince yourself that of the P(n-1)# possible multiples of Pn within Pn#, [P(n-1)# – N(n-1)] have already been eliminated by the multiples of Pn with lower primes, where N(n-1) means the number of possible primes left within the lower primorial, P(n-1)#, after sieving of all primes up to P(n-1), and Nn is equal to, as claimed before:
Nn = (product for all i=1 to n) [Pi – 1] —– eqn [1]
To demonstrate… removal of all even numbers eliminates half of all numbers between 1 and 2 (= P1#), and by extension removes half of all numbers within every multiple of P1# to infinity, or half of all natural numbers.
Removal of all remaining multiples of P2 = 3 between 1 and 6 (= P2#) eliminates the number 3 as a possible prime within subsequent repetitions of P2#. Note that 6 was already removed, since it is a multiple of 2. So there were 2 (= P1#) multiples of 3 within P2#, but 1 (i.e. {P1# – N1}, or {P1# – eqn [1] for n-1, where n = 2} had already been removed by multiples of 3 by 2, leaving only 1 possible prime candidate to be removed at this sieving pass, to leave 2 remaining “possible prime” candidates (1 and 5) within P2#, or 2/6 = 1/3 “possible primes” within the set of all natural numbers after repeating this pattern an infinite number of times. Hence all primes (mod 6) greater than P2 must equal 1 or 5, a well known result.
Now if we remove the remaining multiples of P3 = 5 between 1 and 30, we find that of the 6 (i.e. P2#) possible multiples of 5, 4 had already been removed, leaving only 2 (i.e. {P2# – eqn [1] for n-1 where n = 3}), namely 5 and 25, to be screened by repetitions of 5. Thus of the 10 possible primes within 30 existing after sieving by 2 and 3, two more candidates (5 and 25) have been removed, and all primes (mod 30) greater than P3 must equal 1, 7, 11, 13, 17, 19, 23 or 29 (i.e. exactly 8 possibilities).
Repeating the same logic now for multiples of P4 = 7 up to 210, of the 30 (= P3#) multiples of 7 to be removed, 22 ({P3# – product for i = 1 to 3 of [Pi – 1]}) were already screened by multiples of 7 with 2, 3 or 5, leaving 8 other multiples of 7 to be eliminated at this stage. Thus of 8 x 7 = 56 possible primes within 210 remaining after sieving by 2, 3 and 5, the further sieving by 7 removes 8 other possible prime candidates, leaving 48 “possible primes” within repetitions of 210, and therefore 48 unique values for all primes higher than 7 (mod 210), which I won’t list here.
Now let’s examine why Nn takes the form I’ve claimed, using P4 as a working example.
If we want to count the number of multiples of 7 with 2, 3 and 5, we should expect:
3 x 5 multiples of 2 x 7,
2 x 5 multiples of 3 x 7,
2 x 3 multiples of 5 x 7,
2 multiples of 3 x 5 x 7,
3 multiples of 2 x 5 x 7,
5 multiples of 2 x 3 x 7, and
1 multiple of 2 x 3 x 5 x 7
In order to identify unique multiples of 7 already removed by 2, 3 and 5, we obtain [(3 x 5) + (2 x 3) + (2 x 3)] – (2 + 3 + 5 + 1) = 22, which we can re-organize and re-write as {5 x 3 x 2 – [(5 – 1) x (3 – 1) x (2 – 1)]} = 22. Or, the number of unique multiples of 7 removed within multiples of 210 is 8 = (5 – 1) x (3 – 1). And hence the number of possible primes remaining within multiples of 210 is 8 (from P3#) x 7 – 8, or 48, or 8 x 6, or 8 x (P4 – 1), or (P4 – 1) x (P3 – 1) x (P2 – 1) x (P1 -1).
Hence, Nn = (product for all i=1 to n) [Pi – 1]
Phew. :-)
I think that is fairly straightforward, and I expect the logic to generate the product formula for Tn is very similar, but this came to me on today’s 9 mile run, and I think I need another good run or two to come around to figuring that one out. :-)
To wrap this post, I think I’ve defended the prior claimed definition of Nn, the number of “possible prime” candidates within the nth primorial (which by extension serves to define the density of “possible prime” candidates within the set of natural numbers after sieving by primes up to Pn). And, I think I’ve defended the claim that this density of “possible primes” within the nth primorial converges to the density of primes within the set of natural numbers as n approaches infinity.
OK, on to producing the twin prime constant, or something like it, in one more post…
1 November, 2011 at 10:32 pm
petequinn
So let’s start with the assumption that the claimed definitions of Nn and Tn are proven. I think I’ve proven the first, and can only say I believe the second from numerical experimentation, and will try to defend it, given more time and more miles. :-)
Let’s pick up from two posts back with the idea that the ratio of the density of twin pairs within the set of primes to the density of primes within the set of natural numbers can be expressed as:
D(t:p)/D(p:nat) = [Tn/Nn]/[Nn/Pn#] = Tn(Pn#)/(Nn)^2, with n approaching infinity
Where D(t:p) means the density of twin pairs within the set of primes, and D(p:nat) = density of primes within the set of natural numbers.
This can be re-written as:
D(t:p)/D(p:nat) = product for i = 1 to infinity {Pi x P(i – 2)/[P(i-1)]^2} ——- eqn [2]
Where we include P0 = 1 to allow us to simplify the examination of the products with no change to the result.
This can be written as:
D(t:p)/D(p:nat) = limit as n approaches infinity {Pn x P(n – 2)/[P(n-1)]^2} x … x {13 x 11/12^2} x … x {3 x 1/2^2} x {2 x 1/1^2}
Numerical experimentation shows this series converges quite nicely to 1.320… as claimed. I won’t attempt to work out the arithmetic, but by inspection, as n increases, the nth term steadily converges on 1, being always < 1, and with n = 1, 2, 3 and 4 we get 2, 1.5, 1.406…, and 1.367…
Without knowing the actual value of this infinite product, we can obtain a lower bound by examining:
Product for i = 1 to infinity {i x (i – 2)/(i – 1)^2}
which converges on 1.
This latter product includes all the terms in eqn [2], but also includes additional terms less than 1 for values of i that are not prime. Hence it decreases more quickly than eqn [2], and is always lower than eqn [2], after the first two terms, when the same number of terms has been included in both products. Therefore in the limit, eqn [2] converges on a positive number that is less than 1.367… (by inspection) and not less than 1.
So, if we believe the definition of Tn as claimed, I think we have shown that the set of twin prime pairs is infinite, since its density within the infinite set of primes is at least equal to the density of primes within the infinite set of natural numbers.
Of course the definition of Tn is not yet proven. A few more miles to be run first… :-)
Questions, comments, rotten tomatoes welcome.
Hopefully no fatal typos in this post, fingers crossed…
2 November, 2011 at 11:34 am
petequinn
And of course there were some critical typos. Corrections:
D(t:p)/D(p:nat) = product for i = 1 to infinity {Pi x (Pi – 2)/[(Pi-1)]^2} ——- eqn [2]
Where we include (P1 – 1) = 1 (instead of 0)…
——
I think that’s the worst of it.
3 November, 2011 at 7:34 am
petequinn
Goodness even the corrections need corrections:
Where we include (P1 – 2) = 1…
The idea there is simply to keep 1 as a placeholder (instead of (2 – 2 = 0) for when we group the individual product terms. It’s not a necessary element, just a convenience to make the elaboration of the infinite product easier to manage and look at.
I see there are still some other minor typos in the preceding posts: a (2 x 3) instead of (2 x 5), and at least one Pn instead of the correct P(n-1)#. Sorry for those.
I think I’ve just about got the correct explanation for Tn, will try to elaborate after the end of the work day. Meanwhile, I should probably explain one thing I’ve glossed over that may have some readers stuck or rejecting my logic.
In the preceding posts I’ve made no specific mention of “actual primes,” but have rather focussed on a discussion of confirmed “non-primes” (as ruled out in any given sieving by a given Pn) and “possible primes” that remain after each sieving step. I’ve suggested that these values can be extrapolated to infinity to obtain the ultimate densities of primes and twin primes.
But what about the pesky ACTUAL primes that develop as we go, namely 2, 3, 5, …. Pn? These actual primes occupy positions I have called “non-primes.” Is this a fatal flaw in my logic? I’m fairly confident this has no bearing, and here is why…
If we take Nn and Tn to be the number of possible primes and possible twins within the nth primorial, where “possible” implies “still standing as candidates after sieving by primes to Pn,” then these values represent the numbers of possibilities within all primorials after the first one (accepting for the moment that Tn remains to be developed/defended).
Within the first primorial, we know that we have n ACTUAL primes, which are sitting on n “non-prime” positions. If we want to be precise, then, we should perhaps state that the number of “possible primes, “within the first Pn# only, is actually Nn + n, and thereafter remains Nn. We may also have some number, which must be less than n, of actual twin primes.
It is trivial to show to show that (Nn + n)/Pn#, the density of primes within the first primorial, converges to Nn/Pn# as n grows. It is also trivial to show that this addition of n “possible primes” within the first primorial has no bearing on the density of “possible primes” in the set of natural numbers after the nth sieving step, when we recall that the first primorial containing the extra n “possible primes” is only one of an infinite number, with the rest all containing exactly Nn “possible primes.”
Hence the density of “possible primes” within the set of natural numbers after n sieving steps remains Nn/Pn#, and the density of twin pairs Tn/Pn#.
Now if only we could prove the definition of Tn, we might have the problem licked. :-)
(or I could be completely wrong, and given the fact that I’ve never done anything elegant in math on my own, this latter outcome seems somehow more likely, yet this continues to be fun and intellectually stimulating to me, so thanks again for the continued indulgence)
3 November, 2011 at 8:30 am
Terence Tao
I think any further discussion of these matters should take place on your own web site, where you have the ability to edit your own posts.
3 November, 2011 at 8:32 am
petequinn
OK fair enough, thanks for letting it go on this far.
All the best!
6 November, 2011 at 12:28 am
petequinn
One final post to let anyone who may have been following this know the story continues to develop here:
http://petequinnramblings.wordpress.com/2011/11/05/prime-triples/
Further numerical experimentation shows predictable numbers of candidate k-tuples, other than primes and twin primes, within the primorials.
Thanks again Prof. Tao, I won’t post here on this topic again, I promise.
Cheers,
Pete
11 February, 2012 at 5:27 am
jose javier garcia
the Riemann Xi function can be written as $ \xi(s)=Cdet(H+s(s-1)+1/4) $
Here ‘H’ is a Hamiltonian operator whose potential is $ V^{-1}(x) = A \sqrt D n(x) $ where N(x) is the eigenvalue staircase :)
13 February, 2012 at 12:40 pm
jose javier garcia
my operator is correct but none put attention because i am no famous :( , you can check the energies and see that they agree with the square of the riemann zeros :D
16 July, 2014 at 3:14 am
0_Lesh_a
To exhaust all combinations
The question is a mirror image of the entire sequence of numbers or through an extension of the product operator. Or the first and the second time. And most importantly, how it can help to understand the nature of prime numbers, I do not know
16 July, 2014 at 7:22 pm
Anonymous
@0_Lesh_a: Will you please stop your comments? They are obviously gibberish.
17 July, 2014 at 4:58 am
0_Lesh_a
It’s just your opinion
11 June, 2019 at 6:21 am
Otro valiente más (o una nueva "demostración" de la hipótesis de Riemann) - La Ciencia de la Mula Francis
[…] Fields en el ICM de Madrid de 2006, uno de los matemáticos más geniales vivos en la actualidad) afirma en su blog que ha encontrado ciertos “problemas” con una descomposición presentada en la página […]