Circuit Optimization for Universality Transformation
The study transforms a computationally universal gate set into a strictly universal one using real single-qubit unitary gates, Pauli-Z gates, and a specific resource state |0⟩|+i⟩. This demonstrates that strict universality can be achieved efficiently by eliminating non-imaginary ancillary qubits from complex circuits.