Gilbreath's conjecture

Last updated

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. [1] In 1878, eighty years before Gilbreath's discovery, François Proth had, however, published the same observations along with an attempted proof, which was later shown to be incorrect. [1]

Contents

Motivating arithmetic

Gilbreath observed a pattern while playing with the ordered sequence of prime numbers

2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, ...

Computing the absolute value of the difference between term n +1 and term n in this sequence yields the sequence

1, 2, 2, 4, 2, 4, 2, 4, 6, 2, ...

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, ...
1, 2, 0, 0, 0, 0, 0, 2, ...
1, 2, 0, 0, 0, 0, 2, ...
1, 2, 0, 0, 0, 2, ...
1, 2, 0, 0, 2, ...

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

Stating Gilbreath's observation formally is significantly easier to do after devising a notation for the sequences in the previous section. Toward this end, let denote the ordered sequence of prime numbers, and define each term in the sequence by

where is positive. Also, for each integer greater than 1, let the terms in be given by

Gilbreath's conjecture states that every term in the sequence for positive is equal to 1.

Verification and attempted proofs

François Proth released what he believed to be a proof of the statement that was later shown to be flawed. Andrew Odlyzko verified that is equal to 1 for in 1993, [2] but the conjecture remains an open problem. Instead of evaluating n rows, Odlyzko evaluated 635 rows and established that the 635th row started with a 1 and continued with only 0s and 2s for the next n numbers. This implies that the next n rows begin with a 1.

Generalizations

In 1980, Martin Gardner published a conjecture by Hallard Croft that stated that the property of Gilbreath's conjecture (having a 1 in the first term of each difference sequence) should hold more generally for every sequence that begins with 2, subsequently contains only odd numbers, and has a sufficiently low bound on the gaps between consecutive elements in the sequence. [3] This conjecture has also been repeated by later authors. [4] [5] However, it is false: for every initial subsequence of 2 and odd numbers, and every non-constant growth rate, there is a continuation of the subsequence by odd numbers whose gaps obey the growth rate but whose difference sequences fail to begin with 1 infinitely often. [6] Odlyzko (1993) is more careful, writing of certain heuristic reasons for believing Gilbreath's conjecture that "the arguments above apply to many other sequences in which the first element is a 1, the others even, and where the gaps between consecutive elements are not too large and are sufficiently random." [2] [7] However, he does not give a formal definition of what "sufficiently random" means.

See also

Related Research Articles

The Collatz conjecture is one of the most famous unsolved problems in mathematics. The conjecture asks whether repeating two simple arithmetic operations will eventually transform every positive integer into 1. It concerns sequences of integers in which each term is obtained from the previous term as follows: if a term is even, the next term is one half of it. If a term is odd, the next term is 3 times the previous term plus 1. The conjecture is that these sequences always reach 1, no matter which positive integer is chosen to start the sequence. The conjecture has been shown to hold for all positive integers up to 2.95×1020, but no general proof has been found.

A twin prime is a prime number that is either 2 less or 2 more than another prime number—for example, either member of the twin prime pair or (41, 43). In other words, a twin prime is a prime that has a prime gap of two. Sometimes the term twin prime is used for a pair of twin primes; an alternative name for this is prime twin or prime pair.

In mathematics, a Fermat number, named after Pierre de Fermat (1607–1665), the first known to have studied them, is a positive integer of the form: where n is a non-negative integer. The first few Fermat numbers are: 3, 5, 17, 257, 65537, 4294967297, 18446744073709551617, ....

In number theory, Dirichlet's theorem, also called the Dirichlet prime number theorem, states that for any two positive coprime integers a and d, there are infinitely many primes of the form a + nd, where n is also a positive integer. In other words, there are infinitely many primes that are congruent to a modulo d. The numbers of the form a + nd form an arithmetic progression

In number theory, a Sierpiński number is an odd natural number k such that is composite for all natural numbers n. In 1960, Wacław Sierpiński proved that there are infinitely many odd integers k which have this property.

In number theory, Cramér's conjecture, formulated by the Swedish mathematician Harald Cramér in 1936, is an estimate for the size of gaps between consecutive prime numbers: intuitively, that gaps between consecutive primes are always small, and the conjecture quantifies asymptotically just how small they must be. It states that

<span class="mw-page-title-main">Abundant number</span> Number that is less than the sum of its proper divisors

In number theory, an abundant number or excessive number is a positive integer for which the sum of its proper divisors is greater than the number. The integer 12 is the first abundant number. Its proper divisors are 1, 2, 3, 4 and 6 for a total of 16. The amount by which the sum exceeds the number is the abundance. The number 12 has an abundance of 4, for example.

In mathematics, a Cullen number is a member of the integer sequence . Cullen numbers were first studied by James Cullen in 1905. The numbers are special cases of Proth numbers.

<span class="mw-page-title-main">Powerful number</span> Numbers whose prime factors all divide the number more than once

A powerful number is a positive integer m such that for every prime number p dividing m, p2 also divides m. Equivalently, a powerful number is the product of a square and a cube, that is, a number m of the form m = a2b3, where a and b are positive integers. Powerful numbers are also known as squareful, square-full, or 2-full. Paul Erdős and George Szekeres studied such numbers and Solomon W. Golomb named such numbers powerful.

In number theory, a Pierpont prime is a prime number of the form for some nonnegative integers u and v. That is, they are the prime numbers p for which p − 1 is 3-smooth. They are named after the mathematician James Pierpont, who used them to characterize the regular polygons that can be constructed using conic sections. The same characterization applies to polygons that can be constructed using ruler, compass, and angle trisector, or using paper folding.

In number theory, Polignac's conjecture was made by Alphonse de Polignac in 1849 and states:

<span class="mw-page-title-main">Polite number</span> Type of integer in number theory

In number theory, a polite number is a positive integer that can be written as the sum of two or more consecutive positive integers. A positive integer which is not polite is called impolite. The impolite numbers are exactly the powers of two, and the polite numbers are the natural numbers that are not powers of two.

<span class="mw-page-title-main">Prime gap</span> Difference between two successive prime numbers

A prime gap is the difference between two successive prime numbers. The n-th prime gap, denoted gn or g(pn) is the difference between the (n + 1)-st and the n-th prime numbers, i.e.

In number theory, a prime k-tuple is a finite collection of values representing a repeatable pattern of differences between prime numbers. For a k-tuple (a, b, …), the positions where the k-tuple matches a pattern in the prime numbers are given by the set of integers n such that all of the values (n + a, n + b, …) are prime. Typically the first value in the k-tuple is 0 and the rest are distinct positive even numbers.

François Proth was a French self-taught mathematician farmer who lived in Vaux-devant-Damloup near Verdun, France.

<span class="mw-page-title-main">Rule 90</span> Elementary cellular automaton

In the mathematical study of cellular automata, Rule 90 is an elementary cellular automaton based on the exclusive or function. It consists of a one-dimensional array of cells, each of which can hold either a 0 or a 1 value. In each time step all values are simultaneously replaced by the XOR of their two neighboring values. Martin, Odlyzko & Wolfram (1984) call it "the simplest non-trivial cellular automaton", and it is described extensively in Stephen Wolfram's 2002 book A New Kind of Science.

A Gilbreath shuffle is a way to shuffle a deck of cards, named after mathematician Norman Gilbreath. Gilbreath's principle describes the properties of a deck that are preserved by this type of shuffle, and a Gilbreath permutation is a permutation that can be formed by a Gilbreath shuffle.

A Proth number is a natural number N of the form where k and n are positive integers, k is odd and . A Proth prime is a Proth number that is prime. They are named after the French mathematician François Proth. The first few Proth primes are

Norman Laurence Gilbreath is an American magician and author known for originating the Gilbreath shuffle. He is also known for Gilbreath's conjecture concerning prime numbers.

References

  1. 1 2 Caldwell, Chris. "The Prime Glossary: Gilbreath's conjecture". The Prime Pages . Archived from the original on 2012-03-24. Retrieved 2008-03-07..
  2. 1 2 Odlyzko, A. M. (1993). "Iterated absolute values of differences of consecutive primes". Mathematics of Computation. 61 (203): 373–380. doi: 10.2307/2152962 . JSTOR   2152962. Zbl   0781.11037. Archived from the original on 2011-09-27. Retrieved 2006-05-25..
  3. Gardner, Martin (December 1980). "Patterns in primes are a clue to the strong law of small numbers". Mathematical Games. Scientific American . Vol. 243, no. 6. pp. 18–28.
  4. Guy, Richard K. (2004). Unsolved Problems in Number Theory. Problem Books in Mathematics (3rd ed.). Springer-Verlag. p. 42. ISBN   0-387-20860-7. Zbl   1058.11001.
  5. Darling, David (2004). "Gilbreath's conjecture". The Universal Book of Mathematics: From Abracadabra to Zeno's Paradoxes. John Wiley & Sons. pp. 133–134. ISBN   9780471667001. Archived from the original on 2016-05-05. Retrieved 2015-04-21.
  6. Eppstein, David (February 20, 2011). "Anti-Gilbreath sequences". 11011110. Archived from the original on April 12, 2017. Retrieved April 12, 2017.
  7. Chase, Zachary (2023). "A random analogue of Gilbreath's conjecture". Math. Ann. 388 (3): 2611–2625. arXiv: 2005.00530 . doi:10.1007/s00208-023-02579-w.