We propose a non-commutative extension of the Pauli stabilizer for-malism. The aim is to describe a class of many-body quantum states which is richer than the standard Pauli stabilizer states. In our frame-work, stabilizer operators are tensor products of single-qubit operators drawn from the group 〈αI,X, S〉, where α = eipi/4 and S = diag(1, i). We provide techniques to efficiently compute various properties re-lated to bipartite entanglement, expectation values of local observ-ables, preparation by means of quantum circuits, parent Hamiltonians etc. We also highlight significant differences compared to the Pauli stabilizer formalism. In particular, we give examples of states in our formalism which cannot arise in the Pauli stabilizer formalism, such as topological models that support non-Abelian anyons. 1
We propose a non-commutative extension of the Pauli stabilizer for-malism. The aim is to describe a class of many-body quantum states which is richer than the standard Pauli stabilizer states. In our frame-work, stabilizer operators are tensor products of single-qubit operators drawn from the group 〈αI,X, S〉, where α = eipi/4 and S = diag(1, i). We provide techniques to efficiently compute various properties re-lated to bipartite entanglement, expectation values of local observ-ables, preparation by means of quantum circuits, parent Hamiltonians etc. We also highlight significant differences compared to the Pauli stabilizer formalism. In particular, we give examples of states in our formalism which cannot arise in the Pauli stabilizer formalism, such as topological models that support non-Abelian anyons. 1
We propose a non-commutative extension of the Pauli stabilizer formalism. The aim is to describe a class of many-body quantum states which is richer than the standard Pauli stabilizer states. In our framework, stabilizer operators are tensor products of single-qubit operators drawn from the group 〈αI, X, S〉, where α = eiπ/4 and S = diag(1, i). We provide techniques to efficiently compute various properties related to bipartite entanglement, expectation values of local observables, preparation by means of quantum circuits, parent Hamiltonians, etc. We also highlight significant differences compared to the Pauli stabilizer formalism. In particular, we give examples of states in our formalism which cannot arise in the Pauli stabilizer formalism, such as topological models that support non-Abelian anyons.
We propose a framework to describe and simulate a class of many-body quantum states. We do so by considering joint eigenspaces of sets of monomial unitary matrices, called here ' M -spaces'; a unitary matrix is monomial if precisely one entry per row and column is nonzero. We show that M -spaces encompass various important state families, such as all Pauli stabilizer states and codes, the Affleck–Kennedy–Lieb–Tasaki (AKLT) model, Kitaev's (Abelian and non-Abelian) anyon models, group coset states, W states and the locally maximally entanglable states. We furthermore show how basic properties of M -spaces can be understood transparently by manipulating their monomial stabilizer groups. In particular, we derive a unified procedure to construct an eigenbasis of any M -space, yielding an explicit formula for each of the eigenstates. We also discuss the computational complexity of M -spaces and show that basic problems, such as estimating local expectation values, are NP-hard. Finally, we prove that a large subclass of M -spaces—containing, in particular, most of the aforementioned examples—can be simulated efficiently classically with a unified method.
This work uncovers a fundamental connection between doped stabilizer states, a concept from quantum information theory, and the structure of eigenstates in perturbed many-body quantum systems. We prove that for Hamiltonians consisting of a sum of commuting Pauli operators, i.e., stabilizer Hamiltonians, and a perturbation composed of a limited number of arbitrary Pauli terms, the eigenstates can be represented as doped stabilizer states with small stabilizer nullity. This result enables the application of stabilizer techniques to a broad class of many-body systems, even in highly entangled regimes. Building on this, we develop efficient classical algorithms for tasks such as finding low-energy eigenstates, simulating quench dynamics, preparing Gibbs states, and computing entanglement entropies in these systems. Our work opens up new possibilities for understanding the robustness of topological order and the dynamics of many-body systems under perturbations, paving the way for novel insights into the interplay of quantum information, entanglement, and many-body systems.
We find an interesting relationship between multipartite bound entangled states and the stabilizer formalism. We prove that, if a set of commuting operators from the generalized Pauli group on n qudits satisfy certain constraints, then the maximally mixed state over the subspace stabilized by them is an unlockable bound entangled state. Moreover, the properties of this state, such as symmetry under permutations of parties, undistillability, and unlockability, can be easily explained from the stabilizer formalism without tedious calculation. In particular, the four-qubit Smolin state [Smolin, Phys. Rev. A 63, 032306 (2001)] and its recent generalization to even numbers of qubits [Bandyopadhyay et al., Phys. Rev. A 71, 062317 (2005); Augusiak et al., ibid 73, 012318 (2006)] can be viewed as special examples of our results. Finally, we extend our results to arbitrary multipartite systems in which the dimensions of all parties may be different.
Quantum computers are expected to have advantages over classical computers in solving a range of high impact problems, but they are highly susceptible to errors due to environmental noise. The Pauli Stabiliser formalism generalises classical error-correction methods and makes use of quantum error correction codes to protect quantum information. In this thesis, we introduce the XP stabiliser formalism, which is a generalisation of the Pauli stabiliser formalism with a number of useful applications. Quantum algorithms are typically written in terms of quantum circuits which involve a series of unitary gates followed by measurements which form the output of the computation. To implement quantum algorithms reliably, we need to perform unitary gates fault-tolerantly so that errors do not propagate in an uncontrolled way. Transversal logical operators are one way of applying unitary gates fault-tolerantly on Pauli stabiliser codes. Identifying transversal logical operators for a given Pauli stabiliser code is challenging, and existing methods have exponential complexity in one or more of the parameters of the code. Making use of the XP formalism, we present efficient algorithms which identify all transversal logical operators that are diagonal in the computational basis for any Pauli stabiliser code. We also show how to construct codes with a transversal implementation of any desired diagonal logical operator. The Pauli stabiliser formalism can also be used to efficiently represent certain quantum states, but many states of interest lie outside the formalism. In the XP formalism, a wider range of states can be represented than in the Pauli stabiliser formalism, including hypergraph states which have interesting non-local properties. The braiding of non-Abelian anyons is a proposed pathway to universal fault-tolerant quantum computation. Certain XP stabiliser codes are known to harbour non-Abelian anyons, and can be studied within the new formalism.
We construct a Pauli stabilizer model for every two-dimensional Abelian topological order that admits a gapped boundary.Our primary example is a Pauli stabilizer model on four-dimensional qudits that belongs to the double semion (DS) phase of matter.The DS stabilizer Hamiltonian is constructed by condensing an emergent boson in a Z 4 toric code, where the condensation is implemented at the level of the ground states by two-body measurements.We rigorously verify the topological order of the DS stabilizer model by identifying an explicit finite-depth quantum circuit (with ancillary qubits) that maps its ground-state subspace to that of a DS string-net model.We show that the construction of the DS stabilizer Hamiltonian generalizes to all twisted quantum doubles (TQDs) with Abelian anyons.This yields a Pauli stabilizer code on composite-dimensional qudits for each such TQD, implying that the classification of topological Pauli stabilizer codes extends well beyond stacks of toric codes-in fact, exhausting all Abelian anyon theories that admit a gapped boundary.We also demonstrate that symmetry-protected topological phases of matter characterized by type-I and type-II cocycles can be modeled by Pauli stabilizer Hamiltonians by gauging certain 1-form symmetries of the TQD stabilizer models.