
are essential for understanding ways to simulate or mimic the ideal protocol approximately in an experimental
setting.
Despite the many works listed above on the topic of bidirectional teleportation, which try to perform the
protocol using various resource states, a systematic method for quantifying its performance has been missing.
In other words, there is no procedure to concretely determine how well a certain protocol of bidirectional
teleportation performs in comparison to the ideal protocol. How shall we know we have found our perfect
imposter? Any experimental implementation of bidirectional teleportation will necessarily be imperfect and
therefore, there is a need for such a metric. Indeed, entangled states generated in experimental settings using
methods such as spontaneous parametric down-conversion are only approximations to ideal maximally entangled
states [24]. Our aim in [25] and in the present paper is to fill this void.
While this paper will give basic insight to the work, all proofs as well as additional material are present in
our main paper. The present paper instead aims to highlight the essential contributions of our companion paper
[25] and give some additional clarification.
2 PRELIMINARIES
Before proceeding further, we establish some notation and concepts that will be used throughout this paper.
In our work, instead of considering only qubits, we generalize all of our scenarios to qudits with dimension d.
Specifically, we consider two different dimensions—the dimension of the resource state and the dimension of the
unitary swap channel we are trying to mimic. Given two parties Alice and Bob, the dimension of Alice’s qudit
that she wishes to send is denoted as dA(similarly dBfor Bob). The dimensions of Alice and Bob’s qudits
are also equivalent to the dimension of the swap channel d. The dimension of the shared resource state when
Bob’s system is discarded is denoted as dˆ
A(similarly dˆ
Bif Alice’s system was discarded). While we consider
the case where dA=dB=d, we make no assumptions about dˆ
Aand dˆ
Bother than the fact that they are
finite-dimensional. In other words, it need not be the case that dˆ
A=dˆ
B. Additionally, instead of maximally
entangled qubits, individuals will now share maximally entangled qudits (e-dits).
We also make use of the following bilateral unitary twirl channel in our paper
e
TCD(XCD):=ZdU (UC⊗UD)(XCD),(2)
where U(·):=U(·)U†,U(·):=U(·)UT(the overline indicates the complex conjugate), XCD is the bipartite
quantum state, and dU denotes the Haar measure (uniform distribution on unitary operators). The bilateral
twirl channel is an LOCC channel, in the sense that Alice can pick a unitary at random according to the Haar
measure, apply it to her system, report to Bob via a classical channel which one she selected, and Bob can then
apply the complex conjugate unitary to his system.
The bilateral twirl is typically utilized to symmetrize quantum states. Specifically, depending on the type
of twirl performed, the output state will be invariant under any unitary channel of the form U ⊗U or the form
U ⊗ U. For example, given a quantum state eσAB prepared by the isotropic bilateral twirl
ZdU (UA⊗ UB)(σAB ) = eσAB ,(3)
the following holds for every unitary channel U:
(UA⊗ UB)(eσAB ) = eσAB .(4)
Additionally, states prepared by this operation can be described by fewer parameters. Therefore, the twirled
state eσAB now has a sparse density matrix and can be characterized by fewer variables.
3 IDEAL BIDIRECTIONAL TELEPORTATION
Let us first examine the case of ideal bidirectional teleportation on two qudits in detail. Doing so is helpful in
establishing a basic metric for when we consider nonideal bidirectional teleportation later. As stated in the intro-
duction, a trivial way to conduct quantum teleportation bidirectionally between two spatially separated parties,
Alice and Bob, is by performing two standard quantum teleportations, once in each direction. This method
3