Gilbreath's conjecture is a conjecture in number theory regarding the sequences generated by applying the forward difference operator to consecutive prime numbers and leaving the results unsigned, and then repeating this process on consecutive terms in the resulting sequence, and so forth. The statement is named after Norman L. Gilbreath who, in 1958, presented it to the mathematical community after observing the pattern by chance while doing arithmetic on a napkin. In 1878, eighty years before Gilbreath's discovery, François Proth had published the same observations.
Motivating arithmetic Consider the prime numbers
2 , 3 , 5 , 7 , 11 , 13 , 17 , 19 , 23 , 29 , 31 , … {\displaystyle 2,3,5,7,11,13,17,19,23,29,31,\dots }
Computing the absolute value of the difference between term n {\displaystyle n} and term n + 1 {\displaystyle n+1} in this sequence yields the sequence
1 , 2 , 2 , 4 , 2 , 4 , 2 , 4 , 6 , 2 , … {\displaystyle 1,2,2,4,2,4,2,4,6,2,\dots }
If the same calculation is done for the terms in this new sequence, and the sequence that is the outcome of this process, and again ad infinitum for each sequence that is the output of such a calculation, the following five sequences in this list are
1 , 0 , 2 , 2 , 2 , 2 , 2 , 2 , 4 , … {\displaystyle 1,0,2,2,2,2,2,2,4,\dots }
1 , 2 , 0 , 0 , 0 , 0 , 0 , 2 , … {\displaystyle 1,2,0,0,0,0,0,2,\dots }
1 , 2 , 0 , 0 , 0 , 0 , 2 , … {\displaystyle 1,2,0,0,0,0,2,\dots }
1 , 2 , 0 , 0 , 0 , 2 , … {\displaystyle 1,2,0,0,0,2,\dots }
1 , 2 , 0 , 0 , 2 , … {\displaystyle 1,2,0,0,2,\dots }
What Gilbreath—and François Proth before him—noticed is that the first term in each series of differences appears to be 1.
The conjecture Formally, let ( p n ) {\displaystyle (p_{n})} denote the sequence of prime numbers. We can define the sequence ( d n k ) {\displaystyle (d_{n}^{k})} recursively by
d n k = { p n + 1 − p n , k = 1 | d n + 1 k − 1 − d n k − 1 | , k ≥ 1. {\displaystyle d_{n}^{k}={\begin{cases}p_{n+1}-p_{n},&k=1\\[5pt]|d_{n+1}^{k-1}-d_{n}^{k-1}|,&k\geq 1.\end{cases}}}
Gilbreath's conjecture states that d 1 k = 1 {\displaystyle d_{1}^{k}=1} for all k ≥ 1 {\displaystyle k\geq 1} .
… excerpt ends here. Continue reading the full article.
