
Alice’s syndrome. Finally, Alice and Bob decode their respective qubits, i.e., invert the
encoding unitary (see Appendix A.2), to convert the klogical Bell pairs into kphysical
Bell pairs. Since the code corrects some errors, on average the output Bell pairs are of
higher fidelity than the initial nnoisy ones.
As our first contribution, we elucidate this protocol for general stabilizer codes [21,22]
through the lens of the stabilizer formalism [23], using the 5-qubit perfect code [21,24]
as an example. This approach clarifies many details of the protocol, especially from an
error correction standpoint, and helps adapt it to different scenarios. For the performance
of the protocol, note that any error on Alice’s qubits can be mapped into an equivalent
error on Bob’s qubits using the transpose property, in effect increasing the error rate on
Bob’s qubits. Therefore, since only Bob corrects errors in this protocol, the failure rate of
the protocol is the same as the logical error rate (LER) of the code on the depolarizing
channel, with an effective channel error rate that accounts for errors on Alice’s qubits as
well as Bob’s qubits (as long as they do not amount to a Bell state stabilizer together).
If errors only happen on Bob’s qubits, then the failure rate of the protocol is identical to
the logical error rate of the code. For all simulations in this work, we consider a rate 0.118
family of lifted product (LP118) QLDPC codes decoded using the sequential schedule of
the min-sum algorithm (MSA) based iterative decoder with normalization factor 0.8and
maximum number of iterations set to 100 [25,26]. The LER of this code-decoder pair is
shown in Fig. 1, where we see that the threshold is about 10.6-10.7%. Since the fidelity
is one minus the depolarizing probability, this translates to an input fidelity threshold
of about 89.3-89.4%. Also, even with n= 544, the LER is ≈10−6at depolarizing rate
10−2. Again, note that these curves can be interpreted as the performance of Bell pair
purification when only Bob’s qubits are affected by errors.
2.2 New Protocols to Purify GHZ States with QLDPC Codes
Protocol I: Given these insights, we proceed to investigate the purification of GHZ states.
As in the Wilde et al. protocol, we consider only local operations and one-way classical
communications (LOCC), and assume that these are noiseless. The key technical insight
necessary to construct the protocol is the GHZ-equivalent of the transpose property of
Bell pairs. Given ncopies of the GHZ state, whose three subsystems are marked ‘A’,
‘B’ and ‘C’, we find that applying a matrix on qubits ‘A’ is equivalent to applying a
“stretched” version of the matrix on qubits ‘B’ and ‘C’ together (see Lemma 3). We call this
mapping to the stretched version of the matrix the GHZ-map, and prove that it is an algebra
homomorphism [27], i.e., linear, multiplicative, and hence projector-preserving. Recollect
from the Bell pair purification setting that we are interested in measuring stabilizers on
qubits ‘A’ and understanding their effect on the remaining qubits. Using the properties of
the GHZ-map, we show that it suffices to consider only the simple case of a single stabilizer.
With this great simplification, we prove that imposing a given [[n, k, d]] stabilizer code on
qubits ‘A’ simultaneously imposes a certain [[2n, k, d′]] stabilizer code jointly on qubits ‘B’
and ‘C’. By performing diagonal Clifford operations on qubits ‘C’, which commutes with
any operations on the other qubits, one can vary the distance d′of the induced ‘BC’ code.
Then, we use this core technical result to devise a natural protocol that purifies GHZ states
using any stabilizer code (“Protocol I”, see Fig. 2and Algorithm 2).
We perform simulations on the [[5,1,3]] perfect code and compare the protocol failure
rate to the LER of the code on the depolarizing channel, both using a maximum-likelihood
decoder. In terms of error exponents, we show that it is always better for Bob to perform
a local diagonal Clifford operation on Charlie’s qubits, rather than Alice doing the same.
We support the empirical observation with an analytical argument on the induced BC code
Accepted in Quantum 2024-01-11, click title to verify. Published under CC-BY 4.0. 5