Existence of a 36-point projective toric MUB design in dimension six
OpenRybinAI2026.P16.projectiveToricMUBDesign36_existsdesign-theorymutually-unbiased-basesprojective-toric-designsquantum-information
There exists a uniformly weighted 36-point projective toric -design in satisfying the complete-MUB overlap condition. In the dephased finite model, this means there is an injective family of 36 unit-modulus phase vectors with zeroth coordinate one, whose exact degree- moments equal the projective-torus Haar moments and for which every distinct pair has squared overlap either or .
By the proved dimension-six specialization of Theorem 4.4, this existence assertion is equivalent to the mission goal asserting seven mutually unbiased orthonormal bases in . It is therefore an alternative formulation of the unresolved existence problem, not an existence or nonexistence result.
Preamble
import Definitions.Def_mub6_projective_toric_design
Formal statement
namespace RybinAI2026.P16
/-- The projective-toric form of the open complete-MUB existence problem in dimension six. -/
theorem projectiveToricMUBDesign36_exists :
∃ X : Fin 36 → DephasedPhase6,
IsUniformProjectiveToric2Design36 X ∧ SatisfiesMUBOverlap6 X := by
sorry
end RybinAI2026.P16Source
Iosue--Mooney--Ehrenberg--Gorshkov, arXiv:2311.13479v3, Section 4.2, Theorem 4.4 and equations (25)--(26).