Table of Contents
Fetching ...

Locality forces equal energy spacing of quantum many-body scar towers

Nicholas O'Dea, Lei Gioia, Sanjay Moudgalya, Olexei I. Motrunich

Abstract

Quantum many-body scars are non-thermal eigenstates embedded in the spectra of otherwise non-integrable Hamiltonians. Paradigmatic examples often appear as quasiparticle towers of states, such as the maximally ferromagnetic spin-1/2 states, also known as Dicke states. A distinguishing feature of quantum many-body scars is that they admit multiple local "parent" Hamiltonians for which they are exact eigenstates. In this work, we show that the locality of such parent Hamiltonians strongly constrains the relative placement of these states within the energy spectrum. In particular, we prove that if the full set of Dicke states are exact eigenstates of an extensive local Hamiltonian, then their energies must necessarily be equally spaced. Our proof builds on recent results concerning parent Hamiltonians of the $W$ state, together with general algebraic structures underlying such quasiparticle towers. We further demonstrate that this equal spacing property extends to local Hamiltonians defined on arbitrary bounded-degree graphs, including regular lattices in any spatial dimension and expander graphs. Hamiltonians with $k$-local interactions and a bounded number of interaction terms per site are also encompassed by our proof. On the same classes of graphs, we additionally establish equal spacing for towers constructed from multi-site quasiparticles on top of product states. For the towers considered here, an immediate corollary of the equal spacing property is that any state initialized entirely within the quantum many-body scar manifold exhibits completely frozen entanglement dynamics under any local Hamiltonian for which those scars are exact eigenstates. Overall, our results reveal a stringent interplay between locality and the structure of quantum many-body scars.

Locality forces equal energy spacing of quantum many-body scar towers

Abstract

Quantum many-body scars are non-thermal eigenstates embedded in the spectra of otherwise non-integrable Hamiltonians. Paradigmatic examples often appear as quasiparticle towers of states, such as the maximally ferromagnetic spin-1/2 states, also known as Dicke states. A distinguishing feature of quantum many-body scars is that they admit multiple local "parent" Hamiltonians for which they are exact eigenstates. In this work, we show that the locality of such parent Hamiltonians strongly constrains the relative placement of these states within the energy spectrum. In particular, we prove that if the full set of Dicke states are exact eigenstates of an extensive local Hamiltonian, then their energies must necessarily be equally spaced. Our proof builds on recent results concerning parent Hamiltonians of the state, together with general algebraic structures underlying such quasiparticle towers. We further demonstrate that this equal spacing property extends to local Hamiltonians defined on arbitrary bounded-degree graphs, including regular lattices in any spatial dimension and expander graphs. Hamiltonians with -local interactions and a bounded number of interaction terms per site are also encompassed by our proof. On the same classes of graphs, we additionally establish equal spacing for towers constructed from multi-site quasiparticles on top of product states. For the towers considered here, an immediate corollary of the equal spacing property is that any state initialized entirely within the quantum many-body scar manifold exhibits completely frozen entanglement dynamics under any local Hamiltonian for which those scars are exact eigenstates. Overall, our results reveal a stringent interplay between locality and the structure of quantum many-body scars.
Paper Structure (21 sections, 18 theorems, 34 equations, 1 table)

This paper contains 21 sections, 18 theorems, 34 equations, 1 table.

Key Result

Theorem 1

Given a $k$-local Hamiltonian $H$ of range $R$ and system size $N>4kR$, if $H \ket{W^p} = E_p\ket{W^p}$ for all $p \in 0,1,...,L$, then $E_p = \Omega+\omega p$ for some constants $\Omega,\omega$.

Theorems & Definitions (18)

  • Theorem 1: Dicke Tower
  • Proposition 1: Decomposition of $H$
  • Proposition 2: Annihilation of finite fraction
  • Proposition 3: Induction on annihilation
  • Lemma 1: Nilpotent commutator
  • Lemma 2: Sphere packing on graphs
  • Proposition 4: Decomposition of $H$
  • Proposition 5: Annihilation of finite fraction
  • Theorem 2: Dicke tower on graphs
  • Theorem 3: Generalized Towers
  • ...and 8 more