5.2 Single qubit gates

In quantum computing, a gate is a reversible transformation of a qubit state vertical line normal cap psi mathematical right angle bracket to another qubit state vertical line normal cap phi mathematical right angle bracket, represented by an operator cap u hat. It is convenient to write the single-qubit gate operators as 2 × 2 matrices. Therefore, the action of the gate cap u hat can be written as follows:

cap u hat times absolute value of normal cap psi mathematical right angle bracket equals times normal cap phi mathematical right angle bracket full stop

The word reversible is important because it is a reminder that a gate operation is of a different nature from a measurement. The operation of the gate can be reversed so that it is possible to get back to the state normal cap psi, whereas, in general, a measurement makes an irreversible change to the qubit state. cap u hat super dagger is defined as the operator needed to reverse the gate action and transform vertical line normal cap phi mathematical right angle bracket back to vertical line normal cap psi mathematical right angle bracket:

cap u hat super dagger times absolute value of normal cap phi mathematical right angle bracket equals times normal cap psi mathematical right angle bracket full stop

therefore

cap u hat super dagger times cap u hat times absolute value of normal cap psi mathematical right angle bracket equals times normal cap psi mathematical right angle bracket comma

which means that

equation sequence part 1 cap u hat super dagger times cap u hat equals part 2 matrix row 1column 1 10 row 2column 1 01 equals part 3 cap i hat
Equation label:(13)

where cap i hat is the identity operator, represented by the 2 × 2 matrix appearing in Equation 13. An operator, cap u hat that obeys Equation 13 is called a unitary operator, hence gates are represented by unitary operators. The identity operator is itself a gate, denoted cap i hat, and its symbol is shown in Figure ‘6.

Figure 6 The symbol used in a quantum circuit for an identity gate, cap i hat

You will now look at some gates, starting with the quantum NOT gate. (From now on the prefix quantum will be omitted as long as it is obvious the gates are quantum gates and not classical gates from the context.)