PrimeGrid
Please visit donation page to help the project cover running costs for this month

Toggle Menu

Join PrimeGrid

Returning Participants

Community

Leader Boards

Results

Other

drummers-lowrise

Advanced search

Message boards : Wieferich and Wall-Sun-Sun Prime Search : Welcome to the Wieferich and Wall-Sun-Sun Prime Search!

Author Message
ReggieProject donor
Volunteer moderator
Project administrator
Volunteer tester
Project scientist
Send message
Joined: 10 May 14
Posts: 204
ID: 311759
Credit: 179,542,360
RAC: 75,720
Discovered 1 mega primeFound 1 prime in the 2018 Tour de PrimesFound 1 mega prime in the 2018 Tour de Primes321 LLR Ruby: Earned 2,000,000 credits (2,046,192)Cullen LLR Ruby: Earned 2,000,000 credits (2,026,465)ESP LLR Ruby: Earned 2,000,000 credits (2,053,710)Generalized Cullen/Woodall LLR Amethyst: Earned 1,000,000 credits (1,011,992)PPS LLR Ruby: Earned 2,000,000 credits (3,626,103)PSP LLR Amethyst: Earned 1,000,000 credits (1,587,883)SoB LLR Ruby: Earned 2,000,000 credits (2,305,993)SR5 LLR Ruby: Earned 2,000,000 credits (2,023,467)SGS LLR Ruby: Earned 2,000,000 credits (2,682,790)TRP LLR Amethyst: Earned 1,000,000 credits (1,121,859)Woodall LLR Amethyst: Earned 1,000,000 credits (1,686,633)321 Sieve (suspended) Amethyst: Earned 1,000,000 credits (1,000,211)Generalized Cullen/Woodall Sieve (suspended) Ruby: Earned 2,000,000 credits (2,000,420)PPS Sieve Sapphire: Earned 20,000,000 credits (22,440,747)AP 26/27 Sapphire: Earned 20,000,000 credits (20,077,538)GFN Sapphire: Earned 20,000,000 credits (41,604,082)WW Emerald: Earned 50,000,000 credits (50,172,000)PSA Sapphire: Earned 20,000,000 credits (20,070,245)
Message 145555 - Posted: 22 Nov 2020 | 21:42:29 UTC
Last modified: 28 Nov 2020 | 23:22:48 UTC

Welcome to the Wieferich and Wall-Sun-Sun Prime Search

A Wall–Sun–Sun (or Fibonacci–Wieferich) prime is a prime p > 5 in which p^2 divides the Fibonacci number , where the Legendre symbol is defined as

They are named after Donald Dines Wall and twin brothers Zhi-Hong Sun and Zhi-Wei Sun. Drawing on Wall's work, in 1992 the brothers proved that if the first case of Fermat's last theorem was false for a certain prime p, then that p would have to be a Wall–Sun–Sun prime.

Although it has been conjectured that infinitely many exist, there are no known Wall–Sun–Sun primes. As of December 2011, if any exist, they must be > 9.7e14. The PRPNet search began here, and the BOINC search will as well for double-checking purposes.

The lack of success has lead to an interest in "Near" Wall-Sun_Sun primes. They are defined as special instances (with small |A|) of F_(p-(p/5)) = Ap (mod p^2).

A prime p is a Wieferich prime if p^2 divides 2^(p-1) - 1. They are named after Arthur Wieferich who in 1909 proved that if the first case of Fermat’s last theorem is false for the exponent p, then p satisfies the criteria a^(p-1) = 1 (mod p^2) for a=2.

Notice the similarity in the expression p^2 divides 2^(p-1) - 1 to the special case of Fermat's little theorem p divides 2^(p-1) - 1.

Despite a number of extensive searches, the only known Wieferich primes to date are 1093 and 3511. The rarity of these primes has lead to an interest in "Near" Wieferich primes. They are defined as special instances (with small |A|) of 2^((p−1)/2) ≡ ±1 + Ap (mod p^2).

Search History
Wall-Sun-Sun

Search limit Author Year 1e9 Williams 1982 2^32 Montgomery 1991 1e14 Knauer and McIntosh 2003 2e14 McIntosh and Roettger 2005 9.7e14 Dorais and Klyve 2011 10e14 PrimeGrid 2011-12-28 15e14 PrimeGrid 2012-01-10 20e14 PrimeGrid 2012-01-22 25e14 PrimeGrid 2012-03-02 60e14 PrimeGrid 2012-07-29 28e15 PrimeGrid 2014-03-31

Wieferich
Search limit Author Year 16000 Beeger 1940 50000 Froberg unknown 100000 Kravitz 1960 200183 Pearson 1964 500000 Riesel 1964 3e7 Froberg 1968 3e9 Brillhart, Tonascia, and Weinberger 1971 6e9 Lehmer 1981 6.1e10 Clark 1996 4e12 Crandall, Dilcher, and Pomerance 1997 4.6e13 Brown and McIntosh 2001 2e14 Crump 2002 1.25e15 Knauer and Richstein 2005 3e15 Carlisle, Crandall, and Rodenkirch 2006 6.7e15 Dorais and Klyve 2011 10e15 PrimeGrid 2012-01-13 14e15 PrimeGrid 2012-04-14 14e16 PrimeGrid 2014-08-11


Note that the PrimeGrid searches are not double checked yet.

Classical Definition of nearness

A prime p satisfying the congruence F_(p-(p/5)) ≡ Ap (mod p^2) with small |A| is commonly called a near-Wall-Sun-Sun prime. A prime p satisfying the congruence 2^((p−1)/2) ≡ ±1 + Ap (mod p^2) with small |A| is commonly called a near-Wieferich prime. Therefore, we are going to classify finds as follows:
    Wall-Sun-Sun or Wieferich prime: A = 0
    |A| <= 10
    |A| <= 100
    |A| <= 1000


Additional Information

Message boards : Wieferich and Wall-Sun-Sun Prime Search : Welcome to the Wieferich and Wall-Sun-Sun Prime Search!

[Return to PrimeGrid main page]
DNS Powered by DNSEXIT.COM
Copyright © 2005 - 2021 Rytis Slatkevičius (contact) and PrimeGrid community. Server load 1.46, 1.15, 1.18
Generated 17 Sep 2021 | 1:10:34 UTC