66ada9b70ff01450.tex
1: \begin{abstract}
2: In the literature on the continuous-variable bosonic teleportation protocol
3: due to [Braunstein and Kimble, Phys.~Rev.~Lett., 80(4):869, 1998], it is often
4: loosely stated that this protocol converges to a perfect teleportation of an
5: input state in the limit of ideal squeezing and ideal detection, but the exact
6: form of this convergence is typically not clarified. In this paper, I
7: explicitly clarify that the convergence is in the strong sense, and not the
8: uniform sense, and furthermore, that the convergence occurs for any input
9: state to the protocol, including the infinite-energy Basel states defined and
10: discussed here. I also prove, in contrast to the above result, that the
11: teleportation simulations of pure-loss, thermal, pure-amplifier, amplifier,
12: and additive-noise channels converge both strongly and uniformly to the
13: original channels, in the limit of ideal squeezing and detection for the
14: simulations. For these channels, I give explicit uniform bounds on the
15: accuracy of their teleportation simulations. I then extend these uniform convergence results
16: to particular multi-mode bosonic Gaussian channels. These
17: convergence statements have important implications for mathematical proofs
18: that make use of the teleportation simulation of bosonic Gaussian channels,
19: some of which have to do with bounding their non-asymptotic
20: secret-key-agreement capacities. As a byproduct of the discussion given here,
21: I confirm the correctness of the proof of such bounds from my joint work with
22: Berta and Tomamichel from [Wilde, Tomamichel, Berta, IEEE~Trans.~Inf.~Theory
23: 63(3):1792, March 2017].
24: %, which has
25: %recently been questioned in the literature.
26: Furthermore,
27: %contrary to some
28: %recent claims in the literature,
29: I show that it is not necessary to invoke the energy-constrained diamond
30: distance in order to confirm the correctness of this proof.
31: 
32: \end{abstract}
33: