arxiv: 2604.14055 · v1 · submitted 2026-04-15 · 🪐 quant-ph · cs.IT· math.FA· math.IT· math.OA

Recognition: unknown

Two-Indexed Schatten Quasi-Norms with Applications to Quantum Information Theory

Jan Kochanowski , Omar Fawzi , Cambyse Rouz\'e

Authors on Pith no claims yet

Pith reviewed 2026-05-10 13:57 UTC · model grok-4.3

classification 🪐 quant-ph cs.ITmath.FAmath.ITmath.OA

keywords Schatten quasi-normscompletely bounded normsquantum channelsRényi entropiestensor productssuper-multiplicativityquantum information

0 comments

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.

The paper defines two-indexed (q,p)-Schatten quasi-norms on operators over tensor product Hilbert spaces, extending Pisier's operator-valued Schatten spaces. These quasi-norms satisfy relational consistency and natural block-diagonal behavior provided the absolute difference between the reciprocals of q and p is at most one. The authors introduce completely bounded quasi-norms and co-quasi-norms for linear maps and prove that the q to p completely bounded co-quasi-norm is super-multiplicative under tensor products of quantum channels for q greater than or equal to p. This multiplicativity implies additivity of the completely bounded minimum output Rényi alpha entropy for alpha at least one half and additivity of the maximum output Rényi alpha entropy for alpha at least one half. The same quasi-norms also express Rényi conditional entropies for alpha at least one half and the sandwiched Rényi umlaut information for alpha less than one.

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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper defines two-indexed (q,p)-Schatten quasi-norms and proves super-multiplicativity of the q-to-p cb co-quasi-norm for all q ≥ p > 0, extending the 2006 Devetak-Junge-King-Ruskai result and implying additivity for some Rényi entropies.

read the letter

The main thing to know is that the authors introduce a two-parameter family of Schatten quasi-norms on tensor-product spaces and show the associated completely bounded co-quasi-norm is super-multiplicative under tensor products of channels when q is at least p. This directly extends the multiplicativity result from Devetak et al. and produces additivity of the completely bounded minimum-output Rényi-α entropy for α ≥ 1/2, plus additivity of the maximum-output version in the same range. They also recover expressions for Rényi conditional entropies and sandwiched Rényi umlaut information as special cases of these quasi-norms. The proofs stay within elementary matrix analysis and operator convexity, which keeps everything self-contained without operator-space machinery. That is a genuine plus for accessibility. They also check that relational consistency and block-diagonal behavior require |1/q − 1/p| ≤ 1 and prove the condition is essentially necessary, which shows they thought through the domain carefully. The soft spot is the mismatch in ranges. The multiplicativity statement is given for every q ≥ p > 0, yet the foundational properties of the quasi-norms themselves only hold inside |1/q − 1/p| ≤ 1. When p is small and q is large the difference exceeds 1, so it is not obvious whether the suprema that define the cb co-quasi-norm still behave well enough for the tensor-product argument to go through without extra restrictions. The abstract does not flag any narrowing, so the body needs to make clear whether the proof works outside the condition or whether the applications stay inside it. If the latter, the claim should be tightened; if the former, an explicit remark would help. This is aimed at quantum information researchers who already work with channel norms, Rényi entropies, and hypercontractivity questions. Someone following the 2006 paper or looking for elementary ways to handle entropy additivity will find the constructions and corollaries useful. It is a solid incremental piece with reproducible methods and no obvious circularity, so it deserves a serious referee to check the range details and verify the derivations.

Referee Report

2 major / 2 minor

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

2 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 1 axioms · 1 invented entities

The framework rests on the new definition of the quasi-norms together with standard background results in operator convexity and matrix analysis; no free parameters are fitted and no new physical entities are postulated.

axioms (1)

standard math Standard properties of operator convexity and elementary matrix analysis hold for the relevant operators.
Abstract states that all proofs rely on these tools.

invented entities (1)

2-indexed (q,p)-Schatten quasi-norms no independent evidence
purpose: To equip spaces of operators on tensor-product Hilbert spaces with a two-parameter family of quasi-norms extending Pisier's theory.
Explicitly defined in the paper as the central new object.

pith-pipeline@v0.9.0 · 5654 in / 1501 out tokens · 41460 ms · 2026-05-10T13:57:42.864075+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

41 extracted references

[1]

C. F. Amelin. A numerical range for two linear operators. 48(2):335–345, 1973. 7, 38

1973
[2]

T. Aoki. Locally bounded linear topological spaces. 18:588–594, 1942. 10

1942
[3]

Bardet, ´A

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

2024
[4]

Bardet and C

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

2022
[5]

Beigi, N

S. Beigi, N. Datta, and C. Rouz´ e. Quantum reverse hypercontractivity: its tensorization and application to strong converses, 2020. 3, 45

2020
[6]

Beigi and M

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

2023
[7]

Beigi and C

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

2016
[8]

Bergh and J

J. Bergh and J. L¨ ofstr¨ om.Interpolation Spaces: An Introduction, volume 223 ofGrundlehren Der Mathematischen Wissenschaften. Springer Berlin Heidelberg. 49
[9]

Bluhm, ´A

A. Bluhm, ´A. Capel, P. Gondolf, and T. M¨ obus. Unified Framework for Continuity of Sand- wiched R´ enyi Divergences. 31 50
[10]

C. Borell. Positivity improving operators and hypercontractivity.Mathematische Zeitschrift, 180(3):225–234, 1982. 10

1982
[11]

Cubitt, M

T. Cubitt, M. Kastoryano, A. Montanaro, and K. Temme. Quantum reverse hypercontractivity. Journal of Mathematical Physics, 56(10), Oct. 2015. 3, 45

2015
[12]

Devetak, M

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

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

1953
[14]

Fawzi, J

O. Fawzi, J. Kochanowski, C. Rouz´ e, and T. Van Himbeeck. Additivity and chain rules for quantum entropies via multi-index schatten norms. 407(4):75, 2026. 3, 5, 6, 7, 8, 14, 18, 23, 25, 27, 30, 31, 36, 42, 49, 60

2026
[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

2018
[17]

Gao and C

L. Gao and C. Rouz´ e. Complete entropic inequalities for quantum markov chains.Archive for Rational Mechanics and Analysis, 245(1):183–238, 2022. 36

2022
[18]

Girardi, A

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

2019
[20]

Junge and J

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

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

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

1995
[23]

Kochanowski et al

J. Kochanowski et al. Multi-indexed schatten spaces, 2026, in preparation. 8, 35, 41, 45

2026
[24]

Kochanowski, O

J. Kochanowski, O. Fawzi, and C. Rouz´ e. Complexity of mixed schatten norms of quantum maps, 2025. 3

2025
[25]

Li and Q

K. Li and Q. Xu. Completely bounded qusi-norms, their mutiplicativity, and new additivity results of quantum channels, 2026. 8, 9, 50

2026
[26]

Marwah and F

A. Marwah and F. Dupuis. Uniform continuity bound for sandwiched r´ enyi conditional entropy. Journal of Mathematical Physics, 63(5), May 2022. 31

2022
[27]

Mbekhta and R

M. Mbekhta and R. Paul. Sur la conorme essentielle.Studia Mathematica, 117(3):243–252,
[28]

Mosonyi and F

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

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

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

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

2003
[32]

Rolewicz

S. Rolewicz. Open problems in theory of metric linear spaces. InColloque d’analyse fonc- tionnelle (Bordeaux, 1971), number 31–32 in Bulletin de la Soci´ et´ e Math´ ematique de France. M´ emoire, pages 327–334. 1972. 10

1971
[33]

Rubboli, M

R. Rubboli, M. M. Goodarzi, and M. Tomamichel. Quantum conditional entropies from convex trace functionals, 2025. 24, 26, 30, 58, 60

2025
[34]

M. Sion. On general minimax theorems.Pacific Journal of Mathematics, 8(1):171 – 176, 1958. 40, 57, 58

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

2016
[36]

Tomamichel, M

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

2014
[37]

Wang, L.-Z

Y.-X. Wang, L.-Z. Mu, V. Vedral, and H. Fan. Entanglement r´ enyiα-entropy.Physical Review A, 93(2), Feb. 2016. 3

2016
[38]

J. Watrous. Notes on super-operator norms induced by schatten norms, 2004. 42, 49

2004
[39]

Watrous.The Theory of Quantum Information

J. Watrous.The Theory of Quantum Information. Cambridge University Press, 2018. 3, 36

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

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

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...

2020