One-way quantum computer

The one-way quantum computer, also known as measurement-based quantum computer, is a method of quantum computing that first prepares an entangled resource state, usually a cluster state or graph state, then performs single qubit measurements on it. It is "one-way" because the resource state is destroyed by the measurements.
The outcome of each individual measurement is random, but they are related in such a way that the computation always succeeds. In general, the choices of basis for later measurements need to depend on the results of earlier measurements, and hence the measurements cannot all be performed at the same time.
The implementation of MBQC is mainly considered for photonic devices, due to the difficulty of entangling photons without measurements, and the simplicity of creating and measuring them. However, MBQC is also possible with matter-based qubits. The process of entanglement and measurement can be described with the help of graph tools and group theory, in particular by the elements from the stabilizer group.

Definition

The purpose of quantum computing focuses on building an information theory with the features of quantum mechanics: instead of encoding a binary unit of information, which can be switched to 1 or 0, a quantum binary unit of information can simultaneously turn to be 0 and 1 at the same time, thanks to the phenomenon called superposition. Another key feature for quantum computing relies on the entanglement between the qubits.
In the quantum logic gate model, a set of qubits, called register, is prepared at the beginning of the computation, then a set of logic operations over the qubits, carried by unitary operators, is implemented. A quantum circuit is formed by a register of qubits on which unitary transformations are applied over the qubits. In the measurement-based quantum computation, instead of implementing a logic operation via unitary transformations, the same operation is executed by entangling a number of input qubits with a cluster of ancillary qubits, forming an overall source state of qubits, and then measuring a number of them. The remaining output qubits will be affected by the measurements because of the entanglement with the measured qubits. The one-way computer has been proved to be a universal quantum computer, which means it can reproduce any unitary operation over an arbitrary number of qubits.

General procedure

The standard process of measurement-based quantum computing consists of three steps: entangle the qubits, measure the ancillae and correct the outputs. In the first step, the qubits are entangled in order to prepare the source state. In the second step, the ancillae are measured, affecting the state of the output qubits. However, the measurement outputs are non-deterministic result, due to undetermined nature of quantum mechanics: in order to carry on the computation in a deterministic way, some correction operators, called byproducts, are introduced.

Preparing the source state

At the beginning of the computation, the qubits can be distinguished into two categories: the input and the ancillary qubits. The inputs represent the qubits set in a generic state, on which some unitary transformations are to be acted. In order to prepare the source state, all the ancillary qubits must be prepared in the state:
where and are the quantum encoding for the classical and bits:
A register with qubits will be therefore set as. Thereafter, the entanglement between two qubits can be performed by applying a gate operation. The matrix representation of such two-qubits operator is given by
The action of a gate over two qubits can be described by the following system:
When applying a gate over two ancillae in the state, the overall state
turns to be an entangled pair of qubits. When entangling two ancillae, no importance is given about which is the control qubit and which one the target, as far as the outcome turns to be the same. Similarly, as the gates are represented in a diagonal form, they all commute each other, and no importance is given about which qubits to entangle first.
Photons are the most common qubit system that is used in the context of one-way quantum computing. However, deterministic gates between photons are difficult to realize. Therefore, probabilistic entangling gates such as Bell state measurements are typically considered. Furthermore, quantum emitters such as atoms or quantum dots can be used to create deterministic entanglement between photonic qubits.

Measuring the qubits

The process of measurement over a single-particle state can be described by projecting the state on the eigenvector of an observable. Consider an observable with two possible eigenvectors, say and, and suppose to deal with a multi-particle quantum system. Measuring the -th qubit by the observable means to project the state over the eigenvectors of :
The actual state of the -th qubit is now, which can turn to be or, depending on the outcome from the measurement. The measurement projection can be performed over the eigenstates of the observable:
where and belong to the Pauli matrices. The eigenvectors of are. Measuring a qubit on the - plane, i.e. by the observable, means to project it over or. In the one-way quantum computing, once a qubit has been measured, there is no way to recycle it in the flow of computation. Therefore, instead of using the notation, it is common to find to indicate a projective measurement over the -th qubit.

Correcting the output

After all the measurements have been performed, the system has been reduced to a smaller number of qubits, which form the output state of the system. Due to the probabilistic outcome of measurements, the system is not set in a deterministic way: after a measurement on the - plane, the output may change whether the outcome had been or. In order to perform a deterministic computation, some corrections must be introduced. The correction operators, or byproduct operators, are applied to the output qubits after all the measurements have been performed. The byproduct operators which can be implemented are and. Depending on the outcome of the measurement, a byproduct operator can be applied or not to the output state: a correction over the -th qubit, depending on the outcome of the measurement performed over the -th qubit via the observable, can be described as, where is set to be if the outcome of measurement was, otherwise is if it was. In the first case, no correction will occur, in the latter one a operator will be implemented on the -th qubit. Eventually, even though the outcome of a measurement is not deterministic in quantum mechanics, the results from measurements can be used in order to perform corrections, and carry on a deterministic computation.

''CME'' pattern

The operations of entanglement, measurement and correction can be performed in order to implement unitary gates. Such operations can be performed time by time for any logic gate in the circuit, or rather in a pattern which allocates all the entanglement operations at the beginning, the measurements in the middle and the corrections at the end of the circuit. Such pattern of computation is referred to as CME standard pattern. In the CME formalism, the operation of entanglement between the and qubits is referred to as. The measurement on the qubit, in the - plane, with respect to a angle, is defined as. At last, the byproduct over a qubit, with respect to the measurement over a qubit, is described as, where is set to if the outcome is the state, when the outcome is. The same notation holds for the byproducts.
When performing a computation following the CME pattern, it may happen that two measurements and on the - plane depend one on the outcome from the other. For example, the sign in front of the angle of measurement on the -th qubit can be flipped with respect to the measurement over the -th qubit: in such case, the notation will be written as, and therefore the two operations of measurement do commute each other no more. If is set to, no flip on the sign will occur, otherwise the angle will be flipped to. The notation can therefore be rewritten as.

An example: Euler rotations

As an illustrative example, consider the Euler rotation in the basis: such operation, in the gate model of quantum computation, is described as
where are the angles for the rotation, while defines a global phase which is irrelevant for the computation. To perform such operation in the one-way computing frame, it is possible to implement the following CME pattern:
where the input state is the qubit, all the other qubits are auxiliary ancillae and therefore have to be prepared in the state. In the first step, the input state must be entangled with the second qubits; in turn, the second qubit must be entangled with the third one and so on. The entangling operations between the qubits can be performed by the gates.
In the second place, the first and the second qubits must be measured by the observable, which means they must be projected onto the eigenstates of such observable. When the is zero, the states reduce to ones, i.e. the eigenvectors for the Pauli operator. The first measurement is performed on the qubit with a angle, which means it has to be projected onto the states. The second measurement is performed with respect to the angle, i.e. the second qubit has to be projected on the state. However, if the outcome from the previous measurement has been, the sign of the angle has to be flipped, and the second qubit will be projected to the state; if the outcome from the first measurement has been, no flip needs to be performed. The same operations have to be repeated for the third and the fourth measurements, according to the respective angles and sign flips. The sign over the angle is set to be. Eventually the fifth qubit figures out to be the output state.
At last, the corrections over the output state have to be performed via the byproduct operators. For instance, if the measurements over the second and the fourth qubits turned to be and, no correction will be conducted by the operator, as. The same result holds for a outcome, as and thus the squared Pauli operator returns the identity.
As seen in such example, in the measurement-based computation model, the physical input qubit and output qubit may differ each other.