Next Article in Journal
Permutation Entropy: Enhancing Discriminating Power by Using Relative Frequencies Vector of Ordinal Patterns Instead of Their Shannon Entropy
Next Article in Special Issue
Quantum Games with Unawareness with Duopoly Problems in View
Previous Article in Journal
Performance Improvement of Underwater Continuous-Variable Quantum Key Distribution via Photon Subtraction
Previous Article in Special Issue
A Generic Model for Quantum Measurements
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Communication Enhancement through Quantum Coherent Control of N Channels in an Indefinite Causal-Order Scenario

by
Lorenzo M. Procopio
1,*,
Francisco Delgado
2,
Marco Enríquez
2,*,
Nadia Belabas
1 and
Juan Ariel Levenson
1
1
Centre for Nanoscience and Nanotechnology, C2N, CNRS, Université Paris-Sud, Université Paris-Saclay, 91120 Palaiseau, France
2
Tecnologico de Monterrey, School of Engineering and Science, Atizapán, México 52926, Mexico
*
Authors to whom correspondence should be addressed.
Entropy 2019, 21(10), 1012; https://doi.org/10.3390/e21101012
Submission received: 17 September 2019 / Revised: 14 October 2019 / Accepted: 16 October 2019 / Published: 18 October 2019
(This article belongs to the Special Issue Quantum Information Revolution: Impact to Foundations)

Abstract

:
In quantum Shannon theory, transmission of information is enhanced by quantum features. Up to very recently, the trajectories of transmission remained fully classical. Recently, a new paradigm was proposed by playing quantum tricks on two completely depolarizing quantum channels i.e., using coherent control in space or time of the two quantum channels. We extend here this control to the transmission of information through a network of an arbitrary number N of channels with arbitrary individual capacity i.e., information preservation characteristics in the case of indefinite causal order. We propose a formalism to assess information transmission in the most general case of N channels in an indefinite causal order scenario yielding the output of such transmission. Then, we explicitly derive the quantum switch output and the associated Holevo limit of the information transmission for N = 2 , N = 3 as a function of all involved parameters. We find in the case N = 3 that the transmission of information for three channels is twice that of transmission of the two-channel case when a full superposition of all possible causal orders is used.

1. Introduction

In information theory, the main tasks to perform are the transmission, codification, and compression of information [1]. Incorporating quantum phenomena, such as quantum superposition and quantum entanglement, into classical information theory gives rise to a new paradigm known as quantum Shannon theory [2]. In this paradigm, each figure of merit can be enhanced: the capacity to transmit information in a channel is increased [3], the security to share a message is improved [4], and the storing and compressing of information is optimized [5]. In all these enhancements, only the carriers and the channels of information are considered as quantum entities. On the other hand, connections between channels are still classical, that is, quantum channels are connected setting a definite causal order in space or time. However, principles of quantum mechanics and specifically the quantum superposition principle can be applied to the connections of channels [6], i.e., the trajectories either in space [7] or time [8].
Recently, it has been theoretically [9] and experimentally [10,11] shown that two completely depolarizing channels can surprisingly transmit classical information when combined under an indefinite causal order (i.e., when the order of application of the two channels is not one after another instead of a quantum superposition of the two possibilities). In this paper, we tackle the general situation of an arbitrary number N of channels with arbitrary parameters associated with the control and depolarizing strength. As N is greater than two, the number of different causal orders increases as N !
The indefiniteness of causal order has been recently theoretically proposed as a novel resource for applications to quantum information theory [12,13] and quantum communication [14,15]. Initially, indefinite causal orders have been studied and implemented using two parties with the proposal of a quantum switch by Chiribella et al. [6] followed by experimental demonstrations [11,16,17,18,19]. The quantum switch is an example of quantum control where a switch can, like its classical counterpart, routes a target system to undergo through two operators in series following one causal order (1 then 2) or the other (2 then 1). However, this quantum switch can also trigger a whole new quantum trajectory where the ordering of the two operators is indefinite. Efforts to describe the quantum switch in a multipartite scenario of more than two quantum operations have recently started [20,21] with an application to reduce the number of queries for quantum computation [13].
Specifically, in a quantum N-switch used in a second-quantized Shannon theory context [22], the order of application of N channels N j on a target system ρ is coherently controlled by a control system ρ c . The state of ρ c encodes for the temporal combination of the N channels applied to ρ . There are N ! different possibilities of definite causal orders using each channel once and only once, as sketched in Figure 1 and Figure 2 for N = 2 and N = 3 , respectively. In those figures, when the wiring passes through the channel, there is a single channel use, i.e., the target system passes once through one physical channel [16]. We discard all wirings with multiple uses of the same channel and missing channels [7]. For each causal order of channels, the overall operator is
N π : = π ( N 1 N N ) ,
where π is a permutation element of the symmetric group S N = { π k | k { 1 , 2 , , N ! } } , and k is associated with a specific definite causal order (equivalent to a single element of S N ) to combine the N channels where each channel is used once and only once.
In a quantum N-switch, the control state ρ c in the state 1 1 for instance fixes the order of application of the channels to be N Id = N 1 N 2 N N , whereas choosing ρ c = k k , k N ! would assign another ordering N π k = N π k ( 1 ) N π k ( 2 ) N π k ( N ) (defined by the effect of the permutation element π k S N on the order of channels). The key to accessing indefinite causal order of the channels is thus to put ρ c in a superposition of the k k states (e.g., ρ c = + + where + 1 N ! k ).
The paper is organized as follows: Section 2 is devoted to the general theoretical framework for the investigation of the transmission of classical information over N noisy channels with an arbitrary degree of depolarization, i.e., arbitrary level of noise. Section 2 also gives the channels representation in terms of Kraus operators performed from those operators for a single depolarizing channel. In Section 3, following the previous formalism, we explicitly analyze the case N = 2 , generalizing the outcomes in the literature [9] to any degree of depolarization and level of coherent control. Similarly, the case N = 3 is developed in the same section. Finally, conclusions and perspectives are given in Section 5.

2. Transmission over Multiple Channels in Quantum Superposition of Causal Order

In the current development, the sender prepares the target system in the state ρ , where the information to transmit is encoded. A control system ρ c is associated with the target system to coherently control the causal order for the application of N quantum communication channels. We relate the basis for the quantum state ρ c mapping their elements on those of the symmetric group of permutations S N : 1 N ! k , k | k k | . Then, the sender introduces as input ρ ρ c to a network of N partially depolarizing channels N i = N q i D , 1 i N applied in series (i.e., the output of one channel becomes the input of the next channel). Throughout this work, the N depolarizing channels N 1 , N 2 , , N N can have different depolarization strengths 1 q j , (thus, N q j D is sometimes used for N j to improve the readability).
After the network, the receiver gets the output state S ( N 1 , N 2 , , N N ) ( ρ ρ c ) , where S is the quantum N-switch channel. No information is encoded by the sender into the control system controlling the way information is transmitted. Eventually, the receiver retrieves the information decoded in ρ .
Communication quantum channels in a network are mathematically described with completely positive trace preserving maps (CPTP). Here, we adopt the Kraus decomposition [2] N ( ρ ) = i K i ρ K i to describe the action of a total depolarizing channel N on the quantum state ρ ( i { 1 , 2 , , d } ): N ρ = Tr [ ρ ] I d . The set of d 2 non-unique and generally non-unitary Kraus operators { K i } satisfies the completeness condition i = 1 d 2 K i K i = I . Thus, to describe the action of the j-th partially depolarizing channel N j on a d-dimensional quantum system ρ , we write as in [9]
N q j D ( ρ ) = q j ρ + ( 1 q j ) Tr [ ρ ] I t d = q j ρ + 1 q j d 2 i j = 1 d 2 U i j j ρ U i j j = 1 q j d 2 i j = 0 d 2 U i j j ρ U i j j ,
where each N j = N q j D is thus decomposed on an orthonormal basis { U i j j } | i j = 1 d 2 . Then, we define K i j j = 1 q j d U i j j for i j 0 , where the added non-unitary operator U 0 j = d q j 1 q j I t , for i j = 0 . In addition, N j has no noise when q j = 1 . On the other hand, N j is completely depolarizing when q j = 0 . The results reported in [7,9] are mainly related to two completely depolarizing ( q 1 = q 2 = 0 ) channels N 1 and N 2 , despite the fact that generalization is outlined. Below, we extend the results from [9] to the case of a quantum switch with N channels N j with arbitrary individual depolarization strengths q j .

The Formalism for a Quantum N-Switch Channel S ( N 1 , N 2 , , N N )

We define the control state ρ c as ρ c = ψ c ψ c = k , k = 1 N ! P k P k k k , where P k is the probability to apply the causal order k (corresponding to the permutation π k as it was previously stated) to the channels such that k = 1 N ! P k = 1 .
The action of the quantum N-switch channel S ( N 1 , N 2 , , N N ) can be expressed through generalized Kraus operators W i 1 i 2 i N for the full quantum channel resulting from the switching of N channels as
S ( N 1 , N 2 , , N N ) ρ ρ c = { i j } | j = 1 N W i ρ ρ c ) W i ,
where W i : = W i 1 i 2 i N = k = 1 N ! K π k k k and K π k has been defined similarly to Equation (1): K π k : = π k ( K i 1 1 K i N N ) , where π k acts on the index j, and the sum over { i j } | j = 1 N means all i j associated with each channel N j vary from 0 to d 2 . We verify (see Appendix A) that these generalized Kraus operators satisfy the completeness property { i j } | j = 1 N W i W i = I t I c , where identity operators in the target and control systems spaces are denoted I t and I c , respectively. This check of completeness suggests how the i j indices allow the systematic reordering of the sums by isolating and grouping the i j = 0 cases. To distinguish those terms, we introduce the number z of indices i j equal to zero. The sums over the indices i j can then be rearranged as
{ i j } | j = 1 N z = 0 N A z A z N b B z ,
where A z is the set of z indices equal to zero ( i a = 0 , a A z ) and B z is the complementary set of indices in { 1 , 2 , N } : i b 0 , i b { 1 , 2 , , d 2 } for all b B z . Then, U π k U π k = d 2 z h A z I t , where h A z = a A z q a 1 q a and h A 0 = 1 .
Introducing the Kraus operators W i into S ( N 1 , N 2 , , N N ) , Equation (3) can be written as a sum of N + 1 matrices S z whose N ! × N ! elements are matrices of dimension d × d involving exactly z factors U i j equal to the identity operator. The overall dimension S z is thus d N ! × d N !
S ( N 1 , N 2 , , N N ) ρ ρ c = z = 0 N S z ,
and (see Appendix A and Appendix B)
S z = k , k = 1 N ! P k P k A z A z N f A z · Q A z k , k k k
with
f A z = d 2 ( z N ) j = 1 N ( 1 q j ) a A z q a 1 q a ,
where A z N is the collection of all possible subsets A z of z subscripts in { 1 , 2 , , N } corresponding to the z indices equal to zero (i.e., i a = 0 a A z ). The following subsections provide details of examples with N = 2 and N = 3 . The coefficients Q A z k , k are given by
Q A z k , k = { i b | b B z } π k U i 1 U i N ρ π k U i 1 U i N .
The U i j j of Equation (2) have been simplified in U i j . We can see from Equation (7) that the elements of the matrix S ( N 1 , N 2 , , N N ) ρ ρ c will always be a linear combination of ρ and I t , whatever N channels. Note also the operators U i j for j A z are identity operators I t by construction. Thus, arguments U i 1 U i N under π k in Equation (7) involves N elements, z of them in A z and N z in B z . The matrix S and the pivotal Equations (5)–(7) contain all information about the correlations between precise causal orders coherently controlled by ρ c and the output of the quantum switch. S is a function of several parameters: the involved causal orders π k via the probabilities P k , the depolarization strengths q i ’s of each individual channel N i , the dimension d of the target system undergoing the operations of those channels, and the number of channels N. Notably, the sum over k and k in Equation (6) can be restricted to a subset of definite causal orders via the probabilities P k , i.e., a subset of superposition of m causal orders among the N ! existing ones for advanced quantum control. This handle had remained unexplored up to now. It was not accessible to former explorations limited to two channels. In the current work, we consider only superpositions of all causal orders. The control of causal orders will be presented elsewhere.
In the following subsections, we will give the explicit expressions of the quantum switch matrices for the quantum N-switch channel for N = 2 and N = 3 . We access these matrices of the quantum N-switch channel via the systematic ordering of the terms in Equations (3) as settled in Equations (5)–(7).
The explicit calculation of the quantum N-switch channel gives important insights on the transmission of information coherently controlled by ρ c in a fascinating multi-parameter space. We briefly review below some of the intriguing behaviors associated with the parameters exploration in the N = 2 and the N = 3 cases. We show indeed in those cases how the nature and number of the causal orders in the control state superposition, the dimension of the target system, and the level of noise all play a role. We underline that the N = 3 case is still untouched experimentally.
To derive Equation (6) for particular cases of N, we first introduce the definitions of W i and ρ c into Equation (3). Introducing the definitions of the Kraus operators in terms of U i j j operators and applying the same reordering on the sums as in Equation (4) leads to Equation (6). In the following subsection, specific developments for N = 2 and N = 3 to evaluate the Q A z k , k are given simplifying Q A z k , k in Equation (7) by following the relations presented in Appendix B (Equations (A4)–(A6)).

3. The Quantum Switch Matrices for N = 2 and N = 3

To show the usefulness of Equations (6), we derive general expressions to investigate the transmission of information through two and three channels in an indefinite causal order. Our method can be easily applied to any number of depolarizing channels provided that { U i } i = 1 d 2 are unitary operators setting an orthonormal basis for the space of d × d matrices.

3.1. Evaluation of S for N = 2

To explicitly evaluate Equation (5) with two channels, we identify the two permutations in S 2 : π 1 = 1 2 1 2 and π 2 = 1 2 2 1 . Equation (5) for the quantum 2-switch channel matrix acting on the input state ρ ρ c writes
S ( N 1 , N 2 ) ( ρ ρ c ) = S 0 + S 1 + S 2 .
The collection of all subsets of subscripts in { 1 , 2 } are A 0 2 = { } , A 1 2 = { { 1 } , { 2 } } and A 2 2 = { { 1 , 2 } } . Then, the corresponding complementary collections are B 0 2 = { { 1 , 2 } } , B 1 2 = { { 2 } , { 1 } } and B 2 2 = { } .
Coefficients for S 0 . In this case, we use A 0 2 = { } to calculate the coefficients Q k , k , k , k { 1 , 2 } . The Q k , k then reads
Q 1 , 1 = i 1 , i 2 π 1 ( U i 1 U i 2 ) ρ π 1 ( U i 1 U i 2 ) = i 1 , i 2 ( U i 1 U i 2 ) ρ ( U i 2 U i 1 ) = d i 1 , i 2 U i 1 U i 1 = d 3 I . Q 1 , 2 = i 1 , i 2 π 1 ( U i 1 U i 2 ) ρ π 2 ( U i 1 U i 2 ) = i 1 , i 2 ( U i 1 U i 2 ) ρ ( U i 1 U i 2 ) = d i 1 , U i 1 tr ( ρ U i 1 ) = d 2 ρ ,
where we have used Equations (A4) and (A6) for Q 1 , 1 , Equation (A4) with X = U i 2 ρ and Equation (A5) for Q 1 , 2 . Likewise, we have Q α , α = d 3 I , for ( α , α ) A { ( 1 , 1 ) , ( 2 , 2 ) } and Q β , β = d 2 ρ , for ( β , β ) B { ( 1 , 2 ) , ( 2 , 1 ) } . Then, we may write
S 0 = ( α , α ) A r 0 I d P α P α | α α | + ( β , β ) B r 0 ρ d 2 P β P β | β β | ,
where r 0 = p 1 p 2 with p i = 1 q i .
Coefficients for S 1 . In this case, A 1 2 = { { 1 } , { 2 } } and B 1 2 = { { 2 } , { 1 } } . Let us first consider the coefficient Q { 1 } γ , γ = i 2 π γ ( I · U i 2 ) ρ π γ ( I · U i 2 ) = d I , using the general relations (A4)–(A6), for ( γ , γ ) G { ( 1 , 1 ) , ( 1 , 2 ) , ( 2 , 1 ) , ( 2 , 2 ) } . Since indices are dumb, it can be shown that Q { 2 } γ , γ = Q { 1 } γ , γ for all ( γ , γ ) . Then, the term S 1 can be written as
S 1 = k , k r 1 d P k P k I | k k | = r 1 d I ρ c ,
where r 1 = q 1 p 2 + q 2 p 1 .
Coefficients for S 2 . Finally, let us consider the term S 2 . In this case A 2 2 = { { 1 , 2 } } and hence B 2 2 = { } . Note that Q { 1 , 2 } k , k = ρ for all k and k . Thus, the term with z = 2 reads
S 2 = k , k r 2 ρ P k P k | k k | = r 2 ρ ρ c ,
with r 2 = q 1 q 2 . By expanding the matrices S 0 , S 1 and S 2 in the control qubit basis, { 1 , 2 } , we are able to write
S 0 = r 0 d I P 1 r 0 ρ d 2 P 1 P 2 r 0 ρ d 2 P 2 P 1 r 0 d I P 2 , S 1 = r 1 d I P 1 r 1 d I P 1 P 2 r 1 d I P 2 P 1 r 1 d I P 2 , S 2 = r 2 ρ P 1 r 2 ρ P 1 P 2 r 2 ρ P 2 P 1 r 2 ρ P 2 ,
where I = I t . Summing those matrices according to Equation (5), we find that the quantum 2-switch channel matrix S ( N 1 , N 2 ) has diagonal elements a k = P k [ ( r 0 + r 1 ) I / d + r 2 ρ ] , for k = 1 , 2 and off-diagonal elements b = P 1 P 2 [ ( r 0 + d 2 r 2 ) ρ / d 2 + r 1 d I ] , with r 0 = p 1 p 2 , r 1 = q 1 p 2 + q 2 p 1 and r 2 = q 1 q 2 . Thus,
S ( N 1 , N 2 ) ( ρ ρ c ) = a 1 b b a 2 .
Note that the diagonal and off-diagonal elements a 1 , a 2 and b are matrices and are linear combinations of matrices ρ and I t . This property is non-unique for case N = 2 ; instead, it is general for N channels, an advisable aspect from Equation (7) and Equations (A4) and (A5). Indeed, Equation (14) gives as particular outputs the predicted Holevo capacity of Figure 3 in [10] and expressions of Holevo information in [9].
We end up this subsection stressing that Figure 1 sketches different ways to connect channels N 1 and N 2 in either (a) and (b) a definite causal order and (c) for an indefinite causal order combining the 2 ! possible orders.

3.2. Evaluation of S for N = 3

In this section, we explicitly evaluate expression (5) considering three channels. Let us label the six elements of S 3 according to the following set of permutations π 1 = 1 2 3 1 2 3 , π 2 = 1 2 3 1 3 2 , π 3 = 1 2 3 2 1 3 , π 4 = 1 2 3 2 3 1 , π 5 = 1 2 3 3 1 2 and π 6 = 1 2 3 3 2 1 . Equation (5) for the quantum 3-switch channel matrix acting on input state ρ ρ c reads
S ( N 1 , N 2 , N 3 ) ρ ρ c = S 0 + S 1 + S 2 + S 3 .
Coefficients for S 0 . In this case, note that A 0 3 = { } , hence B 0 3 = { { 1 , 2 , 3 } } . In addition, the sum in Q 1 , k is over the indices { i 1 , i 2 , i 3 } . These can be computed explicitly
Q 1 , 1 = i 1 , i 2 , i 3 π 1 ( U i 1 U i 2 U i 3 ) ρ π 1 ( U i 1 U i 2 U i 3 ) = d 5 I .
Likewise,
Q 1 , 4 = i 1 , i 2 , i 3 π 1 ( U i 1 U i 2 U i 3 ) ρ π 4 ( U i 1 U i 2 U i 3 ) = d 4 ρ .
The remaining coefficients for S 0 are
Q 1 , 2 = i 1 , i 2 , i 3 π 1 ( U i 1 U i 2 U i 3 ) ρ π 2 ( U i 1 U i 2 U i 3 ) = i 1 , i 2 , i 3 ( U i 1 U i 2 U i 3 ) ρ ( U i 2 U i 3 U i 1 ) = d i 1 , i 3 U i 1 Tr ( U i 3 ρ ) U i 3 U i 1 = d 2 i 1 U i 1 ρ U i 1 = d 3 I , Q 1 , 3 = i 1 , i 2 , i 3 π 1 ( U i 1 U i 2 U i 3 ) ρ π 3 ( U i 1 U i 2 U i 3 ) = i 1 , i 2 , i 3 ( U i 1 U i 2 U i 3 ) ρ ( U i 3 U i 1 U i 2 ) = d i 1 , i 2 U i 1 U i 2 I U i 1 U i 2 = d 2 i 1 Tr ( U i 2 I ) U i 2 = d 3 I , Q 1 , 5 = i 1 , i 2 , i 3 π 1 ( U i 1 U i 2 U i 3 ) ρ π 5 ( U i 1 U i 2 U i 3 ) = i 1 , i 2 , i 3 ( U i 1 U i 2 U i 3 ) ρ ( U i 2 U i 1 U i 3 ) = d i 1 , i 3 U i 1 Tr ( U i 3 ρ ) U i 1 U i 3 = d 3 i 3 Tr ( U i 3 ρ ) U i 3 = d 4 ρ , Q 1 , 6 = i 1 , i 2 , i 3 π 1 ( U i 1 U i 2 U i 3 ) ρ π 6 ( U i 1 U i 2 U i 3 ) = i 1 , i 2 , i 3 ( U i 1 U i 2 U i 3 ) ρ ( U i 1 U i 2 U i 3 ) = d i 1 , i 3 U i 1 Tr ( U i 3 ρ U i 1 ) U i 3 = d 2 i 1 U i 1 ρ U i 1 = d 3 I .
The coefficients Q k , k with k 2 can be computed using these expressions from Equations (18). For instance, consider the following
Q 2 , 6 = i 1 , i 2 , i 3 π 2 ( U i 1 U i 2 U i 3 ) ρ π 6 ( U i 1 U i 2 U i 3 ) = i 1 , i 2 , i 3 ( U i 1 U i 3 U i 2 ) ρ ( U i 1 U i 2 U i 3 ) ,
which is equivalent to expression Q 1 , 4 because the indices i’s are dumb. Thus, one can calculate explicitly the remaining coefficients. Results are thus summarized in the following list:
Q i , i = d 3 I , ( i , i ) I { ( 1 , 6 ) , ( 2 , 4 ) , ( 3 , 5 ) , ( 4 , 2 ) , ( 1 , 2 ) , ( 2 , 1 ) , ( 3 , 4 ) , ( 4 , 3 ) , ( 5 , 6 ) , ( 6 , 5 ) , ( 5 , 3 ) , ( 6 , 1 ) , ( 1 , 3 ) , ( 2 , 5 ) , ( 3 , 1 ) , ( 4 , 6 ) , ( 5 , 2 ) , ( 6 , 4 ) } , Q j , j = d 4 ρ , ( j , j ) J { ( 1 , 4 ) , ( 2 , 6 ) , ( 3 , 2 ) , ( 4 , 5 ) , ( 5 , 1 ) , ( 6 , 3 ) , ( 1 , 5 ) , ( 2 , 3 ) , ( 3 , 6 ) , ( 4 , 1 ) , ( 5 , 4 ) , ( 6 , 2 ) } , Q k , k = d 5 I , ( k , k ) K { ( 1 , 1 ) , ( 2 , 2 ) , ( 3 , 3 ) , ( 4 , 4 ) , ( 5 , 5 ) , ( 6 , 6 ) } .
After calculating all these coefficients, we obtain
S 0 = ( i , i ) I s 0 d 3 I P i P i | i i | + ( j , j ) J s 0 ρ d 2 P j P j | j j | + ( k , k ) K s 0 d I P k P k | k k | ,
where s 0 = p 1 p 2 p 3 .
Coefficients for S 1 . In this case A 1 3 = { { 1 } , { 2 } , { 3 } } and B 1 3 = { { 2 , 3 } , { 1 , 3 } , { 1 , 2 } } . Let us first consider the coefficient Q { 1 } k , k , so that sum must be accomplished over the indices { i 2 , i 3 } , hence Q { 1 } k , k = i 2 , i 3 π k ( I · U i 2 · U i 3 ) ρ π k ( I · U i 2 · U i 3 ) . Using the relations (A4)–(A6), we obtain
Q { 1 } , = d 2 ρ , ( , ) L 1 { ( 2 , 3 ) , ( 3 , 2 ) , ( 2 , 4 ) , ( 4 , 2 ) , ( 3 , 5 ) , ( 5 , 3 ) , ( 3 , 6 ) , ( 6 , 3 ) , ( 4 , 5 ) , ( 5 , 4 ) , ( 4 , 6 ) , ( 6 , 4 ) , ( 5 , 1 ) , ( 1 , 5 ) , ( 1 , 2 ) , ( 2 , 1 ) , ( 1 , 6 ) , ( 6 , 1 ) } , Q { 1 } m , m = d 3 I , ( m , m ) M 1 { ( 1 , 1 ) , ( 2 , 2 ) , ( 3 , 3 ) , ( 4 , 4 ) , ( 5 , 5 ) , ( 6 , 6 ) , ( 1 , 3 ) , ( 1 , 4 ) , ( 4 , 1 ) ( 3 , 1 ) , ( 2 , 5 ) , ( 5 , 2 ) , ( 2 , 6 ) , ( 6 , 2 ) , ( 3 , 4 ) , ( 4 , 3 ) , ( 5 , 6 ) , ( 6 , 5 ) } ,
Q { 2 } , = d 2 ρ , ( , ) L 2 { ( 1 , 4 ) , ( 1 , 5 ) , ( 1 , 6 ) , ( 2 , 4 ) , ( 2 , 5 ) , ( 2 , 6 ) , ( 3 , 4 ) , ( 3 , 5 ) , ( 3 , 6 ) ( 4 , 1 ) , ( 4 , 2 ) , ( 4 , 3 ) , ( 5 , 1 ) , ( 5 , 2 ) , ( 5 , 3 ) , ( 6 , 1 ) , ( 6 , 2 ) , ( 6 , 3 ) } , Q { 2 } m , m = d 3 I , ( m , m ) M 2 { ( 1 , 1 ) , ( 1 , 2 ) , ( 1 , 3 ) , ( 2 , 1 ) , ( 2 , 2 ) , ( 2 , 3 ) , ( 3 , 1 ) , ( 3 , 2 ) , ( 3 , 3 ) ( 4 , 4 ) , ( 4 , 5 ) , ( 4 , 6 ) , ( 5 , 4 ) , ( 5 , 5 ) , ( 5 , 6 ) , ( 6 , 4 ) , ( 6 , 5 ) , ( 6 , 6 ) } ,
Q { 3 } , = d 2 ρ , ( , ) L 3 { ( 1 , 3 ) , ( 1 , 4 ) , ( 1 , 6 ) , ( 2 , 3 ) , ( 2 , 4 ) , ( 2 , 6 ) , ( 3 , 1 ) , ( 3 , 2 ) , ( 3 , 5 ) ( 4 , 1 ) , ( 4 , 2 ) , ( 4 , 5 ) , ( 5 , 3 ) , ( 5 , 4 ) , ( 5 , 6 ) , ( 6 , 1 ) , ( 6 , 2 ) , ( 6 , 5 ) } , Q { 3 } m , m = d 3 I , ( m , m ) M 3 { ( 1 , 1 ) , ( 1 , 2 ) , ( 1 , 5 ) , ( 2 , 1 ) , ( 2 , 2 ) , ( 2 , 5 ) , ( 3 , 3 ) , ( 3 , 4 ) , ( 3 , 6 ) ( 4 , 3 ) , ( 4 , 4 ) , ( 4 , 6 ) , ( 5 , 1 ) , ( 5 , 2 ) , ( 5 , 5 ) , ( 6 , 3 ) , ( 6 , 4 ) , ( 6 , 6 ) } .
Hence, the matrix S 1 can be computed
S 1 = 1 d 2 s = 1 3 t s d ( , ) M s P P I | | + t s ( m , m ) L s P m P m ρ | m m | ,
where t 1 = p 2 p 3 q 1 , t 2 = p 1 p 3 q 2 and t 3 = p 1 p 2 q 3 .
Coefficients for S 2 . In this case, A 2 3 = { { 1 , 2 } , { 1 , 3 } , { 2 , 3 } } and hence B 2 3 = { { 3 } , { 2 } , { 1 } } . Let us consider
Q { 2 , 3 } k , k = i 1 π k ( U i 1 · I · I ) ρ π k ( U i 1 · I · I ) = d I ,
where the operators I have been written for the sake of clarity as the permutations π k act on sets of three elements. In a similar way, Q { 1 , 3 } k , k = Q { 1 , 2 } k , k = d I . Thus, we obtain
S 2 = p 1 p 2 p 3 d 2 k , k P k P k q 2 q 3 p 2 p 3 Q { 2 , 3 } k , k + q 1 q 3 p 1 p 3 Q { 1 , 3 } k , k + q 1 q 2 p 1 p 2 Q { 1 , 2 } k , k | k k | = s 2 d I ρ c
where s 2 = q 1 q 2 p 3 + q 1 q 3 p 2 + q 2 q 3 p 1 .
Coefficients for S 3 . Finally, note that Q { 1 , 2 , 3 } k , k = ρ for all k and k . Thus, the term with z = 3 reads
S 3 = s 3 k , k P k P k ρ | k k | = s 3 ρ ρ c ,
where s 3 = q 1 q 2 q 3 and uses the definition of the control qudit.
For three channels, Figure 2 shows different ways to connect channels N 1 , N 2 and N 3 in either (a)–(f) a definite causal order, or (g) in an indefinite causal order taking into account all 3! causal orders. The quantum 3-switch matrix is again calculated with Equation (5) (see Appendix C)
S ( N 1 , N 2 , N 3 ) ( ρ ρ c ) = A 1 B C D E F B A 2 G H I J C G A 3 K L M D H K A 4 N P E I L N A 5 Q F J M P Q A 6 ,
where the diagonal and the off-diagonal elements whose expressions are given in Appendix C are also linear combinations of matrices ρ and I t . From the definition of symmetric matrices [23], we can see that the quantum switch matrices (14) and (28) are block-symmetric matrices with respect to the main diagonal. This could be seen as general from the fact Q A z k , k = Q A z k , k due to Equations (6) and (7) because indices in the sums are dumb. Thus, as the number of channels increases, the number of different d × d matrices involved in the quantum N-switch matrix S scales as N ! ( N ! + 1 ) / 2 . Notice that those matrices also characterize information transmission of any definite causal ordering π k of channels N π k when setting P k = 1 and P s = 0 for all s k .
Matrices in Equation (14) or (28) are written in the basis of the control system ρ c which maps and weights the chosen causal orders. To know the best rate to communicate classical information with two and three channels, in the following section, we diagonalize matrices (14) and (28) to compute the Holevo information limit χ , which quantifies how much classical information can be transmitted through a channel in a single use. χ gives a lower bound on the classical capacity [3,7,24].

4. Holevo Information Limit for Two and Three Channels

We compute the Holevo information limit (Holevo information for shortness in the following) χ ( S ) for N = 2 and N = 3 channels through a generalization of the mutual information (see for example [25]) and supplementary information of [9]. The Holevo information χ ( S ) is found by maximizing mutual information, and it can be shown that maximization over the ρ pure states is sufficient [25]. The Holevo information is then given by
χ Q N S S = log d + H ( ρ ˜ c ( N ) ) H min ( S ) ,
where d is the dimension of the target system ρ , H ( ρ ˜ c ( N ) ) is the von-Neumann entropy of the output control system ρ ˜ c ( N ) for N channels, and H min ( S ) is the minimum of the entropy at the output of the channel S . The minimization of H min ( S ) min ρ H min ( S ( ρ ) ) is over all input states ρ going on the channel S [25]. To evaluate Equation (29):
  • The diagonalization and minimization of H min ( S ) is performed on all possible states given by ρ . It is done analytically for N = 2 channels and arbitrary q i . For N = 3 channels, we compute the eigenvalues of the full quantum 3-switch matrix S ( N 1 , N 2 , N 3 ) ρ ρ c numerically.
  • ρ ˜ c ( N ) was analytically calculated following [9].
  • We deduce H ( ρ ˜ c ( N ) ) from the analytical expressions of ρ ˜ c ( N ) .

4.1. Holevo Information Limit for N = 2 Channels

4.1.1. Calculation of H min

We calculate the minimum output entropy H min ( S ) of the channel S S ( N 1 , , N N )
H min ( S ) min ρ H min ( S ( ρ ) ) = min ρ i λ S ( ρ ) , i log [ λ S ( ρ ) , i ] ,
where the minimization is a priori over all input states ρ and { λ S ( ρ ) , i } i = 1 d are the eigenvalues of S ( ρ ) . In fact, it is sufficient to minimize over the states [25] and the eigenvalues { λ ρ , i } i = 1 d sum up to 1. As H min ( S ( ρ ) ) is concave, the minimization is done as in Reference [9] : the eigenvalues { λ S ( ρ ) , i } i = 1 d are taken at the border of the interval [ 0 , 1 ] × d and, as they sum up to one, the minimization is simplified to the cases where all λ but one are set to zero, and the last one is equal to 1.
In this situation, S ( N 1 , N 2 ) ρ ρ c has only four non-zero matrix elements, (see Equation (14)), which can be rewritten as 2 × 2 matrices
a 0 p b b a 0 q ,
where a 0 and b are d × d matrices and linear combinations of ρ and I t :
a 0 = ( r 0 + r 1 ) I / d + r 2 ρ , b = P 1 P 2 [ ( r 0 + d 2 r 2 ) ρ / 2 + r 1 I / d ] ,
with p P 1 , q P 2 are the control probabilities with p + q = 1 .
Using the commutativity of ρ and I t (so they have the same eigenvectors), we then retrieve analytically a ± , the matrix-eigenvalues of S ( N 1 , N 2 , , N N ) ρ ρ c
a ± = a 0 2 ± b 2 + a 0 2 ( p 1 2 ) 2 .
The existence of this last expression is warranted by the positivity of the discriminant [26], considering the positivity of ρ and the structure of a 0 and b, which are linear combinations of I and ρ .
The commutativity properties of ρ and I t are inherited to a ± . Then, the eigenvalues of S ( N 1 , N 2 ) ρ ρ c for two causal orders are the eigenvalues of a ± .Thus, to diagonalize a ± , we just replace ρ by its eigenvalues, labeled as λ ρ , i , in Equation (32), which generalizes the procedure obtained in [9]. Our procedure gives access to the transmission of information in a more general situation, where the depolarization strengths q i can be different for each channel, and it can take any value between 0 and 1. Equation (32) gives the eigenvalues of the matrix S ( N 1 , N 2 ) ( ρ ρ c ) ( s = ± 1 )
λ s , i = α 0 2 + s p q β 2 + α 0 2 ( p 1 2 ) 2 with : α 0 1 q 1 q 2 d + q 1 q 2 λ ρ , i β p 1 q 2 + q 1 p 2 d + ( p 1 p 2 d 2 + q 1 q 2 ) λ ρ , i .
The eigenvalues of λ s , i are well defined because of the positivity of discriminant [26]. Finally, using the concavity of the entropy, the minimum of the entropy H min for a state is reached by setting just one λ ρ , i to one and all the others to zero; with this, we obtain
H min ( S ( N 1 , N 2 ) ) = s { ± 1 } k { 0 , 1 } ( d 1 ) 1 k λ s , k log λ s , k ,
λ s , k = α 0 , k 2 + s p q β k 2 + α 0 , k 2 ( p 1 2 ) 2 ,
α 0 , k = 1 q 1 q 2 d + k q 1 q 2 ,
β k = p 1 q 2 + q 1 p 2 d + k p 1 p 2 d 2 + q 1 q 2 .
It is easy to show β k α 0 , k , then λ ± , i 0 ( λ s , k 0 ) as expected. In addition, 0 λ s , k 1 and then H min ( S ( N 1 , N 2 ) ) 0 .
If one of q 1 = 1 , i.e., channel 1 is free of depolarization, then α 0 , k = p 2 d + k q 2 = β k and
H min ( S ( N 1 , N 2 ) ) = ( d 1 ) p 2 d log ( p 2 d ) + ( p 2 d + q 2 ) log ( p 2 d + q 2 )
depends only on the probability of depolarization for channel 2. Thus, H min ( S ( N 1 , N 2 ) ) reaches its maximum value of zero only if q 1 = q 2 = 1 . Alternatively, it is direct to show that the discriminant reaches its maximum value when p = 1 2 , which is the case studied by Ebler et al. [9]. In addition, if q 1 = q 2 = 0 , i.e., both channels are fully depolarizing, then α 0 , k = 1 d , β k = k d 2 , so H min ( S ( N 1 , N 2 ) ) reaches the minimum value
H min ( S ( N 1 , N 2 ) ) = log ( 2 d ) + 1 2 d 2 log ( d + 1 d 1 ) + 1 2 d log ( 1 1 d 2 ) .
For the sake of shortness, the entropy H min ( S ( N 1 , N 2 ) ) will be denoted simply as H min ( S N ) . To illustrate the range of parameters of Equation (38), we plot the entropy H min ( S 2 ) map for two noisy channels. Figure 3 shows the entropy H min ( S 2 ) . The plots are contour surfaces of H min ( S 2 ) when q 1 , q 2 vary from 0 to 1. Each plot contains thirty surfaces distributed in their complete range shown in the color-chart. We plot several cases of H min ( S 2 ) when the dimension of the target is d = 2 , 3 , 10 and 100.

4.1.2. Derivation of ρ ˜ c ( 2 )

To obtain the output state of the control system ρ ˜ c ( N ) after N channels, we calculate
Tr X I J ( S ( N 1 , , N N ) ρ ρ c ) I ) ( ω X I J A C ) ,
where ω X I J A C is an extended input state with a pure conditional state as described in [9]. A direct calculation shows:
Tr X I J ( S ( N 1 , , N N ) ρ ρ c ) I ) ( ω X I J A C ) = = Tr X I J 1 d 2 x , i , j p x x x i i j j S ( N 1 , , N N ) ( ρ ρ c ) = I d ρ ˜ c ( N ) ,
where ρ = X ( i ) Z ( j ) ρ Z ( j ) X ( i ) and X ( i ) l = i l , Z ( j ) l = e 2 π i j l l are the known Heisenberg−Weyl operators [25]. To isolate the term ρ ˜ c ( N ) , we apply the following relations:
Tr X I J X I J p x x x i i j j ρ = d I ,
Tr X I J X I J p x x x i i j j I = d 2 I ,
which are valid for N 2 , and they are obtained by direct calculation following the former definitions. Then, for N = 2 , we find that the output control state is
ρ ˜ c ( 2 ) = p 1 p 2 [ P 1 1 1 + P 2 2 2 + P 1 P 2 d 2 0 1 + 1 0 ] + ρ c 1 p 1 p 2 ,
where p i = 1 q i .
Using the two previous results for χ Q N S , Figure 4 shows the transmission map of information for two noisy channels. The plots are contour surfaces of χ Q 2 S when q 1 , q 2 and P 1 = P 2 = p vary from 0 to 1. The maximum capacity is trivially reached when q 1 = q 2 = 1 simultaneously reaching the value χ Q 2 S = log d . The minimum capacity is zero, reached in the boundary of the front sides with ( q 1 = 0 , p = 0 , 1 ) , ( q 2 = 0 , p = 0 , 1 ) , ( q 1 = 0 , q 2 = 1 ) , and ( q 1 = 1 , q 2 = 0 ) . Notably, for q 1 = q 2 = 0 , there are values higher than the minimum. This phenomenon is observed in the protuberance of plots near χ Q 2 S = 0 . For larger values of d, the protuberance occurs sharply near q 1 = 0 and q 2 = 0 faces. Note the nearest surface to those faces are for χ Q 2 S = 10 3 , 10 3 , 10 4 , 10 7 respectively for each plot d = 2 , 3 , 10 , 100 .

4.2. Holevo Information for N = 3 Channels

We numerically calculate the eigenvalues of the entropy H min for N = 3 channels from Equation (28). Then, using relations (41) from (21), (25), (26) and (27), we find that the output state is
ρ ˜ c ( 3 ) = ( s 2 + s 3 ) ρ c + s 0 d 2 ( k , k ) I , J P k P k | k k | + d 2 ( k , k ) K P k P k | k k | + 1 d 2 s = 1 3 ( , ) L s P P r s | | + d 2 s = 1 3 ( m , m ) M s P m P m r s | m m | .
As before, putting those outcomes together in (29), Figure 5a,b give the Holevo information χ Q 2 S and χ Q 3 S for two and three channels, respectively, as a function of the depolarization strengths q i and the dimension d of the target system. Our model enables us to exhibit a wealth of different behaviors as a function of d, q i , and N from the fully noisy situation to the identity channel transmission. For the sake of simplicity, we restrict our graphical analysis to equal depolarization strengths, i.e., q 1 = q 2 = q 3 , with a balanced superposition of N ! causal orders, that is, with equally weighted probabilities P k = 1 / N ! for each case N = 2 , 3 .
The analysis of these results allows us to draw the following conclusions for those particular cases:
  • For a fixed dimension d, the Holevo information for indefinite causal order is always higher than the one obtained using one of the definite causal order shown in Figure 2. This is especially the case for totally depolarized channels i.e., q i = 0 , i . For completely clean channels ( q = 1 ), the Holevo information for indefinite and definite causal order converges to the same value depending on d (not shown).
  • Two regions can be distinguished. In the strongly depolarized region (roughly q < 0.3 for N = 2 and q < 0.5 for N = 3 ), the increase of the dimension d of the target system is detrimental to the Holevo information transmitted by the quantum switch. In contrast, in the moderately depolarized region ( q > 0.3 for N = 2 and q > 0.5 for N = 3 ), the Holevo information increases both with q and d, a maximum (not shown) as expected for completely clean channels.
  • In the strongly depolarized region, increasing the number of channels to N = 3 is definitively advantageous for information extraction. For instance, in the case of totally depolarized channels ( q = 0 ), the Holevo information is approximately doubled with N = 3 with respect to N = 2 for all values of the dimension d calculated up to d = 10
In fact, Table 1 gives the values of the ratio χ Q 3 S / χ Q 2 S , finding that the Holevo information is approximately doubled for N = 3 with respect to N = 2 .

5. Conclusions

Communication enhancement is a challenging task in quantum information processing due to imperfection of communication channels subjected to depolarization. Causal order has been proposed as a disruptive procedure to improve communication, compression of quantum information, bringing the quantum possibilities into a new frontier. We have analyzed the quantum control of N operators in the context of the second-quantized Shannon theory and in the specific case of superposition of causal orders, extending the results in the current literature. We obtained a general expression for S ( N 1 , N 2 , , N N ) for the quantum N-switch for an arbitrary number of channels with any depolarizing strength, thus providing an operational formula enabling the exploration of communication channels controlled by causal orders. This formula is useful to explore computationally the cases with an increasing N. A detailed analysis to assess the information transmission for the cases of N = 2 and N = 3 channels is presented: an increasing number of channels improves the transmission of information. In particular, we remarkably found that the Holevo information is doubled when the number of channels goes from N = 2 to N = 3 .
We give the matrices corresponding to quantum N-switches S ( N 1 , N 2 , , N N ) as a function of the number of channels, depolarization strengths, and dimension of the target system. We obtain other general properties for the general case of N channels such as the symmetric properties of matrices Q A z k , k and thus of S ( N 1 , N 2 , , N N ) . We also demonstrate that S ( N 1 , N 2 , , N N ) is always a linear combination of ρ and I t , whatever N channels. Expressions for the Holevo limit are equally accessible from our expressions and methodology. In addition, we showed that the depolarizing strengths can be used as control parameters to modify the information transmission on demand. We shall develop elsewhere the analysis of control via selected combinations of the N ! available causal order enabled by the present work.

Author Contributions

L.M.P. elaborated the concept of this work. L.M.P., F.D., and M.E. contributed extensively to the theoretical development of this work. N.B. and J.A.L. supervised the project. All authors contributed to the writing of the final manuscript.

Funding

M.E. acknowledges the support from CONACyT through project A1-S-24569. L.M.P. acknowledges the support from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłukodowska-Curie Grant No. 800306. This work is also supported by a public grant overseen by the French National Research Agency (ANR) as part of the “Investissements d’Avenir” program (Labex NanoSaclay, reference: ANR-10-LABX-0035) and by the Sitqom ANR project (reference: ANR-SITQOM-15-CE24-0005).

Acknowledgments

F.D. acknowledges Jesús Ramírez-Joachín for the fruitful discussions and education in 1983 about the combinatorics required in this work. L.M.P. wishes to thank Alastair A. Abbott for commenting this manuscript. F.D. and M.E. acknowledge the support from CONACyT and from the School of Engineering and Science of Tecnológico de Monterrey in the developing of this research work.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A. Completeness Property for Wi

We demonstrate here the completeness property
{ i s } | s = 1 N W i W i = I t I c
for the generalized Kraus operators W i for the full quantum N-switch channel by relying on the reordering of the sums obtained by grouping terms with indices i s equal to zero. W i : = W i 1 i 2 i N = k = 1 N ! K π k k k and K π k : = π k ( K i 1 1 K i N N ) , where π k acts on the subscripts j of the Kraus operators K i j j . In the sum { i j } | j = 1 N , each index in the set of indices { i 1 , i 2 , , i N } is associated with a channel N j where j { 1 , 2 , , N } and varies from 0 to d 2 . By introducing the definition of the Kraus operators K i j j = 1 q j d U i j j into W i , the left side from Equation (A1) can be re-written as
h N d 2 N { i s } | s = 1 N k = 1 N ! U π k U π k k k ,
where U π k : = π k ( U i 1 1 U i N N ) and h N = j = 1 N 1 q j . As U i U i = I , i > 0 , the product U π k U π k reduces almost to the identity I t except for the factors U 0 U 0 = d 2 q j 1 q j I t . Using Equation (4) in the above expression, it can be rearranged into:
{ i j } | j = 1 N W i 1 i 2 i N W i 1 i 2 i N = h N d 2 N k = 1 N ! z = 0 N d 2 z a A z N b B z h A z I t k k ,
where the sum over A z is the sum of terms h A z over all the elements of A z N , the set of all subset of z elements in { 1 , 2 , , N } . This yields the factor f A z = h N h A z d 2 ( z N ) in Equation (6).
To prove Equation (A1), we then apply the total probability property z = 0 N a A z h A z = 1 h N together with the property b B z d 2 ( z N ) = 1 . Thus, property (A1) is proved.

Appendix B. Relations to Evaluate Coefficients Q A z k , k

We recall below the relations needed to deduce explicitly matrices S z and then S for the quantum N-switch from the sums and products of the Q A z k , k factors
i = 1 d 2 U i X U i = d Tr X I ,
i = 1 d 2 Tr ( [ U i ] ρ ) U i = i = 1 d 2 Tr ( U i ρ ) U i = d ρ ,
where X is any d × d matrix and U i an orthonormal basis for the d × d matrices. Applying Equation (A4) to X = I ,
i = 1 d 2 U i U i = d 2 I .
Applying Equation (A4) to X = ρ , such that Tr ( ρ ) = 1 , we get a uniform randomization over the set of unitaries U i 0 that completely depolarizes the state ρ , thus giving the relation i U i ρ U i = d I .

Appendix C. Matrices S z for the Quantum 3-Switch

Matrix S ( N 1 , N 2 , N 3 ) ( ρ ρ c ) is a 6 × 6 block-matrix, block-symmetric matrix whose matrix elements are matrices of dimension d × d . Since Q A z k , k = Q A z k , k , for all A z , then S ( N 1 , N 2 , N 3 ) ( ρ ρ c ) is symmetric with respect to the main diagonal. Now, by expanding equations S 0 , S 1 , S 2 and S 3 in the control qudit basis, { 1 , 2 , 3 , 4 , 5 , 6 } , we can find the quantum 3-switch matrix S ( N 1 , N 2 , N 3 ) ( ρ ρ c ) having diagonal elements as
A k = I P k ( s 0 + s 1 + s 2 ) d + ρ P k s 3 , for k = 1 , 2 , , 6 ,
where s 1 = t 1 + t 2 + t 3 . The off-diagonal elements read
B = I P 1 P 2 ( d 2 s 2 + d 2 t 2 + d 2 t 3 + s 0 ) d 3 + ρ P 1 P 2 ( d 2 s 3 + t 1 ) d 2 , C = I P 1 P 3 ( d 2 s 2 + d 2 t 1 + d 2 t 2 + s 0 ) d 3 + ρ P 1 P 3 ( d 2 s 3 + t 3 ) d 2 , D = I P 1 P 4 ( t 1 + s 2 ) d + ρ P 1 P 4 ( d 2 s 3 + s 0 + t 2 + t 3 ) d 2 , E = I P 1 P 5 ( s 2 + t 3 ) d + ρ P 1 P 5 ( d 2 s 3 + s 0 + t 1 + t 2 ) d 2 , F = I P 1 P 6 ( d 2 s 2 + s 0 ) d 3 + ρ P 1 P 6 ( d 2 s 3 + s 1 ) d 2 , G = I P 2 P 3 ( s 2 + t 2 ) d + ρ P 2 P 3 ( d 2 s 3 + s 0 + t 1 + t 3 ) d 2 , H = I P 2 P 4 ( d 2 s 2 + s 0 ) d 3 + ρ P 2 P 4 ( d 2 s 3 + s 1 ) d 2 , I = I P 2 P 5 ( d 2 s 2 + d 2 t 1 + d 2 t 3 + s 0 ) d 3 + ρ P 2 P 5 ( d 2 s 3 + t 2 ) d 2 , J = I P 2 P 6 ( s 2 + t 1 ) d + ρ P 2 P 6 ( d 2 s 3 + s 0 + t 2 + t 3 ) d 2 , K = I P 3 P 4 ( d 2 s 2 + d 2 t 1 + d 2 t 3 + s 0 ) d 3 + ρ P 3 P 4 ( d 2 s 3 + t 2 ) d 2 , L = I P 3 P 5 ( d 2 s 2 + s 0 ) d 3 + ρ P 3 P 5 ( d 2 s 3 + s 1 ) d 2 , M = I P 3 P 6 ( s 2 + t 3 ) d + ρ P 3 P 6 ( d 2 s 3 + s 0 + t 1 + t 2 ) d 2 , N = I P 4 P 5 ( s 2 + t 2 ) d + ρ P 4 P 5 ( d 2 s 3 + s 0 + t 1 + t 3 ) d 2 , P = I P 4 P 6 ( d 2 s 2 + d 2 t 2 + d 2 t 3 + s 0 ) d 3 + ρ P 4 P 6 ( d 2 s 3 + t 1 ) d 2 , Q = I P 5 P 6 ( d 2 s 2 + d 2 t 1 + d 2 t 2 + s 0 ) d 3 + ρ P 5 P 6 ( d 2 s 3 + t 3 ) d 2 .
Those matrix elements are the entries of the matrix (28) in the main text.

References

  1. Shannon, C.E. A mathematical theory of communication. Bell Labs. Tech. J. 1948, 27, 379–423. [Google Scholar]
  2. Nielsen, M.A.; Chuang, I. Quantum Computation and Quantum Information; Cambridge University Press: Cambridge, UK, 2002. [Google Scholar]
  3. Holevo, A.S. The capacity of the quantum channel with general signal states. IEEE Trans. Inf. Theory 1998, 44, 269–273. [Google Scholar] [Green Version]
  4. Bennett, C.H.; Brassard, G. Quantum cryptography: Public key distribution and coin tossing. Theor. Comput. Sci. 2014, 560, 7–11. [Google Scholar]
  5. Schumacher, B. Quantum coding. Phys. Rev. A 1995, 51, 2738. [Google Scholar]
  6. Chiribella, G.; D’Ariano, G.M.; Perinotti, P.; Valiron, B. Quantum computations without definite causal structure. Phys. Rev. A 2013, 88, 022318. [Google Scholar]
  7. Abbott, A.A.; Wechs, J.; Horsman, D.; Mhalla, M.; Branciard, C. Communication through coherent control of quantum channels. arXiv 2018, arXiv:1810.09826. [Google Scholar]
  8. Chiribella, G.; Banik, M.; Bhattacharya, S.S.; Guha, T.; Alimuddin, M.; Roy, A.; Saha, S.; Agrawal, S.; Kar, G. Indefinite causal order enables perfect quantum communication with zero capacity channel. arXiv 2018, arXiv:1810.10457. [Google Scholar]
  9. Ebler, D.; Salek, S.; Chiribella, G. Enhanced communication with the assistance of indefinite causal order. Phys. Rev. Lett. 2018, 120, 120502. [Google Scholar] [CrossRef]
  10. Goswami, K.; Cao, Y.; Paz-Silva, G.A.; Romero, J.; White, A. Communicating via ignorance. arXiv 2018, arXiv:1807.07383v3. [Google Scholar]
  11. Guo, Y.; Hu, X.-M.; Hou, Z.-B.; Cao, H.; Cui, J.-M.; Liu, B.-H.; Huang, Y.-F.; Li, C.-F.; Guo, G.-C. Experimental investigating communication in a superposition of causal orders. arXiv 2018, arXiv:1811.07526. [Google Scholar]
  12. Chiribella, G. Perfect discrimination of no-signalling channels via quantum superposition of causal structures. Phys. Rev. A 2012, 86, 040301. [Google Scholar]
  13. Araújo, M.; Costa, F.; Brukner, Č. Computational advantage from quantum-controlled ordering of gates. Phys. Rev. Lett. 2014, 113, 250402. [Google Scholar] [CrossRef] [PubMed]
  14. Salek, S.; Ebler, D.; Chiribella, G. Quantum communication in a superposition of causal orders. arXiv 2018, arXiv:1809.06655. [Google Scholar]
  15. Guérin, P.A.; Feix, A.; Araújo, M.; Brukner, Č. Exponential communication complexity advantage from quantum superposition of the direction of communication. Phys. Rev. Lett 2016, 117, 100502. [Google Scholar]
  16. Procopio, L.M.; Moqanaki, A.; Araújo, M.; Costa, F.; Calafell, I.A.; Dowd, E.G.; Hamel, D.R.; Rozema, L.A.; Brukner, Č.; Walther, P. Experimental superposition of orders of quantum gates. Nat. Commun. 2015, 6, 7913. [Google Scholar] [Green Version]
  17. Goswami, K.; Giarmatzi, C.; Kewming, M.; Costa, F.; Branciard, C.; Romero, J.; White, A.G. Indefinite causal order in a quantum switch. Phys. Rev. Lett. 2018, 121, 090503. [Google Scholar]
  18. Wei, K.; Tischler, N.; Zhao, S.-R.; Li, Y.-H.; Arrazola, J.M.; Liu, Y.; Zhang, W.; Li, H.; You, L.; Wang, Z.; et al. Experimental quantum switching for exponentially superior quantum communication complexity. arXiv 2018, arXiv:1810.10238. [Google Scholar]
  19. Rubino, G.; Rozema, L.A.; Feix, A.; Araújo, M.; Zeuner, J.M.; Procopio, L.M.; Brukner, Č.; Walther, P. Experimental verification of an indefinite causal order. Sci. Adv. 2017, 3, e1602589. [Google Scholar]
  20. Wechs, J.; Abbott, A.A.; Branciard, C. On the definition and characterisation of multipartite causal (non) separability. New J. Phys. 2018, 21, 013027. [Google Scholar]
  21. Oreshkov, O.; Giarmatzi, C. Causal and causally separable processes. New J. Phys. 2016, 18, 093020. [Google Scholar]
  22. Chiribella, G.; Kristjánsson, H. A second-quantised shannon theory. arXiv 2018, arXiv:1812.05292. [Google Scholar]
  23. Horn, R.A.; Johnson, C.R. Matrix Analysis; Cambridge University Press: Cambridge, UK, 1990. [Google Scholar]
  24. Schumacher, B.; Westmoreland, M.D. Sending classical information via noisy quantum channels. Phys. Rev. A 1997, 56, 131. [Google Scholar]
  25. Wilde, M.M. Quantum Information Theory; Cambridge University Press: Cambridge, UK, 2013. [Google Scholar]
  26. Bhatia, R. Positive Definite Matrices; Princeton University Press: Princeton, NJ, USA, 2009. [Google Scholar]
Figure 1. Concept of the quantum 2-switch. N i = N q i D is a depolarizing channel applied to the quantum state ρ , where 1 q i is the strength of the depolarization. For two channels, depending on the control system ρ c , there are 2! possibilities to combine the channels with definite causal order: (a) if ρ c is in the state 1 1 , the causal order will be N 2 N 1 , i.e., N 1 is before N 2 ; (b) on the other hand, if ρ c is on the state 2 2 , the causal order will be N 1 N 2 ; (c) however, placing ρ c in a superposition of its states (i.e., ρ c = + + , where + c = 1 2 ( 1 + 2 ) ) results in the indefinite causal order of N 1 and N 2 to become indefinite. In this situation, we said that the quantum channels are in a superposition of causal orders. This device is called a quantum 2-switch [6] whose input and output are ρ ρ c and S ( N 1 , N 2 ) ( ρ ρ c ) , respectively.
Figure 1. Concept of the quantum 2-switch. N i = N q i D is a depolarizing channel applied to the quantum state ρ , where 1 q i is the strength of the depolarization. For two channels, depending on the control system ρ c , there are 2! possibilities to combine the channels with definite causal order: (a) if ρ c is in the state 1 1 , the causal order will be N 2 N 1 , i.e., N 1 is before N 2 ; (b) on the other hand, if ρ c is on the state 2 2 , the causal order will be N 1 N 2 ; (c) however, placing ρ c in a superposition of its states (i.e., ρ c = + + , where + c = 1 2 ( 1 + 2 ) ) results in the indefinite causal order of N 1 and N 2 to become indefinite. In this situation, we said that the quantum channels are in a superposition of causal orders. This device is called a quantum 2-switch [6] whose input and output are ρ ρ c and S ( N 1 , N 2 ) ( ρ ρ c ) , respectively.
Entropy 21 01012 g001
Figure 2. Concept of the quantum 3-switch. For three channels, depending on ρ c , we have 3! possibilities to combine the channels in a definite causal order: (a) ρ c = 1 1 encodes a causal order N 1 N 2 N 3 , i.e., N 3 is applied first to ρ ; (b) ρ c = 2 2 encodes N 1 N 3 N 2 ; (c) ρ c = 3 3 encodes N 2 N 1 N 3 ; (d) ρ c = 4 4 encodes N 2 N 3 N 1 ; (e) ρ c = 5 5 encodes N 3 N 1 N 2 ; (f) ρ c = 6 6 encodes N 3 N 2 N 1 ; (g) finally, if ρ c = + + , where + = 1 6 k = 1 6 k we shall have a superposition of six different causal orders. This is an indefinite causal order called quantum 3-switch whose input and output are ρ ρ c and S ( N 1 , N 2 , N 3 ) ( ρ ρ c ) , respectively. Notice that, for each superposition with m different causal orders, there are N ! m (with m = 1 , 2 , , 6 ) possible combinations of causal orders to build such superposition with N = 3 channels, where n r = n ! r ! ( n r ) ! is the binomial coefficient. The input and output of each channel are fixed. The arrows along the wire just indicate that the target system enters in or exits from the channel.
Figure 2. Concept of the quantum 3-switch. For three channels, depending on ρ c , we have 3! possibilities to combine the channels in a definite causal order: (a) ρ c = 1 1 encodes a causal order N 1 N 2 N 3 , i.e., N 3 is applied first to ρ ; (b) ρ c = 2 2 encodes N 1 N 3 N 2 ; (c) ρ c = 3 3 encodes N 2 N 1 N 3 ; (d) ρ c = 4 4 encodes N 2 N 3 N 1 ; (e) ρ c = 5 5 encodes N 3 N 1 N 2 ; (f) ρ c = 6 6 encodes N 3 N 2 N 1 ; (g) finally, if ρ c = + + , where + = 1 6 k = 1 6 k we shall have a superposition of six different causal orders. This is an indefinite causal order called quantum 3-switch whose input and output are ρ ρ c and S ( N 1 , N 2 , N 3 ) ( ρ ρ c ) , respectively. Notice that, for each superposition with m different causal orders, there are N ! m (with m = 1 , 2 , , 6 ) possible combinations of causal orders to build such superposition with N = 3 channels, where n r = n ! r ! ( n r ) ! is the binomial coefficient. The input and output of each channel are fixed. The arrows along the wire just indicate that the target system enters in or exits from the channel.
Entropy 21 01012 g002
Figure 3. Entropy map for two noisy channels. The 3D graphs represent contour surfaces of the Von-Neumann entropy H min ( S 2 ) when the depolarizing parameters q 1 , q 2 , and the probabilities P 1 = P 2 = p are varied from 0 to 1. We plot several cases when the dimension d of the target ρ is: (a) d = 2 ; (b) d = 3 ; (c) d = 10 ; and (d) d = 100 . The value of H min ( S 2 ) is also depicted by the color in the bar.
Figure 3. Entropy map for two noisy channels. The 3D graphs represent contour surfaces of the Von-Neumann entropy H min ( S 2 ) when the depolarizing parameters q 1 , q 2 , and the probabilities P 1 = P 2 = p are varied from 0 to 1. We plot several cases when the dimension d of the target ρ is: (a) d = 2 ; (b) d = 3 ; (c) d = 10 ; and (d) d = 100 . The value of H min ( S 2 ) is also depicted by the color in the bar.
Entropy 21 01012 g003
Figure 4. Transmission map of information for two noisy channels.The 3D graphs represent contour surfaces of the Holevo information χ Q 2 S when the depolarising parameters q 1 , q 2 and the probabilities P 1 = P 2 = p varied from 0 to 1. We plot several cases for the dimension d of the target system: (a) d = 2 , (b) d = 3 , (c) d = 10 and (d) d = 100 . In all these cases there are thirty contour surfaces of χ Q 2 S . The values of χ Q 2 S are shown in the color bars.
Figure 4. Transmission map of information for two noisy channels.The 3D graphs represent contour surfaces of the Holevo information χ Q 2 S when the depolarising parameters q 1 , q 2 and the probabilities P 1 = P 2 = p varied from 0 to 1. We plot several cases for the dimension d of the target system: (a) d = 2 , (b) d = 3 , (c) d = 10 and (d) d = 100 . In all these cases there are thirty contour surfaces of χ Q 2 S . The values of χ Q 2 S are shown in the color bars.
Entropy 21 01012 g004
Figure 5. Transmission of information for N = 2 and N = 3 channels. Holevo information as a function of the depolarization strengths q i of the channels. We plot the subcases of equal depolarization strengths, i.e., q 1 = q 2 = q 3 = q , with equally weighted probabilities P k for indefinite causal orders (solid line) with (a) N = 2 and (b) N = 3 channels. The transmission of information first decreases to a minimal value for Holevo information and then the transmission of information increases with q. For completely depolarizing channels, i.e., q = 0 , the transmission of information is nonzero and decreases as d increases. A comparison is shown between the Holevo information when the channels are in a definite causal order (dashed line). A full superposition of N ! causal orders is used.
Figure 5. Transmission of information for N = 2 and N = 3 channels. Holevo information as a function of the depolarization strengths q i of the channels. We plot the subcases of equal depolarization strengths, i.e., q 1 = q 2 = q 3 = q , with equally weighted probabilities P k for indefinite causal orders (solid line) with (a) N = 2 and (b) N = 3 channels. The transmission of information first decreases to a minimal value for Holevo information and then the transmission of information increases with q. For completely depolarizing channels, i.e., q = 0 , the transmission of information is nonzero and decreases as d increases. A comparison is shown between the Holevo information when the channels are in a definite causal order (dashed line). A full superposition of N ! causal orders is used.
Entropy 21 01012 g005
Table 1. Values of the Holevo information ratio χ Q 3 S / χ Q 2 S . The mean value of the ratio is 1.9328 ± 0.0617.
Table 1. Values of the Holevo information ratio χ Q 3 S / χ Q 2 S . The mean value of the ratio is 1.9328 ± 0.0617.
d χ Q 2 S χ Q 3 S χ Q 2 S / χ Q 3 S
20.04870.09802.0123
30.01830.03391.8524
40.00850.01591.8705
50.00460.00871.8913
60.00270.00531.9629
70.00180.00341.8888
80.00120.00231.9166
90.00080.00162
100.00060.00122

Share and Cite

MDPI and ACS Style

Procopio, L.M.; Delgado, F.; Enríquez, M.; Belabas, N.; Levenson, J.A. Communication Enhancement through Quantum Coherent Control of N Channels in an Indefinite Causal-Order Scenario. Entropy 2019, 21, 1012. https://doi.org/10.3390/e21101012

AMA Style

Procopio LM, Delgado F, Enríquez M, Belabas N, Levenson JA. Communication Enhancement through Quantum Coherent Control of N Channels in an Indefinite Causal-Order Scenario. Entropy. 2019; 21(10):1012. https://doi.org/10.3390/e21101012

Chicago/Turabian Style

Procopio, Lorenzo M., Francisco Delgado, Marco Enríquez, Nadia Belabas, and Juan Ariel Levenson. 2019. "Communication Enhancement through Quantum Coherent Control of N Channels in an Indefinite Causal-Order Scenario" Entropy 21, no. 10: 1012. https://doi.org/10.3390/e21101012

APA Style

Procopio, L. M., Delgado, F., Enríquez, M., Belabas, N., & Levenson, J. A. (2019). Communication Enhancement through Quantum Coherent Control of N Channels in an Indefinite Causal-Order Scenario. Entropy, 21(10), 1012. https://doi.org/10.3390/e21101012

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop