
processing requires the ability to perform state
preparation and measurement (SPAM) and gates
on participant qubits without disturbing spectator
qubits stored in the same atom. This operational ac-
cess allows the atomic subspace, H2p, to be factored
into a tensor product of qubit subspaces as H(i)
2p=
Np
j=1 H(i,j)
2[4], whereas an equally-dimensioned qu-
dit does not in general admit this factorization. This
enables a polyqubit machine to use standard, binary
quantum algorithms without modification, including
qubit quantum error correction (QEC).
Ap-polyqubit encoded in an atomic subspace, i.e.
pqubits stored in one atom, can be visualized as a
p-dimensional hypercube graph with atomic eigen-
states on the vertices and atomic Pauli operations
on each edge (see Fig. 1). From the number of edges,
it is clear that a polyqubit encoding requires p2p−1
sets of atomic Pauli operators that act on only two
atomic eigenstates. Though this control parameter
cost is exponential in p, with fixed pthe proces-
sor itself scales with problem size by increasing the
number of polyqubits as n/p. Thus, by keeping p
small enough to manage control costs, polyqubit en-
coding provides a multiplicative boost to QHL pro-
cessors. In what follows, we describe how pqubits
can be encoded into 2pstates of each single atom
in a trapped ion quantum processor and used with
currently available technology.
As an example of p= 2 polyqubit processing, we
consider a linear chain of atomic ions whose mo-
tion in a particular normal mode serves as a bus
[5]. The atomic ions are assumed to have four, long-
lived internal states appropriate for quantum infor-
mation storage, labeled with underscores for clarity
{|0i,|1i,|2i,|3i} (see Fig. 1). These could be hyper-
fine or Zeeman levels of a ground or metastable elec-
tronic state or some combination thereof [8]. We as-
sume that the transitions between all pairs of states
occur with unique frequencies, and that at least four
of them can be driven to achieve quadrilateral con-
nectivity, as shown in Fig. 1a. On this support, we
define two qubits that we dub “Horizontal” (H) and
“Vertical” (V), with the mapping:
|0i≡|0iH⊗ |0iV
|1i≡|0iH⊗ |1iV
|2i≡|1iH⊗ |0iV
|3i≡|1iH⊗ |1iV(1)
so that each polyqubit state |x0iH⊗|xiVis the atomic
state index expressed in two-digit (x0x) binary. As
this user-defined designation of states is arbitrary,
results for H and V qubits are always interchange-
able and we require no particular physical difference
FIG. 2. State detection of a qubit in a polyqubit-encoded
ion (green) by laser shaking and subsequent motion read-
out using a co-trapped ancilla ion (red). An individually-
addressed laser beam with a beatnotes at a normal mode
frequency (purple) used for state detection of a (b) ver-
tical or (c) horizontal qubit. This interaction can also be
leveraged to perform inter-atomic zz gates.
between the types.
SPAM of polyqubits proceeds as follows. If all of
the qubits in a polyencoded atom are to be initialized
or read out, techniques from binary processing can
be adopted with only slight modification. For exam-
ple, optical pumping with polarization- or frequency-
controlled light can produce a single atomic state
with high-purity [9], which can be subsequently ma-
nipulated by microwave or optical radiation to pre-
pare any desired polyqubit state. State detection of
all the qubits in an atom can be accomplished by
transferring the polyqubit to a metastable manifold
and serially transferring each atomic state into the
ground state, where laser-induced fluorescence (LIF)
is used for detection [10]. Finding the atom in a sin-
gle state, which is heralded by LIF, fully determines
the value of all of the polyencoded qubits. This type
of state detection is well known [11].
For SPAM of an individual qubit within a polyen-
coded atom, the participant qubit must be measured
without disturbing the spectator qubits. In general,
this can be accomplished by a measurement that
leaves the measured qubit in an eigenstate of the
measurement (a quantum nondemolition measure-
ment) and will typically require an ancilla ion.
As an example, state detection of a single qubit
in a p= 2 polyencoded ion using a co-trapped an-
cilla ion could proceed as follows. First, a desired
mode of motion of the trapped ion crystal is cooled
near its ground state using, for example, the an-
cilla ion. Next, a laser is used to add energy to this
mode if and only if the participant qubit is in the
2