English

On the behavior of binary block-counting functions under addition

Number Theory 2024-12-23 v1 Combinatorics

Abstract

Let s(n)\mathsf{s}(n) denote the sum of binary digits of an integer n0n \geq 0. In the recent years there has been interest in the behavior of the differences s(n+t)s(n)\mathsf{s}(n+t)-\mathsf{s}(n), where t0t \geq 0 is an integer. In particular, Spiegelhofer and Wallner showed that for tt whose binary expansion contains sufficiently many blocks of 1\mathtt{1}s the inequality s(n+t)s(n)0\mathsf{s}(n+t) -\mathsf{s}(n) \geq 0 holds for nn belonging to a set of asymptotic density >1/2>1/2, partially answering a question by Cusick. Furthermore, for such tt the values s(n+t)s(n)\mathsf{s}(n+t) - \mathsf{s}(n) are approximately normally distributed. In this paper we consider a natural generalization to the family of block-counting functions NwN^w, giving the number of occurrences of a block of binary digits ww in the binary expansion. Our main result show that for any ww of length at least 22 the distribution of the differences Nw(n+t)Nw(n)N^w(n+t) - N^w(n) is close to a Gaussian when tt contains many blocks of 1\mathtt{1}s in its binary expansion. This extends an earlier result by the author and Spiegelhofer for w=11w=\mathtt{11}.

Cite

@article{arxiv.2412.15851,
  title  = {On the behavior of binary block-counting functions under addition},
  author = {Bartosz Sobolewski},
  journal= {arXiv preprint arXiv:2412.15851},
  year   = {2024}
}

Comments

36 pages

R2 v1 2026-06-28T20:43:45.975Z