Skip to main content
IBM Quantum Platform

Quantum channel basics

In mathematical terms, channels are linear mappings from density matrices to density matrices that satisfy certain requirements. Throughout this lesson we'll use uppercase Greek letters, including Φ\Phi and Ψ,\Psi, as well as some other letters in specific cases, to refer to channels.

Every channel Φ\Phi has an input system and an output system, and we'll typically use the name X\mathsf{X} to refer to the input system and Y\mathsf{Y} to refer to the output system. It's common that the output system of a channel is the same as the input system, and in this case we can use the same letter X\mathsf{X} to refer to both.


Channels are linear mappings

Channels are described by linear mappings, just like probabilistic operations in the standard formulation of classical information and unitary operations in the simplified formulation of quantum information.

If a channel Φ\Phi is performed on an input system X\mathsf{X} whose state is described by a density matrix ρ,\rho, then the output system of the channel is described by the density matrix Φ(ρ).\Phi(\rho). In the situation in which the output system of Φ\Phi is also X,\mathsf{X}, we can simply view that the channel represents a change in the state of X,\mathsf{X}, from ρ\rho to Φ(ρ).\Phi(\rho). When the output system of Φ\Phi is a different system, Y,\mathsf{Y}, rather than X,\mathsf{X}, it should be understood that Y\mathsf{Y} is a new system that is created by the process of applying the channel, and that the input system, X,\mathsf{X}, is no longer available once the channel is applied — as if the channel itself transformed X\mathsf{X} into Y,\mathsf{Y}, leaving it in the state Φ(ρ).\Phi(\rho).

The assumption that channels are described by linear mappings can be viewed as being an axiom — or in other words, a basic postulate of the theory rather than something that is proved. We can, however, see the need for channels to act linearly on convex combinations of density matrix inputs in order for them to be consistent with probability theory and what we've already learned about density matrices.

To be more specific, suppose that we have a channel Φ\Phi and we apply it to a system when it's in one of the two states represented by the density matrices ρ\rho and σ.\sigma. If we apply the channel to ρ\rho we obtain the density matrix Φ(ρ)\Phi(\rho) and if we apply it to σ\sigma we obtain the density matrix Φ(σ).\Phi(\sigma). Thus, if we randomly choose the input state of X\mathsf{X} to be ρ\rho with probability pp and σ\sigma with probability 1p,1-p, we'll obtain the output state Φ(ρ)\Phi(\rho) with probability p,p, and Φ(σ)\Phi(\sigma) with probability 1p,1-p, which we represent by a weighted average of density matrices as pΦ(ρ)+(1p)Φ(σ).p\Phi(\rho) + (1-p)\Phi(\sigma).

On the other hand, we could think about the input state of the channel as being represented by the weighted average pρ+(1p)σ,p\rho + (1-p)\sigma, in which case the output is Φ(pρ+(1p)σ).\Phi(p\rho + (1-p)\sigma). It's the same state regardless of how we choose to think about it, so we must have

Φ(pρ+(1p)σ)=pΦ(ρ)+(1p)Φ(σ).\Phi(p\rho + (1-p)\sigma) = p\Phi(\rho) + (1-p)\Phi(\sigma).

Whenever we have a mapping that satisfies this condition for every choice of density matrices ρ\rho and σ\sigma and scalars p[0,1],p\in [0,1], there's always a unique way to extend that mapping to every matrix input (i.e., not just density matrix inputs) so that it's linear.


Channels transform density matrices into density matrices

Naturally, in addition to being linear mappings, channels must also transform density matrices into density matrices. If a channel Φ\Phi is applied to an input system while this system is in a state represented by a density matrix ρ,\rho, then we obtain a system whose state is represented by Φ(ρ),\Phi(\rho), which must be a valid density matrix in order for us to interpret it as a state.

It is critically important, though, that we consider a more general situation, where a channel Φ\Phi transforms a system X\mathsf{X} into a system Y\mathsf{Y} in the presence of an additional system Z\mathsf{Z} to which nothing happens. That is, if we start with the pair of systems (Z,X)(\mathsf{Z},\mathsf{X}) in a state described by some density matrix, and then apply Φ\Phi just to X,\mathsf{X}, transforming it into Y,\mathsf{Y}, we must obtain a density matrix describing a state of the pair (Z,Y).(\mathsf{Z},\mathsf{Y}).

We can describe in mathematical terms how a channel Φ,\Phi, having an input system X\mathsf{X} and an output system Y,\mathsf{Y}, transforms a state of the pair (Z,X)(\mathsf{Z},\mathsf{X}) into a state of (Z,Y)(\mathsf{Z},\mathsf{Y}) when nothing is done to Z.\mathsf{Z}. To keep things simple, we'll assume that the classical state set of Z\mathsf{Z} is {0,,m1}.\{0,\ldots,m-1\}. This allows us to write an arbitrary density matrix ρ,\rho, representing a state of (Z,X),(\mathsf{Z},\mathsf{X}), in the following form.

ρ=a,b=0m1abρa,b=(ρ0,0ρ0,1ρ0,m1ρ1,0ρ1,1ρ1,m1ρm1,0ρm1,1ρm1,m1)\rho = \sum_{a,b = 0}^{m-1} \vert a\rangle\langle b\vert \otimes \rho_{a,b} = \begin{pmatrix} \rho_{0,0} & \rho_{0,1} & \cdots & \rho_{0,m-1} \\[1mm] \rho_{1,0} & \rho_{1,1} & \cdots & \rho_{1,m-1} \\[1mm] \vdots & \vdots & \ddots & \vdots\\[1mm] \rho_{m-1,0} & \rho_{m-1,1} & \cdots & \rho_{m-1,m-1} \end{pmatrix}

On the right-hand side of this equation we have a block matrix, which we can think of as a matrix of matrices except that the inner parentheses are removed. This leaves us with an ordinary matrix that can alternatively be described using Dirac notation as we have in the middle expression. Each matrix ρa,b\rho_{a,b} has rows and columns corresponding to the classical states of X,\mathsf{X}, and these matrices can be determined by a simple formula.

ρa,b=(aIX)ρ(bIX)\rho_{a,b} = \bigl(\langle a \vert \otimes \mathbb{I}_{\mathsf{X}} \bigr) \rho \bigl(\vert b \rangle \otimes \mathbb{I}_{\mathsf{X}} \bigr)

Note that these are not density matrices in general — it's only when they're arranged together to form ρ\rho that we obtain a density matrix.

The following equation describes the state of (Z,Y)(\mathsf{Z},\mathsf{Y}) that is obtained when Φ\Phi is applied to X.\mathsf{X}.

a,b=0m1abΦ(ρa,b)=(Φ(ρ0,0)Φ(ρ0,1)Φ(ρ0,m1)Φ(ρ1,0)Φ(ρ1,1)Φ(ρ1,m1)Φ(ρm1,0)Φ(ρm1,1)Φ(ρm1,m1))\sum_{a,b = 0}^{m-1} \vert a\rangle\langle b\vert \otimes \Phi(\rho_{a,b}) = \begin{pmatrix} \Phi(\rho_{0,0}) & \Phi(\rho_{0,1}) & \cdots & \Phi(\rho_{0,m-1}) \\[1mm] \Phi(\rho_{1,0}) & \Phi(\rho_{1,1}) & \cdots & \Phi(\rho_{1,m-1}) \\[1mm] \vdots & \vdots & \ddots & \vdots\\[1mm] \Phi(\rho_{m-1,0}) & \Phi(\rho_{m-1,1}) & \cdots & \Phi(\rho_{m-1,m-1}) \end{pmatrix}

Notice that, in order to evaluate this expression for a given choice of Φ\Phi and ρ,\rho, we must understand how Φ\Phi works as a linear mapping on non-density matrix inputs, as each ρa,b\rho_{a,b} generally won't be a density matrix on its own. The equation is consistent with the expression (IdZΦ)(ρ),(\operatorname{Id}_{\mathsf{Z}} \otimes \,\Phi)(\rho), in which IdZ\operatorname{Id}_{\mathsf{Z}} denotes the identity channel on the system Z.\mathsf{Z}. This presumes that we've extended the notion of a tensor product to linear mappings from matrices to matrices, which is straightforward — but it isn't really essential to the lesson and won't be explained further.

Reiterating a statement made above, in order for a linear mapping Φ\Phi to be a valid channel it must be the case that, for every choice for Z\mathsf{Z} and every density matrix ρ\rho of the pair (Z,X),(\mathsf{Z},\mathsf{X}), we always obtain a density matrix when Φ\Phi is applied to X.\mathsf{X}. In mathematical terms, the properties a mapping must possess to be a channel are that it must be trace-preserving — so that the matrix we obtain by applying the channel has trace equal to one — as well as completely positive — so that the resulting matrix is positive semidefinite. These are both important properties that can be considered and studied separately, but it isn't critical for the sake of this lesson to consider these properties in isolation.

There are, in fact, linear mappings that always output a density matrix when given a density matrix as input, but fail to map density matrices to density matrices for compound systems, so we do eliminate some linear mappings from the class of channels in this way. (The linear mapping given by matrix transposition is the simplest example.)

We have an analogous formula to one above in the case that the two systems X\mathsf{X} and Z\mathsf{Z} are swapped, so that Φ\Phi is applied to the system on the left rather than the right.

(ΦIdZ)(ρ)=a,b=0m1Φ(ρa,b)ab\bigl(\Phi\otimes\operatorname{Id}_{\mathsf{Z}}\bigr)(\rho) = \sum_{a,b = 0}^{m-1} \Phi(\rho_{a,b}) \otimes \vert a\rangle\langle b\vert

This assumes that ρ\rho is a state of (X,Z)(\mathsf{X},\mathsf{Z}) rather than (Z,X).(\mathsf{Z},\mathsf{X}). This time the block matrix description doesn't work because the matrices ρa,b\rho_{a,b} don't fall into consecutive rows and columns in ρ,\rho, but it's the same underlying mathematical structure.

Any linear mapping that satisfies the requirement that it always transforms density matrices into density matrices, even when it's applied to just one part of a compound systems, represents a valid channel. So, in an abstract sense, the notion of a channel is determined by the notion of a density matrix, together with the assumption that channels act linearly. In this regard, channels are analogous to unitary operations in the simplified formulation of quantum information, which are precisely the linear mappings that always transform quantum state vectors to quantum state vectors for a given system; as well as to probabilistic operations (represented by stochastic matrices) in the standard formulation of classical information, which are precisely the linear mappings that always transform probability vectors into probability vectors.


Unitary operations as channels

Suppose X\mathsf{X} is a system and UU is a unitary matrix representing an operation on X.\mathsf{X}. The channel Φ\Phi that describes this operation on density matrices is defined as follows for every density matrix ρ\rho representing a quantum state of X.\mathsf{X}.

Φ(ρ)=UρU(1)\Phi(\rho) = U \rho U^{\dagger} \tag{1}

This action, where we multiply by UU on the left and UU^{\dagger} on the right, is commonly referred to as conjugation by the matrix U.U.

This description is consistent with the fact that the density matrix that represents a given quantum state vector ψ\vert\psi\rangle is ψψ.\vert\psi\rangle\langle\psi\vert. In particular, if the unitary operation UU is performed on ψ,\vert\psi\rangle, then the output state is represented by the vector Uψ,U\vert\psi\rangle, and so the density matrix describing this state is equal to

(Uψ)(Uψ)=UψψU.(U \vert \psi \rangle )( U \vert \psi \rangle )^{\dagger} = U \vert\psi\rangle\langle\psi\vert U^{\dagger}.

Once we know that, as a channel, the operation UU has the action ψψUψψU\vert\psi\rangle\langle \psi\vert \mapsto U \vert\psi\rangle\langle\psi\vert U^{\dagger} on pure states, we can conclude by linearity that it must work as is specified by the equation (1)(1) above for any density matrix ρ.\rho.

The particular channel we obtain when we take U=IU = \mathbb{I} is the identity channel  Id,\;\operatorname{Id}, which we can also give a subscript (such as IdZ,\operatorname{Id}_{\mathsf{Z}}, as we've already encountered) when we wish to indicate explicitly what system this channel acts on. Its output is always equal to its input: Id(ρ)=ρ.\operatorname{Id}(\rho) = \rho. This might not seem like an interesting channel, but it's actually a very important one — and it's fitting that this is our first example. The identity channel is the perfect channel in some contexts, representing an ideal memory or a perfect, noiseless transmission of information from a sender to a receiver.

Every channel defined by a unitary operation in this way is indeed a valid channel: conjugation by a matrix UU gives us a linear map; and if ρ\rho is a density matrix of a system (Z,X)(\mathsf{Z},\mathsf{X}) and UU is unitary, then the result, which we can express as

(IZU)ρ(IZU),(\mathbb{I}_{\mathsf{Z}} \otimes U) \rho (\mathbb{I}_{\mathsf{Z}} \otimes U^{\dagger}),

is also a density matrix. Specifically, this matrix must be positive semidefinite, for if ρ=MM\rho = M^{\dagger} M then

(IZU)ρ(IZU)=KK(\mathbb{I}_{\mathsf{Z}} \otimes U) \rho (\mathbb{I}_{\mathsf{Z}} \otimes U^{\dagger}) = K^{\dagger} K

for K=M(IZU),K = M (\mathbb{I}_{\mathsf{Z}} \otimes U^{\dagger}), and it must have unit trace by the cyclic property of the trace.

Tr((IZU)ρ(IZU))=Tr((IZU)(IZU)ρ)=Tr((IZIX)ρ)=Tr(ρ)=1\operatorname{Tr}\bigl((\mathbb{I}_{\mathsf{Z}} \otimes U) \rho (\mathbb{I}_{\mathsf{Z}} \otimes U^{\dagger})\bigr) = \operatorname{Tr}\bigl((\mathbb{I}_{\mathsf{Z}} \otimes U^{\dagger})(\mathbb{I}_{\mathsf{Z}} \otimes U) \rho \bigr) = \operatorname{Tr}\bigl((\mathbb{I}_{\mathsf{Z}} \otimes \mathbb{I}_{\mathsf{X}}) \rho \bigr) = \operatorname{Tr}(\rho) = 1

Convex combinations of channels

Suppose we have two channels, Φ0\Phi_0 and Φ1,\Phi_1, that share the same input system and the same output system. For any real number p[0,1],p\in[0,1], we could decide to apply Φ0\Phi_0 with probability pp and Φ1\Phi_1 with probability 1p,1-p, which gives us a new channel that can be written as pΦ0+(1p)Φ1.p \Phi_0 + (1-p) \Phi_1. Explicitly, the way that this channel acts on a given density matrix is specified by the following simple equation.

(pΦ0+(1p)Φ1)(ρ)=pΦ0(ρ)+(1p)Φ1(ρ)(p \Phi_0 + (1-p) \Phi_1)(\rho) = p \Phi_0(\rho) + (1-p) \Phi_1(\rho)

More generally, if we have channels Φ0,,Φm1\Phi_{0},\ldots,\Phi_{m-1} and a probability vector (p0,,pm1),(p_0,\ldots, p_{m-1}), then we can average these channels together to obtain a new channel.

k=0m1pkΦk\sum_{k = 0}^{m-1} p_k \Phi_k

This is a convex combination of channels, and we always obtain a valid channel through this process. A simple way to say this in mathematical terms is that, for a given choice of an input and output system, the set of all channels is a convex set.

As an example, we could choose to apply one of a collection of unitary operations to a certain system. We obtain what's known as a mixed unitary channel, which is a channel that can be expressed in the following form.

Φ(ρ)=k=0m1pkUkρUk\Phi(\rho) = \sum_{k=0}^{m-1} p_k U_k \rho U_k^{\dagger}

Mixed unitary channels for which all of the unitary operations are Pauli matrices (or tensor products of Pauli matrices) are called Pauli channels, and are commonly encountered in quantum computing.


Examples of qubit channels

Now we'll take a look at a few specific examples of channels that aren't unitary. For all of these examples, the input and output systems are both single qubits, which is to say that these are examples of qubit channels.

The qubit reset channel

This channel does something very simple: it resets a qubit to the 0\vert 0\rangle state. As a linear mapping this channel can be expressed as follows for every qubit density matrix ρ.\rho.

Λ(ρ)=Tr(ρ)00\Lambda(\rho) = \operatorname{Tr}(\rho) \vert 0\rangle\langle 0\vert

Although the trace of every density matrix ρ\rho is equal to 1,1, writing the channel in this way makes it clear that it's a linear mapping that could be applied to any 2×22\times 2 matrix, not just a density matrix. As we already observed, we need to understand how channels work as linear mappings on non-density matrix inputs to describe what happens when they're applied to just one part of a compound system.

For example, suppose that A\mathsf{A} and B\mathsf{B} are qubits and together the pair (A,B)(\mathsf{A},\mathsf{B}) is in the Bell state ϕ+.\vert \phi^+\rangle. As a density matrix, this state is given by

ϕ+ϕ+=(12001200000000120012).\vert \phi^+\rangle\langle \phi^+ \vert = \begin{pmatrix} \frac{1}{2} & 0 & 0 & \frac{1}{2} \\[1mm] 0 & 0 & 0 & 0 \\[1mm] 0 & 0 & 0 & 0 \\[1mm] \frac{1}{2} & 0 & 0 & \frac{1}{2} \end{pmatrix}.

Using Dirac notation we can alternatively express this state as follows.

ϕ+ϕ+=120000+120101+121010+121111\vert \phi^+\rangle\langle \phi^+ \vert = \frac{1}{2} \vert 0 \rangle \langle 0 \vert \otimes \vert 0 \rangle \langle 0 \vert + \frac{1}{2} \vert 0 \rangle \langle 1 \vert \otimes \vert 0 \rangle \langle 1 \vert + \frac{1}{2} \vert 1 \rangle \langle 0 \vert \otimes \vert 1 \rangle \langle 0 \vert + \frac{1}{2} \vert 1 \rangle \langle 1 \vert \otimes \vert 1 \rangle \langle 1 \vert

By applying the qubit reset channel to A\mathsf{A} and doing nothing to B\mathsf{B} we obtain the following state.

12Λ(00)00+12Λ(01)01+12Λ(10)10+12Λ(11)11=120000+120011=00I2\begin{aligned} \frac{1}{2} \Lambda(\vert 0 \rangle \langle 0 \vert) \otimes \vert 0 \rangle \langle 0 \vert + \frac{1}{2} \Lambda(\vert 0 \rangle \langle 1 \vert) \otimes \vert 0 \rangle \langle 1 \vert + \frac{1}{2} \Lambda(\vert 1 \rangle \langle 0 \vert) \otimes \vert 1 \rangle \langle 0 \vert + \frac{1}{2} \Lambda(\vert 1 \rangle \langle 1 \vert) \otimes \vert 1 \rangle \langle 1 \vert \qquad & \\[1mm] = \frac{1}{2} \vert 0 \rangle \langle 0 \vert \otimes \vert 0 \rangle \langle 0 \vert + \frac{1}{2} \vert 0 \rangle \langle 0 \vert \otimes \vert 1 \rangle \langle 1 \vert = \vert 0\rangle \langle 0\vert \otimes \frac{\mathbb{I}}{2} & \end{aligned}

It might be tempting to say that resetting A\mathsf{A} has had an effect on B,\mathsf{B}, causing it to become completely mixed — but in some sense it's actually the opposite. Before A\mathsf{A} was reset, the reduced state of B\mathsf{B} was the completely mixed state, and that doesn't change as a result of resetting A.\mathsf{A}.

The completely dephasing channel

Here's an example of a qubit channel called Δ,\Delta, described by its action on 2×22\times 2 matrices:

Δ(α00α01α10α11)=(α0000α11).\Delta \begin{pmatrix} \alpha_{00} & \alpha_{01}\\[1mm] \alpha_{10} & \alpha_{11} \end{pmatrix} = \begin{pmatrix} \alpha_{00} & 0\\[1mm] 0 & \alpha_{11} \end{pmatrix}.

In words, Δ\Delta zeros out the off-diagonal entries of a 2×22\times 2 matrix. This example can be generalized to arbitrary systems, as opposed to qubits: for whatever density matrix is input, the channel zeros out all of the off-diagonal entries and leaves the diagonal alone.

This channel is called the completely dephasing channel, and it can be thought of as representing an extreme form of the process known as decoherence — which essentially ruins quantum superpositions and turns them into classical probabilistic states.

Another way to think about this channel is that it describes a standard basis measurement on a qubit, where an input qubit is measured and then discarded, and where the output is a density matrix describing the measurement outcome. Alternatively, but equivalently, we can imagine that the measurement outcome is discarded, leaving the qubit in its post-measurement state.

Let us again consider an e-bit, and see what happens when Δ\Delta is applied to just one of the two qubits. Specifically, we have qubits A\mathsf{A} and B\mathsf{B} for which (A,B)(\mathsf{A},\mathsf{B}) is in the state ϕ+,\vert\phi^+\rangle, and this time let's apply the channel to the second qubit. Here's the state we obtain.

1200Δ(00)+1201Δ(01)+1210Δ(10)+1211Δ(11)=120000+121111\begin{aligned} \frac{1}{2} \vert 0 \rangle \langle 0 \vert \otimes \Delta(\vert 0 \rangle \langle 0 \vert) + \frac{1}{2} \vert 0 \rangle \langle 1 \vert \otimes \Delta(\vert 0 \rangle \langle 1 \vert) + \frac{1}{2} \vert 1 \rangle \langle 0 \vert \otimes \Delta(\vert 1 \rangle \langle 0 \vert) + \frac{1}{2} \vert 1 \rangle \langle 1 \vert \otimes \Delta(\vert 1 \rangle \langle 1 \vert) \qquad & \\[1mm] = \frac{1}{2} \vert 0 \rangle \langle 0 \vert \otimes \vert 0 \rangle \langle 0 \vert + \frac{1}{2} \vert 1 \rangle \langle 1 \vert \otimes \vert 1 \rangle \langle 1 \vert & \end{aligned}

Alternatively we can express this equation using block matrices.

(Δ(12000)Δ(01200)Δ(00120)Δ(00012))=(120000000000000012)\begin{pmatrix} \Delta\begin{pmatrix} \frac{1}{2} & 0\\[1mm] 0 & 0 \end{pmatrix} & \Delta\begin{pmatrix} 0 & \frac{1}{2}\\[1mm] 0 & 0 \end{pmatrix} \\[4mm] \Delta\begin{pmatrix} 0 & 0\\[1mm] \frac{1}{2} & 0 \end{pmatrix} & \Delta\begin{pmatrix} 0 & 0\\[1mm] 0 & \frac{1}{2} \end{pmatrix} \end{pmatrix} = \begin{pmatrix} \frac{1}{2} & 0 & 0 & 0\\[1mm] 0 & 0 & 0 & 0\\[1mm] 0 & 0 & 0 & 0\\[1mm] 0 & 0 & 0 & \frac{1}{2} \end{pmatrix}

We can also consider a qubit channel that only slightly dephases a qubit, as opposed to completely dephasing it, which is a less extreme form of decoherence than what is represented by the completely dephasing channel. In particular, suppose that ε(0,1)\varepsilon \in (0,1) is a small but nonzero real number. We can define a channel

Δε=(1ε)Id+εΔ,\Delta_{\varepsilon} = (1 - \varepsilon) \operatorname{Id} + \varepsilon \Delta,

which transforms a given qubit density matrix ρ\rho like this:

Δε(ρ)=(1ε)ρ+εΔ(ρ).\Delta_{\varepsilon}(\rho) = (1 - \varepsilon) \rho + \varepsilon \Delta(\rho).

That is, nothing happens with probability 1ε,1-\varepsilon, and with probability ε,\varepsilon, the qubit dephases. In terms of matrices, this action can be expressed as follows, where the diagonal entries are left alone and the off-diagonal entries are multiplied by 1ε.1-\varepsilon.

ρ=(0ρ00ρ11ρ01ρ1)(0ρ0(1ε)0ρ1(1ε)1ρ01ρ1)\rho = \begin{pmatrix} \langle 0\vert \rho \vert 0 \rangle & \langle 0\vert \rho \vert 1 \rangle \\[1mm] \langle 1\vert \rho \vert 0 \rangle & \langle 1\vert \rho \vert 1 \rangle \end{pmatrix} \mapsto \begin{pmatrix} \langle 0\vert \rho \vert 0 \rangle & (1-\varepsilon) \langle 0\vert \rho \vert 1 \rangle \\[1mm] (1-\varepsilon) \langle 1\vert \rho \vert 0 \rangle & \langle 1\vert \rho \vert 1 \rangle \end{pmatrix}

The completely depolarizing channel

Here's another example of a qubit channel called Ω.\Omega.

Ω(ρ)=Tr(ρ)I2\Omega(\rho) = \operatorname{Tr}(\rho) \frac{\mathbb{I}}{2}

Here I\mathbb{I} denotes the 2×22\times 2 identity matrix. In words, for any density matrix input ρ,\rho, the channel Ω\Omega outputs the completely mixed state. It doesn't get any noisier than this! This channel is called the completely depolarizing channel, and like the completely dephasing channel it can be generalized to arbitrary systems in place of qubits.

We can also consider a less extreme variant of this channel where depolarizing happens with probability ε,\varepsilon, similar to what we saw for the dephasing channel.

Ωε(ρ)=(1ε)ρ+εΩ(ρ).\Omega_{\varepsilon}(\rho) = (1 - \varepsilon) \rho + \varepsilon \Omega(\rho).
Was this page helpful?
Report a bug or request content on GitHub.