Classical codes for quantum broadcast channels. arxiv: Ivan Savov and Mark M. Wilde School of Computer Science, McGill University

Transcription

1 Classical codes for quantum broadcast channels arxiv: Ivan Savov and Mark M. Wilde School of Computer Science, McGill University International Symposium on Information Theory, Boston, USA July 2 nd 2012

2 Overview Introduction Quantum information theory Quantum broadcast channels Introduce basic notions of quantum information theory Define quantum broadcast channels Describe two different coding strategies 1. Superposition coding inner bound 2. Marton coding inner bound Discuss briefly the error analysis for the superposition coding Savov and Wilde QBCs

3 Classical-quantum channels A classical channel (X, N X Y () p Y X (y ), Y) N X Y T Y R is modeled by a conditional probability distribution p Y X. A classical-quantum channel: (X, N X B () ρ B, H B ): N X B T ρ B R The channel is fully specified by the finite set of output states {ρ B } it produces for each of the possible inputs X.

4 Classical-quantum channel coding We measure the number of messages M {1, 2,..., 2 nr } that can be transmitted using n uses of the channel. m M E N n {Λ m } M n ρb M H Bn A rate R is achievable if there eists a coding scheme with small average probability of error: p e 1 M Pr{M m m is sent} ɛ. m M

5 Classical-quantum channel coding We measure the number of messages M {1, 2,..., 2 nr } that can be transmitted using n uses of the channel. m M E N n {Λ m } M n ρb M H Bn p e 1 M m M ) } Tr {(I Λ Bn n (m) ρ Bn n (m) ɛ.

6 Classical-quantum channel coding We measure the number of messages M {1, 2,..., 2 nr } that can be transmitted using n uses of the channel. m M E N n {Λ m } M n ρb M H Bn Convert noisy resource N X B into noiseless resource [c c]: n N X B (1 ɛ) nr [c c]

7 A bridge from classical to quantum information theory y a Y v B H B symbol from a finite set vector in a Hilbert space p Y P(Y) ρ B D(H B ) probability distribution density matri quantum state p Y (y) P 0, y Y v ρ B v 0, v H B y py (y) = 1 Tr[ρB ] = 1 p Y X {ρ B }, X conditional probability distribution conditional states classical-classical channel classical-quantum channel p XY (, y) p X()p Y X (y ) θ XB P px() X ρ B joint input-output distribution joint input-output state p Ȳ EX p Y X = P pxy (, y) ρb EX ρ B X = P px()ρb average output distribution average output state

8 A bridge from classical to quantum information theory y a Y v B H B p Y P(Y) ρ B D(H B ) p Y X {ρ B }, X p XY (, y) p X()p Y X (y ) θ XB P px() X ρ B p Ȳ EX p Y X = P pxy (, y) ρb EX ρ B X = P px()ρb 1 n y n T (n) o (Ȳ δ Π ρ Π Bn ρ n,δ indicator function for projector onto the the output-typical set output-typical subspace 1 n y n T (n) o (Y δ ) Π n Π Bn ρ n,δ indicator function for the conditionally typical conditionally typical set projector for the state ρ Bn n

9 Introduction Quantum information theory Quantum broadcast channels Conditional typicality H Bn Π ρ Y n n n Πρ n T (n) δ (X) T (n) δ (Y n ) T (n) δ (Ȳ ) T (n) δ (X) X E y n T (n) (Y X δ n ) X E y n T (n) (Ȳ δ ) p Y n y n 1 ɛ, p Y n y n 1 ɛ, p Ȳ n (yn ) 1 j y n T ɛ (n) ff n[h(ȳ ) δ] 2 1 j (Ȳ ) y n T ɛ (n) ff (Ȳ ) X 1 j y n Y n y n T ɛ (n) ff n[h(y X)+δ] 2 (Y ) h i E Tr ρ B Πn ρ B,δ 1 ɛ, h E Tr ρ B X i n Π ρ 1 ɛ, Π ρ ρ n Π ρ 2 n[h(b) δ] Π ρ, h i Tr 2 n[h(b X)ρ+δ]. Π n ρ B,δ Savov and Wilde QBCs

10 Quantum decoder construction How do we combine the projectors Π ρ and Π n (m) to build a decoding measurement Λ m? Unlike in the classical case, the order in which we apply the typical projectors to the state matters: Π n (m)π ρ Π ρ Π n (m)

11 Quantum broadcast channel T ρ B 2 R2 ρ B 1 R1 A classical-quantum broadcast channel is a triple: (X, N X B1B2 ρ B1B2, H B1B2 ). The Transmitter can send one of the X possible signal states. Receiver 1 gets ρ B1 Receiver 2 gets ρ B2 = Tr B2 [ρ B1B2 ]. = Tr B1 [ρ B1B2 ].

12 Superposition coding inner bound T ρ B 2 ρ B 1 R2 R1 n N X B1B2 (1 ɛ) nr [c cc] X B1B2 }{{} common message + nr 1 [c c] X B1 }{{} superimposed message Theorem 1: A rate pair (R, R 1 ) is achievable for the quantum broadcast channel {ρ B1B2 } if it satisfies the following inequalities: R 1 I(X; B 1 W ) θ, R 1 + R I(X; B 1 ) θ, R I(W ; B 2 ) θ, where the above information quantities are with respect to a state θ W XB1B2 = w, p W (w)p X W ( w) w w W X ρ B1B2.

13 Marton inner bound T ρ B 2 ρ B 1 R2 n N X B1B2 (1 ɛ) R1 nr 1 [c c] X B1 }{{} for R1 + nr 2 [c c] X B2 }{{} for R2 Theorem 2: Let {ρ B1B2 } be a classical-quantum broadcast channel and let = f(u 1, u 2 ) be a deterministic function. The following rate region is achievable: R 1 I(U 1 ; B 1 ) θ, R 2 I(U 2 ; B 2 ) θ, (1) R 1 + R 2 I(U 1 ; B 1 ) θ + I(U 2 ; B 2 ) θ I(U 1 ; U 2 ) θ, where the information quantities are with respect to the state: θ U1U2B1B2 = p(u 1, u 2 ) u 1 u 1 U1 u 2 u 2 U2 ρ B1B2 u 1,u 2 f(u 1,u 2).

14 Sketch of proof of Theorem 1: Superposition coding The common message l [1,..., 2 nr ] is encoded using a random codebook w n (l) p W n(w n ). An etra message for Receiver 1, m [1,..., 2 nr1 ] is encoded using a conditional-codebook n (m, l) p Xn W n(n w n (l)). Receiver 1 uses a POVM {Λ m,l } constructed from the projector sandwich : P m,l Π ρ Π wn (l) Π n (m,l) Π wn (l) Π ρ, (2) and the normalization procedure: Λ m,l P m,l m,l 1/2 P m,l m,l P m,l 1/2. (3) This is known as the square-root measurement.

15 Sketch of proof (continued) Without loss of generality, assume m = 1 and l = 1. By using the Hayashi-Nagaoka operator inequality, we can brake up the the probability of error for Receiver 1 into two terms: [( ) ] p e Tr I Λ Bn 1 (1,1) ρ Bn (1,1) ] 2 Tr [(I P 1,1 ) ρ Bn (1,1) }{{} Type I error +4 (m,l) (1,1) Tr [P m,l ρ Bn (1,1) ]. } {{ } Type II error Furthermore, the Type II error can be split into: ] Tr [P m,l ρ Bn (1,1) = [ ] Tr P m,1 ρ B1 (1,1) + m 1 m, }{{} l 1 Error Type II (a) (m,l) (1,1) [ ] Tr P m,l ρ B1 (1,1). } {{ } Error Type II (b)

16 Packing argument: Type II(a) error Assume l (the common message) was decoded correctly. n (m, l) H Bn 1 W n n (m, l) Π n (m,l) Π n (m,l) w n (l) Π wn (l) The size of the w n (l)-conditionally typical space is 2 nh(b1 W ). The size of each n (m, l) conditionally typical cloud is 2 nh(b1 X,W ). Therefore, we can pack: 2 nh(b1 W ) 2 nh(b1 X,W ) = 2n[H(B1 W ) H(B1 X,W )] = 2 ni(x;b1 W ), codewords in the available space.

17 Introduction Quantum information theory Quantum broadcast channels Quantum network-information theory Re ρ B 1, 1 1 T1 1 ρ B 1 1, 2 R1 T (a) QRC ρ B, 1 n o ρ B 1B, 1 R T2 2 ρ B 2 1, 2 n o (b) QIC ρ B 1B 2 1, 2 R2 Figure: Other classical-quantum channels for which will be discussed in this session: (a) quantum relay channels (QRCs) and (b) quantum interference channels (QICs). Each of these problems requires different error analysis techniques. Savov and Wilde QBCs

18 The end Introduction Quantum information theory Quantum broadcast channels Thank you for your attention! See arxiv: for further details. Savov and Wilde QBCs