Quantum Dynamic Capacity & Superadditivity 

  • arXiv:0811.4227 with M. Wilde
  • arXiv:0901.3038 with M. Wilde
  • arXiv:1708.04314 with Y. Zhu, Q. Zhung, and P. Shor
\langle\mathcal{N} \rangle \geq R[c\to c]+ Q[q\to q]+ E[qq]
NR[cc]+Q[qq]+E[qq]\langle\mathcal{N} \rangle \geq R[c\to c]+ Q[q\to q]+ E[qq]

Quantum Dynamic Protocols

[MH & M.Wilde, arXiv:0901.3038]
C(\mathcal{N})= \left\{(R,Q,E): \right.
C(N)={(R,Q,E):C(\mathcal{N})= \left\{(R,Q,E): \right.

Quantum Dynamic Capacity

a quantum dynamic protocol exists.}

\langle\mathcal{N}\rangle + |E|[qq] \geq R[c\to c]+ Q[q\to q]
N+E[qq]R[cc]+Q[qq]\langle\mathcal{N}\rangle + |E|[qq] \geq R[c\to c]+ Q[q\to q]

EA-assisted C-Q Communication

R= I(X:B)_\sigma
R=I(X:B)σR= I(X:B)_\sigma
Q= \frac{1}{2}I(A:B|X)_\sigma
Q=12I(A:BX)σQ= \frac{1}{2}I(A:B|X)_\sigma
|E|= \frac{1}{2}I(A:E|X)_\sigma
E=12I(A:EX)σ|E|= \frac{1}{2}I(A:E|X)_\sigma
[MH & M.Wilde, arXiv:0811.4227]

Special Cases

\langle\mathcal{N} \rangle \geq R[c\to c]
NR[cc]\langle\mathcal{N} \rangle \geq R[c\to c]
\langle\mathcal{N} \rangle \geq Q[q\to q]
NQ[qq]\langle\mathcal{N} \rangle \geq Q[q\to q]
\langle\mathcal{N} \rangle \geq R[c\to c] + Q[q\to q]
NR[cc]+Q[qq]\langle\mathcal{N} \rangle \geq R[c\to c] + Q[q\to q]
\langle\mathcal{N}\rangle +|E|[qq] \geq R[c\to c]
N+E[qq]R[cc]\langle\mathcal{N}\rangle +|E|[qq] \geq R[c\to c]
\langle\mathcal{N} \rangle+|E|[qq] \geq Q[q\to q]
N+E[qq]Q[qq]\langle\mathcal{N} \rangle+|E|[qq] \geq Q[q\to q]
SD
TP
ED

EACQ Capacity Region

R+2Q\leq I(AX:B)_\sigma
R+2QI(AX:B)σR+2Q\leq I(AX:B)_\sigma
Q\leq I(A\rangle BX)_\sigma +|E|
QI(ABX)σ+E Q\leq I(A\rangle BX)_\sigma +|E|
R+Q\leq I(X:B)_\sigma + I(A\rangle BX)_\sigma +|E|
R+QI(X:B)σ+I(ABX)σ+ER+Q\leq I(X:B)_\sigma + I(A\rangle BX)_\sigma +|E|
\{
{\{
C^{(1)}_\sigma(\mathcal{N})
Cσ(1)(N)C^{(1)}_\sigma(\mathcal{N})
C^{(1)}(\mathcal{N})=\bigcup_\sigma C^{(1)}_\sigma(\mathcal{N})
C(1)(N)=σCσ(1)(N)C^{(1)}(\mathcal{N})=\bigcup_\sigma C^{(1)}_\sigma(\mathcal{N})
C(\mathcal{N})=\overline{\bigcup_{k=1}^{\infty} \frac{1}{k}C^{(1)}_\sigma(\mathcal{N}^{\otimes k})}
C(N)=k=11kCσ(1)(Nk)C(\mathcal{N})=\overline{\bigcup_{k=1}^{\infty} \frac{1}{k}C^{(1)}_\sigma(\mathcal{N}^{\otimes k})}
\text{SD:} [q\to q]+[qq]\geq 2[c\to c]
SD:[qq]+[qq]2[cc]\text{SD:} [q\to q]+[qq]\geq 2[c\to c]
\text{TP:} [qq]+2[c\to c]\geq [q\to q]
TP:[qq]+2[cc][qq]\text{TP:} [qq]+2[c\to c]\geq [q\to q]
\text{ED:} [q\to q]\geq [qq]
ED:[qq][qq]\text{ED:} [q\to q]\geq [qq]

Quantum Dynamic Capacity

R+2Q\leq I(AX:B)_\sigma
R+2QI(AX:B)σR+2Q\leq I(AX:B)_\sigma
Q+E\leq I(A\rangle BX)_\sigma
Q+EI(ABX)σ Q+E\leq I(A\rangle BX)_\sigma
R+Q+E\leq I(X:B)_\sigma + I(A\rangle BX)_\sigma
R+Q+EI(X:B)σ+I(ABX)σR+Q+E\leq I(X:B)_\sigma + I(A\rangle BX)_\sigma
\{
{\{
C^{(1)}_\sigma(\mathcal{N})
Cσ(1)(N)C^{(1)}_\sigma(\mathcal{N})
C^{(1)}(\mathcal{N})=\bigcup_\sigma C^{(1)}_\sigma(\mathcal{N})
C(1)(N)=σCσ(1)(N)C^{(1)}(\mathcal{N})=\bigcup_\sigma C^{(1)}_\sigma(\mathcal{N})
C(\mathcal{N})=\overline{\bigcup_{k=1}^{\infty} \frac{1}{k}C^{(1)}_\sigma(\mathcal{N}^{\otimes k})}
C(N)=k=11kCσ(1)(Nk)C(\mathcal{N})=\overline{\bigcup_{k=1}^{\infty} \frac{1}{k}C^{(1)}_\sigma(\mathcal{N}^{\otimes k})}

Dynamic Achievable Region

Quantum Dephasing Channels

Additivity

C(\mathcal{N})=\overline{\bigcup_{k=1}^{\infty} \frac{1}{k}C^{(1)}_\sigma(\mathcal{N}^{\otimes k})}
C(N)=k=11kCσ(1)(Nk)C(\mathcal{N})=\overline{\bigcup_{k=1}^{\infty} \frac{1}{k}C^{(1)}_\sigma(\mathcal{N}^{\otimes k})}
\stackrel{?}{=}
=?\stackrel{?}{=}
C^{(1)}_\sigma(\mathcal{N})
Cσ(1)(N)C^{(1)}_\sigma(\mathcal{N})

Additivity

Type Additive?
Classical Capacity
Quantum Capacity
EA-assisted Classical Capacity
EA-assisted C-Q Capacity

N

N

N

Y

Additive CE CQ QE
C
C&Q

Additivity?

Implies the trade-off additivity?

N

N

N

Y

Y

N

N

N

N

Implies the trade-off additivity?
​Additive CQE
QE
CQ
CE
CE&Q
CE&CQ

Additivity?

Y

N

N

N

N

[MH & M.Wilde, arXiv:0901.3038]

Proof Ingredients

A Switch Channel such that

C^{(1)}_{CQE}(\mathcal{N}) = \text{conv}\left( C^{(1)}_{CQE}(\mathcal{N_0}),C^{(1)}_{CQE}(\mathcal{N_1}) \right)
CCQE(1)(N)=conv(CCQE(1)(N0),CCQE(1)(N1))C^{(1)}_{CQE}(\mathcal{N}) = \text{conv}\left( C^{(1)}_{CQE}(\mathcal{N_0}),C^{(1)}_{CQE}(\mathcal{N_1}) \right)

Proof Ingredients

\text{If}\quad C_{CQE}(\mathcal{N}_0) = C^{(1)}_{CQE}(\mathcal{N}_0)
IfCCQE(N0)=CCQE(1)(N0)\text{If}\quad C_{CQE}(\mathcal{N}_0) = C^{(1)}_{CQE}(\mathcal{N}_0)
\text{then}
then\text{then}
C_{CQE}(\mathcal{N}) = \text{conv}\left( C_{CQE}(\mathcal{N_0}),C_{CQE}(\mathcal{N_1}) \right)
CCQE(N)=conv(CCQE(N0),CCQE(N1))C_{CQE}(\mathcal{N}) = \text{conv}\left( C_{CQE}(\mathcal{N_0}),C_{CQE}(\mathcal{N_1}) \right)

Q additive, CQ superadditive

\text{(1):}\quad C_{Q}(\mathcal{N}_0) \geq C_{Q}(\mathcal{N}_1)
(1):CQ(N0)CQ(N1)\text{(1):}\quad C_{Q}(\mathcal{N}_0) \geq C_{Q}(\mathcal{N}_1)
\text{(3):}\quad C_{C}(\mathcal{N}_1) > C^{(1)}_{C}(\mathcal{N}_1)
(3):CC(N1)>CC(1)(N1)\text{(3):}\quad C_{C}(\mathcal{N}_1) > C^{(1)}_{C}(\mathcal{N}_1)
\text{(2):}\quad C_{C}(\mathcal{N}_0) < C_{C}(\mathcal{N}_1)
(2):CC(N0)<CC(N1)\text{(2):}\quad C_{C}(\mathcal{N}_0) < C_{C}(\mathcal{N}_1)

Thank you for your attention!