bf14d7eb5b1dae13.tex
1: \begin{abstract}
2: 	Port-based teleportation (PBT) is a protocol in which Alice teleports an unknown quantum state to Bob using measurements on a shared entangled multipartite state called the port state and forward classical communication.
3: 	In this paper, we give an explicit proof that the so-called pretty good measurement, or square-root measurement, is optimal for the PBT protocol with independent copies of maximally entangled states as the port state.
4: 	We then show that the very same measurement remains optimal even when the port state is optimized to yield the best possible PBT protocol.
5: 	Hence, there is one particular pretty good measurement achieving the optimal performance in both cases.
6: 	The following well-known facts are key ingredients in the proofs of these results:
7: 	(i) the natural symmetries of PBT, leading to a description in terms of representation-theoretic data;
8: 	(ii) the operational equivalence of PBT with certain state discrimination problems, which allows us to employ duality of the associated semidefinite programs.
9: 	Along the way, we re\-derive the representation-theoretic formulas for the performance of PBT protocols proved in [StudziƄski et al., 2017] and [Mozrzymas et al., 2018] using only standard techniques from the representation theory of the unitary and symmetric groups.
10: 	Providing a simplified derivation of these beautiful formulas is one of the main goals of this paper.
11: \end{abstract}
12: