OFFSET
1,1
COMMENTS
Numbers m, not divisible by 10, such that for some k, m*10^k is in A322323. - David A. Corneth, Dec 09 2018, corrected by M. F. Hasler, Dec 19 2018
In A322323 it is shown that the set of these self-stuffable numbers is the union of infinite subsequences produced from the roots M listed here, as follows: If E(M) = A007953(M) - A055642(M) = sumdigits(M) - #digits(M) > 0, then N = M*10^E(M) has a number of digits equal to its sum of digits, L = A007953(N) = A055642(N). Then S(N) is well defined, where S(N) is the number obtained from N by inserting d[i] spaces after each nonzero digit d[i] of N except for the last digit, and then filling these spaces by a second copy of the digits of N. (More generally, this S(x) is well defined iff E(x) = A010879(x).) If additionally N | S(N), then N is in A322323, a self-stuffable number. Moreover, all numbers N_m = Sum_{k=0..2m} 10^(k*L)*N, m >= 0, have the same property. If 10*M leads to such an N, then M leads to the same N. Therefore we call roots and list here only those M leading to self-stuffable N which are not divisible by 10.
a(13) = 22 and a(31) = 126 are the only known cases of primitive roots M with the additional property that E(M) = A010879(M), the last digit of M, in which case all M_m = Sum_{k=0..2m} 10^(k*L)*M, m >= 0, are also self-stuffable (if M | S(M)). A322323 is the union of the sets {N_m, m >= 0}, and {M_m, m >= 0} if E(M) = A010879(M), where M runs over all terms listed here. [Edited by M. F. Hasler, Dec 19 2018]
Lars Blomberg found another primitive (see A322323 for definition) root 21021021021021021021 that is self-stuffable to join the previously known examples 22 and 126. - Ray Chandler, Jan 02 2019
LINKS
Ray Chandler, Table of n, a(n) for n = 1..413
Ray Chandler, Some known self-stuffable primitive roots
FORMULA
EXAMPLE
The root a(1) = 2 has E(2) = 2 - 1 = 1 != 2 so it is not a self-stuffable number itself, but any odd number of concatenations of 2*10^E(2) = 20, 202020, 2020202020, ... is in A322323.
Similarly, a(2) = 3 has E(3) = 3 - 1 = 2 != 3, so (300, 300300300, ...) is a subsequence of A322323.
a(13) = 22 has E(22) = 4 - 2 = 2 = last digit of 22 and M = 22 | 2222 = S(M), so not only (2200, 220022002200, ...) but also (22, 2200220022, 220022002200220022, ...) is a subsequence of A322323.
a(31) = 126 has E(126) = 9 - 3 = 6 = last digit of 126 and M = 126 | 112266 = S(M), so not only (126000000, 126000000126000000126000000, ...) but also (126, 126000000126000000126, ...) is a subsequence of A322323.
PROG
(PARI) is_A322002(n)={my(c=0, d=digits(n), e=vecsum(d)-#d); d[#d] && e>0 && fromdigits(concat(vector(#d, i, vector(d[i]+1, k, if(k==1, d[i], c<#d, d[c+=1])))))%n==0}
CROSSREFS
KEYWORD
nonn,base
AUTHOR
M. F. Hasler, Dec 09 2018
STATUS
approved