Engineering discrete local dynamics in globally driven dual-species atom arrays

This paper introduces a method for engineering discrete local dynamics in globally driven dual-species neutral atom arrays using Floquet protocols and generalized blockade regimes to realize Quantum Cellular Automata, such as the kicked-Ising and Floquet Kitaev models, for studying emergent digital phenomena and benchmarking chaotic many-body dynamics.

The Gist

The Big Idea: Turning a "Floodlight" into a "Flashlight"

Imagine you are trying to paint a very detailed, complex picture on a giant wall. Usually, to paint specific details, you need a fine brush that you can move around to touch only one spot at a time.

In the world of quantum computers built with atoms, scientists have a powerful tool: Rydberg atoms. These are atoms that can be made to interact strongly with their neighbors. However, there's a catch. In current experiments, scientists shine a laser on the whole group of atoms at once. It's like trying to paint that detailed wall using only a giant floodlight. You can turn the light on and off for everyone, but you can't easily tell who is getting painted and who isn't. This limits the experiments to "analog" mode, where the atoms just do what their natural physics tells them to do.

This paper proposes a clever trick: It shows how to use that same "floodlight" to create complex, step-by-step (digital) logic, effectively turning the floodlight into a set of precise flashlights, without needing to move the atoms around.

The Secret Sauce: Two Types of Atoms (The "Data" and the "Helpers")

The researchers use a system with two different species (types) of atoms. Let's call them:

1. The Data Atoms (Blue): These hold the information we want to process.
2. The Helper Atoms (Yellow): These act as messengers or mediators.

The key is that the laser is "species-selective." Even though the laser covers the whole room, it can be tuned to only talk to the Blue atoms, or only talk to the Yellow atoms, by switching back and forth very quickly.

How the Magic Trick Works: The "Gadget"

The paper introduces a concept called a "Mediated Gate" using a "Gadget."

Imagine you have two Blue atoms (Data) standing far apart. They can't talk to each other directly because they are too far away. But, you place a Yellow atom (Helper) right in the middle of them.

1. The Setup: The Yellow atom is in a "sleeping" state.
2. The Trigger: The scientists shine a laser on the Yellow atom.
3. The Condition: The Yellow atom only wakes up and does a special dance if both of its Blue neighbors are also "sleeping." If even one Blue neighbor is awake, the Yellow atom is blocked from dancing.
4. The Result: If the condition is met, the Yellow atom dances and returns to sleep, but it leaves behind a "ghostly" change in the Blue atoms' state. It's as if the Yellow atom whispered a secret between the two Blues, entangling them, even though the laser never touched the Blues directly.

By arranging these Blue and Yellow atoms in a grid and switching the laser between them, the scientists can build complex logic circuits. They can make the atoms perform specific steps, like a computer program, even though the laser is always shining on the whole group.

What They Can Build: The "Digital" Models

Using this method, the authors show they can build several famous quantum models:

• The Kicked-Ising Model: Imagine a line of people holding hands. Every few seconds, everyone gets a gentle push (a "kick") and then they all shake hands with their neighbors in a specific pattern. This model is famous for showing how systems can get "stuck" or become chaotic.
• The Kitaev Honeycomb Model: This is like a honeycomb beehive where the bees interact in three different directions. It's a complex puzzle that is very hard to solve on a regular computer but is perfect for this quantum setup.
• General Digital Evolution: They showed this method can break down almost any complex quantum interaction into small, manageable steps (like taking a long walk by taking many small steps).

The Test: Can They Spot "Chaos"?

One of the main goals of the paper is to see if this new method can detect Quantum Chaos.

In simple terms, chaos in a quantum system is like dropping a drop of ink into a glass of water. At first, the ink is in one spot. In a chaotic system, it spreads out incredibly fast until the whole glass is a uniform color. In a non-chaotic (ordered) system, the ink might just swirl in a pattern or stay in a clump.

The authors propose a way to measure this "spreading" without needing complex, impossible-to-build equipment. They use a "coarse-grained" method:

• Instead of tracking every single drop of ink, they just check the overall "color intensity" of the water at different times.
• They use a special preparation trick (using a "tetrahedron" of states) to create a random starting pattern of atoms.
• They run their "floodlight" protocol and measure how the pattern changes.

The Finding: Their simulations show that this simple measurement can clearly tell the difference between a system that is chaotic (ink spreads fast) and one that is orderly (ink stays put). This is a big deal because it means they can study complex, chaotic physics using the simple, existing tools of dual-species atom arrays.

Summary

This paper is a blueprint for upgrading current quantum atom experiments.

• The Problem: Current experiments use a "one-size-fits-all" laser that makes it hard to do complex, step-by-step logic.
• The Solution: Use two types of atoms and a switching laser to create "helper" gadgets that mediate interactions.
• The Result: You can now run complex, digital-style quantum programs (like the Kitaev model) and detect chaos, all without needing to move the atoms around or build new, complicated hardware. It turns a simple analog tool into a powerful digital one.

Technical Summary

Technical Summary: Engineering Discrete Local Dynamics in Globally Driven Dual-Species Atom Arrays

Problem Statement
Discrete local dynamics, a class of Quantum Cellular Automata (QCA), offer a powerful framework for studying non-equilibrium quantum many-body phenomena, including quantum chaos and topological phases. However, realizing these models in neutral atom arrays typically requires local control over interactions. Current experiments often rely on global laser drives that address all atoms uniformly, limiting them to analog simulation of native Rydberg Hamiltonians. While mid-circuit rearrangement has achieved some local control, it adds significant technological complexity. The challenge is to engineer complex, discrete-time local update rules using only static atom arrangements and global, species-selective driving, without the need for dynamic reconfiguration or individual addressing.

Methodology
The authors propose a method to engineer discrete local dynamics in dual-species neutral atom arrays using only global, species-selective lasers. The core architecture involves:

1. Dual-Species Encoding: The system utilizes two atomic species. One species encodes "data" qubits (positioned on lattice vertices), while the second species encodes "ancilla" qubits (positioned on lattice bonds/edges).
2. Mediated Gates via Gadgets: The authors introduce "gadgets" where ancilla atoms mediate interactions between non-interacting data atoms. By driving the ancilla species with a global laser, they induce a closed trajectory on the Bloch sphere for the ancilla. Due to the Rydberg blockade, this trajectory (and the resulting geometric phase) is conditional on the state of the neighboring data atoms.
3. Superatoms and Decorated Gadgets: To implement spatially inhomogeneous dynamics or specific interaction strengths, the authors utilize "decorated gadgets" where multiple ancilla atoms ($S \ge 2$) are placed on a single bond. These clusters behave as "superatoms" with enhanced Rabi frequencies ($\sqrt{S}\Omega$).
4. Optimal Control: Using optimal control techniques (specifically Gradient Ascent Pulse Engineering, GRAPE), the authors design global laser pulse schedules ($\xi(t)$) that simultaneously drive superatoms of different sizes ($S=1, 2, 3$) to acquire specific geometric phases. This allows for the parallel implementation of different entangling gates (e.g., $CZ(\phi)$) across the lattice in a single global drive step.
5. Chaos Detection Protocol: To probe quantum chaos without requiring complex non-local operators (like Out-of-Time-Ordered Correlators), the authors propose measuring a coarse-grained signature $g_O(t)$. This involves initializing the system in a random product state drawn from a minimal 2-design (a tetrahedron of states on the Bloch sphere) using global drives and optical tweezers to selectively freeze atoms.

Key Contributions

• General Construction for QCA: The paper provides a general recipe to implement translation-invariant discrete local dynamics in globally driven systems. It demonstrates that both synchronous (commuting updates) and asynchronous (non-commuting updates) QCA can be realized.
• Specific Model Implementations: The authors explicitly construct protocols for:
  • The Kicked-Ising Model (both homogeneous and inhomogeneous).
  • The Floquet Kitaev Honeycomb Model, which requires asynchronous updates and the use of decorated gadgets with varying superatom sizes ($S=1, 2, 3$).
  • The Digitization of generic 2-local Hamiltonians, offering a route to Trotterized evolution and beyond.
• Chaos Indicator: The authors introduce and validate a method to detect quantum chaos using $g_O(t)$, a quantity derived from the spreading of local operators. They show this can be measured using only demonstrated capabilities of global drives and species-selective addressing, avoiding the need for complex spatially non-uniform operators.
• Resource Efficiency: The approach maintains constant overhead in both space (linear in system size) and time (linear in discrete steps), making it scalable and well-suited for near-term experiments.

Results

• Numerical Validation: The authors numerically simulate the proposed protocols for the 1D Kicked-Ising model and the 2D Floquet Kitaev model.
  • For the 1D Kicked-Ising model, they demonstrate that $g_O(t)$ successfully distinguishes between chaotic regimes and integrable (free-fermion) regimes. In chaotic regimes, $g_O(t)$ decays exponentially and approaches a specific late-time limit, whereas integrable regimes show revivals and remain at higher values.
  • For the 2D Kitaev model, they show that even at early times (limited by simulation size), $g_O(t)$ captures dynamical features distinguishing different interaction regimes (e.g., quasi-1D vs. fully 2D).
• Feasibility Analysis: The paper notes that recent experiments have demonstrated mediated gates with fidelities up to $\sim 96.7\%$ in dual-species arrays. The proposed protocols rely on these demonstrated capabilities (global driving, species-selectivity, and tweezer-induced Stark shifts for state preparation) and do not require new hardware.

Significance and Claims
The paper claims that this method enables the study of emergent digital models and complex non-equilibrium physics in large atom arrays using minimal experimental control. By leveraging the unique properties of dual-species systems (species-selective driving and generalized blockade regimes), the authors show that globally driven experiments can effectively simulate circuit-like dynamics.

The significance lies in:

1. Bridging Analog and Digital: It allows analog platforms to perform discrete, circuit-based simulations without the overhead of mid-circuit rearrangement.
2. Accessibility: It provides a route to investigate hard questions in non-equilibrium physics, such as quantum chaos and time-crystalline order, using current or near-future experimental setups.
3. Scalability: The constant overhead makes the approach viable for large-scale arrays where local control is technologically prohibitive.

The authors remain modest regarding the immediate experimental realization of the full 2D Kitaev model, noting that current simulations are limited to early times due to system size constraints, but argue that the proposed framework provides a clear path for experimental exploration of these dynamics. They explicitly state that their work is submitted simultaneously with a closely related experimental realization of Quantum Cellular Automata in globally-driven dual-species arrays.