The lower bound for binary ones in triangular numbers

About 5 years old · traced to

Let tn=n(n+1)/2t_n=n(n+1)/2 be the nnth triangular number, and let (n)21(n)_2^1 denote the positions of the 11s in the binary representation of nn.

Binary-weight conjecture. If n∈Nn\in\mathbb{N} is such that ∣(n)21∣≥6|(n)_2^1|\geq 6, then ∣(tn)21∣≥4|(t_n)_2^1|\geq 4.

This conjecture concerns how the number of 11s in the binary representation behaves under the triangular-number map. The supplied text gives no resolution, so its status remains open.

References

Primary source

Audrey Baumheckel and Tamás Forgács, “An exploration of very triangular numbers”, arXiv:2105.10354 (2023).

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.