Pragati Gupta,Andrea Morello,Barry C. Sanders
Abstract:A long-standing challenge in quantum error correction is the infeasibility of universal transversal gates, as shown by the Eastin-Knill theorem. We obtain a necessary and sufficient condition for a quantum code to have universal transversal gates and show that the Eastin-Knill no-go result is a special case that does not hold for a general error model. We present a code construction using~$n$~$d$-dimensional systems that changes the logical error probability from a lower bound~$ \Omega(\nicefrac{1}{n\log d})$ to an upper bound~$\mathcal O (\nicefrac{1}{n d})$ and allows exact correction of both local and correlated errors. Our universality condition determines the existence of a universal gate set for any quantum error-correcting code.
What problem does this paper attempt to address?
This paper attempts to solve a long - standing challenge in quantum error correction, namely the problem of realizing universal transversal gates. Specifically, the paper explores the following two main issues:
1. **Does there exist a quantum code that can accurately correct local errors and has a set of universal transversal gates?**
- The core of this problem lies in finding a quantum code that can not only effectively correct local errors but also implement a set of universal transversal gates. If such a quantum code exists, it will be able to achieve efficient manipulation of quantum states without increasing the system complexity, which is of great significance for quantum computing and quantum storage.
2. **Can universal fault - tolerant gates be constructed by using only unitary gates and intermediate error correction without using auxiliary states?**
- This problem focuses on whether universal fault - tolerant gates can be achieved through unitary gates and intermediate error - correction steps without relying on auxiliary states. This will significantly reduce resource consumption and improve the efficiency and feasibility of quantum computing.
### Main Contributions
The main technical contribution of the paper is to propose a unified condition that links universality to the Lie - algebraic properties of errors. Specifically:
- **Universality Condition**: The paper proves that the set of logical fault - tolerant operators of a quantum error - correction code is universal if and only if it satisfies the universality condition, that is, "the Lie algebra generated by the errors forms the physical algebra".
- **Multi - subsystem Codes**: For quantum codes of multiple physical subsystems, the paper shows how to achieve universality through transversal gates, and these codes can correct local and correlated errors simultaneously.
- **Upper Bound of Error Rate**: The paper proposes a construction method such that the error rate of a quantum code with universal transversal gates has an upper bound \(O(1 / n\min_i d_i)\), instead of the previous lower bound \(\Omega(1 / n\max_i\log d_i)\).
### Key Results
- **Theorem 1**: Given a quantum error - correction code, its set of logical fault - tolerant operators is universal if and only if it satisfies the universality condition.
- **Corollary 1.1**: A quantum detection code can have a set of continuous logical transversal gates only when the error of each subsystem satisfies the continuity condition.
- **Corollary 1.2**: The set of logical transversal gates is universal if and only if each subsystem has a non - trivial quantum error - correction code and satisfies the universality condition.
- **Theorem 2**: Given a quantum error - correction code with universal transversal gates, its error rate under local noise is \(O(1 / n\min_i d_i)\), and its error rate under correlated noise is \(O(1 / \min_i d_i)\).
### Application Examples
The paper shows how to apply these theoretical results through several specific examples, such as:
- **Single - subsystem Codes**: Through a simple spin - code example, it shows how to use Theorem 1 to analyze the universality of single - subsystem codes.
- **Multi - subsystem Codes**: Through the multi - spin cat - state - code example, it shows how to construct multi - subsystem codes with universal transversal gates, and these codes can correct local and correlated errors simultaneously.
### Discussion
The work of the paper provides a new perspective for the exploration of quantum error - correction theory based on Lie algebras, especially in holographic duality theory, resolving the contradiction between the Easton - Nair theorem and global symmetry. In addition, these results are of great significance for the realization of universal quantum computing with fault - tolerance in recent experiments, especially on high - dimensional control platforms such as superconducting circuits, neutral atoms, and semiconductor devices.
### Summary
The universality condition proposed in the paper is a necessary and sufficient condition for any quantum error - correction code to have universal fault - tolerant gates. By applying this condition, the paper shows how to construct quantum codes with universal transversal gates, and these codes can effectively correct local and correlated errors and have good error - suppression performance.