Abstract. The notion of partial fidelities as invented recently by A.Uhlmann for pairs of finite dimensional density matrices will be extended to the vNalgebraic context and is considered and thoroughly discussed in detail from a mathematical point of view. Especially, in the case of semifinite vN-algebras formulae and estimates for the partial fidelity between the functionals of a dense cone of inner derived normal positive linear forms are obtained. Also, some generalities on the notion of fidelity in quantum physics are collected in an appendix, and another system of mathematical axioms for fidelity over density operators, which is based on the concept of relative majorization and which is intimately related to complete positivity, is proposed. Basic notions and settings. In a vN-algebra M over a Hilbert space H call nonzero x ∈ M+ locally invertible if the linear operator y = x | s(x)H is invertible within s(x)Ms(x), where s(x) is the support of x. Let s(x) ⊥ = 1 − s(x), with the unit operator 1. The local inverse x −1 ∈ M+ of the locally invertible x then is defined as the unique element of M obeying x −1 | s(x)H = y −1 and x −1 | s(x) ⊥ H = 0.
Abstract. The notion of partial fidelities as invented recently by A.Uhlmann for pairs of finite dimensional density matrices will be extended to the vNalgebraic context and is considered and thoroughly discussed in detail from a mathematical point of view. Especially, in the case of semifinite vN-algebras formulae and estimates for the partial fidelity between the functionals of a dense cone of inner derived normal positive linear forms are obtained. Also, some generalities on the notion of fidelity in quantum physics are collected in an appendix, and another system of mathematical axioms for fidelity over density operators, which is based on the concept of relative majorization and which is intimately related to complete positivity, is proposed. Basic notions and settings. In a vN-algebra M over a Hilbert space H call nonzero x ∈ M+ locally invertible if the linear operator y = x | s(x)H is invertible within s(x)Ms(x), where s(x) is the support of x. Let s(x) ⊥ = 1 − s(x), with the unit operator 1. The local inverse x −1 ∈ M+ of the locally invertible x then is defined as the unique element of M obeying x −1 | s(x)H = y −1 and x −1 | s(x) ⊥ H = 0.
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.
Let {o^,..., a) n ] and {<TI,..., a n ] be finite sets of normal states over the bounded linear operators acting over some infinite-dimensional separable Hilbert-space.In the paper mutually equivalent sets of necessary and sufficient conditions are derived that there exists a completely positive, unity preserving linear map Ttransforming 0-1,..., a n simultaneously into o)i..., o) n : a) k = a k ° T,k = l,... 9 n.Of particular interest is this 6 '/z-tuple-problem" in case of pairs of density operators (normal states), i.e. for n=2.In this situation possible connections with the notion of "generalized transition probability" are analyzed, and at least in case of normal states over the bounded operators a characterization of functionals of this type is proposed and applied. § lo Main Results, ExamplesLet jtf be a unital C*-algebra ? with unit 7, topological dual jtf*, and group of unitary elements <%(j&).To each Fe ^(j/) let us associate a bounded linear operator T v over the dual by T ¥ (a))(X) = co(VXV*) = co v (X), for all XEJ^ and any COG jtf*.On the set of bounded linear operators ^(j/*) over j/* we may introduce the weak operator topology (w-topology) which is characterized by the system of semi-norms {q^xi coe.s/*,XEJ/} given by q (0 ,x(T) = \T(a>)(X)\, with Te^(X*).Then, by % u (<xf} the weak closure of the convex hull of the operators T v will be denoted: ^M(j^) = conv{T F : VE<%(JZ?)} W .In this paper as an essential result the following theorem is proved (proofs of most of the assertions of this part are given In § §3-5): LI Ttoeoremo Let 3? be an infinite-dimensional separable complex
For a given set of input-output pairs of quantum states or observables, we ask the question whether there exists a physically implementable transformation that maps each of the inputs to the corresponding output. The physical maps on quantum states are trace-preserving completely positive maps, but we also consider variants of these requirements. We generalize the definition of complete positivity to linear maps defined on arbitrary subspaces, then formulate this notion as a semidefinite program, and relate it by duality to approximative extensions of this map. This gives a characterization of the maps which can be approximated arbitrarily well as the restriction of a map that is completely positive on the whole algebra, also yielding the familiar extension theorems on operator spaces. For quantum channel extensions and extensions by probabilistic operations we obtain semidefinite characterizations, and we also elucidate the special case of Abelian inputs or outputs. Finally, revisiting a theorem by Alberti and Uhlmann, we provide simpler and more widely applicable conditions for certain extension problems on qubits, and by using a semidefinite programming formulation we exhibit counterexamples to seemingly reasonable but false generalizations of the Alberti-Uhlmann theorem.
Some aspects in the geometry of pairs of positive linear forms on unital C* -algebras are considered. Especially, the geometrical relations among the vector representatives of the forms of such a pair within a representation, where both forms can be realized as vectors simultaneously, are studied and discussed in detail. The results obtained in this part extend early results of H. Araki and are intimately related to such functors like the Bures distance and the algebraic transition probability considered by A. Uhlmann and others. The results will be used to discuss and to investigate sonic extensions of geometrical concepts, which have been found to be of interest recently in Mathematical Physics in context of the problems of the so-called geometrical phase.
A recent article introduced a hierarchy of quantities called k-fidelities that approximate the quantum process fidelity with increasing accuracy. The lowest approximation in this hiearchy is the 0-fidelity. The authors gave a protocol for estimating the 0-fidelity and showed numerical evidence that it approximates the process fidelity. In this note, we prove lower and upper bounds on the process fidelity as linear functions of the 0-fidelity. By solving a semidefinite program, we provide evidence that the lower bound is tight.
Symmetry in quantum mechanicsRoughly speaking, a symmetry of some mathematical object is an invertible transformation that leaves all relevant structure as it is.Thus a symmetry of a set is just a bijection (as sets have no further structure, whence invertibility is the only demand on a symmetry), a symmetry of a topological space is a homeomorphism, a symmetry of a Banach space is a linear isometric isomorphism, and, crucially important for this chapter, a symmetry of a Hilbert space H is a unitary operator, i.e., a linear map u : H → H satisfying one and hence all of the following equivalent conditions:• u is invertible and preserves the inner product, i.e., uϕ, uψ = ϕ, ψ (ϕ, ψ ∈ H).The discussion of symmetries in quantum physics is based on the above idea, but the mathematically obvious choices need not be the physically relevant ones.Even in elementary quantum mechanics, where A = B(H), i.e., the C*-algebra of all bounded operators on some Hilbert space H, the concept of a symmetry is already diverse.The main structures whose symmetries we shall study in this chapter are:1.The normal pure state space P 1 (H), i.e., the set of one-dimensional projections on H, with transition probability τ : P 1 (H) × P 1 (H) → [0, 1] defined by (2.44).2. The normal state space D(H), i.e. the convex set of density operators ρ on H. The self-adjoint operators B(H)sa on H, seen as a Jordan algebra (see below).4. The effects E (H) = [0, 1] B(H) , seen as a convex partially ordered set (poset). 5.The projections P(H) on H, seen as an orthocomplemented lattice.6.The unital commutative C*-subalgebras C (B(H)) of B(H), seen as a poset.Each of these structures comes with its own notion of a symmetry, but the main point of this chapter will be to show these notions are equivalent, corresponding in all cases to either unitary or-surprisingly-anti-unitary operators, both merely defined up to a phase.The latter subtlety will open the world of projective unitary group representation to quantum mechanics (without which the existence of spin-1 2 particles such as electrons, and therewith also of ourselves, would be impossible).