Wall–Sun–Sun prime

In number theory, a Wall–Sun–Sun prime or Fibonacci–Wieferich prime is a certain kind of prime number which is conjectured to exist, although none are known.

Definition

Let $p$ be a prime number. When each term in the sequence of Fibonacci numbers $F_n$ is reduced modulo $p$ (i.e. subtracted by the largest multiple of $p$ less than it), the result is a periodic sequence. The (minimal) period length of this sequence is called the Pisano period and denoted $\pi (p)$. Since $F_0=0$, it follows that p divides $F_{\pi (p)}$. A prime p such that p² divides $F_{\pi (p)}$ is called a Wall–Sun–Sun prime.

Non-Wall–Sun–Sun primes

Template:Tooltip	Periodic sequence	Template:Tooltip	$F_{\pi (p)}$	Quotient of Template:Sfrac
2	0, 1, 1	3	2	0.5
3	0, 1, 1, 2, 0, 2, 2, 1	8	21	2.Template:Overline
5	0, 1, 1, 2, 3, 0, 3, 3, 1, 4, 0, 4, 4, 3, 2, 0, 2, 2, 4, 1	20	6,765	270.6
7	0, 1, 1, 2, 3, 5, 1, 6, 0, 6, 6, 5, 4, 2, 6, 1	16	987	20.Template:Overline
11	0, 1, 1, 2, 3, 5, 8, 2, 10, 1	10	55	0.Template:Overline

A prime $p$ is a Wall–Sun–Sun prime if and only if the quotient of $F_{\pi (p)}$ divided by p² is a natural number.

Equivalent definitions

If $\alpha (m)$ denotes the rank of apparition modulo $m$ (i.e., $\alpha (m)$ is the smallest positive index such that $m$ divides $F_{\alpha (m)}$), then a Wall–Sun–Sun prime can be equivalently defined as a prime $p$ such that $p^2$ divides $F_{\alpha (p)}$.

For a prime p ≠ 2, 5, the rank of apparition $\alpha (p)$ is known to divide $p-\left(\frac{p}{5}\right)$, where the Legendre symbol $\left(\frac{p}{5}\right)$ has the values

$\left(\frac{p}{5}\right)=\{\begin{array}{cc}1& \text{if }p\equiv \pm 1(\mathrm{mod}5);\\ -1& \text{if }p\equiv \pm 2(\mathrm{mod}5).\end{array}$

This observation gives rise to an equivalent characterization of Wall–Sun–Sun primes as primes $p$ such that $p^2$ divides the Fibonacci number $F_{p-\left(\frac{p}{5}\right)}$.

A prime $p$ is a Wall–Sun–Sun prime if and only if $\pi (p^2)=\pi (p)$.

A prime $p$ is a Wall–Sun–Sun prime if and only if $L_p\equiv 1(\mathrm{mod}{p}^2)$, where $L_p$ is the $p$-th Lucas number.Template:Rp

McIntosh and Roettger establish several equivalent characterizations of Lucas–Wieferich primes. In particular, let $ϵ=\left(\frac{p}{5}\right)$; then the following are equivalent:

• $F_{p-ϵ}\equiv 0(\mathrm{mod}{p}^2)$
• $L_{p-ϵ}\equiv 2ϵ(\mathrm{mod}{p}^4)$
• $L_{p-ϵ}\equiv 2ϵ(\mathrm{mod}{p}^3)$
• $F_p\equiv ϵ(\mathrm{mod}{p}^2)$
• $L_p\equiv 1(\mathrm{mod}{p}^2)$

Existence

In a study of the Pisano period $k(p)$, Donald Dines Wall determined that there are no Wall–Sun–Sun primes less than $10000$. In 1960, he wrote: Template:Quote It has since been conjectured that there are infinitely many Wall–Sun–Sun primes.

In 2007, Richard J. McIntosh and Eric L. Roettger showed that if any exist, they must be > 2Template:E. Dorais and Klyve extended this range to 9.7Template:E without finding such a prime.

In December 2011, another search was started by the PrimeGrid project; however, it was suspended in May 2017. In November 2020, PrimeGrid started another project that searches for Wieferich and Wall–Sun–Sun primes simultaneously. The project ended in December 2022, proving that any Wall–Sun–Sun prime must exceed $2^{64}$ (about $1.8\cdot 10^{19}$).

History

Wall–Sun–Sun primes are named after Donald Dines Wall, Zhi Hong Sun and Zhi Wei Sun; Z. H. Sun and Z. W. Sun showed in 1992 that if the first case of Fermat's Last Theorem was false for a certain prime p, then p would have to be a Wall–Sun–Sun prime. As a result, prior to Wiles's proof of Fermat's Last Theorem, the search for Wall–Sun–Sun primes was also the search for a potential counterexample to this centuries-old conjecture.

Generalizations

A tribonacci–Wieferich prime is a prime p satisfying Template:Nowrap, where h(m) is the least positive integer k satisfying [T_k,T_k+1,T_k+2] ≡ [T₀, T₁, T₂] (mod m) and T_n denotes the n-th tribonacci number. No tribonacci–Wieferich prime exists below 10¹¹.

A Pell–Wieferich prime is a prime p satisfying p² divides P_p−1, when p congruent to 1 or 7 (mod 8), or p² divides P_p+1, when p congruent to 3 or 5 (mod 8), where P_n denotes the n-th Pell number. For example, 13, 31, and 1546463 are Pell–Wieferich primes, and no others below 10⁹ Template:OEIS. In fact, Pell–Wieferich primes are 2-Wall–Sun–Sun primes.

Near-Wall–Sun–Sun primes

A prime p such that $F_{p-\left(\frac{p}{5}\right)}\equiv Ap(\mathrm{mod}{p}^2)$ with small |A| is called near-Wall–Sun–Sun prime. Near-Wall–Sun–Sun primes with A = 0 would be Wall–Sun–Sun primes. PrimeGrid recorded cases with |A| ≤ 1000. A dozen cases are known where A = ±1 Template:OEIS.

Wall–Sun–Sun primes with discriminant D

Wall–Sun–Sun primes can be considered for the field $Q_{\sqrt{D}}$ with discriminant D. For the conventional Wall–Sun–Sun primes, D = 5. In the general case, a Lucas–Wieferich prime p associated with (P, Q) is a Wieferich prime to base Q and a Wall–Sun–Sun prime with discriminant D = P² − 4Q. In this definition, the prime p should be odd and not divide D.

It is conjectured that for every fundamental discriminant D not equal to 1, there are infinitely many Wall–Sun–Sun primes with discriminant D.

The case of $(P,Q)=(k,-1)$ corresponds to the k-Wall–Sun–Sun primes, for which Wall–Sun–Sun primes represent the special case k = 1. The k-Wall–Sun–Sun primes can be explicitly defined as primes p such that p² divides the k-Fibonacci number $F_k({\pi }_k(p))$, where F_k(n) = U_n(k, −1) is a Lucas sequence of the first kind with discriminant D = k² + 4 and ${\pi }_k(p)$ is the Pisano period of k-Fibonacci numbers modulo p. For a prime p ≠ 2 and not dividing D, this condition is equivalent to either of the following.

• p² divides $F_k(p-\left(\frac{D}{p}\right))$, where $\left(\frac{D}{p}\right)$ is the Legendre symbol;
• V_p(k, −1) ≡ k (mod p²), where V_n(k, −1) is a Lucas sequence of the second kind.

The smallest k-Wall–Sun–Sun primes for k = 2, 3, ... are

13, 241, 2, 3, 191, 5, 2, 3, 2683, ... Template:OEIS

See also

• Wieferich prime
• Wolstenholme prime
• Wilson prime
• PrimeGrid
• Fibonacci prime
• Pisano period
• Table of congruences

Further reading

• Template:Cite book
• Template:Cite arXiv

External links

• Chris Caldwell, The Prime Glossary: Wall–Sun–Sun prime at the Prime Pages.
• Template:MathWorld
• Richard McIntosh, Status of the search for Wall–Sun–Sun primes (October 2003)
• Template:OEIS el