Quantum anomaly for benchmarking quantum computing

The authors propose and demonstrate the axial anomaly as a robust benchmark for quantum computing by successfully simulating anomalous axial-charge production in ${\mathbb Z}_N$ lattice gauge theories on the "Reimei" trapped-ion quantum computer, reproducing the exact anomaly coefficient within statistical uncertainties without error mitigation.

The Gist

Here is an explanation of the paper "Quantum anomaly for benchmarking quantum computing," translated into simple, everyday language with creative analogies.

The Big Picture: Testing the New Super-Computers

Imagine that scientists have just built a new type of super-computer called a Quantum Computer. These machines are incredibly powerful and promise to solve problems that regular computers (like your laptop) could never touch. However, they are also very fragile. They are like delicate glass sculptures; if you bump them too hard (noise) or if the instructions are slightly off, the whole thing breaks or gives the wrong answer.

The problem is: How do you know if the computer is working correctly?

For small tasks, you can just check the answer against a textbook. But for the big, complex tasks these machines are built for, there is no textbook answer to compare against. You need a special "test drive" to see if the engine is running right.

This paper proposes a very specific, clever test drive using a concept from physics called the Axial Anomaly.

---

The Core Concept: The "Magic Coin" (The Axial Anomaly)

To understand the test, let's use an analogy.

Imagine you are running a factory that makes coins.

• The Rule: In a perfect, classical factory, the number of "Heads" coins and "Tails" coins you produce must always balance out perfectly. If you start with zero, you end with zero. This is a law of conservation.
• The Anomaly: However, in the quantum world, there is a weird glitch called an Anomaly. Even if you start with a perfectly balanced factory, under certain conditions (like applying a strong electric field), the factory suddenly starts producing extra Heads coins out of nowhere.

Here is the amazing part: Physics has a precise formula for exactly how many extra coins should appear. It's not a guess; it's a mathematical certainty. The formula says: "For every unit of electric field you apply, you must get exactly 1/π (one over pi) extra coins."

Because this rule is exact and unchangeable (it doesn't matter how complex the machine gets, the math stays the same), it is the perfect test.

The Experiment: The "Reimei" Machine

The researchers took this theoretical "Magic Coin" test and ran it on a real quantum computer called Reimei (which means "Dawn" in Japanese), located at RIKEN in Japan.

Here is how they did it, step-by-step:

1. Setting the Stage (The Lattice):
   Imagine a tiny, one-dimensional track made of beads. Some beads represent "matter" (fermions) and others represent "force" (gauge fields). They programmed the quantum computer to simulate this track.

2. The Setup:
   They started the simulation with a "quiet" state where no coins were being produced. Then, they applied a simulated "electric field" (like turning up the voltage in the factory).

3. The Race (Time Evolution):
   They let the quantum computer run for a tiny fraction of a second. During this time, the computer tried to calculate how the "coins" (axial charge) changed.

4. The Checkpoint:
   At the end, they counted the coins. They asked: "Did we produce the exact amount of extra coins that the math predicted?"

The Results: A Perfect Score

The result was a resounding success.

• The Prediction: The math said the result should be roughly 0.318 (which is $1/\pi$).
• The Reality: The quantum computer measured 0.33.

This is incredibly close! Considering that quantum computers are notoriously noisy and prone to errors, getting this close without using any special "error correction" tricks is a huge achievement.

Why This Matters: The "Stress Test"

Think of this experiment like a stress test for a new car engine.

• Usually, you test a car by driving it on a track and seeing if it stops at the right time.
• But with a quantum computer, the "track" is so complex that we can't predict the finish line with a normal computer.
• This "Axial Anomaly" test is like a magic speedometer. We know exactly what the speed must be. If the car (the quantum computer) shows a different speed, we know the engine is broken or the sensors are lying.

The researchers showed that:

1. It works: Current quantum computers can simulate complex quantum physics.
2. It's robust: Even with the machine's natural "noise" (errors), the result was still correct.
3. It's a benchmark: This test can now be used as a standard way to check if future, larger quantum computers are working correctly.

The Takeaway

This paper is a milestone. It proves that we can use the strange, counter-intuitive laws of quantum physics (specifically the "axial anomaly") as a gold standard to verify that our new quantum computers are actually doing what they are supposed to do.

It's like finding a perfect, unbreakable ruler in a world of melting tape measures. Now, we have a way to measure the accuracy of these powerful new machines, paving the way for them to solve even bigger mysteries in the universe.

Technical Summary

Here is a detailed technical summary of the paper "Quantum anomaly for benchmarking quantum computing" by Tomoya Hayata and Arata Yamamoto.

1. Problem Statement

As quantum hardware advances, the number of qubits has surpassed the threshold where classical computers can perform exact simulations (exceeding 100 qubits). This creates a critical challenge: how to verify the correctness of quantum computations on devices where classical validation is impossible.

• Current Limitations: Small-scale simulations can be verified against exact classical solutions, but large-scale simulations currently rely on approximate methods (e.g., tensor networks) for validation, which lack the rigor of exact benchmarks.
• The Need: There is a need for a "nontrivial but exactly solvable" problem that can be simulated on current devices and systematically scaled up, serving as a rigorous benchmark for circuit construction, algorithm design, and error estimation.

2. Methodology

The authors propose using the axial anomaly in lattice gauge theories as a benchmark. The axial anomaly is a quantum mechanical phenomenon where a classically conserved current is not conserved due to quantum effects. Crucially, the anomaly coefficient is exact to all orders in perturbation theory, providing a known theoretical target ($1/\pi$) for verification.

Theoretical Framework

• Model: The study utilizes $Z_N$ lattice gauge theories in 1+1 dimensions.
  • The theory is formulated with finite-dimensional Hilbert spaces ($Z_N$) and then extrapolated to the $U(1)$ limit ($N \to \infty$).
  • Hamiltonian: $H = H_g + H_f$, where $H_g$ is the gauge field Hamiltonian and $H_f$ is the fermion Hamiltonian (using Wilson fermions for lower computational cost).
  • Key Relation: The time evolution of the axial charge $Q_5$ under an external electric field $E_{ext}$ is given by:
    $$\frac{d}{dt}\langle Q_5 \rangle = \frac{1}{\pi} L e E_{ext}$$
    This relation is exact. If a quantum simulation reproduces the coefficient $1/\pi$, the computation is validated.

Quantum Simulation Strategy

The simulation was performed on the trapped-ion quantum computer "Reimei" (Quantinuum) at RIKEN, which features 20 physical qubits and all-to-all connectivity.

1. Initial State Preparation:

   • The system starts in a non-interacting vacuum state.
   • The gauge field is initialized in the weak coupling limit ($U(x)|g\rangle = |g\rangle$).
   • The fermion state is constructed by occupying the Dirac sea (negative energy states) of the Wilson-Dirac equation. This involves an inverse fermionic Fourier transform (FFT$^\dagger$) and specific creation operators $C(k)$.

2. Time Evolution:

   • A spatially uniform external electric field is introduced via a background gauge link $A_{ext}$.
   • Time evolution is implemented using a single second-order Suzuki-Trotter step:
     $$|\Psi(\delta t)\rangle = e^{-iH_f \delta t/2} e^{-iH_g \delta t} e^{-iH_f \delta t/2} |\Psi(0)\rangle$$
   • Optimization: Since the axial charge $Q_5$ commutes with the fermion Hamiltonian $H_f$, the fermionic evolution operators cancel out in the expectation value calculation. The simulation effectively reduces to evolving only the gauge interaction $e^{-iH_g \delta t}$.
   • The gauge evolution is performed by transforming the gauge register from the $U$-diagonal basis to the $\Pi$-diagonal basis using the Quantum Fourier Transform (QFT), applying the evolution, and transforming back.

3. Measurement:

   • The expectation value $\langle Q_5 \rangle$ is measured at time $t = \delta t$.
   • Due to translational invariance, the measurement is performed at a single lattice site ($x=0$) and multiplied by the volume factor $L$.
   • A basis transformation $B$ is applied before measurement to diagonalize the specific operator required for $\langle Q_5 \rangle$.

4. Extrapolation Limits:
   To recover the physical result, the authors extrapolate the simulation data through four limits:

   • $N \to \infty$ (The $U(1)$ limit).
   • $\delta t \to 0$ (Infinitesimal time limit).
   • $L \to \infty$ (Infinite volume limit).
   • $e^2 \to 0$ (Continuum limit, equivalent to the time limit in this specific setup).

3. Key Contributions

• Novel Benchmark: Proposes the axial anomaly as a rigorous, exact benchmark for quantum lattice gauge theory simulations, distinct from previous benchmarks that relied on approximate classical methods.
• Error-Free Validation: Demonstrates that a non-trivial quantum field theory effect can be reproduced on current hardware without error mitigation. This is achieved by leveraging the high fidelity of the trapped-ion device and the simplicity of the circuit (shallow depth).
• Circuit Optimization: Developed a highly efficient circuit implementation where the fermionic time evolution is analytically removed, significantly reducing the gate count and circuit depth.
• Scalability Analysis: Provided a detailed analysis of how computational resources (qubits and gate counts) scale with system size ($L$) and gauge group dimension ($N$), proving the feasibility of extending this to larger, classically intractable systems.

4. Results

• Experimental Setup: Simulations were run on the Reimei device with $N \in \{4, 8, 16\}$, $L \in \{3, 4, 5\}$, and $e^2\delta t \in \{0.1, 0.2, 0.3\}$.
• Extrapolation:
  • The data was fitted to extract the anomaly coefficient $C$ for various $N$ and $L$.
  • Linear extrapolations were performed for the infinitesimal time limit ($\delta t \to 0$) and the infinite volume limit ($L \to \infty$).
• Final Value: The extrapolated anomaly coefficient was found to be $C = 0.33 \pm 0.04$.
• Comparison: The theoretical value is $1/\pi \approx 0.318$. The experimental result matches the theoretical prediction within statistical uncertainties.
• Noise Analysis: The dominant noise source was two-qubit gate errors ($p \approx 1.3 \times 10^{-3}$). The estimated infidelity (3.5%–12.9%) was smaller than the statistical fitting uncertainty, confirming that the result is robust even without active error mitigation.

5. Significance

• Verification of Quantum Advantage: This work proves that current quantum computers can simulate complex quantum field theory phenomena with sufficient accuracy to verify theoretical predictions, even before the era of full error correction.
• Benchmarking Standard: It establishes the axial anomaly as a standard "gold test" for future quantum simulations of gauge theories. If a device cannot reproduce the anomaly coefficient, it indicates fundamental flaws in the hardware or algorithm.
• Path Forward: The study outlines a clear path for scaling up. While the current simulation used only 14 qubits (tractable by classical computers), the methodology is directly extensible to systems with $>100$ qubits, where quantum computers will offer a genuine advantage over classical supercomputers.
• Theoretical Insight: It validates the theoretical framework of using $Z_N$ gauge theories to approximate $U(1)$ theories in quantum simulations, confirming that the anomaly is preserved in the discrete formulation.

In conclusion, Hayata and Yamamoto have successfully demonstrated that the axial anomaly serves as a powerful, exact benchmark for quantum computing, validating the correctness of quantum simulations on current hardware and paving the way for more complex lattice gauge theory investigations.