Two-Indexed Schatten Quasi-Norms with Applications to Quantum Information Theory
Pith reviewed 2026-05-10 13:57 UTC · model grok-4.3
The pith
The q to p completely bounded co-quasi-norm is super-multiplicative for tensor products of quantum channels when q is at least p.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We define 2-indexed (q,p)-Schatten quasi-norms for any q,p > 0 on operators on a tensor product of Hilbert spaces. We establish several desirable properties of these quasi-norms, such as relational consistency and the behavior on block diagonal operators, assuming that |1/q - 1/p| ≤ 1. Furthermore, for linear maps between spaces of such quasi-norms, we introduce completely bounded quasi-norms and co-quasi-norms. We prove that the q → p completely bounded co-quasi-norm is super-multiplicative for tensor products of quantum channels for q ≥ p>0. Our multiplicativity results imply additivity of the completely bounded minimum output Rényi-α-entropy for α≥1/2 and additivity of the maximum outputR
What carries the argument
The 2-indexed (q,p)-Schatten quasi-norms on operators over tensor product spaces together with the completely bounded co-quasi-norms defined for maps between them.
Load-bearing premise
The condition that the absolute difference between one over q and one over p is at most one is required for the quasi-norms to satisfy relational consistency and natural behavior on block-diagonal operators.
What would settle it
A pair of quantum channels whose tensor product violates the super-multiplicativity inequality for the q to p completely bounded co-quasi-norm when q is at least p, or a counterexample to additivity of the minimum output Rényi alpha entropy for some alpha at least one half.
read the original abstract
We define 2-indexed $(q,p)$-Schatten quasi-norms for any $q,p > 0$ on operators on a tensor product of Hilbert spaces, naturally extending the norms defined by Pisier's theory of operator-valued Schatten spaces. We establish several desirable properties of these quasi-norms, such as relational consistency and the behavior on block diagonal operators, assuming that $|\frac{1}{q} - \frac{1}{p}| \leq 1$. In fact, we show that this condition is essentially necessary for natural properties to hold. Furthermore, for linear maps between spaces of such quasi-norms, we introduce completely bounded quasi-norms and co-quasi-norms. We prove that the $q \to p$ completely bounded co-quasi-norm is super-multiplicative for tensor products of quantum channels for $q \geq p>0$, extending an influential result of [Devetak, Junge, King, Ruskai, 2006]. Our proofs rely on elementary matrix analysis and operator convexity tools and do not require operator space theory. On the applications side, we demonstrate that these quasi-norms can be used to express relevant quantum information measures such as R\'enyi conditional entropies for $\alpha \geq \frac{1}{2}$ or the Sandwiched R\'enyi Umlaut information for $\alpha < 1$. Our multiplicativity results imply a tensorizing notion of reverse hypercontractivity, additivity of the completely bounded minimum output R\'enyi-$\alpha$-entropy for $\alpha\geq\frac{1}{2}$ extending another important result of [Devetak, Junge, King, Ruskai, 2006], and additivity of the maximum output R\'enyi-$\alpha$ entropy for $\alpha \geq \frac{1}{2}$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript defines two-indexed (q,p)-Schatten quasi-norms on operators over tensor-product Hilbert spaces, extending Pisier's operator-valued Schatten spaces. It establishes relational consistency and block-diagonal behavior under the condition |1/q - 1/p| ≤ 1 (shown to be essentially necessary), introduces completely bounded quasi-norms and co-quasi-norms, and proves super-multiplicativity of the q→p completely bounded co-quasi-norm for tensor products of quantum channels when q ≥ p > 0. These results are applied to express Rényi conditional entropies (α ≥ 1/2) and Sandwiched Rényi Umlaut information (α < 1), and to obtain additivity of the completely bounded minimum output Rényi-α-entropy and maximum output Rényi-α entropy for α ≥ 1/2, extending Devetak-Junge-King-Ruskai (2006) via elementary matrix analysis and operator convexity.
Significance. If the central claims hold, this provides a useful extension of the 2006 multiplicativity results to a two-indexed quasi-norm setting using only elementary tools, without operator space theory. The applications supply new expressions and additivity statements for Rényi entropies and related information measures, which could aid analysis of quantum channel capacities and hypercontractivity.
major comments (2)
- [Abstract] Abstract: the super-multiplicativity of the q→p cb co-quasi-norm is asserted for all q ≥ p > 0, yet the relational consistency and block-diagonal behavior of the underlying (q,p)-Schatten quasi-norms (which enter the definition ||Φ||_{q→p,cb} = sup_{||X||_q ≤ 1} ||(id ⊗ Φ)(X)||_p) are established only under |1/q − 1/p| ≤ 1, with this condition shown to be essentially necessary. For q ≥ p > 0 the difference 1/p − 1/q can exceed 1 (e.g., p = 0.1, q = 0.2), rendering the claim's scope unclear and potentially ill-posed outside the regime where the quasi-norms satisfy the required properties.
- [Section on properties of the quasi-norms] Section on properties of the quasi-norms (and subsequent definition of cb co-quasi-norms): because the multiplicativity proof relies on the quasi-norms' tensorial and consistency properties, the argument must be checked for validity when |1/q − 1/p| > 1; if the proofs tacitly use the condition, the stated range q ≥ p > 0 should be restricted or the necessity result reconciled with the claim.
minor comments (2)
- [Abstract] The abstract is information-dense; splitting the definition/properties paragraph from the applications paragraph would improve readability.
- Notation for the two-indexed quasi-norms (e.g., ||·||_{q,p}) should be introduced with an explicit equation number on first use to aid cross-referencing.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for highlighting the inconsistency between the claimed range of the super-multiplicativity result and the conditions under which the underlying quasi-norm properties are established. We address each major comment below and will revise the manuscript accordingly.
read point-by-point responses
-
Referee: [Abstract] Abstract: the super-multiplicativity of the q→p cb co-quasi-norm is asserted for all q ≥ p > 0, yet the relational consistency and block-diagonal behavior of the underlying (q,p)-Schatten quasi-norms (which enter the definition ||Φ||_{q→p,cb} = sup_{||X||_q ≤ 1} ||(id ⊗ Φ)(X)||_p) are established only under |1/q − 1/p| ≤ 1, with this condition shown to be essentially necessary. For q ≥ p > 0 the difference 1/p − 1/q can exceed 1 (e.g., p = 0.1, q = 0.2), rendering the claim's scope unclear and potentially ill-posed outside the regime where the quasi-norms satisfy the required properties.
Authors: We agree that the abstract asserts the result for all q ≥ p > 0 while the supporting properties hold only under |1/q − 1/p| ≤ 1. The definition of the cb co-quasi-norm and the super-multiplicativity proof both rely on these properties. We will revise the abstract to restrict the claim to q ≥ p > 0 with |1/q − 1/p| ≤ 1. This change aligns with the necessity result already proved in the manuscript and leaves the applications to Rényi entropies (α ≥ 1/2) unaffected, as those parameters satisfy the condition. revision: yes
-
Referee: [Section on properties of the quasi-norms] Section on properties of the quasi-norms (and subsequent definition of cb co-quasi-norms): because the multiplicativity proof relies on the quasi-norms' tensorial and consistency properties, the argument must be checked for validity when |1/q − 1/p| > 1; if the proofs tacitly use the condition, the stated range q ≥ p > 0 should be restricted or the necessity result reconciled with the claim.
Authors: The multiplicativity argument does invoke the tensorial and consistency properties, which are established only for |1/q − 1/p| ≤ 1. We will therefore restrict the theorem statement and the surrounding discussion to the regime q ≥ p > 0 satisfying |1/q − 1/p| ≤ 1, and add an explicit remark that the result is not claimed outside this range. No additional reconciliation with the necessity result is required; the revision simply makes the scope consistent with the properties already proved. revision: yes
Circularity Check
No circularity: new quasi-norm definitions and multiplicativity proofs are independent of inputs
full rationale
The paper defines (q,p)-Schatten quasi-norms for q,p>0, proves relational consistency and block-diagonal behavior only under the explicit assumption |1/q-1/p|≤1 (and shows necessity), then defines cb co-quasi-norms via suprema and proves super-multiplicativity for q≥p>0 by elementary matrix analysis and operator convexity, extending Devetak-Junge-King-Ruskai 2006 without self-citation load-bearing or reduction of the central claim to a fitted quantity or self-referential definition. The derivation chain is self-contained against external benchmarks and does not rename known results or smuggle ansatzes.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard properties of operator convexity and elementary matrix analysis hold for the relevant operators.
invented entities (1)
-
2-indexed (q,p)-Schatten quasi-norms
no independent evidence
Reference graph
Works this paper leans on
-
[1]
C. F. Amelin. A numerical range for two linear operators. 48(2):335–345, 1973. 7, 38
work page 1973
-
[2]
T. Aoki. Locally bounded linear topological spaces. 18:588–594, 1942. 10
work page 1942
-
[3]
I. Bardet, ´A. Capel, L. Gao, A. Lucia, D. P´ erez-Garc´ ıa, and C. Rouz´ e. Entropy decay for davies semigroups of a one dimensional quantum lattice.Communications in Mathematical Physics, 405(2):42, 2024. 3, 14, 36, 45
work page 2024
-
[4]
I. Bardet and C. Rouz´ e. Hypercontractivity and logarithmic sobolev inequality for non- primitive quantum markov semigroups and estimation of decoherence rates. InAnnales Henri Poincar´ e, volume 23, pages 3839–3903. Springer, 2022. 3, 36
work page 2022
- [5]
-
[6]
S. Beigi and M. M. Goodarzi. Operator-valued schatten spaces and quantum entropies.Letters in Mathematical Physics, 113(5), Aug. 2023. 3, 7, 14, 28, 29, 31, 49, 53, 60
work page 2023
-
[7]
S. Beigi and C. King. Hypercontractivity and the logarithmic sobolev inequality for the com- pletely bounded norm.Journal of Mathematical Physics, 57(1), 2016. 3, 5, 36, 45
work page 2016
-
[8]
J. Bergh and J. L¨ ofstr¨ om.Interpolation Spaces: An Introduction, volume 223 ofGrundlehren Der Mathematischen Wissenschaften. Springer Berlin Heidelberg. 49
- [9]
-
[10]
C. Borell. Positivity improving operators and hypercontractivity.Mathematische Zeitschrift, 180(3):225–234, 1982. 10
work page 1982
- [11]
-
[12]
I. Devetak, M. Junge, C. King, and M. B. Ruskai. Multiplicativity of completely bounded p- norms implies a new additivity result.Communications in Mathematical Physics, 266(1):37–63, May 2006. 3, 4, 5, 8, 14, 15, 20, 28, 31, 36, 38, 41, 43, 46, 49, 53
work page 2006
-
[13]
K. Fan. Minimax theorems.Proceedings of the National Academy of Sciences of the United States of America, 39(1):42–47, 1953. 57
work page 1953
- [14]
-
[16]
L. Gao, M. Junge, and N. LaRacuente. Uncertainty principle for quantum channels. In2018 IEEE International Symposium on Information Theory (ISIT), pages 996–1000, 2018. 36
work page 2018
- [17]
-
[18]
F. Girardi, A. Oufkir, B. Regula, M. Tomamichel, M. Berta, and L. Lami. Umlaut information,
-
[19]
J. Gu, Z. Yin, and H. Zhang. Interpolation of quasi noncommutativel p-spaces, 2019. 49
work page 2019
-
[20]
M. Junge and J. Parcet. Mixed-norm inequalities and operator space l-p embedding theory. Memoirs of the American Mathematical Society, 953, 01 2010. 3
work page 2010
-
[21]
N. Kalton. Chapter 25 - quasi-banach spaces. volume 2 ofHandbook of the Geometry of Banach Spaces, pages 1099–1130. Elsevier Science B.V., 2003. 10
work page 2003
-
[22]
Kato.Perturbation Theory for Linear Operators
T. Kato.Perturbation Theory for Linear Operators. Classics in Mathematics. Springer, 2 edition, 1995. Originally published as volume 132 inGrundlehren der mathematischen Wis- senschaften. 56
work page 1995
-
[23]
J. Kochanowski et al. Multi-indexed schatten spaces, 2026, in preparation. 8, 35, 41, 45
work page 2026
-
[24]
J. Kochanowski, O. Fawzi, and C. Rouz´ e. Complexity of mixed schatten norms of quantum maps, 2025. 3
work page 2025
- [25]
-
[26]
A. Marwah and F. Dupuis. Uniform continuity bound for sandwiched r´ enyi conditional entropy. Journal of Mathematical Physics, 63(5), May 2022. 31
work page 2022
-
[27]
M. Mbekhta and R. Paul. Sur la conorme essentielle.Studia Mathematica, 117(3):243–252,
-
[28]
M. Mosonyi and F. Hiai. On the quantum r´ enyi relative entropies and related capacity formulas. IEEE Transactions on Information Theory, 57(4):2474–2487, 2011. 34
work page 2011
-
[29]
Paulsen.Completely Bounded Maps and Operator Algebras
V. Paulsen.Completely Bounded Maps and Operator Algebras. Cambridge Studies in Advanced Mathematics. Cambridge University Press, 2003. 36
work page 2003
-
[30]
Pisier.Non-commutative vector valuedL p-spaces and completelyp-summing map
G. Pisier.Non-commutative vector valuedL p-spaces and completelyp-summing map. Number 247 in Ast´ erisque. Soci´ et´ e math´ ematique de France, 1998. 3, 5, 6, 7, 8, 15, 28, 36, 40, 49, 60
work page 1998
-
[31]
Pisier.Introduction to Operator Space Theory
G. Pisier.Introduction to Operator Space Theory. London Mathematical Society Lecture Note Series. Cambridge University Press, 2003. 60, 61
work page 2003
- [32]
-
[33]
R. Rubboli, M. M. Goodarzi, and M. Tomamichel. Quantum conditional entropies from convex trace functionals, 2025. 24, 26, 30, 58, 60
work page 2025
-
[34]
M. Sion. On general minimax theorems.Pacific Journal of Mathematics, 8(1):171 – 176, 1958. 40, 57, 58
work page 1958
-
[35]
Tomamichel.Quantum Information Processing with Finite Resources
M. Tomamichel.Quantum Information Processing with Finite Resources. Springer Interna- tional Publishing, 2016. 6, 29, 31, 46, 54
work page 2016
-
[36]
M. Tomamichel, M. Berta, and M. Hayashi. Relating different quantum generalizations of the conditional r´ enyi entropy.Journal of Mathematical Physics, 55(8), 2014. 10
work page 2014
-
[37]
Y.-X. Wang, L.-Z. Mu, V. Vedral, and H. Fan. Entanglement r´ enyiα-entropy.Physical Review A, 93(2), Feb. 2016. 3
work page 2016
-
[38]
J. Watrous. Notes on super-operator norms induced by schatten norms, 2004. 42, 49
work page 2004
-
[39]
Watrous.The Theory of Quantum Information
J. Watrous.The Theory of Quantum Information. Cambridge University Press, 2018. 3, 36
work page 2018
-
[40]
M. M. Wilde, A. Winter, and D. Yang. Strong converse for the classical capacity of entanglement-breaking and hadamard channels via a sandwiched r´ enyi relative entropy.Com- munications in Mathematical Physics, 331(2):593–622, 2014. 31
work page 2014
-
[41]
Q. Xu. Applications du th´ eor` eme de factorisation pour des fonctions ` a valeurs op´ erateurs. Studia Mathematica, 95(3):273–292, 1990. 49
work page 1990
-
[42]
H. Zhang. From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture.Advances in Mathematics, 365:107053, 2020. 14, 16, 17, 20, 21, 28, 30, 40, 57, 60 52 A Proofs Omitted from the Main Text A.1 Variational Formulas for Two Simple Cases While we ultimately care about the non-commutative 2-indexed norm case we will for intuition building present th...
work page 2020
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.