Resolving the Edge of a Quantum Pyramid

Abstract: Standing on the shoulders of giants, we resolve the quantum pyramids conjecture, confirming the globally information-optimal measurement for an ensemble of equiangular equiprobable pure states, as conjectured by Englert and Řeháček (arXiv:0905.0510). We do so by proving the remaining entropy inequalities of Holevo and Utkin (arXiv:2506.06700), which certify optimality for obtuse and flat pyramids. For obtuse pyramids, our key contribution is a rigorous proof that local minimizers of the corresponding entropy inequality cannot have three distinct coordinate values. We show that eliminating this family can be reduced to a neat algebraic reciprocal inequality relating branches of the Lambert $W$ function, which may be of independent interest. For flat pyramids, we prove a tight $\ell^p$ inequality for zero-sum vectors that was recently conjectured, proved analytically in dimension $d=3$, and computationally verified for $d\leq 200$ by Holevo and Utkin (arXiv:2603.24017). We prove this bound for all $d\geq 2$ via a technique in symmetric inequalities known as the equal variables method.

• The paper resolves optimal measurement for quantum pyramids by proving analytic entropy inequalities that classify minimizer families in obtuse and flat regimes.
• It employs real-variable reduction techniques, Lagrange multipliers, and the Lambert W function to eliminate non-optimal three-value minimizers in symmetric ensembles.
• The study establishes tight ℓ^p bounds for zero-sum vectors, rigorously confirming previously conjectured numerical limits for accessible information.

Resolving the Edge of a Quantum Pyramid: Summary and Analysis

Problem Setting and Context

The paper addresses the quantum pyramids conjecture, which concerns the globally information-optimal measurement for ensembles of equiangular, equiprobable pure states ("quantum pyramids") in the context of accessible information. Accessible information quantifies the maximal mutual information extractable via measurements from a quantum state ensemble. While exact solutions exist for simple or highly symmetric ensembles, the conjectured optimal POVMs for generic symmetric configurations remained unresolved, particularly for obtuse and flat pyramid regimes.

The work builds on recent advances using duality-based entropy inequalities [holevo2025quantum], which reduce the task of measurement optimality certification to rigorous proofs of certain entropy bounds. These inequalities generalize and extend links to log-Sobolev-like inequalities and offer a tractable analytic route for symmetric ensembles.

Quantum Pyramid Ensembles and Measurement Structure

The quantum pyramid ensemble is parameterized by a set of $m$ states constructed via a pair $(a,b)$, subject to normalization constraints:

$$\ket{\psi_j} = a\ket{e_j} + b\sum_{i \neq j}\ket{e_i},\quad a^2 + (m-1) b^2 = 1$$

with equiprobable selection. Types of pyramids are categorized by the overlap parameter $\xi = \langle \psi_j | \psi_k \rangle$; regimes are classified as orthogonal ($\xi=0$), acute ($\xi\in (0,1)$), obtuse ($\xi\in (-1/(m-1),0)$), and flat ($\xi = -1/(m-1)$).

Optimal measurements in acute and orthogonal regimes are already established [holevo2025quantum, sasaki1999accessible]. The challenge lies in the flat and obtuse regimes, where the structure of optimal POVMs differs—most notably, the optimal measurement for flat pyramids is typically a pair-difference measurement, previously known only for small $m$.

Main Technical Contributions

Entropy Inequality Proofs for Obtuse and Flat Pyramids

The central achievement is a complete analytic resolution of the conjectured entropy inequalities for the obtuse and flat regimes, thereby certifying the optimality of the respective measurements.

Obtuse pyramids: The authors prove the entropy inequality for all dimensions by leveraging real-variable reductions, detailed Lagrange multipliers analysis, and symmetry exploitation. The substantial technical step is to eliminate minimizer families with three distinct coordinate values; this is reduced to a key reciprocal inequality involving branches of the Lambert $W$ function, proved in the appendix. The minimizer structure is fully characterized, showing only two-value families contribute.

Flat pyramids: The tight $(a,b)$0 inequality for zero-sum vectors, conjectured and computationally validated up to $(a,b)$1 [holevo2026conjecturetightnorminequality], is proved analytically for all $(a,b)$2 using the equal variables method from algebraic inequalities [cirtoaje2006algebraic]. The minimizer family is classified, and the reduction yields the claimed entropy bound.

In both cases, complete analytic proofs replace the previous reliance on computational or partial arguments.

Measurement Implications

For obtuse pyramids, the certified result implies that the optimal measurement may necessitate more POVM elements than the number of ensemble states—confirmed again for lifted trine structures [shor2002number]. For flat pyramids ($(a,b)$3), the accessible information is shown to transition from $(a,b)$4 to a tight bound involving logarithmic ratios, precisely confirming previous numerical conjectures.

Strong Results and Claims

• Full resolution: All previously open entropy inequalities associated with obtuse and flat quantum pyramids are rigorously proved; numerical verification is now supplanted by analytic proof for all dimensions.
• Minimizer classification: Three-value minimizer families cannot attain the entropy bound; only two-value structures produce minima, sharply narrowing the search space and simplifying the analytic structure.
• Lambert $(a,b)$5 reduction: The elimination of the hard family is reduced to an algebraic inequality relating branches of the Lambert $(a,b)$6 function—a result of independent mathematical interest.
• General tight $(a,b)$7 inequality: The paper proves the tight norm bounds for zero-sum vectors conjectured in [holevo2026conjecturetightnorminequality], using robust symmetry methods rather than combinatorial expansion.

Practical and Theoretical Implications

From a quantum information perspective, the results settle a longstanding conjecture, establishing a definitive measurement prescription for equiangular symmetric ensembles across all relevant regimes. The elimination of computational uncertainty in the flat and obtuse cases means that practical designs for communication protocols or state discrimination can be certified for theoretically optimal information extraction.

The analytic techniques introduced—especially the reduction to single-variable inequalities and equal variables method—suggest broader applicability to other symmetric quantum state ensembles, including the open case of symmetric mixed states and higher-order quantum designs [dall2014accessible, dall2014tight]. This also ties into the ongoing program of deriving entropy inequalities with operational meaning for quantum measurements.

The $(a,b)$8 bounds have ramifications in information geometry, escort distributions, and discrete log-Sobolev inequalities, and may have utility in studying non-linear information theoretic inequalities on graphs or discrete spaces [polyanskiy2019improved, gu2023non].

Future Directions

The methodology developed here—real reductions, minimizer family analysis, algebraic reductions—are likely transferable to unexplored quantum ensembles, notably those where the optimal measurement is unknown or conjectured to have complex structure (e.g., double trine, symmetric mixed states).

The connections to log-Sobolev-type inequalities and their variants suggest future research in quantum information theory may increasingly leverage tight entropy bounds with geometric or algebraic proof techniques, including discrete, non-linear, or modified inequalities [bobkov2006modified, ohara2010dually].

Finally, exploration of measurement optimality via dual entropy inequalities for more general classes, possibly including non-equiangular or non-equiprobable ensembles, remains a promising avenue.

Conclusion

This paper resolves the quantum pyramids conjecture by analytically proving the entropy inequalities certifying the globally information-optimal measurement for obtuse and flat symmetric pure-state ensembles. The approach combines advanced analytic tools with algebraic reductions, characterizing the structure of minimizers and connecting the problem to broader mathematical themes. The results stand as a rigorous foundation for optimal quantum measurements in symmetric settings and provide methodological innovations applicable to a wider class of quantum information problems (2606.14698).