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:2508.08214

Average Contraction Coefficients of Quantum Channels

Rubén Ibarrondo, Daniel Stilck França

Published Aug 11, 2025• 0 citations
arXivHTMLPDF

Abstract

The data-processing inequality ensures quantum channels reduce state distinguishability, with contraction coefficients quantifying optimal bounds. However, these can be overly optimistic and not representative of the usual behavior. We study how noise contracts distinguishability of `typical' states, beyond the worst-case. To that end, we introduce and study a family of moments of contraction for quantum divergences, which interpolate between the worst-case contraction coefficient of a channel and its average behavior under a chosen ensemble of input states. We establish general properties of these moments, relate moments for different divergences, and derive bounds in terms of channel parameters like the entropy or purity of its Choi state. Focusing on the trace distance, we obtain upper and lower bounds on its average contraction under tensor-product noise channels, and prove that, depending on the local noise strength, there is a phase transition in the limit of many channel uses: below a critical error rate the average contraction remains near unity, whereas above it decays exponentially with system size. We extend these phase-transition phenomena to random quantum circuits with unital noise, showing that constant-depth noisy circuits do not shrink the trace distance on average, even when given highly entangled states as input. In contrast, even at $\log\log n$ depth, the average trace distance can become superpolynomially small. Finally, we explore moments of contraction for f-divergences and discuss applications to local differential privacy, demonstrating that noise regimes ensuring privacy can render outputs essentially indistinguishable on average. Thus, our results provide a fine-grained framework to quantify typical channel noise in quantum information and computation and unveil new phenomena in contraction coefficients, such as phase transitions for average contraction.

DOI
10.48550/arxiv.2508.08214

Related papers

Conditional contraction coefficients and their applications to quantum networks

Christoph Hirche, Ian George, Theshani Nuradha +1 more

Contraction coefficients quantify the loss of distinguishability induced by a channel and provide a strong form of the data-processing inequality. While standard contraction coefficients ignore auxiliary quantum systems, existing extensions based on complete contraction coefficients require the compared states to have identical reference marginals. In this work, we introduce conditional contraction coefficients, a novel family that incorporates arbitrary quantum reference systems by subtracting the distinguishability already present in the reference system. We develop a general framework for contraction coefficients with such quantum side information, including the corresponding strong-data-processing-inequality (SDPI) constants, expansion coefficients, and relative contraction coefficients. For the trace distance, we show that the optimization can be restricted to orthogonal input states. For the quantum relative entropy, we prove that its conditional contraction coefficient is exactly equal to the contraction coefficient of the conditional mutual information, extending the classical correspondence between relative-entropy contraction and mutual-information contraction to the setting with quantum side information. More generally, we identify structural properties of divergences required for these results and discuss extensions beyond the relative entropy. These results establish a unified framework for analyzing information contraction in quantum network settings, where quantum side information and distributed correlations are intrinsic features of the information-processing task. Applications include an extension of the Polyanskiy-Wu bounds on mutual information contraction, new perspectives on mixing times, and fundamental limits on quantum memories.

quant-pharXiv:2608.27171•Aug 28, 2026•0 citations

Contraction of Private Quantum Channels and Private Quantum Hypothesis Testing

Theshani Nuradha, Mark M. Wilde

A quantum generalized divergence by definition satisfies the data-processing inequality; as such, the relative decrease in such a divergence under the action of a quantum channel is at most one. This relative decrease is formally known as the contraction coefficient of the channel and the divergence. Interestingly, there exist combinations of channels and divergences for which the contraction coefficient is strictly less than one. Furthermore, understanding the contraction coefficient is fundamental for the study of statistical tasks under privacy constraints. To this end, here we establish upper bounds on contraction coefficients for the hockey-stick divergence under privacy constraints, where privacy is quantified with respect to the quantum local differential privacy (QLDP) framework, and we fully characterize the contraction coefficient for the trace distance under privacy constraints. Using the machinery developed, we also determine an upper bound on the contraction of both the Bures distance and quantum relative entropy relative to the normalized trace distance, under QLDP constraints. Next, we apply our findings to establish bounds on the sample complexity of quantum hypothesis testing under privacy constraints. Furthermore, we study various scenarios in which the sample complexity bounds are tight while providing order-optimal quantum channels that achieve those bounds. Lastly, we show how private quantum channels provide fairness and Holevo information stability in quantum learning settings.

arXiv:2406.18651•IEEE Transactions on Information Theory•Jan 9, 2025•10 citations

Can scrambling protect quantum state distinguishability under noise?

Guoding Liu, Chushi Qin, Zitai Xu +2 more

Quantum state distinguishability is a fundamental concept in quantum information science that underpins a wide range of important practical tasks. Traditionally formulated for pairs of states, quantum state distinguishability is here extended to quantum state ensembles, which we characterize through the average pairwise trace distance. Motivated by both theoretical and practical interest in noisy quantum information processing, we ask whether ``minimally'' scrambled ensembles modeled by 2-designs protect distinguishability under noise, which sheds light on the fundamental competition between noise and information scrambling. Using a rigorous decoupling approach, we establish tight bounds on noisy ensemble distinguishability. We show that the distinguishability of noisy 2-design ensembles exhibits a sharp threshold and phase-transition behavior governed by channel conditional entropy: below the threshold, the states remain mutually distinguishable with high probability, while above it, distinguishability undergoes a sudden power-law decay and then collapses exponentially. On the other hand, under local purity-shrinking noise, post-measured noisy 2-design ensembles become exponentially indistinguishable for any measurement, precluding a noise threshold for learning tasks such as shadow tomography. These results reveal a sharp difference between unmeasured and post-measured scrambled ensembles: the former can retain high distinguishability for sufficiently small noise, whereas the latter exhibits no such protected regime. We discuss the implications of these results for crucial tasks ranging from quantum communication and cryptography to learning.

quant-pharXiv:2606.02122•Jun 2, 2026•0 citations

Exploring Quantum Average-Case Distances: Proofs, Properties, and Examples

Filip B. Maciejewski, Zbigniew Puchała, Michał Oszmaniec

In this work, we present an in-depth study of average-case quantum distances introduced in Maciejewski et al. (2022). The average-case distances approximate, up to the relative error, the average Total-Variation (TV) distance between measurement outputs of two quantum processes, in which quantum objects of interest (states, measurements, or channels) are intertwined with random quantum circuits. Contrary to conventional distances, such as trace distance or diamond norm, they quantifyaverage-casestatistical distinguishability via random quantum circuits. We prove that once a family of random circuits forms an$\delta $-approximate 4-design, with$\delta =o(d^{-8})$, then the average-case distances can be approximated by simple explicit functions that can be expressed via simple degree two polynomials in objects of interest. For systems of moderate dimension, they can be easily explicitly computed – no optimization is needed as opposed to diamond norm distance between channels or operational distance between measurements. We prove that those functions, which we call quantum average-case distances, have a plethora of desirable properties, such as subadditivity w.r.t. tensor products, joint convexity, and (restricted) data-processing inequalities. Notably, all distances utilize the Hilbert-Schmidt (HS) norm, which provides this norm with a new operational interpretation. We also provide upper bounds on the maximal ratio between worst-case and average-case distances, and for each of them, we provide an example that saturates the bound. Specifically, we show that for each dimension$d$this ratio is at most$d^{\frac {1}{2}}, d, d^{\frac {3}{2}}$for states, measurements, and channels, respectively. To support the practical usefulness of our findings, we study multiple examples in which average-case quantum distances can be calculated analytically.

arXiv:2112.14284•IEEE Transactions on Information Theory•Mar 9, 2023•8 citations

Contraction and Expansion Values of Quantum Channels

Ruben Ibarrondo, Mikel Sanz

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.

quant-pharXiv:2607.04950•Jul 7, 2026•0 citations

On contraction coefficients, partial orders and approximation of capacities for quantum channels

Christoph Hirche, Cambyse Rouzé, Daniel Stilck França

The data processing inequality is the most basic requirement for any meaningful measure of information. It essentially states that distinguishability measures between states decrease if we apply a quantum channel and is the centerpiece of many results in information theory. Moreover, it justifies the operational interpretation of most entropic quantities. In this work, we revisit the notion of contraction coefficients of quantum channels, which provide sharper and specialized versions of the data processing inequality. A concept closely related to data processing is partial orders on quantum channels. First, we discuss several quantum extensions of the well-known less noisy ordering and relate them to contraction coefficients. We further define approximate versions of the partial orders and show how they can give strengthened and conceptually simple proofs of several results on approximating capacities. Moreover, we investigate the relation to other partial orders in the literature and their properties, particularly with regard to tensorization. We then examine the relation between contraction coefficients with other properties of quantum channels such as hypercontractivity. Next, we extend the framework of contraction coefficients to general f-divergences and prove several structural results. Finally, we consider two important classes of quantum channels, namely Weyl-covariant and bosonic Gaussian channels. For those, we determine new contraction coefficients and relations for various partial orders.

arXiv:2011.05949•Quantum•Nov 28, 2022•30 citations
The data-processing inequality ensures quantum channels reduce state distinguishability, with contraction coefficients quantifying optimal bounds. However, these can be overly optimistic and not representative of the usual behavior. We study how noise contracts distinguishability of `typical' states, beyond the worst-case. To that end, we introduce and study a family of moments of contraction for quantum divergences, which interpolate between the worst-case contraction coefficient of a channel and its average behavior under a chosen ensemble of input states. We establish general properties of these moments, relate moments for different divergences, and derive bounds in terms of channel parameters like the entropy or purity of its Choi state. Focusing on the trace distance, we obtain upper and lower bounds on its average contraction under tensor-product noise channels, and prove that, depending on the local noise strength, there is a phase transition in the limit of many channel uses: below a critical error rate the average contraction remains near unity, whereas above it decays exponentially with system size. We extend these phase-transition phenomena to random quantum circuits with unital noise, showing that constant-depth noisy circuits do not shrink the trace distance on average, even when given highly entangled states as input. In contrast, even at log⁡log⁡n\log\log nloglogn depth, the average trace distance can become superpolynomially small. Finally, we explore moments of contraction for f-divergences and discuss applications to local differential privacy, demonstrating that noise regimes ensuring privacy can render outputs essentially indistinguishable on average. Thus, our results provide a fine-grained framework to quantify typical channel noise in quantum information and computation and unveil new phenomena in contraction coefficients, such as phase transitions for average contraction.
Contraction coefficients quantify the loss of distinguishability induced by a channel and provide a strong form of the data-processing inequality. While standard contraction coefficients ignore auxiliary quantum systems, existing extensions based on complete contraction coefficients require the compared states to have identical reference marginals. In this work, we introduce conditional contraction coefficients, a novel family that incorporates arbitrary quantum reference systems by subtracting the distinguishability already present in the reference system. We develop a general framework for contraction coefficients with such quantum side information, including the corresponding strong-data-processing-inequality (SDPI) constants, expansion coefficients, and relative contraction coefficients. For the trace distance, we show that the optimization can be restricted to orthogonal input states. For the quantum relative entropy, we prove that its conditional contraction coefficient is exactly equal to the contraction coefficient of the conditional mutual information, extending the classical correspondence between relative-entropy contraction and mutual-information contraction to the setting with quantum side information. More generally, we identify structural properties of divergences required for these results and discuss extensions beyond the relative entropy. These results establish a unified framework for analyzing information contraction in quantum network settings, where quantum side information and distributed correlations are intrinsic features of the information-processing task. Applications include an extension of the Polyanskiy-Wu bounds on mutual information contraction, new perspectives on mixing times, and fundamental limits on quantum memories.
A quantum generalized divergence by definition satisfies the data-processing inequality; as such, the relative decrease in such a divergence under the action of a quantum channel is at most one. This relative decrease is formally known as the contraction coefficient of the channel and the divergence. Interestingly, there exist combinations of channels and divergences for which the contraction coefficient is strictly less than one. Furthermore, understanding the contraction coefficient is fundamental for the study of statistical tasks under privacy constraints. To this end, here we establish upper bounds on contraction coefficients for the hockey-stick divergence under privacy constraints, where privacy is quantified with respect to the quantum local differential privacy (QLDP) framework, and we fully characterize the contraction coefficient for the trace distance under privacy constraints. Using the machinery developed, we also determine an upper bound on the contraction of both the Bures distance and quantum relative entropy relative to the normalized trace distance, under QLDP constraints. Next, we apply our findings to establish bounds on the sample complexity of quantum hypothesis testing under privacy constraints. Furthermore, we study various scenarios in which the sample complexity bounds are tight while providing order-optimal quantum channels that achieve those bounds. Lastly, we show how private quantum channels provide fairness and Holevo information stability in quantum learning settings.
Quantum state distinguishability is a fundamental concept in quantum information science that underpins a wide range of important practical tasks. Traditionally formulated for pairs of states, quantum state distinguishability is here extended to quantum state ensembles, which we characterize through the average pairwise trace distance. Motivated by both theoretical and practical interest in noisy quantum information processing, we ask whether ``minimally'' scrambled ensembles modeled by 2-designs protect distinguishability under noise, which sheds light on the fundamental competition between noise and information scrambling. Using a rigorous decoupling approach, we establish tight bounds on noisy ensemble distinguishability. We show that the distinguishability of noisy 2-design ensembles exhibits a sharp threshold and phase-transition behavior governed by channel conditional entropy: below the threshold, the states remain mutually distinguishable with high probability, while above it, distinguishability undergoes a sudden power-law decay and then collapses exponentially. On the other hand, under local purity-shrinking noise, post-measured noisy 2-design ensembles become exponentially indistinguishable for any measurement, precluding a noise threshold for learning tasks such as shadow tomography. These results reveal a sharp difference between unmeasured and post-measured scrambled ensembles: the former can retain high distinguishability for sufficiently small noise, whereas the latter exhibits no such protected regime. We discuss the implications of these results for crucial tasks ranging from quantum communication and cryptography to learning.
In this work, we present an in-depth study of average-case quantum distances introduced in Maciejewski et al. (2022). The average-case distances approximate, up to the relative error, the average Total-Variation (TV) distance between measurement outputs of two quantum processes, in which quantum objects of interest (states, measurements, or channels) are intertwined with random quantum circuits. Contrary to conventional distances, such as trace distance or diamond norm, they quantifyaverage-casestatistical distinguishability via random quantum circuits. We prove that once a family of random circuits forms an$\delta −approximate4−design,with-approximate 4-design, with−approximate4−design,with\delta =o(d^{-8}),thentheaverage−casedistancescanbeapproximatedbysimpleexplicitfunctionsthatcanbeexpressedviasimpledegreetwopolynomialsinobjectsofinterest.Forsystemsofmoderatedimension,theycanbeeasilyexplicitlycomputed–nooptimizationisneededasopposedtodiamondnormdistancebetweenchannelsoroperationaldistancebetweenmeasurements.Weprovethatthosefunctions,whichwecallquantumaverage−casedistances,haveaplethoraofdesirableproperties,suchassubadditivityw.r.t.tensorproducts,jointconvexity,and(restricted)data−processinginequalities.Notably,alldistancesutilizetheHilbert−Schmidt(HS)norm,whichprovidesthisnormwithanewoperationalinterpretation.Wealsoprovideupperboundsonthemaximalratiobetweenworst−caseandaverage−casedistances,andforeachofthem,weprovideanexamplethatsaturatesthebound.Specifically,weshowthatforeachdimension, then the average-case distances can be approximated by simple explicit functions that can be expressed via simple degree two polynomials in objects of interest. For systems of moderate dimension, they can be easily explicitly computed – no optimization is needed as opposed to diamond norm distance between channels or operational distance between measurements. We prove that those functions, which we call quantum average-case distances, have a plethora of desirable properties, such as subadditivity w.r.t. tensor products, joint convexity, and (restricted) data-processing inequalities. Notably, all distances utilize the Hilbert-Schmidt (HS) norm, which provides this norm with a new operational interpretation. We also provide upper bounds on the maximal ratio between worst-case and average-case distances, and for each of them, we provide an example that saturates the bound. Specifically, we show that for each dimension,thentheaverage−casedistancescanbeapproximatedbysimpleexplicitfunctionsthatcanbeexpressedviasimpledegreetwopolynomialsinobjectsofinterest.Forsystemsofmoderatedimension,theycanbeeasilyexplicitlycomputed–nooptimizationisneededasopposedtodiamondnormdistancebetweenchannelsoroperationaldistancebetweenmeasurements.Weprovethatthosefunctions,whichwecallquantumaverage−casedistances,haveaplethoraofdesirableproperties,suchassubadditivityw.r.t.tensorproducts,jointconvexity,and(restricted)data−processinginequalities.Notably,alldistancesutilizetheHilbert−Schmidt(HS)norm,whichprovidesthisnormwithanewoperationalinterpretation.Wealsoprovideupperboundsonthemaximalratiobetweenworst−caseandaverage−casedistances,andforeachofthem,weprovideanexamplethatsaturatesthebound.Specifically,weshowthatforeachdimensiondthisratioisatmostthis ratio is at mostthisratioisatmostd^{\frac {1}{2}}, d, d^{\frac {3}{2}}$for states, measurements, and channels, respectively. To support the practical usefulness of our findings, we study multiple examples in which average-case quantum distances can be calculated analytically.
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 sss-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, ddd-dimensional amplitude damping channels, and direct-sum channels.
The data processing inequality is the most basic requirement for any meaningful measure of information. It essentially states that distinguishability measures between states decrease if we apply a quantum channel and is the centerpiece of many results in information theory. Moreover, it justifies the operational interpretation of most entropic quantities. In this work, we revisit the notion of contraction coefficients of quantum channels, which provide sharper and specialized versions of the data processing inequality. A concept closely related to data processing is partial orders on quantum channels. First, we discuss several quantum extensions of the well-known less noisy ordering and relate them to contraction coefficients. We further define approximate versions of the partial orders and show how they can give strengthened and conceptually simple proofs of several results on approximating capacities. Moreover, we investigate the relation to other partial orders in the literature and their properties, particularly with regard to tensorization. We then examine the relation between contraction coefficients with other properties of quantum channels such as hypercontractivity. Next, we extend the framework of contraction coefficients to general f-divergences and prove several structural results. Finally, we consider two important classes of quantum channels, namely Weyl-covariant and bosonic Gaussian channels. For those, we determine new contraction coefficients and relations for various partial orders.