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:2404.17677

Stabilizer operators and Barnes-Wall lattices

Vadym Kliuchnikov, Sebastian Schönnenbeck

Published Apr 26, 2024• 1 citation
arXivHTMLPDF

Abstract

We give a simple description of rectangular matrices that can be implemented by a post-selected stabilizer circuit. Given a matrix with entries in dyadic cyclotomic number fields $\mathbb{Q}(\exp(i\frac{2π}{2^m}))$, we show that it can be implemented by a post-selected stabilizer circuit if it has entries in $\mathbb{Z}[\exp(i\frac{2π}{2^m})]$ when expressed in a certain non-orthogonal basis. This basis is related to Barnes-Wall lattices. Our result is a generalization to a well-known connection between Clifford groups and Barnes-Wall lattices. We also show that minimal vectors of Barnes-Wall lattices are stabilizer states, which may be of independent interest. Finally, we provide a few examples of generalizations beyond standard Clifford groups.

DOI
10.48550/arxiv.2404.17677

Related papers

Stabilizer Ranks, Barnes Wall Lattices and Magic Monotones

Amolak Ratan Kalra, Pulkit Sinha

In 2024, Kliuchnikov and Schönnenbeck showed a connection between the Barnes Wall lattices, stabilizer states and Clifford operations. In this work, we study their results and relate them to the problem of lower bounding stabilizer ranks. We show the first quantitative lower bound on stabilizer fidelity as a function of stabilizer ranks, which reproduces the linear-by-log lower bound for χ δ ( | H ⟩ ⊗ n ) , i.e, on the approximate stabilizer rank of | H ⟩ ⊗ n . In fact, we show that the lower bound holds even when the fidelity between the approximation and | H ⟩ ⊗ n is exponentially small, which is currently the best lower bound in this regime.Next, we define a new magic monotone for pure states, the Barnes Wall norm, and its corresponding approximate variant. We upper bound these monotones by the C S -count of state preparation, and also by the stabilizer ranks. In particular, the upper bound given by the C S -count is tight, in the sense that we exhibit states that achieve the bound.Apart from these results, we give a Fidelity Amplification algorithm, which provides a trade-off between approximation error and the stabilizer rank. As a corollary, it gives us a way to compose approximate stabilizer decompositions into approximate decompositions of their tensor products.Finally, we provide an alternate, elementary proof of the existence and density of product states with maximal stabilizer ranks, which was first proven by Lovitz and Steffan (2022), where they used results from algebraic geometry.

arXiv:2503.04101•Quantum•Jul 29, 2026•0 citations

Stabilizer states and Clifford operations for systems of arbitrary dimensions and modular arithmetic

Erik Hostens, Jeroen Dehaene, Bart De Moor

We describe generalizations of the Pauli group, the Clifford group, and stabilizer states for qudits in a Hilbert space of arbitrary dimension $d$. We examine a link with modular arithmetic, which yields an efficient way of representing the Pauli group and the Clifford group with matrices over ${\mathbb{Z}}_{d}$. We further show how a Clifford operation can be efficiently decomposed into one and two-qudit operations. We also focus in detail on standard basis expansions of stabilizer states.

arXiv:quant-ph/0408190•Physical Review A•Apr 11, 2005•137 citations

Clifford group, stabilizer states, and linear and quadratic operations over GF(2)

Jeroen Dehaene, Bart De Moor

We describe stabilizer states and Clifford group operations using linear operations and quadratic forms over binary vector spaces. We show how the n-qubit Clifford group is isomorphic to a group with an operation that is defined in terms of a $(2n+1)\ifmmode\times\else\texttimes\fi{}(2n+1)$ binary matrix product and binary quadratic forms. As an application we give two schemes to efficiently decompose Clifford group operations into one- and two-qubit operations. We also show how the coefficients of stabilizer states and Clifford group operations in a standard basis expansion can be described by binary quadratic forms. Our results are useful for quantum error correction, entanglement distillation, and possibly quantum computing.

arXiv:quant-ph/0304125•Physical Review A•Oct 20, 2003•183 citations

Exact Synthesis of Multiqutrit Clifford-Cyclotomic Circuits

Andrew N. Glaudell, Neil J. Ross, John van de Wetering +1 more

It is known that the matrices that can be exactly represented by a multiqubit circuit over the Toffoli+Hadamard, Clifford+$T$, or, more generally, Clifford-cyclotomic gate set are precisely the unitary matrices with entries in the ring $\mathbb{Z}[1/2,\zeta_k]$, where $k$ is a positive integer that depends on the gate set and $\zeta_k$ is a primitive $2^k$-th root of unity. In the present paper, we establish an analogous correspondence for qutrits. We define the multiqutrit Clifford-cyclotomic gate set of degree $3^k$ by extending the classical qutrit gates $X$, $CX$, and $CCX$ with the Hadamard gate $H$ and the $T_k$ gate $T_k=\mathrm{diag}(1,\omega_k, \omega_k^2)$, where $\omega_k$ is a primitive $3^k$-th root of unity. This gate set is equivalent to the qutrit Toffoli+Hadamard gate set when $k=1$, and to the qutrit Clifford+$T_k$ gate set when $k>1$. We then prove that a $3^n\times 3^n$ unitary matrix $U$ can be represented by an $n$-qutrit circuit over the Clifford-cyclotomic gate set of degree $3^k$ if and only if the entries of $U$ lie in the ring $\mathbb{Z}[1/3,\omega_k]$.

arXiv:2405.08136•Electronic Proceedings in Theoretical Computer Science•Aug 9, 2024•6 citations

Unifying the Clifford hierarchy via symmetric matrices over rings

Narayanan Rengaswamy, Robert Calderbank, Henry D. Pfister

The Clifford hierarchy of unitary operators is a foundational concept for universal quantum computation. It was introduced to show that universal quantum computation can be realized via quantum teleportation, given access to certain standard resources. While the full structure of the hierarchy is still not understood, Cui et al. [S. X. Cui et al., Phys. Rev. A 95, 012329 (2017)] recently described the structure of diagonal unitaries in the hierarchy. They considered diagonal unitaries whose action on a computational basis qudit state is described by a ${2}^{k}\mathrm{th}$ root of unity raised to some polynomial function of the state, and they established the level of such unitaries in the hierarchy as a function of $k$ and the degree of the polynomial. For qubit systems, we consider $k\mathrm{th}$-level diagonal unitaries that can be described just by quadratic forms of the state over the ring ${\mathbb{Z}}_{{2}^{k}}$ of integers modulo ${2}^{k}$. The quadratic forms involve symmetric matrices over ${\mathbb{Z}}_{{2}^{k}}$ that can be used to efficiently describe all two-local and certain higher locality diagonal gates in the hierarchy. We also provide explicit algebraic descriptions of their action on Pauli matrices, which establishes a natural recursion to diagonal unitaries from lower levels. The result involves symplectic matrices over ${\mathbb{Z}}_{{2}^{k}}$ and hence our perspective unifies a subgroup of diagonal gates in the Clifford hierarchy with the binary symplectic framework for gates in the Clifford group. We augment our description with simple examples for certain standard gates. In addition to demonstrating structure, these formulas might prove useful in applications such as (i) classical simulation of quantum circuits, especially via the stabilizer rank approach, (ii) synthesis of logical non-Clifford unitaries, specifically alternatives to expensive magic state distillation, and (iii) decomposition of arbitrary unitaries beyond the $\mathrm{Clifford}+T$ set of gates, perhaps leading to shorter depth circuits. Our results suggest that some nondiagonal gates in the hierarchy might also be understood by generalizing other binary symplectic matrices to integer rings.

arXiv:1902.04022•Physical Review A•Aug 7, 2019•24 citations

Clifford orbits and stabilizer states

Lingxuan Feng, Shunlong Luo

Abstract Stabilizer states serve as ‘classical objects’ in the stabilizer formalism of quantum theory, and play an important role in quantum error correction, fault-tolerant quantum computation, and quantum communication. They provide an efficient description of many basic features of quantum theory and exhibit a rich structure. For prime dimensional systems, they may be defined by two quite different yet equivalent ways: The first is via stabilizer groups (maximal Abelian subgroups of the discrete Heisenberg–Weyl group). The second is via the orbits of the Clifford group acting on any computational basis state. However, in a general dimensional system, this equivalence breaks down, and consequently, it is desirable to clarify the difference and relation between the above two approaches to stabilizer states. In this work, we show that these two approaches are equivalent if and only if the system dimension is square-free (i.e. has no square factor). Furthermore, we completely reveal the relation between the Clifford orbits and stabilizer states in an arbitrary dimensional system, derive the explicit expressions of the Clifford orbits and determine their cardinalities.

Journal of Physics A Mathematical and Theoretical•Sep 3, 2024•6 citations
We give a simple description of rectangular matrices that can be implemented by a post-selected stabilizer circuit. Given a matrix with entries in dyadic cyclotomic number fields Q(exp⁡(i2π2m))\mathbb{Q}(\exp(i\frac{2π}{2^m}))Q(exp(i2m2π​)), we show that it can be implemented by a post-selected stabilizer circuit if it has entries in Z[exp⁡(i2π2m)]\mathbb{Z}[\exp(i\frac{2π}{2^m})]Z[exp(i2m2π​)] when expressed in a certain non-orthogonal basis. This basis is related to Barnes-Wall lattices. Our result is a generalization to a well-known connection between Clifford groups and Barnes-Wall lattices. We also show that minimal vectors of Barnes-Wall lattices are stabilizer states, which may be of independent interest. Finally, we provide a few examples of generalizations beyond standard Clifford groups.
In 2024, Kliuchnikov and Schönnenbeck showed a connection between the Barnes Wall lattices, stabilizer states and Clifford operations. In this work, we study their results and relate them to the problem of lower bounding stabilizer ranks. We show the first quantitative lower bound on stabilizer fidelity as a function of stabilizer ranks, which reproduces the linear-by-log lower bound for χ δ ( | H ⟩ ⊗ n ) , i.e, on the approximate stabilizer rank of | H ⟩ ⊗ n . In fact, we show that the lower bound holds even when the fidelity between the approximation and | H ⟩ ⊗ n is exponentially small, which is currently the best lower bound in this regime.Next, we define a new magic monotone for pure states, the Barnes Wall norm, and its corresponding approximate variant. We upper bound these monotones by the C S -count of state preparation, and also by the stabilizer ranks. In particular, the upper bound given by the C S -count is tight, in the sense that we exhibit states that achieve the bound.Apart from these results, we give a Fidelity Amplification algorithm, which provides a trade-off between approximation error and the stabilizer rank. As a corollary, it gives us a way to compose approximate stabilizer decompositions into approximate decompositions of their tensor products.Finally, we provide an alternate, elementary proof of the existence and density of product states with maximal stabilizer ranks, which was first proven by Lovitz and Steffan (2022), where they used results from algebraic geometry.
We describe generalizations of the Pauli group, the Clifford group, and stabilizer states for qudits in a Hilbert space of arbitrary dimension ddd. We examine a link with modular arithmetic, which yields an efficient way of representing the Pauli group and the Clifford group with matrices over Zd{\mathbb{Z}}_{d}Zd​. We further show how a Clifford operation can be efficiently decomposed into one and two-qudit operations. We also focus in detail on standard basis expansions of stabilizer states.
We describe stabilizer states and Clifford group operations using linear operations and quadratic forms over binary vector spaces. We show how the n-qubit Clifford group is isomorphic to a group with an operation that is defined in terms of a $(2n+1)\ifmmode\times\else\texttimes\fi{}(2n+1)$ binary matrix product and binary quadratic forms. As an application we give two schemes to efficiently decompose Clifford group operations into one- and two-qubit operations. We also show how the coefficients of stabilizer states and Clifford group operations in a standard basis expansion can be described by binary quadratic forms. Our results are useful for quantum error correction, entanglement distillation, and possibly quantum computing.
It is known that the matrices that can be exactly represented by a multiqubit circuit over the Toffoli+Hadamard, Clifford+TTT, or, more generally, Clifford-cyclotomic gate set are precisely the unitary matrices with entries in the ring Z[1/2,ζk]\mathbb{Z}[1/2,\zeta_k]Z[1/2,ζk​], where kkk is a positive integer that depends on the gate set and ζk\zeta_kζk​ is a primitive 2k2^k2k-th root of unity. In the present paper, we establish an analogous correspondence for qutrits. We define the multiqutrit Clifford-cyclotomic gate set of degree 3k3^k3k by extending the classical qutrit gates XXX, CXCXCX, and CCXCCXCCX with the Hadamard gate HHH and the TkT_kTk​ gate Tk=diag(1,ωk,ωk2)T_k=\mathrm{diag}(1,\omega_k, \omega_k^2)Tk​=diag(1,ωk​,ωk2​), where ωk\omega_kωk​ is a primitive 3k3^k3k-th root of unity. This gate set is equivalent to the qutrit Toffoli+Hadamard gate set when k=1k=1k=1, and to the qutrit Clifford+TkT_kTk​ gate set when k>1k>1k>1. We then prove that a 3n×3n3^n\times 3^n3n×3n unitary matrix UUU can be represented by an nnn-qutrit circuit over the Clifford-cyclotomic gate set of degree 3k3^k3k if and only if the entries of UUU lie in the ring Z[1/3,ωk]\mathbb{Z}[1/3,\omega_k]Z[1/3,ωk​].
The Clifford hierarchy of unitary operators is a foundational concept for universal quantum computation. It was introduced to show that universal quantum computation can be realized via quantum teleportation, given access to certain standard resources. While the full structure of the hierarchy is still not understood, Cui et al. [S. X. Cui et al., Phys. Rev. A 95, 012329 (2017)] recently described the structure of diagonal unitaries in the hierarchy. They considered diagonal unitaries whose action on a computational basis qudit state is described by a 2kth{2}^{k}\mathrm{th}2kth root of unity raised to some polynomial function of the state, and they established the level of such unitaries in the hierarchy as a function of kkk and the degree of the polynomial. For qubit systems, we consider kthk\mathrm{th}kth-level diagonal unitaries that can be described just by quadratic forms of the state over the ring Z2k{\mathbb{Z}}_{{2}^{k}}Z2k​ of integers modulo 2k{2}^{k}2k. The quadratic forms involve symmetric matrices over Z2k{\mathbb{Z}}_{{2}^{k}}Z2k​ that can be used to efficiently describe all two-local and certain higher locality diagonal gates in the hierarchy. We also provide explicit algebraic descriptions of their action on Pauli matrices, which establishes a natural recursion to diagonal unitaries from lower levels. The result involves symplectic matrices over Z2k{\mathbb{Z}}_{{2}^{k}}Z2k​ and hence our perspective unifies a subgroup of diagonal gates in the Clifford hierarchy with the binary symplectic framework for gates in the Clifford group. We augment our description with simple examples for certain standard gates. In addition to demonstrating structure, these formulas might prove useful in applications such as (i) classical simulation of quantum circuits, especially via the stabilizer rank approach, (ii) synthesis of logical non-Clifford unitaries, specifically alternatives to expensive magic state distillation, and (iii) decomposition of arbitrary unitaries beyond the Clifford+T\mathrm{Clifford}+TClifford+T set of gates, perhaps leading to shorter depth circuits. Our results suggest that some nondiagonal gates in the hierarchy might also be understood by generalizing other binary symplectic matrices to integer rings.
Abstract Stabilizer states serve as ‘classical objects’ in the stabilizer formalism of quantum theory, and play an important role in quantum error correction, fault-tolerant quantum computation, and quantum communication. They provide an efficient description of many basic features of quantum theory and exhibit a rich structure. For prime dimensional systems, they may be defined by two quite different yet equivalent ways: The first is via stabilizer groups (maximal Abelian subgroups of the discrete Heisenberg–Weyl group). The second is via the orbits of the Clifford group acting on any computational basis state. However, in a general dimensional system, this equivalence breaks down, and consequently, it is desirable to clarify the difference and relation between the above two approaches to stabilizer states. In this work, we show that these two approaches are equivalent if and only if the system dimension is square-free (i.e. has no square factor). Furthermore, we completely reveal the relation between the Clifford orbits and stabilizer states in an arbitrary dimensional system, derive the explicit expressions of the Clifford orbits and determine their cardinalities.