Restrictions on Transversal Encoded Quantum Gate Sets

TL;DR

This paper proves that quantum error-detecting codes cannot support a universal set of transversal gates, highlighting fundamental limitations in fault-tolerant quantum computation.

Contribution

It establishes a fundamental incompatibility between error detection capabilities and the existence of universal transversal gate sets in quantum codes.

Findings

Proves no universal transversal gate set exists for error-detecting codes.

Shows error detection on any single subsystem conflicts with universality.

Highlights limitations in fault-tolerant quantum gate implementations.

Abstract

Transversal gates play an important role in the theory of fault-tolerant quantum computation due to their simplicity and robustness to noise. By definition, transversal operators do not couple physical subsystems within the same code block. Consequently, such operators do not spread errors within code blocks and are, therefore, fault tolerant. Nonetheless, other methods of ensuring fault tolerance are required, as it is invariably the case that some encoded gates cannot be implemented transversally. This observation has led to a long-standing conjecture that transversal encoded gate sets cannot be universal. Here we show that the ability of a quantum code to detect an arbitrary error on any single physical subsystem is incompatible with the existence of a universal, transversal encoded gate set for the code.