
a similar result is obtained, the CF of the output state after
error correction corresponds to a product of the CFs of the
input state and the entangled state.
The CF of any n-mode quantum state ˆρis defined as
χ(λ1, λ2, ..., λn) = Tr nˆρˆ
D(λ1)ˆ
D(λ2)... ˆ
D(λn)o,(1)
where λi∈C. Here, ˆ
Dis the displacement operator,
ˆ
D(λi) = eλjˆa†
j−λ∗
jˆaj,(2)
where ˆajand ˆa†
jare the annihilation and creation operators of
mode j, and ∗represents the complex conjugate. Conveniently,
linear optics operations can be expressed in the CF formalism
by simply transforming the arguments of the CF, whilst leaving
the functions themselves unchanged. Relevant CFs for this
work include the vacuum state, |0i, expressed as
χ|0i(λ) = exp −|λ|2
2,(3)
and the coherent state, |αi=ˆ
D(α)|0i, expressed as
χ|αi(λ) = exp −|λ|2
2+ (λα∗−λ∗α).(4)
The other important CFs we will utilize involve those of the
different entangled states used in the encoding, which we
present later.
In Fig. 1 our error correction code is presented. The
resources required for the implementation and optimization of
this code include entangled-bipartite states, linear-optics oper-
ations, and classical processing. The deployment of our error
correction scheme can be divided into four steps: encoding,
decoding, syndrome measurements, and correction.
As shown in Fig. 1, Alice starts with a single-mode quantum
state, which we will refer to as the “quantum signal,” that she
wishes to transmit through the channel to Bob, and prepares
an entangled bipartite state. The initial CF corresponds to a
product of the CFs of the quantum signal, χs(λ1), and the
entangled state, χAB(λ2, λ3). The encoding of the quantum
signal is done via a balanced beam splitter (BS1), described
by a transformation of the CF arguments as follows [10],
χsλ1+λ2
√2χAB λ1−λ2
√2, λ3.(5)
Thereafter, the encoded state is transmitted from Alice to
Bob through the channel. In general, the erasure channel acting
on a single-mode state, ρ, returns the state,
ρ0= (1 −Pe)ρ+Pe|0ih0|,(6)
with Pebeing the probability of an erasure. If the three modes
of the encoded state were sent concomitantly through the
channel the result would be either an unchanged state or a
three-mode vacuum state from which no information can be
recovered. Therefore, a mechanism that transmits each mode
independently must be used. An example of such a mechanism
would be one that time multiplexes each mode using delay
lines. When the three modes are sent independently through
the channel the result is a mixed state corresponding to all of
the eight combinations of modes erased,
ρch =
8
X
j=1
Pjρj,(7)
with Pjcorresponding to the probability of each combina-
tion of modes erased. These range from (1 −Pe)3to P3
e,
corresponding to zero erasures, and erasures in every mode,
respectively. At this point, the CF of the three mode state,
now defined as χx
ch(λ1, λ2, λ3), will depend on the modes x
that suffer an erasure. This means that for the erased modes
their arguments in the CF in Eq. 5 will be set to zero [22],
while vacuum CFs are added as a product with arguments
corresponding to the erased modes. For example, if mode 20
has an erasure the corresponding CF is
χ{2}
ch (λ1, λ2, λ3) = χsλ1
√2χAB λ1
√2, λ3χ|0i(λ2).
(8)
Bob monitors and identifies which of the modes suffered an
erasure during transmission via the channel, and will use that
information in combination with the syndrome measurement
to apply the correction. Note, our erasure code implementation
resembles that utilized in the context of secret sharing [23].
Apart from the application context, a key difference in our
implementation is the use of the erasure monitoring function
and its mapping to an erasure correction protocol. We can
consider this mapping to be the following: for any monitoring
measurement that indicates a non-unity channel transmissivity,
we set that channel to be in ‘erasure’. This logic is then used
to set the gains needed to adjust the output quantum state.
As the modes are received by Bob, he applies corresponding
delays such that by the time he has received all the modes, they
are all temporally coincident. To decode the quantum state, he
applies BS2 that transforms the arguments as,
χx
ch λ1+λ2
√2,λ1−λ2
√2, λ3.(9)
In the case when the channel acts as an identity (no erasures)
the application of BS2 effectively cancels the effects of BS1.
During the final step, syndrome measurements are per-
formed. To this end, BS3 is applied, giving a CF for the three
mode state as
χx
BS3(λ1, λ2, λ3) = (10)
χx
ch λ1+λ2
√2,λ1
√2−λ2+λ3
2,λ2−λ3
√2.
Now dual homodyne measurements are performed on modes
200 and 300 (see Fig. 1). To compute the result after the mea-
surements it is convenient to represent the complex arguments
in the phase-space representation, by using two distinct real
numbers, xj=1
√2(λj+λ∗
j)and pj=i
√2(λ∗
j−λj). Then, for
the pair of measurement results ˜xand ˜pthe output CF (on