Ben Green's Open Problem 40
Does ? [Gr24]
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.Does ? [Gr24]
The possibility that f(r) = 1 for all r has not been ruled out [Gr24]
It is not known whether f(2) = 1 [Gr24]
Does ? [Gr24]
Does ? [Gr24]
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?
Open benchmark statement: does an state exist?
Open benchmark statement: does an state exist?
Open benchmark statement: does an state exist?