Skewes's number

From Vero - Wikipedia
Jump to navigation Jump to search

Template:Unsolved

Template:Short description In number theory, Skewes's number is the smallest natural number <math>x</math> for which the prime-counting function <math>\pi(x)</math> exceeds the logarithmic integral function <math>\operatorname{li}(x).</math> It is named for the South African mathematician Stanley Skewes who first computed an upper bound on its value.

The exact value of Skewes's number is still not known, but it is known that there is a crossing between <math>\pi(x) < \operatorname{li}(x)</math> and <math>\pi(x) > \operatorname{li}(x)</math> near <math>e^{727.95133} < 1.397 \times 10^{316}.</math> It is not known whether this is the smallest crossing.

The name is sometimes also applied to either of the large number bounds which Skewes found.

Skewes's bounds

Although nobody has ever found a value of <math>x</math> for which <math>\pi(x) > \operatorname{li}(x),</math> Skewes's research supervisor J.E. Littlewood had proved in Template:Harvtxt that there is such a number (and so, a first such number); and indeed found that the sign of the difference <math>\pi(x) - \operatorname{li}(x)</math> changes infinitely many times. Littlewood's proof did not, however, exhibit a concrete such number <math>x</math>, nor did it even give any bounds on the value.

Skewes's task was to make Littlewood's existence proof effective: exhibit some concrete upper bound for the first sign change. According to Georg Kreisel, this was not considered obvious even in principle at the time.<ref>Template:Harvtxt quotes A. E. Ingham (1932) and J. E. Littlewood (1948) as stating "that the proof was believed to be 'non-constructive', or to require 'new ideas' of proof to make it constructive."</ref>

Template:Harvtxt proved that, assuming that the Riemann hypothesis is true, there exists a number <math>x</math> violating <math>\pi(x) < \operatorname{li}(x),</math> below

<math>e^{e^{e^{79}}}<10^{10^{10^{34}}}.</math>

Without assuming the Riemann hypothesis, Template:Harvtxt later proved that there exists a value of <math>x</math> below

<math>e^{e^{e^{e^{7.705}}}}<10^{10^{10^{964}}}.</math>

More recent bounds

These upper bounds have since been reduced considerably by using large-scale computer calculations of zeros of the Riemann zeta function. The first estimate for the actual value of a crossover point was given by Template:Harvtxt, who showed that somewhere between <math>1.53\times 10^{1165}</math> and <math>1.65\times 10^{1165}</math> there are more than <math>10^{500}</math> consecutive integers <math>x</math> with <math>\pi(x) > \operatorname{li}(x)</math>. Without assuming the Riemann hypothesis, Template:Harvs proved an upper bound of <math>7\times 10^{370}</math>. A better estimate was <math>1.39822\times 10^{316}</math> discovered by Template:Harvtxt, who showed there are at least <math>10^{153}</math> consecutive integers somewhere near this value where <math>\pi(x) > \operatorname{li}(x)</math>. Bays and Hudson found a few much smaller values of <math>x</math> where <math>\pi(x)</math> gets close to <math>\operatorname{li}(x)</math>; the possibility that there are crossover points near these values does not seem to have been definitely ruled out yet, though computer calculations suggest they are unlikely to exist. Template:Harvtxt gave a small improvement and correction to the result of Bays and Hudson. Template:Harvtxt found a smaller interval for a crossing, which was slightly improved by Template:Harvtxt. The same source shows that there exists a number <math>x</math> violating <math>\pi(x) < \operatorname{li}(x),</math> below <math>e^{727.9513468}< 1.39718 \times 10^{316}</math>. This can be reduced to <math>e^{727.9513386}< 1.39717 \times 10^{316}</math> assuming the Riemann hypothesis. Template:Harvtxt conducted an analysis with up to 2Template:E complex zeros which gives computational evidence that a crossover may exist near <math>1.397162914 \times 10^{316}</math>.

Interval of crossing
Year # of complex
zeros used		 by Interval # of consecutive integers with <math>\pi(x) > \operatorname{li}(x)</math> given
2000 Template:10^ Bays and Hudson [1.39821924Template:E, 1.39821925Template:E] > 1Template:E
2010 Template:10^ Chao and Plymen [exp(727.951858), exp(727.952178)] 1Template:E
2010 2.2Template:E Saouter and Demichel [exp(727.95132478), exp(727.95134682)] (without RH)
[exp(727.95133239), exp(727.95133920)] (assuming RH)		 6.6587Template:E (without RH)
1.2741Template:E (assuming RH)
2010 2.2Template:E Zegowitz [exp(727.951324783), exp(727.951346802)] (without RH)
[exp(727.951332973), exp(727.951338612)] (assuming RH)		 6.695531258Template:E (without RH)
1.15527413Template:E (assuming RH)

Rigorously, Template:Harvtxt proved that there are no crossover points below <math>x = 10^8</math>, improved by Template:Harvtxt to <math>8\times 10^{10}</math>, by Template:Harvtxt to <math>10^{14}</math>, by Template:Harvtxt to <math>1.39\times 10^{17}</math>, and by Template:Harvtxt to <math>10^{19}</math>.

There is no explicit value <math>x</math> known for certain to have the property <math>\pi(x) > \operatorname{li}(x),</math> though computer calculations suggest some explicit numbers that are quite likely to satisfy this.

Even though the natural density of the positive integers for which <math>\pi(x) > \operatorname{li}(x)</math> does not exist, Template:Harvtxt showed that the logarithmic density of these positive integers does exist and is positive. Template:Harvtxt showed that this proportion is about Template:Val, which is surprisingly large given how far one has to go to find the first example.

Riemann's formula

Riemann gave an explicit formula for <math>\pi(x)</math>, whose leading terms are (ignoring some subtle convergence questions)

<math>\pi(x) = \operatorname{li}(x) - \tfrac{1}{2}\operatorname{li}(\sqrt{x\,}) - \sum_{\rho} \operatorname{li}(x^\rho) + \text{smaller terms} </math>

where the sum is over all <math>\rho</math> in the set of non-trivial zeros of the Riemann zeta function.

The largest error term in the approximation <math>\pi(x) \approx \operatorname{li}(x)</math> (if the Riemann hypothesis is true) is negative <math>\tfrac{1}{2}\operatorname{li}(\sqrt{x\,})</math>, showing that <math>\operatorname{li}(x)</math> is usually larger than <math>\pi(x)</math>. The other terms above are somewhat smaller, and moreover tend to have different, seemingly random complex arguments, so mostly cancel out. Occasionally however, several of the larger ones might happen to have roughly the same complex argument, in which case they will reinforce each other instead of cancelling and will overwhelm the term <math>\tfrac{1}{2}\operatorname{li}(\sqrt{x\,})</math>.

The reason why the Skewes number is so large is that these smaller terms are quite a lot smaller than the leading error term, mainly because the first complex zero of the zeta function has quite a large imaginary part, so a large number (several hundred) of them need to have roughly the same argument in order to overwhelm the dominant term. The chance of <math>N</math> random complex numbers having roughly the same argument is about 1 in <math>2^N</math>. This explains why <math>\pi(x)</math> is sometimes larger than <math>\operatorname{li}(x),</math> and also why it is rare for this to happen. It also shows why finding places where this happens depends on large scale calculations of millions of high precision zeros of the Riemann zeta function.

The argument above is not a proof, as it assumes the zeros of the Riemann zeta function are random, which is not true. Roughly speaking, Littlewood's proof consists of Dirichlet's approximation theorem to show that sometimes many terms have about the same argument. In the event that the Riemann hypothesis is false, the argument is much simpler, essentially because the terms <math>\operatorname{li}(x^{\rho})</math> for zeros violating the Riemann hypothesis (with real part greater than Template:Sfrac) are eventually larger than <math>\operatorname{li}(x^{1/2})</math>.

The reason for the term <math>\tfrac{1}{2}\mathrm{li}(x^{1/2})</math> is that, roughly speaking, <math>\mathrm{li}(x)</math> actually counts powers of primes, rather than the primes themselves, with <math>p^n</math> weighted by <math>\frac{1}{n}</math>. The term <math>\tfrac{1}{2}\mathrm{li}(x^{1/2})</math> is roughly analogous to a second-order correction accounting for squares of primes.

Equivalent for prime k-tuples

An equivalent definition of Skewes's number exists for prime k-tuples (Template:Harvtxt). Let <math>P = (p, p+i_1, p+i_2, ..., p+i_k)</math> denote a prime (k + 1)-tuple, <math>\pi_P(x)</math> the number of primes <math>p</math> below <math>x</math> such that <math>p, p+i_1, p+i_2, ..., p+i_k</math> are all prime, let <math>\operatorname{li_P}(x) = \int_2^x \frac{dt}{(\ln t)^{k+1}}</math> and let <math>C_P</math> denote its Hardy–Littlewood constant (see First Hardy–Littlewood conjecture). Then the first prime <math>p</math> that violates the Hardy–Littlewood inequality for the (k + 1)-tuple <math>P</math>, i.e., the first prime <math>p</math> such that

<math>\pi_P(p) > C_P \operatorname{li}_P(p), </math>

(if such a prime exists) is the Skewes number for <math>P.</math>

The table below shows the currently known Skewes numbers for prime k-tuples:

Prime k-tuple Skewes number Found by
(p, p + 2) 1369391 Template:Harvtxt
(p, p + 4) 5206837 Template:Harvtxt
(p, p + 2, p + 6) 87613571 Tóth (2019)
(p, p + 4, p + 6) 337867 Tóth (2019)
(p, p + 2, p + 6, p + 8) 1172531 Tóth (2019)
(p, p + 4, p +6 , p + 10) 827929093 Tóth (2019)
(p, p + 2, p + 6, p + 8, p + 12) 21432401 Tóth (2019)
(p, p +4 , p +6 , p + 10, p + 12) 216646267 Tóth (2019)
(p, p + 4, p + 6, p + 10, p + 12, p + 16) 251331775687 Tóth (2019)
(p, p+2, p+6, p+8, p+12, p+18, p+20) 7572964186421 Pfoertner (2020)
(p, p+2, p+8, p+12, p+14, p+18, p+20) 214159878489239 Pfoertner (2020)
(p, p+2, p+6, p+8, p+12, p+18, p+20, p+26) 1203255673037261 Pfoertner / Luhn (2021)
(p, p+2, p+6, p+12, p+14, p+20, p+24, p+26) 523250002674163757 Luhn / Pfoertner (2021)
(p, p+6, p+8, p+14, p+18, p+20, p+24, p+26) 750247439134737983 Pfoertner / Luhn (2021)

The Skewes number (if it exists) for sexy primes <math>(p, p+6)</math> is still unknown.

It is also unknown whether all admissible k-tuples have a corresponding Skewes number.

See also

References

Template:Reflist Template:Refbegin

Template:Refend

Template:Large numbers

Retrieved from "https://wiki.sarg.dev/index.php?title=Skewes%27s_number&oldid=168658"