The sum-of-digits function on arithmetic progressions

Abstract

Let $s_2$ be the sum-of-digits function in base $2$, which returns the number of nonzero binary digits of a nonnegative integer $n$. We study $s_2$ along arithmetic subsequences and show that — up to a shift — the set of $m$-tuples of integers that appear as an arithmetic subsequence of $s_2$ has full complexity.