The infinite nested sumsets conjecture

About 3 years old · traced to

Let A⊂NA\subset\mathbb{N} have positive upper Banach density. For an infinite sequence of infinite sets B1,B2,…⊂NB_1,B_2,\ldots\subset\mathbb{N}, define B1+⋯+BiB_1+\cdots+B_i in the usual way.

Infinite nested sumsets conjecture. There is an infinite sequence of infinite sets B1,B2,…⊂NB_1,B_2,\ldots\subset\mathbb{N} such that

B1+⋯+Bi⊂Afor every i∈N.B_1+\cdots+B_i\subset A\qquad\text{for every }i\in\mathbb{N}.

This strengthens the finite nested sumsets conjecture by requiring one sequence to work for every order. It is posed as an open strengthening.

References

Primary source

Bryna Kra, Joel Moreira, Florian K. Richter and Donald Robertson, “Problems on infinite sumset configurations in the integers and beyond”, arXiv:2311.06197 (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.