English

Approaching Cusick's conjecture on the sum-of-digits function

Number Theory 2019-04-19 v1 Combinatorics

Abstract

Cusick's conjecture on the binary sum of digits s(n)s(n) of a nonnegative integer nn states the following: for all nonnegative integers tt we have ct=limN1N{n<N:s(n+t)s(n)}>1/2. c_t=\lim_{N\rightarrow\infty}\frac 1N\left\lvert\{n<N:s(n+t)\geq s(n)\}\right\rvert>1/2. We prove that for given ε>0\varepsilon>0 we have ct+ct>1ε c_t+c_{t'}>1-\varepsilon if the binary expansion of tt contains enough blocks of consecutive 1\mathtt 1s (depending on ε\varepsilon), where t=32λtt'=3\cdot 2^\lambda-t and λ\lambda is chosen such that 2λt<2λ+12^\lambda\leq t<2^{\lambda+1}.

Keywords

Cite

@article{arxiv.1904.08646,
  title  = {Approaching Cusick's conjecture on the sum-of-digits function},
  author = {Lukas Spiegelhofer},
  journal= {arXiv preprint arXiv:1904.08646},
  year   = {2019}
}

Comments

7 pages

R2 v1 2026-06-23T08:43:33.819Z