Ben Green's Open Problem 58
Suppose both have size at least . Must the sumset contain a composite number?
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.Suppose both have size at least . Must the sumset contain a composite number?
The no-k-in-line problem: For and , the AllowedSetSize is , i. e. on an subset, there is a set of points for which no lie on a line (and not such a set of bigger size).
Green's Open Problem 72 / No-three-in-line problem*: The no-k-in-line conjecture holds for .
Does the no-three-in-line problem hold when is big enough?
Given points in the unit disc, must there be a triangle of area at most determined by them?
Problem 9 (ii): is ?
Problem 9 (iii): is , where ?
Conjecture 7 from Kahn–Kalai 2006: the same statement as the original conjecture, but with the additional assumption that is the critical probability for , namely .
Special case in dimension : determine the maximal number of mutually unbiased orthonormal bases in .
Special case in dimension (not a prime power): determine the maximal number of mutually unbiased orthonormal bases in .
Special case in dimension (not a prime power): determine the maximal number of mutually unbiased orthonormal bases in .
Special case in dimension (not a prime power): determine the maximal number of mutually unbiased orthonormal bases in .
Special case in dimension (not a prime power): determine the maximal number of mutually unbiased orthonormal bases in .
Open Quantum Problem 13: determine the maximal number of mutually unbiased orthonormal bases in for .
Open benchmark statement: does an state exist?
Open benchmark statement: does an state exist?
Open benchmark statement: does an state exist?
Open benchmark statement: does an state exist?
Open benchmark statement: does an state exist?
Open benchmark statement: does an state exist?