Ben Green's Open Problem 14
from [AKS14, Table 3].
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.from [AKS14, Table 3].
Let such that is irrational. Is
\{ \lfloor \beta\rfloor,\lfloor \gamma\beta\rfloor,\lfloor \gamma^2\beta\rfloor,\ldots\}$$ complete?from [AKS14, Table 3].
Let be the maximal such that there exist integers such that all sums of the shape are distinct. Is ?
Does there exist a Lipschitz function whose graph is free of 3-term progressions?
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 ?
What is the largest subset of with no solution to in distinct integers ?
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 ?
From [Ruzsa] .
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 ?
From [Schoen and Sisask] .
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 ?
.
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 ?
From [Yufei Zhao]: Is there a subset of of size with no nontrivial solutions to ?
Suppose is an infinite set such that all finite sums of consecutive terms of are distinct. Then it is conjectured that has density 0.
Suppose that is a finite group, and let be a subset of density . Is it true that there are triples such that all lie in ?
Note: A is taken as -dense, i.e. [Au16, Question 2]
Suppose is an infinite set such that all finite sums of consecutive terms of are distinct. Then it is conjectured that the sum converges.
[Ma21] showed that .
Let be the maximal such that there exist integers such that all sums of the shape are distinct. It is known that