Building codes with transversal CCZ using projective geometry and SAT solvers

Bohan Lu, Kenneth R. Brown

We construct CSS codes with three logical qubits whose logical CCZ gate is implemented by transversal physical $T/T^{†}$ gates and whose distance is at least 3. These codes sta…