Open Quantum Problem 23: SIC-POVMs
Benchmark open subproblem: existence of a SIC-POVM in dimension .
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.Benchmark open subproblem: existence of a SIC-POVM in dimension .
Benchmark open subproblem: existence of a SIC-POVM in dimension .
Benchmark open subproblem: existence of a SIC-POVM in dimension .
Benchmark open subproblem: existence of a SIC-POVM in dimension .
Benchmark open subproblem: existence of a SIC-POVM in dimension .
Benchmark open subproblem: existence of a SIC-POVM in dimension .
Benchmark open subproblem: existence of a SIC-POVM in dimension .
Benchmark open subproblem: existence of a SIC-POVM in dimension .
Benchmark open subproblem: existence of a SIC-POVM in dimension .
Benchmark open subproblem: existence of a SIC-POVM in dimension .
Benchmark open subproblem: existence of a SIC-POVM in dimension .
Do SIC-POVMs exist in every finite dimension?
Does the determinant of the sum of two normal complex matrices and always lie in the convex hull of the points ? Here the numbers and are the eigenvalues of and , and is an element of the symmetric group .
There exists a Hadamard matrix for all .
The smallest order for which no Hadamard matrix is presently known is .