Constraints on phantom codes from automorphism group bounds

TL;DR

This paper establishes fundamental bounds on the parameters of phantom quantum codes, showing that their encoding rate is limited by automorphism group properties, with specific constructions and exceptions.

Contribution

It proves a logarithmic upper bound on the number of logical qubits encoded by binary phantom codes and characterizes the unique family saturating this bound.

Findings

Binary phantom codes obey a k ≤ log₂(n+1) bound for k ≠ 4.

Constructed a nonstabiliser (8, 16, 2) phantom code violating the bound.

Demonstrated the bound applies even with additional local unitaries or subsystem codes.

Abstract

Executing a logical quantum circuit fault-tolerantly incurs a large spacetime overhead. Recent work has proposed and investigated phantom codes, defined by the property that every in-block logical $\mathrm{CNOT}$ circuit can be implemented with a physical permutation, a property that has the potential to greatly reduce the depth of compiled circuits. Here we show that phantomness comes at the cost of low encoding rate. Specifically, we prove that any binary phantom code encoding $k$ logical qubits into $n$ physical qubits with distance $d\geq 2$ obeys the bound $k\leq \log_2(n+1)$ for all $k\neq 4$. For $k=4$ we explicitly construct a nonstabiliser $(\!(8, 2^4, 2)\!)$ phantom code that violates the bound and has a transversal non-Clifford gate. We further show that, within the class of nontrivial CSS phantom codes with $k\neq 4$, there is a unique family of codes saturating this bound. In addition, we prove that this logarithmic ceiling cannot be circumvented by permitting additional local unitary gates, or by making use of subsystem codes: any subspace or subsystem code admitting a $\mathrm{SWAP}$-transversal implementation of every logical $\mathrm{CNOT}$ circuit is constrained to satisfy the same bound. These bounds follow from a general theorem relating the length of a quantum code to the structure of its automorphism group, a result which may find applications beyond phantom codes.