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].
from [AKS14, Table 3].
from [AKS14, Table 3].
from [AKS14, Table 3].
from [AKS14, Table 3].
from [AKS14, Table 3].
from [AKS14, Table 3].
from [AKS14, Table 3].
from [AKS14, Table 3].
Does there exist a Lipschitz function whose graph is free of 3-term progressions?
What is the largest subset of with no solution to in distinct integers ?
From [Ruzsa] .
From [Schoen and Sisask] .
.
From [Yufei Zhao]: Is there a subset of of size with no nontrivial solutions to ?
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]
[Ma21] showed that .
[Ma21] showed that .
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.
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: .