[Paper Review] Quantum measurements and finite geometry

William K. Wootters|ArXiv.org|Jun 4, 2004

Quantum Mechanics and Applications2 references4 citations

TL;DR

This paper establishes deep analogies between quantum measurements—specifically mutually unbiased bases (MUBs) and symmetric informationally complete positive-operator-valued measures (SIC POVMs)—and finite geometry, particularly affine planes. It shows that MUBs correspond to affine planes, while SIC POVMs correspond to the same geometry with points and lines interchanged, offering a geometric framework to explore the existence of these structures in arbitrary dimensions, especially for non-prime-power dimensions like N=6.

ABSTRACT

A complete set of mutually unbiased bases for a Hilbert space of dimension N is analogous in some respects to a certain finite geometric structure, namely, an affine plane. Another kind of quantum measurement, known as a symmetric informationally complete positive-operator-valued measure, is, remarkably, also analogous to an affine plane, but with the roles of points and lines interchanged. In this paper I present these analogies and ask whether they shed any light on the existence or non-existence of such symmetric quantum measurements for a general quantum system with a finite-dimensional state space.

Motivation & Objective

• To investigate the structural parallels between quantum measurements and finite geometric configurations, particularly affine planes.
• To explore whether the geometric analogies can shed light on the existence or non-existence of complete sets of mutually unbiased bases (MUBs) and SIC POVMs in arbitrary finite dimensions.
• To examine whether the finite geometry framework can inform the foundational structure of quantum mechanics, especially in relation to hidden-variable models.
• To connect the geometric constructions to discrete phase space and the finite geometry underlying quantum state representations.

Proposed method

• Mapping complete sets of mutually unbiased bases (MUBs) to affine planes, where each basis corresponds to a parallel class of lines.
• Representing symmetric informationally complete positive-operator-valued measures (SIC POVMs) as the dual of affine planes, with points and lines interchanged.
• Using Zauner's work on quantum designs and finite geometry to formalize the correspondence between quantum measurements and combinatorial structures.
• Constructing a hidden-variable model where ontic states are points in a finite geometry and quantum states are lines, with probabilities derived from set intersections.
• Applying the Kochen-Specker theorem to show that such subset-based models cannot reproduce full quantum mechanics, thus highlighting the limits of classical analogies.
• Analyzing the number of mutually unbiased bases and SIC POVMs in terms of combinatorial constraints and finite field structures, especially for prime power dimensions.

Experimental results

Research questions

• RQ1 Can the geometric structure of affine planes explain the existence or non-existence of complete sets of mutually unbiased bases in finite-dimensional Hilbert spaces?
• RQ2 Is the duality between MUBs and SIC POVMs—where the latter correspond to the dual of the affine plane—indicative of a deeper symmetry in quantum measurement theory?
• RQ3 To what extent can finite geometry serve as a foundation for constructing hidden-variable models of quantum mechanics, particularly for pure states and measurement probabilities?
• RQ4 Does the analogy with finite geometry help resolve the open problem of whether SIC POVMs exist in all dimensions, especially for N=6?
• RQ5 How do the combinatorial constraints of mutually orthogonal Latin squares and finite geometries constrain the number of MUBs and SIC POVMs in non-prime-power dimensions?

Key findings

• A complete set of N+1 mutually unbiased bases in an N-dimensional Hilbert space corresponds exactly to an affine plane of order N, providing a geometric interpretation of the MUB problem.
• Symmetric informationally complete positive-operator-valued measures (SIC POVMs) correspond to the dual of an affine plane, where points and lines are interchanged, suggesting a dual geometric structure.
• For prime power dimensions N = p^k, both MUBs and SIC POVMs exist, and their existence is consistent with the finite geometry model.
• The paper demonstrates that a hidden-variable model based on finite geometry can reproduce the correct probabilities for SIC POVMs, but such models cannot reproduce full quantum mechanics due to the Kochen-Specker theorem.
• The existence of SIC POVMs in all dimensions remains an open problem, but the geometric analogy suggests that their existence may be linked to the existence of certain finite geometric configurations.
• The paper highlights that while the geometric analogy is powerful and illuminating, it may not resolve the existence question for N=6, where neither MUBs nor SIC POVMs are known to exist.