5.3.1 Two-qubit states

A straightforward way to define the two-qubit states is to build the two-qubit basis states from product states:

absolute value of normal cap psi mathematical right angle bracket equals times q sub one mathematical right angle bracket absolute value of q sub two mathematical right angle bracket equals times q sub one times q sub two mathematical right angle bracket full stop

There are four possible product states of the usual single-qubit basis states:

absolute value of 00 mathematical right angle bracket comma times 01 mathematical right angle bracket comma absolute value of 10 mathematical right angle bracket comma times 11 mathematical right angle bracket

A general two-qubit state, therefore can be expressed in terms the product states as

absolute value of normal cap psi mathematical right angle bracket equals a sub 00 times 00 mathematical right angle bracket prefix plus of a sub 01 times absolute value of 01 mathematical right angle bracket prefix plus of a sub 10 times 10 mathematical right angle bracket prefix plus of a sub 11 vertical line 11 mathematical right angle bracket comma

where vertical line normal cap psi mathematical right angle bracket is normalised in the usual way:

sum with 4 summands absolute value of a sub 00 squared plus absolute value of a sub 01 squared plus absolute value of a sub 10 squared plus absolute value of a sub 11 squared equals one
Equation label:(15)

To specify the state of the two-qubit system, six real numbers must be given. Counting them in the same way as for a single qubit, these are the eight numbers specifying the real and imaginary parts of each complex number a sub m times n (where the indices are mn = 00, 01, 10, 11). Eight is reduced by one because of the normalisation condition, given in Equation 15 and by one more, to six because the phase of one of the basis states can be set to zero without changing anything physical.

In general, an n-qubit system requires left parenthesis two super n plus one minus two right parenthesis real numbers to specify the state, which is an exponential scaling in the number of qubits.

If the two-qubit gate cap g hat is an operation, an equation can be written which represents the transformation from a two-qubit state vertical line normal cap psi mathematical right angle bracket into a new two-qubit state vertical line normal cap phi mathematical right angle bracket:

cap g hat times absolute value of normal cap psi mathematical right angle bracket equals times normal cap phi mathematical right angle bracket equals b sub 00 times absolute value of 00 mathematical right angle bracket prefix plus of b sub 01 times 01 mathematical right angle bracket prefix plus of b sub 10 times absolute value of 10 mathematical right angle bracket prefix plus of b sub 11 times 11 mathematical right angle bracket full stop

Multiple qubits are represented using the tensor product, which combines their states into a larger system. The resulting matrices represent the full system and can be used to calculate outputs by multiplying them with quantum state vectors. For instance the example above can be written as

matrix row 1column 1 g 00 g 01 g 02 g 03 row 2column 1 g 10 g 11 g 12 g 13 row 3column 1 g 20 g 21 g 22 g 23 row 4column 1 g 30 g 31 g 32 g 33 times vector element 1 a sub 00 element 2 a sub 01 element 3 a sub 10 element 4 a sub 11 equals vector element 1 b sub 00 element 2 b sub 01 element 3 b sub 10 element 4 b sub 11

This representation shows that a two-qubit gate can be expressed as a 4 × 4 matrix with elements g sub i times j, which act on a 4 × 1 column vector representing the quantum state. This allows you to compute the output state using matrix multiplication. However, we won’t be using this formalism in our discussions, as we will focus on other intuitive approaches to understanding multi-qubit systems and gates.