Skip to main content
10 of 16
updated code link
Vepir
  • 611
  • 4
  • 17

Can a number be palindromic in more than 3 consecutive number bases?

Can a natural number be nontrivially palindromic in more than $3$ consecutive number bases?

Nontrivially means that I'm not counting one-digit palindromes.

Was initially asked on MSE - but wasn't solved, and still isn't.

Smallest number $N$ which is nontrivially palindromic in $x$ consecutive number bases:

$$ \begin{array}{|c|} \hline x& N & \text{Palindrome} \\ \hline 1& 3 & 11_2 \\ 2& 10 & 22_3=101_4\\ 3& 178 & 454_6 =343_7 = 262_8\\ 4& ?& \\ \hline \end{array} $$

Solution for $x=4$ probably does not exist: (Otherwise, it is very large)

  • If $d=1,2,3$ below are complete and true, and observation $(0)$ is true, then $N$ for $x=4$ has at least $9$ digits in its palindromic bases.

  • If $(*)$ is true, then the $N$ for $x\ge4$ can only have exactly $3$ digits in its palindromic bases.

We can prove that $x\ge4$ does not have a solution, if we can prove the $(1)$ and $(*)$.



$$\text{Looking at consecutive palindromes in three bases}$$

I believe it can be proved that a solution for $4$ or more consecutive bases does not exist (if this is the case), if all patterns for $3$ consecutive bases are found, since at that point, it would be possible to show if the patters will or never will extend to a fourth consecutive base.

(Like it was shown on MSE for the 3 digit pattern) - This still does not exclude the 3 digit palindromes, since it is not proven if this is the only pattern. See more under $d=1$ below.

$(0)$ Even length palindromes ($2p$ digits, $p\in\mathbb N$) seem to not form consecutive palindromes in three or more bases - still don't know how to prove this observation.

Following that, then we choose to observe odd digit length palindromes of $2d+1$ digits, $d\in\mathbb N$, which are palindromic in $3$ consecutive number bases $b\in\mathbb N \ge 2$, and we have so far:


$$\text{ 3 digit examples } (d=1)$$

Pick ($n=2k+3, k\in\mathbb N$), then we get a new example for every $n$, of form:

$$\frac{1}{2}(n^3 + 6n^2 + 14n + 11)$$

Which is palindromic in bases $n+1, n+2, n+3$.

Other than these, we have one more example: $300 = 606_7 = 454_8 = 363_9$

$(1)$ How to show (prove) that all 3 digit examples other than $300$ are in this pattern?

(No new exceptions or patterns exist for $b\lt2333$, so far. Verified here using python code)

You can see that the first pattern emerges at number base $b=6$, and no new patterns emerge for the next $2300$ number bases, which makes the existence of a second pattern (or more exceptions) very unlikely.


$$\text{ 5 digit examples } (d=2)$$

Pick ($n=4k+40, k\in\mathbb N$), then we get a new example for every $n$, of form:

$$\frac{1}{4}(3n^5 + 30n^4 + 125n^3 + 270n^2 + 307n + 148)$$

Which is palindromic in bases $n+1, n+2, n+3$; No other examples (exceptions) exist.

$(2)$ How to show (prove) that all 5 digit examples are in this pattern?

(No exceptions or new patterns exist for $b\le333$, so far. Verified here using python code)


$$\text{ 7 digit examples } (d=3)$$

Update: Based on computed examples and observations so far, multiple patterns and exceptions seem to exist for this case. Three patterns seem to exist:


Pick ($n=2k+79, k\in\mathbb N\cup \{-3,-2,-1\}$), there are infinitely many examples of form:

$$\frac{1}{2}(n^7+14n^6+88n^5 + 320n^4 + 718n^3 + 980n^2 + 748n + 247)$$


Pick ($n=6k+67, k\in\mathbb N\cup \{-2,-1,0\}$), there are infinitely many examples of form:

$$\frac{1}{6}(n^7+14n^6+88n^5 + 320n^4 + 718n^3 + 980n^2 + 748n + 245)$$


Pick ($n=12k+24, k\in\mathbb N$), there are infinitely many examples of form:

$$\frac{1}{12}(2 n^7 + 30 n^6 + 209 n^5 + 852 n^4 + 2117 n^3 + 3114 n^2 + 2474 n + 816)$$


All examples generated by the above are palindromic in number bases $n+1, n+2, n+3$.

Beside patterns, we have exceptions, (examples that do not fit into any patterns) :

9 3360633
13 19987816
15 43443858 
22 532083314 
26 1778140759 
28 2721194733 
28 11325719295 
36 47622367425 
40 97638433343 
42 224678540182 
43 265282702996 
48 561091062285 

These are palindromic in column given base $b$ and bases $b+1,b+2$.

$(3)$ How to show (prove) that all 7 digit examples other than these $12$ exceptions are in one of these three patterns (that these are the only patterns)?

(No new exceptions or patterns exist for $b\le111$, so far. Verified here using python code)


$$\text{ 9 digit examples } (d=4)$$

No examples have been found so far. I've checked number bases $b\le50$ so far, here.


$$\text{ 11 or more digit examples } (d\ge5)$$

Haven't searched for examples yet, as $d=4$ is already taking a long time per number base.




Some of these examples and patterns are also mentioned in an OEIS sequence.

I will update the post if my code yields any new exceptions/patterns.

P.S. Can the python code I'm using be more optimized? (Is there a faster way to compute this?)

How can one find these polynomial pattern expressions for some $d$ algebraically? Rather than needing to compute a lot of examples and then fitting them in a polynomial of degree $2d+1$?

Is there anything out there that can actually be used on this problem?




$$\text{Looking at almost four consecutive palindromes}$$

"Almost palindromic in four bases" - if it is palindromic in bases $b, b+3$ and in $b+1$ or $b+2$.
I checked how many of these are in the following digit groups up to some number base:

($b\le6000$) For $2$ digits, there are no examples.

($b\le900$) For $3$ digits, there are $1484$ examples.

($b\le800$) For $4$ digits, there is only one example at $b=10$.

($b\le150$) For $5$ digits, only two examples at $b=16$ and at $b=17$

($b\le100$) For $6$ digits, there are no examples.

($b\le50$) For $7$ digits, there are no examples.

Haven't checked $\ge9$ digit examples, yet.

The example output is here , and the example code can be run here; where you can modify the bases (and digits) being checked. Observing these almost-four-consecutive palindrome examples seems more promising to point out that there is no solution for $x=4$.

$(*)$ Is it true that all almost-four examples (other than the three exceptions) will only show as 3 digit palindromes, as observed so far?

Vepir
  • 611
  • 4
  • 17