Gillies' Conjecture
   HOME

TheInfoList



OR:

In
number theory Number theory is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic functions. Number theorists study prime numbers as well as the properties of mathematical objects constructed from integers (for example ...
, Gillies' conjecture is a
conjecture In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis or Fermat's conjecture (now a theorem, proven in 1995 by Andrew Wiles), ha ...
about the distribution of prime divisors of Mersenne numbers and was made by Donald B. Gillies in a 1964 paper in which he also announced the discovery of three new
Mersenne prime In mathematics, a Mersenne prime is a prime number that is one less than a power of two. That is, it is a prime number of the form for some integer . They are named after Marin Mersenne, a French Minim friar, who studied them in the early 1 ...
s. The conjecture is a specialization of the
prime number theorem In mathematics, the prime number theorem (PNT) describes the asymptotic analysis, asymptotic distribution of the prime numbers among the positive integers. It formalizes the intuitive idea that primes become less common as they become larger by p ...
and is a refinement of conjectures due to I. J. Good and
Daniel Shanks Daniel Charles Shanks (January 17, 1917 – September 6, 1996) was an American mathematician who worked primarily in numerical analysis and number theory. He was the first person to compute π to 100,000 decimal places. Life and education Shan ...
. The conjecture remains an open problem: several papers give empirical support, but it disagrees with the widely accepted (but also open) Lenstra–Pomerance–Wagstaff conjecture.


The conjecture

:\textA < B < \sqrt\textB/A\textM_p \rightarrow \infty\textM :\text
, B The comma is a punctuation mark that appears in several variants in different languages. Some typefaces render it as a small line, slightly curved or straight, but inclined from the vertical; others give it the appearance of a miniature fille ...
text :: \text\sim \begin \log(\log B /\log A) & \textA \ge 2p\\ \log(\log B/\log 2p) & \text A < 2p \end He noted that his conjecture would imply that # The number of Mersenne primes less than x is ~\frac \log\log x. # The expected number of Mersenne primes M_p with x \le p \le 2x is \sim2. # The probability that M_p is prime is ~\frac.


Incompatibility with Lenstra–Pomerance–Wagstaff conjecture

The Lenstra–Pomerance–Wagstaff conjecture gives different values:Chris Caldwell
Heuristics: Deriving the Wagstaff Mersenne Conjecture
Retrieved on 2017-07-26.
# The number of Mersenne primes less than x is ~\frac \log\log x. # The expected number of Mersenne primes M_p with x \le p \le 2x is \sim e^\gamma. # The probability that M_p is prime is ~\frac with ''a'' = 2 if ''p'' = 3 mod 4 and 6 otherwise. Asymptotically these values are about 11% smaller.


Results

While Gillie's conjecture remains open, several papers have added empirical support to its validity, including Ehrman's 1964 paper.


References

{{DEFAULTSORT:Gillies Conjecture Conjectures Unsolved problems in number theory Hypotheses Mersenne primes