Quantum communication channel

A system of information transmission (transformation) using a quantum-mechanical object as the carrier of the information.

In contrast to classical information, described by means of a probability distribution on the space of signals , quantum information is represented by a density operator (state) on a Hilbert space corresponding to a given quantum-mechanical object. Each communication channel can be regarded as an affine mapping (that is, a mapping preserving convex combinations) from the (convex) set of input signals to the set of output signals. In particular, a quantum encoding is an affine mapping from the set of probability distributions on the space of input signals into the set of all density operators on . Properly speaking, a quantum communication channel is an affine mapping from into , where and are the Hilbert spaces describing, respectively, the input and output of the channel. A quantum decoding is an affine mapping from into , where is the space of output signals. Transmission of information is described, as in classical information theory, by the scheme

(1)

An important problem is the determination of an optimal method for transmitting information over a given quantum channel . For a fixed , the conditional distribution of the output signal with respect to the input signal is a function of the encoding and the decoding . Given some functional , it is required to find its extremum with respect to and . The case most often studied is when is fixed as well, and it is required to determine the optimal . The scheme (1) then reduces to the simpler version:

(2)

To determine the encoding it suffices to give the images of the distributions concentrated at the points . The decoding is conveniently described by the -measurement, defined as a measure on with values in the set of non-negative Hermitian operators on ; here is the identity operator. A one-to-one correspondence between the decoding and the measurements is given by the formula

such that the conditional distribution of the output signal of the scheme (2) with respect to the input signal is

In the case of finite and , in order that the measurement be optimal it is necessary for the operator

where

to be Hermitian and to satisfy the condition

(3)

If is an affine function (as in the case of Bayesian risk), then for optimality (in the sense of the minimum of ) it is necessary and sufficient that the operator satisfies the condition , , as well as (3). Similar conditions hold for fairly arbitrary and .

There is a parallel between quantum measurements and the decision procedures of classical statistical decision theory, where the simple measurements defined by the projection-valued measures correspond to deterministic procedures. However, in contrast to classical statistics, where the optimal procedure reduces, as a rule, to a deterministic one, in the quantum case even for the Bayesian problem with a finite number of decisions the optimal measurements cannot, in general, be chosen to be simple. This is explained geometrically by the fact that the optimum is attained at extreme points of the convex set of all measurements, and in the quantum case the class of simple measurements is properly contained in the set of extreme points.

As in classical statistical decision theory, it is possible to restrict the class of measurements by requiring invariance or unbiasedness. Quantum analogues of the Rao–Cramér inequality are known, giving a lower bound for the mean square error of the measurement. In applications of the theory, much attention has been given to boson Gaussian communication channels (cf. Gaussian channel), for which an explicit description of optimal measurements was obtained in a number of cases.

References

[1]	C.W. Helstrom, "Quantum detection and estimation theory" , New York (1976)
[2]	A.S. [A.S. Kholevo] Holevo, "Investigations in the general theory of statistical decisions" Proc. Steklov Inst. Math. , 3 (1978) Tr. Mat. Inst. Steklov. , 3 (1978)
[3]	A.S. Kholevo, "Problems in the mathematical theory of quantum communication channels" Rep. Math. Phys. , 12 (1977) pp. 273–278