OFFSET
0,2
COMMENTS
Or union of intersection of A161639 and {A079523(n)-8} and intersection of A161673 and {A121539(n)-8}. In general, for a>=1, consider equations A010060(x+a)+A010060(x)=1, A010060(x+a)=A010060(x). Denote via B_a (C_a) the sequence of nonnegative solutions of the first (second) equation. Then we have recursions: B_(a+1) is the union of transactions 1) C_a and {A121539(n)-a}, 2) B_a and {A079523(n)-a}; C_(a+1) is the union of transactions 1) C_a and {A079523(n)-a}, 2) B_a and {A121539(n)-a}.
Conjecture. In every sequence of numbers n, such that A010060(n)=A010060(n+k), for fixed odd k, the odious (A000069) and evil (A001969) terms alternate. - Vladimir Shevelev, Jul 31 2009
This conjecture was actually proved in a later version of the Shevelev arxiv article cited below, and it can also easily be proved by the Walnut prover. - Jeffrey Shallit, Oct 12 2022
LINKS
G. C. Greubel, Table of n, a(n) for n = 0..10000
J.-P. Allouche, Thue, Combinatorics on words, and conjectures inspired by the Thue-Morse sequence, arXiv:1401.3727 [math.NT], 2014.
J.-P. Allouche, Thue, Combinatorics on words, and conjectures inspired by the Thue-Morse sequence, J. de Théorie des Nombres de Bordeaux, 27, no. 2 (2015), 375-388.
Vladimir Shevelev, Equations of the form t(x+a)=t(x) and t(x+a)=1-t(x) for Thue-Morse sequence, arXiv:0907.0880[math.NT], 2009-2012.
MATHEMATICA
tm[0] = 0; tm[n_?EvenQ] := tm[n] = tm[n/2]; tm[n_] := tm[n] = 1 - tm[(n - 1)/2]; Reap[For[n = 0, n <= 18000, n++, If[tm[n] == tm[n + 9], Sow[n]]]][[2, 1]] (* G. C. Greubel, Jan 05 2018 *)
SequencePosition[ThueMorse[Range[0, 150]], {x_, _, _, _, _, _, _, _, _, x_}][[All, 1]]-1 (* Harvey P. Dale, Feb 06 2023 *)
PROG
(PARI) is(n)=hammingweight(n)%2==hammingweight(n+9)%2 \\ Charles R Greathouse IV, Aug 20 2013
CROSSREFS
KEYWORD
nonn,base
AUTHOR
Vladimir Shevelev, Jun 21 2009
EXTENSIONS
Terms a(35) onward added by G. C. Greubel, Jan 05 2018
STATUS
approved