The Thue-Morse Transform
arXiv:2604.06243
Abstract
We define the Thue-Morse transform T on a class of infinite binary words. It sends the alternating word a_0 = 010101... to the Thue-Morse sequence. We then study its orbit a_m = T^m(a_0) as well as the sequences u_m and v_m giving respectively the positions of the ones and the zeros in a_m. We obtain an explicit formula for a_m and deduce Prouhet-Tarry-Escott identities for the partitions induced by u_m and v_m. We also give composition formulas for u_m and v_m, and a full description of the factor complexity of a_m.
37 pages. Substantially revised version; the paper has been reorganized and shortened, and the factor complexity section has been rewritten