Quantum channel

In quantum information theory, a quantum channel is a communication channel which can transmit quantum information, as well as classical information. An example of quantum information is the state of a qubit. An example of classical information is a text document transmitted over the internet.
More formally, quantum channels are completely positive, trace preserving maps between spaces of operators. In other words, a quantum channel is just a quantum operation viewed not merely as the reduced dynamics of a system but as a pipeline intended to carry quantum information.
Contents
Memoryless quantum channel
We will assume for the moment that all state spaces of the systems considered, classical or quantum, are finite dimensional.
The memoryless in the section title carries the same meaning as in classical information theory: the output of a channel at a given time depends only upon the corresponding input and not any previous ones.
Schrödinger picture
Consider quantum channels that transmit only quantum information. This is precisely a quantum operation, whose properties we now summarize.
Let H_{A} and H_{B} be the state spaces (finitedimensional Hilbert spaces) of the sending and receiving ends, respectively, of a channel. L(H_{A}) will denote the family of operators on H_{A}. In the Schrödinger picture, a purely quantum channel is a map Φ between density matrices acting on H_{A} and H_{B} with the following properties:
 As required by postulates of quantum mechanics, Φ needs to be linear.
 Since density matrices are positive, Φ must preserve the cone of positive elements. In other words, Φ is a positive map.
 If we couple an ancilla of arbitrary finite dimension n to the system, and the induced map , where I_{n} is the identity map on the ancilla, must also be positive. Therefore it is required that is positive for all n. We call such maps completely positive.
 Density matrices are specified to have trace 1, so Φ has to preserve the trace.
The adjectives completely positive and trace preserving used to described a map are sometimes abbreviated CPTP. We note here that, in the literature, sometimes the fourth property is weakened so that Φ is only required to be not traceincreasing. In this article, it will be assumed that all channels are CPTP.
Heisenberg picture
Density matrices acting on H_{A} only constitute a proper subset of the operators on H_{A} and same can be said for system B. However, once a linear map Φ between the density matrices is specified, a standard linearity argument, together with the finite dimensional assumption, allow us to extend Φ uniquely to the full space of operators. This leads to the adjoint map Φ^{*}, which describes the action of Φ in the Heisenberg picture:
The spaces of operators L(H_{A}) and L(H_{B}) are Hilbert spaces with the HilbertSchmidt inner product. Therefore, viewing as a map between Hilbert spaces, we obtain its adjoint Φ^{*} given by
While Φ takes states on A to those on B, Φ^{*} maps observables on system B to observables on A. This relationship is same as that between the Schrödinger and Heisenberg descriptions of dynamics. The measurement statistics remain unchanged whether the observables are considered fixed while the states undergo operation or vice versa.
It can be directly checked that if Φ is assumed to be trace preserving, Φ^{*} is unital, that is,Φ^{*}(I) = I. Physically speaking, this means that, in the Heisenberg picture, the trivial observable remains trivial after applying the channel.
Classical information
So far we have only defined quantum channel that transmits only quantum information. As stated in the introduction, the input and output of a channel can include classical information as well. To describe this, the formulation given so far needs to be generalized somewhat. A purely quantum channel, in the Heisenberg picture, is a linear map Ψ between spaces of operators:
that is unital and completely positive (CP). The operator spaces can be viewed as finite dimensional C*algebras. Therefore we can say a channel is a unital CP map between C*algebras:
Classical information can then be included in this formulation. The observables of a classical system can be assumed to be a commutative C*algebra, i.e. the space of continuous functions C(X) on some set X. We assume X is finite so C(X) can be identified with the ndimensional Euclidean space with entrywise multiplication.
Therefore, in the Heisenberg picture, if the classical information is part of, say, the input, we would define to include the relevant classical observables. An example of this would be a channel
Notice is still a C*algebra. A element a of a C*algebra is called positive if a = x*x for some x. Positivity of a map is defined accordingly.
Examples
States
A state, viewed as a mapping from observables to their expectation values, is an immediate example of a channel.
Time evolution
For a purely quantum system, the time evolution, up to certain time t, is given by
where and H is the Hamiltonian at time t. Clearly this gives a CPTP map in the Schrödinger picture and is therefore a channel. The dual map in the Heisenberg picture is
Restriction
Consider a composite quantum system with state space For a state
the reduced state of ρ on system A, ρ^{A}, is obtained by taking the partial trace of ρ with respect to the B system:
The partial trace operation is a CPTP map, therefore a quantum channel in the Schrödinger picture. In the Heisenberg picture, the dual map of this channel is
where A is an observable of system A.
Observable
An observable associates a numerical value to a quantum mechanical effect F_{i}. F_{i}'s are assumed to be positive operators acting on appropriate state space and . (Such a collection is called a POVM.) In the Heisenberg picture, the corresponding observable map Ψ maps a classical observable
to the quantum mechanical one
In other words, one integrate f against the POVM to obtain the quantum mechanical observable. It can be easily checked that Ψ is CP and unital.
The corresponding Schrödinger map Ψ^{*} takes density matrices to classical states:
,where the inner product is the HilbertSchmidt inner product. Furthermore, viewing states as normalized functionals, and invoking the Riesz representation theorem, we can put
Instrument
The observable map, in the Schrödinger picture, has a purely classical output algebra and therefore only describe measurement statistics. To take the state change into account as well, we define what is called an instrument. Let be the effects (POVM) associated to an observable. In the Schrödinger picture, an instrument is a map Φ with pure quantum input and with output space :
Let
The dual map in the Heisenberg picture is
where Ψ_{i} is defined in the following way: Factor (this can always be done since elements of a POVM are positive) then . We see that Ψ is CP and unital.
Notice that gives precisely the observable map. The map
describes the overall state change.
Separable channel
A separable channel is an example of local operation and classical communication (LOCC). Suppose two parties A and B wish to communicate in the following manner: A performs measurement on an observable and communicates the measurement outcome to B classically. According to the message he receives, B prepares his (quantum) system in a state that is previously agreed upon by both parties. In the Schrödinger picture, the first part of the channel Φ_{1} simply consists of A making a measurement, i.e. it is the observable map:
If, in the event of the ith measurement outcome, B prepares his system in state R_{i}, the second part of the channel Φ_{2} takes the above classical state to the density matrix
The total operation is the composition
Channels of this form are called separable or in Holevo form.
In the Heisenberg picture, the dual map is defined by
A separable channel can not be the identity map. This is precisely the statement of the no teleportation theorem, which says classical teleportation (not to be confused with entanglementassisted teleportation) is impossible. In other words, a quantum state can not be measured reliably.
In the channelstate duality, a channel is separable if and only if the corresponding state is separable. Several other characterizations of separable channels are known, notably that a channel is separable if and only if it is entanglementbreaking.
Pure channel
Consider the case of a purely quantum channel Ψ in the Heisenberg picture. With the assumption that everything is finite dimensional, Ψ is a unital CP map between spaces of matrices
By Choi's theorem on completely positive maps, Ψ must take the form
where N ≤ nm. The matrices K_{i} are called Kraus operators of Ψ. The minimum number of Kraus operators is call the Kraus rank of Ψ. A channel with Kraus rank 1 is called pure. The time evolution is one example of a pure channel. This terminology again comes from the channelstate duality. A channel is pure if and only if its dual state is a pure state. Since this duality preserves the extremal points, the extremal points in the convex set of channels are precisely the pure channels.
Teleportation
In quantum teleportation, a sender wishes to transmit an arbitrary quantum state of a particle to a possibly distant receiver. Consequently, the teleportation process is a quantum channel. The apparatus for the process itself requires a quantum channel for the transmission of one particle of an entangledstate to the receiver. Teleportation occurs by a joint measurement of the send particle and the remaining entangled particle. This measurement results in classical information which must be sent to the receiver to complete the teleportation. Importantly, the classical information can be sent after the quantum channel has ceased to exist. The send particle is destroyed in the measurement and thus is not actually moved from one location to another to create the quantum channel.
In the experimental setting
Experimentally, a simple implementation of a quantum channel is fiber optic (or freespace for that matter) transmission of single photons. Single photons can be transmitted up to 100 km in standard fiber optics before losses dominate. The photon's timeofarrival (timebin entanglement) or polarization are used as a basis to encode quantum information for purposes such as quantum cryptography. The channel is capable of transmitting not only basis states (e.g. 0>, 1>) but also superpositions of them (e.g. 0>+1>). The coherence of the state is maintained during transmission through the channel. Contrast this with the transmission of electrical pulses through wires (a classical channel), where only classical information (e.g. 0s and 1s) can be sent.
Channel capacity
The cbnorm of a channel
Before giving the definition of channel capacity, the preliminary notion of the norm of complete boundedness, or cbnorm of a channel needs to be discussed. When considering the capacity of a channel Φ, we need to compare it with an "ideal channel" Λ. For instance, when the input and output algebras are identical, we can choose Λ to be the identity map. Such a comparison requires a metric between channels. Since a channel can be viewed as a linear operator, it is tempting to use the natural operator norm. In other words, the closenss of Φ to the ideal channel Λ can be defined by
However, the operator norm may increase when we tensor Φ with the identity map on some ancilla.
To make the operator norm even a more undesirable candidate, the quantity
may increase without bound as The solution is to introduce, for any linear map Φ between C*algebras, the cbnorm
Definition of Channel Capacity
We remind the reader that the mathematical model of a channel used here is same as the classical one.
Let be a channel in the Heisenberg picture and be a chosen ideal channel. To make the comparison possible, one needs to encode and decode Φ via appropriate devices, i.e. we consider the composition
where E is an encoder and D is a decoder. In this context, E and D are unital CP maps with appropriate domains. The quantity of interest is the best case scenario:
with the infimum being taken over all possible encoders and decoders.
To transmit words of length n, the ideal channel is to be applied n times, so we consider the tensor power
The operation describes n inputs undergoing the operation Ψ_{id} independently and is the quantum mechanical counterpart of concatenation. Similarly, minvokations of the channel corresponds to .
The quantity
is therefore a measure of the ability of the channel to transmit words of length n faithfully by being invoked m times.
This leads to the following definition:
 An a nonnegative real number r is an achievable rate of Ψ with respect to Ψ_{id} if
 For all sequences where and lim sup _{α}(n_{α} / m_{α}) < r, we have
A sequence {n_{α}} can be viewed as representing a message consisting of possibly infinite number of words. The limit supremum condition in the definition says that, in the limit, faithful transmission can be achieved by invoking the channel no more than r times the length of a word. One can also say that r is the number of letters per invokation of the channel that can be sent without error.
The channel capacity of Ψ with respect to Ψ_{id}, denoted by is the supremum of all achievable rates.
From the definition, it is vacuously true that 0 is an achievable rate for any channel.
Important examples
As stated before, for a system with observable algebra , the ideal channel Ψ_{id} is by definition the identity map . Thus for a purely n dimensional quantum system, the ideal channel is the identity map on the space of n x n matrices . As a slight abuse of notation, this ideal quantum channel will be also denoted by . Similarly for a classical system with output algebra will have an ideal channel denoted by the same symbol. We can now state some fundamental channel capacities.
The channel capacity of the classical ideal channel with respect to a quantum ideal channel is
This is equivalent to the noteleportation theorem: it is impossible to transmit quantum information via a classical channel.
Moreover, the following equalities hold:
The above says, for instance, an ideal quantum channel is no more efficient at transmitting classical information than an ideal classical channel. When n = m, the best one can achieve is one bit per qubit.
Remark It is relevant to note here that both of the above bounds on capacities can be broken, with the aid of entanglement. The entanglementassisted teleportation scheme allows one to transmit quantum information using a classical channel. Superdense coding. achieves two bit per qubit. These results indicate the significant role played by entanglement in quantum communication.
Classical and quantum channel capacities
Using the same notation as the previous subsection, the classical capacity of a channel Ψ is
, that is, it is the capacity of Ψ with respect to the ideal channel on the classical onebit system .
Similarly the quantum capacity of Ψ is
, where the reference system is now the one qubit system .
Channel fidelity
Another measure of how well a quantum channel preserves information is called channel fidelity, and it arises from fidelity of quantum states.
Quantum channel with memory
References
 M. Keyl and R.F. Werner, How to Correct Small Quantum Errors, Lecture Notes in Physics Volume 611, Springer, 2002.
 Quantum channel on arxiv.org
 Mark M. Wilde, "From Classical to Quantum Shannon Theory", arXiv:1106.1445.
Quantum information science General Quantum communication Quantum capacity • Quantum channel • Quantum cryptography (Quantum key distribution) • Quantum teleportation • Superdense coding • LOCC • Entanglement distillationQuantum algorithms Universal quantum simulator • Deutsch–Jozsa algorithm • Grover's search • quantum Fourier transform • Shor's factorization • Simon's Algorithm • Quantum phase estimation algorithm • Quantum annealingQuantum complexity theory Quantum computing models Decoherence prevention Quantum error correction • Stabilizer codes • EntanglementAssisted Quantum Error Correction • Quantum convolutional codesPhysical implementationsQuantum optics Ultracold atoms Spinbased Superconducting quantum computing Charge qubit • Flux qubit • Phase qubitCategories: Quantum information theory
Wikimedia Foundation. 2010.
Look at other dictionaries:
Quantum teleportation — Quantum teleportation, or entanglement assisted teleportation, is a technique used to transfer information on a quantum level, usually from one particle (or series of particles) to another particle (or series of particles) in another location via … Wikipedia
Quantum cryptography — Quantum cryptography, or quantum key distribution (QKD), uses quantum mechanics to guarantee secure communication. It enables two parties to produce a shared random bit string known only to them, which can be used as a key to encrypt and decrypt… … Wikipedia
Quantum error correction — is used in quantum computing to protect quantum information from errors due to decoherence and other quantum noise. Quantum error correction is essential if one is to achieve fault tolerant quantum computation that can deal not only with noise on … Wikipedia
Quantum operation — In quantum mechanics, a quantum operation is a mathematical formalism used to describe a broad class of transformations that a quantum mechanical system can undergo. This formalism describes not only time evolution or symmetry transformations of… … Wikipedia
Quantum information — For the journal with this title, see Historical Social Research. In quantum mechanics, quantum information is physical information that is held in the state of a quantum system. The most popular unit of quantum information is the qubit, a two… … Wikipedia
Channelstate duality — In quantum information theory, the channel state duality refers to the correspondence between quantum channels and quantum states (described by density matrices). Phrased differently, the duality is the isomorphism between completely positive… … Wikipedia
Quantum instrument — A quantum instrument is a quantum operation with both classical and quantum outputs.It combines the concepts of measurement and quantum operation.Usually it is implemented as a weighted collection of completely positive maps the sum of which is… … Wikipedia
Quantum finite automata — In quantum computing, quantum finite automata or QFA are a quantum analog of probabilistic automata. They are related to quantum computers in a similar fashion as finite automata are related to Turing machines. Several types of automata may be… … Wikipedia
Quantum Markov chain — In mathematics, the quantum Markov chain is a reformulation of the ideas of a classical Markov chain, replacing the classical definitions of probability with quantum probability. Very roughly, the theory of a quantum Markov chain resembles that… … Wikipedia
Quantum mind — theories are based on the premise that quantum mechanics is necessary to fully understand the mind and brain, particularly concerning an explanation of consciousness. This approach is considered a minority opinion in science, although it does… … Wikipedia