The lower bound for binary ones in triangular numbers

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 nNn\in\mathbb{N} is such that (n)216|(n)_2^1|\geq 6, then (tn)214|(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.

Sources & referencesView supporting material

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.