capacity bounds for quantum communications through quantum … · 2020. 1. 22. · control qubit is...
TRANSCRIPT
Capacity Bounds for Quantum
Communications through Quantum Trajectories
Angela Sara Cacciapuoti, Senior Member, IEEE,
Marcello Caleffi, Senior Member, IEEE
Abstract
In both classical and quantum Shannon’s information theory, communication channels are generally
assumed to combine through classical trajectories, so that the associated network path traversed by
the information carrier is well-defined. Counter-intuitively, quantum mechanics enables a quantum
information carrier to propagate through a quantum trajectory, i.e., through a path such that the causal
order of the constituting communications channels becomes indefinite. Quantum trajectories exhibit
astonishing features, such as providing non-null capacity even when no information can be sent through
any classical trajectory. But the fundamental question of investigating the ultimate rates achievable with
quantum trajectories is an open and crucial problem. To this aim, in this paper, we derive closed-
form expressions for both the upper- and the lower-bound on the quantum capacity achievable via a
quantum trajectory. The derived expressions depend, remarkably, on computable single-letter quantities.
Our findings reveal the substantial advantage achievable with a quantum trajectory over any classical
combination of the communications channels in terms of ultimate achievable communication rates.
Furthermore, we identify the region where a quantum trajectory incontrovertibly outperforms the amount
of transmissible information beyond the limits of conventional quantum Shannon theory, and we quantify
this advantage over classical trajectories through a conservative estimate.
Index Terms
Quantum Capacity, Quantum Trajectory, Quantum Switch, Entanglement, Causal Order, Classical
Trajectory, Quantum Internet.
A. S. Cacciapuoti and M. Caleffi are with FLY: Future Communications Laboratory, Department of Electrical Engineering and
Information Technology (DIETI), University of Naples Federico II, Naples, 80125 Italy (E-mail: [email protected],
[email protected]. Web: www.quantuminternet.it).
The authors are also with the Laboratorio Nazionale di Comunicazioni Multimediali, National Inter-University Consortium
for Telecommunications (CNIT), Naples, 80126 Italy.
December 19, 2019 DRAFT
arX
iv:1
912.
0857
5v1
[qu
ant-
ph]
18
Dec
201
9
1
I. INTRODUCTION
The fundamental assumption underlying Shannon’s information theory was to model both the
information carriers and the communication channels as classical entities, obeying the law of
classical physics [1].
During the last five decades, scientists have been working on extending Shannon’s theory
to the quantum domain – an area of study referred to as Quantum Shannon Theory [2], [3] –
by modeling the information carriers as quantum systems and by exploiting the unconventional
phenomena – superposition and entanglement – arising from such a modeling. But, in both
classical and quantum Shannon’s information theory, communication channels are generally
assumed to combine through classical trajectories, so that the associated network path traversed
by the information carrier is well-defined.
As instance, with reference to Fig. 1, when a message m must propagates through two
communication channels – say channels D and E – to reach the destination, either channel
E is crossed after channel D as in Fig. 1a or vice versa as in Fig. 1b. In both cases, the causal
order of the channels traversed by the message is well defined, i.e., either D → E or E → D.
Counter-intuitively, quantum mechanics allows quantum particles to propagate simultaneously
among multiple space-time trajectories [1], [4], [5]. This ability enables a quantum information
carrier to propagate through a quantum trajectory, i.e., through a path where the constituting
communications channels are combined in a quantum superposition of different orders, as shown
in Fig. 1c, so that the causal order of the channels becomes indefinite.
Quantum trajectories have been experimentally realized through a quantum device called
quantum switch [6], where the causal order of the communication channels is controlled by
a quantum degree of freedom, represented by a control qubit. Specifically, multiple photonic
implementations of the quantum switch have been recently proposed – with the control qubit
represented by either polarization or orbital angular momentum degree of freedom [7]–[12].
Fig. 2 provides1 a schematic diagram of a photonic quantum switch.
The adoption of a quantum switch has been shown to provide significant advantages for a
number of problems, ranging from quantum computation [6], [14], [15] and quantum information
processing [16], [17] through non-local games [18] to communication complexity [19], [20].
1We refer the reader to [1], [13] for further details.
December 19, 2019 DRAFT
2
(a) Information carrier traversing channel E after channel D, i.e., through the classical trajectory implementing the
well-defined causal order D → E.
(b) Information carrier traversing channel E before channel D, i.e., through the classical trajectory implementing
the well-defined causal order E → D.
(c) Information carrier traversing channels D and E in a superposition of the two alternative causal orders D → E
and E → D, i.e., through a quantum trajectory.
Fig. 1: Pictorial representation of the propagation of the information carrier through two
communication channels. (a)-(b): a message propagating through the two channels in a well-
defined causal order. (c): a message propagating through the two channels in a superposition of
different causal orders.
Furthermore, the possibility to combine the communications channels in a quantum super-
position of different orders has been recently applied to the communications domain [1], [4],
[11]–[13], [21]–[26]. And it has been shown that the quantum switch can enable noiseless
communications via noisy channels, even if no information can be sent through either of the
component channels individually [13].
December 19, 2019 DRAFT
3
Fig. 2: Schematic diagram of a photonic implementation of a quantum switch, where the
control qubit is mapped into the photon polarization. Two photons with opposite polarization
emerge from the beam splitter, which are sent to the destination through two different quantum
communication links. The two photons, during their journey, are swapped so that the photon
emerging from channel D is routed through channel E and vice versa. Finally, the two photons
emerging from the two paths are recombined at the destination with a second beam splitter.
In this context, it is crucial to determine the ultimate communication rates achievable by a
point-to-point quantum communication protocol through noisy quantum channels, when these
channels are combined in a superposition of different orders. In fact, this allows to quantify
the performance gain in terms of quantum capacity assured by the adoption of the quantum
switch with respect to the case where the noisy quantum communication channels are combined
classically, i.e., so that the relative causal order of the channels traversed by the message is well
defined.
While the ultimate communication rates achievable with classical trajectories have been deeply
investigated [27]–[29] for a large number of quantum channels, the analysis of the ultimate rates
achievable by adopting the quantum switch has been only recently undertaken [21]. However, in
[21] only a lower-bound for the quantum capacity achievable through the quantum switch has
been derived.
In this paper we address the crucial problem of deriving closed-form expressions for both the
upper- and the lower-bound on the quantum capacity achievable with a quantum trajectory, i.e.,
in presence of a quantum switch.
December 19, 2019 DRAFT
4
Specifically, regarding the lower-bound, we derive a tighter bound than the one derived in [21].
Regarding instead the upper-bound, we derive, for the first time to the best of our knowledge,
a closed-form expression depending on a computable single-letter quantity.
The theoretical analysis reveals that the adoption of a quantum switch offers a substantial
advantage in terms of ultimate achievable rate with respect to any classical trajectory combining
the channels in a well-defined causal order. Furthermore, we identify the region in which the
quantum switch incontrovertibly boosts the amount of transmissible information beyond the
limits of conventional quantum Shannon theory, and we quantify this advantage over classical
trajectories through a conservative estimate.
The rest of the paper is organized as follows. In Sec. II we provide some preliminaries about
the quantum capacity and the quantum switch. Then, in Sec. III we present our main results
by deriving closed-form expressions for both the upper- and the lower-bound on the quantum
capacity in presence of a quantum switch. In this section, we also quantify in terms of achievable
rates the advantage of adopting the quantum switch over classical trajectories. Finally in Sec. IV
we conclude the paper.
II. PRELIMINARIES
A. Quantum Capacity
Different notions of capacity can be defined for a quantum channel, depending on what type
of information has to be sent, i.e. quantum or classical [2], [21], [27], [30]–[32].
In the following, we restrict our attention to the transmission of quantum information, and
thus we adopt the definition of quantum capacity Q(N) of a noisy quantum channel N as in
[21], [30]–[32]. Specifically, the quantum capacity Q(N) is defined as the number of qubits
transmitted per channel use in the limit of asymptotically many uses [21], and it coincides with
the entanglement-generating capacity as proved in [31]. To provide a formal definition of the
quantum capacity Q(N), we must introduce the notion of coherent information. To this aim, the
following definitions are needed.
Definition 1 (Quantum Channel). Let us denote with A and B the input and output quantum
systems of a quantum communication channel N , which is described mathematically by the
completely-positive linear map [33]:
N : HA → HB, (1)
December 19, 2019 DRAFT
5
with HA and HB denoting the Hilbert spaces describing A and B, respectively. When channel
N is applied to the arbitrary input density state ρ ∈ HA, the output N(ρ) is a density state ρB
belonging to HB:
ρB = N(ρ) ∈ HB. (2)
It is often convenient, regardless whether ρ is a pure or a mixed state, to rethink ρ as being
the reduced state of some pure state – i.e., we can assume the system A being part of a larger
system that is in some pure state. Specifically, it is always possible to introduce an additional
Hilbert space HR – with R called reference system – and a pure state |ψRA〉 ∈ HR ⊗HA such that
ρ is the partial trace with respect to HR of the density matrix ρRA4= |ψRA〉 〈ψRA | [34]. Hence,
we have the following definition.
Definition 2 (Purification). A pure state |ψRA〉 is named purification of the state ρ if:
ρ = TrR [ρRA] , (3)
for a certain reference system R, with TrR[·] denoting the partial trace operator with respect to
HR.
In terms of channel N effects – by introducing the purification of the state ρ – we can state
that the joint system RA evolves according to the “extended” super-operator (IR ⊗ N), where
IR is the identity matrix for the reference system R [34], by producing the output state ρRB:
ρRB = (IR ⊗ N)(ρRA). (4)
Definition 3 (Choi-matrix). When the state |ψRA〉 of the joint system RA is equal to a maximally
entangled state |Φ〉, i.e., |ψRA〉 = |Φ〉, the output state ρRB is known as Choi-matrix ρN of the
channel N [35]:
ρN4= ρRB |ρRA=ρΦ= (IR ⊗ N)(ρΦ), (5)
with ρΦ4= |Φ〉 〈Φ|.
Definition 4 (Coherent Information). The coherent information2 Ic(ρ,N) of the channel N with
respect to the arbitrary input state ρ is defined as [31], [32], [34]:
Ic(ρ,N) = S(ρB) − S(ρRB), (6)
2The coherent information is often also denoted with the symbol Ic(A〉B)ρRB [2].
December 19, 2019 DRAFT
6
where ρB and ρRB are defined in (2) and (4), respectively, and S(σ) 4= −Tr[σ log2 σ] denotes
the von Neumann entropy of the considered system state σ.
Intuitively, the coherent information Ic(ρ,N) aims at describing – by subtracting the von
Neumann entropy exchange S(ρRB) between the input state and the channel from the von
Neumann entropy of the output state S(ρB) – the amount of quantum information preserved
after the state ρ goes through the channel N . Stemming from (6), we can now define the
coherent information of the channel N [21], [31], [32], [34], [36].
Definition 5 (Channel Coherent Information). The coherent information Ic(N) of the channel
N is defined as:
Ic(N) = max|ψ〉RA
Ic(ρ,N), (7)
where the maximum is taken with respect to all pure bipartite states |ψ〉RA that are purification
of the input state ρ.
The channel coherent information – often referred to as one-shot capacity – plays a crucial
role in the definition of the quantum capacity [31], [32], [34], analogous to the role played by the
(classical) mutual information in classical information theory. However, the coherent information
exhibits some nasty properties. In fact, the coherent information can be negative and, in general, it
is not additive. Hence, differently from classical Shannon Theory, the quantum capacity cannot be
determined by simply evaluating the one-shot capacity3, but it generally requires the asymptotic
formulation given below, which holds in the region where the coherent information is non-
negative [31], [32], [34], [36].
Definition 6 (Quantum Channel Capacity). The quantum channel capacity is given by:
Q(N) = limn→+∞
1n
Ic(N⊗n), (8)
where Ic(N) is defined in (7) and N⊗n denotes n uses of channel N .
From Definition 6, it is evident that the evaluation of the quantum capacity is not a trivial task.
In fact, the expression (8) requires to maximize the coherent information over an unbounded
3Exception is constituted by the class of degradable channels, whose quantum capacity is exactly equal to the coherent
information, i.e., to the one-shot capacity. We refer the reader to [37] for a technical and historical survey about quantum
capacity formulation.
December 19, 2019 DRAFT
7
number of channel uses. Nevertheless, in general, Ic(N) constitutes a lower-bound for the
quantum capacity, and we will exploit this property in Sec. III to derive the capacity region
of a quantum trajectory implemented via the quantum switch.
B. Quantum Capacity through Classical Trajectories
We consider the communication model depicted in Figs. 1a and 1b: a quantum message to be
transmitted at the destination through a cascade of two noisy quantum channels, denoted with
D and E, respectively. Traditionally, two are the possible alternative configurations:
- channel E is traversed after channel D as shown in Fig. 1a, giving rise to the classical
trajectory D → E;
- or vice versa as shown in Fig. 1b, giving rise to the classical trajectory E → D.
Either way, we have the following.
Upper-bound on Classical Trajectories When the two channels are traversed in a well-defined
order, the bottle-neck inequality holds: the overall quantum capacity Q(NC) associated with the
considered classical trajectory is smaller than the minimum between the individual capacities
Q(D) and Q(E) [2], [13], [21]:
Q(NC) ≤ min{Q(D),Q(E)} 4= QUBC , (9)
where Q(NC) = Q(D → E) or Q(NC) = Q(E → D) according to the considered classical
trajectory. Furthermore, in (9) we introduced the notation QUBC4= min{Q(D),Q(E)} to denote4
the upper-bound on the capacity achievable with a classical trajectory.
Let us assume, without loss of generality, the message being a qubit |ϕ〉 ∈ H (where H denotes
the associated Hilbert space) with density matrix ρ4= |ϕ〉 〈ϕ|. Furthermore, we assume5 channel
D : H → H being the bit-flip channel and channel E : H → H being the phase-flip channel as
in [13], [21], thus:
D(ρ) = (1 − p)ρ + pXρX, (10)
E(ρ) = (1 − q)ρ + qZρZ, (11)
4By omitting the dependence on D and E for the sake of notation simplicity.
5This choice is not restrictive, since other types of depolarizing channels are unitarily equivalent to a combination of bit-flip
and phase-flip channels [21]. Hence, the analysis in the following continues to hold and it can be generalized to any depolarizing
channel by exploiting proper pre- and post-processing operations.
December 19, 2019 DRAFT
8
with X =0 1
1 0
denoting the X-gate and Z =1 0
0 −1
denoting the Z-gate. From (10), it appears
clear that channel D flips the state of a qubit from |0〉 to |1〉 (and vice versa) with probability p,
and it leaves the qubit unaltered with probability 1−p. Similarly, from (11), channel E introduces
with probability q a relative phase-shift of π between the complex amplitudes α and β of the
qubit |ϕ〉 = α |0〉 + β |1〉, and it leaves the qubit unaltered with probability 1 − q.
Both the bit- and the phase-flip channels admit a single-letter expression for the quantum
capacity [2]:
Q(D) = 1 −H2(p) (12)
Q(E) = 1 −H2(q) (13)
with H2(·) denoting the binary Shannon entropy. Hence, the upper-bound QUBC on the capacity
achievable with a classical trajectory in (9) reduces to:
QUBC = 1 −max {H2(p),H2(q)} . (14)
In Fig. 3 we plot the upper-bound QUBC on the quantum capacity achievable with a classical
trajectory given in (14) as a function of the error probabilities p and q of the bit- and the
phase-flip channels D and E given in (10) and (11).
Remark 1. Whenever p or q are equal to 12 , no quantum information can be sent through any
classical trajectory traversing the channels D and E, since QUBC = 0.
C. Quantum Switch
As mentioned in Section I, the quantum switch is a quantum device that implements a quantum
trajectory by allowing a quantum information carrier – a qubit |ϕ〉 – to experience a set of
evolutions in a superposition of alternative orders [13], [21], [22]. In the quantum switch, the
causal order between the channels is determined by a quantum degree of freedom, represented
by the control qubit |ϕc〉.Specifically, if the control qubit is initialized to the basis state |ϕc〉 = |0〉, the quantum
switch enables the message |ϕ〉 to propagate through the classical trajectory D → E, representing
channel E being traversed after channel D as shown in Fig. 1a. Similarly, if the control qubit
is initialized to the other basis state |ϕc〉 = |1〉, the quantum switch enables the message |ϕ〉to propagate through the alternative classical trajectory E → D, representing channel E being
December 19, 2019 DRAFT
9
0 0.2 0.4 0.6 0.8 1.0
Fig. 3: Three-dimensional plot of the upper-bound QUBC on the quantum capacities Q(D → E)
and Q(E → D) achievable with a classical trajectory. The upper-bound QUBC is evaluated as a
function of the error probabilities p and q of the two noisy channels D and E. The overlaid
density plot maps the value of QUBC to a specific color through the color lookup-table reported
at the top of the figure.
traversed before channel D as shown in Fig. 1b. Differently, if the control qubit is initialized
to a superposition of the basis states, such as |ϕc〉 = |+〉, the message |ϕ〉 propagates through a
quantum trajectory. Specifically, it experiences a superposition of the two alternative evolutions
D → E and E → D as shown in Fig. 1c.
Formally, the quantum switch can be described as follows [1], [13], [21].
Quantum Switch: Mathematical Model
The behavior of the quantum switch is mathematically equivalent to the higher-order map
transforming the input state ρ ⊗ ρc into the output state:
NQS(D, E, ρ, ρc) =∑i, j
Wi j(ρ ⊗ ρc)W†i j, (15)
December 19, 2019 DRAFT
10
where ρ4= |ϕ〉 〈ϕ| and ρc
4= |ϕc〉 〈ϕc |, and where {Wi j} denotes the set of Kraus operators
associated with the quantum trajectory, given by [1], [21]:
Wi j = DiE j ⊗ |0〉 〈0|c + E j Di ⊗ |1〉 〈1|c . (16)
In (15), {Di} and {E j} are the Kraus operators of the channels D and E, respectively.
With the choice of channels D and E made in Sec. II-B, by initializing the control qubit as
|φc〉 = |+〉 we have that (15) reduces to [1], [13], [21]:
NQS(D, E, ρ, ρc) =((1 − p)(1 − q)ρ + p(1 − q)XρX + (1 − p)qZρZ
)⊗ |+〉 〈+|c +
+
(pqY ρY
)⊗ |−〉 〈−|c (17)
More in detail, from (17) we have that, at the output of the quantum switch, the control
qubit is a mixture of pure states |−〉 and |+〉, and these states can be perfectly distinguished by
measuring the control qubit in the Hadamard basis.
Whenever the measurement of the control qubit returns |−〉, which happens with probability
pq, the original quantum state ρ can be recovered by applying the unitary corrective operation
Y to the received qubit, i.e., Y (Y ρY )Y = ρ. As a consequence, when the measurement outcome
is |−〉, despite D and E being noisy channels corrupting the quantum information embedded
in |ϕ〉, a quantum trajectory implemented via a quantum switch allows a noiseless quantum
transmission with a probability equal to pq, and the receiver can easily recognize this event
by simply measuring the control qubit. Conversely, whenever the measurement outcome of the
control qubit is equal to |+〉, which happens with probability 1 − pq, the original quantum state
ρ is altered through a weighted combination of bit- and phase-flip.
To describe the aforementioned behavior, it is convenient to introduce the equivalent channel
model of a quantum trajectory implemented by utilizing a quantum switch, as depicted in Fig. 4.
The input and the output of this equivalent channel are, respectively, the original quantum state
ρ and NQS(ρ), denoting6 the quantum state after the measurement process on the control qubit
at the output of the quantum switch.
Indeed, since the measurement process is characterized by two distinct outcomes, |−〉 and |+〉occurring with probability pq and 1− pq, and in light of the aforementioned equivalent channel
model, let us denote with N |+〉QS (ρ) the channel output when the measurement process on the
6We omit the dependence of NQS on D and E for the sake of notation simplicity.
December 19, 2019 DRAFT
11
ρc = |+〉
ρ
QUANTUM SWITCHNQS(ρ)
EQUIVALENT QUANTUM SWITCH CHANNEL
Fig. 4: Equivalent channel model of a quantum trajectory implemented by utilizing a quantum
switch, mapping the input density matrix ρ into the output density matrix NQS(ρ). The control
qubit |ϕc〉 is initialized to |+〉, and the expression of NQS(ρ) depends on the measurement
outcome of the control qubit at the output of the quantum switch.
control qubit |ϕc〉 returns |+〉. Conversely, let us denote with N |−〉QS (ρ) the channel output when
the measurement process on the control qubit |ϕc〉 returns |−〉. By accounting for this equivalent
model and for (17), it is possible to write the input-output relationship for the equivalent channel
model as:
NQS(ρ) =
N |−〉QS (ρ) = ρ with prob. pq,
N |+〉QS (ρ) =(1 − p)(1 − q)ρ + p(1 − q)XρX + (1 − p)qZρZ
1 − pqotherwise.
(18)
III. QUANTUM SWITCH CAPACITY REGION
In this section, we derive with Propositions 1 and 2 the main results: the lower-bound QLBQS
and the upper-bound QUBQS on the capacity achievable with a quantum trajectory implemented via
quantum switch. To this aim, we consider the equivalent quantum switch channel NQS(·) shown
in Fig. 4 and formalized in (18), and we exploit the preliminary result given in Lemma 1.
Lemma 1. The Choi-matrix ρNQS of the equivalent quantum switch channel NQS(·) is given by:
ρNQS =
ρN |−〉QS
= ρΦ with probability pq,
ρN |+〉QSotherwise
(19)
December 19, 2019 DRAFT
12
where ρN |+〉QSis equal to:
ρN |+〉QS=
(1 − p)(1 − q)ρΦ + p(1 − q)[∑
i, j
|i j〉 〈i j⊕1 |]ρΦ
[∑i, j
|i j〉 〈i j⊕1 |]†
1 − pq+
+
(1 − p)q[∑
i
(|i0〉 〈i0| − |i⊕11〉 〈i⊕11|)]ρΦ
[∑i
(|i0〉 〈i0| − |i⊕11〉 〈i⊕11|)]†
1 − pq
(20)
and where ρΦ4= |Φ〉 〈Φ| denotes the density matrix of a maximally entangled state as in
Definition 3, k⊕1 denotes the addition modulo-2 of k and 1, and ρN |−〉QSand ρN |+〉QS
denote the
Choi-matrix when the measurement outcomes are |−〉 and |+〉, respectively.
Proof: See Appendix A.
Proposition 1. The quantum capacity Q(NQS) of the equivalent quantum switch channel NQS(·)is lower-bounded as follows:
Q(NQS) ≥ pq +max{0, 1 − pq +H2(pq) − H2(p) − H2(q)} =
=
pq, if 1 − pq +H2(pq) − H2(p) − H2(q) < 0
1 +H2(pq) − H2(p) − H2(q), otherwise.︸ ︷︷ ︸4=QLB
QS
(21)
where p and q denote the error probabilities of the two considered noisy channels D and Egiven in (10) and (11), respectively, and H2(·) denotes the binary Shannon entropy.
Proof: See Appendix C
In Fig. 5 we plot the lower-bound QLBQS on the quantum capacity achievable with the quantum
switch given in (21) as a function of the error probabilities p and q of the bit- and the phase-flip
channels D and E given in (10) and (11). From Fig. 5, we can observe that, whenever we have
p = 12 and q = 0 or vice versa, the capacity achievable with the quantum switch drops to zero.
This is reasonable since, from (18), the probability of measuring the control qubit into state |−〉is equal to pq = 0. Hence, the qubit goes through the evolution heralded by the control qubit
into state |+〉, which is equivalent to the evolution (1 − p)ρ + pXρX characterized by the null
capacity Q(D) = 1 − H2(p) = 0 given that p = 12 (a similar reasoning holds when p = 0 and
q = 12 ).
December 19, 2019 DRAFT
13
0 0.2 0.4 0.6 0.8 1.0
Fig. 5: Three-dimensional plot of the lower-bound QLBQS on the quantum capacity Q(NQS)
achievable with the quantum switch as a function of the error probabilities p and q of the
noisy channels D and E. The overlaid density plot maps the value of QLBQS to a specific color
through the color lookup-table reported at the top of the figure.
Differently, from Fig. 5 we can observe that, whenever p = q = 12 , the capacity achievable
with the quantum switch is greater than 14 , although no quantum information at all can be sent
through any classical trajectory, as underlined in Remark 1. Indeed, no quantum information can
be sent either through any single instance of the channels, since Q(D) = Q(E) = 0.
Remark 1. The result derived in Proposition 1 provides a closed-form expression for the lower
bound on the capacity achievable by utilizing a quantum switch. The derived lower-bound
constitutes a more accurate bound than the one derived in [21], which holds only for p = q
and sets the lower bound to zero in a large interval of values of the errors probabilities. The
improvement of the derived lower bound is more clear if we consider the case analyzed in [21],
i.e., p = q. For this we provide Corollary 1, later in the manuscript.
December 19, 2019 DRAFT
14
0 0.2 0.4 0.6 0.8 1.0
Fig. 6: Three-dimensional plot of the upper-bound QUBQS on the quantum capacity Q(NQS)
achievable with the quantum switch as a function of the error probabilities p and q of the
noisy channels D and E. The overlaid density plot maps the value of QUBQS to a specific color
through the color lookup-table reported at the top of the figure.
Proposition 2. The quantum capacity Q(NQS) of the equivalent quantum switch channel NQS(·)is upper-bounded as follows:
Q(NQS) ≤ 1 − (1 − p)H2(q)4= QUB
QS (22)
where p and q denote the error probabilities of the two considered noisy channels D and Egiven in (10) and (11), respectively, and H2(·) denotes the binary Shannon entropy.
Proof: See Appendix C
In Fig. 6 we plot the upper-bound QUBQS on the quantum capacity achievable with the quantum
switch given in (22) as a function of the error probabilities p and q of the bit- and the phase-
flip channels D and E given in (10) and (11). From Fig. 6, we can observe that QUBQS is not
null when p = q = 12 , in agreement with the previous analysis. Specifically, by considering the
December 19, 2019 DRAFT
15
setting p = q = 12 , we have from Remark 1 that no quantum information can be sent through
any classical trajectory traversing the noisy channels D and E since:
{Q(D → E),Q(E → D)} ≤ QUBC = 0 (23)
Indeed, no quantum information can be sent either through any single instance of the individual
channels, since Q(D) = Q(E) = 0. Conversely, the quantum capacity achievable by utilizing a
quantum switch is greater than zero as confirmed by Fig. 5 and Fig. 6. In fact, from Propositions 1
and 2 it follows:14≤ Q(NQS) ≤
12. (24)
A similar result holds whenever either p or q is equal to 12 . In fact, with this setting we have a
null capacity through any classical trajectory, whereas the quantum switch assures7 a non-null
capacity. More in detail, by accounting for Propositions 1 and 2, it results:
q2≤Q(NQS) ≤ 1 − 1
2H2(q) when p =
12
p2≤Q(NQS) ≤ p when q =
12.
(25)
To properly quantify the gain in terms of quantum capacity assured by the adoption of the
quantum switch, in Fig. 7 we plot the difference
QLBQS − Q
UBC (26)
between the quantum switch lower-bound QLBQS given in (21) and the classical trajectory upper-
bound QUBC given in (14), as a function of the error probabilities p and q of the bit- and the
phase-flip channels D and E given in (10) and (11). This quantity represents a conservative
estimate of the capacity gain provided by a quantum trajectory, since: i) QLBQS underestimates
the quantum capacity of the equivalent quantum switch channel, being a lower-bound for such
a capacity, and simultaneously ii) QUBC overestimates the capacity achievable via a classical
trajectory, being an upper-bound for such a capacity.
Despite being QLBQS − Q
UBC an underestimation of the actual gain provided by a quantum
trajectory, we can observe in Fig. 7 that the adoption of the quantum switch incontrovertibly
increases the performance in terms of capacity with respect to classical trajectories within the
broad range of values of the error probabilities p and q that correspond to the colors ranging
7For any meaningful choice of p, q , 0.
December 19, 2019 DRAFT
16
-0.25 0 0.25 0.50 0.75 1.00
Fig. 7: Three-dimensional plot of the difference between the quantum switch lower-bound QLBQS
and the classical trajectory upper-bound QUBC as a function of the error probabilities p and q
of the noisy channels D and E. The overlaid density plot maps the value of QLBQS − Q
UBC to a
specific color through the color lookup-table reported at the top of the figure.
from blue to red. For any setting of p and q within this wide region, the quantum trajectory
enables with certainty the violation of the bottle-neck inequality given in (9). In fact, the capacity
achievable when the two channels are traversed with a quantum trajectory is greater than the
capacity achievable when the two channels are traversed with a well-defined causal order.
As an example, let us consider the regions in red in Fig. 7, which are of particular meaning
since in such regions it results:
QLBQS − Q
UBC = 1 =⇒
Q(NQS) = 1
Q(D → E) = Q(E → D) = 0. (27)
Specifically, such regions represent setting for p and q where the equivalent quantum switch
channel behaves as a noise-free channel, even if no quantum information at all can be sent
December 19, 2019 DRAFT
17
0 0.2 0.4 0.6 0.8 1.0
Fig. 8: Three-dimensional plot of the difference between the quantum switch upper-bound QUBQS
and the quantum switch lower-bound QLBQS as a function of the error probabilities p and q of the
noisy channels D and E. The overlaid density plot maps the value of QLBQS to a specific color
through the color lookup-table reported at the top of the figure. Axes x and y swapped with
respect to the previous figures.
through any classical trajectory.
Regarding the regions with colors ranging from ivory to violet, in these regions the expression
(26) assumes negative values, i.e., the lower bound on the quantum trajectory capacity is not
higher than the upper-bound on the capacity associated with a classical trajectory. This consid-
eration does not imply that a classical trajectory outperforms the quantum trajectory, given that
capacity bounds – rather than exact capacities – are involved within (26).
To further discuss this point, in Fig. 8 we plot the difference
QUBQS − Q
LBQS, (28)
between the upper- and lower bounds of the quantum capacity achievable via a quantum trajectory
December 19, 2019 DRAFT
18
0.0 0.2 0.4 0.6 0.8 1.00.0
0.2
0.4
0.6
0.8
1.0
Dephasing probability p
Qubitsperchanneluse
Fig. 9: Quantum capacity bounds as a function of the error probabilities q = p of the noisy
channels D and E. The green area denotes the region – enclosed by the lower- and the upper-
bound QLBQS and QUB
QS – where the quantum switch capacity Q(NQS) belongs to, whereas the blue
area denotes a conservative estimate of the quantum switch advantage over classical trajectories.
given in (22) and (21), respectively, as a function of the error probabilities p and q of the bit- and
the phase-flip channels D and E given in (10) and (11). Roughly speaking, this quantity measures
the uncertainty about the true value of the quantum switch capacity Q(NQS). From the figure, we
have that the two bounds differ for 0.33 or less for most of the considered values for the error
probabilities p and q, indicated with colors ranging from purple to turquoise. This is an indication
of a good tightness of the derived bounds. Conversely, as q goes to zero, the difference between
the two bounds increases, reaching the maximum value of 1 qubit when p = 12 . Regardless of the
tightness quality, the aforementioned analysis still holds, since we compare the lower bound on
the quantum trajectory capacity with the upper bound on the classical trajectory capacity. And
this comparison incontrovertibly quantifies the advantages achievable with a quantum switch
over any classical trajectory.
December 19, 2019 DRAFT
19
We focus now on the setting p = q, for which the bit- and the phase-flip channels D and Egiven in (10) and (11) are characterized by the same error probability. The reason for this choice,
as mentioned before, is that this setting allows a direct comparison with the analysis developed in
[21] for the lower-bound on the quantum capacity achievable by utilizing a quantum switch. With
reference to this setting, in Fig. 9 we plot three curves as a function of the error probability p: i)
the upper-bound QUBC given in (14) on the quantum capacity achievable via classical trajectory,
ii) the lower-bound QLBQS on the quantum capacity achievable via a quantum trajectory given in
(21), and iii) the upper-bound QUBQS on the quantum capacity achievable via a quantum trajectory
given in (22).
In Fig. 9, we colored with green-shadowing the region delimited by the quantum switch upper-
and lower-bounds. Clearly, the quantum capacity Q(NQS) achievable via a quantum trajectory
implemented through a quantum switch lays within this region. From Fig. 9, it is easy to recognize
that the lower-bound QLBQS exhibits two different behaviors, depending on whether p is lower or
greater than a certain threshold p0 around 0.13. We formalize this with the following Corollary.
Corollary 1. When p = q, the lower-bound QLBQS in (21) on the quantum capacity achievable via
a quantum trajectory implemented through a quantum switch can be rewritten as:
QLBQS =
p2, for p ∈ [p0, 1]
1 +H2(p2) − 2H2(p), otherwise(29)
with p0 ' 0.128.
Proof: For p = q, the argument within the maximum operator in (21) reduces to 1 − p2 +
H2(p2) − 2H2(p). By solving the inequality 1 − p2 +H2(p2) − 2H2(p) < 0, it results that when
p0 ≤ p ≤ 1 the aforementioned inequality is satisfied. Hence, the proof follows.
Stemming from Corollary 1, it becomes clearer the analysis reported in Remark 1. Specifically,
by directly comparing (29) with eq. (8) in [21] (associated Figure 2), it is evident the higher
accuracy of the lower bound in (29).
Furthermore, with Fig. 9 we complement the analysis developed with reference to Figs. 5, 6
and 7. Specifically, we observe that the adoption of a quantum switch incontrovertibly boosts the
performance in terms of achievable quantum capacity with respect to the performance achievable
with any classical trajectory within the region identified with blue-shadowing, i.e., whenever p
is greater than a threshold value roughly equal to 0.3, as detailed in Corollary 2. Within this
December 19, 2019 DRAFT
20
region, it is possible to violate the bottle-neck inequality given in (9) by utilizing a quantum
switch. In fact, the quantum capacity Q(NQS) – laying within the green-shadowing area – is
greater than the capacity achievable with a classical trajectory – which is upper-bounded by the
blue curve. Formally, we give the following result.
Corollary 2. When p = q, we have the following:
Q(NQS) > Q(D → E) ∀ p ≥ p1 (30)
with p1 ' 0.3161. Clearly, the same result holds for Q(E → D).Proof: The proof follows by accounting for the result in Corollary 1 and by performing
some algebraic manipulations. Specifically, it is possible to recognize that for p1 ≤ p ≤ 1 the
lower-bound in (29) is greater than the upper bound in (14). Thus:
Q(D → E) ≤ 1 −H2(p) ≤ p2 ≤ Q(NQS), ∀ p ≥ p1 (31)
We note that the advantage of the quantum switch over classical trajectories was shown to
exist in literature for values of p ≥ 0.62 in [21]. Corollary 2 improves this results by extending
the range in which the lower-bound on the quantum capacity achievable by utilizing a quantum
switch exceeds the upper-bound on the quantum capacity achievable via classical trajectory. This
is due to the higher accuracy of the lower-bound derived in this manuscript.
IV. CONCLUSIONS
In this work, we investigated the ultimate rates achievable with quantum trajectories imple-
mented via quantum switch. Specifically, we derived closed-form expressions for both the upper-
and the lower-bound on the quantum capacity. The derived expressions depend, remarkably,
on computable single-letter quantities. Our findings reveal the substantial advantage achievable
with a quantum trajectory over any classical combination of the communications channels in
terms of ultimate achievable communication rates. Furthermore, we identified the region where a
quantum trajectory incontrovertibly outperforms the amount of transmissible information beyond
the limits of conventional quantum Shannon theory, and we quantified this advantage over
classical trajectories through a conservative estimate.
December 19, 2019 DRAFT
21
APPENDIX A
PROOF OF LEMMA 1
According to Definition 3, the Choi-matrix of a discrete-variable channel is given by equa-
tion 5. By accounting for this definition and for the analysis developed in [13], it can be
recognized with some algebraic manipulations that equation (9) in [13] provides the expression
of the Choi-matrix of the equivalent quantum switch channel. This equation is reported for the
sake of clarity in eq. (19).
APPENDIX B
PROOF OF PROP 1
By accounting for the equivalent channel model presented in Sec. II-C, let us denote with
Q(N |−〉QS ) the quantum capacity of the equivalent quantum switch channel heralded by a |−〉-measurement of the control qubit |ϕc〉, and with Q(N |+〉QS ) the quantum capacity of the quantum
switch channel heralded by a |+〉-measurement of the control qubit |ϕc〉. Since these two events,
occurring with probability pq and 1−pq, are disjoint, it is possible to express the overall quantum
capacity Q(NQS) of the equivalent quantum switch channel NQS(·) as:
Q(NQS) = pqQ(N |−〉QS ) + (1 − pq) Q(N |+〉QS ) (32)
When |ϕc〉 is measured in the state |−〉, from (18) it results that the equivalent quantum switch
channel behaves as an ideal channel. Hence, the quantum capacity coincides with the coherent
information [2]:
Q(N |−〉QS ) = Ic(N |−〉QS ) = 1 qubit/channel-use. (33)
Differently, when |ϕc〉 is measured in the state |+〉, the equivalent quantum switch channel
does not behave as an ideal channel. Hence, by accounting for (8) it results that the channel
coherent information constitutes a lower-bound – in the region where it is not negative – for the
quantum capacity Q(NQS) of the quantum switch channel8:
Q(N |+〉QS ) ≥ max{0, Ic(N |+〉QS )}, (34)
8Any quantum channel N satisfying N(I) = I, i.e., mapping the identity to itself, is a unital channel. For unital channels,
the channel coherent information Ic(N) defined in Definition 5 and the channel reverse coherent information Irc(N) coincide
[28]. It is straightforward to verify that the quantum switch channel NQS given in (18) is a unital channel for both the cases of
measuring the control qubit either in the state |−〉 or in the state |+〉.
December 19, 2019 DRAFT
22
where Ic(N) is defined in (7) and the max operator accounts for the case of negative coherent
information.
By reasoning as in [21], [28], [38], it can be shown that the state maximizing the coherent
information in (7) is the maximally entangled state between systems A and R, i.e., |ψRA〉 = |Φ〉,so that ρRB in (6) is the Choi-matrix defined in (5) and derived in (19). Hence, by accounting
for (6) and (7), it results:
Ic(N |+〉QS ) = S(ρB) − S(ρN |+〉QS), (35)
with S(·) denoting the von Neumann entropy, introduced in Definition 4.
The evaluation of the first term in (35) is straightforward: S(ρB) = log2(2) = 1, since the
reduced state ρB = TrR[ρRB] = TrR[ρN |+〉QS] is the maximally-mixed state I/2.
Conversely, the evaluation of the second term −S(ρN |+〉QS) 4= Tr
[ρN |+〉QS
log2 ρN |+〉QS
]in (35) is more
difficult since ρN |+〉QSis not diagonal. Indeed, to evaluate log2 ρN |+〉QS
, it is convenient to determine
the spectral decomposition of ρN |+〉QS. In fact, by knowing the eigenvalues λx of ρN |+〉QS
, the von
Neumann entropy can be re-expressed as:
− S(ρN |+〉QS) = Tr
[ρN |+〉QS
log2 ρN |+〉QS
]=
∑x
λx log2 λx . (36)
After some algebraic manipulations, it results that the eigenvalues λx of ρN |+〉QSare given by:
{λx} ={(1 − p)(1 − q)
1 − pq,
p(1 − q)1 − pq
,q(1 − p)1 − pq
}(37)
and, hence, by substituting (37) in (36), we obtain:
−S(ρN |+〉QS) = Tr
[ρN |+〉QS
log2 ρN |+〉QS
]=
∑x
λx log2 λx =
=1
1 − pq[H2(pq) − H2(p) − H2(q)]. (38)
By substituting (38) in (35), the channel coherent information can be evaluated as:
Ic(N |+〉QS ) = 1 +1
1 − pq[H2(pq) − H2(p) − H2(q)] . (39)
From (32), by accounting for (33) and (34), it results:
Q(NQS) = pqQ(N |−〉QS ) + (1 − pq)Q(N |+〉QS ) (40)
≥ pq + (1 − pq)max{0, IC(N |+〉QS )},
where p and q are the error probabilities of the two considered noisy channels D and E given
in (9) and (10). By substituting (39) in (40), the proof follows.
December 19, 2019 DRAFT
23
APPENDIX C
PROOF OF PROP 2
The overall quantum capacity Q(NQS) achievable through the quantum switch channel NQS(·)can be expressed as in (32), with Q(N |−〉QS ) given in (33).
When |ϕc〉 is measured in the state |+〉, from (18) it results that the equivalent quantum switch
channel is described by Pauli operators. Hence, the channel N |+〉QS is teleportation-covariant, which
implies the channel is Choi-stretchable as well [28].
For any Choi-stretchable channel, the quantum capacity is upper-bounded by the relative
entropy of entanglement (REE) [2] ER(ρN |+〉QS) of its Choi-matrix ρN |+〉QS
[28]. Hence, it results:
Q(N |+〉QS ) ≤ ER(ρN |+〉QS) 4= inf
σs
S(ρN |+〉QS| |σs), (41)
where σs is an arbitrary separable state and S(ρN |+〉QS| |σs) is the relative entropy, defined as [2]:
S(ρN |+〉QS| |σs)
4= Tr
[ρN |+〉QS
(log2 ρN |+〉QS
− log2 σs
)]= (42)
= Tr[ρN |+〉QS
log2 ρN |+〉QS
]︸ ︷︷ ︸
4=−S(ρ
N|+〉QS)
−Tr[ρN |+〉QS
log2 σs
].
with S(·) denoting the von Neumann entropy, introduced in Definition 4. From (41), it results:
Q(N |+〉QS ) ≤ ER(ρN |+〉QS) ≤ S(ρN |+〉QS
| |ζs), (43)
for any arbitrary separable state ζs, where according to (42):
S(ρN |+〉QS| |ζs) = −S(ρN |+〉QS
) − Tr[ρN |+〉QS
log2 ζs
]. (44)
Let us choose the separable state ζs by reasoning as in [28], i.e.:
ζs =12
1∑i=0|i〉 〈i | ⊗ N |+〉QS (|i〉 〈i |). (45)
By exploiting the Kraus operators decomposition of N |+〉QS (·), after some algebraic manipulations,
(45) can be re-written as the following diagonal matrix:
ζs = diag((1 − p)(1 − q) + q(1 − p)
2(1 − pq) ,p(1 − q)
2(1 − pq),
p(1 − q)2(1 − pq),
(1 − p)(1 − q) + q(1 − p)2(1 − pq)
). (46)
December 19, 2019 DRAFT
24
By exploiting (46) and the expression of ρN |+〉QSgiven in (19), the second term Tr
[ρN |+〉QS
log2 ζs
]in (44) can be calculated as follows:
Tr[ρN |+〉QS
log2 ζs
]=(1 − p)(1 − q) + q(1 − p)
1 − pqlog2
((1 − p)(1 − q) + q(1 − p)
2(1 − pq)
)+ (47)
+p(1 − q)1 − pq
log2
(p(1 − q)
2(1 − pq)
)=
=1
1 − pq[H2(pq) − H2(p) − pH2(q) − (1 − pq)],
Hence, by substituting (38) and (47) in (43), one obtains that Q(N |+〉QS ) is upper-bounded as
follows:
Q(N |+〉QS ) ≤ S(ρN |+〉QS| |ζs) = −S(ρN |+〉QS
) − Tr[ρN |+〉QS
log2 ζs
]=
= 1 − 11 − pq
(1 − p)H2(q). (48)
By substituting (48) in (32), the proof follows.
REFERENCES
[1] G. Chiribella and H. Kristjansson, “Quantum shannon theory with superpositions of trajectories,” Proceedings of the Royal
Society A: Mathematical, Physical and Engineering Sciences, vol. 475, no. 2225, p. 20180903, 2019.
[2] M. M. Wilde, Quantum Information Theory. New York, NY, USA: Cambridge University Press, 2013.
[3] J. Preskill, Quantum Shannon Theory. California Institute of Technology, January 2018.
[4] H. Kristjansson, S. Salek, D. Ebler, and G. Chiribella, “Resource theories of communication with quantum superpositions
of processes,” p. arXiv:1910.08197, Oct. 2019.
[5] A. A. Abbott, J. Wechs, D. Horsman et al., “Communication through coherent control of quantum channels,” arXiv e-prints,
p. arXiv:1810.09826, Oct. 2018.
[6] G. Chiribella, G. M. D’Ariano, P. Perinotti, and B. Valiron, “Quantum computations without definite causal structure,”
Phys. Rev. A, vol. 88, p. 022318, Aug. 2013.
[7] L. M. Procopio, F. Delgado, M. Enriquez, N. Belabas, and A. Levenson, “Sending classical information via three noisy
channels in superposition of causal orders,” 2019.
[8] L. M. Procopio, A. Moqanaki, M. Araujo et al., “Experimental superposition of orders of quantum gates,” Nature
Communications, vol. 6, pp. 7913 EP –, Aug. 2015.
[9] G. Rubino, L. A. Rozema, A. Feix et al., “Experimental verification of an indefinite causal order,” Science Advances,
vol. 3, no. 3, 2017.
[10] G. Rubino, L. A. Rozema, F. Massa et al., “Experimental Entanglement of Temporal Orders,” in Quantum Information
and Measurement (QIM) V: Quantum Technologies, 2019.
[11] K. Goswami, C. Giarmatzi, M. Kewming et al., “Indefinite Causal Order in a Quantum Switch,” Phys. Rev. Lett., vol.
121, p. 090503, Aug. 2018.
[12] Y. Guo, X.-M. Hu, Z.-B. Hou et al., “Experimental investigating communication in a superposition of causal orders,” arXiv
e-prints, p. arXiv:1811.07526, Nov. 2018.
December 19, 2019 DRAFT
25
[13] M. Caleffi and A. S. Cacciapuoti, “Quantum switch for the quantum internet: Noiseless communications through noisy
channels,” ArXiv e-prints, p. arXiv:1907.07432, July 2019.
[14] T. Colnaghi, G. M. D’Ariano, S. Facchini, and P. Perinotti, “Quantum computation with programmable connections between
gates,” Physics Letters A, vol. 376, no. 45, pp. 2940 – 2943, 2012.
[15] M. Araujo, F. Costa, and C. Brukner, “Computational Advantage from Quantum-Controlled Ordering of Gates,” Phys. Rev.
Lett., vol. 113, p. 250402, Dec. 2014.
[16] G. Chiribella, “Perfect discrimination of no-signalling channels via quantum superposition of causal structures,” Phys. Rev.
A, vol. 86, p. 040301, Oct. 2012.
[17] E. Wakakuwa, A. Soeda, and M. Murao, “Complexity of Causal Order Structure in Distributed Quantum Information
Processing: More Rounds of Classical Communication Reduce Entanglement Cost,” Phys. Rev. Lett., vol. 122, p. 190502,
May 2019.
[18] O. Oreshkov, F. Costa, and C. Brukner, “Quantum correlations with no causal order,” Nature Communications, vol. 3, pp.
1092 EP –, Oct. 2012.
[19] A. Feix, M. Araujo, and C. Brukner, “Quantum superposition of the order of parties as a communication resource,” Phys.
Rev. A, vol. 92, p. 052326, Nov. 2015.
[20] P. A. Guerin, A. Feix, M. Araujo, and C. Brukner, “Exponential Communication Complexity Advantage from Quantum
Superposition of the Direction of Communication,” Phys. Rev. Lett., vol. 117, p. 100502, Sep 2016.
[21] S. Salek, D. Ebler, and G. Chiribella, “Quantum communication in a superposition of causal orders,” arXiv e-prints, p.
arXiv:1809.06655, Sep. 2018.
[22] D. Ebler, S. Salek, and G. Chiribella, “Enhanced communication with the assistance of indefinite causal order,” Phys. Rev.
Lett., vol. 120, p. 120502, Mar. 2018.
[23] K. Goswami, J. Romero, and A. G. White, “Communicating via ignorance,” arXiv e-prints, p. arXiv:1807.07383, Jul. 2018.
[24] K. Wei, N. Tischler, S.-R. Zhao et al., “Experimental Quantum Switching for Exponentially Superior Quantum Commu-
nication Complexity,” Phys. Rev. Lett., vol. 122, p. 120504, Mar. 2019.
[25] G. Chiribella, M. Banik, S. Sankar Bhattacharya et al., “Indefinite causal order enables perfect quantum communication
with zero capacity channel,” arXiv e-prints, p. arXiv:1810.10457, Oct. 2018.
[26] P. A. Guerin, G. Rubino, and C. Brukner, “Communication through quantum-controlled noise,” Phys. Rev. A, vol. 99, p.
062317, June 2019.
[27] C. H. Bennett, D. P. DiVincenzo, and J. A. Smolin, “Capacities of quantum erasure channels,” Phys. Rev. Lett., vol. 78,
pp. 3217–3220, Apr 1997. [Online]. Available: https://link.aps.org/doi/10.1103/PhysRevLett.78.3217
[28] S. Pirandola, R. Laurenza, C. Ottaviani, and L. Banchi, “Fundamental limits of repeaterless quantum communications,”
Nature communications, vol. 8, p. 15043, 2017.
[29] M. Takeoka, S. Guha, and M. M. Wilde, “Fundamental rate-loss tradeoff for optical quantum key distribution,” Nature
communications, vol. 5, 2014.
[30] G. Smith, J. A. Smolin, and A. Winter, “The quantum capacity with symmetric side channels,” IEEE Transactions on
Information Theory, vol. 54, no. 9, pp. 4208–4217, Sep. 2008.
[31] I. Devetak, “The private classical capacity and quantum capacity of a quantum channel,” IEEE Transactions on Information
Theory, vol. 51, no. 1, pp. 44–55, Jan 2005.
[32] S. Lloyd, “Capacity of the noisy quantum channel,” Phys. Rev. A, vol. 55, pp. 1613–1622, Mar 1997.
[33] H. Barnum, M. A. Nielsen, and B. Schumacher, “Information transmission through a noisy quantum channel,” Phys. Rev.
A, vol. 57, pp. 4153–4175, Jun 1998.
December 19, 2019 DRAFT
26
[34] B. Schumacher and M. A. Nielsen, “Quantum data processing and error correction,” Phys. Rev. A, vol. 54, pp. 2629–2635,
Oct 1996.
[35] M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, 10th Anniversary ed. Cambridge
University Press, 2011.
[36] I. Devetak and A. Winter, “Distillation of secret key and entanglement from quantum states,” Proc. R. Soc. A., vol. 461,
Jan 2005.
[37] L. Gyongyosi, S. Imre, and H. V. Nguyen, “A Survey on Quantum Channel Capacities,” IEEE Comm. Surveys Tutorials,
vol. 20, no. 2, 2018.
[38] F. Leditzky, D. Leung, and G. Smith, “Dephrasure channel and superadditivity of coherent information,” Phys. Rev. Lett.,
vol. 121, Oct 2018.
Angela Sara Cacciapuoti (M’10, SM’16) is a Tenure-Track Assistant Professor at the University of
Naples Federico II, Italy. In 2009, she received the Ph.D. degree in Electronic and Telecommunications
Engineering, and in 2005 a ‘Laurea’ (integrated BS/MS) summa cum laude in Telecommunications
Engineering, both from the University of Naples Federico II. She was a visiting researcher at Georgia
Institute of Technology (USA) and at the NaNoNetworking Center in Catalunya (N3Cat), Universitat
Politecnica de Catalunya (Spain). Since July 2018, she held the national habilitation as “Full Professor”
in Telecommunications Engineering. Her work has appeared in first tier IEEE journals and she has received different awards,
including the elevation to the grade of IEEE Senior Member in 2016, most downloaded article, and most cited article awards,
and outstanding young faculty/researcher fellowships for conducting research abroad. Currently, Angela Sara serves as Area
Editor for IEEE Communications Letters, and as Editor/Associate Editor for the journals: IEEE Trans. on Communications,
IEEE Trans. on Wireless Communications, and IEEE Open Journal of Communications Society. She was a recipient of the
2017 Exemplary Editor Award of the IEEE Communications Letters. In 2016 she has been an appointed member of the IEEE
ComSoc Young Professionals Standing Committee. From 2017 to 2018, she has been the Award Co-Chair of the N2Women
Board. Since 2017, she has been an elected Treasurer of the IEEE Women in Engineering (WIE) Affinity Group of the IEEE Italy
Section. Since 2018, she has been appointed as Publicity Chair of the IEEE ComSoc Women in Communications Engineering
(WICE) Standing Committee. Her current research interests are mainly in Quantum Communications and Quantum Information
Processing.
December 19, 2019 DRAFT
27
Marcello Caleffi (M’12, SM’16) received the M.S. degree (summa cum laude) in computer science
engineering from the University of Lecce, Lecce, Italy, in 2005, and the Ph.D. degree in electronic
and telecommunications engineering from the University of Naples Federico II, Naples, Italy, in 2009.
Currently, he is with the DIETI Department, University of Naples Federico II, and with the National
Laboratory of Multimedia Communications, National Inter-University Consortium for Telecommunications
(CNIT). From 2010 to 2011, he was with the Broadband Wireless Networking Laboratory at Georgia
Institute of Technology, Atlanta, as visiting researcher. In 2011, he was also with the NaNoNetworking Center in Catalunya
(N3Cat) at the Universitat Politecnica de Catalunya (UPC), Barcelona, as visiting researcher. Since July 2018, he held the
Italian national habilitation as Full Professor in Telecommunications Engineering. His work appeared in several premier IEEE
Transactions and Journals, and he received multiple awards, including best strategy award, most downloaded article awards and
most cited article awards. Currently, he serves as associate technical editor for IEEE Communications Magazine and as editor for
IEEE Communications Letters. He has served as Chair, TPC Chair, Session Chair, and TPC Member for several premier IEEE
conferences. In 2016, he was elevated to IEEE Senior Member and in 2017 he has been appointed as Distinguished Lecturer
from the IEEE Computer Society. In December 2017, he has been elected Treasurer of the Joint IEEE VT/ComSoc Chapter Italy
Section. In December 2018, he has been appointed member of the IEEE New Initiatives Committee.
December 19, 2019 DRAFT