Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2606.14698

Resolving the Edge of a Quantum Pyramid

Alvan Arulandu

quant-phmath-phmath.FASubmitted Jun 12, 2026• Announced Jun 15, 2026• 0 citations
arXivHTMLPDF

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.

Comments
34 pages

Related papers

Quantum Accessible Information and Classical Entropy Inequalities

Alexander Semenovich Holevo, A. V. Utkin

Abstract Computing accessible information for an ensemble of quantum states is a basic problem in quantum information theory. We show that the recently obtained optimality criterion (A.S. Holevo, Lobachevskii J. Math., 43, 1646–1650 (2022)), when applied to specific ensembles of states leads to nontrivial tight entropy inequalities that are discrete relatives of the famous log-Sobolev inequality. In this light, the hypothesis of globally information-optimal measurement for an ensemble of equiangular equiprobable states (quantum pyramids) (B.-G. Englert and J. Řeháček, J. Mod. Optics 57 (3), 218–226 (2010)) is reconsidered and the corresponding entropy inequalities are proposed. Via the optimality criterion, this suggests also an approach to the proof of the conjectures concerning globally information-optimal observables for quantum pyramids.

arXiv:2506.06700•Lobachevskii Journal of Mathematics•Jun 1, 2026•1 citation

An Information-Theoretic Principle for Optimal Quantum Encoding: Tight Frames and Equiangular Ensembles

Farhad Farokhi, Shuixin Xiao

Optimal encoding of classical data for quantum-assisted statistical inference is investigated from an information-theoretic perspective. We prove that the accuracy of any quantum-computing inference procedure is upper bounded by the maximal quantum leakage from the classical data through its quantum encoding, establishing leakage as a universal, task-agnostic quality measure for encoders. The optimal encoding strategy, i.e., an encoding strategy that maximizes the maximal quantum leakage, is proved to be attained by pure states. When there are enough qubits, basis encoding is proved to be universally optimal. However, when the dimension of the system is small, phase encoding is optimal. For the latter, the optimal encoding is not unique. That is, any tight frame, any ensemble whose average state is the maximally mixed state, is in fact optimal. Within tight frames, equiangular tight frames (ETFs) are distinguished as the uniquely symmetric optimal encodings, i.e., they saturate the Welch lower bound on pairwise overlaps. Prominent special cases are the qubit trine, the regular simplex, and symmetric informationally complete positive operator-valued measures (SIC-POVMs), for which the ETF structure and explicit codeword constructions are provided. Numerical examples are presented to validate the theoretical predictions.

quant-pharXiv:2607.01564•Jul 3, 2026•0 citations

Inequalities for Quantum Entropy: A Review with Conditions for Equality

Mary Beth Ruskai

This paper presents self-contained proofs of the strong subadditivity inequality for quantum entropy and some related inequalities for the quantum relative entropy, most notably its convexity and its monotonicity under stochastic maps. Moreover, the approach presented here, which is based on Klein's inequality and one of Lieb's less well-known concave trace functions, allows one to obtain conditions for equality. Using the fact that the Holevo bound on the accessible information in a quantum ensemble can be obtained as a consequence of the monotonicity of relative entropy, we show that equality can be attained for that bound only when the states in the ensemble commute. The paper concludes with an Appendix giving a short description of Epstein's elegant proof of the relevant concavity theorem of Lieb.

•May 13, 2002•159 citations

Proof of a Conjectured 0-Rényi Entropy Inequality With Applications to Multipartite Entanglement

Zhiwei Song, Lin Chen, Yize Sun +1 more

Characterizing the relations among the three bipartite reduced density operators$ \rho _{AB}$,$ \rho _{AC}$and$ \rho _{BC}$of a tripartite mixed state$ \rho _{ABC}$has been an open problem in quantum information. One of such relations has been reduced by [Cadney et al, LAA. 452, 153, 2014] to a conjectured inequality in terms of matrix rank, namely$r(\rho _{AB}) \cdot r( \rho _{AC})\ge r( \rho _{BC})$for any$ \rho _{ABC}$. It is denoted as open problem 41 in the website “Open quantum problems-IQOQI Vienna”. We prove the inequality, and thus establish a complete picture of the four-party linear inequalities in terms of the 0-entropy. Our proof is based on the construction of a novel canonical form of bipartite matrices under local equivalence. We extend our result to inequalities in multipartite systems, as well as the condition when the inequality is saturated.

arXiv:2105.07679•IEEE Transactions on Information Theory•Dec 9, 2022•7 citations

Sharp reverse entropy inequalities for uniform qubit ensembles

Christoph Hartmann

This computer-assisted preprint proves a sharp reverse relative entropy inequality L >= beta_m chi for uniform ensembles of individually normalized qubit states, for every m >= 2. Here chi is the Holevo quantity and L is the non-optimized quantum lautum information. The proof combines analytic Bloch-vector and Gram-matrix reductions with four interval certificates covering 855,780 boxes. For three matrices in arbitrary finite dimension, the paper also establishes local nonnegativity near faithful pairwise-commuting equality triples, allowing unequal traces and noncommuting perturbations. Further results include normalization bridges, an angular reduction for three qubits, and certified obstructions to proposed pinching and filtering descent arguments. The unrestricted unequal-trace ensemble inequality and the general equality of complete and ordinary modified logarithmic Sobolev constants are not proved. The accompanying archive contains sources, certificate inputs, verifiers, and reproduced results. Developed with AI assistance; not peer reviewed or formally verified. Companion paper: Christoph Hartmann, Reverse relative entropy and finite-time contraction for conditional expectations (2026).

•Sep 29, 2026•0 citations

Sharp pairwise reduction for quantum hypothesis testing

Kuan-Yi Lee, Ludovico Lami

We determine the optimal universal coefficient in a reduction of multiple to binary quantum hypothesis testing. Specifically, for every finite ensemble in any Hilbert space dimension (finite or infinite), we prove that the error probability of the global pretty good measurement (PGM) is at most four times the sum of the optimal binary error probabilities. By constructing a family of regular-simplex ensembles, we further show that the coefficient four is optimal, even for arbitrary global measurements. This result improves on the pairwise bounds established by Cheng and Liu [arXiv:2606.06246 (2026)] and entails an explicit, sharp guarantee for the standard PGM itself. Our proof is also simpler: rather than constructing sequential measurements and applying a union bound, our proof relies on purely matrix-analytic techniques, combining a direct block Gram matrix analysis of the PGM error and a refined inequality between quantum Hellinger distance and Bures $χ^2$-divergence. Our analysis also yields a refined, one-shot pairwise Chernoff bound and explicit sufficient number of copies for a desired discrimination error.

quant-pharXiv:2609.28440•Sep 24, 2026•0 citations
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 WWW function, which may be of independent interest. For flat pyramids, we prove a tight ℓp\ell^pℓp inequality for zero-sum vectors that was recently conjectured, proved analytically in dimension d=3d=3d=3, and computationally verified for d≤200d\leq 200d≤200 by Holevo and Utkin (arXiv:2603.24017). We prove this bound for all d≥2d\geq 2d≥2 via a technique in symmetric inequalities known as the equal variables method.
Abstract Computing accessible information for an ensemble of quantum states is a basic problem in quantum information theory. We show that the recently obtained optimality criterion (A.S. Holevo, Lobachevskii J. Math., 43, 1646–1650 (2022)), when applied to specific ensembles of states leads to nontrivial tight entropy inequalities that are discrete relatives of the famous log-Sobolev inequality. In this light, the hypothesis of globally information-optimal measurement for an ensemble of equiangular equiprobable states (quantum pyramids) (B.-G. Englert and J. Řeháček, J. Mod. Optics 57 (3), 218–226 (2010)) is reconsidered and the corresponding entropy inequalities are proposed. Via the optimality criterion, this suggests also an approach to the proof of the conjectures concerning globally information-optimal observables for quantum pyramids.
Optimal encoding of classical data for quantum-assisted statistical inference is investigated from an information-theoretic perspective. We prove that the accuracy of any quantum-computing inference procedure is upper bounded by the maximal quantum leakage from the classical data through its quantum encoding, establishing leakage as a universal, task-agnostic quality measure for encoders. The optimal encoding strategy, i.e., an encoding strategy that maximizes the maximal quantum leakage, is proved to be attained by pure states. When there are enough qubits, basis encoding is proved to be universally optimal. However, when the dimension of the system is small, phase encoding is optimal. For the latter, the optimal encoding is not unique. That is, any tight frame, any ensemble whose average state is the maximally mixed state, is in fact optimal. Within tight frames, equiangular tight frames (ETFs) are distinguished as the uniquely symmetric optimal encodings, i.e., they saturate the Welch lower bound on pairwise overlaps. Prominent special cases are the qubit trine, the regular simplex, and symmetric informationally complete positive operator-valued measures (SIC-POVMs), for which the ETF structure and explicit codeword constructions are provided. Numerical examples are presented to validate the theoretical predictions.
This paper presents self-contained proofs of the strong subadditivity inequality for quantum entropy and some related inequalities for the quantum relative entropy, most notably its convexity and its monotonicity under stochastic maps. Moreover, the approach presented here, which is based on Klein's inequality and one of Lieb's less well-known concave trace functions, allows one to obtain conditions for equality. Using the fact that the Holevo bound on the accessible information in a quantum ensemble can be obtained as a consequence of the monotonicity of relative entropy, we show that equality can be attained for that bound only when the states in the ensemble commute. The paper concludes with an Appendix giving a short description of Epstein's elegant proof of the relevant concavity theorem of Lieb.
Characterizing the relations among the three bipartite reduced density operators$ \rho _{AB},,, \rho _{AC}andandand \rho _{BC}ofatripartitemixedstateof a tripartite mixed stateofatripartitemixedstate \rho _{ABC}hasbeenanopenprobleminquantuminformation.Oneofsuchrelationshasbeenreducedby[Cadneyetal,LAA.452,153,2014]toaconjecturedinequalityintermsofmatrixrank,namelyhas been an open problem in quantum information. One of such relations has been reduced by [Cadney et al, LAA. 452, 153, 2014] to a conjectured inequality in terms of matrix rank, namelyhasbeenanopenprobleminquantuminformation.Oneofsuchrelationshasbeenreducedby[Cadneyetal,LAA.452,153,2014]toaconjecturedinequalityintermsofmatrixrank,namelyr(\rho _{AB}) \cdot r( \rho _{AC})\ge r( \rho _{BC})foranyfor anyforany \rho _{ABC}$. It is denoted as open problem 41 in the website “Open quantum problems-IQOQI Vienna”. We prove the inequality, and thus establish a complete picture of the four-party linear inequalities in terms of the 0-entropy. Our proof is based on the construction of a novel canonical form of bipartite matrices under local equivalence. We extend our result to inequalities in multipartite systems, as well as the condition when the inequality is saturated.
This computer-assisted preprint proves a sharp reverse relative entropy inequality L >= beta_m chi for uniform ensembles of individually normalized qubit states, for every m >= 2. Here chi is the Holevo quantity and L is the non-optimized quantum lautum information. The proof combines analytic Bloch-vector and Gram-matrix reductions with four interval certificates covering 855,780 boxes. For three matrices in arbitrary finite dimension, the paper also establishes local nonnegativity near faithful pairwise-commuting equality triples, allowing unequal traces and noncommuting perturbations. Further results include normalization bridges, an angular reduction for three qubits, and certified obstructions to proposed pinching and filtering descent arguments. The unrestricted unequal-trace ensemble inequality and the general equality of complete and ordinary modified logarithmic Sobolev constants are not proved. The accompanying archive contains sources, certificate inputs, verifiers, and reproduced results. Developed with AI assistance; not peer reviewed or formally verified. Companion paper: Christoph Hartmann, Reverse relative entropy and finite-time contraction for conditional expectations (2026).
We determine the optimal universal coefficient in a reduction of multiple to binary quantum hypothesis testing. Specifically, for every finite ensemble in any Hilbert space dimension (finite or infinite), we prove that the error probability of the global pretty good measurement (PGM) is at most four times the sum of the optimal binary error probabilities. By constructing a family of regular-simplex ensembles, we further show that the coefficient four is optimal, even for arbitrary global measurements. This result improves on the pairwise bounds established by Cheng and Liu [arXiv:2606.06246 (2026)] and entails an explicit, sharp guarantee for the standard PGM itself. Our proof is also simpler: rather than constructing sequential measurements and applying a union bound, our proof relies on purely matrix-analytic techniques, combining a direct block Gram matrix analysis of the PGM error and a refined inequality between quantum Hellinger distance and Bures χ2χ^2χ2-divergence. Our analysis also yields a refined, one-shot pairwise Chernoff bound and explicit sufficient number of copies for a desired discrimination error.