Compound Channels, Transition Expectations, and Liftings

Abstract. In Section 1 we introduce the notion of lifting as a generalization of the notion of compound state introduced in [21] and [22] and we show that this notion allows a unified approach to the problems of quantum measurement and of signal transmission through quantum channels. The dual of a linear lifting is a transition expectation in the sense of [3] and we characterize those transition expectations which arise from compound states in the sense of [22]. In Section 2 we characterize those liftings whose range is contained in the closed convex hull of product states and we prove that the corresponding quantum Markov chains [2] are uniquely determined by a classical generalization of both the quantum random walks of [4] and the locally diagonalizable states considered in [3]. In Section 4, as a first application of the above results, we prove that the attenuation (beam splitting) process for optical communication treated in [21] can be described in a simpler and more general way in terms of liftings and of transition expectations. The error probabilty of information transmission in the attenuation process is rederived from our new description. We also obtain some new results concerning the explicit computation of error probabilities in the squeezing case.

[1]  S. Sakai C*-Algebras and W*-Algebras , 1971 .

[2]  M. Nakagawa,et al.  Properties of error correcting code using photon pulse , 1986 .

[3]  O. Bratteli Operator Algebras And Quantum Statistical Mechanics , 1979 .

[4]  J. Hollenhorst QUANTUM LIMITS ON RESONANT MASS GRAVITATIONAL RADIATION DETECTORS , 1979 .

[5]  H. Yuen Two-photon coherent states of the radiation field , 1976 .

[6]  Masanori Ohya,et al.  Note on quantum probability , 1983 .

[7]  Masanori Ohya,et al.  Quantum ergodic channels in operator algebras , 1981 .

[8]  Massanori Ohya State change and entropies in quantum dynamical systems , 1985 .

[9]  K. Kraus,et al.  States, effects, and operations : fundamental notions of quantum theory : lectures in mathematical physics at the University of Texas at Austin , 1983 .

[10]  A. Bach,et al.  The simplex structure of the classical states of the quantum harmonic oscillator , 1986 .

[11]  D. Stoler Equivalence classes of minimum-uncertainty packets. ii , 1970 .

[12]  U. Haagerup A new proof of the equivalence of injectivity and hyperfiniteness for factors on a separable Hilbert space , 1985 .

[13]  C. Cecchini Stochastic couplings for von neumann algebras , 1989 .

[14]  Stochastic processes and continual measurements in quantum mechanics , 1986 .

[15]  Luigi Accardi,et al.  Noncommutative Markov chains associated to a pressigned evolution: An application to the quantum theory of measurement , 1978 .

[16]  Construction and study of exact ground states for a class of quantum antiferromagnets , 1989 .

[17]  Robert J. McEliece,et al.  Practical codes for photon communication , 1981, IEEE Trans. Inf. Theory.

[18]  Dénes Petz,et al.  State extensions and a Radon-Nikodým theorem for conditional expectations on von Neumann algebras. , 1989 .

[19]  D. Petz Sufficient subalgebras and the relative entropy of states of a von Neumann algebra , 1986 .

[20]  Masanori Ohya,et al.  Some aspects of quantum information theory and their applications to irreversible processes , 1989 .

[21]  Dénes Petz,et al.  Classes of conditional expectations over von Neumann algebras , 1990 .

[22]  Masanori Ohya,et al.  On compound state and mutual information in quantum information theory , 1983, IEEE Trans. Inf. Theory.