Fidelity of two Positive Trace-Class Operators

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.

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

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.

Ansis Rosmanis

Maurice A. de Gosson

G. Cassinelli, E. De Vito, A. Toigo

Given an irreducible representation of a group G, we show that all the covariant positive operator valued measures based on G/Z, where Z is a central subgroup, are described by trace class, trace one positive operators.