Ben Green's Open Problem 19: Upper
[Ma21] showed that .
Questions, not proof records
Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.
sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.[Ma21] showed that .
Let be the maximal such that there exist integers such that all sums of the shape are distinct. Is ?
If is -coloured then, for , there are integers such that have the same colour.
Find reasonable bounds for . The goal is to improve upon the Green-Sawhney bound.
Let be the maximal such that there exist integers such that all sums of the shape are distinct. How does grow? Can we find a (good) explicit function such that ?
If is a set of integers, what is the maximum number of affine translates of the set that can contain?
Conjectured in [Aa19] p.579: .
Let be the maximal such that there exist integers such that all sums of the shape are distinct. How does grow? Can we find a (good) explicit function such that ?
Conjecture p.579 in [Aa19]: .
Let be the maximal such that there exist integers such that all sums of the shape are distinct. How does grow? Can we find a (good) explicit function such that ?
For which values of is the following true: whenever we partition , ?
Let be the maximal such that there exist integers such that all sums of the shape are distinct. How does grow? Can we find a (good) explicit function such that ?
We conjecture that the best-known upper bound can be lowered.
Let be the maximal such that there exist integers such that all sums of the shape are distinct. How does grow? Can we find a (good) explicit function such that ?
We conjecture that the best-known lower bound can be raised.
Let be an infinite sequence of integers such that and is the least integer which is not a sum of consecutive earlier s. Show that .
The analogous problem in remains open. [Gr24]
Let be an infinite sequence of integers such that and is the least integer which is not a sum of consecutive earlier s. Show that for any .
What is the size of the smallest set (with at least two elements) for which no element in the sumset has a unique representation?
Suppose monotone sequence satisfies the following: A 0 = 1 and for all j, A (j + 1) is the
smallest natural number that cannot be written as a sum of consecutive terms of A 0, ..., A j.
Then it is conjectured that .
Propose a better lower bound along primes.
Let and be some large integer. What is the size of the largest set such that is not a sum of a subset of ? Does this depend on in an irregular way?