Do any base-10 Lychrel numbers exist?
A Lychrel number is a natural number that cannot form a palindrome through the iterative process of repeatedly reversing its digits and adding the resulting numbers. This process is sometimes called the 196-algorithm, after the most famous number associated with the process. In base ten, no Lychrel numbers have been yet proven to exist, but many, including 196, are suspected on heuristic^{[1]} and statistical grounds. The name "Lychrel" was coined by Wade Van Landingham as a rough anagram of "Cheryl", his girlfriend's first name.^{[2]}
The reverse-and-add process produces the sum of a number and the number formed by reversing the order of its digits. For example, 56 + 65 = 121. As another example, 125 + 521 = 646.
Some numbers become palindromes quickly after repeated reversal and addition, and are therefore not Lychrel numbers. All one-digit and two-digit numbers eventually become palindromes after repeated reversal and addition.
About 80% of all numbers under 10,000 resolve into a palindrome in four or fewer steps; about 90% of those resolve in seven steps or fewer. Here are a few examples of non-Lychrel numbers:
The smallest number that is not known to form a palindrome is 196. It is the smallest Lychrel number candidate.
The number resulting from the reversal of the digits of a Lychrel number not ending in zero is also a Lychrel number.
Let be a natural number. We define the Lychrel function for a number base to be the following:
where is the number of digits in the number in base , and
is the value of each digit of the number. A number is a Lychrel number if there does not exist a natural number such that , where is the -th iteration of
In other bases (these bases are power of 2, like binary and hexadecimal), certain numbers can be proven to never form a palindrome after repeated reversal and addition,^{[3]} but no such proof has been found for 196 and other base 10 numbers.
It is conjectured that 196 and other numbers that have not yet yielded a palindrome are Lychrel numbers, but no number in base ten has yet been proven to be Lychrel. Numbers which have not been demonstrated to be non-Lychrel are informally called "candidate Lychrel" numbers. The first few candidate Lychrel numbers (sequence A023108 in the OEIS) are:
The numbers in bold are suspected Lychrel seed numbers (see below). Computer programs by Jason Doucette, Ian Peters and Benjamin Despres have found other Lychrel candidates. Indeed, Benjamin Despres' program has identified all suspected Lychrel seed numbers of less than 17 digits.^{[4]} Wade Van Landingham's site lists the total number of found suspected Lychrel seed numbers for each digit length.^{[5]}
The brute-force method originally deployed by John Walker has been refined to take advantage of iteration behaviours. For example, Vaughn Suite devised a program that only saves the first and last few digits of each iteration, enabling testing of the digit patterns in millions of iterations to be performed without having to save each entire iteration to a file.^{[6]} However, so far no algorithm has been developed to circumvent the reversal and addition iterative process.
The term thread, coined by Jason Doucette, refers to the sequence of numbers that may or may not lead to a palindrome through the reverse and add process. Any given seed and its associated kin numbers will converge on the same thread. The thread does not include the original seed or kin number, but only the numbers that are common to both, after they converge.
Seed numbers are a subset of Lychrel numbers, that is the smallest number of each non palindrome producing thread. A seed number may be a palindrome itself. The first three examples are shown in bold in the list above.
Kin numbers are a subset of Lychrel numbers, that include all numbers of a thread, except the seed, or any number that will converge on a given thread after a single iteration. This term was introduced by Koji Yamashita in 1997.
Because 196 (base-10) is the lowest candidate Lychrel number, it has received the most attention.
In the 1980s, the 196 palindrome problem attracted the attention of microcomputer hobbyists, with search programs by Jim Butterfield and others appearing in several mass-market computing magazines.^{[7]}^{[8]}^{[9]} In 1985 a program by James Killman ran unsuccessfully for over 28 days, cycling through 12,954 passes and reaching a 5366-digit number.^{[9]}
John Walker began his 196 Palindrome Quest on 12 August 1987 on a Sun 3/260 workstation. He wrote a C program to perform the reversal and addition iterations and to check for a palindrome after each step. The program ran in the background with a low priority and produced a checkpoint to a file every two hours and when the system was shut down, recording the number reached so far and the number of iterations. It restarted itself automatically from the last checkpoint after every shutdown. It ran for almost three years, then terminated (as instructed) on 24 May 1990 with the message:
196 had grown to a number of one million digits after 2,415,836 iterations without reaching a palindrome. Walker published his findings on the Internet along with the last checkpoint, inviting others to resume the quest using the number reached so far.
In 1995, Tim Irvin and Larry Simkins used a multiprocessor computer and reached the two million digit mark in only three months without finding a palindrome. Jason Doucette then followed suit and reached 12.5 million digits in May 2000. Wade VanLandingham used Jason Doucette's program to reach 13 million digits, a record published in Yes Mag: Canada's Science Magazine for Kids. Since June 2000, Wade VanLandingham has been carrying the flag using programs written by various enthusiasts. By 1 May 2006, VanLandingham had reached the 300 million digit mark (at a rate of one million digits every 5 to 7 days). Using distributed processing,^{[10]} in 2011 Romain Dolbeau completed a billion iterations to produce a number with 413,930,770 digits, and in February 2015 his calculations reached a number with billion digits.^{[11]} A palindrome has yet to be found.
Other potential Lychrel numbers which have also been subjected to the same brute force method of repeated reversal addition include 879, 1997 and 7059: they have been taken to several million iterations with no palindrome being found.^{[12]}
In base 2, 10110 (22 in decimal) has been proven to be a Lychrel number, since after 4 steps it reaches 10110100, after 8 steps it reaches 1011101000, after 12 steps it reaches 101111010000, and in general after 4n steps it reaches a number consisting of 10, followed by n+1 ones, followed by 01, followed by n+1 zeros. This number obviously cannot be a palindrome, and none of the other numbers in the sequence are palindromes.
Lychrel numbers have been proven to exist in the following bases: 11, 17, 20, 26 and all powers of 2.^{[13]}^{[14]}^{[15]}
No base contains any Lychrel numbers smaller than the base. In fact, in any given base b, no single-digit number takes more than two iterations to form a palindrome. For b > 4, if k < b/2, then k becomes palindromic after one iteration: k + k = 2k, which is single-digit in base b (and thus a palindrome). If k > b/2, k becomes palindromic after two iterations.
The smallest number in each base which could possibly be a Lychrel number are (sequence A060382 in the OEIS):
b | Smallest possible Lychrel number in base b written in base b (base 10) |
---|---|
2 | 10110 (22) |
3 | 10211 (103) |
4 | 10202 (290) |
5 | 10313 (708) |
6 | 4555 (1079) |
7 | 10513 (2656) |
8 | 1775 (1021) |
9 | 728 (593) |
10 | 196 (196) |
11 | 83A (1011) |
12 | 179 (237) |
13 | 12CA (2701) |
14 | 1BB (361) |
15 | 1EC (447) |
16 | 19D (413) |
17 | B6G (3297) |
18 | 1AF (519) |
19 | HI (341) |
20 | IJ (379) |
21 | 1CI (711) |
22 | KL (461) |
23 | LM (505) |
24 | MN (551) |
25 | 1FM (1022) |
26 | OP (649) |
27 | PQ (701) |
28 | QR (755) |
29 | RS (811) |
30 | ST (869) |
31 | TU (929) |
32 | UV (991) |
33 | VW (1055) |
34 | 1IV (1799) |
35 | 1JW (1922) |
36 | YZ (1259) |
Lychrel numbers can be extended to the negative integers by use of a signed-digit representation to represent each integer.