Finding primes
From Polymath Wiki
This is the main blog page for the "Deterministic way to find primes" project, which will be started in within a few weeks.
The main aim of the project is as follows:
- Problem. Find a deterministic algorithm which, when given an integer k, is guaranteed to find a prime of at least k digits in length of time polynomial in k. You may assume as many standard conjectures in number theory (e.g. the generalised Riemann hypothesis) as necessary, but avoid powerful conjectures in complexity theory (e.g. P=BPP) if possible.
Here is the proposal for the project, which is also the de facto research thread for that project. Here is the discussion thread for the project.
Please add and develop this wiki; in order to maximise participation in the project when it launches, we will need as much expository material on this project as we can manage.
Partial results
- P=NP implies a deterministic algorithm to find primes
- An efficient algorithm exists if Cramer's conjecture holds
- Problem is true if strong pseudorandom number generators exist (explain!)
- k-digit primes can be found with high probability using O(k) random bits (explain!)
Easier versions of the problem
- Subexponential time rather than polynomial
- Equivalently, find primes with superlogarithmically many digits ([math]\displaystyle{ \gg \log k }[/math]) in poly(k) time
- Find k-digit primes using o(k) random bits
- Assume complexity conjectures such as P=BPP, P=BQP, etc.
- Function field version: can one find a degree k irreducible polynomial over a fixed finite field deterministically and quickly?
Variants of the problem
- Can one derandomise factoring of polynomials over finite fields? Note that if one could do this even in the quadratic case, this would allow for efficient location of quadratic non-residues, which is not known.
Relevant concepts
- Complexity classes
- Pseudo-random generators (PRG)
- Expander graphs
- Cramer's random model for the primes
- Prime gaps
Relevant conjectures
- P=NP
- P=BPP
- P=promise-BPP
- P=BQP
- existence of PRG
- existence of one-way functions
- whether DTIME(2^n) has subexponential circuits
- GRH
- the Hardy-Littlewood prime tuples conjecture
- the ABC conjecture
- Cramer’s conjecture
- discrete log in P
- factoring in P.
(These conjectures should have their own links at some point.)
Relevant results
- Brun-Titchmarsh inequality
- Erdos-Kac theorem
Relevant papers
- Adelman, Lenstra, "Finding irreducible polynomials over finite fields"
- R. C. Baker and G. Harman, “The difference between consecutive primes,” Proc. Lond. Math. Soc., series 3, 72 (1996) 261–280.
- P. Dusart, Autour de la fonction qui compte le nombre de nombres premiers
- O. Goldreich, A. Wigderson, Derandomization that is rarely wrong from short advice that is typically good
- R. Impagliazzo, A. Wigderson, P = BPP unless E has sub-exponential circuits. In Proceedings of the 29th ACM Symposium on Theory of Computing, pages 220–229, 1997.
- K. Soundararajan, The distribution of the primes (survey)
- L. Trevisan, Pseudorandomness and Combinatorial Constructions