Académique Documents
Professionnel Documents
Culture Documents
Mark M. Wilde
May 4, 2018
Available as arXiv:1712.00145
OASIS Seminar, University of Oxford, Oxford, UK
A’
B
AM PM
In the literature, it is often loosely stated that the teleportation simulation converges
to the ideal channel in the limit of ideal squeezing and detection, but what is the
precise sense in which this happens?
This is not just a mathematical question, but has important physical consequences.
It also has applications in quantum Shannon theory. We can explore this question
via the “CV teleportation game.”
Two players: the Distinguisher and the Teleporter. There is also a Referee to decide
who wins. All involved are honest.
Referee flips a fair coin and tells the Teleporter the outcome. If “heads,” the
Teleporter will apply the identity channel; if “tails,” the Teleporter will apply the CV
teleportation protocol.
At this point, either the Distinguisher reveals his strategy to the Teleporter, or vice
versa. The Referee knows both strategies.
The Distinguisher picks a pure state |ψiRA0 and sends A0 to the Teleporter. The
Teleporter takes action as described above. Both R and A are sent to the Referee.
The Referee applies the best measurement to decide what channel the Teleporter
applied. If there is a match between the coin flip outcome and the measurement
result, then the Distinguisher wins this round. If not, the Teleporter wins this round.
After many rounds, Referee collects the results. If the Distinguisher wins more than
3/4 of the rounds, then he is declared the winner. Otherwise, the Teleporter is
declared the winner.
Case: “Heads”
R
Distinguisher
Referee
Teleporter
Case: “Tails”
R
Distinguisher
Referee
A0
Teleporter B0
AM PM
Consider a single experiment to distinguish ρ from σ, when they are chosen with
equal probability. Then the success probability in distinguishing them is equal to
1 1
1 + kρ − σk1
2 2
When kρ − σk1 = 2, the success probability is 1, meaning that the states are
orthogonal and thus perfectly distinguishable
This gives the trace distance its operational meaning in quantum information theory
Suppose that the Distinguisher reveals. Then who wins (with high probability)?
The proof for strong convergence only requires that the input state be a state (i.e.,
normalizable)
As an explicit example, the state to be teleported could be the following Basel state:
r ∞ r
6 X 1
|βiRA = |niR |niA ,
π 2 n=1 n2
which has total photon number equal to ∞, but is normalizable. Thus, the CV
teleportation of this state is faithful in the limit of ideal squeezing and detection.
For n̂ = ∞
P
n=0 n|nihn| the photon-number operator, one can check that the total
photon number
Tr{(n̂R + n̂A )βRA } = ∞,
due to the presence of the divergent harmonic series after n̂A multiplies the reduced
density operator βA .
Suppose that the Teleporter reveals. Then who wins (with high probability)?
By picking a two-mode squeezed vacuum state |Φ(NS )i as input, the output state is
Let us now change the game. Let G denote a single-mode thermal, amplifier, or
additive-noise channel (not the ideal channel).
Case: “Heads”
R
Distinguisher
Referee
G
Teleporter
Case: “Tails”
R
Distinguisher
Referee
A0
Teleporter B0
AM PM G
Suppose that the Distinguisher reveals. Then who wins (with high probability)?
Suppose that the Teleporter reveals. Then who wins (with high probability)?
Due to the fact that there is the channel G (some noise), one can obtain a uniform
bound on the above distance, so that uniform convergence occurs:
Set NB0 ≡ NB + ησ̄/(1 − η). Then from data processing, the distinguishability of the
channels is limited by the distinguishability of the environmental states:
(idR ⊗Lη,NB )(ρRA ) − (idR ⊗Lη,NB0 )(ρRA )
1
≤
(idR ⊗Bη )[ρRA ⊗ θ(NB )] − (idR ⊗Bη )[ρRA ⊗ θ(NB0 )]
1
=
θ(NB ) − θ(NB0 )
1
#−2 1/2
"s
s
ησ̄ ησ̄
≤ 1 − (NB + 1) NB + + 1 − NB NB +
1−η 1−η
This is not just a mathematical effect, but has physical consequences in terms of the
CV teleportation game
These issues are also important to consider in mathematical proofs that make use of
teleportation simulation arguments