Grander than the Riemann Hypothesis

tgt

518
2
...But it may not exist yet.

Has any mathematician thought about producing a formula or function which spits out all the prime numbers? i.e 1->2, 2->3, 3->3, 4->5, 5->7, 6->11 etc.

Any attempts been made?

What the closest that people have thought?
 
You mean a closed-form solution, I assume? As in, piecewise with a finite number of piecewise parts?

I think it's safe to assume that nothing of the sort yet exists... if it did, I believe it would answer the Riemann hypothesis. No?

I also believe I read something somewhere about a closed-form polynomial never being able to generate "only" prime numbers.

See:

http://mathworld.wolfram.com/Prime-GeneratingPolynomial.html
 

CRGreathouse

Science Advisor
Homework Helper
2,771
0
Has any mathematician thought about producing a formula or function which spits out all the prime numbers? i.e 1->2, 2->3, 3->3, 4->5, 5->7, 6->11 etc.
Yes. There are many of these. Ribenboim (2004) lists many examples on pp. 131 to 155, as does Guy in UPNT A17 (pp. 58-65 in the third edition). See also Prime Formulas on MathWorld.

Hardy & Wright mention this in Chapter 1 (p. 6 in the latest printing) and give several examples.

You mean a closed-form solution, I assume? As in, piecewise with a finite number of piecewise parts?
Willans, Wormell, Mináč, and Gandhi all give examples of closed-form solutions.

I think it's safe to assume that nothing of the sort yet exists... if it did, I believe it would answer the Riemann hypothesis. No?
It would not solve the Riemann hypothesis.

I also believe I read something somewhere about a closed-form polynomial never being able to generate "only" prime numbers.

See:

http://mathworld.wolfram.com/Prime-GeneratingPolynomial.html
A one or two-variable polynomial can't produce all the primes (and only primes). But a 26-variable one can; Jones, Sato, Wada and Wiens gives an explicit example after Matijasevič showed it was possible.
 
Last edited:
145
0
I found this one really cool:
http://mathworld.wolfram.com/PrimeDiophantineEquations.html
How on earth do you find such a formula :p
I guess it is not a coincident that the number of variables in this diophantine equation is the same as the number of variables in the polynomial that CRGreatHouse refered to.
 

CRGreathouse

Science Advisor
Homework Helper
2,771
0
I guess it is not a coincident that the number of variables in this diophantine equation is the same as the number of variables in the polynomial that CRGreatHouse refered to.
Yes, that was the result I was referring to. Matijasevič showed that is was possible by showing that recursively enumerable sets are precisely Diophantine sets, and Jones, Sato, Wada and Wiens made the polynomial you mention.
 
Last edited:
103
0
It would not solve the Riemann hypothesis.
It could solve it couldn't it? If we have such a bijection [tex]f : \mathbb{N} \to \mathbb{P}[/tex] wouldn't [tex]f^{-1}(p)=\pi(p)[/tex]?
 

CRGreathouse

Science Advisor
Homework Helper
2,771
0
It could solve it couldn't it? If we have such a bijection [tex]f : \mathbb{N} \to \mathbb{P}[/tex] wouldn't [tex]f^{-1}(p)=\pi(p)[/tex]?
How would that help?
 
103
0
If you had a closed form for [tex]f^{-1}(p)[/tex] it might be easier extract the necessary information to show that [tex]f^{-1}(x) = Li(x) + \mathcal{O}(\sqrt{x}\log(x))[/tex], of course it is only speculation as it would depend entirely of the form of [tex]f(n)[/tex].
 

CRGreathouse

Science Advisor
Homework Helper
2,771
0
OK, so let
[tex]F(j)=\left\lfloor{\cos^2\pi\frac{(j-1)!+1}{j}\right\rfloor.[/tex]

Then
[tex]\pi(x)=\sum_{j=2}^xF(j).[/tex]

Alternately, let
[tex]F(j)=\frac{\sin^2\pi\frac{(j-1)!^2}{j}}{\sin^2\frac\pi j}[/tex]

Now you have two closed-form formulas for the prime-counting function. Does this help you prove the RH?
 
103
0
Well, no ( :þ ), because I can't show that [tex]\sum_{j=2}^x F(j) - Li(x)[/tex] is [tex]\mathcal{O}(\sqrt{x} \log x)[/tex].

What I was trying to say that if we have a "nice" form of that function it might be easier to show that it is. I'm not saying it would solve RH automatically, I'm only saying it might do it, depending of the form.
 

The Physics Forums Way

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top