Regularity of a function related to the 2-adic logarithm
The author answers a question of J. Shallit and the reviewer by proving that the sequence \((f(n))_n\), where \(f(n)= \min_{k\geq n} (k- v_2(k))\), is not 2-regular. Actually, even more is proved: The sequences \(n\to f(2^kn)\) are \(\mathbb{Q}\)-linearly independent.
scientific article; zbMATH DE number 5919211