Prime-factor statistics of p−1p-1

The prime factors of p − 1, for a random prime p, are claimed to split like a randomly broken stick.

3 papers September 17, 2026 Explained by AI

Pick a prime p at random and factor p − 1. Measure each prime factor by its share of the logarithm of p − 1. The second paper claims these shares follow the Poisson–Dirichlet law, the pattern of a stick broken at random points, as Ford, Konyagin and Luca conjectured. The first paper claims to prove Erdős's conjecture that some n are values of Euler's totient in nearly n ways. A third paper adds a parity result.

First step
1956
P. Erdős, who conjectured that some values of Euler's totient function are taken nearly n times
Significance
Major
It claims two named conjectures on shifted primes, one of Erdős and one of Ford, Konyagin and Luca.
Trust
Claimed, not checked
Field
Number theory
3 papers
Best proven exponent c with totient fibers larger than n^c infinitely often
Year Who Value
1998 Baker and Harman 0.7039
2022 Lichtman 0.7156
2026 This paper 1

Higher is better. 1 is the largest possible exponent.

The explanation

Take the prime 31. Then 31 − 1 = 30, which factors as 5 × 3 × 2. Measure each prime factor by its logarithm, divided by the logarithm of 30. The three shares come out near 0.473, 0.323 and 0.204. They add up to exactly 1, because the logarithms of the factors add up to the logarithm of 30. So the prime factors of p − 1 split a unit length into pieces.

For ordinary whole numbers chosen at random, the shape of this split has long been known. Dickman described the largest piece in 1930, and Billingsley found the joint law of the large pieces in 1972. The answer is the Poisson–Dirichlet law (the paper calls it PD(1)). Here is a picture of it. Break a stick of length 1 at a uniformly random point and set one part aside. Break the rest the same way, again and again. Then sort the pieces from largest to smallest.

Primes are harder. Asking that a large number divides p − 1 puts p in a fixed pattern of remainders. Standard tools count primes in such patterns only when the number is below a fixed power of x. But the full split involves products of factors right up to x. Ford, Konyagin and Luca conjectured in 2010 that p − 1 still follows PD(1). Before this, Bharadwaj and Rodgers had shown it only under an unproved hypothesis about primes in patterns.

The second paper claims that conjecture in full. For a prime p chosen evenly up to x, the sorted shares converge to PD(1) as x grows. That covers the largest share, the first two together, and any fixed number of them. One consequence concerns smooth predecessors, where every prime factor of p − 1 is small. It confirms Granville’s predicted share of primes p up to x with every prime factor of p − 1 at most x^(1/u).

The first paper comes first in the chain of proofs. Fix any δ between 0 and 1/4. The paper claims at least x^(1 − o(1)) primes between 2x and 5x whose p − 1 has no prime factor above x^δ. Here x^(1 − o(1)) means nearly x, up to a factor that grows slower than any power. Earlier work reached only smoothness thresholds near x^0.2961 and x^0.2844.

That input bears on Euler’s totient φ(m). It counts the numbers from 1 to m sharing no factor with m. Several m can give the same value. For example, φ(m) = 24 for exactly ten values of m. They are 35, 39, 45, 52, 56, 70, 72, 78, 84 and 90. Fix any ε > 0. The paper claims infinitely many n are hit by more than n^(1−ε) values of m. If correct, this settles a conjecture of Erdős, recorded by Pomerance in 1980. The exponent is the best possible, since the count can never exceed about n. Earlier proven exponents were 0.7039 and then 0.7156.

A third paper claims infinitely many primes p of a special kind. For them, p − 1 has no repeated prime factor and an even number of prime factors. Parity is a classic blind spot of sieve methods (ways of counting by removing multiples of small primes). It builds on the first paper’s tools.

The main new step in the second paper is a counting estimate for products of two parts. The difficulty is that one side must carry marks recording chosen small prime factors of p − 1. The paper claims this works while the other side is only roughly controlled. The result is a limit law: it does not give how fast the limit is reached. It also does not prove the extra independence assumptions behind Ford, Konyagin and Luca’s prime-chain model.

How sure is this? No Lean formalization is listed for these papers in the openai/math release. So no computer proof checker has checked them. The three papers depend on each other. No specialist review has been published.

What it doesn't show. This does not give rates of convergence, and it does not prove the independence assumptions used in models of prime chains.

Where it came from

This result comes from an unreleased OpenAI model, published in the openai/math release on 6 October 2026.

Hype check

Major only if the chain of three linked papers holds. No Lean formalization is listed and no specialist review is published. The main law gives a limit without a rate.

Words used

Predecessor
For a prime p, the number p − 1 just before it.
Poisson–Dirichlet law
The random way a stick of length 1 splits when you break it at random points again and again, with pieces sorted by size.
Smooth number
A number whose prime factors are all below a chosen limit.
Euler’s totient
φ(m), the count of numbers from 1 to m that share no factor with m.
Totient fiber
All the numbers m that give the same totient value n.
Sieve method
A way of counting numbers with a property by removing multiples of small primes step by step.

The original papers (3)

All quoted lines (17)

  1. Billingsley proved the joint limiting law of the ordered large prime divisors.
    The Poisson-Dirichlet law for prime predecessors Back to text
  2. Standard distribution estimates give useful information for products below a fixed power of xx, whereas the full factor partition involves products throughout the range below xx.
    The Poisson-Dirichlet law for prime predecessors Back to text
  3. Theorem … resolves positively the conjecture of Ford, Konyagin and Luca.
    The Poisson-Dirichlet law for prime predecessors Back to text
  4. For shifted primes this gives the full law under the Elliott–Halberstam conjecture, as anticipated in.
    The Poisson-Dirichlet law for prime predecessors Back to text
  5. The limit holds through all real xx and uses ordinary equal weighting of the primes.
    The Poisson-Dirichlet law for prime predecessors Back to text
  6. Theorem … resolves this fixed-uu conjecture positively and proves the complete joint limiting law.
    The Poisson-Dirichlet law for prime predecessors Back to text
  7. For every fixed 0<δ<1/40<\delta<1/4, as x→∞x\to\infty, #{p: p prime, 2x<p≤5x, P+(p−1)≤xδ}≥x1−o(1).\#\{p:\ p\text{ prime},\ 2x<p\le5x, \ P^+(p-1)\le x^\delta\} \ge x^{1-o(1)}.
    Weighted dilation graphs, smooth shifted primes and totient fibers Back to text
  8. Baker and Harman and Lichtman obtained lower bounds of the form x/(log⁡x)Cx/(\log x)^C for primes with smooth predecessors, at thresholds x0.2961x^{0.2961} for p≤xp\le x and x0.2844x^{0.2844} for x<p≤2xx<p\le2x, respectively.
    The Poisson-Dirichlet law for prime predecessors Back to text
  9. For every real ε>0\eps>0, there are infinitely many positive integers nn such that g(n)>n1−ε.g(n)>n^{1-\eps}.
    Weighted dilation graphs, smooth shifted primes and totient fibers Back to text
  10. An elementary upper bound is g(n)≪ηn1+ηg(n)\ll_\eta n^{1+\eta} for every η>0\eta>0; we recall it in …. Thus the power exponent of nn in the theorem is optimal.
    Weighted dilation graphs, smooth shifted primes and totient fibers Back to text
  11. Baker and Harman obtained exponent 0.29610.2961 for shifted primes, with the corresponding totient multiplicity exponent 0.70390.7039.
    Weighted dilation graphs, smooth shifted primes and totient fibers Back to text
  12. Lichtman proved a lower bound x/(log⁡x)Cx/(\log x)^C for x<p≤2xx<p\le2x and P+(p−1)≤xβP^+(p-1)\le x^\beta whenever β>1532e=0.284311…,\beta>\frac{15}{32\sqrt e}=0.284311\ldots, and obtained multiplicity exponent 0.71560.7156.
    Weighted dilation graphs, smooth shifted primes and totient fibers Back to text
  13. There are infinitely many primes pp such that p−1p-1 is squarefree and Ω(p−1)\Omega(p-1) is even.
    Prime Predecessors with an Even Number of Prime Factors Back to text
  14. Prime-factor parity is a classical obstruction in sieve theory: congruence information alone need not distinguish the two Liouville signs.
    Prime Predecessors with an Even Number of Prime Factors Back to text
  15. Our structural inputs are the dilation-graph transference, ideal-kernel, weighted-sieve, and proxy estimates of the companion paper Weighted dilation graphs, smooth shifted primes and totient fibers, hereafter S. Their hypotheses and the conclusions needed here are stated where they enter the proof.
    Prime Predecessors with an Even Number of Prime Factors Back to text
  16. The main new estimate is Theorem …: a marked Type II estimate in which only the predecessor side carries divisor marks, namely weights recording selected small prime divisors.
    The Poisson-Dirichlet law for prime predecessors Back to text
  17. Theorem … supplies the factorization law at the root of their probabilistic model; the recursive independence assumptions used for later generations are additional hypotheses.
    The Poisson-Dirichlet law for prime predecessors Back to text

Other sources

  1. K. Ford, S. V. Konyagin and F. Luca, “Prime chains and Pratt trees”, Geometric and Functional Analysis 20 (2010), 1231–1258
  2. R. C. Baker and G. Harman, “Shifted primes without large prime factors”, Acta Arithmetica 83 (1998), 331–361
  3. J. D. Lichtman, “Primes in arithmetic progressions to large moduli, and shifted primes without large prime factors”, arXiv:2211.09641 (2022)
  4. C. Pomerance, “Popular values of Euler's function”, Mathematika 27 (1980), 84–89
  5. P. Erdős, “On pseudoprimes and Carmichael numbers”, Publicationes Mathematicae Debrecen 4 (1956), 201–206
  6. P. Billingsley, “On the distribution of large prime divisors”, Periodica Mathematica Hungarica 2 (1972), 283–289
  7. openai/math release notes (2026): model provenance and review status manuscripts and supporting proof artifacts produced by an internal OpenAI model

Browse Number theory Prime numbersOpen since the 1950sClaimed, not yet checked