The stabilizer formalism is a central framework in quantum computing and one of the key building blocks for fault-tolerant quantum computers. According to the Gottesman–Knill theorem, we can efficiently simulate any quantum system consisting of stabilizer states, Clifford gates, and Pauli measurements on a classical computer. A key challenge in developing robust quantum technologies is that physical quantum systems are unavoidably affected by noise, which degrades quantum information. Accurate noise modeling is therefore essential. For stabilizer states, the noisy stabilizer formalism has recently been introduced as a framework for efficiently describing the evolution of graph states subject to Pauli-diagonal noise under Clifford operations and Pauli measurements. In this thesis, we explore and extend this formalism in two directions. First, we generalize the method from graph states to arbitrary stabilizer states, thereby extending the Gottesman-Knill theorem to noisy scenarios. Second, we extend the formalism to handle noise models beyond Pauli-diagonal channels. Moreover, we study the applicability of the noisy stabilizer formalism to entanglement purification protocols.The stabilizer formalism is a central framework in quantum computing and one of the key building blocks for fault-tolerant quantum computers. According to the Gottesman–Knill theorem, we can efficiently simulate any quantum system consisting of stabilizer states, Clifford gates, and Pauli measurements on a classical computer. A key challenge in developing robust quantum technologies is that physical quantum systems are unavoidably affected by noise, which degrades quantum information. Accurate noise modeling is therefore essential. For stabilizer states, the noisy stabilizer formalism has recently been introduced as a framework for efficiently describing the evolution of graph states subject to Pauli-diagonal noise under Clifford operations and Pauli measurements. In this thesis, we explore and extend this formalism in two directions. First, we generalize the method from graph states to arbitrary stabilizer states, thereby extending the Gottesman-Knill theorem to noisy scenarios. Second, we extend the formalism to handle noise models beyond Pauli-diagonal channels. Moreover, we study the applicability of the noisy stabilizer formalism to entanglement purification protocols.

Jan 1, 20250 citations

Quantum Information and Statistical Mechanics: An Introduction to Frontier

Keisuke Fujii

This is a short review on an interdisciplinary field of quantum information science and statistical mechanics. We first give a pedagogical introduction to the stabilizer formalism, which is an efficient way to describe an important class of quantum states, the so-called stabilizer states, and quantum operations on them. Furthermore, graph states, which are a class of stabilizer states associated with graphs, and their applications for measurement-based quantum computation are also mentioned. Based on the stabilizer formalism, we review two interdisciplinary topics. One is the relation between quantum error correction codes and spin glass models, which allows us to analyze the performances of quantum error correction codes by using the knowledge about phases in statistical models. The other is the relation between the stabilizer formalism and partition functions of classical spin models, which provides new quantum and classical algorithms to evaluate partition functions of classical spin models.This is a short review on an interdisciplinary field of quantum information science and statistical mechanics. We first give a pedagogical introduction to the stabilizer formalism, which is an efficient way to describe an important class of quantum states, the so-called stabilizer states, and quantum operations on them. Furthermore, graph states, which are a class of stabilizer states associated with graphs, and their applications for measurement-based quantum computation are also mentioned. Based on the stabilizer formalism, we review two interdisciplinary topics. One is the relation between quantum error correction codes and spin glass models, which allows us to analyze the performances of quantum error correction codes by using the knowledge about phases in statistical models. The other is the relation between the stabilizer formalism and partition functions of classical spin models, which provides new quantum and classical algorithms to evaluate partition functions of classical spin models.

arXiv:1306.6757Interdisciplinary Information SciencesJan 1, 20132 citations

Clifford-hierarchy stabilizer formalism with applications to twisted quantum doubles

Christopher Fechisin, Kieran Cooney, Mathi Raja +4 more

Recent work has shown that quantum double models can be used to circumvent the Bravyi-Koenig bound. In particular, this is achieved through code-switching protocols in which non-Pauli stabilizer phases appear as intermediate codes. We introduce the $X\mathcal C^{(k)}_d$ stabilizer formalism, which generalizes the Pauli stabilizer formalism by combining Pauli- $X$ operators with diagonal operators drawn from a fixed level $k$ of the Clifford hierarchy on prime-dimensional qudits. This yields a natural class of beyond-Pauli stabilizer models, including many twisted quantum double phases. We classify a large class of these $X\mathcal C^{(k)}_d$ stabilizer states, showing that they are uniform superpositions over affine-linear subspaces with diagonal phases. In particular, when the stabilizers of a state require operators from level $k$ of the Clifford hierarchy, we show that the diagonal gates required to produce the phases in the wavefunction sit one level higher. We further show that every 2D twisted quantum double ${\cal D}^ω(\mathbb{Z}_p^n)$ with $ω$ a product of type-III cocycles and $p$ an odd prime admits a realization using only Clifford ( $k=2$ ) stabilizers, and we conjecture that phases where $ω$ contains a type-I or type-II cocycle require level- $p$ Clifford-hierarchy stabilizers for $p$ -dimensional qudits. Finally, we demonstrate that a pair of qudit toric codes may be deterministically prepared in a logical magic state by measuring $X\mathcal C^{(k)}_d$ stabilizers. Together, these results provide a concrete stabilizer framework for topological codes beyond Pauli stabilizer models and their logical gates.Recent work has shown that quantum double models can be used to circumvent the Bravyi-Koenig bound. In particular, this is achieved through code-switching protocols in which non-Pauli stabilizer phases appear as intermediate codes. We introduce the $X\mathcal C^{(k)}_d$ stabilizer formalism, which generalizes the Pauli stabilizer formalism by combining Pauli-$X$ operators with diagonal operators drawn from a fixed level $k$ of the Clifford hierarchy on prime-dimensional qudits. This yields a natural class of beyond-Pauli stabilizer models, including many twisted quantum double phases. We classify a large class of these $X\mathcal C^{(k)}_d$ stabilizer states, showing that they are uniform superpositions over affine-linear subspaces with diagonal phases. In particular, when the stabilizers of a state require operators from level $k$ of the Clifford hierarchy, we show that the diagonal gates required to produce the phases in the wavefunction sit one level higher. We further show that every 2D twisted quantum double ${\cal D}^ω(\mathbb{Z}_p^n)$ with $ω$ a product of type-III cocycles and $p$ an odd prime admits a realization using only Clifford ($k=2$) stabilizers, and we conjecture that phases where $ω$ contains a type-I or type-II cocycle require level-$p$ Clifford-hierarchy stabilizers for $p$-dimensional qudits. Finally, we demonstrate that a pair of qudit toric codes may be deterministically prepared in a logical magic state by measuring $X\mathcal C^{(k)}_d$ stabilizers. Together, these results provide a concrete stabilizer framework for topological codes beyond Pauli stabilizer models and their logical gates.

quant-pharXiv:2610.00464Oct 2, 20260 citations

The resource theory of stabilizer computation

Joseph Emerson

Bulletin of the American Physical SocietyMar 3, 20143 citations

X\mathcal C^{(k)}_d

stabilizer formalism, which generalizes the Pauli stabilizer formalism by combining Pauli-

X

operators with diagonal operators drawn from a fixed level

k

of the Clifford hierarchy on prime-dimensional qudits. This yields a natural class of beyond-Pauli stabilizer models, including many twisted quantum double phases. We classify a large class of these

X\mathcal C^{(k)}_d

stabilizer states, showing that they are uniform superpositions over affine-linear subspaces with diagonal phases. In particular, when the stabilizers of a state require operators from level

k

of the Clifford hierarchy, we show that the diagonal gates required to produce the phases in the wavefunction sit one level higher. We further show that every 2D twisted quantum double

{\cal D}^ω(\mathbb{Z}_p^n)

with

ω

a product of type-III cocycles and

p

an odd prime admits a realization using only Clifford (

k=2

) stabilizers, and we conjecture that phases where

ω

contains a type-I or type-II cocycle require level-

p

Clifford-hierarchy stabilizers for

p

-dimensional qudits. Finally, we demonstrate that a pair of qudit toric codes may be deterministically prepared in a logical magic state by measuring

X\mathcal C^{(k)}_d

stabilizers. Together, these results provide a concrete stabilizer framework for topological codes beyond Pauli stabilizer models and their logical gates.