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

At least 1 year old · documented by

Let t≥0t\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

ct≔∑j≥0μt(j).c_t\coloneqq\sum_{j\geq 0}\mu_t(j).

Cusick's conjecture. For all t≥0t\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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.