HOME

TheInfoList



OR:

In
number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Math ...
, 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 (still a conjecture) or Fermat's Last Theorem (a conjecture until proven in 1 ...
about the distribution of prime divisors of
Mersenne numbers 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 ...
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 17 ...
s. The conjecture is a specialization of the prime number theorem and is a refinement of conjectures due to I. J. Good and Daniel Shanks. 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. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline o ...
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