Operational distance and fidelity for quantum channels

Viacheslav P. Belavkin,Giacomo Mauro D'Ariano,Maxim Raginsky

DOI: https://doi.org/10.1063/1.1904510

2005-01-19

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

Quantum Physics,Mathematical Physics,Operator Algebras

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to define and study the fidelity standard between quantum channels. In particular, it proposes a new fidelity criterion - minimax fidelity. This fidelity is a non - commutative generalization of the maximum Hellinger distance between two positive kernels in classical probability theory. Specifically, the paper aims to solve the following problems:

1. **Limitations of existing fidelity standards**: The existing quantum channel fidelity standards (such as the channel fidelity proposed by Raginsky) are only applicable to channels between finite - dimensional algebras and are not equivalent to the complete bounded norm distance (CB - norm distance). This means that in some cases, even if two channels are far apart in CB - norm distance, their fidelity may still be high.

2. **Extension to infinite - dimensional algebras**: The paper hopes to extend the fidelity standard to channels between certain infinite - dimensional algebras, especially those channels with operator - valued Radon - Nikodym densities in the sense of Belavkin - Staszewski.

3. **Equivalence problem**: One of the goals of the paper is to ensure that the newly proposed minimax fidelity is topologically equivalent to the CB - norm distance, similar to the relationship between Uhlmann fidelity and trace - norm distance.

4. **Operational significance**: The minimax fidelity should have a direct operational significance, that is, it can be interpreted as the minimum overlap of the pre - dual channel output states (density operators) when the operator - sum decompositions of these channels overlap as much as possible.

By solving these problems, the paper hopes to provide a more general and powerful tool for measuring the closeness between quantum channels, thereby providing a better theoretical basis for optimization problems in quantum information science.

### Formula summary

- **Trace - norm distance**:
\[
D(\rho,\sigma)=\frac{1}{2}\|\rho - \sigma\|_1
\]
where \(\|\rho\|_1 = \text{Tr}|\rho|\) and \(|\rho| = (\rho^{\dagger}\rho)^{1/2}\).

- **Fidelity**:
\[
F(\rho,\sigma)=\text{Tr}\left((\rho^{1/2}\sigma\rho^{1/2})^{1/2}\right)
\]

- **CB - norm distance**:
\[
D(\Phi,\Psi)=\frac{1}{2}\|\Phi - \Psi\|_{cb}
\]

- **Minimax fidelity**:
\[
f(\Phi,\Psi)=\inf_{\rho\in S(g)}\sup_{\Gamma:\Gamma^{\dagger}\Gamma = \Psi_{\tau}}\text{Re}\text{Tr}\left[\Phi^{1/2}_{\tau}\Gamma(\rho\otimes 11_h)\right]\sqrt{\rho[\Phi(11_h)]\rho[\Psi(11_h)]}
\]

Through these formulas and concepts, the paper successfully defines a new fidelity standard and proves its applicability and superiority in different dimensions.