capacity bounds for quantum communications through quantum … · 2020. 1. 22. · control qubit is...

28
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], marcello.caleffi@unina.it. 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 arXiv:1912.08575v1 [quant-ph] 18 Dec 2019

Upload: others

Post on 07-Jul-2021

6 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 2: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 3: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 4: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 5: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 6: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 7: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 8: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 9: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 10: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 11: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 12: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 13: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 14: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 15: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 16: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 17: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 18: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 19: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 20: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 21: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 22: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 23: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 24: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 25: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 26: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 27: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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

Page 28: Capacity Bounds for Quantum Communications through Quantum … · 2020. 1. 22. · control qubit is mapped into the photon polarization. Two photons with opposite polarization emerge

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