A345397 a(n) is the least number k such that {k, k^2, ..., k^n} are all digitally balanced numbers in base 2 (A031443), or 0 if no such k exists.

2, 212, 3274, 15113, 236417, 15975465, 991017155, 4006725713, 4079348720699

Offset

1,1

Comments

Conjecture: all a(n) > 0. - Alex Ratushnyak, Apr 26 2022

Links

Table of n, a(n) for n=1..9.

Example

a(1) = 2 since 2 is digitally balanced: its binary representation, 10, has the same number of 0's and 1's.
a(2) = 212 since both 212 and 212^2 are digitally balanced: the binary representation of 212, 11010100, has 4 0's and 4 1's, and the binary representation of 212^2, 1010111110010000, has 8 0's and 8 1's.

Mathematica

balQ[n_] := Module[{d = IntegerDigits[n, 2], m}, EvenQ @ (m = Length @ d) && Count[d, 1] == m/2]; f[k_] := Module[{e = 0, r = k}, While[balQ[r], r *= k; e++]; e]; mx = 5; s = Table[0, {mx}]; c = 0; n = 1; While[c < mx, k = f[n]; Do[If[s[[i]] == 0, s[[i]] = n; c++], {i, 1, k}]; n++]; s

Prog

(Python)
from itertools import count, islice
from sympy.utilities.iterables import multiset_permutations
def isbalanced(n): b = bin(n)[2:]; return b.count("0") == b.count("1")
def A031443gen(): yield from (int("1"+"".join(p), 2) for n in count(1) for p in multiset_permutations("0"*n+"1"*(n-1)))
def a(n):
    for k in A031443gen():
        if all(isbalanced(k**i) for i in range(2, n+1)):
            return k
print([a(n) for n in range(1, 6)]) # Michael S. Branicky, Apr 26 2022

Crossrefs

Cf. A031443, A143146, A345396.

Sequence in context: A195335 A090560 A181903 * A078280 A125058 A202741

Adjacent sequences: A345394 A345395 A345396 * A345398 A345399 A345400

Keyword

nonn,base,more

Author

Amiram Eldar, Jun 17 2021

Extensions

a(9) from Bert Dobbelaere, Jun 18 2021

Name edited by Alex Ratushnyak, Apr 26 2022

Status

approved