Table of Contents

Phase gates

Phase gates are single-qubit gates that apply phase shifts to the computational basis states without changing their amplitudes. They are rotations around the z-axis on the Bloch sphere ($R_Z(\theta)$ gates with specific angles). Phase gates are diagonal in the computational basis and leave $|0\rangle$ unchanged while applying phases to $|1\rangle$. They form a family parameterized by angle $\theta$.

Common phase gates

Matrix form

All phase gates are diagonal in the computational basis:

$$\text{Phase gate}(\theta) = \begin{pmatrix} 1 & 0 \\ 0 & e^{i\theta} \end{pmatrix}$$

or equivalently (using the standard rotation convention):

$$R_Z(\theta) = \begin{pmatrix} e^{-i\theta/2} & 0 \\ 0 & e^{i\theta/2} \end{pmatrix}$$

The difference is a global phase factor $e^{-i\theta/2}$ that doesn't affect measurement.

Properties

Relation to rotations

Phase gates are special cases of RZ rotation gates:

$$S = R_Z(\pi/2), \quad S^\dagger = R_Z(-\pi/2), \quad T = R_Z(\pi/4), \quad T^\dagger = R_Z(-\pi/4), \quad Z = R_Z(\pi)$$

More generally, $P(\theta) = R_Z(\theta)$ (or $R_Z(2\theta)$ depending on convention). Phase gates are “free” on superconducting qubits when implemented as RZ rotations via reference frame adjustment.

Relation to Pauli Z

Phase gates form power hierarchies:

Forward: $T^2 = S$, $S^2 = Z$, $T^4 = Z$

Inverse: $(T^\dagger)^2 = S^\dagger$, $(S^\dagger)^2 = Z$, $(T^\dagger)^4 = Z$

This hierarchical structure extends to arbitrary phase angles: $\cdots \to T \leftrightarrow T^\dagger \to S \leftrightarrow S^\dagger \to Z$

Conjugation by phase gates

How phase gates conjugate Pauli operators:

Clifford vs non-Clifford

The T gate is the minimal non-Clifford addition to Clifford gates for universality.

Uses

Implementation

Clifford+T decomposition

Quantum circuits decompose into Clifford layers plus T/T† gates. The T-count is the primary cost metric in fault-tolerant quantum computing:

Many quantum algorithms use phase gates extensively; optimizing T-count is central to compiling for FTQC.

Relations