A Non-Commuting Stabilizer Formalism

Abstract

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 $⟨\alpha I,X,S⟩$, where $\alpha =e^{i\pi /4}$ and $S=\mathrm{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.

52 pages

References in corpus (9)

• Multi-party entanglement in graph states
• Local stabilizer codes in three dimensions without string logical operators
• Area laws in quantum systems: mutual information and correlations
• Magic state distillation with low overhead
• Twisted Quantum Double Model of Topological Phases in Two--Dimension
• Codeword Stabilized Quantum Codes
• Quantum Error Correcting Codes Using Qudit Graph States
• Entanglement in the stabilizer formalism
• Classification of quantum phases and topology of logical operators in an exactly solved model of quantum codes