%I #7 Jul 13 2022 14:43:22
%S 1,2,1,2,2,4,1,8,1,2,2,14,2,2,4,4,1,8,1,14,1,8,7,2,1,16,1,2,2,8,2,2,1,
%T 14,4,2,2,2,7,2,2,4,4,2,10,4,1,4,1,2,8,8,1,8,1,8,1,14,4,4,1,8,1,8,5,2,
%U 7,14,2,2,1,2,1,2,1,16,7,2,1,8,1,2,2,8
%N a(n) is the least k > 0 such that the balanced ternary expansion of k*n contains as many negative trits as positive trits.
%C The sequence is well defined: for n > 0, by the pigeonhole principle, there are necessarily two distinct integers i and j (say with i > j) such that 3^i == 3^j (mod n); the value 3^i - 3^j is a positive multiple of n containing exactly one positive trit and one negative trit, so a(n) <= (3^i - 3^j) / n.
%F a(n) = 1 iff n belongs to A174658.
%e For n = 5:
%e - the first multiple of 5 (alongside their balanced ternary expansions) are:
%e k k*5 bter(k*5) #1 #T
%e - --- --------- -- --
%e 1 5 1TT 1 2
%e 2 10 101 2 0
%e 3 15 1TT0 1 2
%e 4 20 1T1T 2 2
%e - negative and positive trits are first balanced for k = 4,
%e - so a(5) = 4.
%o (PARI) a(n) = { for (k=1, oo, my (m=k*n, s=0, d); while (m, m=(m-d=[0,1,-1][1+m%3])/3; s+=d); if (s==0, return (k))) }
%Y See A351599 for a similar sequence.
%Y Cf. A065363, A174658, A355640.
%K nonn,base
%O 0,2
%A _Rémy Sigrist_, Jul 11 2022
|