Complexity of frustration: a new source of non-local non-stabilizerness

This paper demonstrates that topological frustrated quantum spin chains exhibit a unique, non-local form of non-stabilizerness ("magic") arising from $W$-state-like correlations, which scales logarithmically with system size and distinguishes these frustrated systems from non-frustrated ones like those with GHZ states.

The Gist

The Big Picture: What Makes a Quantum State "Hard"?

Imagine you are trying to describe a complex painting to a friend over the phone.

• Easy Painting: If the painting is just a grid of red and blue squares, you can describe it easily. "Row 1 is all red, Row 2 is all blue." This is like a Stabilizer State in quantum physics. These are special quantum states that, no matter how many particles (qubits) you have, a regular computer can simulate them very quickly. They are "boring" in a mathematical sense, even if they look complicated.
• Hard Painting: Now imagine a painting where every single brushstroke depends on every other stroke in a way that defies simple rules. To describe this, you need a massive amount of information. This is a Non-Stabilizer State (or a state with "Magic"). These are the states that make quantum computers powerful because regular computers can't keep up with them.

The paper asks: Where does this "Magic" come from? Is it just about how tangled the particles are (entanglement), or is there something else?

The Star of the Show: The "W-State"

The authors focus on a specific type of quantum state called a W-state.

• The Analogy: Imagine a line of $L$ people standing in a circle. In a "W-state," exactly one person is holding a ball, but no one knows who it is. It is a superposition: "The ball is with Person 1 OR Person 2 OR Person 3..." all at the same time.
• The Discovery: The authors calculated a specific number (called the Stabilizer Rényi Entropy or SRE) that measures how much "Magic" this state has. They found that for a W-state, the amount of Magic doesn't just grow with the number of people; it grows logarithmically.
  • Simple translation: If you double the number of people, the "Magic" doesn't double; it adds a little bit more. But crucially, this "Magic" is non-local. You can't find it by looking at just one person or a small group. It is a property of the entire group acting together.

The Setting: The Frustrated Spin Chain

The paper then asks: Can we find these W-states in real physical systems?

They look at a "Spin Chain," which is like a row of tiny magnets (spins) lined up next to each other.

• The Classical Point: Imagine a rule where every magnet wants to point in the opposite direction of its neighbor (North-South-North-South). This is easy to satisfy.
• The Frustration: Now, imagine the magnets are arranged in a circle, and there is an odd number of them (e.g., 5 magnets).
  • Magnet 1 wants to be opposite Magnet 2.
  • Magnet 2 wants to be opposite Magnet 3.
  • ...
  • Magnet 5 wants to be opposite Magnet 1.
  • The Problem: You can't satisfy everyone! If you arrange them perfectly, the last pair will clash. This is called Topological Frustration.

Because of this frustration, the system has a huge number of "ground states" (lowest energy arrangements). In this specific setup, the ground state turns out to be a giant superposition of "kinks" (defects where the pattern breaks).

The Magic Connection

Here is the clever part of the paper:

1. The authors show that the ground state of this frustrated system is mathematically identical to the W-state we talked about earlier, just dressed up with a few extra local rules.
2. They prove that you can turn the W-state into the frustrated ground state using a specific set of quantum operations called a Clifford circuit.
3. The Key Rule: Clifford circuits are like "magic-free" tools. They can rearrange particles and create entanglement, but they cannot create or destroy "Magic" (Non-stabilizerness).

The Result: Since the W-state has a specific amount of "Magic" (that grows logarithmically), and the frustrated ground state is just a W-state rearranged by "magic-free" tools, the frustrated ground state must have that same logarithmic "Magic."

Why This Matters (According to the Paper)

The authors compare this to a different type of quantum state called a GHZ state (which is like a group of people where everyone is holding a ball or no one is).

• GHZ States: These are easy to simulate on a classical computer. They have zero "Magic."
• W-States / Frustrated Systems: These have non-zero "Magic."

The paper concludes that Frustration is a new source of this complex, non-local "Magic."

• In a normal (unfrustrated) system, if you look at the ground state, the "Magic" is usually zero or can be explained by looking at small, local pieces.
• In a frustrated system, the "Magic" is delocalized. It is spread out across the whole chain. You cannot understand the complexity by just looking at a small section; you have to look at the whole system to see the "Magic."

Summary in a Nutshell

1. Complexity Measure: The paper uses a tool called "Stabilizer Rényi Entropy" to measure how "quantum" and hard-to-simulate a state is.
2. The W-Effect: They found that W-states (where a single "defect" is shared among all particles) have a unique type of complexity that grows slowly but is impossible to break down into small local parts.
3. Frustration Creates Magic: They showed that physical systems with "topological frustration" (like a ring of magnets with an odd number of spins) naturally create these W-states as their ground state.
4. The Takeaway: Frustration isn't just a nuisance; it creates a specific kind of quantum complexity that is fundamentally different from standard quantum states. This "Magic" is a resource that cannot be generated by simple local rules, making these systems interesting for understanding the limits of classical simulation and the nature of quantum complexity.

Note: The paper mentions that this "Magic" could theoretically be used as a resource for quantum computing (specifically for creating "T-gates" needed for universal computation), but it does not propose new clinical uses or specific future technologies beyond this theoretical resource potential.

Technical Summary

Technical Summary: Complexity of Frustration – A New Source of Non-Local Non-Stabilizerness

Problem Statement
The simulation of generic quantum many-body systems is generally intractable for classical computers, a challenge that motivated the concept of quantum computing. However, not all quantum states exhibit equal computational complexity. While highly entangled states can sometimes be efficiently simulated (e.g., via Matrix Product States or tensor networks), the resource known as "magic" or non-stabilizerness is required to achieve quantum supremacy. Previous research established that the ground states of unfrustrated systems (like the transverse field Ising model) near classical points possess an extensive amount of non-stabilizerness that can be resolved into local contributions. Conversely, at quantum critical points, non-stabilizerness exhibits logarithmic corrections due to delocalization. The central problem addressed in this work is the characterization of non-stabilizerness in systems with topological frustration, specifically investigating whether such systems host a distinct, non-local form of complexity that cannot be captured by local measures or standard area-law entanglement arguments.

Methodology
The authors employ the Stabilizer Rényi Entropy (SRE), specifically the 2-Rényi entropy ($M_2$), as a quantitative measure of non-stabilizerness. The methodology proceeds in three stages:

1. Analytical Characterization of W-States: The authors first derive the SRE for $W$-states, defined as symmetric superpositions of factorized states (specifically, single excitations on a background of spins). They demonstrate that while individual basis states have zero SRE, their symmetric superposition yields a non-zero SRE that scales logarithmically with the system size $L$.
2. Mapping to Frustrated Spin Chains: The study focuses on topologically frustrated 1D spin-1/2 chains (specifically the Transverse Field Ising Model and the Cluster-Ising Model) with odd numbers of sites and periodic boundary conditions. At the classical point (zero quantum perturbation), these systems exhibit extensive ground state degeneracy consisting of "kink" or domain-wall states.
3. Clifford Circuit Equivalence: The authors show that the symmetric superposition of these kink states (the ground state near the classical point) can be mapped exactly to a $W$-state via a Clifford circuit. Since SRE is invariant under Clifford operations, the non-stabilizerness of the frustrated ground state is identical to that of the $W$-state.
4. Numerical and Analytical Analysis: The authors analyze the SRE behavior as the system moves away from the classical point (increasing the quantum coupling parameter $\lambda$). They compare frustrated systems ($J=1$) with their unfrustrated counterparts ($J=-1$) across different system sizes and coupling strengths, utilizing Jordan-Wigner transformations to map spin systems to free fermions for exact solutions.

Key Contributions and Results

• Logarithmic Scaling of SRE in W-States: The paper provides an analytical proof that the SRE of a $W$-state scales as $M_2(|W\rangle) \approx 3 \log_2(L) - \log_2(7L-6)$. This establishes a class of states with non-stabilizerness that grows logarithmically with system size, distinct from the zero non-stabilizerness of GHZ states or stabilizer states.
• Frustration as a Source of Non-Local Magic: The authors demonstrate that topologically frustrated spin chains near their classical points host ground states that are Clifford-equivalent to $W$-states. Consequently, these ground states possess a non-vanishing, logarithmically growing SRE. This complexity is non-local; it arises from the global superposition of kink states and cannot be resolved as a sum of local quantities.
• Decomposition of SRE in Frustrated Phases: Moving away from the classical point, the total SRE of the frustrated system is shown to be the sum of two distinct contributions:
  1. An extensive local term ($M_2(J=-1, L, \lambda)$) identical to that of the corresponding unfrustrated system.
  2. A non-local correction term ($M_2^W(L)$) derived from the $W$-state component, which scales logarithmically.
     This relationship is expressed as $M_2(J=1, L, \lambda) \approx M_2(J=-1, L, \lambda) + M_2^W(L)$ in the thermodynamic limit for the frustrated phase.
• Failure of Local Approximations: The study confirms that local approximations (such as using the reduced density matrix of a single spin) fail to capture the total SRE of frustrated systems. While local terms account for the extensive part, they miss the logarithmic contribution arising from the delocalized nature of the frustration-induced superposition.
• Distinction from Unfrustrated Systems: In contrast, unfrustrated systems near classical points approach GHZ-like states with zero non-stabilizerness. The presence of topological frustration fundamentally alters the complexity class of the ground state.

Significance and Claims
The paper claims to advance the characterization of complexity in quantum many-body systems by identifying frustration as a specific mechanism that generates non-local non-stabilizerness. The authors assert that this phenomenon creates a "new source" of quantum complexity that has no counterpart in non-frustrated systems or GHZ states.

From a quantum information perspective, the work provides a physically realizable embedding of $W$-states within spin chains, generalizing these states to scenarios with finite correlation lengths. The authors suggest that the additional non-stabilizerness (magic) found in frustrated systems could serve as a valuable resource for quantum computing, particularly for state synthesis protocols where "magic" is required to implement non-Clifford gates (such as the T-gate). They note that even small frustrated systems (e.g., $L=3$) possess sufficient non-stabilizerness to potentially facilitate the realization of a T-gate.

From a many-body physics perspective, the results highlight a fundamental difference between frustrated and unfrustrated models, demonstrating that the former possesses a richer, non-local complexity structure that persists even when local correlations are present. The work bridges the gap between the theory of complex quantum systems and quantum computing resources, offering a new metric for identifying phases of matter with intrinsic computational utility.