An exact, machine-checkable defect atlas for the MUB(6) feasibility wall: max f = (88 + 3 sqrt6)/100 for the canonical product triple. Reproduce, audit, formalize, or break scoped bricks.
reproducible-research quantum-information formal-verification wolfram-language qiskit lean4 mutually-unbiased-bases
-
Updated
Jul 2, 2026 - Python