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

About 2 years old · traced to

Let t≥1t\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 K≥1K\geq 1, consider the integer 2Kt−12^Kt-1 and its corresponding quantity c2Kt−1c_{2^Kt-1}. Block-appending conjecture. For each odd integer t≥1t\geq 1 we have

ct≥lim⁡K→∞c2Kt−1.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.

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.