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:quant-ph/0408159 · Journal of Mathematical Physics

Operational distance and fidelity for quantum channels

V. P. Belavkin, Giacomo Mauro D’Ariano, Maxim Raginsky

Published May 20, 2005• 50 citations
arXivHTMLPDF

Abstract

We define and study a fidelity criterion for quantum channels, which we term the minimax fidelity, through a noncommutative generalization of maximal Hellinger distance between two positive kernels in classical probability theory. Like other known fidelities for quantum channels, the minimax fidelity is well defined for channels between finite-dimensional algebras, but it also applies to a certain class of channels between infinite-dimensional algebras (explicitly, those channels that possess an operator-valued Radon-Nikodym density with respect to the trace in the sense of Belavkin-Staszewski) and induces a metric on the set of quantum channels that is topologically equivalent to the CB-norm distance between channels, precisely in the same way as the Bures metric on the density operators associated with statistical states of quantum-mechanical systems, derived from the well-known fidelity (“generalized transition probability”) of Uhlmann, is topologically equivalent to the trace-norm distance.

DOI
10.1063/1.1904510

Related papers

Contravariant Densities, Operational Distances and Quantum Channel Fidelities

V. P. Belavkin

Introducing contravariant trace-densities for quantum states, we restore one to one correspondence between quantum operations described by normal CP maps and their trace densities as Hermitian positive operator-valued contravariant kernels. The CB-norm distance between two quantum operations with type one input algebras is explicitly expressed in terms of these densities, and this formula is also extended to a generalized CB-distances between quantum operations with type two inputs. A larger C-distance is given as the natural norm-distance for the channel densities, and another, Helinger type distance, related to minimax mean square optimization problem for purification of quantum channels, is also introduced and evaluated in terms of their contravariant trace-densities. It is proved that the Helinger type complete fidelity distance between two channels is equivalent to the CB distance at least for type one inputs, and this equivalence is also extended to type two for the generalized CB distance. An operational meaning for these distances and relative complete fidelity for quantum channels is given in terms of quantum encodings as generalized entanglements of quantum states opposite to the inputs and the output states.

•Aug 24, 2004•1 citation

Continuity of certain quantum channel divergences

Morgan Jones

The geometric channel fidelity, the geometric Rényi divergences and the Belavkin--Staszewski relative entropy give converse bounds for capacities, discrimination and estimation. Channels are known only approximately, yet two pairs of channels with equal sums can be arbitrarily close in the diamond norm and have fidelities $0$ and $1$. The remedy is the Arveson--Radon--Nikodym derivative $T$ of one map with respect to the sum $Ω$, whose transpose is the environment effect selecting that map in a Stinespring dilation of $Ω$. In $T$, these quantities and all maximal $f$-divergences of operator convex $f$ are continuous, with explicit dimension-free moduli; for two pairs of channels with the same sum the fidelities differ by at most $2\|T_1-T_2\|_\infty^{1/2}$, which gives Hölder continuity in the diamond norm on such splittings. The fidelity is continuous at a pair of completely positive maps exactly when the Choi matrix of the sum is invertible or the fidelity vanishes: noisy channels of full Kraus rank are continuity points, unitary gates are not.

quant-pharXiv:2610.16270•Oct 13, 2026•0 citations

Quantum information processing under maximal distance measures

Bartosz Regula, Ludovico Lami, Mario Berta +1 more

The measures of distance frequently used in quantum information, such as trace distance or fidelity-based purified distance, are the smallest extensions of the corresponding distance measures in classical information theory. However, this way of extending classical distances is not unique, and a whole spectrum of other extensions can be defined. Here we study the question of how quantum information processing tasks are affected by a change of the error metrics to the maximal extensions of the classical distance measures, imposing more demanding error requirements on operational tasks. We find that the performance of some tasks, such as channel coding or quantum resource distillation, is not affected whatsoever by this change. However, for other tasks such as channel simulation and quantum resource dilution, we show that the rates are now given not by functions of the standard (Umegaki) quantum relative entropy, but ones based on the Belavkin-Staszewski relative entropy. Our results connect the Belavkin-Staszewski relative entropy with operational tasks and reveal that known reversibility results in quantum information, including the reverse Shannon theorem and the asymptotic reversibility of quantum resource transformations, no longer hold under maximal distance measures.

quant-pharXiv:2610.06842•Oct 6, 2026•0 citations

The fidelity of density operators in an operator-algebraic framework

Douglas Farenick, Samuel Jaques, Mizanur Rahaman

Josza’s definition of fidelity [R. Jozsa, J. Mod. Opt. 41(12), 2315–2323 (1994)] for a pair of (mixed) quantum states is studied in the context of two types of operator algebras. The first setting is mainly algebraic in that it involves unital C∗-algebras A that possess a faithful trace functional τ. In this context, the role of quantum states (that is, density operators) in the classical quantum-mechanical framework is assumed by positive elements ρ ∈ A for which τ(ρ) = 1. The second setting is more operator theoretic: by fixing a faithful normal semifinite trace τ on a semifinite von Neumann algebra M, we define and consider the fidelity of pairs of positive operators in M of unit trace. The main results of this paper address monotonicity and preservation of fidelity under the action of certain trace-preserving positive linear maps of A or of the predual M∗. Our results in the von Neumann algebra setting are novel in that we focus on the Schrödinger picture rather than the Heisenberg picture, and they also yield a new proof of a theorem of Molnár [Rep. Math. Phys. 48(3), 299–303 (2001)] on the structure of fidelity-preserving quantum channels on the trace-class operators.

arXiv:1602.08177•Journal of Mathematical Physics•Oct 1, 2016•6 citations

Operation fidelity explored by numerical range of Kraus operators

Igor Chełstowski, Grzegorz Rajchel-Mieldzioć, Karol Życzkowski

Present-day quantum devices require precise implementation of desired quantum channels. To characterize the quality of implementation one uses the average operation fidelity $F$, defined as the fidelity between an initial pure state and its image with respect to the analyzed operation, averaged over an ensemble of pure states. We analyze the statistical properties of the operation fidelity for low-dimensional channels and study its extreme values and probability distribution. These results are obtained with the help of the joint numerical range of the set of Kraus operators representing a channel. Analytic expressions for the density $P(F)$ are derived in some particular cases including unitary and mixed unitary channels as well as quantum maps represented by commuting Kraus operators. We propose a scheme for fidelity-based channel estimation which uses the distribution of operation fidelity.

arXiv:2212.10139•Physical Review A•Aug 9, 2023•3 citations

Entanglement Fidelity in Standard Quantum Channels

Niccolò Zanieri, Marios Kountouris

Entanglement fidelity quantifies how well a quantum channel preserves the correlations between a transmitted system and an inaccessible reference system. We derive closed-form expressions for the entanglement fidelity associated with several standard quantum noise models, including the random Pauli-X, dephasing, depolarizing, Werner-Holevo, generalized Pauli (Weyl), and amplitude-damping channels. For each model, we express the entanglement fidelity in terms of a general input density operator $ρ$, using Schumacher's Kraus-operator approach, which provides a channel-agnostic recipe applicable to any completely positive trace-preserving (CPTP) map with a finite Kraus representation. We then specialize to a communication scenario in which the source emits a two-letter parametric alphabet, thereby making explicit the dependence of entanglement preservation on both channel and source parameters. The resulting expressions enable direct comparisons of channel performance and rankings for representative families of input states, including common qubit states.

quant-pharXiv:2603.07761•Mar 10, 2026•0 citations
We define and study a fidelity criterion for quantum channels, which we term the minimax fidelity, through a noncommutative generalization of maximal Hellinger distance between two positive kernels in classical probability theory. Like other known fidelities for quantum channels, the minimax fidelity is well defined for channels between finite-dimensional algebras, but it also applies to a certain class of channels between infinite-dimensional algebras (explicitly, those channels that possess an operator-valued Radon-Nikodym density with respect to the trace in the sense of Belavkin-Staszewski) and induces a metric on the set of quantum channels that is topologically equivalent to the CB-norm distance between channels, precisely in the same way as the Bures metric on the density operators associated with statistical states of quantum-mechanical systems, derived from the well-known fidelity (“generalized transition probability”) of Uhlmann, is topologically equivalent to the trace-norm distance.
Introducing contravariant trace-densities for quantum states, we restore one to one correspondence between quantum operations described by normal CP maps and their trace densities as Hermitian positive operator-valued contravariant kernels. The CB-norm distance between two quantum operations with type one input algebras is explicitly expressed in terms of these densities, and this formula is also extended to a generalized CB-distances between quantum operations with type two inputs. A larger C-distance is given as the natural norm-distance for the channel densities, and another, Helinger type distance, related to minimax mean square optimization problem for purification of quantum channels, is also introduced and evaluated in terms of their contravariant trace-densities. It is proved that the Helinger type complete fidelity distance between two channels is equivalent to the CB distance at least for type one inputs, and this equivalence is also extended to type two for the generalized CB distance. An operational meaning for these distances and relative complete fidelity for quantum channels is given in terms of quantum encodings as generalized entanglements of quantum states opposite to the inputs and the output states.
The geometric channel fidelity, the geometric Rényi divergences and the Belavkin--Staszewski relative entropy give converse bounds for capacities, discrimination and estimation. Channels are known only approximately, yet two pairs of channels with equal sums can be arbitrarily close in the diamond norm and have fidelities 000 and 111. The remedy is the Arveson--Radon--Nikodym derivative TTT of one map with respect to the sum ΩΩΩ, whose transpose is the environment effect selecting that map in a Stinespring dilation of ΩΩΩ. In TTT, these quantities and all maximal fff-divergences of operator convex fff are continuous, with explicit dimension-free moduli; for two pairs of channels with the same sum the fidelities differ by at most 2∥T1−T2∥∞1/22\|T_1-T_2\|_\infty^{1/2}2∥T1​−T2​∥∞1/2​, which gives Hölder continuity in the diamond norm on such splittings. The fidelity is continuous at a pair of completely positive maps exactly when the Choi matrix of the sum is invertible or the fidelity vanishes: noisy channels of full Kraus rank are continuity points, unitary gates are not.
The measures of distance frequently used in quantum information, such as trace distance or fidelity-based purified distance, are the smallest extensions of the corresponding distance measures in classical information theory. However, this way of extending classical distances is not unique, and a whole spectrum of other extensions can be defined. Here we study the question of how quantum information processing tasks are affected by a change of the error metrics to the maximal extensions of the classical distance measures, imposing more demanding error requirements on operational tasks. We find that the performance of some tasks, such as channel coding or quantum resource distillation, is not affected whatsoever by this change. However, for other tasks such as channel simulation and quantum resource dilution, we show that the rates are now given not by functions of the standard (Umegaki) quantum relative entropy, but ones based on the Belavkin-Staszewski relative entropy. Our results connect the Belavkin-Staszewski relative entropy with operational tasks and reveal that known reversibility results in quantum information, including the reverse Shannon theorem and the asymptotic reversibility of quantum resource transformations, no longer hold under maximal distance measures.
Josza’s definition of fidelity [R. Jozsa, J. Mod. Opt. 41(12), 2315–2323 (1994)] for a pair of (mixed) quantum states is studied in the context of two types of operator algebras. The first setting is mainly algebraic in that it involves unital C∗-algebras A that possess a faithful trace functional τ. In this context, the role of quantum states (that is, density operators) in the classical quantum-mechanical framework is assumed by positive elements ρ ∈ A for which τ(ρ) = 1. The second setting is more operator theoretic: by fixing a faithful normal semifinite trace τ on a semifinite von Neumann algebra M, we define and consider the fidelity of pairs of positive operators in M of unit trace. The main results of this paper address monotonicity and preservation of fidelity under the action of certain trace-preserving positive linear maps of A or of the predual M∗. Our results in the von Neumann algebra setting are novel in that we focus on the Schrödinger picture rather than the Heisenberg picture, and they also yield a new proof of a theorem of Molnár [Rep. Math. Phys. 48(3), 299–303 (2001)] on the structure of fidelity-preserving quantum channels on the trace-class operators.
Present-day quantum devices require precise implementation of desired quantum channels. To characterize the quality of implementation one uses the average operation fidelity FFF, defined as the fidelity between an initial pure state and its image with respect to the analyzed operation, averaged over an ensemble of pure states. We analyze the statistical properties of the operation fidelity for low-dimensional channels and study its extreme values and probability distribution. These results are obtained with the help of the joint numerical range of the set of Kraus operators representing a channel. Analytic expressions for the density P(F)P(F)P(F) are derived in some particular cases including unitary and mixed unitary channels as well as quantum maps represented by commuting Kraus operators. We propose a scheme for fidelity-based channel estimation which uses the distribution of operation fidelity.
Entanglement fidelity quantifies how well a quantum channel preserves the correlations between a transmitted system and an inaccessible reference system. We derive closed-form expressions for the entanglement fidelity associated with several standard quantum noise models, including the random Pauli-X, dephasing, depolarizing, Werner-Holevo, generalized Pauli (Weyl), and amplitude-damping channels. For each model, we express the entanglement fidelity in terms of a general input density operator ρρρ, using Schumacher's Kraus-operator approach, which provides a channel-agnostic recipe applicable to any completely positive trace-preserving (CPTP) map with a finite Kraus representation. We then specialize to a communication scenario in which the source emits a two-letter parametric alphabet, thereby making explicit the dependence of entanglement preservation on both channel and source parameters. The resulting expressions enable direct comparisons of channel performance and rankings for representative families of input states, including common qubit states.