Entanglement and magic on the light-front

1. Problem Statement

Quantum Field Theory (QFT) simulations on quantum computers are a primary target for quantum advantage. Most current approaches utilize the Instant Form (IF) of relativistic dynamics, where time evolution is generated by the Hamiltonian $P^0$ on a spacelike hypersurface. However, the Light-Front (LF) formulation, where evolution is generated by the light-front energy operator $P^-$ along a light-like hypersurface ($x^+ = x^0 + x^1$), offers distinct advantages, such as a simpler vacuum structure and connections to quantum chemistry.

A critical open question is how quantum resources—specifically entanglement and magic (non-stabilizerness)—differ between IF and LF representations. Since physical quantum computers operate in an inertial laboratory frame (IF), understanding how the choice of QFT formulation (IF vs. LF) impacts the resource requirements (entanglement and magic) for simulation is essential for optimizing quantum algorithms.

2. Methodology

The authors investigate this problem using the (1+1)D Transverse-Field Ising Model (TFIM) as a toy model. The TFIM is chosen because it exhibits fermionic behavior near its quantum critical point ($\lambda = 1$) and maps to a free Dirac field in the continuum limit.

The methodology involves:

1. Formulating the Hamiltonians:
   • Deriving the IF Hamiltonian ($H_{IF}$) in momentum space, which requires a Bogoliubov transformation to diagonalize.
   • Deriving the LF Energy Operator ($P^-$) and the corresponding LF Hamiltonian ($H_{LF}$) in light-front momentum space.
2. Quantization:
   • Using Discretized Light Cone Quantization (DLCQ) for the LF formulation.
   • Applying the Jordan-Wigner transformation to map spin operators to fermionic operators.
3. Resource Analysis:
   • Entanglement: Analyzing the structure of the ground state eigenstates in momentum space to determine separability vs. entanglement between momentum modes ($k$ and $-k$).
   • Magic: Quantifying non-stabilizerness using Stabilizer Rényi Entropy (SRE). The authors define momentum-space qubits via an inverse Jordan-Wigner transformation to calculate the "magic" required to prepare the ground states.
4. Critical Point Analysis: Examining the behavior at the quantum critical point ($\lambda = 1$, massless free fermion) where the system undergoes a phase transition.

3. Key Contributions and Results

A. Distinct Hamiltonian Structures

• IF Representation: The IF Hamiltonian in momentum space is block-diagonal but not fully diagonal. It couples modes with momentum $k$ and $-k$. Diagonalization requires a Bogoliubov transformation ($\hat{\gamma}_k = \cos\theta_k \hat{c}_k + i\sin\theta_k \hat{c}^\dagger_{-k}$).
• LF Representation: The LF Hamiltonian ($H_{LF}$) is already diagonal in LF momentum space ($k^+$). It does not require a Bogoliubov transformation. The "good" fermion component evolves dynamically, while the "bad" component is kinematical.

B. Entanglement Properties

• IF Ground State: The eigenstates of the IF Hamiltonian exhibit pairwise entanglement between positive and negative momentum modes ($k$ and $-k$). The ground state is a product of entangled pairs (BCS-type state):
  $$|\Phi\rangle_{IF} = \bigotimes_{k>0} (\cos\phi_k |0\rangle_k |0\rangle_{-k} - i\sin\phi_k |1\rangle_k |1\rangle_{-k})$$
• LF Ground State: The eigenstates of the LF Hamiltonian are completely separable in LF momentum space. The ground state is a simple product state:
  $$|\Phi\rangle_{LF} = \bigotimes_{k^+} |1\rangle_{k^+}$$
  This implies that simulating the LF ground state requires zero entanglement between momentum modes in the LF basis.

C. Magic (Non-Stabilizerness) Analysis

• Definition: Magic quantifies the "non-classicality" or the difficulty of preparing a state using only Clifford gates.
• Massive Case ($m > 0$):
  • The LF ground state is a stabilizer state (Magic $M_{LF} = 0$) because it is separable.
  • The IF ground state requires non-zero magic ($M_{IF} > 0$) due to the entanglement and the specific superposition coefficients. The authors show that $M_{IF}$ is strictly greater than $M_{LF}$ for all $m > 0$.
• Critical Point ($m = 0$):
  • At the critical point, the IF ground state becomes a maximally entangled Bell state product. However, in the specific momentum-space qubitization used, it becomes a stabilizer state (Magic drops to zero).
  • Despite both having zero magic at the critical point, the structural difference remains: The IF state is a product of maximally entangled pairs, while the LF state remains a product of separable states.

D. Theoretical Insight

The paper explains that the entanglement in the IF ground state arises from the Kramers-Wannier duality between particles ($+k$) and holes ($-k$). The LF formulation, defined by $P^- = P^0 - P^1$, breaks this specific coupling, resulting in a diagonal Hamiltonian that naturally separates the modes.

4. Significance and Implications

1. Resource Efficiency: The results demonstrate that the Light-Front formulation can significantly reduce the quantum resources required for simulation. Specifically, the LF ground state is separable and requires less magic (or zero magic in the massive case) compared to the IF ground state. This suggests LF simulations may be more efficient on near-term quantum devices.
2. Mapping Physical Resources to Theory: The paper highlights a non-trivial mapping between laboratory resources and theoretical resources. A Bell-type measurement (entanglement test) in the lab might correspond to a contextuality test (Kochen-Specker) in the LF theory, and vice versa. This implies that the "cost" of a simulation depends heavily on the chosen reference frame.
3. Future Directions: This work represents the first discussion of quantum resources (entanglement and magic) specifically within the Light-Front framework. It opens avenues for extending these findings to interacting theories, higher dimensions, and renormalization effects, potentially guiding the development of more efficient quantum algorithms for high-energy physics and nuclear physics.

Conclusion

Alterman and Love demonstrate that the Light-Front formulation of QFT offers a "simpler" quantum state structure compared to the Instant Form. By eliminating the need for Bogoliubov transformations and reducing entanglement and magic requirements in the ground state, the LF approach presents a promising alternative for quantum simulations of QFTs, potentially lowering the barrier for achieving quantum advantage in high-energy physics applications.