⚛️ quantum physics

Mutually Unbiased Bases and Orthogonal Latin Squares -- version 3

This paper establishes that the existence of a complete set of mutually unbiased bases in an N-dimensional Hilbert space necessitates the existence of a complete set of mutually orthogonal Latin squares of order N, thereby proving that no such complete set exists in dimension six.

Original authors: Stefan Joka

Published 2026-01-26

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Stefan Joka

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Picture: A Puzzle of Quantum Dice

Imagine you are trying to solve a giant, multi-dimensional puzzle. In the world of quantum physics, this puzzle is about finding the perfect set of "measurement tools" (called Mutually Unbiased Bases, or MUBs).

Think of these tools like different ways to roll a die.

If you roll a standard 6-sided die, you get numbers 1 through 6.
If you have a "mutually unbiased" way of rolling it, the result of the first roll tells you absolutely nothing about the result of the second roll. They are completely independent.

The paper tackles a famous mystery: Can we find a "complete set" of these perfect, independent measurement tools for a 6-sided system? (In math terms, a 6-dimensional space).

The author, Stefan Joka, proves a very specific rule: If you can find this complete set of quantum tools, you must also be able to solve a specific type of grid puzzle called "Orthogonal Latin Squares."

Since mathematicians have known for a long time that you cannot solve that grid puzzle for a 6x6 grid, Joka's proof implies that you cannot find the complete set of quantum tools for a 6-dimensional system either.

The Three Key Ingredients

To prove this, the author mixes three different concepts. Here is how they work, using simple metaphors:

1. The "Complementarity Polytope" (The Shape of the Puzzle)

Imagine you have a collection of points in space. If you connect them, they form a shape (a polytope).

In this paper, the author looks at the shape formed by the "perfect" quantum measurements.
He argues that if a complete set of measurements exists, this shape must have a very specific, rigid structure.
The Analogy: Think of this shape as a hollow, multi-sided die. The author wants to see if you can fit a smaller, perfect solid shape (a simplex) inside this hollow die so that the corners of the inner shape touch the exact centers of the outer die's faces.

2. The "Maximal Abelian Subalgebras" (The Organized Groups)

In quantum mechanics, some measurements can be done together without interfering with each other (like measuring the color and the size of a ball). Others cannot.

The author groups these measurements into "commuting classes."
The Analogy: Imagine a library. You can organize books by "Genre" or by "Author." If you have a complete set of unbiased bases, it's like having a library where you can perfectly organize the books by Genre, AND by Author, AND by Publication Date, all at the same time, without any book being in the wrong place. The paper shows that if you have this perfect organization, it forces a specific mathematical structure on the library.

3. The "Symplectic Toric Manifold" (The Map and the Shadow)

This is the most complex part, but the author uses it as a powerful map.

He uses a branch of geometry called "Symplectic Geometry" to project the high-dimensional quantum world onto a simpler shape.
The Analogy: Imagine shining a light on a complex 3D sculpture (the quantum world) to cast a shadow on a 2D wall.
- The "sculpture" is the space of all possible quantum states.
- The "shadow" is a simple, perfect geometric shape (a simplex).
- The author shows that if the "sculpture" has the perfect quantum structure (the complete set of MUBs), its "shadow" must be a perfect, regular shape that can be sliced up in a very specific way.

The "Aha!" Moment: Connecting the Dots

The core of the proof is a chain reaction:

The Assumption: Let's pretend a complete set of quantum tools (MUBs) exists for dimension $N$ .
The Geometry: Because they exist, they create a perfect, regular geometric shape (a simplex) in a high-dimensional space.
The Decomposition: This big shape can be broken down into smaller, perfect shapes that all share one common corner.
The Connection: The author proves that this specific way of breaking down the shape is mathematically identical to solving the Orthogonal Latin Squares puzzle.
- What is a Latin Square? It's like a Sudoku grid where every row and column has unique symbols.
- What are "Mutually Orthogonal" Latin Squares? It's like having two Sudoku grids on top of each other. If you look at any single cell, the pair of numbers (one from the top grid, one from the bottom) must be unique across the whole board.
The Conclusion: The paper proves that if the quantum tools exist, then the Latin Square puzzle must be solvable.

The Final Verdict: The Case of Dimension 6

The paper ends with a famous "gotcha":

Mathematicians have known since the time of Euler (and were confirmed by modern math) that you cannot create a complete set of Orthogonal Latin Squares for a 6x6 grid.
Because Joka proved that "Quantum Tools Exist" $\rightarrow$ "Latin Squares Exist," and we know "Latin Squares Do Not Exist" for size 6...
Therefore, "Quantum Tools Do Not Exist" for size 6.

Summary in One Sentence

Stefan Joka uses the geometry of shadows and shapes to prove that the impossible-to-solve "6x6 Sudoku" puzzle is the mathematical reason why a complete set of perfect quantum measurement tools cannot exist in a 6-dimensional universe.

Technical Summary: Mutually Unbiased Bases and Orthogonal Latin Squares

Problem Statement
The paper addresses the long-standing open problem regarding the existence of a complete set of Mutually Unbiased Bases (MUBs) in $N$ -dimensional Hilbert space. While it is established that complete sets of MUBs exist when $N$ is a prime power, the maximal number of MUBs remains unknown for dimensions that are not prime powers, most notably $N=6$ . The author seeks to establish a rigorous mathematical link between the existence of a complete set of MUBs and the combinatorial problem of Mutually Orthogonal Latin Squares (MOLSs). Specifically, the paper aims to prove that the existence of a complete set of MUBs in dimension $N$ implies the existence of a complete set of MOLSs of order $N$ .

Methodology
The proof synthesizes results from three distinct mathematical frameworks:

Complementarity Polytope: Utilizing the geometric approach by Bengtsson and Ericsson, the paper treats MUBs as elements within the space of density matrices. It examines the "complementarity polytope," a convex hull formed by the $P$ -simplices (regular simplices) corresponding to orthonormal bases. The paper relies on the known result that a regular simplex of dimension $N^2-1$ can be inscribed into this polytope (with vertices at the centers of the polytope's facets) if and only if a complete set of MOLSs exists.
Algebraic Decomposition (MASAs): The paper employs the algebraic approach involving Maximal Abelian Subalgebras (MASAs) and maximal commuting bases. It utilizes the theorem by Bandyopadhyay et al., which states that a set of MUBs corresponds to a decomposition of the space of complex matrices $M_N(\mathbb{C})$ into $N+1$ quasi-orthogonal $N$ -dimensional subspaces.
Symplectic Toric Manifolds: The core of the proof applies the Atiyah-Guillemin-Sternberg (AGS) theorem regarding symplectic toric manifolds. The author constructs a symplectic structure on the complex projective space $\mathbb{C}P^{N^2-1}$ (derived from $M_N(\mathbb{C})$ ) and analyzes the moment map associated with a Hamiltonian torus action. This maps the projective space to a regular simplex (the $A$ -simplex).

Key Contributions and Results
The primary contribution is the proof that the existence of a complete set of MUBs in dimension $N$ necessitates the existence of a complete set of MOLSs of order $N$ . The logical flow of the proof is as follows:

Assuming a complete set of MUBs exists, the space $M_N(\mathbb{C})$ admits a quasi-orthogonal decomposition into $N+1$ MASAs.
This decomposition induces a corresponding structure on the complex projective space $\mathbb{C}P^{N^2-1}$ .
By applying the AGS theorem to this space and its subspaces, the author demonstrates that the moment map generates a regular simplex of dimension $N^2-1$ (the $A$ -simplex) which can be decomposed into $N+1$ regular simplices of dimension $N-1$ ( $P_1$ -simplices).
The author establishes a geometric correspondence where the vertices of the $A$ -simplex align with the centers of the facets of the complementarity polytope.
Through an inductive argument (verified for $N=2$ and generalized), the paper concludes that this geometric configuration is only possible if the combinatorial conditions for a complete set of MOLSs are met.

Significance and Claims
The paper claims a definitive negative result for the specific case of dimension six. Since it is a known combinatorial fact (established by Euler and later confirmed) that a complete set of MOLSs does not exist for $N=6$ , the paper concludes that a complete set of MUBs does not exist in dimension six.

The author positions this work as a formal equivalence between the MUB problem and the MOLS problem for all dimensions $N$ , not just prime powers. By proving that the existence of the former implies the latter, the paper leverages the known non-existence of MOLSs for $N=6$ and $N=10$ to resolve the MUB question for these specific dimensions. The paper does not propose new experimental applications or future physical theories but rather provides a mathematical bridge between quantum information theory (MUBs) and combinatorial design theory (MOLSs).