A327810 -id:A327810 - cp's OEIS frontend

A279092 Numbers that are nontrivially palindromic in two or more consecutive integer bases.

10, 46, 67, 92, 98, 104, 121, 130, 135, 154, 178, 185, 191, 227, 232, 235, 277, 282, 292, 300, 326, 343, 373, 379, 410, 436, 446, 454, 455, 464, 483, 497, 543, 555, 562, 565, 631, 640, 646, 647, 651, 656, 676, 704, 738, 745, 781, 787, 797, 809, 835, 858, 862

Offset: 1

Jon E. Schoenfield, Jan 31 2017

For any integer b > 1, the base-b expansion of any number k < b will be a one-digit number, and will thus be trivially palindromic.
From Matej Veselovac, Sep 26 2019: (Start)
All terms of the sequence have 3 or more digits in at least one of the consecutive palindromic bases. The only term that has 2,3 digits exactly in the consecutive palindromic bases, is the first term a(1) = 10 = (1,0){10} = (2,2){4} = (1,0,1)_{3}, which is palindromic in bases 4,3 and has 2,3 digits in those bases, respectively.
If a term of the sequence has d digits in the smallest of the palindromic bases, then d must be odd. This is because an even length palindrome in base b, is divisible by b+1, and hence can't be palindromic in the base b+1 as it will end in 0. This implies that if a term has an equal number of digits in all bases, that number must be odd.
All terms that have exactly d = 3 digits in consecutive palindromic number bases b,b-1,... are given by the following two families (if and only if relation):
1. n = (x+1, y+4, x+1)_{b = 5+x+y} = (x+1)(5+x+y)^2+(y+4)(5+x+y)^1+(x+1)
2. n = (x+2, 5, x+2)_{b = x+6} = (x+2)(x+6)^2+5(6+x)^1+(x+2)
Where x, y = 0,1,2,3,... go over all nonnegative integers, where (a_1, a_2, a_3) represents digits in base {b} in terms of x, y; and where the RHS is the decimal expansion.
There are similar families for every subsequence of terms having exactly d digits in all bases, but they get much more complex for d >= 5. The d = 5 case is included at the link "Special linear Diophantine system - is it solvable in general?".
Specifically, every subsequence of terms with exactly d digits in all of the consecutive palindromic bases, is infinite. This is proven by finding the following subsequence of such subsequences:
We can construct a subsequence yielding infinitely many terms for every digit case d. For example, one such family is given by (b-1,0,b-1,0,...,0,b-1)_{b}, by alternating "b-1" and "0" digits in base b, and will be nontrivially palindromic in base b+1 as well, for all b > binomial(2k, k), where d=2k+1 is an odd number of digits, for every natural number k. That is, in the decimal expansion, these terms are equal to (b^(2k+2)-1)/(b+1), giving infinitely many terms for every k, that have d=2k+1 digits in palindromic bases b, b+1, for every b > binomial(2k, k).
In contrast, if the number of digits is not equal in all of the consecutive palindromic bases, then every subsequence that is bounded by a maximal number of d digits allowed in the consecutive palindromic bases, seems to be finite.
That is, we can say "almost all" terms in this sequence belong to the case of having an equal number of digits in all consecutive palindromic bases. The remaining terms, that do not have an equal number of digits in all consecutive palindromic bases, are given in A327810.
(End).

			10 is in the sequence because the bases in which 10 is nontrivially palindromic include 3 and 4: 10 = 101_3 = 22_4.
178 is in the sequence because the bases in which 178 is nontrivially palindromic include 6, 7, and 8: 178 = 454_6 = 343_7 = 262_8.
252 is nontrivially palindromic in 11 integer bases (2002_5 = 252_10 = ee_17 = cc_20 = 99_27 = 77_35 = 66_41 = 44_62 = 33_83 = 22_125 = 11_251), but none of these bases are consecutive integers, so 252 is not in the sequence.

MathOverflow, Special linear Diophantine system - is it solvable in general?
Matej Veselovac, Table of n, a(n) for n = 1..1000 (first 53 terms from _Jon E. Schoenfield_)

Cf. A002113 (palindromes in base 10), A048268 (smallest palindrome greater than n in bases n and n+1).
Numbers that are palindromic in bases k and k+1: A060792 (k=2), A097928 (k=3), A097929 (k=4), A097930 (k=5), A097931 (k=6), A099145 (k=7), A099146 (k=8), A029965 (k=9), A029966 (k=11).
Cf. A279093 (analogous with three or more consecutive integer bases).
Cf. A327810 (subsequence with different number of digits in those bases).

palQ[n_Integer, base_Integer] := Boole@ Block[{}, Reverse[idn = IntegerDigits[n, base]] == idn]; fQ[n_] := Block[{b = 2}, While[b < n && {palQ[n, b], palQ[n, b + 1]} != {1, 1}, b++]; b < n]; Select[ Range@1000, fQ] (* Robert G. Wilson v, Jan 31 2017 *)
c[b1_, d_] := Pick[FromDigits[#, b1 + 1] & /@ #, PalindromeQ[#] && Length[#] > 1 & /@ #] &@ IntegerDigits[ FromDigits[#, b1] & /@ (Flatten[Outer[List, Range[1, b1 - 1], Sequence @@ ConstantArray[Range[0, b1 - 1], d + 0]], d + 0][[All, Join[Range[d + 1], Reverse[Range[1, d + 0]]]]]), b1 + 1]; a[L_] := DeleteDuplicates[Sort[Select[Flatten[Table[c[b1, d], {d, 1, Ceiling[Log[2, L]/2] + 1}, {b1, 2, Ceiling[L ^(1/(2 d))]}]], # Matej Veselovac, Sep 28 2019 *)

A323742 a(n) is the smallest number that is a (2n+1)-digit palindrome in three consecutive integer bases, or 0 if no such number exists.

Original entry on oeis.org

178, 154593982, 3360633, 0, 0, 0

Offset: 1

Jon E. Schoenfield, Mar 24 2019

It is conjectured that a(n)=0 for all n>=4. - Matej Veselovac, Mar 25 2020

			a(1)=178 is the smallest number that is a 3-digit palindrome in three consecutive integer bases: 178 = 454_6 = 343_7 = 262_8.
a(2)=154593982 is the smallest number that is a 5-digit palindrome in three consecutive integer bases: 154593982 = (37,31,22,31,37)_45 = (34,24,11,24,34)_46 = (31,32,0,32,31)_47.
a(3)=3360633 is the smallest number that is a 7-digit palindrome in three consecutive integer bases: 3360633 = 6281826_9 = 3360633_10 = 1995991_11.

Max Alekseyev, Generalized system and related problems, Mathematics Stack Exchange, Oct 06 2019

Cf. A279093, A327810.

a(4)-a(6) from Max Alekseyev, Jun 14 2020

cp's OEIS Frontend

A279092 Numbers that are nontrivially palindromic in two or more consecutive integer bases.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica