![]() |
Please share if knowing about a reference to a previous study investigating [U]computationally[/U] the exact local [U]maxima[/U] and [U]minima[/U] of the Δ[I]π[/I] differences of prime number races.
I am aware about a few papers and several OEIS sequences concerned with Δ[I]π[/I] = -1, 0, and 1 differences only. |
[U]Lemma 1[/U]: The prime-count distance[I] π[/I]([I]x[/I][SUB]2[/SUB]) [I]- π[/I]([I]x[/I][SUB]1[/SUB]) between two primes [I]x[/I][SUB]1[/SUB] and [I]x[/I][SUB]2[/SUB], [I]x[/I][SUB]1[/SUB] < [I]x[/I][SUB]2[/SUB], for which Δ[I]π[/I]([I]x[/I][SUB]1[/SUB]) = Δ[I]π[/I]([I]x[/I][SUB]2[/SUB]) = 0 (two consecutive zeros without other zeros in between) in a binary prime number race of two prime types is an even number, [I]π[/I]([I]x[/I][SUB]2[/SUB]) [I]- π[/I]([I]x[/I][SUB]1[/SUB]) = 2[I]k[/I].
Proof: The number of prime-count steps in one direction must be equal to the number of prime-count steps in the opposite direction of the binary prime number race so that starting from Δ[I]π[/I]([I]x[/I][SUB]1[/SUB]) = 0 the staircase approximation of distinct prime-count steps has to end up in Δ[I]π[/I]([I]x[/I][SUB]2[/SUB]) = 0 for which an even number of steps is required. [U]Lemma 2[/U]: The absolute value of an extremum Δ[I]π[/I]([I]x[SUB]m[/SUB][/I]), [I]x[/I][SUB]1[/SUB] < [I]x[SUB]m[/SUB][/I] < [I]x[/I][SUB]2[/SUB], between two primes [I]x[/I][SUB]1[/SUB] and [I]x[/I][SUB]2[/SUB], [I]x[/I][SUB]1[/SUB] < [I]x[/I][SUB]2[/SUB], for which Δ[I]π[/I]([I]x[/I][SUB]1[/SUB]) = Δ[I]π[/I]([I]x[/I][SUB]2[/SUB]) = 0 (two consecutive zeros without other zeros in between) in a binary prime number race is less than or equal to ([I]π[/I]([I]x[/I][SUB]2[/SUB]) [I]- π[/I]([I]x[/I][SUB]1[/SUB]))/2. Proof: The absolute value of the prime count of the extremum cannot exceed [I]k[/I] in Lemma 1. In the [U]ideal[/U] case with only one extremum, the absolute value of said extremum (minimum or maximum) = [I]k[/I]. Therefore, the knowledge of the distribution of consecutive zeros Δ[I]π[/I]([I]x[/I]) = 0 can be used to estimate in first approximation the Max[Δ[I]π[/I]([I]x[/I])] distribution and plot an [U]ideal[/U] bar graph (assuming a single extremum between consecutive zero Δ[I]π[/I]([I]x[/I]) points). The Littlewood theorem states that Δ[I]π[/I]([I]x[/I]) can take arbitrarily large values toward infinity but does not explicitly specify how frequently this could happen in comparison with other Δ[I]π[/I]([I]x[/I]) values. Therefore, analyzing the prime number race results from the past, and also performing recounts to obtain the exact local minima and maxima distributions, does matter. An [U]ideal[/U] bar graph (assuming a single extremum between two consecutive zero points) on the basis of the 85,508 zero Δ[I]π[/I]([I]x[/I]) points in A[URL="https://oeis.org/A096629"]096629[/URL] can be plotted to show in first approximation the shape of the distribution of the extrema of Δ[I]π[/I]([I]x[/I]). |
Whoever modified the title of this thread, how do you know that the guess is incorrect?
|
[QUOTE=Batalov;588371]P.S. Your "blogging" belongs in [URL="https://mersenneforum.org/forumdisplay.php?f=136"]Blogorrhea[/URL] section (where the blogger is the only one reading). Blog as much as you want.[/QUOTE]
You abuse your power systematically. Attempting to intimidate and belittle ordinary users, you just reveal your true self. |
[quote=Dobri;586524][u]The number of primes of type 6k-1 is greater than the number of primes of type 6k+1.[/u][/quote]
[quote=Dobri;588384]Whoever modified the title of this thread, how do you know that the guess is incorrect?[/quote] [color=red]2. 5 points for every statement that is clearly vacuous, logically inconsistent, or widely agreed on to be false. 3. 10 points for each such statement that is adhered to despite careful correction.[/color] [quote=Dobri;588380]The Littlewood theorem states that Δπ(x) can take arbitrarily large values toward infinity but does not explicitly specify how frequently this could happen in comparison with other Δπ(x) values. Therefore, analyzing the prime number race results from the past, and also performing recounts to obtain the exact local minima and maxima distributions, does matter.[/quote] [color=red]7. 10 points for stating that your ideas are of great financial, theoretical and/or spiritual value.[/color] [quote=Dobri;588387]You abuse your power systematically. Attempting to intimidate and belittle ordinary users, you just reveal your true self.[/quote] [color=red]26. 20 points for each complaint that the list moderators are out to get you or are blocking your substantial and useful posts.[/color] That's 45 points on The PrimePages' Crackpot index right there. |
[QUOTE=Dr Sardonicus;588392][COLOR=red]2. 5 points for every statement that is clearly vacuous, logically inconsistent, or widely agreed on to be false.
3. 10 points for each such statement that is adhered to despite careful correction.[/COLOR] [COLOR=red]7. 10 points for stating that your ideas are of great financial, theoretical and/or spiritual value.[/COLOR] [COLOR=red]26. 20 points for each complaint that the list moderators are out to get you or are blocking your substantial and useful posts.[/COLOR] That's 45 points on The PrimePages' Crackpot index right there.[/QUOTE] Do you imply that the the initial guess is false, and you arrived at this conclusion after a careful consideration? Then you must be able to provide tangible evidence, preferably works published by others, to support your careful consideration, and explain yourself clearly without speaking in riddles or giving 'homework'. Please do not put words in my mouth as it was never stated in this thread that the "ideas are of great financial, theoretical and/or spiritual value." If you are wrong about points [COLOR=Red]#2[/COLOR], [COLOR=red]#3[/COLOR], and [COLOR=red]#7[/COLOR], then adding point [COLOR=red]#26[COLOR=Black] does not make sense.[/COLOR][/COLOR] |
[QUOTE=Dobri;588400]Do you imply that the the initial guess is false, and you arrived at this conclusion after a careful consideration?
<snip>[/QUOTE][i]Objection! Already asked and answered![/i] You have already publicly acknowledged references proving your guess is wrong that were offered, e.g. in [url=https://mersenneforum.org/showpost.php?p=586526&postcount=2]this post[/url] and [url=https://mersenneforum.org/showpost.php?p=586577&postcount=11]this post[/url] to this thread. Objection sustained. I find you guilty of trolling, and will see about imposing a 1-month timeout. :judge: |
2 Attachment(s)
[FONT="]This update contains images of the values of the absolute [COLOR=Red]minima[/COLOR] and [COLOR=Red]maxima[/COLOR] [/FONT][FONT="][FONT="](up to a prime [I]x[/I] on the horizontal axis) [/FONT]of the prime race ∆([I]x[/I]) = [/FONT][I][FONT="]𝜋[/FONT][/I][FONT="][SUB]6,5([/SUB][I]x[/I]) - [/FONT][I][FONT="]𝜋[/FONT][/I][FONT="][SUB]6,1[/SUB]([I]x[/I]) for the first 185,000,000,000 primes.[/FONT]
[FONT="]The ongoing exhaustive computation is getting closer to the next equilibrium point [/FONT][FONT="]∆([I]x[/I]) = 0 listed in OEIS A[/FONT][OEIS]096449[/OEIS][FONT="] (see post #38, [URL]https://mersenneforum.org/showpost.php?p=588100&postcount=38[/URL]).[/FONT] |
OEIS sequences references of your problem:
[URL="https://oeis.org/A007350"]https://oeis.org/A007350[/URL] [URL="https://oeis.org/A007352"]https://oeis.org/A007352[/URL] [URL="https://oeis.org/A199547"]https://oeis.org/A199547[/URL] [URL="https://oeis.org/A306891"]https://oeis.org/A306891[/URL] [URL="https://oeis.org/A038698"]https://oeis.org/A038698[/URL] [URL="https://oeis.org/A112632"]https://oeis.org/A112632[/URL] [URL="https://oeis.org/A066520"]https://oeis.org/A066520[/URL] [URL="https://oeis.org/A321856"]https://oeis.org/A321856[/URL] [URL="https://oeis.org/A275939"]https://oeis.org/A275939[/URL] [URL="https://oeis.org/A326615"]https://oeis.org/A326615[/URL] [URL="https://oeis.org/A306499"]https://oeis.org/A306499[/URL] [URL="https://oeis.org/A306500"]https://oeis.org/A306500[/URL] |
1 Attachment(s)
In the attached image, the lowest smooth orange curve is the plot of [I]x[/I][SUP]1/2[/SUP]ln(ln(ln([I]x[/I])))/(2*ln([I]x[/I])).
The gray smooth curve above it is the plot of [I]Kx[/I][SUP]1/2[/SUP]ln(ln(ln([I]x[/I])))/(2*ln([I]x[/I])) with an empirically chosen coefficient [I]K[/I] = 28. Correction to my previous post #52, [URL]https://mersenneforum.org/showpost.php?p=605876&postcount=52[/URL]: The OEIS sequence is A[URL="https://oeis.org/A096629"]096629[/URL]. |
| All times are UTC. The time now is 04:19. |
Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2023, Jelsoft Enterprises Ltd.