Gate Composition

In quantum computing, a single gate is rarely enough to perform a meaningful calculation. Instead, we must chain gates together in sequence to build complex transformations. This process is called Gate Composition. Mathematically, composing gates corresponds to multiplying their representative matrices. However, because matrix multiplication is non-commutative, the order in which we apply quantum gates is critical. Changing the order of gates in a sequence will almost always change the final state of the qubit, a property that is fundamental to quantum circuit design.

Imagine you are getting dressed in the morning. You have two operations: 'Put on socks' and 'Put on shoes.' If you compose these operations in the order (Socks then Shoes), you get a normal, comfortable result. If you compose them in the reverse order (Shoes then Socks), you get a very different, highly impractical result. The order of operations matters. In quantum computing, gates behave the exact same way. Rotating a qubit around the X-axis and then the Z-axis leads to a completely different point on the Bloch sphere than rotating around the Z-axis and then the X-axis. Composing gates is like choreographing a dance: the final position of the dancer depends entirely on the exact sequence of steps.

When we apply a sequence of gates to a qubit, we write the operations from right to left, matching the order of matrix-vector multiplication. If we apply gate $U_1$ first, and then gate $U_2$ second to a state $|\psi\rangle$, the final state $|\psi'\rangle$ is written as: $|\psi'\rangle = U_2 (U_1 |\psi\rangle) = (U_2 U_1) |\psi\rangle$. The combined operation can be represented by a single unitary matrix $U_{total} = U_2 U_1$. Because matrix multiplication is non-commutative, $U_2 U_1 \neq U_1 U_2$ in general. For example, let's compose the Pauli-X and Pauli-Z gates. $XZ = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} = \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}$, whereas $ZX = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} = \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix}$. We see that $XZ = -ZX$; they differ by a phase factor of -1, meaning they anti-commute. This non-commutativity is a defining feature of quantum mechanics.