Any local Hamiltonian with ferromagnetic quantum many-body scars has a generalized Shiraishi-Mori form

This paper proves that any local Hamiltonian supporting ferromagnetic quantum many-body scars must possess a generalized Shiraishi-Mori structure, consisting of a Zeeman term and local projectors that annihilate the scar states, thereby establishing this framework as the exhaustive structural explanation for such nonthermal eigenstates.

The Gist

Imagine a crowded dance floor where everyone is moving chaotically. In the world of quantum physics, this chaos is the "normal" state of matter. Most particles eventually forget their initial positions and settle into a random, thermal equilibrium. This is the rule of the game, known as the Eigenstate Thermalization Hypothesis (ETH).

But sometimes, a few dancers refuse to join the chaos. They keep dancing in a perfect, synchronized pattern, even though everyone else is going wild. In quantum physics, these special, stubborn dancers are called Quantum Many-Body Scars (QMBS). They are "non-thermal" states that survive in a sea of thermal noise.

This paper, by Keita Omiya, is like a detective story. It asks: "If we find a local quantum system (a machine with only local connections) that has these special 'ferromagnetic' scar dancers, what does the machine's instruction manual (the Hamiltonian) have to look like?"

The author proves that there is only one way to build such a machine. Here is the breakdown using everyday analogies.

1. The "Ferromagnetic Scar" Dancers

First, let's understand the dancers.

• The Reference State: Imagine a line of people all standing still, facing the same direction (like a row of soldiers). This is the "ferromagnetic reference state."
• The Scar States: Now, imagine a wave of movement passing through them. Instead of random chaos, they perform a specific, synchronized routine. They are "magnons" (waves of spin) that move together in a perfect line.
• The Mystery: Usually, if you build a machine with local rules (where person A only talks to person B), you expect chaos. But here, we have a machine that guarantees these perfect routines exist. How is that possible?

2. The Two-Part Instruction Manual

The paper reveals that any machine capable of hosting these perfect routines must have an instruction manual split into two distinct parts. Think of the Hamiltonian (the machine's rules) as a recipe with two ingredients:

Ingredient A: The "Filter" (The Annihilator)

Imagine a bouncer at a club. This bouncer has a very specific rule: "If you are not wearing a red hat, you cannot enter the VIP section."

• In the quantum machine, this "bouncer" is a set of local projectors.
• These projectors act like filters. They look at small groups of particles (neighbors) and say, "If you are in a 'bad' configuration (not part of our perfect scar routine), we will cancel you out."
• The Magic: Because the "scar states" are perfectly designed to avoid these bad configurations, the bouncer ignores them completely. They pass through untouched. But any other random state gets blocked or destroyed.
• The Paper's Discovery: The author proves that you cannot have these special scar states without this "bouncer" mechanism. The machine must contain these local filters.

Ingredient B: The "Conductor" (The Zeeman Term)

Once the bouncer has cleared the floor and let only the perfect scar dancers in, what happens next?

• Imagine a conductor who tells the dancers exactly how fast to move.
• This part of the machine is called the Zeeman term. It's a simple, uniform rule applied to every single dancer individually (like a magnetic field pushing everyone).
• The Result: This conductor ensures that the scar dancers don't just stand still; they move in a perfect, rhythmic line. Crucially, it gives them an equally spaced energy ladder.
• The Analogy: Think of a staircase where every step is exactly the same height. The scar states are the steps. Because the steps are equal, the system can oscillate back and forth perfectly (coherent revivals) without getting lost.

3. The Big Conclusion: "The Shiraishi-Mori Blueprint"

Before this paper, physicists knew of many examples where these special states existed. They noticed a pattern: the machines always seemed to be built using these "Filters" and "Conductors." This was known as the Shiraishi-Mori construction.

However, people wondered: "Is this just a coincidence? Are there other, secret ways to build these machines that we haven't found yet?"

Omiya's paper answers: NO.

The author proves a Structural Theorem:

If you have a local machine with these specific "ferromagnetic" scar states, it MUST be built using the Filter + Conductor blueprint. There is no other way.

It's like saying: "If you find a car that can drive on water, it must have a boat hull and a propeller. You can't build a water-car with just wheels and an engine."

4. Why Does This Matter?

• Unified Understanding: It explains why so many different, seemingly unrelated quantum models (from spin chains to Hubbard models) all look the same when they have these scars. They are all following the same fundamental architectural rule.
• Designing New Machines: If scientists want to build a quantum computer or a new material that resists thermalization (stays ordered), they now know exactly what ingredients they need to mix. They just need to design the "Filters" and the "Conductor."
• Simplicity: It turns a complex, messy quantum problem into a clean, structural rule. The chaos of the quantum world is tamed by a simple, local logic.

Summary Metaphor

Imagine a chaotic party.

• Thermalization: Everyone is dancing randomly, bumping into each other, and eventually, the music stops and everyone is exhausted (equilibrium).
• Scars: A small group of people starts doing a synchronized line dance. They ignore the chaos around them.
• The Paper's Finding: To make this line dance happen in a room where people only talk to their neighbors, the room must have two things:
  1. A Security Guard (Projectors): Who kicks out anyone trying to dance randomly, but lets the line dancers pass.
  2. A DJ (Zeeman Term): Who plays a beat that keeps the line dancers moving in perfect, equal steps.

The paper proves that you cannot have the line dancers without the Security Guard and the DJ. It's the only way the physics works.

Technical Summary

1. Problem Statement

Quantum Many-Body Scars (QMBS) are a class of non-thermal eigenstates embedded within an otherwise thermal spectrum, representing a weak breaking of ergodicity. While numerous models hosting exact QMBS have been discovered (e.g., the PXP model, spin-1 XY model, AKLT chain), they often share a specific structural motif:

1. Ferromagnetic Scar States: The scar states are realized as "magnon" states obtained by applying a fixed-momentum ladder operator to a reference product state (typically a ferromagnetic state).
2. Shiraishi-Mori (SM) Decomposition: The Hamiltonians hosting these states often decompose into an "annihilator" (built from local projectors that kill the scar states) and a "Zeeman term" (which generates an equidistant energy tower).

The Core Question: Is this SM-like structure a mere coincidence of known examples, or is it a necessary condition for any local Hamiltonian that hosts such ferromagnetic scar states? The paper aims to prove that for a broad class of ferromagnetic scars, the SM construction is essentially exhaustive.

2. Methodology

The author employs a rigorous mathematical framework combining locality constraints with representation theory of the symmetric group ($S_N$).

• Setup: The system is defined on a lattice $\Lambda$ with local Hilbert spaces $h_x$. The "ferromagnetic scar manifold" is identified with the totally symmetric subspace $\text{Sym}^N(h_s)$ of a target local subspace $h_s \subset h_x$. These states are generated by collective lowering operators acting on a highest-weight state.
• Representation Theory Tools:
  • Young Symmetrizers: Used to decompose the Hilbert space into irreducible representations (irreps) of $S_N$. The totally symmetric sector corresponds to the one-row Young diagram $(N)$.
  • Commutant Algebra: Utilizes the fact that operators commuting with all permutations (the commutant of $S_N$) are generated by collective single-site operators (Schur-Weyl duality).
  • Locality Analysis: The proof distinguishes between operators that annihilate the scar manifold globally versus those that do so via local projectors.
• Logical Flow:
  1. Prove that any operator annihilating the totally symmetric sector must contain local projectors (Lemma 5.1).
  2. Show that if a local Hamiltonian preserves the entire symmetric weight basis as exact eigenstates, the non-annihilating part of the Hamiltonian is restricted to a Zeeman term (Theorem 6.2).

3. Key Contributions and Results

A. The Main Structural Theorem (Theorem 1.1)

The paper proves the following structural necessity:

If a local Hamiltonian $\hat{H}$ hosts a set of ferromagnetic scar states (identified with the totally symmetric subspace $\text{Sym}^N(h_s)$) as exact eigenstates, then $\hat{H}$ necessarily admits a decomposition:
$$\hat{H} = \hat{H}_A + \hat{H}_Z$$
Where:

• $\hat{H}_A$ (Annihilator): A sum of terms containing strictly local projectors ($\hat{P}_x, \hat{P}_{xy}$) that locally annihilate the symmetric sector.
• $\hat{H}_Z$ (Zeeman Term): A sum of on-site Cartan generators (linear combination of local $S^z$-like operators), which produces the equidistant energy spectrum within the scar tower.

B. Technical Breakdown of the Proof

1. Annihilation implies Local Projectors (Section 5):

   • The author demonstrates that if an operator $\hat{O}$ annihilates the totally symmetric subspace, it can be expanded into terms containing strictly local projectors.
   • Mechanism: Using the Young symmetrizer decomposition, any non-symmetric component involves anti-symmetrizers. The author shows that an anti-symmetrizer on a set of sites can be decomposed into a sum of nearest-neighbor transpositions (swaps), which correspond to local projectors onto the antisymmetric subspace.
   • Result: Any "annihilator" is structurally forced to be built from local filters that remove the symmetric sector.

2. Locality implies Zeeman Term (Section 6):

   • Assuming the Hamiltonian is local and the entire weight basis of the symmetric sector consists of exact eigenstates, the author analyzes the part of the Hamiltonian that acts non-trivially within the scar manifold.
   • Using the commutant theorem, operators acting within the symmetric sector must be polynomials of collective generators.
   • Crucial Step: The requirement of strict locality (finite range interactions) severely restricts these polynomials. Any polynomial of degree $\geq 2$ in collective generators (e.g., $(\sum S^z)^2$) implies all-to-all interactions. Therefore, the only local, permutation-invariant operator is a linear sum of on-site generators (a Zeeman term).

3. Refinement on Locality (Section 7):

   • The paper addresses whether the "annihilator" terms can always be written as sums of strictly local terms.
   • It is shown that for the case $h_s \cong \mathbb{C}^2$ (spin-1/2), weight-non-preserving terms (which could potentially be non-local) naturally decompose into local terms, often taking the form of Dzyaloshinskii–Moriya (DM) interactions (e.g., $\sigma^z_x \sigma^y_{x+1} - \sigma^y_x \sigma^z_{x+1}$).

4. Significance and Implications

• Exhaustiveness of the Shiraishi-Mori Construction: The paper establishes that the SM construction (Annihilator + Zeeman) is not just a convenient ansatz for building scar models but is a necessary structural feature for any local Hamiltonian supporting ferromagnetic scars. This unifies a vast array of seemingly unrelated models (PXP, spin-1 XY, AKLT, Hubbard models) under a single theoretical umbrella.
• Unified Explanation: It explains why "projector-based interactions" and "equally spaced scar towers" appear recurrently across different physical systems. The equidistant spacing is a direct mathematical consequence of the locality constraint on the symmetric sector.
• Guidance for Model Building: The theorem provides a "no-go" principle: if a model does not admit this decomposition, it cannot host exact ferromagnetic scars. Conversely, it guides the search for new scar models by suggesting that one should look for Hamiltonians that can be decomposed into local projectors and Zeeman terms.
• Mathematical Rigor: By moving from empirical observation to a rigorous theorem based on group representation theory, the paper elevates the understanding of QMBS from phenomenological classification to structural necessity.

5. Conclusion

Keita Omiya's work provides a definitive structural theorem for ferromagnetic quantum many-body scars. It proves that the existence of such scars in a local Hamiltonian forces the Hamiltonian to adopt a generalized Shiraishi-Mori form: a sum of local projectors that annihilate the scar manifold and a Zeeman term that dictates the energy spectrum. This result fundamentally links the algebraic structure of the scar states (total symmetry) with the spatial locality of the interactions, offering a powerful framework for understanding and constructing non-thermal quantum systems.