REVIEW 5 minor 54 references
Contraction and Expansion Values of Quantum Channels
T0 review · 0 major / 5 minor · reviewed 2026-07-11 · grok-4.5
Pith's one-line read Contraction and expansion values give quantum channels a spectrum of how they shrink distinguishability, with composition bounds that a single coefficient cannot provide.
desk verdict Solid, self-contained theory paper that turns the trace-distance contraction coefficient into a full s-number sequence with clean composition bounds; the Gel'fand identification is the real payload and it holds up. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The min-max definitions of the contraction values ˆκ_n(T) and expansion values ˇκ_n(T) over subspaces of fixed codimension or dimension inside the space of traceless Hermitian matrices; their identification with Gel'fand and Bernstein numbers of T restricted to that space.
What would settle it
Exhibit a concrete pair of channels for which the measured or exactly computed contraction values of the composition fall outside the product bounds predicted by the multiplicative inequalities, or compute both sequences for a three-dimensional amplitude-damping channel and show that they differ inside the intermediate range where the paper only supplies an interval.
Extended reading notes
Core claim
The contraction values of a quantum channel equal the Gel'fand numbers of its restriction to traceless Hermitian operators, and the expansion values equal the Bernstein numbers of the same restriction. Consequently the sequences inherit the multiplicative inequalities of s-numbers, yielding upper and lower bounds on the contraction and expansion of a composite channel that cannot be obtained from the scalar contraction coefficient alone.
Load-bearing premise
The composition inequalities are first proved for invertible maps and then extended to all maps by a density-plus-continuity argument whose quantitative rates are not made explicit.
Editorial extensions
If this is right
- Any channel that factors through an amplitude-damping map inherits explicit upper and lower bounds on its entire contraction spectrum from the estimates given for amplitude damping.
- The contraction coefficient of a composite channel is bounded from below by a product of expansion values of the factors, a relation invisible to the ordinary scalar coefficient.
- For single-qubit channels the sequences coincide with the singular values of the Bloch-sphere map, recovering the familiar ellipsoid picture and the classical Gel'fand–Naimark inequalities.
- Direct-sum channels always have trivial contraction coefficient, yet their intermediate contraction values are controlled by those of the summands, giving a non-trivial spectrum where none was previously available.
Reading between the lines
- Because the sequences are continuous in the channel, small experimental errors in estimating a channel still produce controlled errors in the predicted composition bounds, which is useful for numerical mixing-time estimates.
- The same min-max construction can be attempted for other contractive distances (relative entropy, Rényi divergences); the paper notes that unboundedness of relative entropy may produce qualitatively new phenomena such as positive trace-distance expansion with vanishing relative-entropy expansion.
- Tensor powers remain uncontrolled by the present inequalities; an informative relation between the values of T and of T⊗N would immediately strengthen capacity and privacy bounds that rely on product channels.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines two monotone sequences, the contraction values ˆκ_n(T) and expansion values ˇκ_n(T) (n=1,...,d^{2}-1), for HPTP0 maps and quantum channels via min-max variational principles over subspaces of traceless Hermitian operators equipped with the Schatten 1-norm. These recover the ordinary contraction and expansion coefficients of the trace distance at the extremes n=1 and n=d^{2}-1, admit an operational reading in terms of two adversarial state-discrimination games with linear constraints, and are identified with the Gel'fand numbers and Bernstein numbers of the restriction T|0. The identification places the sequences inside Pietsch’s theory of s-numbers, from which the authors derive monotonicity, continuity, vanishing beyond rank(T|0), a duality relating ˆκ_n(T) to ˇκ of the inverse, embedding stability, and—most importantly—multiplicative composition inequalities (and a weaker additive inequality for convex mixtures). Explicit evaluations or estimates are supplied for unitary conjugations, replacers, depolarizing channels, all single-qubit channels (where both sequences coincide with the singular values of T|0 and the principal axes of the Bloch ellipsoid), d-dimensional amplitude-damping channels, and direct-sum channels.
Significance. The work supplies a natural 1-norm analogue of singular values that is tailored to the distinguishability contraction of quantum channels. The composition bounds (especially the lower bounds that involve expansion values) go beyond what the scalar contraction coefficient can provide and are immediately applicable to mixing-time estimates, channel divisibility, degradability arguments, and error-mitigation limitations. The rigorous embedding into s-number theory is a genuine conceptual contribution; the single-qubit geometric picture and the amplitude-damping estimates (which become bounds for every channel that factors an amplitude-damping map) are concrete and usable. The proofs of the structural results are complete and self-contained; the operational games give the sequences a clear physical meaning. These features make the paper a solid addition to the literature on quantitative data-processing inequalities.
minor comments (5)
- In the acknowledgements the word “acknowledge” is misspelled (“aknowledge”).
- Section 7.2 leaves a fairly wide interval [1-λ,√(1-λ)] for the intermediate contraction/expansion values of amplitude damping. A short remark on whether the authors expect equality, or a pointer to a possible SDP formulation that could tighten the bounds, would help readers who wish to use the estimates in composition arguments.
- Figure 1 is clear, but the caption could explicitly state that the two diagrams correspond to the contraction-value game (Alice chooses the codimension-(n-1) constraints) and the expansion-value game (Bob chooses the dimension-n subspace), respectively.
- The concurrent work on average contraction coefficients is cited only in the introduction; a one-sentence comparison in Section 2 (or in the conclusion) would clarify the complementary strengths of the two approaches.
- Lemma 10 and the subsequent density argument for non-invertible maps are correct, yet a parenthetical note that the modulus of continuity follows from the s-number axioms (or a reference to the relevant estimate in Pietsch) would make the approximation rates more transparent for applications.
Circularity Check
No circularity: variational definitions are independent of the s-number identification, which is a theorem, not an assumption.
full rationale
The contraction and expansion values are introduced from first principles by a min-max variational principle over subspaces of traceless Hermitian operators equipped with the Schatten 1-norm (Definitions 2 and 3). Their identification with Gel'fand numbers (Proposition 9) and Bernstein numbers is a direct rewriting of those definitions once the underlying Banach space is recognized; it is not used as an input that forces the definitions. Multiplicative composition bounds then follow from the classical theory of s-numbers (or, for the dual lower bounds, from a density-plus-continuity argument that is secondary). No parameters are fitted to data, no uniqueness theorem is imported from the authors' prior work, and the only self-citation (to concurrent work on average contraction) is purely contextual. The derivation is therefore self-contained and non-circular.
Assumptions & free parameters
assumptions (3)
- standard math Pietsch's axioms for s-number sequences (monotonicity, additivity, ideal property, rank property, norming property) and the known fact that Gel'fand numbers form a multiplicative s-scale.
- domain assumption Helstrom's theorem: optimal success probability of distinguishing two states equals ½(1 + ½‖ρ-σ‖₁).
- standard math The Schatten 1-norm on Hermitian matrices satisfies the usual norm inequalities with the Frobenius norm and is non-increasing under pinching.
invented entities (1)
-
contraction values ˆκ_n(T) and expansion values ˇκ_n(T)
independent evidence
Cite this review
Pith. "Pith review of Contraction and Expansion Values of Quantum Channels." pith.science (2026). https://pith.science/paper/VONKHSYJ
@misc{pith2026260704950,
author = {Pith},
title = {Pith review of: Contraction and Expansion Values of Quantum Channels},
year = {2026},
howpublished = {\url{https://pith.science/paper/VONKHSYJ}},
note = {Machine review of arXiv:2607.04950}
}
abstract
The contraction coefficient of the trace distance is a central tool in quantum information, quantifying how strongly a quantum channel degrades the distinguishability of states. However, being an extremal ratio, it captures only the most optimistic behaviour of the channel and is often trivial, even for very noisy channels. Moreover, a single scalar is poorly suited to describe how contraction accumulates under channel composition. In this work we introduce the \emph{contraction and expansion values}, two monotone sequences that refine the contraction and expansion coefficients in the same way singular values refine the operator norm. They arise from a min--max variational principle over subspaces of traceless Hermitian operators, admit an operational interpretation in terms of two state-discrimination games, and are shown to coincide with the Gel'fand or Bernstein numbers of the channel restricted to traceless operators. This identification places the sequences within Pietsch's theory of $s$-numbers and yields, in particular, bounds under channel composition that the contraction coefficient alone cannot provide. We establish their main structural properties and compute or estimate them for single-qubit channels, $d$-dimensional amplitude damping channels, and direct-sum channels.
Figures
Reference graph
Works this paper leans on
-
[1]
Limitationsofnoisyreversible computation, 1996
D.Aharonov, M.Ben-Or, R.Impagliazzo, andN.Nisan. Limitationsofnoisyreversible computation, 1996
1996
-
[2]
Differential privacy amplifica- tion in quantum and quantum-inspired algorithms, 2023
Armando Angrisani, Mina Doosti, and Elham Kashefi. Differential privacy amplifica- tion in quantum and quantum-inspired algorithms, 2023
2023
-
[3]
Quantum local differential privacy and quan- tum statistical query model, 2023
Armando Angrisani and Elham Kashefi. Quantum local differential privacy and quan- tum statistical query model, 2023
2023
-
[4]
Reverse-type data processing inequality.Communications in Mathematical Physics, 406(12), 10 2025
Paula Belzig, Li Gao, Graeme Smith, and Peixue Wu. Reverse-type data processing inequality.Communications in Mathematical Physics, 406(12), 10 2025
2025
-
[5]
Quantum Brascamp–Lieb dualities
Mario Berta, David Sutter, and Michael Walter. Quantum Brascamp–Lieb dualities. Communications in Mathematical Physics, 401(2):1807–1830, 03 2023
2023
-
[6]
An analysis of completely-positive trace-preserving maps on M2.Linear Algebra and its Applica- tions, 347(1):159–187, 2002
Mary Beth Ruskai, Stanislaw Szarek, and Elisabeth Werner. An analysis of completely-positive trace-preserving maps on M2.Linear Algebra and its Applica- tions, 347(1):159–187, 2002
2002
-
[7]
Bhatia.Matrix Analysis
R. Bhatia.Matrix Analysis. Graduate Texts in Mathematics. Springer New York, 1996
1996
-
[8]
Christian K. Burrell. Geometry of generalized depolarizing channels.Physical Review A, 80(4), 10 2009
2009
Show all 54 references
-
[9]
Partially coherent direct sum channels
Stefano Chessa and Vittorio Giovannetti. Partially coherent direct sum channels. Quantum, 5:504, 07 2021
2021
-
[10]
Maximum and minimum causal ef- fects of physical processes.PRX Quantum, 6:020335, 05 2025
Giulio Chiribella and Kaumudibikash Goswami. Maximum and minimum causal ef- fects of physical processes.PRX Quantum, 6:020335, 05 2025
2025
-
[11]
Dynamical maps beyond markovian regime, 2022
Dariusz Chruściński. Dynamical maps beyond markovian regime, 2022
2022
-
[12]
Quantum reverse hypercontractivity.Journal of Mathematical Physics, 56(10):102204, 10 2015
Toby Cubitt, Michael Kastoryano, Ashley Montanaro, and Kristan Temme. Quantum reverse hypercontractivity.Journal of Mathematical Physics, 56(10):102204, 10 2015
2015
-
[13]
Computa- tional aspects of the trace norm contraction coefficient, 2025
Idris Delsol, Omar Fawzi, Jan Kochanowski, and Akshay Ramachandran. Computa- tional aspects of the trace norm contraction coefficient, 2025
2025
-
[14]
Motohisa Fukuda and Michael M. Wolf. Simplifying additivity problems using direct sum constructions.Journal of Mathematical Physics, 48(7):072101, 07 2007
2007
-
[15]
Complete entropic inequalities for quantum markov chains.Archive for Rational Mechanics and Analysis, 245(1):183–238, 07 2022
Li Gao and Cambyse Rouzé. Complete entropic inequalities for quantum markov chains.Archive for Rational Mechanics and Analysis, 245(1):183–238, 07 2022
2022
-
[16]
Ian George, Christoph Hirche, Theshani Nuradha, and Mark M. Wilde. Quantum doeblin coefficients: Interpretations and applications, 2025
2025
-
[17]
On the mixed-unitary rank of quantum channels.Commu- nications in Mathematical Physics, 394(2):919–951, 09 2022
Mark Girard, Debbie Leung, Jeremy Levick, Chi-Kwong Li, Vern Paulsen, Yiu Tung Poon, and John Watrous. On the mixed-unitary rank of quantum channels.Commu- nications in Mathematical Physics, 394(2):919–951, 09 2022
2022
-
[18]
Contraction coefficients for noisy quantum chan- nels.Journal of Mathematical Physics, 57(1):015211, 12 2015
Fumio Hiai and Mary Beth Ruskai. Contraction coefficients for noisy quantum chan- nels.Journal of Mathematical Physics, 57(1):015211, 12 2015. 22
2015
-
[19]
Quantumdoeblincoefficients: Asimpleupperboundoncontraction coefficients
ChristophHirche. Quantumdoeblincoefficients: Asimpleupperboundoncontraction coefficients. In2024 IEEE International Symposium on Information Theory (ISIT), pages 557–562, 2024
2024
-
[20]
On contraction coeffi- cients, partialorders and approximationof capacitiesfor quantum channels.Quantum, 6:862, 11 2022
Christoph Hirche, Cambyse Rouzé, and Daniel Stilck França. On contraction coeffi- cients, partialorders and approximationof capacitiesfor quantum channels.Quantum, 6:862, 11 2022
2022
-
[21]
Quantum Rényi and f-divergences from integral representations.Communications in Mathematical Physics, 405(9), 2024
Christoph Hirche and Marco Tomamichel. Quantum Rényi and f-divergences from integral representations.Communications in Mathematical Physics, 405(9), 2024
2024
-
[22]
Average contraction coefficients of quan- tum channels, 2025
Ruben Ibarrondo and Daniel Stilck França. Average contraction coefficients of quan- tum channels, 2025
2025
-
[23]
Ismailov, L
Z.i. Ismailov, L. Cona, and E. Otkun Çevik. Gelfand numbers of diagonal matrices. Hacettepe Journal of Mathematics and Statistics, 44(1):75–81, 2015
2015
-
[24]
Kastoryano and Kristan Temme
Michael J. Kastoryano and Kristan Temme. Quantum logarithmic sobolev inequalities and rapid mixing.Journal of Mathematical Physics, 54(5):052202, 05 2013
2013
-
[25]
Hypercontractivity for semigroups of unital qubit channels, 2012
Christopher King. Hypercontractivity for semigroups of unital qubit channels, 2012
2012
-
[26]
Information fragility or robustness under quantum channels, 2023
Nicholas Laracuente and Graeme Smith. Information fragility or robustness under quantum channels, 2023
2023
-
[27]
Monotone Riemannian metrics and rela- tive entropy on noncommutative probability spaces.Journal of Mathematical Physics, 40(11):5702–5724, 11 1999
Andrew Lesniewski and Mary Beth Ruskai. Monotone Riemannian metrics and rela- tive entropy on noncommutative probability spaces.Journal of Mathematical Physics, 40(11):5702–5724, 11 1999
1999
-
[28]
Excitation-damping quantum channels
Davide Lonigro and Dariusz Chruściński. Excitation-damping quantum channels. Journal of Physics A: Mathematical and Theoretical, 56(25):255301, 05 2023
2023
-
[29]
Generalized dobrushin ergodicity coefficient and uniform ergodicities of markov operators.Positivity, 24(4):855–890, 10 2019
Farrukh Mukhamedov and Ahmed Al-Rawashdeh. Generalized dobrushin ergodicity coefficient and uniform ergodicities of markov operators.Positivity, 24(4):855–890, 10 2019
2019
-
[30]
Sandwiched Rényi convergence for quantum evolutions.Quantum, 2:55, 02 2018
Alexander Müller-Hermes and Daniel Stilck Franca. Sandwiched Rényi convergence for quantum evolutions.Quantum, 2:55, 02 2018
2018
-
[31]
Bernstein numbers of embeddings of isotropic and dominating mixed besov spaces.Mathematische Nachrichten, 288(14-15):1694–1717, 2015
Van Kien Nguyen. Bernstein numbers of embeddings of isotropic and dominating mixed besov spaces.Mathematische Nachrichten, 288(14-15):1694–1717, 2015
2015
-
[32]
Nielsen and Isaac L
Michael A. Nielsen and Isaac L. Chuang.Quantum Computation and Quantum In- formation: 10th Anniversary Edition. Cambridge University Press, 2010
2010
-
[33]
Theshani Nuradha and Mark M. Wilde. Contraction of private quantum channels and private quantum hypothesis testing.IEEE Transactions on Information Theory, 71(3):1851–1873, 2025
2025
-
[34]
Contraction of generalized relative entropy under stochastic mappings on matrices.Infinite Dimensional Analysis, Quantum Probability and Related Topics, 01(01):83–89, 1998
Dénes Petz and Mary Beth Ruskai. Contraction of generalized relative entropy under stochastic mappings on matrices.Infinite Dimensional Analysis, Quantum Probability and Related Topics, 01(01):83–89, 1998
1998
-
[35]
Pietsch.Operators Ideals
A. Pietsch.Operators Ideals. North-Holland mathematical library. North-Holland Publishing Company, 1980
1980
-
[36]
Pietsch.Eigenvalues and S-Numbers
A. Pietsch.Eigenvalues and S-Numbers. Cambridge Studies in Advanced Mathemat- ics. Cambridge University Press, 1987
1987
-
[37]
s-numbers of operators in banach spaces.Studia Mathematica, 51(3):201–223, 1974
Albrecht Pietsch. s-numbers of operators in banach spaces.Studia Mathematica, 51(3):201–223, 1974. 23
1974
-
[38]
Weyl numbers and eigenvalues of operators in banach spaces.Math- ematische Annalen, 247(2):149–168, 06 1980
Albrecht Pietsch. Weyl numbers and eigenvalues of operators in banach spaces.Math- ematische Annalen, 247(2):149–168, 06 1980
1980
-
[39]
Bad properties of the Bernstein numbers.Studia Mathematica, 184(3):263–269, 2008
Albrecht Pietsch. Bad properties of the Bernstein numbers.Studia Mathematica, 184(3):263–269, 2008
2008
-
[40]
Wolf, Denes Petz, and Mary Beth Ruskai
David Pérez-García, Michael M. Wolf, Denes Petz, and Mary Beth Ruskai. Contrac- tivity of positive and trace-preserving maps underLp norms.Journal of Mathematical Physics, 47(8), 08 2006
2006
-
[41]
Exponentially tighter bounds on limitations of quantum error mitigation
Yihui Quek, Daniel Stilck França, Sumeet Khatri, Johannes Jakob Meyer, and Jens Eisert. Exponentially tighter bounds on limitations of quantum error mitigation. Nature Physics, 20(10):1648–1658, 2024
2024
-
[42]
Computing quantum channel capacities.IEEE Transactions on Information Theory, 67(2):946– 960, 2021
NavneethRamakrishnan, RabanIten, VolkherB.Scholz, andMarioBerta. Computing quantum channel capacities.IEEE Transactions on Information Theory, 67(2):946– 960, 2021
2021
-
[43]
Kastoryano, and Michael M
David Reeb, Michael J. Kastoryano, and Michael M. Wolf. Hilbert’s projective metric in quantum information theory.Journal of Mathematical Physics, 52(8):082201, 08 2011
2011
-
[44]
Alhambra
Cambyse Rouzé, Daniel Stilck França, and Álvaro M. Alhambra. Efficient thermal- ization and universal quantum computing with quantum gibbs samplers. InProceed- ings of the 57th Annual ACM Symposium on Theory of Computing, STOC ’25, page 1488–1495, New York, NY, USA, 2025. Asso...
2025
-
[45]
Equality conditions for the quantum f-relative entropy and general- ized data processing inequalities.Quantum Information Processing, 11(1):137–160, 02 2012
Naresh Sharma. Equality conditions for the quantum f-relative entropy and general- ized data processing inequalities.Quantum Information Processing, 11(1):137–160, 02 2012
2012
-
[46]
Shor, John A
Peter W. Shor, John A. Smolin, and Barbara M. Terhal. Nonadditivity of bipartite distillable entanglement follows from a conjecture on bound entangled werner states. Phys. Rev. Lett., 86:2681–2684, 03 2001
2001
-
[47]
Limitations of optimization algorithms on noisy quantum devices.Nature Physics, 17(11):1221–1227, 10 2021
Daniel Stilck França and Raul García-Patrón. Limitations of optimization algorithms on noisy quantum devices.Nature Physics, 17(11):1221–1227, 10 2021
2021
-
[48]
Temme, M
K. Temme, M. J. Kastoryano, M. B. Ruskai, M. M. Wolf, and F. Verstraete. Theχ2- divergence and mixing times of quantum Markov processes.Journal of Mathematical Physics, 51(12):122201, 12 2010
2010
-
[49]
Terhal and David P
Barbara M. Terhal and David P. DiVincenzo. Problem of equilibration and the com- putation of correlation functions on a quantum computer.Phys. Rev. A, 61:022301, 01 2000
2000
-
[50]
A sufficient criterion for divisibility of quantum channels.Journal of Mathematical Physics, 66(3), 03 2025
Frederik vom Ende. A sufficient criterion for divisibility of quantum channels.Journal of Mathematical Physics, 66(3), 03 2025
2025
-
[51]
Cambridge University Press, 2018
John Watrous.The Theory of Quantum Information. Cambridge University Press, 2018
2018
-
[52]
Michael M. Wolf. Quantum channels and operations - guided tour, 2012. Lecture Notes
2012
-
[53]
Wolf and J
Michael M. Wolf and J. Ignacio Cirac. Dividing quantum channels.Communications in Mathematical Physics, 279(1):147–168, February 2008
2008
-
[54]
Theinverseeigenvalueproblemforquantum channels, 2010
MichaelM.WolfandDavidPerez-Garcia. Theinverseeigenvalueproblemforquantum channels, 2010. 24 A Example of extreme relation with the singular values It is known that for non-unital channels at least one singular value ofTis strictly larger than1[40]. Conveniently, this is not ne...
2010
Reviewed July 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.