Magic state
This article may be too technical for most readers to understand. Please help improve it to make it understandable to non-experts, without removing the technical details. (June 2025) (Learn how and when to remove this template message) |
In quantum computing, a magic state is a quantum state that, when combined with Clifford operations, enables universal quantum computing. Introduced by Sergey Bravyi and Alexei Kitaev in 2004, magic states overcome the limitations of the Gottesman–Knill theorem, which states that quantum circuits composed solely of Clifford gates and stabilizer state inputs can be efficiently simulated on a classical computer.[1][2] Magic states, being non-stabilizer states, allow for non-Clifford operations, thus enabling universal quantum computation.
Quantification of magic
The degree of "magic" in a quantum state, often referred to as non-stabilizerness, is quantified using measures such as stabilizer Rényi entropies (SREs). Introduced as a family of magic monotones, SREs are theoretically robust and computationally accessible.[3][4] For an -qudit system, the SRE is defined as:
where is the dimension of each qudit, is the Weyl–Heisenberg group modulo global phase, and denotes the base-2 logarithm.[3] For , satisfies the properties of a resource monotone, meaning it does not increase under stabilizer operations (e.g., Clifford unitaries and projective Pauli measurements) for pure states.[5]
Maximally magic states
Maximally magic states achieve the upper bound of . For a -dimensional Hilbert space, the bound is:[6][7]
achieved only by Weyl–Heisenberg covariant SIC-POVM (WH–SIC) states. The existence of WH–SICs in all finite dimensions remains an open problem, linked to Hilbert's twelfth problem in algebraic number theory.[8][9] In composite n-qubit systems , WH–SICs exist only for .[8]
For two-qubit systems, the bound is achieved by Weyl–Heisenberg mutually unbiased bases (WH–MUB) states:[6]
where is the system’s dimension.
Single-qubit systems
For a single qubit , analysis on the Bloch sphere identifies eight physically distinct maximally magic states, forming two WH–SICs. [7] An example pair is:
Two-qubit systems
In two-qubit systems , 480 physically distinct maximally magic states were identified via numerical search on 14 April 2025 by Qiaofeng Liu, Ian Low, and Zhewei Yin, compared to 60 stabilizer states.[10] On 16 June 2025, M. Ohta and K. Sakurai showed that these states, along with the 60 stabilizer states, correspond to the second-shortest vectors of the E8 lattice.[11] Example states include:
Three-qubit systems
For three-qubit systems , 15,360 maximally magic states were identified on 16 June 2025 by M. Ohta and K. Sakurai, corresponding to the second-shortest vectors of the 16-dimensional Barnes–Wall lattice.[11] An example WH–SIC pair is:
Single-qutrit systems
For a single qutrit , 45 maximally magic states (WH–SICs) were derived from the second-shortest vectors of the E6 lattice on 16 June 2025.[11][12] Examples include:
where
Applications
Magic states are critical for fault-tolerant quantum computing, particularly through magic state distillation, a process that concentrates magic from noisy states into high-fidelity states.[1] This enables the implementation of non-Clifford gates, such as the T gate, essential for universal quantum computation.
See also
- Magic state distillation
- Stabilizer code
- Clifford group
- SIC-POVM
- Root system
References
- ↑ 1.0 1.1 Bravyi, Sergey; Kitaev, Alexei (2005). "Universal quantum computation with ideal Clifford gates and noisy ancillas". Physical Review A. 71 (2): 022316. arXiv:quant-ph/0403025. Bibcode:2005PhRvA..71b2316B. doi:10.1103/PhysRevA.71.022316.
- ↑ Gottesman, Daniel (1999). Corney, S. P.; Delbourgo, R.; Jarvis, P. D., eds. The Heisenberg representation of quantum computers. Cambridge, MA: International Press. pp. 32–43.
- ↑ 3.0 3.1 Leone, L.; Oliviero, S. F. E.; Hamma, A. (2022). "Stabilizer Rényi entropy". Physical Review Letters. 128 (5): 050402. arXiv:2106.12587. Bibcode:2022PhRvL.128e0402L. doi:10.1103/PhysRevLett.128.050402. PMID 35179939 Check
|pmid=value (help). - ↑ Haug, T.; Lee, S.; Kim, M. S. (2024). "Efficient quantum algorithms for stabilizer entropies". Physical Review Letters. 132 (24): 240602. arXiv:2305.19152. Bibcode:2024PhRvL.132x0602H. doi:10.1103/PhysRevLett.132.240602. PMID 38949346 Check
|pmid=value (help). - ↑ Leone, L.; Bittel, L. (2024). "Stabilizer entropies are monotones for magic-state resource theory". Physical Review A. 110 (4): L040403. arXiv:2404.11652. Bibcode:2024PhRvA.110d0403L. doi:10.1103/PhysRevA.110.L040403.
- ↑ 6.0 6.1 Wang, Y.; Li, Y. (2023). "Stabilizer Rényi entropy on qudits". Quantum Information Processing. 22 (12). Bibcode:2023QuIP...22..444W. doi:10.1007/s11128-023-04186-9. Unknown parameter
|article-number=ignored (help) - ↑ 7.0 7.1 G. Cuffaro and C. A. Fuchs (2024). "Efficient Quantum Algorithms for Stabilizer Entropies". Physical Review Letters. 132 (24): 240602. arXiv:2412.21083. Bibcode:2024PhRvL.132x0602H. doi:10.1103/PhysRevLett.132.240602. PMID 38949346 Check
|pmid=value (help). - ↑ 8.0 8.1 Fuchs, C. A.; Hoang, M. C.; Stacey, B. C. (2017). "The SIC Question: History and State of Play". Axioms. 6 (3): 21. doi:10.3390/axioms6030021.
- ↑ Appleby, M.; Flammia, S.; McConnell, G.; Yard, J. (2017). "SICs and Algebraic Number Theory". Foundations of Physics. 47 (8): 1042–1059. arXiv:1701.05200. Bibcode:2017FoPh...47.1042A. doi:10.1007/s10701-017-0090-7.
- ↑ Liu, Qiaofeng; Low, Ian; Yin, Zhewei (2025). "Maximal Magic for Two-qubit States". arXiv:2502.17550 [quant-ph].
- ↑ 11.0 11.1 11.2 Ohta, Misaki; Sakurai, Kazuki (2025). "Extremal Magic States from Symmetric Lattices". arXiv:2506.11725 [quant-ph].
- ↑ Conway, J.; Sloane, N. J. A. (2013). Sphere Packings, Lattices and Groups. Grundlehren der mathematischen Wissenschaften (3rd ed.). New York: Springer. Search this book on
External links
- Universal quantum computation with ideal Clifford gates and noisy ancillas – Original paper by Bravyi and Kitaev
- Stabilizer Rényi entropy – Introduction to SREs by Leone et al.
This article "Magic state" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Magic state. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
