| Currently there may be errors shown on top of a page, because of a missing Wiki update (PHP version and extension DPL3). |
Navigation
| Topics | Help • Register • News • History • How to • Sequences statistics • Template prototypes |
Difference between revisions of "CRUS Liskovets-Gallot"
(Adding lead and cleaning up notation) |
(changes for Riesel sequences) |
||
| (11 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
| − | |||
'''CRUS Liskovets-Gallot''' is a [[Conjectures 'R Us]] (CRUS) subproject aiming to prove the [[Liskovets-Gallot conjectures]], which relate to the smallest [[Riesel prime|Riesel]] and [[Proth prime|Proth]] {{Vk}}-values, divisible by 3, with no primes for {{Vn}}-values of a given parity. | '''CRUS Liskovets-Gallot''' is a [[Conjectures 'R Us]] (CRUS) subproject aiming to prove the [[Liskovets-Gallot conjectures]], which relate to the smallest [[Riesel prime|Riesel]] and [[Proth prime|Proth]] {{Vk}}-values, divisible by 3, with no primes for {{Vn}}-values of a given parity. | ||
==Explanations== | ==Explanations== | ||
:''Main article: [[Liskovets-Gallot conjectures]]'' | :''Main article: [[Liskovets-Gallot conjectures]]'' | ||
| + | [[Valery Liskovets]] first observed in 2001 that some {{Vk}}-values, divisible by 3, had few prime {{Vn}}-values of a given parity. He then conjectured that there existed {{Vk}}-values (initially for [[Proth prime]]s, then also for [[Riesel prime]]s), divisible by 3, that had no primes of a given parity. This was proven by [[Yves Gallot]], who provided examples for all four cases (Riesel/Proth, even/odd). Gallot further conjectured that these four examples are the smallest such {{Vk}}-values of each type, not including algebraic factorizations.<ref>[https://www.primepuzzles.net/problems/prob_036.htm Problem 36] "The Liskovets-Gallot numbers" from [https://www.primepuzzles.net/index.shtml PP&P connection] by [[Carlos Rivera]]</ref> | ||
| − | == | + | This subproject is attempting to prove the latter set of conjectures by finding primes for {{Vn}}-values of the required sign (Riesel/Proth) and parity (even/odd). The process is the same as [[PrimeGrid|PrimeGrid's]] subprojects for [[PrimeGrid The Riesel Problem|The Riesel Problem]] and [[PrimeGrid Seventeen or Bust|Seventeen or Bust]]. |
| + | |||
| + | ==History== | ||
| + | This subproject was founded by Conjectures 'R Us in January 2008, as an extension of the base 4 Riesel and Sierpiński problems. The initial search was led by [[Jean Penné]] and [[Gary Barnes]], and [https://www.rieselprime.de/Related/LiskovetsGallot.htm a page for the effort] was created on the [[Riesel and Proth Prime Database]] on January 11. | ||
| + | |||
| + | The even Proth conjecture was proven on 2015-08-02, by Penné, and the discovery was made public a day later after a personal double-check.<ref name="Even Proth proof">[https://www.mersenneforum.org/showpost.php?p=407149 A Liskovets-Gallot theorem proven!] by [[Jean Penné]], 2015-08-02</ref> | ||
| + | |||
| + | ==Current status== | ||
===Riesel values=== | ===Riesel values=== | ||
| − | *[[Riesel prime | + | [[Multi Reservation:5|Multi Reservation 5]]: '''The current {{Vn}}<sub>max</sub> = {{Num|{{#expr:({{Multi Reservation:5-NMax}}*2)}}}} as of {{Multi Reservation:5-Date}} unless otherwise specified.''' |
| − | *[[Riesel prime | + | |
| − | *[[Riesel prime | + | ====Even {{Vn}}'s==== |
| − | *[[Riesel prime | + | *[[Riesel prime 4 9519|{{Vk}}=9519]], done to {{Vn}}={{Num|{{#expr:({{GP|Riesel prime 4 9519|RMaxn}}*2)}}}} as of {{GP|Riesel prime 4 9519|RDate}}. |
| − | *[[Riesel prime | + | *[[Riesel prime 4 14361|{{Vk}}=14361]] |
| − | *[[Riesel prime | + | |
| + | ====Odd {{Vn}}'s==== | ||
| + | *[[Riesel prime 4 79374|{{Vk}}=39687]] | ||
| + | *[[Riesel prime 4 207894|{{Vk}}=103947]] | ||
| + | *[[Riesel prime 4 308634|{{Vk}}=154317]] | ||
| + | *[[Riesel prime 4 327006|{{Vk}}=163503]] | ||
===Proth values=== | ===Proth values=== | ||
| − | + | ====Even {{Vn}}'s==== | |
| − | + | :''The even {{Vn}} conjecture was proven in August 2015.''<ref name="Even Proth proof"/> | |
| − | |||
| − | == | + | ====Odd {{Vn}}'s==== |
| − | {{ | + | [[Multi Reservation:6|Multi Reservation 6]]: '''The current {{Vn}}<sub>max</sub> = {{Num|{{#expr:({{Multi Reservation:6-NMax}}*2)}}}} as of {{Multi Reservation:6-Date}} unless otherwise specified. |
| − | {{ | + | |
| − | {{ | + | *[[Proth prime 4 18534|{{Vk}}=9267]] done to {{Vn}}={{Num|{{#expr:({{GP|Proth prime 4 18534|PMaxn}}*2+1)}}}} as of {{GP|Proth prime 4 18534|PDate}}. |
| − | {{ | + | *[[Proth prime 4 64494|{{Vk}}=32247]] |
| + | *[[Proth prime 4 106266|{{Vk}}=53133]] | ||
| + | |||
| + | ==Primes found== | ||
| + | ===Riesel=== | ||
| + | ====Even {{Vn}}'s==== | ||
| + | The data file can be found [[:File:Liskovets-Gallot Riesel even.csv|here]]. | ||
| + | {{#get_web_data:url=https://www.rieselprime.de/z/images/2/23/Liskovets-Gallot_Riesel_even.csv|format=csv with header|delimiter=,|data=date=date,mforum=mforum,user=user,k=k,n=n}} | ||
| + | <div style="width:38em; height:670px; overflow:auto;"> | ||
| + | {| class="wikitable sortable" style="height: auto" | ||
| + | ! data-sort-type="isoDate" class="fixhead" | Date | ||
| + | ! data-sort-type="text" class="fixhead" | Finder | ||
| + | ! data-sort-type="number" class="fixhead" | Number | ||
| + | ! data-sort-type="number" class="fixhead" | {{Vk}} | ||
| + | ! data-sort-type="number" class="fixhead" | {{Vn}} | ||
| + | {{#for_external_table:<nowiki/> | ||
| + | {{!}}- | ||
| + | {{!}} style="text-align:right" data-sort-value={{{date}}} {{!}} [https://www.mersenneforum.org/showpost.php?p={{{mforum}}} {{{date}}}] | ||
| + | {{!}} style="text-align:left" {{!}} [[{{{user}}}]] | ||
| + | {{!}} style="text-align:right" data-sort-value={{{k}}} {{!}} [[Riesel prime 2 {{{k}}}|{{Kbn|{{{k}}}|{{{n}}}}}]] | ||
| + | {{!}} style="text-align:right" {{!}} {{{k}}} | ||
| + | {{!}} style="text-align:right" {{!}} {{{n}}} | ||
| + | }} | ||
| + | |}</div> | ||
| + | |||
| + | ====Odd {{Vn}}'s==== | ||
| + | The data file can be found [[:File:Liskovets-Gallot Riesel odd.csv|here]]. | ||
| + | {{#get_web_data:url=https://www.rieselprime.de/z/images/8/88/Liskovets-Gallot_Riesel_odd.csv|format=csv with header|delimiter=,|data=date=date,mforum=mforum,user=user,k=k,n=n}} | ||
| + | <div style="width:38em; height:670px; overflow:auto;"> | ||
| + | {| class="wikitable sortable" style="height: auto" | ||
| + | ! data-sort-type="isoDate" class="fixhead" | Date | ||
| + | ! data-sort-type="text" class="fixhead" | Finder | ||
| + | ! data-sort-type="number" class="fixhead" | Number | ||
| + | ! data-sort-type="number" class="fixhead" | {{Vk}} | ||
| + | ! data-sort-type="number" class="fixhead" | {{Vn}} | ||
| + | {{#for_external_table:<nowiki/> | ||
| + | {{!}}- | ||
| + | {{!}} style="text-align:right" data-sort-value={{{date}}} {{!}} [https://www.mersenneforum.org/showpost.php?p={{{mforum}}} {{{date}}}] | ||
| + | {{!}} style="text-align:left" {{!}} [[{{{user}}}]] | ||
| + | {{!}} style="text-align:right" data-sort-value={{{k}}} {{!}} [[Riesel prime 2 {{{k}}}|{{Kbn|{{{k}}}|{{{n}}}}}]] | ||
| + | {{!}} style="text-align:right" {{!}} {{{k}}} | ||
| + | {{!}} style="text-align:right" {{!}} {{{n}}} | ||
| + | }} | ||
| + | |}</div> | ||
| + | |||
| + | ===Proth=== | ||
| + | ====Even {{Vn}}'s==== | ||
| + | The data file can be found [[:File:Liskovets-Gallot Proth even.csv|here]]. | ||
| + | {{#get_web_data:url=https://www.rieselprime.de/z/images/e/ee/Liskovets-Gallot_Proth_even.csv|format=csv with header|delimiter=,|data=date=date,mforum=mforum,user=user,k=k,n=n}} | ||
| + | <div style="width:38em; height:670px; overflow:auto;"> | ||
| + | {| class="wikitable sortable" style="height: auto" | ||
| + | ! data-sort-type="isoDate" class="fixhead" | Date | ||
| + | ! data-sort-type="text" class="fixhead" | Finder | ||
| + | ! data-sort-type="number" class="fixhead" | Number | ||
| + | ! data-sort-type="number" class="fixhead" | {{Vk}} | ||
| + | ! data-sort-type="number" class="fixhead" | {{Vn}} | ||
| + | {{#for_external_table:<nowiki/> | ||
| + | {{!}}- | ||
| + | {{!}} style="text-align:right" data-sort-value={{{date}}} {{!}} [https://www.mersenneforum.org/showpost.php?p={{{mforum}}} {{{date}}}] | ||
| + | {{!}} style="text-align:left" {{!}} [[{{{user}}}]] | ||
| + | {{!}} style="text-align:right" data-sort-value={{{k}}} {{!}} [[Proth prime 2 {{{k}}}|{{Kbn|+|{{{k}}}|{{{n}}}}}]] | ||
| + | {{!}} style="text-align:right" {{!}} {{{k}}} | ||
| + | {{!}} style="text-align:right" {{!}} {{{n}}} | ||
| + | }} | ||
| + | |}</div> | ||
| + | |||
| + | ====Odd {{Vn}}'s==== | ||
| + | The data file can be found [[:File:Liskovets-Gallot Proth odd.csv|here]]. | ||
| + | {{#get_web_data:url=https://www.rieselprime.de/z/images/3/3f/Liskovets-Gallot_Proth_odd.csv|format=csv with header|delimiter=,|data=date=date,mforum=mforum,user=user,k=k,n=n}} | ||
| + | <div style="width:38em; height:670px; overflow:auto;"> | ||
| + | {| class="wikitable sortable" style="height: auto" | ||
| + | ! data-sort-type="isoDate" class="fixhead" | Date | ||
| + | ! data-sort-type="text" class="fixhead" | Finder | ||
| + | ! data-sort-type="number" class="fixhead" | Number | ||
| + | ! data-sort-type="number" class="fixhead" | {{Vk}} | ||
| + | ! data-sort-type="number" class="fixhead" | {{Vn}} | ||
| + | {{#for_external_table:<nowiki/> | ||
| + | {{!}}- | ||
| + | {{!}} style="text-align:right" data-sort-value={{{date}}} {{!}} [https://www.mersenneforum.org/showpost.php?p={{{mforum}}} {{{date}}}] | ||
| + | {{!}} style="text-align:left" {{!}} [[{{{user}}}]] | ||
| + | {{!}} style="text-align:right" data-sort-value={{{k}}} {{!}} [[Proth prime 2 {{{k}}}|{{Kbn|+|{{{k}}}|{{{n}}}}}]] | ||
| + | {{!}} style="text-align:right" {{!}} {{{k}}} | ||
| + | {{!}} style="text-align:right" {{!}} {{{n}}} | ||
| + | }} | ||
| + | |}</div> | ||
| + | |||
| + | {{reflist}} | ||
==Links== | ==Links== | ||
Latest revision as of 14:05, 2 June 2024
CRUS Liskovets-Gallot is a Conjectures 'R Us (CRUS) subproject aiming to prove the Liskovets-Gallot conjectures, which relate to the smallest Riesel and Proth k-values, divisible by 3, with no primes for n-values of a given parity.
Contents
Explanations
- Main article: Liskovets-Gallot conjectures
Valery Liskovets first observed in 2001 that some k-values, divisible by 3, had few prime n-values of a given parity. He then conjectured that there existed k-values (initially for Proth primes, then also for Riesel primes), divisible by 3, that had no primes of a given parity. This was proven by Yves Gallot, who provided examples for all four cases (Riesel/Proth, even/odd). Gallot further conjectured that these four examples are the smallest such k-values of each type, not including algebraic factorizations.[1]
This subproject is attempting to prove the latter set of conjectures by finding primes for n-values of the required sign (Riesel/Proth) and parity (even/odd). The process is the same as PrimeGrid's subprojects for The Riesel Problem and Seventeen or Bust.
History
This subproject was founded by Conjectures 'R Us in January 2008, as an extension of the base 4 Riesel and Sierpiński problems. The initial search was led by Jean Penné and Gary Barnes, and a page for the effort was created on the Riesel and Proth Prime Database on January 11.
The even Proth conjecture was proven on 2015-08-02, by Penné, and the discovery was made public a day later after a personal double-check.[2]
Current status
Riesel values
Multi Reservation 5: The current nmax = 10,000,000 as of 2023-07-11 unless otherwise specified.
Even n's
Odd n's
Proth values
Even n's
- The even n conjecture was proven in August 2015.[2]
Odd n's
Multi Reservation 6: The current nmax = 10,000,000 as of 2022-03-04 unless otherwise specified.
Primes found
Riesel
Even n's
The data file can be found here.
Odd n's
The data file can be found here.
Proth
Even n's
The data file can be found here.
Odd n's
The data file can be found here.
Notes
- ↑ Problem 36 "The Liskovets-Gallot numbers" from PP&P connection by Carlos Rivera
- ↑ 2.0 2.1 A Liskovets-Gallot theorem proven! by Jean Penné, 2015-08-02
