A Characterization of Antidegradable Qubit Channels

arXiv:1712.03399v1 [quant-ph] 9 Dec 2017

Connor Paddock1,2 and Jianxin Chen3
1

Department of Combinatorics & Optimization, University of Waterloo
2
Institute for Quantum Computing, University of Waterloo
3
Aliyun Quantum Laboratory

Abstract
This paper provides a characterization for the set of antidegradable qubit channels.
The characterization arises from the correspondence between the antidegradability of
a channel and the symmetric extendibility of its Choi operator. Using an inequality
derived to describe the set of bipartite qubit states which admit symmetric extension,
we are able to characterize the set of all antidegradable qubit channels. Using the characterization we investigate the antidegradability of unital qubit channels and arbitrary
qubit channels with respect to the dimension of the environment. We additionally provide a condition which describes qubit channels which are simultaneously degradable
and antidegradable along with a classiﬁcation of self-complementary qubit channels.

1

Introduction

This paper is concerned with the characterization of degradable and antidegradable singlequbit channels. Degradable channels were introduced as a class of channels which have
additive coherent information [7], a feature which allows for the quantum channel capacity
to be explicitly calculated. The notion of an antidegradable channel comes from the converse deﬁnition of a degradable channel. Degradable qubit channels were ﬁrst studied in
the context of small environments in [27]. The authors found that the degradability and
antidegradability of a channel is highly dependent on the dimension of the environment.
Following [27], the mathematical structure of degradable and antidegradable maps was
extensively studied [6] using the qubit channel Bloch sphere parametrization of [17, 24].
However, a characterization for the set of non-unital antidegradable channels remained to
be described.
To develop a full characterization of degradable and antidegradable qubit channels
we use the correspondence between antidegradable channels and symmetric extensions of
the qubit channel Choi operator [22]. Speciﬁcally, we use the derivation on an inequality
from [4] which gives a necessary and suﬃcient condition for symmetric extendibility of
1

bipartite qubit states. Via the connections between states and channels, the inequality can
be used to completely characterize all antidegradable qubit channels.
Corollary 1. A singe qubit channel Φ is antidegradable if and only if the following inequality holds for a positive semi-deﬁnite Choi matrix CΦ ,


det CΦ ≥





2 + Tr Φ(I)2
Tr CΦ
4

 2

,

(1)

where I is the identity matrix on C2 .
We demonstrate how this new characterization can be used an alternative method to
obtain many results from [21,27] and [6]. We also establish some remarks for antidegradable
qubit channels with various dimensions of the environment system, and some properties for
self-complementary channels. This result along with the appropriate complete positivity
condition for qubit channels provides easily computable conditions for the antidegradbility
of the remaining case of non-unital qubit channels. We brieﬂy discuss some results for the
set of self-complementary and simultaneously degradable/antidegradable qubit channels,
in addition to some results on the antidegradability of the qubit dephasing, qubit amplitude
damping, and qubit depolarizing channel.
Unless stated otherwise we will assume that we are in a ﬁnite dimensional inner product
space over the ﬁeld of complex numbers, which we will denote Cn . We also assume we are
working with the algebra of bounded, linear operators on Cn , denoted by L(Cn ), where
each linear operator has a representation in the set of complex valued matrices M(Cn ). As
above we will use the symbol I to denote the n × n identity matrix on Cn , while reserving
I to denote the identity map on the set of bounded linear operators L(Cn ). We will reserve
script letters W, X , Y, Z, to be Euclidean spaces Cn . While U, V, P sd, D, will be reserved
to represent the space of unitaries, isometries, positive semi-deﬁnite, and density matrices
respectively. A number of useful representations in quantum information make use of the
vectorization of an operator. The vectorization or vec, is a bijective map between operators,
and vectors in the tensor product of the output space, with the input space of the operator.
Unfortunately, there is more than one convention for this map, so we will be following that
used in [12], whereby one can think of vec(A) as the mapping which stacks the columns of
the n × m matrix A on top of each other, to obtain a single column vector of dimension
nm.

1.1

Symmetric Extensions, and k-Extendibility

From here on we will use ρX Y to denote a state ρ ∈ D(X ⊗ Y). Recall that for any given
ρX Y , the states represented by TrX (ρX Y ) = ρY and TrY (ρX Y ) = ρX are called the marginal
states of ρX Y . One can consider the marginals of a state supported on an arbitrary number
2

of product product spaces. For example a state σ ∈ D(X ⊗n ) will admit a marginal states,
each one from the appropriate tracing out the other 1 ≤ k ≤ n − 1 spaces. Marginal of a
quantum state will become fundamental in the following context of symmetric extensions.
Definition 1. A bipartite state ρX Y is said to admit a symmetric extension if there exists
a space Y ′ such that the tripartite state ρX YY ′ admits the same marginal states,
TrY (ρX YY ′ ) = ρX Y ′ = ρX Y = TrY ′ (ρX YY ′ ) .

(2)

For qubits the following theorem characterizes when a density operator admits a pure
state symmetric extension through its spectrum denoted spec(ρ) [22].
Lemma 1 (Myhr & Lutkenhaus [22]). Let ρ ∈ D(X ⊗ Y) be a bipartite two qubit state,
dim(X ) = dim(Y) = 2, then ρ admits a pure state symmetric extension if and only if ρ is
an element of the following set
A = {ρX Y : spec(ρX Y ) = spec(ρY )} .

(3)

It was later shown that we can characterize not only the states which admit pure
extension, but any symmetric extension.
Theorem 2 (Myhr & Lutkenhaus [22]). Let ρX Y be a bipartite qubit state then ρ admits
a symmetric extension if and only if ρ is an element of the following set
conv(A) = conv {ρX Y : spec(ρX Y ) = spec(ρY )} ,

(4)

where conv(A) is the convex hull of A.
Definition 2. A state ρX Y admits a k-symmetric extensions ρX YY (1) ...Y (t) ...Y (k) if the
marginal state obtained by tracing out all but any one Y space Y (t) for 1 ≤ t ≤ k is
equivalent to the state ρX Y .
If a state is k-symmetric extendible for all k ∈ N we say the state is exhaustively
extendible. An important note is that a state is k-symmetric extendible for all k ∈ N if
and only if it is separable [8, 26].

1.2

Complementary Quantum Channels

In the study of quantum information a quantum channel models the way in which two
parties send and receive quantum information. Mathematically a quantum channel is a
completely positive trace preserving (CP T P ) linear map Φ : L(X ) 7→ L(Y). We will
denote the set of quantum channels Φ ∈ C(X , Y), for which we mean Φ is the CP T P map
from D(X ) to D(Y). The representations are due primarily to the work of Stinespring [25],
Choi [5], Jamiolkowski [15], and Kraus.
Recall that the Stinespring representation of a channel has an auxiliary space which
induces what is known as the complementary channel.
3

e ∈ C(X , Z) are said to be complementary
Definition 3. Two channels Ψ ∈ C(X , Y) and Ψ
if there exists an isometry V ∈ V(X , Y ⊗ Z), such that the Stinespring representations of
the two channels are of the form
e
Ψ(ρ) = TrZ (V ρV ∗ ) and Ψ(ρ)
= TrY (V ρV ∗ ) .

(5)

e the complementary channel of Φ. Furthermore, it was shown in [10, 16]
We denote Φ
that if a channel has the Kraus representation then the following proposition holds.

Remark 1 (Holevo, et. al [10,16]). If a quantum channel has a Kraus representation with
a set of operators {Ki }di=1 then the complementary channel is
e
Φ(ρ)
=

d
X

Tr(ρKj∗ Ki )Ei,j .

(6)

i,j

Recall that the Choi matrix is positive semi-deﬁnite and hence we can consider a puriﬁcations of the Choi matrix. In fact the Choi matrix of both a channel and its complementary
channel are puriﬁed by the same vector vec(V ) ∈ (X ⊗ Y ⊗ Z).

1.3

Qubit Channels and Bloch Sphere Transformations

We call a channel a qubit channels, by which we mean a single-qubit channel which maps
some state in D(X ) into D(Y), where dim(X ) = dim(Y) = 2.
Because the qubit is only a two dimensional object the representations admitted are
fairly easy to work with. We recall that from earlier that every qubit state is isomorphic
to a vector in the unit ball of R3 . Every linear, completely positive, trace preserving map
Φ on the space of 2 × 2 density matrices ρ can be represented in the form,
Φ(ρ) = U Λ(V ρV ∗ )U ∗ ,

(7)

where U and V are unitary operators, and Λ is a qubit channel with the natural
representation in the Pauli basis. To see how we obtain the unitary U , we ﬁrst consider
the action of a qubit channel on the Bloch sphere representation of a qubit state. In that
case the channel is given by some linear operator T such that
Λ(ρ) 7→ T ( 21 [I + w · σ]) = 21 (I + (t + T w) · σ)

(8)
!

1 0
,
t T
where t ∈ R3 and T ∈ M(R3 ) is a 3 × 3 matrix. The vector t determines the translation
of the map about the identity, which is the origin of the Bloch ball, this implies that a
qubit channels is unital if and only if t = 0. Diagonalizing the matrix T leads to the form
of TΛ in the basis of the Pauli matrices as,
in other words we can decompose T into the block operator T =

4





1 0 0 0
t λ
0 0
 1

1
TΛ = 
 .
 t 2 0 λ2 0 
t 3 0 0 λ3

(9)

Complete positivity for the unital map is given by the following necessary condition on
the values of T . Each λi for i = 1, 2, 3 must be in the tetrahedron T, given by
T = conv {(1, 1, 1), (1, −1, −1), (−1, 1, −1), (−1, −1, 1)} ,

(10)

this fact is enough to ensure complete positivity of the map in the unital case. In the nonunital case, complete positivity of the map is given by the more complex Algoet-Fujiwara
conditions [9]. Hence, every qubit channel unitarily equivalent to a qubit channel Λ deﬁned
by the parameters in the above matrix representation.
In fact one can obtain a parametrized Choi-Jamiolkowski representations for all qubit
channels Λ up to isomorphism,




1 + t 3 + λ3
t1 − it2
0
λ1 + λ2


1  t + it2
1 − t 3 − λ3
λ1 − λ2
0

CΛ =  1

0
λ1 − λ2
1 + t 3 − λ3
t1 − it2 
2
λ1 + λ2
0
t1 + it2
1 − t 3 + λ3

(11)

We note that (11) was ﬁrst calculated in [24]. We remark that the Choi matrix of a
qubit channel has a slightly nicer form form in the Bell basis, obtained by applying the
unitary transform F CΛ F ∗ [2].


1
1 
0
F =√ 
2 0
1







µ0
t1
−it2 t3
0 0
1


1
µ1
−t3 it2 
1 1
0
 t1


 hence, F CΛ F ∗ = 
µ2
t1 
1 −1 0 
2 it2 −t3
t3 −it2
t1
µ3
0 0 −1

(12)

where, µ0 = (1 + λ1 + λ2 + λ3 ), µ1 = (1 + λ1 − λ2 − λ3 ), µ2 = (1 − λ1 + λ2 − λ3 ),
µ3 = (1 − λ1 − λ2 + λ3 ).
In the case of the unital qubit channel are merely a restriction of the general case to
when ti = 0 for i = 1, 2, 3, abbreviated we write a unital qubit channel as U = Λ|t=0 , hence




1 0 0 0
0 λ
0 0


1
TU = 
 ,
 0 0 λ2 0 
0 0 0 λ3

(13)

which reduces the number of parameters to three in the Choi matrix. Furthermore, the
Choi matrix for the unital qubit channels is of the form,
5





1 + λ3
0
0
λ1 − λ2
1
0
1 − λ 3 λ1 + λ2
0 


CU = 
 .


0
λ
+
λ
1
−
λ
0
2
1
2
3
λ1 − λ2
0
0
1 + λ3

(14)

Applying the unitary transform such that the matrix CU is in the Bell basis one obtains
the diagonal Choi matrix for unital qubit channels,




µ0 0 0 0
0 µ
1
0 0


1
F CU F ∗ = 
 ,
2  0 0 µ2 0 
0 0 0 µ3

(15)

where each µi is the same as in (12).

1.4

Degradable and Antidegradable Quantum Channels

Recalling the deﬁnition of the complementary channel (5), we now present the deﬁnition
of degradable and antidegradable channels.
Definition 4. A channel Φ is said to be degradable if there exits a channel Γ, such that the
e can be emulated by a composition of Γ with the original channel
complementary channel Φ
Φ,
e = Γ ◦ Φ.
Φ
(16)
f

Φ
X

Z

W

Γ

Φ
Y
Figure 1: Diagram of a degradable channel Φ ∈ C(X , Y) with auxiliary space Z, where
Z ⊗ W is the image space of the isometry induced by the degrading channel Γ. [11]
The notion of a degradable channel is that there is some other channel which adds
a particular type of noise to the channel such that it can emulate the complementary
channel. The converse of a degradable channel is an antidegradable channel. In that case
6

there exists a particular channel which can add noise to the complementary channel such
that it emulates the original channel.
Definition 5. A channel is said to be antidegradable if there exists a channel Ξ, such that
e
Ψ can be emulated by a composition of Ξ and the complementary channel Ψ,
e
Ψ=Ξ◦Ψ

(17)

Proposition 1. A channel is degradable if and only if its complementary channel is antidegradable.
Degradable channels ﬁrst appeared in [7], as channels with strictly additive coherent
information, which leads to a simple mathematical expression of the quantum capacity.
Many of these facts for degradable channels were ﬁrst noted in [6, 7]. A large set of
channels which are degradable are the dephasing channels, which were also deﬁned in [7].
The idea of a dephasing channel was most likely understood prior to this as a channel
which destroys the quantum states phase, making them more classical. Here we choose our
preferred basis to be the standard basis {ei }ni=1 .
Definition 6. A channel Ψ ∈ C(X , Y) for which a preferred orthonormal basis {ei }ni=1 ∈ X
is preserved by the partial isometry of the Stinepring representation,
U : ei 7→ ei ⊗ ui ,

(18)

where {ui }ni=1 is a set of not necessarily orthogonal vectors in Z, is said to be a dephasing
channel.
Definition 7. When in addition to being a dephasing channel, if the basis of the auxiliary space {ui }ni=1 ∈ Z consists of mutually orthogonal vectors we obtain the completely
dephasing channel, denoted by ∆, such that,
∆(ρ) =

n
X

ρi,i Ei,i ,

(19)

i=1

where ρi,i are the diagonal entries of the matrix ρ.
Lemma 2 (Devetak & Shor [7]). If a channel is dephasing, then it satisﬁes the following
properties:
1. Ψ ◦ ∆ = ∆ ◦ Ψ = ∆
e ◦∆=Ψ
e
2. Ψ

7

Proof: The ﬁrst property is proved by the fact that the completely dephasing channel
is the map which takes all oﬀ-diagonal entries to zero and leaves the diagonal entries
untouched. Where as in general a dephasing channel may only partially take the oﬀdiagonal entries to zero, and leave the diagonal entries unaltered. For the second property
we remark that the complementary of a dephasing channel admits the following Stinespring
representation through the structure of the partial isometry in (18),
e
Ψ(ρ)
= TrY (U ρU ∗ )

= TrY

 X
n



= TrY 


= TrY 
=

n
X
i,j

=

n
X
i

i

n
X
i,j

n
X
i,j

∗
!  n

X
∗
∗

(ei ⊗ ui )ei ρ
(ej ⊗ uj )ej
j



(ei ⊗ ui )e∗i ρej (e∗j ⊗ u∗j )


(20)

hei , ρej i(ei e∗j ⊗ ui u∗j )

hei , ρej i Tr(ei e∗j )ui u∗j

hei , ρei iui u∗i .

We notice the action of the complementary channel is only dependent on the diagonal
entries of the state ρ and hence, ﬁrst applying the completely dephasing channel does not
aﬀect the output of the complementary channel. 
From the above it follows that every dephasing channel is degradable. Furthermore,
dephasing channels are degraded by their own complementary channel.
e =Ψ
e ◦∆=Ψ
e ◦∆◦Ψ=Ψ
e ◦ Ψ.
Ψ

(21)

Remark that if we chose to trace out Z in (20), instead of Y, we obtain a general
expression for a dephasing channel,
n
X
i,j

hei , ρej i Tr(ui u∗j )Ei,j

(22)

with respect to the basis {ei }ni=1 .
Another property of dephasing channels is that when the dimension of the complementary space is equal to that of the input space, the set of Kraus operators in their
operator-sum representations are simultaneously diagonalizable. This is why in the past
8

they have been called “twisted-diagonal”, or “diagonal” maps in some literature. Like the
dephasing channels for degradability an important set of antidegradable quantum channels
are known as entanglement breaking channels.
Definition 8. A channel Φ ∈ C(X , Y) is entanglement breaking if for any state ρ ∈
D(W ⊗ X ) the output (I ⊗ Ψ)(ρ) ∈ D(W ⊗ X ) is separable.
Proposition 2. Every entanglement breaking channel is antidegradable.
Proof: We ﬁrst remark that for a channel to be entanglement breaking it must
have full Choi rank, otherwise the channel will not break the entanglement of the state
dim(X )−1 (vec(I)vec(I)∗ ) [13]. The proof follows from proposition 1, and the fact that every entanglement breaking channel can be written in terms of rank 1 Kraus operators, then
the complementary channel must have diagonal Kraus operators, hence it is a dephasing
map, which is degradable.
More precisely, due to the form of the entanglement breaking channels and the fact
that we can obtain the complementary channel from the fact that entanglement breaking
channels have the form (6) one can see that,
e
Φ(ρ)
=

=

d
X
i,j

d
X
i,j

=

Tr(ui vi∗ ρvj u∗j )ei e∗j

d
X
i,j

hvi , ρvj i Tr(ui u∗j )ei e∗j

(23)

hvi , ρvj i Tr(ui u∗j )Ei,j .

We note that if one chooses the basis {vi }di=1 = {ei }di=1 , then we obtain a channel of the
form (22), hence we see the complementary channel is a dephasing map which are degradable, hence by proposition 1 the result follows. 

2

Antidegradable Channels and Symmetric Extensions of
the Choi Operator

Most cases for qubit channel degradability and antidegradability were fully characterized
in [6, 27]. The non-unital antidegradable qubit channels remained to be characterized. We
take the suggestion of [4] and [22] and show that the spectrum criteria of symmetrically
extendable bipartite qubit states provides a characterization for all antidegradable qubit
channels. It was previously noted that the Choi-Jamiolkowski representation can be used
to characterize a large class of antidegradable channels namely the set of entanglement
9

breaking channels, by separability of the Choi operator [13]. When we recall that symmetric extendability is a weak notion of separability, it is not surprising that we apply
symmetric extendibility of the Choi matrix to characterizing antidegradability. This idea
was made explicit by the following lemma in [22].
Lemma 3 (Myhr & Lutkenhaus [22]). A channel Ψ is antidegradable if and only if its
Choi-Jamiolkowski representation admits a symmetric extension.
Recall that from the deﬁnition 8 every entanglement breaking channel has a separable
Choi matrix. Recall that any separable operator will admit a symmetric extension, in fact
we recall that it will be exhaustively symmetrically extendable. Hence, lemma 3 provides
an alternate proof that entanglement breaking channels are antidegradable.

2.1

Analytic Condition for Bipartite Qubit State Symmetric Extendability

The connection between the antidegradability of a qubit channel and bipartite qubit state
symmetric extendibility, is provided by the fact that Choi operators for qubit channels are
in one-to-one correspondence with bipartite qubit states through the Choi-Jamiolkowski
isomorphism. The question of whether a bipartite state admits a symmetric extension is
non-trivial. A criteria for the spectrum of the state and its marginal was conjectured in [22]
to describe the set of symmetrically extendible bipartite qubit states (4). The equivalence
of states which satisfy (24) and states in A (4) was conjectured by noticing that their
condition on the spectrum held for every case they investigated [22]. Shortly after the
conjecture was proved in [4].
Theorem 3 (Chen, et. al [4]). A two qubit state ρAB admits a symmetric extension if and
only if,
q
(24)
Tr(ρ2B ) ≥ Tr(ρ2AB ) − 4 det(ρAB )

The inequality (24) can also be regarded as an inequality involving the arithmetic mean
of the square of the eigenvalues for the marginal state ρB , and the diﬀerence between the
arithmetic and geometric mean of the square eigenvalues for the full state ρAB . We note
that the equivalence provided by lemma 3 implies that the set of antidegradable channels
is convex, due to convexity of the set of symmetrically extendible states. Convexity of
the set of antidegradable channels was alternatively demonstrated in [6]. Interestingly, the
authors of [6] also showed that the set of degradable channels is not convex.
We return to theorem 3, which we now give as a statement about the Choi operator
using lemma 3.

10

Corollary 4. A qubit channel Φ is antidegradable if and only if the following inequality
holds for the Choi operator of a single-qubit channel CΦ .




q





2
Tr Φ(I)2 ≥ Tr CΦ
− 4 det CΦ ,

and the Choi operator is positive semideﬁnite.

(25)

This is obtained from the remark that TrX (CΦ ) = Φ(I). The implication of corollary 4
is that the set of Choi operators which satisfy inequality (25) is convex with respect to the
single-qubit channels [6].
We now consider the set of all qubit channels under the block sphere parametrization
(9). First we establish suﬃciency for the symmetric extendability criteria based on the
values in (11) up to unitary conjugation.
Lemma 4. Let X and Y be two ﬁnite dimensional complex Hilbert spaces, U ∈ U(X ),
V ∈ U(Y) and M ∈ L(X ⊗ Y). Then TrX ((V ⊤ ⊗ U )M ((V ⊤ ⊗ U )∗ ) = U TrX (M )U ∗ .
Proof: Consider the following decomposition, M =
properties of the vec map we can see that,

Pr
i

vec(Ai )vec(Bi )∗ , then using

TrX ((V ⊤ ⊗ U )M ((V ⊤ ⊗ U )∗ )
=

r
X
i

=

r
X

TrX ((V ⊤ ⊗ U )vec(Ai )vec(Bi )∗ (V ⊤ ⊗ U )∗ )
TrX (vec(U Ai V )vec(U Bi V )∗ )

i

=

r
X

U Ai V V ∗ Bi∗ U ∗

i

=U

r
X

Ai Bi∗

i

=U TrX

!

r
X

(26)

U∗
!

∗

vec(Ai )vec(Bi )

i

=U TrX (M )U ∗ . 

U∗

Because the Choi representation (11) is in terms of the channel in the Pauli basis Λ
and we need the following proposition.
Proposition 3. If CΦ has a symmetric extension then CU ΛU ∗ has a symmetric extension.
Proof: If the channel Λ has following Kraus representation Λ(ρ) =
channel Φ has the following Kraus representation,
11

P

i

Ki ρKi∗ then the

Φ(ρ) =

X

U Ki V ρV ∗ Ki∗ U ∗ .

(27)

i

It follows that the Choi-Jamiolkowski of Φ is,
CΦ =
=

X

vec(U Ki V )vec(U Ki V )∗

i

X
i

(V ⊤ ⊗ U )vec(Ki )vec(Ki )∗ (V ⊤ ⊗ U )∗

= (V ⊤ ⊗ U )CΛ (V ⊤ ⊗ U )∗ .

(28)



Because the transformation (28) between the two Choi-Jamiolkowski representations is
a block unitary transform the eigenvalues are preserved.
Corollary 5. The Choi-Jamiolkowski representation of a single-qubit channel CΛ admits
a symmetric extension if and only if,


q



Tr Λ(I)2 ≥ Tr CΛ2 − 4 det(CΛ )

(29)

Proof: This follows directly from lemma 4 and proposition 3 that the condition for
symmetric extendibility of an arbitrary map, we only need to consider the Choi matrix
(11) which arises from the map (7).
Corollary 6. The single-qubit channel Λ is antidegradable if and only if the channel satisﬁes (29).

2.2

Conditions for Antidegradable Unital Qubit Channels

We note that in the unital case the right hand side of the inequality (29) has an even
simpler form.
Corollary 7. A unital qubit channel U : D(C2 ) 7→ D(C2 ) is anti-degradable if its Choi
operator is positive semideﬁnite and,
2≥

X

µ2i

i



−4

Y

µ2i

i

!1
4

,

0 ≤ i ≤ 3,

(30)

where µ0 = (1 + λ1 + λ2 + λ3 ), µ1 = (1 + λ1 − λ2 − λ3 ), µ2 = (1 − λ1 + λ2 − λ3 ),
µ3 = (1 − λ1 − λ2 + λ3 ), each λi is from the unital Choi representation (13).
Proof: Firstly we note that the left hand side of (29) reduces when our channel U is
unital,



Tr U(I)2 = Tr I 2 = Tr I = 2 .
(31)
12

and the right hand side of the inequality given by (29) applied to the unital qubit Choi
matrix (14) is,
1 + λ21 + λ22 + λ23

q

− (λ1 + λ2 + λ3 + 1)(λ1 − λ2 − λ3 + 1)(λ1 + λ2 − λ3 − 1)(λ1 − λ2 + λ3 − 1).

(32)

We then apply a change of basis to (14) to obtain (15) the Choi matrix for a unital
qubit channel in the Bell basis,




µ0 0 0 0
1
0
 0 µ1 0

CU = 

2  0 0 µ2 0 
0 0 0 µ3

(33)

where, µ0 = (1 + λ1 + λ2 + λ3 ), µ1 = (1 + λ1 − λ2 − λ3 ), µ2 = (1 − λ1 + λ2 − λ3 ),
µ3 = (1 − λ1 − λ2 + λ3 ) as in (12), the result follows. 
Because the Bell states diagonalize the unital qubit Choi matrix, we say that the
matrix is Bell-diagonal. The region of separability for the Bell diagonal states happens to
be precisely when each µi ∈ [0, 12 ], i = 0, 1, 2, 3 [3, 14, 19]. One can check that this aﬃrms
the fact that the set of entanglement breaking channels are a subset of the antidegradable
channels. We note that the unital channel case has been previously characterized by other
methods in [6]. It turns out that in the case of qubit channels, every unital channel is
mixed unitary [18].

2.3

Conditions for Antidegradable Qubit Channels

The characterization of degradable qubit channels has been previously characterized in [6].
In the following let Z denote the auxiliary space in the minimal Stinespring representation for a channel Φ ∈ C(X , Y). Where both X and Y are complex Euclidean spaces of
dimension two.
When dim(Z) = 1, the minimal Stinespring representation is represented by the isometry from the input space to the tensor product of the output with a one dimensional
auxiliary space.
Proposition 4. If the auxiliary space Z in the minimal Stinespring representation is one
dimensional, then any channel Φ ∈ C(X , Y) is degradable.
Proof: Since dim(Z) = 1, implies that rank(CΦ ) = 1, we can ﬁnd Kraus representation
with only one operator A ∈ L(X , Y). It follows that Φ must be a unitary channel, since
A∗ A = I by the trace preserving properties of every quantum channel. It is clear that the
complementary channel of a unitary channel is the trace map, therefore Φ is degradable
13

by the unitary invariance of the trace.



If dim(Z) = 2, then rank(CΦ ) = 2 and we have the that the output space and the
environment space have equal dimension. This case is described by a theorem of Wolf
and Perez which states that every qubit channel in the case of rank(CΦ ) = 2, is either
degradable or antidegradable [27].
Proposition 5 (Wolf & Perez [27]). Every qubit channel with Choi rank two is unitarily
equivalent to the channel described by the following two Kraus operators,
cos(α)
0
A1 =
0
cos(β)

!

0
sin(β)
A2 =
sin(α)
0

!

(34)

.

Proposition 6. Any rank 2 qubit channel with Kraus operators of the form (34), is antidegradable if and only if cos(2β) cos(2α) ≤ 0.

Proof: We ﬁrst remark that because of (34) the channel maps the identity matrix to
the matrix,
!
cos2 (α) + sin2 (β)
0
Λ2 (I) =
.
(35)
0
sin2 (α) + cos2 (β)
The left hand side of (29) is then,


2

Tr(Λ2 (I)2 ) = cos2 (α) + sin2 (β)



2

+ sin2 (α) + cos2 (β)

= (cos2 (α) + 1 − cos2 (β))2 + (1 − cos2 (α) + cos2 (β))2 ,

(36)

for the right hand side of (29) we can obtain the Choi matrix by,
CΛ2 = vec(A1 )vec(A1 )∗ + vec(A2 )vec(A2 )∗ ,

(37)




cos(α)2
0
0
cos(α) cos(β)


2
0
sin(α)
sin(α) sin(β)
0


(38)
C Λ2 = 
 .
2


0
sin(α) sin(β)
sin(β)
0
cos(α) cos(β)
0
0
cos(β)2
Remark, because the Choi matrix is not full rank, the determinant is zero, and we are
only left with the term,
Tr(CΛ2 2 ) = 2 cos4 (α) + 2 cos4 (β) + 4(cos2 (α) − 1)(cos2 (β) − 1) .

(39)

To obtain an inequality with zero, we rewrite the antidegradability condition (29) as,
Tr(CΛ2 2 ) − Tr(Λ2 (I)2 )

=2 cos4 (α) + 2 cos4 (β) + 4(cos2 (α) − 1)(cos2 (β) − 1)

− (1 + cos2 (α) − cos2 (β))2 − (1 − cos2 (α) + cos2 (β))2

=8 cos2 (α) cos2 (β) − 4 cos2 (α) − 4 cos2 (β) + 2

=2 cos(2β) cos(2α) ≤ 0 ,

14

(40)

which is equivalent to,
cos(2β) cos(2α) ≤ 0 . 

(41)

Proposition 7. Any rank 2 qubit channel with Kraus operators of the form (34), is degradable if and only if cos(2β) cos(2α) ≥ 0
Proof: This follows from the fact that when the rank of the Choi operator is two, any
single qubit channel is either degradable or antidegradable [27]. 
Previously, in this case of rank 2 channels it was noted that a channel is antidegradable
if | sin(α + β)| ≥ | cos(β − α)| and degradable if | sin(α + β)| ≤ | cos(β − α)| [6].
Proposition 8. For rank 2 qubit channels the condition for degradibility cos(2α) cos(2β) ≥
0, is equivalent to the condition | cos(β − α)| ≥ | sin(α + β)|. Furthermore, the condition
for antidegradability cos(2α) cos(2β) ≤ 0, is equivalent to the condition | cos(β − α)| ≤
| sin(α + β)|.
Proof: The ﬁrst part follows straight from the calculation,
cos(2α) cos(2β) = cos(2α)(cos2 (β) − sin2 (β))

= (cos2 (α) − sin2 (α))(cos2 (β) − sin2 (β))

= cos2 (α) cos2 (β) − cos2 (α) sin2 (β) − sin2 (α) cos2 (β) + sin2 (α) sin2 (β)
= (cos(α) cos(β) + sin(α) sin(β))2 − (sin(α) cos(β) + cos(α) sin(β))2
= cos2 (β − α) − sin2 (α + β) ≥ 0

⇒ cos2 (β − α) ≥ sin2 (α + β) .

(42)

The second statement follows by similar manipulation. 
We remark that propositions 6 and 7 give the expressions for antidegradability and
degradability are in terms of the parameters α and β. This allows for a simpler picture of
degradability and antidegradability in this case, unlike the previous characterizations in [6]
where the expressions are in terms of diﬀerent combinations of α and β. The expression
cos(2α) cos(2β) generates a checkerboard like surface of peaks and valleys in 3 dimensions.
Any point on the surface below the plane cos(2α) cos(2β) = 0 is an antidegradable channel
while any point on the surface above the zero plane is a degradable channel.
If dim(Z) = 3, then rank(CΦ ) = 3, again we know that the determinant will vanish
from the left hand side of (29). For the following let λ = (λ1 , λ2 , λ3 ), and t = (t1 , t2 , t3 ).
Proposition 9. A single-qubit channel Λ3 with Choi rank 3 is antidegradable if its Choi
operator is positive semideﬁnite and,
1
≥ kλk − ktk ,
kλk + ktk
15

(43)

where t and λ are parameters of the map (9).
Proof: We recall that we can obtain the matrix Λ3 (I) from by determining the action
of the channel on the matrix basis,
1 + t3 t1 − it2
Λ3 (I) =
t1 + it2 1 − t3

!

(44)

Applying (11) and noting that Tr(Λ3 (I)2 ) and the right hand side of (29) Tr(CΛ3 2 )
reduce to the following
2(1 + t21 + t22 + t23 ) ≥ λ21 + λ22 + λ23 + (t21 + t22 + t23 + 1)
1 + t21 + t22 + t23 ≥ λ21 + λ22 + λ23

(45)

1 ≥ kλk2 − ktk2

1 ≥ (kλk + ktk)(kλk − ktk) .



It is interesting that the right hand side of (45) is 0 when ktk = kλk.
Corollary 8. A unital single-qubit channel U3 with Choi rank 3 is antidegradable if and
only if,
kλk ≤ 1 ,
(46)
where λ is the parameter of the map (13).
Proof: Recall a qubit channel is unital implies that t = 0.



Notice that one optimal condition among the unitary channels are points in the intersection between the ball 1 = λ21 + λ22 + λ23 and the tetrahedron (10).
When dim(Z) = 4, the Choi matrix for the qubit channels is full rank and the determinant is non-zero. The following inequality is obtained from the Choi matrix from the
parametrized representation from (11).
Proposition 10. A single qubit channel is antidegradable if its Choi operator is positive
semideﬁnite and
X
i



λ2i (λ2i − 2t2i − 2) − t2i (t2i − 2) + 2

X
i6=j



λ2i (λ2j − t2j ) + (ti tj )2 − 8
≥

X
i

holds, where t and λ are parameters of the map (9), and 1 ≤ i ≤ 3.
16

λ2i

Y

−

(λi ) + 1

i

t2i



!2

−1

(47)

Proof: This follows directly from our result (29) and direct calculations using the
values from (9) and (11) to obtain,

−

sX

i



λ2i (λ2i − 2t2i − 2) − t2i (t2i − 2) + 2

1 + t21 + t22 + t23 ≥ λ21 + λ22 + λ23

X
i6=j



λ2i (λ2j − t2j ) + (ti tj )2 − 8

Y

λi + 1 , (48)

i

We note that a better way to present this inequality is to move the negative square
root term to the left hand side and group the other terms on the right hand side, after
squaring both sides we obtain,
LHS =

X
i

RHS =

X
i



λ2i (λ2i − 2t2i − 2) − t2i (t2i − 2) + 2
λ2i

−

t2i



!2

X
i6=j



λ2i (λ2j − t2j ) + (ti tj )2 − 8

Y

λi + 1

i

−1

(49)
for which we have an antidegradable channel whenever LHS ≥ RHS, hence our result
follows. 

3

Applications to Qubit Quantum Channels

In this section we will discuss a few examples of qubit channels and their degradability or
antidegradable criteria.

3.1

Dephasing Channel

For single-qubit channels degradable channels only exist if the rank of the Choi operator
is less than or equal to two [6]. Since the dephasing maps are a subset of the degradable
channels it means we require at most two Kraus operators to describe any single-qubit
dephasing channel.
Remark 2 (Wolf & Perez [27]). The rank 2 qubit channel (34) is a dephasing channel
when α = β,
!
!
cos(α)
0
0
sin(α)
B1 =
B2 =
.
(50)
0
cos(α)
sin(α)
0
Proof: When α = β this channel will be dephasing by the fact that its Kraus operators
are simultaneously diagonalizable. Because A2 is hermitian we can diagonalize it with some
change of basis which will not aﬀect A1 , because A1 is a multiple of the identity matrix,
17

hence both operators are diagonal in the same basis.



We remark that degradability of this channel easily follows from our results, because
the dephasing condition α = β, implies that proposition 7 is always satisﬁed.

3.2

Amplitude Damping Channel

Remark 3 (Wolf & Perez [27]). The rank 2 qubit channel (34) is the amplitude damping
channel when β = 0, is given by the following two Kraus operators,
C1 =

!

cos(α) 0
0
1

!

0
0
C2 =
sin(α) 0

.

(51)

Proposition 11. The qubit amplitude damping channel is antidegradable for cos(2α) ≤ 0,
and degradable for cos(2α) ≥ 0.
Proof: This follows from the condition for amplitude damping channels of β = 0 and
propositions 7 and 6. 

3.3

Depolarizing Channel

Another important example is the depolarizing channel. The depolarizing channel act as
the identity channel on a density operator with some probability (1 − p) and act as the
completely depolarizing channel with the probability p.
Definition 9. Let ρ be a density operator the completely depolarizing channel is deﬁned
as,
I
Ω(ρ) = Tr(ρ) ,
(52)
d
where d is the dimension of ρ.
Definition 10. Let ρ be a density operator and p ∈ (0, 1) the depolarizing channel is
deﬁned as,
I
(53)
Υ(ρ) = (1 − p)ρ + p Tr(ρ) ,
d
where d is the dimension of ρ.
Proposition 12. The depolarizing channel is antidegradable for p ≥ 13 .
Proof: Because the Choi correspondence is a linear vector space isomorphism we can
ﬁnd the Choi matrix of the depolarizing channel in terms of p, simply by taking the convex
combination of the identity and completely depolarizing Choi representations,

18



1−p
 0

CΥ = (1−p)CI +p CΩ = 
 0
1−p

0
0
0
0

 

p
0 1−p
2

0
0 
 0
+
0
0  0
0
0 1−p

0
p
2

0
0

0
0
p
2

0





1 − 2p
0


0  0
=
0  0
p
1−p
2

0
p
2

0
0

0
0



1−p
0 

 ,
p

0
2
p
0 1− 2
(54)

where p ∈ [0, 1].
We note that this channel is unital and hence the left hand side of our inequality (29)
is 2. We note that the depolarizing channel Choi matrix (54) is of the form of a unital
channel, see (14). Hence, the qubit depolarizing channel is antidegradable whenever,
2 ≥ 3p2 − 6p + 4 −

which on the interval [0, 1] is when,

q

−p3 (3p − 4) ,

(55)

1
.
(56)
3
Furthermore, it was shown in [11] that the depolarizing channel is entanglement breaking for p ≥ 32 .
p≥

Remark 4. The qubit depolarizing channel is antidegradable but not entanglement breaking for p ∈ [ 13 , 23 ).
This reaﬃrms the results in [21] that the complementary channel of the qubit depolarizing channel has positive capacity for values of p, in addition to being degradable. One
may hope to ﬁnd optimal codes for the depolarizing channel, in the sense of ﬁnding codes
where Q(Υ2 ) > 0 for p = 31 − ǫ.

4

Self-Complementary Qubit Channels

It is known that degradable qubit channels only exist when dim(Z) ≤ 2 [6]. In addition,
antidegradable qubit channels only exist for dim(Z) ≥ 2 [6]. We now investigate the
conditions for a qubit channel which is both degradable and antidegradable.
Proposition 13. A qubit channel is degradable and antidegradable if | sin(α + β)| =
| cos(β − α)|. Where the channel has the Kraus operators
cos(α)
0
K1 =
0
cos(β)

!

0
sin(β)
K2 =
sin(α)
0

!

.

(57)

Proof: When the Choi rank is 2 every channel is either degradable and antidegradable,
then by the form of our conditions for degradability and antidegradability (propositions 7
and 6) the result follows. 

19

Proposition 14. A qubit channel with dim(Z) = 2, is self complementary if | cos(β)| =
| sin(β)|.
Proof : Recalling when dim(Z) = 2, by proposition 5 we can write the channel in terms
of the two Kraus operators (57). We remark that the Kraus operators ensure that our map
will be completely positive for appropriate regions of α and β. We can then construct the
partial isometry of the channels Stinespring representation,




cos(α)
0
 0

sin(β)


V = K1 ⊗ e1 + K2 ⊗ e2 = 
 .
 0
cos(β)
sin(α)
0

(58)

We remark that a channel with the Stinespring isometry V ∈ V(X , Y ⊗ Z), is selfcomplementary if
TrZ (V ρV ∗ ) = TrY (V ρV ∗ ) ,
(59)
for all ρ ∈ D(X ).
Now, let ρ =

x z
z y

!





∈ D(X ). Now remark the action of the isometry M = V ρV ∗ ,


cos(α)
0
!
!
 0
 x z
cos(α)
0
0
sin(α)
sin(β)


M =

 0
0
sin(β) cos(β)
0
cos(β) z y
sin(α)
0

(60)



x cos(α)2
z cos(α) sin(β) z cos(α) cos(β) x cos(α) sin(α)
 z cos(α) sin(β)
y sin(β)2
y cos(β) sin(β) z sin(β) sin(β) 


M =
 .
z cos(α) cos(β) y cos(β) sin(β)
y cos(β)2
z sin(α) cos(β) 
x cos(α) sin(α) z sin(β) sin(α) z cos(α) cos(β)
x sin(α)2
!

M1 M2
Let us label the above matrix M as four 2 × 2 sub-matrices
.
M3 M4
The action of tracing out partial systems Y and Z amounts to the following block
matrix calculations
TrY (M ) = (M1 + M4 )
=

x cos(α)2 + y cos(β)2
z cos(α) sin(β) + z sin(α) cos(β)
z cos(α) sin(β) + z sin(α) cos(β)
y sin(β)2 + x sin(α)2

20

!

,

(61)

and
!

Tr(M1 ) Tr(M2 )
TrZ (M ) =
Tr(M3 ) Tr(M4 )

x cos(α)2 + y sin(β)2
z cos(α) cos(β) + z sin(α) sin(β)
=
z cos(α) cos(β) + z sin(α) sin(β)
y cos(β)2 + x sin(α)2
Notice that if sin(β) = cos(β) the matrix TrZ (M ) is the same as TrY (M ).

!

(62)
.



Remark that any self-complementary channel is both degradable and antidegradable,
e then the identity map degrades both the channel and its complemenbecause if Φ = Φ
tary channel. We note that there are two solutions to the self complementary condition
| sin(α + β)| = | cos(β − α)|, ﬁrst | cos(β)| = | sin(β)| and secondly | sin(α)| = | cos(β)|.
We remark that the ﬁrst solution yields the set of self complementary channels and the
second solution yields a the set of degradable and antidegradable channels which are not
self-complementary.

5

Conclusion

The application of this research could be used to ﬁnd good codes for noisy qubit channels.
Degradable channels were used in [20] to derive a formula for the channel capacity in a lownoise regime to leading orders, perhaps these methods may be helpful in those directions.
Finding qubit channels which are antidegradable but not entanglement breaking may provide a framework for ﬁnding channels in which shared entanglement generation may be
possible even when these channels alone have zero coherent information. Lastly, it is not
apparent that the set of Choi matrices which satisfy (25) is convex, without relying on the
convexity of the set of symmetrically extendible operators [22]. It would be interesting to
characterize the extreme points of this set and determine the properties of the resulting
qubit channels, as they may be useful in studying the coherent information. Mathematically, theppart of the inequality which provides diﬃculty in determining convexity, is the
function det(CΦ ), where CΦ is a self-adjoint 4× 4 positive semi-deﬁnite matrix. In general
1
the function det(A) 2 of a 4 × 4 matrix A is not operator concave. We recall that if A is
1
an n × n matrix then det(A) n is operator concave [1], however, there does not appear to
be a way to extend this result to show operator concavity of the function in this case [23].

6

Acknowledgements

This research was conducted as part of the ﬁrst authors M.Sc while attending the University
of Guelph and the Institute for Quantum Computing, he would like to thank Rajesh Pereira,
Bei Zeng, Nengkun Yu, and Joel Klassen for many helpful discussion.
21

References
[1] R. Bhatia. Matrix Analysis. Springer, 1997.
[2] Daniel Braun, Olivier Giraud, Ion Nechita, et al. A universal set of qubit quantum
channels. Journal of Physics A: Mathematical and Theoretical, 47(13):135302, 2014.
[3] Nicolas J. Cerf. Quantum cloning and the capacity of the Pauli channel. arXiv preprint
quant-ph/9803058, 1998.
[4] Jianxin Chen, Zhengfeng Ji, David Kribs, Norbert Lütkenhaus, and Bei Zeng. Symmetric extension of two-qubit states. Physical Review A, 90(3):032318, 2014.
[5] Man-Duen Choi. Completely positive linear maps on complex matrices. Linear algebra
and its applications, 10(3):285–290, 1975.
[6] Toby S. Cubitt, Mary Beth Ruskai, and Graeme Smith. The structure of degradable
quantum channels. Journal of Mathematical Physics, 49(10):102104, 2008.
[7] Igor Devetak and Peter W. Shor. The capacity of a quantum channel for simultaneous
transmission of classical and quantum information. Communications in Mathematical
Physics, 256(2):287–303, 2005.
[8] Mark Fannes, J.T. Lewis, and André Verbeure. Symmetric states of composite systems. Letters in mathematical physics, 15(3):255–260, 1988.
[9] Akio Fujiwara and Paul Algoet. One-to-one parametrization of quantum channels.
Physical Review A, 59(5):3290, 1999.
[10] Alexander Semenovich Holevo. Complementary channels and the additivity problem.
Theory of Probability &amp; Its Applications, 51(1):92–100, 2007.
[11] Alexander Semenovich Holevo. Quantum Systems, Channels, Information. Berlin: De
Gruyter, 2012.
[12] R. Horn and C. Johnson. Topics in Matrix Analysis. Cambridge university press,
1991.
[13] Michael Horodecki, Peter W. Shor, and Mary Beth Ruskai. Entanglement breaking
channels. Reviews in Mathematical Physics, 15(06):629–641, 2003.
[14] Michal Horodecki, Pawel Horodecki, and Ryszard Horodecki. Separability of mixed
states: necessary and suﬃcient conditions. Physics Letters A, 223(1):1–8, 1996.
[15] Andrzej Jamiolkowski. Linear transformations which preserve trace and positive
semideﬁniteness of operators. Reports on Mathematical Physics, 3(4):275–278, 1972.
22

[16] Christopher King, Keiji Matsumoto, Michael Nathanson, and Mary Beth Ruskai.
Properties of conjugate channels with applications to additivity and multiplicativity.
arXiv preprint quant-ph/0509126, 2005.
[17] Christopher King and Mary Beth Ruskai. Minimal entropy of states emerging from
noisy quantum channels. IEEE Transactions on information theory, 47(1):192–209,
2001.
[18] L.J. Landau and R.F. Streater. On Birkhoﬀ’s theorem for doubly stochastic completely
positive maps of matrix algebras. Linear algebra and its applications, 193:107–127,
1993.
[19] Matthias D. Lang and Carlton M. Caves. Quantum discord and the geometry of
Bell-diagonal states. Physical review letters, 105(15):150501, 2010.
[20] Felix Leditzky, Debbie Leung, and Graeme Smith. Quantum and private capacities of
low-noise channels. arXiv preprint, arXiv:1705.04335, 2017.
[21] Debbie Leung and John Watrous. On the complementary quantum capacity of the
depolarizing channel. arXiv preprint, arXiv:1705.04335, 2015.
[22] Geir Ove Myhr and Norbert Lütkenhaus. Spectrum conditions for symmetric extendible states. Physical Review A, 79(6):062307, 2009.
[23] Ingram Olkin and Albert W. Marshall. Inequalities: theory of majorization and its
applications, volume 143. Academic press, 2016.
[24] Mary Beth Ruskai, Stanislaw Szarek, and Elisabeth Werner. An analysis of
completely-positive trace-preserving maps on M2. Linear Algebra and its Applications, 347(1):159–187, 2002.
[25] W. Forrest Stinespring. Positive functions on C*-algebras. Proceedings of the American
Mathematical Society, 6(2):211–216, 1955.
[26] Reinhard F. Werner. An application of Bell’s inequalities to a quantum state extension
problem. Letters in Mathematical Physics, 17(4):359–363, 1989.
[27] Michael M. Wolf and David Perez-Garcia. Quantum capacities of channels with small
environment. Physical Review A, 75(1):012303, 2007.

23

