Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:quant-ph/0404106 · Physical Review A

Local invariants of stabilizer codes

Maarten Van den Nest, Jeroen Dehaene, Bart De Moor

Published Sep 24, 2004• 16 citations
arXivHTMLPDF

Abstract

In Phys. Rev. A 58, 1833 (1998), Grassl et al. presented a family of polynomial invariants which separate the orbits of multiqubit density operators $\ensuremath{\rho}$ under the action of the local unitary group. We consider this family of invariants for the class of those $\ensuremath{\rho}$ that are the projection operators describing stabilizer codes and give a complete translation of these invariants into the binary framework in which stabilizer codes are usually described. Such an investigation of local invariants of quantum codes is of natural importance in quantum coding theory, since locally equivalent codes have the same error-correcting capabilities and local invariants are powerful tools to explore their structure. Moreover, the present result is relevant in the context of multipartite entanglement and the development of the measurement-based model of quantum computation known as the one-way quantum computer.

DOI
10.1103/physreva.70.032323

Related papers

A Classification of Invertible Stabilizer Codes

Geiko, Roman, Shuklin, Georgii

We develop a framework for the classification of invertible translation-invariant stabilizer codes modulo condensation and stabilization with simple codes. Our stabilizer codes generalize the Pauli codes: they are extracted from local commuting projector Hamiltonians whose terms are made of local alphabets more general than the Pauli operators. In particular, not all such codes can be entangled/disentangled with Clifford Quantum Cellular Automata. We compute their Witt-equivalence classes in any spatial dimension in terms of relative L-theory groups. In particular, we show that the group of equivalence classes of such codes in three spatial dimensions is isomorphic to the Witt group of abelian topological orders in two spatial dimensions. In four spatial dimensions we obtain a group of order two, conjecturally corresponding to the non-trivial invertible phase. Additionally, we propose a representing spectrum for the generalized cohomology theory corresponding to the invertible stabilizer codes.

arXiv:2512.01142•Nov 30, 2025•0 citations

Invariants of the local Clifford group

Maarten Van den Nest, Jeroen Dehaene, Bart De Moor

We study the algebra of complex polynomials which remain invariant under the action of the local Clifford group under conjugation. Within this algebra, we consider the linear spaces of homogeneous polynomials degree by degree and construct bases for these vector spaces for each degree, thereby obtaining a generating set of polynomial invariants. Our approach is based on the description of Clifford operators in terms of linear operations over GF(2). Such a study of polynomial invariants of the local Clifford group is mainly of importance in quantum coding theory, in particular in the classification of binary quantum codes. Some applications in entanglement theory and quantum computing are briefly discussed as well.

arXiv:quant-ph/0410035•Physical Review A•Feb 16, 2005•14 citations

Stabilizer Codes and Quantum Error Correction

Daniel Gottesman

Controlling operational errors and decoherence is one of the major challenges facing the field of quantum computation and other attempts to create specified many-particle entangled states. The field of quantum error correction has developed to meet this challenge. A group-theoretical structure and associated subclass of quantum codes, the stabilizer codes, has proved particularly fruitful in producing codes and in understanding the structure of both specific codes and classes of codes. I will give an overview of the field of quantum error correction and the formalism of stabilizer codes. In the context of stabilizer codes, I will discuss a number of known codes, the capacity of a quantum channel, bounds on quantum codes, and fault-tolerant quantum computation.

arXiv:quant-ph/9705052•May 28, 1997•753 citations

Stabilizer Codes and Quantum Error Correction

Daniel Gottesman

Controlling operational errors and decoherence is one of the major challenges facing the field of quantum computation and other attempts to create specified many-particle entangled states. The field of quantum error correction has developed to meet this challenge. A group-theoretical structure and associated subclass of quantum codes, the stabilizer codes, has proved particularly fruitful in producing codes and in understanding the structure of both specific codes and classes of codes. I will give an overview of the field of quantum error correction and the formalism of stabilizer codes. In the context of stabilizer codes, I will discuss a number of known codes, the capacity of a quantum channel, bounds on quantum codes, and fault-tolerant quantum computation.

•May 28, 1997•1,237 citations

Finite set of invariants to characterize local Clifford equivalence of stabilizer states

Maarten Van den Nest, Jeroen Dehaene, Bart De Moor

The classification of stabilizer states under local Clifford (LC) equivalence is of particular importance in quantum error-correction and measurement-based quantum computation. Two stabilizer states are called LC equivalent if there exists a local Clifford operation which maps the first state to the second. We present a finite set of invariants which completely characterizes the LC equivalence class of any stabilizer state. Our invariants have simple descriptions within the binary framework in which stabilizer states are usually described.

arXiv:quant-ph/0410165•Physical Review A•Jul 20, 2005•19 citations

Multi-invariants in stabilizer states

Sriram Akella, Abhijit Gadde, Jay Pandey

Multipartite entanglement is a natural generalization of bipartite entanglement, but is relatively poorly understood. In this paper, we develop tools to calculate a class of multipartite entanglement measures - known as multi-invariants - for stabilizer states. We give an efficient numerical algorithm that computes multi-invariants for stabilizer states. For tripartite stabilizer states, we also obtain an explicit formula for any multi-invariant using the GHZ-extraction theorem. We then present a counting argument that calculates any Coxeter multi-invariant of a q-partite stabilizer state. We conjecture a closed form expression for the same. We uncover hints of an interesting connection between multi-invariants, stabilizer states and topology. We show how our formulas are further simplified for a restricted class of stabilizer states that appear as ground states of interesting models like the toric code and the X-cube model.

quant-pharXiv:2601.16258•Jan 26, 2026•0 citations
In Phys. Rev. A 58, 1833 (1998), Grassl et al. presented a family of polynomial invariants which separate the orbits of multiqubit density operators \ensuremathρ\ensuremath{\rho}\ensuremathρ under the action of the local unitary group. We consider this family of invariants for the class of those \ensuremathρ\ensuremath{\rho}\ensuremathρ that are the projection operators describing stabilizer codes and give a complete translation of these invariants into the binary framework in which stabilizer codes are usually described. Such an investigation of local invariants of quantum codes is of natural importance in quantum coding theory, since locally equivalent codes have the same error-correcting capabilities and local invariants are powerful tools to explore their structure. Moreover, the present result is relevant in the context of multipartite entanglement and the development of the measurement-based model of quantum computation known as the one-way quantum computer.
We develop a framework for the classification of invertible translation-invariant stabilizer codes modulo condensation and stabilization with simple codes. Our stabilizer codes generalize the Pauli codes: they are extracted from local commuting projector Hamiltonians whose terms are made of local alphabets more general than the Pauli operators. In particular, not all such codes can be entangled/disentangled with Clifford Quantum Cellular Automata. We compute their Witt-equivalence classes in any spatial dimension in terms of relative L-theory groups. In particular, we show that the group of equivalence classes of such codes in three spatial dimensions is isomorphic to the Witt group of abelian topological orders in two spatial dimensions. In four spatial dimensions we obtain a group of order two, conjecturally corresponding to the non-trivial invertible phase. Additionally, we propose a representing spectrum for the generalized cohomology theory corresponding to the invertible stabilizer codes.
We study the algebra of complex polynomials which remain invariant under the action of the local Clifford group under conjugation. Within this algebra, we consider the linear spaces of homogeneous polynomials degree by degree and construct bases for these vector spaces for each degree, thereby obtaining a generating set of polynomial invariants. Our approach is based on the description of Clifford operators in terms of linear operations over GF(2). Such a study of polynomial invariants of the local Clifford group is mainly of importance in quantum coding theory, in particular in the classification of binary quantum codes. Some applications in entanglement theory and quantum computing are briefly discussed as well.
Controlling operational errors and decoherence is one of the major challenges facing the field of quantum computation and other attempts to create specified many-particle entangled states. The field of quantum error correction has developed to meet this challenge. A group-theoretical structure and associated subclass of quantum codes, the stabilizer codes, has proved particularly fruitful in producing codes and in understanding the structure of both specific codes and classes of codes. I will give an overview of the field of quantum error correction and the formalism of stabilizer codes. In the context of stabilizer codes, I will discuss a number of known codes, the capacity of a quantum channel, bounds on quantum codes, and fault-tolerant quantum computation.
Controlling operational errors and decoherence is one of the major challenges facing the field of quantum computation and other attempts to create specified many-particle entangled states. The field of quantum error correction has developed to meet this challenge. A group-theoretical structure and associated subclass of quantum codes, the stabilizer codes, has proved particularly fruitful in producing codes and in understanding the structure of both specific codes and classes of codes. I will give an overview of the field of quantum error correction and the formalism of stabilizer codes. In the context of stabilizer codes, I will discuss a number of known codes, the capacity of a quantum channel, bounds on quantum codes, and fault-tolerant quantum computation.
The classification of stabilizer states under local Clifford (LC) equivalence is of particular importance in quantum error-correction and measurement-based quantum computation. Two stabilizer states are called LC equivalent if there exists a local Clifford operation which maps the first state to the second. We present a finite set of invariants which completely characterizes the LC equivalence class of any stabilizer state. Our invariants have simple descriptions within the binary framework in which stabilizer states are usually described.
Multipartite entanglement is a natural generalization of bipartite entanglement, but is relatively poorly understood. In this paper, we develop tools to calculate a class of multipartite entanglement measures - known as multi-invariants - for stabilizer states. We give an efficient numerical algorithm that computes multi-invariants for stabilizer states. For tripartite stabilizer states, we also obtain an explicit formula for any multi-invariant using the GHZ-extraction theorem. We then present a counting argument that calculates any Coxeter multi-invariant of a q-partite stabilizer state. We conjecture a closed form expression for the same. We uncover hints of an interesting connection between multi-invariants, stabilizer states and topology. We show how our formulas are further simplified for a restricted class of stabilizer states that appear as ground states of interesting models like the toric code and the X-cube model.