A monomial matrix formalism to describe quantum many-body states
arXiv:1108.0531 · doi:10.1088/1367-2630/13/12/123004
Abstract
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 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 transparently be understood 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.
11 pages + appendices
References in corpus (5)
Cited by in corpus (14)
- Contextuality and Wigner function negativity in qubit quantum computation
- Robust Extraction of Tomographic Information via Randomized Benchmarking
- Maximal coherence in generic basis
- A Non-Commuting Stabilizer Formalism
- Generalized Cluster States Based on Finite Groups
- Purification to Locally Maximally Entangleable States
- Generalized Graph States Based on Hadamard Matrices
- Generalized Color Codes Supporting Non-Abelian Anyons
- Positive Maps From Irreducibly Covariant Operators
- Normalizer circuits and a Gottesman-Knill theorem for infinite-dimensional systems
- Normalizer Circuits and Quantum Computation
- Abelian Hypergroups and Quantum Computation
- Classical simulations of Abelian-group normalizer circuits with intermediate measurements
- Sampling and the complexity of nature