On the Geometry of Stabilizer States
read the original abstract
Large-scale quantum computation is likely to require massive quantum error correction (QEC). QEC codes and circuits are described via the stabilizer formalism, which represents stabilizer states by keeping track of the operators that preserve them. Such states are obtained by stabilizer circuits (consisting of CNOT, Hadamard and Phase gates) and can be represented compactly on conventional computers using $O(n^2)$ bits, where $n$ is the number of qubits. As an additional application, the work by Aaronson and Gottesman suggests the use of superpositions of stabilizer states to represent arbitrary quantum states. To aid in such applications and improve our understanding of stabilizer states, we characterize and count nearest-neighbor stabilizer states, quantify the distribution of angles between pairs of stabilizer states, study succinct stabilizer superpositions and stabilizer bivectors, explore the approximation of non-stabilizer states by single stabilizer states and short linear combinations of stabilizer states, develop an improved inner-product computation for stabilizer states via synthesis of compact canonical stabilizer circuits, propose an orthogonalization procedure for stabilizer states, and evaluate several of these algorithms empirically.
This paper has not been read by Pith yet.
Forward citations
Cited by 6 Pith papers
-
Triangle Criterion: a mixed-state magic criterion with applications in distillation and detection
The Triangle Criterion detects mixed-state magic, proves multi-qubit distillation is strictly stronger than single-qubit schemes, and identifies a purity bound plus undetectable unfaithful magic states.
-
Nonlocal nonstabilizerness in free fermion models
Nonlocal magic in fermionic Gaussian states is bounded by the entanglement spectrum of the covariance matrix, is extensive in the Haar ensemble, peaks at criticality in the Kitaev chain, and grows diffusively under ra...
-
Quantum magic of strongly correlated fermions $-$ the Hubbard dimer
Non-stabilizerness of the Hubbard dimer is computed with robustness of magic and stabilizer Rényi entropy, revealing it as a resource distinct from fermionic non-Gaussianity and superselected entanglement.
-
Quantum Magic in early FTQC: From Diagonal Clifford Hierarchy No-Go Theorems to Architecture Design Blueprints
No-go theorems prove hierarchy level and state-independent sequences cannot maximize operational magic in early FTQC, requiring state-aware differentiable optimization and nonlinear phases for scalable magic generation.
-
Clifford Orbits from Cayley Graph Quotients
Quotienting the Cayley graph of the Clifford group by a quantum state's stabilizer subgroup produces a graph of the state's Clifford orbit.
-
Magic and Non-Clifford Gates in Topological Quantum Field Theory
Non-Clifford gates including Ising, Toffoli, and T arise as exact path integrals in Chern-Simons and Dijkgraaf-Witten topological quantum field theories.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.