The block-appending conjecture for the sum-of-digits correlation measure

From papers

Let t1t\geq 1 be an odd integer, and let ctc_t denote the correlation quantity associated with the binary sum-of-digits difference for tt. For each K1K\geq 1, consider the integer 2Kt12^Kt-1 and its corresponding quantity c2Kt1c_{2^Kt-1}. Block-appending conjecture. For each odd integer t1t\geq 1 we have

ctlimKc2Kt1.c_t\geq\lim_{K\to\infty}c_{2^Kt-1}.

The conjecture formalizes replacing the rightmost 11 in the binary expansion of an odd integer by a 00 followed by infinitely many 11s. It is relevant because results cited in the source show ct>1/2c_t>1/2 when tt contains sufficiently many blocks of 11s, but the conjecture itself 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.