Assembling Extensive Quantum Fisher Information in Stabilizer Systems

This paper presents a systematic framework that maps stabilizer generators to dual Ising spins to construct nonlocal observables with extensive quantum Fisher information, revealing a transition from extensive to intensive scaling in monitored stabilizer codes like the cluster and toric codes as single-site measurements compete with long-range string order.

The Gist

Imagine you have a massive, intricate puzzle made of thousands of tiny, glowing tiles (qubits). This puzzle represents a quantum computer or a complex quantum material. The goal of this research is to figure out how "connected" these tiles are to one another.

In the quantum world, being "connected" (entangled) is like having a secret telepathic link. If the tiles are just sitting next to each other, they are weakly connected. But if they are part of a giant, global team where every tile knows what every other tile is doing, that's strong, multipartite entanglement. This is the "holy grail" for building powerful quantum computers.

The problem is: How do you measure this invisible connection?

The Problem: The "Hidden" Signal

Usually, scientists try to measure these connections by looking at individual tiles or small groups. But in certain advanced quantum systems (called Stabilizer Codes), the most important connections are "hidden." They are like a secret handshake that only happens when you look at the entire system at once. If you try to measure just one part, the signal looks weak or non-existent, even though the whole system is actually super-connected.

It's like trying to understand a massive choir by listening to just one singer. If the choir is singing in perfect harmony, one voice might sound normal. But if you listen to the whole room, you realize the power of the collective sound.

The Solution: The "Dual Spin" Translator

The authors of this paper invented a clever translation tool.

Think of the quantum system as a secret code written in a language nobody understands (the "Stabilizer Generators"). The authors created a dictionary to translate this code into a new language (the "Dual Ising Spins") that is much easier to read.

1. The Recipe: They take the rules that govern the quantum puzzle and rearrange them into a chain of "dual spins."
2. The Magic: In this new language, the "hidden" long-range connections of the original system turn into a simple, loud signal. It's like turning a whisper into a shout.
3. The Result: By measuring this new "shout" (which they call the Quantum Fisher Information or QFI), they can instantly tell if the system is in a highly connected state or a broken, disconnected one.

The Experiment: The "Noise" vs. The "Order"

To test their tool, the researchers simulated a quantum system that is constantly being poked and prodded. Imagine a room full of people trying to hold a complex formation (the quantum state), but every second, a random person is forced to shout a random number (a measurement).

• Low Noise (The "Order" Phase): If the poking is rare, the group holds their formation. The "translation tool" shows a massive, extensive signal. This means the whole group is acting as one giant, entangled unit. The signal grows as the group gets bigger.
• High Noise (The "Intensive" Phase): If the poking is constant, the group falls apart. Everyone acts alone. The signal becomes weak and intensive (it stays small no matter how big the group is).
• The Tipping Point: They found a specific "tipping point" (around 50% noise) where the system suddenly switches from being a giant, connected team to a bunch of isolated individuals.

Why This Matters

This research is like finding a new X-ray machine for quantum materials.

• Before: Scientists had to guess if a quantum system was useful by looking at small, confusing pieces.
• Now: They have a systematic way to build a "detector" that reveals the hidden, large-scale connections.

This is crucial for two reasons:

1. Quantum Computing: It helps us know if our quantum computers are actually holding onto their "superpowers" (entanglement) or if they are falling apart due to noise.
2. Metrology (Precision Measurement): The more connected the system is, the better it is at measuring tiny things (like gravity or magnetic fields). This paper tells us exactly how to build the most sensitive quantum sensors possible by finding those hidden connections.

In a nutshell: The authors found a way to translate a complex quantum secret code into a simple, loud signal. This allows them to see when a quantum system is working together as a super-team and when it has fallen apart, which is a huge step forward for building better quantum computers and sensors.

Technical Summary

1. Problem Statement

The paper addresses a fundamental gap in understanding multipartite entanglement and long-range order in monitored quantum systems (systems evolving under a competition between unitary dynamics and projective measurements).

• Context: While Measurement-Induced Phase Transitions (MIPTs) are well-studied regarding bipartite entanglement (e.g., volume-law vs. area-law scaling), it remains unclear whether these systems host genuine multipartite entanglement and long-range order.
• The Metric: The Quantum Fisher Information (QFI) is a powerful witness for multipartite entanglement. If the QFI density ($f_Q = F_Q/K$) scales extensively with system size ($f_Q \sim O(N)$), it implies the presence of entanglement across a macroscopic number of particles.
• The Challenge: In many stabilizer codes (including topological phases), standard local observables fail to detect extensive QFI. Previous work suggested extensive QFI might only exist if protected by global symmetries. The authors ask: What class of observables can reveal extensive QFI in stabilizer codes, even in the absence of explicit global symmetries?

2. Methodology: The Dual-Spin Mapping Framework

The authors introduce a systematic framework to construct nonlocal observables that yield extensive QFI in stabilizer codes. The core innovation is a mapping between stabilizer generators and dual Ising spins.

• Recursive Construction:
  Given a stabilizer code defined by commuting generators $\{M_j\}$, the authors define a set of dual spin operators $\{\tau_j\}$ via the recursive relation:
  $$\tau_{j+1} = \tau_j M_j$$
  Starting from an initial operator $\tau_1$ chosen to be Hermitian, unitary, and commuting with all $M_j$.
• String Order Connection:
  The construction ensures that the two-point correlator of the dual spins is equivalent to a string order parameter in the original microscopic description:
  $$\langle \tau_a \tau_b \rangle = \left\langle \prod_{j=a}^{b-1} M_j \right\rangle$$
  This identity reveals that long-range order in the dual variables corresponds to long-range string order in the original system.
• QFI Calculation:
  The collective observable is defined as $O = \sum_j \tau_j$. The QFI for a pure state is given by $F_Q(O) = 4 \text{Var}(O)$.
  • If the string correlators decay rapidly (short-range order), $F_Q$ is intensive ($O(1)$).
  • If the string correlators approach a constant at long distances (long-range order), the variance scales quadratically with the number of spins, yielding extensive QFI density ($f_Q \sim O(N)$).
• Monitored Dynamics:
  In monitored circuits, measurement outcomes are stochastic. The optimal observable acquires trajectory-dependent signs ($O(n) = \sum n_j \tau_j$). The authors use classical simulated annealing to optimize the signs $n_j \in \{-1, 1\}$ for each quantum trajectory to maximize the QFI.

3. Key Contributions

1. Systematic Framework: A general algorithm to map stabilizer generators to dual Ising spins, converting hidden nonlocal string order into a metrologically accessible observable.
2. Theoretical Link: Establishing that extensive QFI in stabilizer systems is the metrological manifestation of long-range string order.
3. Phase Transition Detection: Demonstrating that this framework can detect MIPTs in both Symmetry-Protected Topological (SPT) phases and intrinsically topological phases.
4. Limitation of Local Probes: Showing that strictly local observables fail to detect the extensive QFI in these phases, highlighting the necessity of nonlocal probes.

4. Results

The framework was applied to three paradigmatic models under monitored dynamics (competition between stabilizer measurements and single-site measurements):

A. 1D Monitored Cluster Code (SPT Phase)

• Setup: 1D chain with stabilizers $M_j = X_{j-1}Z_jX_{j+1}$ and single-site $Z$ measurements with rate $p_z$.
• Findings:
  • Low $p_z$ (Stabilizer dominated): The system exhibits long-range string order. The QFI density scales extensively ($f_Q \propto L$).
  • High $p_z$ (Measurement dominated): String order is destroyed; QFI becomes intensive ($f_Q \sim O(1)$).
  • Transition: A sharp transition occurs at $p_z \approx 0.5$. At the critical point, the QFI density remains finite (no extensive scaling), consistent with scale-invariant correlators having an exponent $\Delta > 1/2$.
  • Validation: The extensive scaling at $p_z=0$ matches the theoretical prediction $f_Q = (L-2)^2/L$.

B. 2D Monitored Cluster Code

• Setup: 2D square lattice with star-shaped stabilizers and single-site $Y$ measurements with rate $p_y$.
• Findings:
  • Similar to the 1D case, a transition from extensive ($f_Q \propto L^2$) to intensive scaling is observed near $p_y \approx 0.5$.
  • Finite-size effects make precise extraction of critical exponents difficult, but the scaling behavior clearly distinguishes the phases.

C. Toric Code (Intrinsic Topological Order)

• Setup: 2D lattice with star ($A_s$) and plaquette ($B_p$) stabilizers, and single-site $Y$ measurements.
• Findings:
  • The dual-spin mapping results in a 2D Ising model structure.
  • The QFI density transitions from extensive ($f_Q \propto L^2$) to intensive as the measurement rate $p_y$ increases.
  • Crucially, this construction yields $L^2$ scaling, unlike previous constructions that yielded only $L$ scaling (decoupled chains), proving the efficacy of the specific dual-spin choice for topological codes.

D. Comparison with Local Observables

• The authors verified that QFI constructed from local (single-site) observables remains finite ($O(1)$) across all phases, including the SPT and topological phases. This confirms that local probes cannot diagnose the multipartite entanglement in these monitored stabilizer codes.

5. Significance and Implications

• Metrology: The work provides a concrete protocol for generating highly entangled states suitable for quantum metrology (Heisenberg-limited sensing) within stabilizer codes, even in noisy, monitored environments.
• Entanglement Theory: It clarifies that multipartite entanglement in stabilizer systems is deeply tied to string order parameters. The "hidden" order of SPT and topological phases is not invisible to metrology; it simply requires the correct nonlocal basis (the dual spins) to be revealed.
• MIPT Characterization: The QFI density serves as a robust order parameter for MIPTs, distinguishing between volume-law (extensive QFI) and area-law (intensive QFI) phases.
• Future Directions: The authors suggest extending this framework to include feedback loops, weak measurements, and implementing these nonlocal generators on current quantum hardware to bridge theoretical diagnostics with experimental quantum advantage.

In summary, the paper resolves the question of how to detect extensive multipartite entanglement in stabilizer codes by introducing a dual-spin mapping that transforms hidden string order into a measurable collective observable, revealing extensive QFI as a signature of long-range order in both SPT and topological phases.