Abstract:The standard stabilizer formalism provides a setting to show that quantum computation restricted to operations within the Clifford group are classically efficiently simulable: this is the content of the well-known Gottesman-Knill theorem. This work analyzes the mathematical structure behind this theorem to find possible generalizations and derivation of constraints required for constructing a non-trivial generalized Clifford group. We prove that if the closure of the stabilizing set is dense in the set of $SU(d)$ transformations, then the associated Clifford group is trivial, consisting only of local gates and permutations of subsystems. This result demonstrates the close relationship between the density of the stabilizing set and the simplicity of the corresponding Clifford group. We apply the analysis to investigate stabilization with binary observables for qubits and find that the formalism is equivalent to the standard stabilization for a low number of qubits. Based on the observed patterns, we conjecture that a large class of generalized stabilizer states are equivalent to the standard ones. Our results can be used to construct novel Gottesman-Knill-type results and consequently draw a sharper line between quantum and classical computation.

Generic states and stability

Generic stabilizers for simple algebraic groups acting on orthogonal and symplectic Grassmannians

The group configuration theorem for generically stable types

Generic stability of linear algebraic groups over $\mathbb{C}[[t]]$

Geometric interpretation of quantitative instability

Stable automorphic forms for the general linear group

A Note on Generic Types

Uniform -Stability Modulo a Subgroup

Generic Stability of Linear Algebraic Groups over ℂ[[t]]

The Stable Cohomology of the Satake Compactification of 𝒜g

Characterizations of Stability via Morse Limit Sets

Generic differentiability and $P$-minimal groups

On The Stabilizer Formalism And Its Generalization

Geometric classification of total stability spaces

A Generalization of Principal Bundles With a Parabolic or Level Structure

Generic automorphisms and green fields

The Thermomajorization Polytope and Its Degeneracies

Global Dimension Function on Stability Conditions and Gepner Equations

Stability is not open or generic in symplectic four-manifolds

Idempotent Geometry in Generic Algebras