Cusick's conjecture on the sum-of-digits correlation measure

From papers

Let t0t\geq 0 be an integer, and let μt\mu_t be the probability measure defined by the limiting distribution of s(n+t)s(n)\mathsf s(n+t)-\mathsf s(n). Set

ctj0μt(j).c_t\coloneqq\sum_{j\geq 0}\mu_t(j).

Cusick's conjecture. For all t0t\geq 0 we have

ct>12.c_t>\frac12.

This conjecture concerns the positive-side mass of the distribution of binary sum-of-digits differences and remains open in the source.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Bartosz Sobolewski and Lukas Spiegelhofer, “Decomposing the sum-of-digits correlation measure”, arXiv:2411.07779 (2025).

Solutions 0

No solutions have been posted yet.