From minimal informationally complete measurements to orthocentric simplices and back again

Technical Summary: From Minimal Informationally Complete Measurements to Orthocentric Simplices and Back Again

Problem Statement
The reconstruction of unknown quantum states via minimal informationally complete measurements (MICs) is a fundamental task in quantum tomography. While the statistical properties of these measurements are well-understood, their underlying geometric structure has remained elusive. Specifically, the relationship between the operational concept of "tightness" in measurements and classical Euclidean geometry has not been fully established. The paper addresses the need to characterize the class of minimal s-tight informationally complete (IC) measurements—which encompasses tight IC and morphophoric measurements as special cases—by mapping them to a specific geometric object: the orthocentric simplex.

Methodology and Framework
The authors operate within the framework of Generalised Probabilistic Theories (GGPTs), specifically utilizing a "geometric" approach (GGPT) that focuses on the internal geometry of the state space.

1. Geometric Formalism: States are represented as a convex body $S$ in a finite-dimensional real inner product space $V_0$, with a distinguished state $0$ in its interior. Effects are described by pairs $(\psi, c)$, where $\psi$ is a vector in the dual set $S^\star$ and $c$ is a probability. Measurements are sequences of such pairs satisfying a closure condition ($\sum c_j \psi_j = 0$).
2. Frame Theory: The paper utilizes the language of finite frames. A measurement is defined as:
   • Informationally Complete (IC): The measurement vectors span $V_0$.
   • Minimal IC (MIC): An IC measurement with exactly $d+1$ outcomes (where $d = \dim V_0$).
   • s-tight IC: The measurement vectors form a scalable frame (i.e., they can be rescaled to form a tight frame).
   • Tight IC: The vectors $\sqrt{c_j}\psi_j$ form a tight frame.
   • Morphophoric: The vectors $c_j\psi_j$ form a tight frame.
3. Rescaling Procedure: A central technical insight is the introduction of a specific rescaling of measurement vectors. The authors demonstrate that a MIC is s-tight if and only if its vectors, when rescaled by factors derived from the ratio of measurement probabilities $c_j$ to specific barycentric coordinates $p_j$, form the vertices of an acute orthocentric simplex with the orthocentre at the origin.

Key Contributions and Results

1. Three-Way Equivalence (Theorem 12):
   The paper establishes a rigorous three-way equivalence for a minimal IC measurement $(\Psi, c)$:

   • (a) The measurement is s-tight.
   • (b) There exists a probability vector $p \in \Delta^\circ_{d+1}$ such that the rescaled vectors $\frac{c}{p}\Psi$ form the vertices of an acute orthocentric simplex with the orthocentre at the origin.
   • (c) The simplex formed by these rescaled vectors is homothetically self-dual (identical to its polar dual up to a negative homothety).
     This result provides an explicit algebraic dictionary linking the operational parameters (probabilities and scalability constants) to the geometric properties (barycentric coordinates and Gram matrices) of the simplex.

2. Angular Characterization (Theorem 20):
   The authors provide a purely angular characterization of s-tightness that does not require computing barycentric coordinates or scalability constants. A MIC is s-tight if and only if:

   • (I) Obtuse Angle Condition: The inner product of any distinct pair of measurement vectors is negative ($\langle \psi_j, \psi_k \rangle < 0$).
   • (II) Cross-Ratio Rule: For any four distinct indices, the cross-ratio of inner products satisfies $\langle \psi_i, \psi_j \rangle \langle \psi_k, \psi_l \rangle = \langle \psi_i, \psi_l \rangle \langle \psi_k, \psi_j \rangle$.
     This recasts measurement minimality and tightness as conditions on the directions of the measurement vectors alone.

3. Classification via Skeletons (Section 8.2):
   The paper classifies the space of admissible direction configurations for s-tight MICs. Modulo rotations, every such configuration is encoded by:

   • A skeleton: A single probability vector $p \in \Delta^\circ_{d+1}$ (the barycentric coordinates of the orthocentre).
   • An orientation class: A sign $\epsilon \in \{\pm 1\}$.
     The moduli space of s-tight MIC directions is thus identified as $\Delta^\circ_{d+1} \times \{\pm 1\}$.

4. Reconstruction from Geometry (Theorem 16):
   The correspondence works in reverse. Any acute orthocentric simplex with the orthocentre at the origin can be "anchored" in a state space to generate a class of minimal s-tight IC measurements. Within this class, there exists exactly one tight IC measurement (up to rescaling) corresponding to the case where the measurement probabilities equal the barycentric coordinates ($c = p$).

5. Special Cases:

   • Tight IC Measurements: Correspond to the case where the rescaling is trivial ($p_j = c_j$), meaning the measurement vectors themselves form an acute orthocentric simplex.
   • Morphophoric Measurements: Correspond to the case where the rescaled simplex is regular ($p_j = 1/(d+1)$). This implies that for morphophoric measurements, the rescaled vectors form a regular simplex, and the measurement is necessarily unbiased.

6. Quantum Examples (Section 7):
   The theory is applied to the quantum case (qubits, $D=2$). The authors analyze a one-parameter family of axially symmetric s-tight MICs. This family interpolates between:

   • A "flat limit" where one measurement vector vanishes.
   • The SIC-POVM (Symmetric Informationally Complete), which corresponds to the maximal symmetry point where the measurement vectors form a regular tetrahedron inscribed in the Bloch sphere.
   • An "obtuse angle limit" where three vectors approach mutual orthogonality.

Significance and Claims
The paper claims to provide a "bridge between the physical world and Euclidean geometry." Its primary significance lies in:

• Geometric Manifestation of Tightness: It reveals that the operational property of "tightness" (scalability) physically manifests as the geometric concurrency of altitudes in a rescaled measurement simplex, with the orthocentre at the origin.
• Constructive Design: It offers a constructive procedure for designing minimal tomographic procedures: one need only choose an admissible set of directions (encoded by a skeleton) and fix target probabilities to generate a valid s-tight measurement.
• Unification: It unifies various known classes of measurements (SICs, MUBs, morphophoric, tight IC) under a single geometric framework of orthocentric simplices.
• Fiducial Perspective: The authors note that tightness is relative to the inner product. They show that for any minimal IC measurement, there exists a unique inner product (induced by the measurement and a calibration) that renders it s-tight with a specific skeleton. This suggests that the Euclidean structure of the state space can be constructed from the measurement itself.

The authors conclude that while their formalism is general for GGPTs, the resulting classification yields new insights into the geometry of quantum measurements and provides a toolkit for analyzing minimal tomographic procedures in both quantum and beyond-quantum theories. They identify open problems regarding non-minimal measurements, the realisability of specific simplices in specific state spaces (e.g., the existence of SICs), and the theory of state updates (instruments) compatible with s-tight measurements.