
1 2 34 1 2
3
4
1 2
3
4
1 2
43
1 2
43
1 2
3
4
1
4
231 2
3
4
“Linear”
H1,3,4|GHZi
“Box”
“GHZ”
H1,4|ψi
l.c.
=l.c.
=l.c.
=l.c.
=l.c.
=
l.c.
=
Linear
GHZ
graph states
graph states
Fig. 1. Generation of the 4-qubit Linear and GHZ graph state from |ψi=1
2(|0000i+|0011i+|1100i − |1111i)and |GHZi=1
√2(|0000i+|1111i).
The graph states in each are local complementary (l.c.) with each-other, and can be use as input states for the one-way-model.
In contrast to the circuit model, the paradigm of quantum
annealing [24] bases on the unitary evolution of the underlying
system Hamiltonian.
A. The measurement-based one-way model
The one-way model, however, bases entirely on adaptive
single-qubit measurements that drive the computation [14],
[15], [25]. Here, the initial state of individual qubits is the
|+istate, and they are pairwise coupled via CZ operations to
form a graph state, which serves as the computational resource.
Then, single-qubit measurements on this resource state achieve
universal quantum computation.
Acluster state is a type of graph state in which the
underlying graph structure has the form of a two-dimensional
orthogonal grid. Graph states are highly-entangled multipartite
states, and we represent them mathematically as a graph
G(V, E), with vertices Vrepresenting physical qubits and
edges Eindicating entanglement between qubits. An arbitrary
graph state |Giof Vqubits and Eedges is [26]
|Gi=
Y
(a,b)∈E
CZa,b
O
v∈V|+iv(1)
Fig. 1 shows a collection of 4-qubit cluster states, arranged as a
two-dimensional lattice. The states are locally complementary
(l.c.) if one can be transformed into the other with single-qubit
transformations and SWAP operations only.
To carry out computation, we subsequentially measure on
connected physical qubits jin the equatorial basis Bj(α) =
{|αij,|−αij}, where |±αij= 1/√2(|0ij±eiα |1ij). Mea-
surements of physical qubits in the basis Bj(α)induce the
rotation HRz(−α)|ψion encoded logical qubits up to a
Pauli-Xcorrection (cf. Fig. 2). CZ gates are inherently built
into the computational resource state as links between two
qubits.
Thus, the native gate set in the one-way model may be
defined as G={HRz(−α), CZ}, which is indeed universal.
Unlike the unitary evolution in the gate-based model, the
non-unitary action of measurement is irreversible. As each
measurement’s outcome is random, the desired result only
occurs in some cases. Hence, a feed-forward protocol [18]
compensates undesired results by adapting future measurement
bases according to earlier outcomes.
|ψiRz(−α)H
|ψiRz(−α)H
→Xm|ψ0i
|+i
7
One-Way-Model
→|ψ0i
→m={0,1}
Fig. 2. Circuit representation of the conceptual difference between the circuit
model with unitary transformation and the one-way model. Upper circuit:
shows the transformation of a qubit in state |ψiwith the unitary HRz(−α)
to state |ψ0i. Lower circuit: shows the same transformation with the one-way
model, where the new state |ψ0iis than teleported to the bottom qubit by
measuring the upper one (up to a Pauli-Xcorrection, that is based on the
measurements output m).
As an example, refer to the single-qubit computation in
Fig. 2. The result mof the upper wire measurement (red
cross mark) influences the Pauli-Xcorrection on the lower
output wire. If the outcome is m= 0, the algorithm works
as expected; however, if m= 1, a Pauli error is introduced
and corrected before the final measurement. The cascaded
execution of this procedure allows for the implementation of
arbitrary single-qubit rotations. In fact, feed-forward control
makes one-way quantum computation deterministic.
Furthermore, any quantum circuit can be converted to a
measurement pattern on a sufficiently large cluster state [14],
[15], [25].
B. Implementation with a photonic processor
Photons are excellent candidates for building quantum com-
puters; they are easy to generate and detect, robust against
decoherence, and optical experiments can realize accurate
single-qubit gates easily. However, deterministic interactions
of two photons are experimentally impossible, and photonic
two-qubit gates are of probabilistic nature [15], [16].
In the one-way model, these nondeterministic operations
prepare the cluster state, just before any logical computation
takes place [15], [16].
Post-selection techniques ensure successful generation of
cluster states, such that it ignores certain detection events from
the results where the cluster state generation failed [17], [18].
High-precision measurements in an arbitrary basis are
achieved, for example, with phase retarders (wave plates)