A unified framework for complementarity in quantum information - - PowerPoint PPT Presentation

a unified framework for complementarity in quantum
SMART_READER_LITE
LIVE PREVIEW

A unified framework for complementarity in quantum information - - PowerPoint PPT Presentation

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels A unified framework for complementarity in quantum information Jason Crann with D. Kribs, R. Levene and I. Todorov. Carleton University and Universit Lille 1


slide-1
SLIDE 1

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

A unified framework for complementarity in quantum information

Jason Crann

with D. Kribs, R. Levene and I. Todorov.

Carleton University and Université Lille 1

Recent Developments in Quantum Groups Operator Algebras and Applications February 7th, 2015

slide-2
SLIDE 2

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Open system dynamics

Schrödinger picture: Quantum states evolve under completely positive trace preserving (CPTP) maps E✝ : T ♣HSq Ñ T ♣HSq.

✝♣ q ✏ ♣

❜ q♣ ♣ ❜ ⑤ ②① ⑤q

✝q ✝

♣ q Ñ ♣ q

✝♣ q ✏ ♣

❜ q♣ ♣ ❜ ⑤ ②① ⑤q

✝q ✝ ✝

slide-3
SLIDE 3

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Open system dynamics

Schrödinger picture: Quantum states evolve under completely positive trace preserving (CPTP) maps E✝ : T ♣HSq Ñ T ♣HSq. By Stinespring’s dilation theorem: E✝♣ρq ✏ ♣id ❜ trEq♣U♣ρ ❜ ⑤ψE②①ψE⑤qU✝q.

♣ q Ñ ♣ q

✝♣ q ✏ ♣

❜ q♣ ♣ ❜ ⑤ ②① ⑤q

✝q ✝ ✝

slide-4
SLIDE 4

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Open system dynamics

Schrödinger picture: Quantum states evolve under completely positive trace preserving (CPTP) maps E✝ : T ♣HSq Ñ T ♣HSq. By Stinespring’s dilation theorem: E✝♣ρq ✏ ♣id ❜ trEq♣U♣ρ ❜ ⑤ψE②①ψE⑤qU✝q. Complementary channel: Ec

✝ : T ♣HSq Ñ T ♣HEq:

Ec

✝♣ρq ✏ ♣trS ❜ idq♣U♣ρ ❜ ⑤ψE②①ψE⑤qU✝q. ✝ ✝

slide-5
SLIDE 5

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Open system dynamics

Schrödinger picture: Quantum states evolve under completely positive trace preserving (CPTP) maps E✝ : T ♣HSq Ñ T ♣HSq. By Stinespring’s dilation theorem: E✝♣ρq ✏ ♣id ❜ trEq♣U♣ρ ❜ ⑤ψE②①ψE⑤qU✝q. Complementary channel: Ec

✝ : T ♣HSq Ñ T ♣HEq:

Ec

✝♣ρq ✏ ♣trS ❜ idq♣U♣ρ ❜ ⑤ψE②①ψE⑤qU✝q.

Note: Complement is defined up to partial isometry.

✝ ✝

slide-6
SLIDE 6

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Open system dynamics

Schrödinger picture: Quantum states evolve under completely positive trace preserving (CPTP) maps E✝ : T ♣HSq Ñ T ♣HSq. By Stinespring’s dilation theorem: E✝♣ρq ✏ ♣id ❜ trEq♣U♣ρ ❜ ⑤ψE②①ψE⑤qU✝q. Complementary channel: Ec

✝ : T ♣HSq Ñ T ♣HEq:

Ec

✝♣ρq ✏ ♣trS ❜ idq♣U♣ρ ❜ ⑤ψE②①ψE⑤qU✝q.

Note: Complement is defined up to partial isometry. E✝ and Ec

✝ have dual properties

slide-7
SLIDE 7

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Correctable subsystems [Kribs–Laflamme–Poulin ’05 ]

If HS ✏ ♣HA ❜ HBq, then B is a correctable subsystem for E✝ : T ♣HSq Ñ T ♣HSq if ❉ a CPTP map R✝ : T ♣HSq Ñ T ♣HSq such that R✝ ✆ E✝ ✏ F✝ ❜ idB for some CPTP map F✝ : T ♣HAq Ñ T ♣HSq.

slide-8
SLIDE 8

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Correctable subsystems [Kribs–Laflamme–Poulin ’05 ]

If HS ✏ ♣HA ❜ HBq, then B is a correctable subsystem for E✝ : T ♣HSq Ñ T ♣HSq if ❉ a CPTP map R✝ : T ♣HSq Ñ T ♣HSq such that R✝ ✆ E✝ ✏ F✝ ❜ idB for some CPTP map F✝ : T ♣HAq Ñ T ♣HSq. IDEA: Information stored in B is recoverable after the channel.

slide-9
SLIDE 9

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

ε-Correctable subsystems

If HS ✏ ♣HA ❜ HBq, then B is an ε-correctable subsystem for E✝ : T ♣HSq Ñ T ♣HSq if ❉ a CPTP map R✝ : T ♣HSq Ñ T ♣HSq such that R✝ ✆ E✝ ✁ F✝ ❜ idBcb ➔ ε for some CPTP map F✝ : T ♣HAq Ñ T ♣HSq. IDEA: Information stored in B is ε-recoverable after the channel.

slide-10
SLIDE 10

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Private subsystems [Bartlett–Rudolph–Spekkens ’04 ]

If HS ✏ ♣HA ❜ HBq, then B is a private subsystem for E✝ : T ♣HSq Ñ T ♣HSq if ❉ a CPTP map F✝ : T ♣HAq Ñ T ♣HSq such that E✝ ✏ F✝ ❜ trB.

slide-11
SLIDE 11

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Private subsystems [Bartlett–Rudolph–Spekkens ’04 ]

If HS ✏ ♣HA ❜ HBq, then B is a private subsystem for E✝ : T ♣HSq Ñ T ♣HSq if ❉ a CPTP map F✝ : T ♣HAq Ñ T ♣HSq such that E✝ ✏ F✝ ❜ trB. IDEA: Information stored in B completely decoheres.

slide-12
SLIDE 12

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

ε-Private subsystems

If HS ✏ ♣HA ❜ HBq, then B is an ε-private subsystem for E✝ : T ♣HSq Ñ T ♣HSq if ❉ a CPTP map F✝ : T ♣HAq Ñ T ♣HSq such that E✝ ✁ F✝ ❜ trBcb ➔ ε. IDEA: Information stored in B ε-decoheres.

slide-13
SLIDE 13

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Complementarity theorem

Theorem (Kretschmann–Kribs–Spekkens ’08) Let HS ✏ ♣HA ❜ HBq be finite-dimensional and E✝ : T ♣HSq Ñ T ♣HSq be CPTP. Then

✝ ô

✝ ✝ ô

slide-14
SLIDE 14

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Complementarity theorem

Theorem (Kretschmann–Kribs–Spekkens ’08) Let HS ✏ ♣HA ❜ HBq be finite-dimensional and E✝ : T ♣HSq Ñ T ♣HSq be CPTP. Then B is ε-correctable for E✝ ô B is 2❄ε-private for any Ec

✝. ✝ ô

slide-15
SLIDE 15

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Complementarity theorem

Theorem (Kretschmann–Kribs–Spekkens ’08) Let HS ✏ ♣HA ❜ HBq be finite-dimensional and E✝ : T ♣HSq Ñ T ♣HSq be CPTP. Then B is ε-correctable for E✝ ô B is 2❄ε-private for any Ec

✝.

B is ε-private for E✝ ô B is 2❄ε-correctable for any Ec

✝.

slide-16
SLIDE 16

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Heisenberg Picture

Observables evolve under normal unital completely positive (NUCP) maps: E : B♣HSq Ñ B♣HSq. ✏ ♣ ❜ q

♣ q Ñ ♣ q ❉ ♣ q Ñ ♣ q ✆ ♣ q ✏ ♣ ❜ q P ♣ q

slide-17
SLIDE 17

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Heisenberg Picture

Observables evolve under normal unital completely positive (NUCP) maps: E : B♣HSq Ñ B♣HSq. If HS ✏ ♣HA ❜ HBq, then B is correctable for E✝ : T ♣HSq Ñ T ♣HSq iff ❉ a NUCP map R : B♣HBq Ñ B♣HSq such that E ✆ R♣bq ✏ ♣1 ❜ bq for all b P B♣HBq.

slide-18
SLIDE 18

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Correctable subalgebras [Bény–Kempf–Kribs ’07 ]

A von Neumann subalgebra N ❸ B♣HSq is ε-correctable for E : B♣HSq Ñ B♣HSq if ❉ a NUCP map R : N Ñ B♣HSq such that E ✆ R ✁ idNcb ➔ ε. ✏ ❜ ♣ q ✕

slide-19
SLIDE 19

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Correctable subalgebras [Bény–Kempf–Kribs ’07 ]

A von Neumann subalgebra N ❸ B♣HSq is ε-correctable for E : B♣HSq Ñ B♣HSq if ❉ a NUCP map R : N Ñ B♣HSq such that E ✆ R ✁ idNcb ➔ ε. Note: If N is a type I factor, then N ✏ 1 ❜ B♣Hq. ✕

slide-20
SLIDE 20

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Correctable subalgebras [Bény–Kempf–Kribs ’07 ]

A von Neumann subalgebra N ❸ B♣HSq is ε-correctable for E : B♣HSq Ñ B♣HSq if ❉ a NUCP map R : N Ñ B♣HSq such that E ✆ R ✁ idNcb ➔ ε. Note: If N is a type I factor, then N ✏ 1 ❜ B♣Hq. Correctable subsystems ✕ Correctable type I factors

slide-21
SLIDE 21

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Duality picture

Correctable subalgebras ???? ➈ Correctable subsystems Ø Private subsystems

slide-22
SLIDE 22

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Quantum channels

Heisenberg: Observables on the output HS evolve to observables

  • n the input HS.

E : B♣HSq Ñ B♣HSq ❸ ♣ q ❸ ♣ q ❸ ♣ q Ñ ♣ q

slide-23
SLIDE 23

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Quantum channels

Heisenberg: Observables on the output HS evolve to observables

  • n the input HS.

E : B♣HSq Ñ B♣HSq Subset S ❸ B♣HSq observables ❸ ♣ q ❸ ♣ q Ñ ♣ q

slide-24
SLIDE 24

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Quantum channels

Heisenberg: Observables on the output HS evolve to observables

  • n the input HS.

E : B♣HSq Ñ B♣HSq Subset S ❸ B♣HSq observables whose spectral projections lie in M ❸ B♣HSq. ❸ ♣ q Ñ ♣ q

slide-25
SLIDE 25

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Quantum channels

Heisenberg: Observables on the output HS evolve to observables

  • n the input HS.

E : B♣HSq Ñ B♣HSq Subset S ❸ B♣HSq observables whose spectral projections lie in M ❸ B♣HSq. Definition Let M ❸ B♣HSq be a von Neumann algebra. A quantum channel is a NUCP map E : M Ñ B♣HSq.

slide-26
SLIDE 26

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Private subsystems

If HS ✏ ♣HA ❜ HBq, then B is private for E✝ : T ♣HSq Ñ T ♣HSq iff E✝ ✏ F✝ ❜ trB, F✝ : T ♣HAq Ñ T ♣HSq. ① ♣ q ❜ ② ✏ ① ♣ q ❜ ❜ ② ♣ ♣ qq ❸ ♣ ♣ q ❜ q ✏ ♣ ❜ ♣ qq✶

slide-27
SLIDE 27

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Private subsystems

If HS ✏ ♣HA ❜ HBq, then B is private for E✝ : T ♣HSq Ñ T ♣HSq iff E✝ ✏ F✝ ❜ trB, F✝ : T ♣HAq Ñ T ♣HSq. ①E♣xq, ρA ❜ ρB② ✏ ①F♣xq ❜ 1, ρA ❜ ρB② ♣ ♣ qq ❸ ♣ ♣ q ❜ q ✏ ♣ ❜ ♣ qq✶

slide-28
SLIDE 28

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Private subsystems

If HS ✏ ♣HA ❜ HBq, then B is private for E✝ : T ♣HSq Ñ T ♣HSq iff E✝ ✏ F✝ ❜ trB, F✝ : T ♣HAq Ñ T ♣HSq. ①E♣xq, ρA ❜ ρB② ✏ ①F♣xq ❜ 1, ρA ❜ ρB② so that E♣B♣HSqq ❸ ♣B♣HAq ❜ 1q ✏ ♣1 ❜ B♣HBqq✶.

slide-29
SLIDE 29

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Private subalgebras

Definition (C.–Kribs–Levene–Todorov ’14) A von Neumann subalgebra N ❸ B♣HSq is private for E : M Ñ B♣HSq if E♣Mq ❸ N✶. → ❉ Ñ ♣ q ✁ ➔

slide-30
SLIDE 30

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Private subalgebras

Definition (C.–Kribs–Levene–Todorov ’14) A von Neumann subalgebra N ❸ B♣HSq is private for E : M Ñ B♣HSq if E♣Mq ❸ N✶. Given ε → 0, we say that N is ε-private for E if ❉ a quantum channel F : M Ñ B♣HSq such that E ✁ Fcb ➔ ε and N is private for F.

slide-31
SLIDE 31

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Private subalgebras

Examples: Any normal conditional expectation E : B♣Hq Ñ N✶, e.g., if π : G Ñ B♣Hq is unitary rep. a compact group, E♣xq ✏ ➺

G

π♣sqxπ♣sq✝ds maps onto π♣Gq✶. ♣ ♣ q q ✏ ① ♣ q ② ✏ ① ♣ q ⑤

✶②

♣ q ✏ ❳

slide-32
SLIDE 32

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Private subalgebras

Examples: Any normal conditional expectation E : B♣Hq Ñ N✶, e.g., if π : G Ñ B♣Hq is unitary rep. a compact group, E♣xq ✏ ➺

G

π♣sqxπ♣sq✝ds maps onto π♣Gq✶. Since E♣E♣xq, ρq ✏ ①E♣xq, ρ② ✏ ①E♣xq, ρ⑤N✶② ♣ q ✏ ❳

slide-33
SLIDE 33

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Private subalgebras

Examples: Any normal conditional expectation E : B♣Hq Ñ N✶, e.g., if π : G Ñ B♣Hq is unitary rep. a compact group, E♣xq ✏ ➺

G

π♣sqxπ♣sq✝ds maps onto π♣Gq✶. Since E♣E♣xq, ρq ✏ ①E♣xq, ρ② ✏ ①E♣xq, ρ⑤N✶② IDEA: The only information contained in N that survives is Z♣Nq ✏ N ❳ N✶. ✕

slide-34
SLIDE 34

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Private subalgebras

Examples: Any normal conditional expectation E : B♣Hq Ñ N✶, e.g., if π : G Ñ B♣Hq is unitary rep. a compact group, E♣xq ✏ ➺

G

π♣sqxπ♣sq✝ds maps onto π♣Gq✶. Since E♣E♣xq, ρq ✏ ①E♣xq, ρ② ✏ ①E♣xq, ρ⑤N✶② IDEA: The only information contained in N that survives is Z♣Nq ✏ N ❳ N✶. If N is a factor, then all information is lost. ✕

slide-35
SLIDE 35

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Private subalgebras

Examples: Any normal conditional expectation E : B♣Hq Ñ N✶, e.g., if π : G Ñ B♣Hq is unitary rep. a compact group, E♣xq ✏ ➺

G

π♣sqxπ♣sq✝ds maps onto π♣Gq✶. Since E♣E♣xq, ρq ✏ ①E♣xq, ρ② ✏ ①E♣xq, ρ⑤N✶② IDEA: The only information contained in N that survives is Z♣Nq ✏ N ❳ N✶. If N is a factor, then all information is lost. Private subsystems ✕ Private factors of type I

slide-36
SLIDE 36

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Duality picture

Correctable subalgebras ?? Private subalgebras ➈ ➈ Correctable subsystems Ø Private subsystems

slide-37
SLIDE 37

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Complementarity

Definition (C.–Kribs–Levene–Todorov ’14) Let E : M Ñ B♣HSq be a quantum channel. Given a Stinespring representation ♣π, V , Hq of E, we define the complementary channel to be the NUCP map Ec : π♣Mq✶ Ñ B♣HSq given by Ec♣Xq ✏ V ✝XV , X P π♣Mq✶. ✒ ♣ q✶ ✏ ♣ q ♣ q ✏ ❜ ♣ q✶ ✏ ❜ ♣ q

slide-38
SLIDE 38

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Complementarity

Definition (C.–Kribs–Levene–Todorov ’14) Let E : M Ñ B♣HSq be a quantum channel. Given a Stinespring representation ♣π, V , Hq of E, we define the complementary channel to be the NUCP map Ec : π♣Mq✶ Ñ B♣HSq given by Ec♣Xq ✏ V ✝XV , X P π♣Mq✶. Again, defined up to partial isometries. ✒ ♣ q✶ ✏ ♣ q ♣ q ✏ ❜ ♣ q✶ ✏ ❜ ♣ q

slide-39
SLIDE 39

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Complementarity

Definition (C.–Kribs–Levene–Todorov ’14) Let E : M Ñ B♣HSq be a quantum channel. Given a Stinespring representation ♣π, V , Hq of E, we define the complementary channel to be the NUCP map Ec : π♣Mq✶ Ñ B♣HSq given by Ec♣Xq ✏ V ✝XV , X P π♣Mq✶. Again, defined up to partial isometries. In this case, environment ✒ π♣Mq✶. ✏ ♣ q ♣ q ✏ ❜ ♣ q✶ ✏ ❜ ♣ q

slide-40
SLIDE 40

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Complementarity

Definition (C.–Kribs–Levene–Todorov ’14) Let E : M Ñ B♣HSq be a quantum channel. Given a Stinespring representation ♣π, V , Hq of E, we define the complementary channel to be the NUCP map Ec : π♣Mq✶ Ñ B♣HSq given by Ec♣Xq ✏ V ✝XV , X P π♣Mq✶. Again, defined up to partial isometries. In this case, environment ✒ π♣Mq✶. If M ✏ B♣HSq, then π♣xq ✏ x ❜ 1E and π♣Mq✶ ✏ 1 ❜ B♣HEq.

slide-41
SLIDE 41

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Complementarity

Theorem (C.–Kribs–Levene–Todorov ’14) Let E : M Ñ B♣HSq be a quantum channel, and N ❸ B♣HSq be a von Neumann subalgebra. Then ô ❄ ô ❄ ✁ ❛

↕ ✁

✽ ↕

❛ ✁ Ñ ♣ q

slide-42
SLIDE 42

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Complementarity

Theorem (C.–Kribs–Levene–Todorov ’14) Let E : M Ñ B♣HSq be a quantum channel, and N ❸ B♣HSq be a von Neumann subalgebra. Then N is ε-private for E ô N is 2❄ε-correctable for any Ec. ô ❄ ✁ ❛

↕ ✁

✽ ↕

❛ ✁ Ñ ♣ q

slide-43
SLIDE 43

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Complementarity

Theorem (C.–Kribs–Levene–Todorov ’14) Let E : M Ñ B♣HSq be a quantum channel, and N ❸ B♣HSq be a von Neumann subalgebra. Then N is ε-private for E ô N is 2❄ε-correctable for any Ec. N is ε-correctable for E ô N is 8❄ε-private for any Ec. ✁ ❛

↕ ✁

✽ ↕

❛ ✁ Ñ ♣ q

slide-44
SLIDE 44

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Complementarity

Theorem (C.–Kribs–Levene–Todorov ’14) Let E : M Ñ B♣HSq be a quantum channel, and N ❸ B♣HSq be a von Neumann subalgebra. Then N is ε-private for E ô N is 2❄ε-correctable for any Ec. N is ε-correctable for E ô N is 8❄ε-private for any Ec. Main Tools: Arveson’s commutant lifting and the continuity of Stinespring rep (Kretschmann–Schlingemann–Werner ’08): Φ1 ✁ Φ2cb ❛ Φ1cb ❛ Φ2cb ↕ inf

V1,V2V1 ✁ V2✽ ↕

❛ Φ1 ✁ Φ2cb for CP maps Φ1, Φ2 : A Ñ B♣Hq.

slide-45
SLIDE 45

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Complementarity

Corollary (C.–Kribs–Levene–Todorov ’14) Let E : M Ñ B♣HSq be a quantum channel. Then a von Neumann subalgebra N ❸ B♣HSq is correctable for E iff ❉ a normal faithful ✝-homomorphism π : N Ñ M such that yE♣xq ✏ E♣π♣yqxq, and E♣xqy ✏ E♣xπ♣yqq for all y P N and x P M ✝

slide-46
SLIDE 46

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Complementarity

Corollary (C.–Kribs–Levene–Todorov ’14) Let E : M Ñ B♣HSq be a quantum channel. Then a von Neumann subalgebra N ❸ B♣HSq is correctable for E iff ❉ a normal faithful ✝-homomorphism π : N Ñ M such that yE♣xq ✏ E♣π♣yqxq, and E♣xqy ✏ E♣xπ♣yqq for all y P N and x P M (Johnston–Kribs ’11). ✝

slide-47
SLIDE 47

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Complementarity

Corollary (C.–Kribs–Levene–Todorov ’14) Let E : M Ñ B♣HSq be a quantum channel. Then a von Neumann subalgebra N ❸ B♣HSq is correctable for E iff ❉ a normal faithful ✝-homomorphism π : N Ñ M such that yE♣xq ✏ E♣π♣yqxq, and E♣xqy ✏ E♣xπ♣yqq for all y P N and x P M (Johnston–Kribs ’11). In particular, the recovery operation R may always to taken to be a ✝-homomorphism (Bény–Kempf–Kribs ’09).

slide-48
SLIDE 48

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Examples: Gaussian Channels

slide-49
SLIDE 49

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Weyl representation

Let R2n represent the phase space of a system of n-bosonic modes. ✏ ♣ ☎ ☎ ☎ q ✏ ♣ q ✏ ♣ q Ñ ♣ ♣ qq ♣ q ✏

① ② ♣ q

♣ q ✏ ♣ q ✏

① ②

slide-50
SLIDE 50

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Weyl representation

Let R2n represent the phase space of a system of n-bosonic modes. View vectors as z ✏ ♣x1, y1, x2, y2, ☎ ☎ ☎ , xn, ynq, where x ✏ ♣x1, ..., xnq and y ✏ ♣y1, ..., ynq are the canonical coordinates

  • f the n-modes.

Ñ ♣ ♣ qq ♣ q ✏

① ② ♣ q

♣ q ✏ ♣ q ✏

① ②

slide-51
SLIDE 51

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Weyl representation

Let R2n represent the phase space of a system of n-bosonic modes. View vectors as z ✏ ♣x1, y1, x2, y2, ☎ ☎ ☎ , xn, ynq, where x ✏ ♣x1, ..., xnq and y ✏ ♣y1, ..., ynq are the canonical coordinates

  • f the n-modes.

Define U, V : Rn Ñ B♣L2♣Rnqq by Vxψ♣sq ✏ ei①x,s②ψ♣sq and Uyψ♣sq ✏ ψ♣s yq. ✏

① ②

slide-52
SLIDE 52

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Weyl representation

Let R2n represent the phase space of a system of n-bosonic modes. View vectors as z ✏ ♣x1, y1, x2, y2, ☎ ☎ ☎ , xn, ynq, where x ✏ ♣x1, ..., xnq and y ✏ ♣y1, ..., ynq are the canonical coordinates

  • f the n-modes.

Define U, V : Rn Ñ B♣L2♣Rnqq by Vxψ♣sq ✏ ei①x,s②ψ♣sq and Uyψ♣sq ✏ ψ♣s yq. These satisfy the Weyl (CCR): UyVx ✏ ei①x,y②VxUy.

slide-53
SLIDE 53

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Weyl representation

Composing, we obtain W : R2n Ñ B♣L2♣Rnqq given by W ♣zq ✏ e

i 2 ①x,y②VxUy.

✶q ✏ ♣

✶q

♣ q ♣ ✶q ♣

✶q ✏ ➦ ✏ ♣ ✶ ✁ ✶

q ✏ ❵ ✏ ✂ ✁ ✡

slide-54
SLIDE 54

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Weyl representation

Composing, we obtain W : R2n Ñ B♣L2♣Rnqq given by W ♣zq ✏ e

i 2 ①x,y②VxUy.

This satisfies Weyl–Segal form of the CCR: W ♣z z✶q ✏ e

i 2 ∆♣z,z✶qW ♣zqW ♣z✶q,

where ∆♣z, z✶q ✏ ➦n

i✏1♣xiy✶ i ✁ x✶ i yiq is the symplectic form on

R2n, represented by the matrix ∆ ✏ ❵n

i✏1

✂ 0 1 ✁1 ✡ .

slide-55
SLIDE 55

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Symplectic transformations

Let Sp♣2n, Rq ✏ tT P GL♣2n, Rq ⑤ ∆♣Tz, Tz✶q ✏ ∆♣z, z✶q✉. ❅ P ♣ q P ♣ ♣ qq ♣ q ✏

♣ q P ♣ q

slide-56
SLIDE 56

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Symplectic transformations

Let Sp♣2n, Rq ✏ tT P GL♣2n, Rq ⑤ ∆♣Tz, Tz✶q ✏ ∆♣z, z✶q✉. Phase space transformations that preserve the CCR ❅ P ♣ q P ♣ ♣ qq ♣ q ✏

♣ q P ♣ q

slide-57
SLIDE 57

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Symplectic transformations

Let Sp♣2n, Rq ✏ tT P GL♣2n, Rq ⑤ ∆♣Tz, Tz✶q ✏ ∆♣z, z✶q✉. Phase space transformations that preserve the CCR Stone-von Neumann: ❅ T P Sp♣2n, Rq there exists a unitary UT P B♣L2♣Rnqq such that W ♣Tzq ✏ U✝

TW ♣zqUT,

z P R2n. ♣ q

slide-58
SLIDE 58

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Symplectic transformations

Let Sp♣2n, Rq ✏ tT P GL♣2n, Rq ⑤ ∆♣Tz, Tz✶q ✏ ∆♣z, z✶q✉. Phase space transformations that preserve the CCR Stone-von Neumann: ❅ T P Sp♣2n, Rq there exists a unitary UT P B♣L2♣Rnqq such that W ♣Tzq ✏ U✝

TW ♣zqUT,

z P R2n. Metaplectic representation of Sp♣2n, Rq.

slide-59
SLIDE 59

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Characteristic Functions

For ρ P T ♣L2♣Rnqq, we let ϕρ♣zq :✏ tr♣ρW ♣zqq, for z P R2n. ✏ ♣ q ➺ ♣ q ♣✁ q P ♣ ♣ qq ♣ q ✏ ✂ ① ② ✁ ♣ q ✡ P

slide-60
SLIDE 60

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Characteristic Functions

For ρ P T ♣L2♣Rnqq, we let ϕρ♣zq :✏ tr♣ρW ♣zqq, for z P R2n. Characteristic function ϕρ determines ρ via: ρ ✏ 1 ♣2πqn ➺

R2n ϕρ♣zqW ♣✁zqd2nz.

P ♣ ♣ qq ♣ q ✏ ✂ ① ② ✁ ♣ q ✡ P

slide-61
SLIDE 61

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Characteristic Functions

For ρ P T ♣L2♣Rnqq, we let ϕρ♣zq :✏ tr♣ρW ♣zqq, for z P R2n. Characteristic function ϕρ determines ρ via: ρ ✏ 1 ♣2πqn ➺

R2n ϕρ♣zqW ♣✁zqd2nz.

A state ρ P T ♣L2♣Rnqq is Gaussian if ϕρ is of the form ϕρ♣zq ✏ exp ✂ i①m, z② ✁ 1 2α♣z, zq ✡ where m P R2n and α is a symmetric bilinear form.

slide-62
SLIDE 62

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Linear bosonic channels

E : B♣L2♣Rnqq Ñ B♣L2♣Rnqq is linear bosonic if E✝♣ρq ✏ ♣id ❜ trEq♣UT♣ρ ❜ ρEqU✝

Tq,

ρ P T ♣L2♣Rnqq, where ρE P T ♣L2♣Rlqq and UT P B♣L2♣R♣nlqqq representing a symplectic matrix T P Sp♣2♣m lq, Rq of the form T ✏ ✂ K L KE LE ✡ where K : Rn Ñ Rn, L : Rl Ñ Rn, KE : Rn Ñ Rl and LE : Rl Ñ Rl.

slide-63
SLIDE 63

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Gaussian channels

E✝♣ρq ✏ ♣id ❜ trEq♣UT♣ρ ❜ ρEqU✝

Tq

Since Wnl♣Tzq ✏ U✝

TWnl♣zqUT, and

T ✏ ✂ K L KE LE ✡ we get E♣Wn♣zqq ✏ ˆ f ♣zqWn♣Kzq, where ˆ f ♣zq ✏ ϕρE ♣KEzq, z P R2n. ✏

slide-64
SLIDE 64

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Gaussian channels

E✝♣ρq ✏ ♣id ❜ trEq♣UT♣ρ ❜ ρEqU✝

Tq

Since Wnl♣Tzq ✏ U✝

TWnl♣zqUT, and

T ✏ ✂ K L KE LE ✡ we get E♣Wn♣zqq ✏ ˆ f ♣zqWn♣Kzq, where ˆ f ♣zq ✏ ϕρE ♣KEzq, z P R2n. If ˆ f ✏ ϕρ✶

E for a Gaussian state, then E is a Gaussian channel.

slide-65
SLIDE 65

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Gaussian channels

Example: If f ♣zq ✏

1 ♣2παqn④2 e✁ z2

2α , then

E♣xq ✏ ➺

R2n Wn♣zq✝xWn♣zqf ♣zqdz

is a Gaussian channel. ♣ ♣ qq ✏ ♣ q ♣ q ♣ q ✏ ➺

♣ q ♣ q

slide-66
SLIDE 66

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Gaussian channels

Example: If f ♣zq ✏

1 ♣2παqn④2 e✁ z2

2α , then

E♣xq ✏ ➺

R2n Wn♣zq✝xWn♣zqf ♣zqdz

is a Gaussian channel. It follows that E♣Wn♣zqq ✏ ˆ f ♣zqWn♣zq, ˆ f ♣zq ✏ ➺

R2n ei∆♣w,zqf ♣wqdw.

slide-67
SLIDE 67

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Gaussian channels

Example: If f ♣zq ✏

1 ♣2παqn④2 e✁ z2

2α , then

E♣xq ✏ ➺

R2n Wn♣zq✝xWn♣zqf ♣zqdz

is a Gaussian channel. It follows that E♣Wn♣zqq ✏ ˆ f ♣zqWn♣zq, ˆ f ♣zq ✏ ➺

R2n ei∆♣w,zqf ♣wqdw.

In the lab: model classical Gaussian noise in optical fibres.

slide-68
SLIDE 68

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Gaussian channels

Example: If f ♣zq ✏

1 ♣2παqn④2 e✁ z2

2α , then

E♣xq ✏ ➺

R2n Wn♣zq✝xWn♣zqf ♣zqdz

is a Gaussian channel. It follows that E♣Wn♣zqq ✏ ˆ f ♣zqWn♣zq, ˆ f ♣zq ✏ ➺

R2n ei∆♣w,zqf ♣wqdw.

In the lab: model classical Gaussian noise in optical fibres. IDEA: Use complementarity to produce explicit private subalgebras for E.

slide-69
SLIDE 69

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Gaussian channels

Example: If n ✏ 1, K ✏ 1 0

0 0

✟ and ˆ f ♣zq ✏ e✁ α

2 ♣x2y2q.

E♣W ♣zqq ✏ ˆ f ♣zqW ♣Kzq ✏ ˆ f ♣zqVx P L✽♣Rq✶.

✽♣ q ✽♣ q ✝♣ q ✏ ♣

❜ q♣ ♣ ❜ q

✝ q

✏ ☎ ✝ ✝ ✆ ✁ ✁ ☞ ✍ ✍ ✌

slide-70
SLIDE 70

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Gaussian channels

Example: If n ✏ 1, K ✏ 1 0

0 0

✟ and ˆ f ♣zq ✏ e✁ α

2 ♣x2y2q.

E♣W ♣zqq ✏ ˆ f ♣zqW ♣Kzq ✏ ˆ f ♣zqVx P L✽♣Rq✶. Thus, L✽♣Rq is private for E.

✽♣ q ✝♣ q ✏ ♣

❜ q♣ ♣ ❜ q

✝ q

✏ ☎ ✝ ✝ ✆ ✁ ✁ ☞ ✍ ✍ ✌

slide-71
SLIDE 71

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Gaussian channels

Example: If n ✏ 1, K ✏ 1 0

0 0

✟ and ˆ f ♣zq ✏ e✁ α

2 ♣x2y2q.

E♣W ♣zqq ✏ ˆ f ♣zqW ♣Kzq ✏ ˆ f ♣zqVx P L✽♣Rq✶. Thus, L✽♣Rq is private for E. By complementarity, L✽♣Rq is correctable for any Ec.

✝♣ q ✏ ♣

❜ q♣ ♣ ❜ q

✝ q

✏ ☎ ✝ ✝ ✆ ✁ ✁ ☞ ✍ ✍ ✌

slide-72
SLIDE 72

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Gaussian channels

Example: If n ✏ 1, K ✏ 1 0

0 0

✟ and ˆ f ♣zq ✏ e✁ α

2 ♣x2y2q.

E♣W ♣zqq ✏ ˆ f ♣zqW ♣Kzq ✏ ˆ f ♣zqVx P L✽♣Rq✶. Thus, L✽♣Rq is private for E. By complementarity, L✽♣Rq is correctable for any Ec. E✝♣ρq ✏ ♣id ❜ trEq♣UT♣ρ ❜ ρEqU✝

Tq

with T ✏ ☎ ✝ ✝ ✆ 1 ✁1 ✁1 1 1 1 ☞ ✍ ✍ ✌.

slide-73
SLIDE 73

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Gaussian channels

Then Ec : B♣L2♣Rqq¯ ❜B♣L2♣Rqq Ñ B♣L2♣Rqq is Ec♣W ♣zq ❜ W ♣z✶qq ✏ tr♣⑤ψ②①ψ⑤W ♣♣0, yqq ❜ W ♣z✶qqW ♣✁zq, where ♣id ❜ trq♣⑤ψ②①ψ⑤q ✏ ρE.

✽♣ q Ñ

♣ ♣ q ❜ ♣ qq ♣ ♣ qq ✏ ♣♣✁ qq ❜ ✆ ✏

✽♣ q

✏ ☎ ✝ ✝ ✆ ✁ ✁ ☞ ✍ ✍ ✌

slide-74
SLIDE 74

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Gaussian channels

Then Ec : B♣L2♣Rqq¯ ❜B♣L2♣Rqq Ñ B♣L2♣Rqq is Ec♣W ♣zq ❜ W ♣z✶qq ✏ tr♣⑤ψ②①ψ⑤W ♣♣0, yqq ❜ W ♣z✶qqW ♣✁zq, where ♣id ❜ trq♣⑤ψ②①ψ⑤q ✏ ρE. R : L✽♣Rq Ñ B♣L2♣Rq ❜ L2♣Rqq R♣W ♣x, 0qq ✏ W ♣♣✁x, 0qq ❜ 1 satisfies Ec ✆ R ✏ idL✽♣Rq. ✏ ☎ ✝ ✝ ✆ ✁ ✁ ☞ ✍ ✍ ✌

slide-75
SLIDE 75

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Gaussian channels

Then Ec : B♣L2♣Rqq¯ ❜B♣L2♣Rqq Ñ B♣L2♣Rqq is Ec♣W ♣zq ❜ W ♣z✶qq ✏ tr♣⑤ψ②①ψ⑤W ♣♣0, yqq ❜ W ♣z✶qqW ♣✁zq, where ♣id ❜ trq♣⑤ψ②①ψ⑤q ✏ ρE. R : L✽♣Rq Ñ B♣L2♣Rq ❜ L2♣Rqq R♣W ♣x, 0qq ✏ W ♣♣✁x, 0qq ❜ 1 satisfies Ec ✆ R ✏ idL✽♣Rq. T ✏ ☎ ✝ ✝ ✆ 1 ✁1 ✁1 1 1 1 ☞ ✍ ✍ ✌.

slide-76
SLIDE 76

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Symplectic duality

T is not unique. Any matrix ✂K ✝ I2 ✝ ✡ P Sp♣4, Rq will do. Ñ ✏

✝ ✝ ✡ ♣ q

slide-77
SLIDE 77

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Symplectic duality

T is not unique. Any matrix ✂K ✝ I2 ✝ ✡ P Sp♣4, Rq will do. In general, if A, B : Rn Ñ Rn satisfy ∆ ✏ At∆A Bt∆B then ✂A ✝ B ✝ ✡ can be completed to Sp♣2n, Rq.

slide-78
SLIDE 78

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Symplectic duality

When rA, Bs ✏ 0, canonical choice: ✂A ✁B∆ B A∆ ✡ P Sp♣2n, Rq, where A∆ ✏ ∆✁1At∆ and B∆ ✏ ∆✁1Bt∆ are the symplectic adjoints of A and B.

slide-79
SLIDE 79

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Symplectic duality

When rA, Bs ✏ 0, canonical choice: ✂A ✁B∆ B A∆ ✡ P Sp♣2n, Rq, where A∆ ✏ ∆✁1At∆ and B∆ ✏ ∆✁1Bt∆ are the symplectic adjoints of A and B. Complementarity & symplectic duality?

slide-80
SLIDE 80

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Symplectic duality

Given linear bosonic E : B♣L2♣Rnqq Ñ B♣L2♣Rnqq E♣Wn♣zqq ✏ ˆ f ♣zqWn♣Kzq with K : Rn Ñ Rn, ✏ ♣ q ➔ ♣ ♣ ♣ qqq ❸ ♣ q✷ r ♣ q ♣ ✶qs ✏ ô ♣

✶q ✏

♣ q ❸ ♣ q✶ ✏ t P ⑤ ♣ q ✏ ❅ P ✉

slide-81
SLIDE 81

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Symplectic duality

Given linear bosonic E : B♣L2♣Rnqq Ñ B♣L2♣Rnqq E♣Wn♣zqq ✏ ˆ f ♣zqWn♣Kzq with K : Rn Ñ Rn, if S ✏ K♣Rnq ➔ Rn, then E♣B♣L2♣Rnqqq ❸ Wn♣Sq✷. r ♣ q ♣ ✶qs ✏ ô ♣

✶q ✏

♣ q ❸ ♣ q✶ ✏ t P ⑤ ♣ q ✏ ❅ P ✉

slide-82
SLIDE 82

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Symplectic duality

Given linear bosonic E : B♣L2♣Rnqq Ñ B♣L2♣Rnqq E♣Wn♣zqq ✏ ˆ f ♣zqWn♣Kzq with K : Rn Ñ Rn, if S ✏ K♣Rnq ➔ Rn, then E♣B♣L2♣Rnqqq ❸ Wn♣Sq✷. Since rWn♣zq, Wn♣z✶qs ✏ 0 ô ∆n♣z, z✶q ✏ 0, we have Wn♣S∆q ❸ Wn♣Sq✶ where S∆ :✏ tz P Rn ⑤ ∆n♣z, wq ✏ 0 ❅w P S✉ is the symplectic complement of S.

slide-83
SLIDE 83

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Symplectic duality

Thus, E♣B♣L2♣Rnqqq ❸ Wn♣S∆q✶ and Wn♣S∆q✷ is private for E. ♣ q✷ ✏ ♣ q✶

slide-84
SLIDE 84

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Symplectic duality

Thus, E♣B♣L2♣Rnqqq ❸ Wn♣S∆q✶ and Wn♣S∆q✷ is private for E. Question: is Wn♣S∆q✷ ✏ Wn♣Sq✶ ?

slide-85
SLIDE 85

Introduction Private Subalgebras & Complementarity Examples: Gaussian Channels

Symplectic duality

Thus, E♣B♣L2♣Rnqqq ❸ Wn♣S∆q✶ and Wn♣S∆q✷ is private for E. Question: is Wn♣S∆q✷ ✏ Wn♣Sq✶ ?

Thank You!