Proves that arithmetic field depth, minimum gate-alphabet depth, and dyadic program-state depth are exactly equal for single-qubit non-Clifford operations. Provides lexicographically optimal resource effects for quantum compilation.

#QuantumCompilation #QuantumGateSynthesis #Research