Abstract
The ability to engineer parallel, programmable operations between desired qubits within a quantum processor is key for building scalable quantum information systems^{1,2}. In most stateoftheart approaches, qubits interact locally, constrained by the connectivity associated with their fixed spatial layout. Here we demonstrate a quantum processor with dynamic, nonlocal connectivity, in which entangled qubits are coherently transported in a highly parallel manner across two spatial dimensions, between layers of single and twoqubit operations. Our approach makes use of neutral atom arrays trapped and transported by optical tweezers; hyperfine states are used for robust quantum information storage, and excitation into Rydberg states is used for entanglement generation^{3,4,5}. We use this architecture to realize programmable generation of entangled graph states, such as cluster states and a sevenqubit Steane code state^{6,7}. Furthermore, we shuttle entangled ancilla arrays to realize a surface code state with thirteen data and six ancillary qubits^{8} and a toric code state on a torus with sixteen data and eight ancillary qubits^{9}. Finally, we use this architecture to realize a hybrid analogue–digital evolution^{2} and use it for measuring entanglement entropy in quantum simulations^{10,11,12}, experimentally observing nonmonotonic entanglement dynamics associated with quantum manybody scars^{13,14}. Realizing a longstanding goal, these results provide a route towards scalable quantum processing and enable applications ranging from simulation to metrology.
Main
Quantum information systems derive their power from controllable interactions that generate quantum entanglement. However, the natural, local character of interactions limits the connectivity of quantum circuits and simulations. Nonlocal connectivity can be engineered via a global shared quantum data bus^{15,16,17,18}, but in practice these approaches have been limited in either control or size. A number of visionary architectures to address this challenge have been proposed theoretically over the past two decades. On the basis of coherent, dynamical transport of quantum information using movable traps or photonic links, these techniques have been the subject of intensive experimental explorations across different platforms^{1,19,20,21,22,23,24}. However, progress has been limited to smallscale, fewqubit systems lacking either full connectivity, programmability or true parallelism.
Our approach to address this longstanding challenge utilizes dynamically reconfigurable arrays of entangled neutral atoms, shuttled by optical tweezers in two spatial dimensions (Fig. 1a). Hyperfine states are used for storing and transporting quantum information between quantum operations, and excitation into Rydberg states is used for generating entanglement. Highly parallel operations are enabled via selective qubit operations in distinct zones that qubits are dynamically shuttled between. Taken together, these ingredients enable a powerful quantum information architecture, which we employ to realize applications including entangledstate generation, the creation of topological surface and toric code states, and hybrid analogue–digital quantum simulations.
Entanglement transport in atom arrays
Our experiments utilize a twodimensional (2D) atom array system described previously^{25}, with key upgrades to enable coherent transport and multiple layers of singlequbit and twoqubit gates. We store quantum information in magnetically insensitive clock states within the groundstate hyperfine manifold of ^{87}Rb atoms^{20}, and implement robust singlequbit Raman rotations (scattering error per π pulse of about 7 × 10^{−5})^{26}, realized by composite pulses that are robust to pulse errors (Extended Data Fig. 3)^{27}. Highfidelity controlledZ (CZ) entangling gates in the hyperfine basis {0⟩, 1⟩} (Fig. 1a) are implemented in parallel using global Rydberg excitation pulses on the 1⟩ ↔ r⟩ Rydberg transition^{5}. For dynamic reconfiguration, we initialize atoms into two sets of traps: static traps generated by a spatial light modulator (SLM) and mobile traps generated by a crossed 2D acoustooptic deflector (AOD). To execute a specific circuit, we arrange qubits into desired pairs, perform Rydbergmediated CZ gates on each pair simultaneously and then move all mobile traps in parallel to dynamically change the connectivity into the next desired qubit arrangement.
Figure 1 shows our ability to transport qubits across large distances while preserving entanglement and coherence^{20}. We initialize pairs at an atom–atom distance of 3 μm (Fig. 1b) and then create a Bell state \({\Phi }^{+}\rangle =\frac{1}{\sqrt{2}}(00\rangle +11\rangle )\) in the hyperfine basis (Methods)^{5}. To measure the resulting entangledstate fidelity, we apply a variable singlequbit phase gate before a final π/2 pulse, resulting in oscillations of the twoatom parity \(\langle {\sigma }_{1}^{z}{\sigma }_{2}^{z}\rangle \) (Fig. 1c)^{5}. We then repeat this experiment, but now move the atoms apart by 110 μm before applying the final π/2 pulse. Our transport protocol is optimized to suppress heating and loss by implementing cubicinterpolated atom trajectories (Methods), and is further accompanied by an eightpulse XY8 robust dynamical decoupling sequence^{28} to suppress dephasing. The resulting parity oscillations indicate that twoatom entanglement is unaffected by the transport process^{20,29}. Performing this experiment as a function of movement speed^{30} shows that the fidelity remains unchanged until the total separation speed becomes more than 0.55 μm μs^{−1}, corresponding to the onset of atom loss (Fig. 1d). We note that the entanglement transport in Fig. 1b corresponds to moving quantum information across a region of space that can, in principle, host about 2,000 qubits (at an atom separation of 3 μm), on a timescale corresponding to <10^{−3} of the coherence time T_{2} (Extended Data Fig. 3), directly enabling applications in largescale quantum information systems.
Programmable circuits and graph states
To exemplify the ability to generate nonlocal connectivity between qubit arrays in parallel, we carry out the preparation of entangled graph states: a large class of useful quantum information states, with examples ranging from Greenberger–Horne–Zeilinger states and cluster states to quantum error correction (QEC) codes^{31}. Graph states are defined by initializing all qubits, located on the vertices of a geometric graph, in \(+\rangle \equiv \frac{0\rangle +1\rangle }{\sqrt{2}}\) and then performing CZ gates on the links between qubits (corresponding to the edges of the graph)^{31}. Nqubit graph states G⟩ are associated with a set of N stabilizers, defined by \({S}_{i}={X}_{i}{\Pi }_{j\in {u}_{i}}\,{Z}_{j}\), where X and Z are the Pauli matrices, u_{i} is the set of qubits (vertices) connected by an edge to qubit i, and Π denotes a product over qubit indices j (ref. ^{31}). The stabilizers each have +1 eigenvalue for the graph state G⟩. Measuring these operators and their expectation values can be used to characterize the preparation of the target state.
As an example, Fig. 2a shows the preparation of a onedimensional (1D) cluster state, a graph state defined by a linear chain of qubits^{32,33}. To realize this state, we perform one global, parallel layer of CZ gates on adjacent atom pairs, move half the atoms to form new pairs and then perform another parallel layer of CZ gates (Fig. 2a, b). To probe the resultant 12qubit cluster state, we measure the stabilizer set {S_{i}} = {Z_{i−1}X_{i}Z_{i+1}} through readout in two measurement settings, given by a local π/2 rotation on either the odd or the even sublattice before projective measurement^{34}. We achieve the local rotation by moving one sublattice of qubits to a separate zone and then performing a rotation on the unmoved qubits with a homogeneous beam illuminating the experiment zone (Fig. 1a, Methods). We measure ⟨S_{i}⟩ by analysing the resulting bitstring outputs and plot the resulting raw stabilizer measurements (Fig. 2c). Across all 12 stabilizers, we find an average ⟨S_{i}⟩ = 0.87(1) (Fig. 2c) (accounting for statepreparationandmeasurement (SPAM) errors would yield ⟨S_{i}⟩ = 0.91(1)), certifying biseparable entanglement in a cluster state (all ⟨S_{i}⟩ > 0.5 (ref. ^{34})). The measured fidelities would correspond to a fewpercent error per operation for a measurementbased quantum computation^{32,35}.
An important class of graph states are QEC codes, where the graphstate stabilizers manifest as the stabilizers of the QEC code and can be measured to correct errors on an encoded logical qubit. As an example, we prepare the sevenqubit Steane code^{6,7}, a topological colour code depicted by the graph in Fig. 2d, in the logical state +⟩_{L}. To prepare this state, we initialize all qubits in +⟩, apply CZs on the links between qubits (in four parallel layers; Extended Data Fig. 5) and then rotate either of the two sublattices for measuring stabilizers (Fig. 2e). After sublattice rotation, six of the graphstate stabilizers transform into the six Steane code stabilizers, given by fourbody products of X_{i} or Z_{i}. Figure 2f shows the raw measured expectation values of these six stabilizers. The seventh graphstate stabilizer transforms into the logical qubit operator X_{L} and has eigenvalue +1 for the graph state G⟩, while anticommuting with logical Z_{L}. Accordingly, in Fig. 2f, we find ⟨X_{L}⟩ = 0.71(2) and ⟨Z_{L}⟩ = −0.02(3), demonstrating the preparation of the logical qubit state +⟩_{L}. Moreover, we perform error detection by postselecting on measurement outcomes where all measured stabilizers yield +1 (refs. ^{36,37}; with 66(1)% probability of no detected errors). Using this procedure, we obtain corrected values of \(\langle {\bar{X}}_{L}\rangle ={0.991}_{0.007}^{+0.004}\)and, \(\langle {\bar{Z}}_{L}\rangle =0.03(3)\)demonstrating the errordetecting properties of the Steane code graph (see Extended Data Fig. 7 for error correction and logical operations).
Topological states with ancilla arrays
We next make use of transportable ancillary qubit arrays to mediate quantum operations between remote qubits^{1}. Owing to the ability to quickly move arrays of atoms across the entire system, the use of ancillary qubits naturally complements our movement capabilities. Specifically, we employ ancillas for state preparation by mediating entanglement between physical qubits that never directly interact, followed by projective measurement of the ancilla array (performed simultaneously with the measurement of the data qubits), a form of measurementbased quantum computation^{32,35}. In particular, we prepare topological surface code and toric code states^{8,9,38,39}, whose states are more difficult to construct by direct CZ gates between physical qubits (requiring an extensive number of layers^{8,40}). For these codes, the measured values of the ancilla qubits simply redefine the stabilizers and are handled insoftware for practical QEC operation^{38}. As the redefinition is applied insoftware, without physical intervention, the projective measurements on the ancillae commute with all operations on the data qubits and can be done at any time, and so we measure all qubits simultaneously.
Figure 3a shows the preparation of a 19qubit graph state creating the +⟩_{L} logical state of the surface code^{8,38}. The surface code is defined by Xplaquette and Zstar stabilizers, and logical operators X_{L} (Z_{L}) are defined as strings of X (Z) products across the height (width) of the graph. To prepare this state, ancillas are moved to perform CZ gates with each of their four neighbours and are then measured, projecting the data qubits into the surface code state. The graphstate stabilizers now transform into the X plaquettes, the Z stars (with value ±1 for a measurement outcome of ±1 of the central ancilla) and the logical X_{L} operator^{35,41}. Remarkably, this procedure creates a topologically ordered state in a constantdepth circuit^{35,40}, where measured ancilla values can be used for redefining stabilizers, which can be handled insoftware for practical QEC operation^{38}. Figure 3b shows the measured expectation values of the 12 resulting stabilizers, as well as the logical operator expectation values with and without error detection. We find a raw value of ⟨X_{L}⟩ = 0.64(3), and a corrected value of \(\langle {\bar{X}}_{L}\rangle ={1}_{0.01}^{+0}\) using the measured stabilizers for error detection (with 35(1)% probability of no detected errors), demonstrating the preparation of this topological QEC state (see also Extended Data Fig. 7, showing the expected attributes for all prepared errorprotected logical states).
Although surface code states have previously been prepared with other methods, our transport capabilities allow us to use the full range of motion of ancilla qubits across the entire qubit array to enable periodic boundary conditions and realize the toric code state on a torus^{9}. To this end, we create the 24qubit graph state shown in Fig. 3c by performing five layers of parallel gates and moving the ancillae to their separate zone for readout in a separate basis (see also Supplementary Video 1 showing the full atom trajectory). The state we prepare has seven (owing to periodic boundary conditions) independent X plaquettes and seven independent Z stars. Moreover, owing to the topological properties of this graph, two independent logical qubits can be encoded with logical operators \({X}_{L}^{(1)},{Z}_{L}^{(1)}\) and \({X}_{L}^{(2)},{Z}_{L}^{(2)}\) that wrap around the entire torus along two topologically distinct directions^{9}. Upon projective measurement of the ancilla qubits in the X basis we create the toric code state \({+\rangle }_{L}^{(1)}{+\rangle }_{L}^{(2)}\). State preparation is verified in Fig. 3d by measuring the toric code stabilizers. For the two encoded logical qubits, we find raw logical qubit expectation values of \(\langle {X}_{L}^{(1)}\rangle =0.64(2)\) and \(\langle {X}_{L}^{(2)}\rangle =0.38(2)\), and errordetected values of \(\langle {\bar{X}}_{L}^{(1)}\rangle ={1}_{0.01}^{+0}\) and \(\langle {\bar{X}}_{L}^{(2)}\rangle ={0.92}_{0.03}^{+0.02}\) (with 20(1)% probability of no detected errors), demonstrating the preparation of the toric code. We note that the different expectation values of the corrected logical qubits originate from the aspect ratio of our torus, where \({X}_{L}^{(1)}\) and \({X}_{L}^{(2)}\) are protected to code distance d = 4 and d = 2, respectively (see also Extended Data Fig. 7). Our measured fidelities are in good agreement with numerical simulations of the circuit (Extended Data Fig. 6), wherein each qubit experiences a perlayer error rate independent of the number of qubits or the shuttling process, indicating that errors in CZ gates (fidelity of about 97.5%; Methods^{5}) constitute our dominant error source.
Hybrid analogue–digital circuits
Having established atom movement for realizing digital circuits, we now explore the applications to quantum simulation. In particular, we perform hybrid, modular quantum circuits composed of analogue Hamiltonian evolution, reconfiguration and digital gates (Fig. 4a). Together, these tools open a wide variety of possibilities in quantum simulation and manybody physics. As a specific example, we measure the Renyi entanglement entropy after a quantum quench by effectively interfering two copies of a manybody system^{10,11}.
Figure 4b illustrates the experimental procedure. After initializing both copies with all qubits in 1⟩, we independently evolve each copy under the Rydberg Hamiltonian H_{Ryd} for a time t, generating an entangled manybody state in the {1⟩, r⟩} basis (Methods)^{13}. Raman and Rydberg π pulses then map 1⟩ → 0⟩ and r⟩ → 1⟩, transferring the entangled manybody state into the longlived and noninteracting {0⟩, 1⟩} basis^{42}. Finally, we measure entanglement entropy by rearranging the system and interfering each qubit in the first copy with its identical twin in the second copy, by use of a Bell measurement circuit. Measuring twins in the Bell basis detects occurences of the antisymmetric singlet state \({\Psi }^{}\rangle =\frac{01\rangle 10\rangle }{\sqrt{2}}\), the presence of which indicates that subsystems of the two copies were in different states owing to entanglement with the rest of the manybody system^{10,11}. Quantitatively, analysing the number parity of observed singlets within subsystem A yields the purity \({\rm{Tr}}[{\rho }_{{\rm{A}}}^{2}]\) of the reduced density matrix ρ_{A}, and thus yields the secondorder Renyi entanglement entropy \({S}_{2}({\rm{A}})={\log }_{2}{\rm{Tr}}[{\rho }_{{\rm{A}}}^{2}]\) (Methods). This measurement circuit provides the Renyi entropy of any constituent subsystem of our whole closed quantum system, where the calculation over any desired subsystem A is simply performed in data processing^{10,11}.
We use this method to probe the growth of entanglement entropy produced by manybody dynamics (see Methods for additional benchmarking of the technique). Specifically, we study the evolution of two eightatom copies under the Rydberg Hamiltonian, subject to the nearestneighbour blockade constraint^{4,13}. Upon a rapid quench from an initial state with all atoms in the ground state g⟩ ≡ 1⟩, we observe that the halfchain Renyi entanglement entropy quickly grows and saturates (Fig. 4c), a process corresponding to quantum thermalization^{12}. By analysing the Renyi mutual information I_{AB} = S_{2}(A) + S_{2}(B) − S_{2}(AB) between the leftmost n atoms in the chain (A) and the complement subsystem of the rightmost 8 − n atoms (B), we find a volumelaw scaling in the resulting state (Fig. 4d)^{11,12}.
Although such thermalizing dynamics is generically expected in strongly interacting manybody systems, remarkably, it was demonstrated previously that for certain initial states this system can evade thermalization. Underpinned by special, nonthermal eigenstates called quantum manybody scars^{13,14,43}, these states were theoretically predicted to feature dynamics associated with a slow, nonmonotonic entanglement growth. Figure 4 shows the measurement of entanglement properties of manybody scars following a rapid quench from the initial state \({Z}_{2}\rangle \equiv rgrg\mathrm{..}.\rangle \), initialized by applying local Rydberg π pulses (Methods). We find that the rate of entropy growth for this initial state is significantly suppressed, and the mutual information reveals an arealaw scaling (Fig. 4d). Furthermore, Fig. 4e shows the singlesite entropy in the middle of the chain, demonstrating rapid growth and saturation for the thermalizing gggg...⟩ state but large oscillations for the Z_{2}⟩ state^{13,14}. Remarkably, the data show that when sites of one sublattice return to low entropy, the other sublattice goes to high entropy; this reveals that the scar dynamics entangle distant atoms (of the same sublattice) while disentangling nearest neighbours, even with only nearestneighbour interactions (Methods). These measurements reveal nontrivial aspects of quantum manybody scars, and constitute the direct observation of exotic entanglement phenomena in a manybody system.
These observations are in excellent agreement with exact numerical simulations in the isolated system (lines plotted in Fig. 4c, e, Extended Data Fig. 10). Moreover, whereas the singlesite purity approaches that of a fully mixed state, our global purity (a 16body observable composed of threelevel systems) remains more than 100 times that of a fully mixed state (Extended Data Fig. 9), altogether demonstrating the high accuracy and fidelity of our circuitbased technique. These results demonstrate that combining atom movement, manybody Hamiltonian evolution and digital quantum circuits yields powerful tools for simulating and probing the quantum physics of complex systems.
Discussion and outlook
Our experiments demonstrate highly parallel coherent qubit transport and entanglement enabling a powerful quantum information architecture. The present techniques can be extended along a number of directions. Local Rydberg excitation on subsets of qubit pairs would eliminate residual interactions from unintended atoms, allowing parallel, independent operations on arrays with significantly higher qubit densities. Twoqubit gate fidelity can be improved using higher Rydberg laser power or more efficient delivery methods, as well as more advanced atom cooling^{44}. These technical improvements should allow for scaling to deep quantum circuits operating on thousands of neutral atom qubits. These upgrades can be additionally supplemented by more sophisticated local singlequbit control employing, for example, parallel Raman excitation through acoustooptic modulator arrays^{16}. Midcircuit readout can be implemented by moving ancillas into a separate zone and imaging using, for example, avalanche photodiode arrays within a few hundred microseconds^{45}.
Our method has a clear potential for realizing scalable QEC^{46}. For example, the procedure demonstrated in Fig. 3c can be used for syndrome extraction in a practical QEC sequence, wherein ancillas are entangled with their data qubit neighbours and then moved to a separate zone for midcircuit readout. We estimate that an entire QEC round can be implemented within a millisecond, much faster than the measured T_{2} > 1 s, and with projected fidelity improvements theoretically surpassing the surface code threshold (Methods). We emphasize that such a midcircuit readout is essential for realizing scalable faulttolerant quantum computation. Furthermore, the ability to reconfigure and interlace our arrays will allow efficient, parallel execution of transversal entangling gates between many logical qubits^{38,47}. In addition, these techniques also enable implementation of higherdimensional or nonlocal errorcorrecting codes with more favourable properties^{48,49}. Together, these ingredients could enable an approach to universal, faulttolerant quantum computing with thousands of physical qubits.
Our dynamically reconfigurable architecture also opens many opportunities for digital and analogue quantum simulations. For example, our hybrid approach can be extended to probing the entire entanglement spectrum^{50}, simulating wormhole creation^{51}, performing manybody purification^{52} and engineering nonequilibrium states^{53}. Entanglement transport could also empower metrological applications such as creating distributed states for probing gravitational gradients^{54}. Finally, our approach can facilitate quantum networking between separated arrays, paving the way towards largescale quantum information systems^{29,55} and distributed quantum metrology^{54,56}.
Methods
Dynamic reconfiguration in 2D tweezer arrays
Our experiments utilize the same apparatus described previously in ref. ^{25}. Inside our vacuum cell, ^{87}Rb atoms are loaded from a magnetooptical trap into a backbone array of programmable optical tweezers generated by an SLM^{57}. Atoms are rearranged in parallel into defectfree target positions in this SLM backbone^{57} by additional optical tweezers generated from a crossed 2D AOD. Following the rearrangement procedure, we transfer selected atoms from the static SLM traps back into the mobile AOD traps, and then move these mobile atoms to their starting positions in the quantum circuit. During this entire process, the atoms are cooled with polarizationgradient cooling. Before running the quantum circuit, we take a camera image of the atoms in their initial starting positions, and following the circuit we take a final camera image to detect qubit states 0⟩ (atom presence) and 1⟩ (atom loss, following resonant pushout). We postselect all data on finding perfect rearrangement of the AOD and SLM atoms before running the circuit. In all experiments here, each atom remains in a single static or single mobile trap throughout the duration of the quantum circuit^{20,58,59}.
The crossed AOD system is composed of two independently controlled AODs (AA Opto Electronic DTSX400) for x and y control of the beam positions. Both AODs are driven by independent arbitrary waveforms, which are generated by a dualchannel arbitrary waveform generator (M4i.6631x8 by Spectrum Instrumentation) and then amplified through independent MW amplifiers (Minicircuits ZHL5W1). The timedomain arbitrary waveforms are composed of multiple frequency tones corresponding to the x and y positions of columns and rows, which are independently changed as a function of time for steering around the AODtrapped atoms dynamically; the full x and y waveforms are calculated by adding together the timedomain profile of all frequency components with a given amplitude and phase for each component. For running quantum circuits, we program the positions of the AOD atoms at each gate location and then smoothly interpolate (with a cubic profile) the AOD frequencies as a function of time between gate positions. The cubic profile enacts a constant jerk onto the atoms, which allows us to move roughly fivetotentimes faster (without heating and loss) than if we move at a constant velocity (linear profile). In our movement protocol, we only do stretches, compressions and translations of the AOD trap array: that is, the AOD rows and columns never cross each other to avoid atom loss and heating associated with two frequency components crossing each other.
We homogenize the AOD tweezer intensity throughout the whole atom trajectory to minimize dephasing induced by a timevarying magnitude of differential light shifts. To this end, we use a reference camera in the image plane to gauge the intensity of each AOD tweezer at each gate location and homogenize by varying the amplitude of each frequency component; during motion between two locations, we interpolate the amplitude of each individual frequency component.
The SLM tweezer light (830 nm) and the AOD tweezer light (828 nm) are generated by two separate, freerunning titanium:sapphire lasers (M Squared, 18W pump). Projected through a 0.5 numerical aperture objective, the SLM tweezers have a waist of roughly 900 nm (roughly 1,000 nm for AODs). When loading the atoms, the trap depths are about 2π × 16 MHz, with radial trap frequencies of about 2π × 80 kHz, and when running quantum circuits the trap depths are about 2π × 4 MHz, with radial trap frequencies of about 2π × 40 kHz.
Raman laser system
Fast, highfidelity singlequbit manipulations are critical ingredients of the quantum circuits demonstrated in this work. To this end, we use a highpower 795nm Raman laser system for driving global singlequbit rotations between magnetic sublevel m_{F} = 0 clock states. This Raman laser system is based on dispersive optics, developed and described in ref. ^{26}. The 795nm light (Toptica TA pro, 1.8 W) is phasemodulated by an electrooptic modulator (Qubig), which is driven by microwaves at 3.4 GHz (Stanford Research Systems SRS SG384) that are doubled to 6.8 GHz and amplified. The laser phase modulation is converted to amplitude modulation for driving Raman transitions through use of a chirped Bragg grating (Optigrate)^{26}. IQ (inphase and quadrature) control of the SG384 is used for frequency and phase control of the microwaves, which are imprinted onto the laser amplitude modulation and thus give us direct frequency and phase control over the hyperfine qubit drive.
The Raman laser illuminates the atom plane from the side in a circularly polarized elliptical beam with waists of 40 μm and 560 μm on the thin axis and the tall axis, respectively, with a total average optical power of 150 mW on the atoms. The large vertical extent ensures <1% inhomogeneity across the atoms, and shottoshot fluctuations in the laser intensity are also <1%. For Figs. 1–3, we operate our Raman laser at a bluedetuned intermediatestate detuning of 180 GHz, resulting in twophoton Rabi frequencies of 1 MHz and an estimated scattering error per π pulse of 7 × 10^{−5} (that is, 1 scattering event per 15,000 π pulses)^{26}. For Fig. 4, to shorten the duration of the coherent mapping pulse sequence, we increase the Raman laser power and operate at a smaller bluedetuned intermediatestate detuning of 63 GHz, with a corresponding twophoton Rabi frequency of 3.2 MHz and an estimated scattering error per π pulse of 2 × 10^{−4}.
Robust singlequbit rotations
For almost all singlequbit rotations in this work (other than XY8 and XY16 selfcorrecting sequences), we implement robust singlequbit rotations in the form of composite pulse sequences. These composite pulse sequences are well known in the NMR community^{27,60} and can be highly insensitive to pulse errors such as amplitude or detuning miscalibrations. Our dominant source of coherent singlequbit errors arise from ≲1% amplitude drifts and inhomogeneity across the array; as such, we primarily use the ‘BB1’ (broadband 1) pulse sequence, which is a sequence of four pulses that implements an arbitrary rotation on the Bloch sphere while being insensitive to amplitude errors to sixth order^{27,60}. We benchmark the performance of these robust pulses in Extended Data Fig. 3a. Furthermore, by applying a train of BB1 pulses, we find an accumulated error consistent with the estimated scattering limit (not plotted here), suggesting that the scattering limit roughly represents our singlequbit rotation infidelities (about 3 × 10^{−4} error per BB1 pulse owing to the increased length of the composite pulse sequence). Randomized benchmarking^{61} can be applied in future studies to further study singlequbit rotation fidelity.
Qubit coherence and dynamical decoupling
In our 830nm traps, hyperfine qubit coherence is characterized by inhomogeneous dephasing time \({T}_{2}^{\ast }\) = 4 ms (not plotted here), T_{2} = 1.5 s (XY16 with 128 total π pulses) and relaxation time T_{1} = 4 s (including atom loss) (Extended Data Fig. 3b, c). All of our experiments in this work are performed in a d.c. magnetic field of 8.5 G. Coherence can be further improved by using furtherdetuned optical tweezers (with trap depth held constant, the tweezer differential lightshifts decrease as 1/Δ and 1/T_{1} decreases as 1/Δ^{3} (ref. ^{62}), where Δ is the detuning of the trap wavelength) and shielding against magnetic field fluctuations. For practical QEC operation, atom loss can be detected in a hardwareefficient manner^{46} and the atom then replaced from a reservoir, which could in principle be continuously reloaded by a magnetooptical trap for reaching arbitrarily deep circuits.
All of our transport sequences^{20,58,59} are accompanied by dynamical decoupling sequences. The number of pulses we use is a tradeoff between preserving qubit coherence while minimizing pulse errors. We interchange between two types of dynamical decoupling sequence: XY8 and XY16 sequences, composed of phasealternated individual π pulses that are selfcorrecting for amplitude and detuning errors^{28,63}, and Carr–Purcell–Meiboom–Gill (CPMG)type dynamical decoupling sequences composed of robust BB1 pulses. The CPMGBB1 sequence is more robust to amplitude errors but incurs more scattering error. We empirically optimize for any given experiment by choosing between these different sequences and a variable number of decoupling π pulses, optimizing on either singlequbit coherence (including the movement) or the final signal. Typically, our decoupling sequences are composed of a total 12–18 π pulses.
Movement effects on atom heating and loss
We study here the effects of movement on atom loss and heating in the harmonic oscillator potential given by the tweezer trap. Motion of the trap potential is equivalent to the noninertial frame of reference where the harmonic oscillator potential is stationary but the atom experiences a fictitious force given by F(t) = −ma(t), where m is the mass of the particle and a(t) is the acceleration of the trap as a function of time^{64,65}. By following ref. ^{66} (equation 5.4), we find the average vibrational quantum number increase ΔN is given by
where \(\tilde{a}({\omega }_{0})\) is the Fourier transform of a(t) evaluated at the trap frequency ω_{0}, and the zeropoint size of the particle \({x}_{{\rm{zpf}}}\equiv \sqrt{\hbar /(2m{\omega }_{0})}\), where \(\hbar \) is the reduced Planck constant. ΔN is the same for all initial levels of the oscillator^{66}. Experimentally, we apply an acceleration profile a(t) = jt to the atom, from time −T/2 to +T/2 to move a distance D with constant jerk j. We calculate \(\tilde{a}(\omega ){}^{2}\), simplify using ω_{0}T ≫ 1, and assume a small range of trap frequencies to average the oscillatory terms, resulting in
Several relevant insights can be gleaned from this formula. First, this expression indicates our ability to move large distances D with comparably small increases in time T. Furthermore, to maintain a constant ΔN, the movement time \(T\propto {\omega }_{0}^{3/4}\). Moreover, to perform a large number of moves k for a deep circuit, we can estimate ΔN ∝ k/T^{4}, suggesting that we can increase our number of moves from, for example, 5 to 80 by slowing each move from 200 μs to 400 μs. Move speed could be further improved with different a(t) profiles, but inevitably with finite resources such as trap depth, quantum speed limits will eventually prevent arbitrarily fast motion of qubits across the array^{30}.
We now compare equation (2) with our experimental observations. In Fig. 1d we start to observe atom loss when we move 55 μm in 200 μs under a constant negative jerk. This speed limit is consistent with our above estimates: using ω_{0} = 2π × 40 kHz and x_{zpf} = 38 nm, we predict ΔN ≈ 6 for this move, corresponding to the onset of tangible heating at this move speed. More quantitatively, we assume a Poisson distribution with mean N and variance N and integrate the population above some critical N_{max} upon which the atom will leave the trap. From this analysis we find atom retention is given by \(\frac{1}{2}(1+{\rm{erf}}[({N}_{{\rm{\max }}}N)/\sqrt{2N}])\).
Extended Data Fig. 2a, b measures the atom retention as a function of move time T and trap frequency ω_{0}/2π. Using the functional form above, for both sets of measurements, we extract an N_{max} of about 30, corresponding to adding about 30 excitations before exciting the atom out of the trap. Such a limit is physically reasonable as the absolute trap depth of 4 MHz implies only about 100 levels, the atom starts at finite temperature, and moreover the effective trap frequency reduces once the anharmonicity of the trap starts to play a role. We note that these estimates are only approximate (we roughly estimate ω_{0} for the trap depths used during the motion), but nonetheless suggests our motion limit is consistent with physical limits for our chosen a(t). Our analysis here also neglects the acoustic lensing effects associated with ramping the AOD frequency, which causes astigmatism by focusing one axis to a different plane and thus deforms the trap and reduces the peak trap intensity (and ω_{0}) as given by the Strehl ratio.
Additional heating and loss during the circuit can also be caused by repeated short drops for performing twoqubit gates, where the tweezers are briefly turned off to avoid antitrapping of the Rydberg state and light shifts of the ground–Rydberg transition. However, drop–recapture measurements in Extended Data Fig. 2c suggest that the 500ns drops we use experimentally have a negligible effect until hundreds of drops per atom (corresponding to hundreds of CZ gates). We find that atom loss and heating as a function of number of drops are well described by a diffusion model, which would then predict that reducing atom temperature by a factor of 2× (reducing thermal velocity by \(\sqrt{2}\times \)) and reducing the drop time t_{drop} by 2×, together would increase the number of possible CZ gates per atom to thousands.
Twoqubit CZ gates implementation
We implement our twoqubit gates and calibrations following ref. ^{5}. Specifically, the twoqubit CZ gate is implemented by two global Rydberg pulses, with each pulse at detuning Δ and length τ, and with a phase jump ξ between the two pulses. The pulse parameters are chosen such that qubit pairs, adjacent and under the Rydberg blockade constraint, will return from the Rydberg state back to the hyperfine qubit manifold with a phase depending on the state of the other qubit. The numerical values for these pulse parameters are:
For our experiments in Figs. 1–3, we operate with a twophoton Rydberg Rabi frequency of Ω/2π = 3.6 MHz, giving a theoretical τ = 190 ns and a theoretical Δ/(2π) = −1.36 MHz. We choose the negative detuning sign to help minimize excitation into the m_{j} = +1/2 Rydberg state (m_{j} denotes magnetic sublevel of the 70S_{1/2} Rydberg state), which is detuned by about 24 MHz under the field of 8.5 G (and experiences a threetimes lower coupling to the Rydberg laser than the desired m_{j} = −1/2 state owing to reduced Clebsch–Gordan coefficients). In this work, we operate with strong blockade between adjacent qubits, with Rydberg–Rydberg interactions V_{0}/2π ranging from 200 MHz to 1 GHz. In Fig. 4, we operate with Ω/2π = 4.45 MHz for the twoqubit gates.
Managing spurious phases during CZ gates
The twoqubit gate from ref. ^{5} induces both an intrinsic singlequbit phase, as well as spurious phases that are primarily induced by the differential light shift from the 420nm laser. Under certain configurations, the 420nminduced differential light shift on the hyperfine qubit can be exceedingly large (>8 MHz), yielding phase accumulations on the hyperfine qubit of about 6π. Small, percentlevel variations of the 420nm intensity can thus lead to significant qubit dephasing.
Reference ^{5} addresses this 420inducedphase issue by performing an echo sequence: after the CZ gate, the 1,013nm Rydberg laser is turned off, a Raman π pulse is applied and then the 420nm laser is pulsed again to cancel the phase induced by the 420 light during the CZ gate. This method echoes out the 420induced phase, but comes at a cost of a factor of two increase in the 420induced scattering error, which is the dominant source of error in our twoqubit CZ gates.
Echo between CZ gates
To address these various issues, here we perform a Raman π pulse between each CZ gate to echo out spurious gateinduced phases on the hyperfine qubit (Extended Data Fig. 1). This approach has several advantages. The 420induced phase is now cancelled by pairs of CZ gates, without explicitly applying additional 420nm pulses to echo each individual CZ gate, thereby reducing the scattering error of the CZ gate in this work by a factor of approximately two. We estimate that this echo technique, having reduced the scattering error incurred during each gate, roughly compensates the increased scattering rate incurred by spreading our optical power over more space in 2D, thereby giving us comparable gate fidelites to the twoqubit CZ gate fidelities of ≥97.4(2)% reported in ref. ^{5}. Furthermore, the echo between CZ gates also cancels the intrinsic singlequbit phase of the CZ gate, removing errors in the calibration of this parameter, as well as cancelling any other gateinduced spurious singlequbit phases such as a roughly 0.01rad phase induced by pulsing the traps off for 500 ns for the twoqubit gate (Extended Data Fig. 1). In instances where the number of CZ gates we apply is odd, we perform the echo for the final CZ gate.
Sign of intermediatestate detuning
To further suppress the effect of the spurious, 420induced phase, we operate our 420nm laser to be reddetuned (by 2 GHz) from the 6P_{3/2} transition. For red detunings, the light shift on the 0⟩ state and the 1⟩ state are of the same sign, minimizing the differential light shift, whereas for blue detunings <6.8 GHz, the light shift on the 0⟩ state and the 1⟩ state have opposite signs and amplify the differential light shift.
Sensitivity to axial trap oscillations
In typical Rydberg excitation timescales with optical tweezers, the axial trap oscillation frequencies of several kilohertz are inconsequential. Here with our circuits running as long as 1.2 ms, with Rydberg pulses throughout, we find that the axial trap oscillations can have important effects. In particular, the axial oscillations cause the atoms to make oscillations in and out of the Rydberg beams: at our estimated axial temperature of about 25 μK and axial oscillation frequency of 6 kHz, we estimate an axial spread \(\sqrt{\langle {z}^{2}\rangle }\approx 1{\rm{.3}}\,{\rm{\mu }}{\rm{m}}\). For our 20μmwaist beams, the effect of this positional spread is relatively small on the pulse parameters of the CZ gate, but can be significant on the sensitive 420induced phase we seek to cancel by echoing out the phase induced by CZ gates separated by about 200 μs (see previous section). When using 20μmwaist beams, and a 2.5GHz blue detuning of our 420nm laser, we find that the dephasing due to the axial trap oscillations is significant (Extended Data Fig. 4). To remedy this deleterious effect, we increase the beam waist of our 420nm laser to 35 μm (while maintaining constant intensity) and change the laser frequency to be 2GHz reddetuned, together resulting in a significant reduction in the dephasing associated with improper echoing of the 420nm pulse.
Bellstate preparation and fidelity
In Fig. 1, we prepare the Φ^{+}⟩ Bell state in the same way that is done in ref. ^{5}. After initializing a pair of qubits in 00⟩, we apply X(π/2) pulse–CZ gate–X(π/4) pulse. We calculate and plot the raw resulting fidelity of this Φ^{+}⟩ Bell state as the sum of populations in 00⟩ and 11⟩, averaged with the fitted amplitude of parity oscillations (example in Fig. 1c), which measures the offdiagonal coherences. In Fig. 1d, upon significant loss from movement, this fidelity estimate becomes skewed because we begin measuring an artificially large population in 11⟩ (as state 1⟩ is detected as loss); accordingly, we estimate the Φ^{+}⟩ population as two times the population of 00⟩ once the population difference between 11⟩ and 00⟩ becomes greater than 0.1 (an arbitrary cutoff where the effects of loss start to become significant). In Fig. 1d, for moves slower than 300 μs, we achieve an average raw Bellstate fidelity after the moving of 94.8(2)%. If we do not move or attempt to preserve coherence for 500 μs (that is, if we measure immediately after preparing the Bell state), then we measure a raw Bellstate fidelity of 95.2(1)% (not plotted here), consistent with the results in ref. ^{5}.
Analysis of error sources
We detail here some of our measured and estimated sources of error for an entire sequence (toric code preparation in particular, our deepest circuit). We find the total singlequbit fidelity after performing the entire sequence is roughly 96.5% for the toric code circuit, which we measure by embedding the entire experiment in a Ramsey sequence: that is, we perform a Raman π/2 pulse, do all motion and decoupling, and then do a final π/2 pulse with variable phase to measure total contrast. We are able to account for our singlequbit fidelity quantitatively as being composed of our known singlequbit errors in Extended Data Fig. 6c.
Estimated contributions to twoqubit gate error are summarized in Extended Data Fig. 6c. These estimates come from numerical simulations in QuTiP (version 4.5.0) with experimental parameters. The effects of intermediate state scattering and Rydberg decay are included via collapse operators in the Lindblad master equation solver. Other error contributions include finitetemperature random Doppler shifts and position fluctuations, as well as laser pulsetopulse fluctuations, all of which are simulated using classical Monte Carlo sampling of experiment parameters. Experimental parameters used for the simulations are as follows: blue and red Rabi frequencies (Ω_{b}, Ω_{r}) = 2π × (160, 90) MHz, 6P_{3/2} intermediate state detuning of 2 GHz, intermediate state lifetime of 110 ns, 70S_{1/2} Rydberg state lifetime of 150 μs, Rydberg blockade energy of 500 MHz, splitting to second Rydberg state of 24 MHz, radial and axial trap frequencies (ω_{r}, ω_{z}) = 2π × (40, 6) kHz, and temperature T = 20 μK. We can also use this modelling to project for future performance; by assuming a 10 times increase in available 1,013nm intensity and that atoms are cooled to a temperature of 2 uK, we project a possible CZ gate fidelity of 99.7%, beyond the surface code threshold^{38,67}. Alkalineearth atoms could also offer other routes to highfidelity operations for QEC^{68,69,70}.
To understand how our various singlequbit and twoqubit errors contribute to our graphstate fidelities, we perform a stochastic simulation of the quantum circuit used for graphstate preparation (Extended Data Fig. 6a, b). We utilize the Clifford properties of our circuit, allowing for efficient numerical evaluation and random sampling of many possible error realizations. The simulation is performed under a realistic error model, where the rates of ambient depolarizing noise and atom loss are measured in the experiment (Extended Data Fig. 6c). The resulting stabilizer and logical qubit expectation values agree well with those measured experimentally.
Rydberg beam shaping and homogeneity
We shape our Rydberg beams into tophats of variable size through wavefront control using the phase profile on an SLM^{25}. This ability allows us to match the height of our beam profile to the experiment zone size of any given experiment, thereby maximizing our 1,013nm light intensity and CZ gate fidelities. We optimize our Rydberg beam homogeneity until peaktopeak inhomogenities are below <1%. To this end, we correct all aberrations up to the window of our vacuum chamber, as done in ref. ^{25}, which yields an inhomogeneity on the atoms of several per cent that we attribute to imperfections of the final window. To further optimize the homogeneity, we empirically tune aberration corrections on the tophat through Zernike polynomial corrections to the phase profile in the SLM plane (Fourier plane). With this procedure, we reduce peaktopeak inhomogeneities to <1% over a range of 40–50 μm in the atom plane.
Creation and optimization of graph layouts
We outline here a description of how we optimize our graph layouts for the cluster state, Steane code, surface code and toric code preparation. Our optimization in this work is heuristic, and future work can develop appropriate algorithms for designing optimal circuits through atom spatial arrangement and AOD trajectories. Extended Data Fig. 5 shows all of the graphs we create and the process for creating them. There are several parameters we optimize for. (1) Minimize the number of parallel twoqubit gate layers. (2) Minimize the total move distance for the moving atoms. (3) Have all moving atoms in one sublattice (all graphs realized here are bipartite) to facilitate the final local rotation of one sublattice. (4) Minimize the vertical extent of the array and the number of distinct rows (to maximize 1,013nm light intensity and minimize sensitivity to beam inhomogeneity between the rows). (5) When ordering gates, apply twoqubit gates as early as possible in the circuit. If a gate layer induces a bitflip (X error) then that error can propagate during subsequent gates (becoming a Z error on the other qubit), so gates should be in the earliest layer possible.
Local (sublattice) hyperfine rotations
We perform local rotations in the hyperfine basis by use of our horizontally propagating 420nm beam, which imposes a differential light of several megahertz on the hyperfine qubit and can thus be used for realizing a fast Z rotation. To realize the local Y(π/2) rotation used throughout this work, we move one sublattice of atoms out of the 420nm beam, then apply [global Y(π/4)]–[local Z(π)]–[global Y(π/4)]. This realizes a Y(π/2) rotation on one sublattice and a Z(π) rotation on the other sublattice (which is inconsequential as it then commutes with the immediately following measurement in the Z basis). To apply a Y(π/2) on the other sublattice of atoms, we add an additional global Z(π) (implemented by jumping the Raman laser phase) between the two Y(π/4) pulses. Future experiments will benefit from an additional set of locally focused beams for performing local Raman control of hyperfine qubit states, but we find that moving atoms works so efficiently (even for moving >50 μm to move out of the 420nm beam) that this approach is well suited for producing a highfidelity, homogeneous rotation on roughly half the qubits.
Local Rydberg initialization
We perform local Rydberg control to initialize the ℤ_{2}⟩ = rgrg...⟩ ≡ r1r1...⟩ state for studying the dynamics of manybody scars. We achieve this local initialization by applying approximately 50MHz light shifts between 1⟩ and r⟩ using 810nm tweezers generated by an SLM onto a desired subset of sites, and then apply a global Rydberg π pulse, which excites the nonlightshifted atoms. We use this approach here to prepare every other atom in each chain into r⟩, but emphasize that as the locations of the SLM tweezers are fully programmable, this technique can be used to prepare any initial blockadesatisfying configuration of atoms in 1⟩ and r⟩.
The 50MHz biasing light shift is significantly larger than the Rydberg Rabi frequency Ω/2π = 4.45 MHz, leading to a Rydberg population on undesired sites of <1%. The t = 0 time point of Extended Data Fig. 10b shows the highfidelity preparation of the ℤ_{2}⟩ state using this approach. We note that with 810nm light, even though the achieved biasing light shift is significant, the Ramanscatteringinduced T_{1} (of the hyperfine qubit) is still about 50 ms and thus leads to a scattering error ≲4 × 10^{−6} during the 200ns pulse of the lightshifting tweezers. There can also be a motional effect from the biasing tweezers, with an estimated radial trapping frequency of 150 kHz, which we also deem to be negligible during the 200ns pulse.
Rydberg Hamiltonian
In Fig. 4, we study dynamics under the manybody Rydberg Hamiltonian
where \(\hbar \) is the reduced Planck constant, Ω is the Rabi frequency, Δ is the laser frequency detuning, n_{i} = r_{i}⟩⟨r_{i} is the projector onto the Rydberg state at site i and \({\sigma }_{i}^{x}={1}_{i}\rangle \langle {r}_{i}+{r}_{i}\rangle \langle {1}_{i}\)flips the atomic state. For the entanglement entropy measurements in this work, we choose lattice spacings where the nearestneighbour interaction V_{0} > Ω results in the Rydberg blockade, preventing adjacent atoms from simultaneously occupying r⟩. In particular, the manybody experiments are performed on eightatom chains, quenching to a timeindependent H_{Ryd} with V_{0}/2π = 20 MHz, Ω/2π = 3.1 MHz and Δ/2π = 0.3 MHz. Quenching to small, positive Δ = 0.0173V_{0} partially suppresses the alwayspositive longrange interactions and thereby is optimal for scar lifetime, as derived and shown experimentally in ref. ^{71}.
Coherent mapping protocol
As described in the text, we implement a coherent mapping protocol to transfer a generic manybody state in the {1⟩, r⟩} basis to the longlived and noninteracting {0⟩, 1⟩} basis. To achieve this mapping, immediately following the Rydberg dynamics we apply a Raman π pulse to map 1⟩ → 0⟩, and then a subsequent Rydberg π pulse to map r⟩ → 1⟩ (ref. ^{72}).
Even for perfect Raman and Rydberg π pulses (on isolated atoms), there are three key sources of infidelity associated with this mapping process. (1) Any population in blockadeviolating states (that is, two adjacent atoms both in r⟩) will be strongly shifted offresonance for the final Rydberg π pulse. As such, this atomic population will be left in the Rydberg state and lost. (2) Longrange interactions, for example, from nextnearest neighbours, will detune the final Rydberg π pulse from resonance and thus reduce pulse fidelity. As the longrange interactions are not the same for all manybody microstates, this effect cannot be mitigated by a simple shift of the detuning. (3) Dephasing of the state occurs throughout the duration of the Raman π pulse, predominantly from Doppler shifts between the ground states 0⟩ and 1⟩ and the Rydberg state r⟩. Although these random onsite detunings are also present during the manybody dynamics, turning the Rydberg drive Ω off allows the system to freely accumulate phase and makes us particularly sensitive to dephasing errors.
We now detail our mitigation of the above error mechanisms. To minimize errors from (1), we perform our manybody dynamics with \({\Omega }^{2}/(2{V}_{0}^{2})\approx 0.01\). This minimizes the probability of an atom to violate blockade to be of order 1%. To help minimize errors from (2), we increase the amplitude of the 420nm laser for the final π pulse by a factor of 2×, such that (V_{NNN}/Ω)^{2} = 0.005 (where V_{NNN} is the interactions with nextnearest neighbours), reducing pulse errors from longrange interactions to order 1%. Finally, to reduce errors from (3), we perform a fast Raman π pulse and leave only 150 ns between ending the manybody Rydberg dynamics and beginning the Rydberg π pulse. The 150ns gap is comparably short relative to the \({T}_{2}^{\ast }\) ≈ 3–4 μs of the {g⟩, r⟩} basis, leading to a random phase accumulation of the order of about 0.02 × 2π rad per particle, but is further compounded by having entangled states of N particles in one copy accumulating a random phase relative to entangled states of N particles in the second copy. We study these various effects numerically in Extended Data Fig. 9c.
Finally, we note that the global Raman beam induces a lightshiftinduced phase shift of about π on 0⟩ and 1⟩ relative to r⟩ during the Raman π pulse. Similarly, the global 420nm laser also induces a lightshiftinduced phase shift of about π between 0⟩ and 1⟩ during the Rydberg π pulse. Although the measurements we perform here are interferometric (in other words, the singlet state we measure is invariant under global rotations) and thus not affected by these global phase shifts, in future work these phase shifts can be measured and accounted for where relevant.
Measuring entanglement entropy
The secondorder Renyi entanglement entropy is given by \({S}_{2}({\rm{A}})=\) \({\log }_{2}{\rm{Tr}}\,[{\rho }_{{\rm{A}}}^{2}]\), where \({\rm{Tr}}[{\rho }_{{\rm{A}}}^{2}]\) is the state purity of reduced density matrix ρ_{A} on subsystem A. The purity can be measured with two copies by noticing that \({\rm{Tr}}\,[{\rho }_{{\rm{A}}}^{2}]={\rm{Tr}}\,[\hat{{\bf{S}}}{\rho }_{{\rm{A}}}\otimes {\rho }_{{\rm{A}}}]\) is the expectation value of the manybody SWAP operator \(\hat{{\bf{S}}}\) (ref. ^{10,11}). The manybody SWAP operator is composed of individual SWAP operators \({\hat{{\bf{s}}}}_{i}\) on each twin pair, that is, \(\hat{{\bf{S}}}={\Pi }_{i}{\hat{{\bf{s}}}}_{i}\) (with i ∈ A). Measuring this expectation value amounts to probing occurences of the singlet state \(\frac{01\rangle 10\rangle }{\sqrt{2}}\) (with eigenvalue −1 under \({\hat{{\bf{s}}}}_{i})\), as all other \({\hat{{\bf{s}}}}_{i}\) eigenstates have eigenvalue +1. Occurences of the singlet state in each twin pair, that is, the Bell state Ψ^{−}⟩, is extracted by a Bell measurement circuit (with an additional local Z(π), see next paragraph), which maps Ψ^{−}⟩ → 00⟩ and can thereafter be measured in the computational basis. As such, after performing the Bell measurement circuit, we analyse the resulting bitstring outputs and calculate the purity of any subsystem A by calculating \(\langle {\Pi }_{\mathrm{i\in A}}{\hat{{\bf{s}}}}_{i}\rangle \): that is, we measure purity as the average parity = ⟨(−1)^{observed 00⟩ pairs}⟩ within A. In the absence of experimental imperfections, the purity will equal 1 for the whole system, and be less than 1 for subsystems that are entangled with the rest of the system.
A Bell measurement circuit can be decomposed into applying an X(π/2) rotation on one atom of the twin pair, then applying a CZ gate and then a global X(π/2) rotation. In other measurements, we realize a local X(π/2) by doing a global X(π/4) rotation, then local Z(π) rotation and then global X(π/4). However, we note that for this singlet measurement circuit, the first X(π/4) is redundant as the singlet state is invariant under global rotations, and so for the local X(π/2) we only apply the local Z(π) and then the second global X(π/4). This effectively realizes the X(π/2) on one qubit, up to a Z(π) on the other qubit (not shown in circuit diagram in Fig. 4). Under this simplification, the Bell measurement circuit to map Ψ^{−}⟩ → 00⟩ can be roughly understood as the reverse of the Bellstate preparation circuit in ref. ^{5}, which is precisely how we calibrate the parameters of the Bell measurement.
Calibrating and benchmarking the interferometry
To validate the interferometry measurement (and check for proper calibration), we benchmark it separately from the manybody dynamics and coherent mapping protocol. We perform this benchmarking by preparing independent qubits in identical, variable singlequbit superpositions (through a global Raman pulse of variable time) and ensuring that the interferometry rarely results in 00⟩ for all the variable initial product states (Extended Data Fig. 8a). We find this is an important benchmarking step, because we find that small miscalibrations of the Bell measurement can lead to lower fidelity (that is, higher entropy) for different initial product states and thereby result in additional spurious signals in an entanglement entropy measurement. We note that this measurement is particularly sensitive to the singlequbit phase immediately before the final X(π/2) pulse (induced by the CZ gate and cancelled by a global Z(θ) pulse).
Additional manybody data and details
To benchmark our method of measuring entanglement entropy in a manybody system, in Extended Data Fig. 8b we study the entanglement dynamics after initializing two proximal atoms in 1⟩ and resonantly exciting to the Rydberg state for a variable time t. Under conditions of Rydberg blockade, this excitation results in twoparticle Rabi oscillations between 11⟩ and the entangled state \(W\rangle =\frac{1}{\sqrt{2}}(1r\rangle +r1\rangle )\) (top panel of Extended Data Fig. 8b)^{3,13,72}. The state purity of this twoparticle system is measured by performing Bell measurements on atom pairs from two identical copies. Locally, the measured purity of the oneparticle subsystem reduces to a value of about 0.5 when the system enters the maximally entangled W⟩ state, at which point the reduced density matrix of each individual atom is maximally mixed. In contrast, the purity of the global, twoparticle state remains high. The observation that the globalstate purity is higher than the localsubsystem purity is a distinct signature of quantum entanglement^{11,12}.
For the data shown in Fig. 4c, e, we subtract the data by an extensive classical entropy as is done in ref. ^{12}. This fixed, timeindependent offset is given by the entropy per particle, that is, (global entropy at quench time t = 0) × (subsystem size)/(global system size). In Extended Data Fig. 9a, we show the raw entanglement entropy measurements alongside numerics, to indicate the size of the extensive classical entropy contribution. In plotting, we also delay the theory curves by 10 ns to account for the fact that the Raman π pulse cuts off the final 10 ns of the Rydberg evolution, which is done to keep the coherent mapping gap as short as possible and minimize Doppler dephasing. Furthermore, in Extended Data Fig. 9b we plot the measured global purity and compare it with numerical simulations incorporating experimental errors (Extended Data Fig. 9c).
In Extended Data Fig. 10, we show additional manybody data on the eightatom chain system, with the same parameters as those used in the main text. We show the measured singlesite entropy of each site in the eightatom chain for the ℤ_{2}⟩ quench in Extended Data Fig. 10a. Furthermore, in Extended Data Fig. 10b, we plot the global Rydberg population, measured in both the {1⟩, r⟩} basis and the {0⟩, 1⟩} basis.
Data availability
The data that supports the findings of this study are available from the corresponding author on reasonable request.
References
Cirac, J. I. & Zoller, P. A scalable quantum computer with ions in an array of microtraps. Nature 404, 579–581 (2000).
Preskill, J. Quantum Computing in the NISQ era and beyond. Quantum 2, 79 (2018).
Jaksch, D. et al. Fast quantum gates for neutral atoms. Phys. Rev. Lett. 85, 2208–2211 (2000).
Urban, E. et al. Observation of Rydberg blockade between two atoms. Nat. Phys. 5, 110–114 (2009).
Levine, H. et al. Parallel implementation of highfidelity multiqubit gates with neutral atoms. Phys. Rev. Lett. 123, 170503 (2019).
Nigg, D. et al. Quantum computations on a topologically encoded qubit. Science 345, 302–305 (2014).
RyanAnderson, C. et al. Realization of realtime faulttolerant quantum error correction. Phys. Rev. 11, 041058 (2021).
Satzinger, K. J. et al. Realizing topologically ordered states on a quantum processor. Science 374, 1237–1241 (2021).
Kitaev, A. Y. Faulttolerant quantum computation by anyons. Ann. Phys. 303, 2–30 (2003).
Daley, A. J., Pichler, H., Schachenmayer, J. & Zoller, P. Measuring entanglement growth in quench dynamics of bosons in an optical lattice. Phys. Rev. Lett. 109, 020505 (2012).
Islam, R. et al. Measuring entanglement entropy in a quantum manybody system. Nature 528, 77–83 (2015).
Kaufman, A. M. et al. Quantum thermalization through entanglement in an isolated manybody system. Science 353, 794–800 (2016).
Bernien, H. et al. Probing manybody dynamics on a 51atom quantum simulator. Nature 551, 579–584 (2017).
Turner, C. J., Michailidis, A. A., Abanin, D. A., Serbyn, M. & Papić, Z. Weak ergodicity breaking from quantum manybody scars. Nat. Phys. 14, 745–749 (2018).
Molmer, K. & Sorensen, A. Multiparticle entanglement of hot trapped ions. Phys. Rev. Lett. 82, 1835 (1999).
Wright, K. et al. Benchmarking an 11qubit quantum computer. Nat. Commun. 10, 5464 (2019).
Periwal, A. et al. Programmable interactions and emergent geometry in an array of atom clouds. Nature 600, 630–635 (2021).
Majer, J. et al. Coupling superconducting qubits via a cavity bus. Nature 449, 443–447 (2007).
Mandel, O. et al. Coherent transport of neutral atoms in spindependent optical lattice potentials. Phys. Rev. Lett. 91, 010407 (2003).
Beugnon, J. et al. Twodimensional transport and transfer of a single atomic qubit in optical tweezers. Nat. Phys. 3, 696–699 (2007).
Monroe, C. et al. Largescale modular quantumcomputer architecture with atomic memory and photonic interconnects. Phys. Rev. A 89, 022317 (2014).
Wu, T.Y., Kumar, A., Giraldo, F. & Weiss, D. S. Stern–Gerlach detection of neutralatom qubits in a statedependent optical lattice. Nat. Phys. 15, 538–542 (2019).
Pompili, M. et al. Realization of a multinode quantum network of remote solidstate qubits. Science 372, 259–264 (2021).
Pino, J. M. et al. Demonstration of the trappedion quantum CCD computer architecture. Nature 592, 209–213 (2021).
Ebadi, S. et al. Quantum phases of matter on a 256atom programmable quantum simulator. Nature 595, 227–232 (2021).
Levine, H. et al. Dispersive optics for scalable Raman driving of hyperfine qubits. Phys. Rev. A 105, 032618 (2022).
Vandersypen, L. M. K. & Chuang, I. L. NMR techniques for quantum control and computation. Rev. Mod. Phys. 76, 1037 (2005).
Gullion, T., Baker, D. B. & Conradi, M. S. New, compensated Carr–Purcell sequences. J. Magn. Reson. 89, 479–484 (1990).
Dordević, T. et al. Entanglement transport and a nanophotonic interface for atoms in optical tweezers. Science 373, 1511–1514 (2021).
Lam, M. R. et al. Demonstration of quantum brachistochrones between distant states of an atom. Phys. Rev. X 11, 011035 (2021).
Hein, M. et al. Entanglement in graph states and its applications. In Proc. International School of Physics “Enrico Fermi” (eds Casati, G. et al.) Vol. 162, 115–218 (IOS Press, 2006).
Raussendorf, R. & Briegel, H. J. A oneway quantum computer. Phys. Rev. Lett. 86, 5188 (2001).
Schwartz, I. et al. Deterministic generation of a cluster state of entangled photons. Science 354, 434–437 (2016).
Tóth, G. & Gühne, O. Entanglement detection in the stabilizer formalism. Phys. Rev. A 72, 022340 (2005).
Raussendorf, R. & Harrington, J. Faulttolerant quantum computation with high threshold in two dimensions. Phys. Rev. Lett. 98, 190504 (2007).
Gottesman, D. An introduction to quantum error correction and faulttolerant quantum computation. Preprint at https://arxiv.org/abs/0904.2557 (2009).
Egan, L. et al. Faulttolerant control of an errorcorrected qubit. Nature 598, 281–286 (2021).
Fowler, A. G., Mariantoni, M., Martinis, J. M. & Cleland, A. N. Surface codes: towards practical largescale quantum computation. Phys. Rev. A 86, 032324 (2012).
Semeghini, G. et al. Probing topological spin liquids on a programmable quantum simulator. Science 374, 1242–1247 (2021).
Bravyi, S., Hastings, M. B. & Verstraete, F. Lieb–Robinson bounds and the generation of correlations and topological quantum order. Phys. Rev. Lett. 97, 050401 (2006).
Bolt, A., DuclosCianci, G., Poulin, D. & Stace, T. Foliated quantum errorcorrecting codes. Phys. Rev. Lett. 117, 070501 (2016).
Wilk, T. et al. Entanglement of two individual neutral atoms using Rydberg blockade. Phys. Rev. Lett. 104, 010502 (2010).
Lesanovsky, I. & Katsura, H. Interacting Fibonacci anyons in a Rydberg gas. Phys. Rev. A 86, 041601 (2012).
Kaufman, A. M., Lester, B. J. & Regal, C. A. Cooling a single atom in an optical tweezer to its quantum ground state. Phys. Rev. 2, 041014 (2012).
Shea, M. E., Baker, P. M., Joseph, J. A., Kim, J. & Gauthier, D. J. Submillisecond, nondestructive, timeresolved quantumstate readout of a single, trapped neutral atom. Phys. Rev. A 102, 053101 (2020).
Cong, I., Levine, H., Keesling, A., Bluvstein, D., Wang, S.T. & Lukin, M. D. Hardwareefficient, faulttolerant quantum computation with Rydberg atoms. Preprint at https://arxiv.org/abs/2105.13501 (2021).
Wang, C., Harrington, J. & Preskill, J. ConfinementHiggs transition in a disordered gauge theory and the accuracy threshold for quantum memory. Ann. Phys. 303, 31–58 (2003).
Bombín, H. Gauge color codes: optimal transversal gates and gauge fixing in topological stabilizer codes. New J. Phys. 17, 083002 (2015).
Breuckmann, N. P. & Eberhardt, J. N. Quantum lowdensity paritycheck codes. PRX Quantum 2, 040101 (2021).
Pichler, H., Zhu, G., Seif, A., Zoller, P. & Hafezi, M. Measurement protocol for the entanglement spectrum of cold atoms. Phys. Rev. 6, 041033 (2016).
Brown, A. R. et al. Quantum gravity in the lab: teleportation by size and traversable wormholes. Preprint at https://arxiv.org/abs/1911.06314 (2019).
Koczor, B. Exponential error suppression for nearterm quantum devices. Phys. Rev. 11, 031057 (2021).
Hashizume, T., Bentsen, G. S., Weber, S. & Daley, A. J. Deterministic fast scrambling with neutral atom arrays. Phys. Rev. Lett. 126, 200603 (2021).
Bothwell, T. et al. Resolving the gravitational redshift within a millimeter atomic sample. Nature 602, 420–424 (2022).
Fowler, A. G. et al. Surface code quantum communication. Phys. Rev. Lett. 104, 180503 (2010).
Zheng, X. et al. High precision differential clock comparisons with a multiplexed optical lattice clock. Nature 602, 425–430 (2022).
Labuhn, H. et al. Tunable twodimensional arrays of single Rydberg atoms for realizing quantum Ising models. Nature 534, 667–670 (2016).
Lengwenus, A., Kruse, J., Schlosser, M., Tichelmann, S. & Birkl, G. Coherent transport of atomic quantum states in a scalable shift register. Phys. Rev. Lett. 105, 170502 (2010).
Yang, J. et al. Coherence preservation of a single neutral atom qubit transferred between magicintensity optical traps. Phys. Rev. Lett. 117, 123201 (2016).
Wimperis, S. Broadband, narrowband, and passband composite pulses for use in advanced NMR experiments. J. Magn. Reson. A 109, 221–231 (1994).
Xia, T. et al. Randomized benchmarking of singlequbit gates in a 2D array of neutralatom qubits. Phys. Rev. Lett. 114, 100503 (2015).
Ozeri, R. et al. Errors in trappedion quantum gates due to spontaneous photon scattering. Phys. Rev. A 75, 042329 (2007).
Souza, A. M., Lvarez, G. A. & Suter, D. Robust dynamical decoupling. Phil. Trans. R. Soc. A 370, 4748–4769 (2012).
Couvert, A., Kawalec, T., Reinaudi, G. & GuéryOdelin, D. Optimal transport of ultracold atoms in the nonadiabatic regime. Europhys. Lett. 83, 13001 (2008).
Reichle, R. et al. Transport dynamics of single ions in segmented microstructured Paul trap arrays. Fortschr. Phys. 54, 666–685 (2006).
Carruthers, P. & Nieto, M. M. Coherent states and the forced quantum oscillator. Am. J. Phys. 33, 537 (1965).
Chen, Z. et al. Exponential suppression of bit or phase errors with cyclic error correction. Nature 595, 383–387 (2021).
Wilson, J. T. et al. Trapping alkaline earth rydberg atoms optical tweezer arrays. Phys. Rev. Lett. 128, 033201 (2022).
Madjarov, I. S. et al. Highfidelity entanglement and detection of alkalineearth Rydberg atoms. Nat. Phys. 16, 857–861 (2020).
Schine, N., Young, A. W., Eckner, W. J., Martin, M. J. & Kaufman, A. M. Longlived Bell states in an array of optical clock qubits. Preprint at https://arxiv.org/abs/2111.14653 (2021).
Bluvstein, D. et al. Controlling quantum manybody dynamics in driven Rydberg atom arrays. Science 371, 1355–1359 (2021).
Picken, C. J., Legaie, R., McDonnell, K. & Pritchard, J. D. Entanglement of neutralatom qubits with long groundRydberg coherence times. Quantum Sci. Technol. 4, 015011 (2018).
Steane, A. Multipleparticle interference and quantum error correction. Proc. R. Soc. Lond. A 452, 2551–2577 (1996).
Erhard, A. et al. Entangling logical qubits with lattice surgery. Nature 589, 220–224 (2021).
Ho, W. W., Choi, S., Pichler, H. & Lukin, M. D. Periodic orbits, entanglement, and quantum manybody scars in constrained models: matrix product state approach. Phys. Rev. Lett. 122, 040603 (2019).
Acknowledgements
We thank I. Cong and X. Gao for their insight into QEC and for pointing us to the connections between graph states and QEC codes; M. Abobeih, H. Bernien, M. Cain, S. Choi, M. Endres, S. Evered, W. W. Ho, T. Manovitz, A. Omran, M. Serbyn and H. Zhou for reading of the manuscript and helpful discussions. We acknowledge financial support from the Center for Ultracold Atoms, the National Science Foundation, the Vannevar Bush Faculty Fellowship, the US Department of Energy (DESC0021013 and DOE Quantum Systems Accelerator Center, contract number 7568717), the Office of Naval Research, the Army Research Office MURI (grant number W911NF2010082) and the DARPA ONISQ programme (grant number W911NF2010021). D.B. acknowledges support from the NSF Graduate Research Fellowship Program (grant DGE1745303) and The Fannie and John Hertz Foundation. H.L. acknowledges support from the National Defense Science and Engineering Graduate (NDSEG) fellowship. G.S. acknowledges support from a fellowship from the Max Planck/Harvard Research Center for Quantum Optics. N.M. acknowledges support by the Department of Energy Computational Science Graduate Fellowship under award number DESC0021110. H.P. acknowledges support by the Army Research Office (grant number W911NF2110367)
Author information
Authors and Affiliations
Contributions
D.B., H.L., G.S., T.T.W., S.E., M.K. and A.K. contributed to building the experimental setup, performed the measurements and analysed the data. M.K., N.M. and H.P. performed theoretical analysis. All work was supervised by M.G., V.V. and M.D.L. All authors discussed the results and contributed to the manuscript.
Corresponding author
Ethics declarations
Competing interests
M.G., V.V. and M.D.L. are cofounders and shareholders of QuEra Computing. A.K. is an executive at and shareholder of QuEra Computing. All other authors declare no competing interests.
Peer review
Peer review information
Nature thanks Hannah Williams and the other, anonymous, reviewer(s) for their contribution to the peer review of this work. Peer reviewer reports are available.
Additional information
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Extended data figures and tables
Extended Data Fig. 1 CZ gate echo, atomic level structure, and typical pulse sequence.
a, The twoqubit gates we apply, in addition to applying a controlledZ operation between the two qubits, also induce a singlequbit phase Z(ζ) to both qubits, composed of the intrinsic phase of the CZ gate^{5} and additional spurious phases from the 420nm Rydberg laser and pulsing the traps off. Since we apply all gates in parallel by global pulses of the Rydberg laser, if a qubit is not adjacent to another qubit, it does not perform a CZ gate but still acquires the same Z(ζ) (identical to being adjacent to another qubit in state 0⟩, which is dark to the Rydberg laser). As diagrammed, we cancel the additional, undesired Z(ζ) by applying a π pulse between pairs of CZ gates. This echo procedure removes any need to calibrate the intrinsic phase from the CZ gate, and renders us insensitive to any spurious changes in Z(ζ) slower than ~200 μs. The additional Y(π) propagates in a known way through the CZ gates and multiplies certain stabilizers by a −1 sign, which simply redefines the sign of stabilizers and logical qubits. b, Level diagram showing key ^{87}Rb atomic levels used. Our Rydberg excitation scheme from 1⟩ to r⟩ is composed of a twophoton transition driven by a 420nm laser and a 1013nm laser (see ref. ^{25} for description of laser system). A DC magnetic field of B = 8.5 G is applied throughout this work. c, A typical pulse sequence for running a quantum circuit.
Extended Data Fig. 2 Movement characterization and multiple droprecaptures.
a, Atom retention as a function of average separation speed 2D/T (as is plotted in Fig. 1d of the main text for separating Bell pairs), with subtracted background loss of 0.7%. The inset in Fig. 1d of the main text is normalized by (Atom retention)^{2} (without subtracting background loss). Dark curve is calculated using experimental parameters and Eq. 2, matched to the experimental data by setting N_{max} = 26 and averaging over a range of ω_{0}/2π of ±15% around an average ω_{0}/2π = 40 kHz. b, Atom retention as a function of inverse trap frequency (2π/ω_{0}) after the four moves of the surface code circuit. For calculating the atom loss here we set N_{max} = 33 and average the trap frequencies over a range of ± 15%. We note that these quantitative estimates are sensitive to ω_{0} which we roughly estimate. c, Atom loss as a function of drop time and number of drop loops, with 100 μs wait between each drop. When running quantum circuits we use 500ns drops for each CZ gate (to avoid antitrapping of the Rydberg state and light shifts of the transition), for which we observe here that hundreds of drops can be made (corresponding to hundreds of possible CZ gates per atom) before atom loss becomes significant. d, By rescaling the xaxis of the data to \({t}_{{\rm{drop}}}\sqrt{N}\), we find the data of the various t_{drop} collapse onto a universal curve, suggesting a diffusion model for explaining the atom loss after a certain number of drops. By modeling such a diffusion process analytically we obtain the black curve with a temperature of 10 μK and a trapping radius of 1 μm.
Extended Data Fig. 3 Robust singlequbit control and qubit coherence.
a, Robust BB1 singlequbit rotation in comparison to a normal singlequbit rotation, as a function of pulse area error. An arbitrary BB1(θ, ϕ) rotation on the Bloch sphere of angle θ about axis ϕ is realized with a sequence of four pulses: (π)_{φ + ϕ}(2π)_{3φ + ϕ}(π)_{φ + ϕ}(θ)_{ϕ}, where φ = cos^{−1} (−θ/4π)^{60}. Pulse fidelity is measured here for a π pulse, defined such that the fidelity is the probability of successful transfer from 0⟩ → 1⟩, including SPAM correction. b, Preserving hyperfine qubit coherence using dynamical decoupling (XY16 with 128 total π pulses). Qubit coherence is observed on a timescale of seconds, with a fitted coherence time T_{2} = 1.49(8)s. Data is measured with either a + π/2 or −π/2 pulse at the end of the sequence, and these curves are then subtracted to yield the coherence yaxis. c, Hyperfine qubit T_{1}, measured by the difference of final F = 2 populations between measurements starting in F = 2, m_{F} = 0⟩ and F = 1, m_{F} = 0⟩. Atom loss without cooling is separately measured (predominantly arising from vacuum loss) and normalized to also measure the intrinsic spin relaxation time \({T}_{1}^{{\prime} }\) in the absence of atom loss. All data here is measured in 830nm traps.
Extended Data Fig. 4 Effect of axial trap oscillations on echo fidelity of 420nm Rydberg pulse.
a, Noise correlation measurement of the 420nm Rydberg laser pulse intensity. In the bluedetuned configuration used in this figure only, the 420nm laser induces an 8 MHz differential light shift on the hyperfine qubit, and consequently a phase accumulation of 32π during a 2μs pulse (our CZ gates are 400ns total). Small fluctuations of the 420nm laser intensity lead to large fluctuations in phase accumulation of the hyperfine qubit, and thus cause significant dephasing. The echo sequence diagrammed here probes the correlation of the accumulated phase between two 420nm pulses separated by a variable time τ, and thus informs how farseparated in time the 420nm pulses can be while still properly echoing out fluctuations in the 420nm intensity. b, Hyperfine coherence (a proxy for echo fidelity) versus gap time τ between the two 420nm pulses. The echo fidelity decreases initially due to a decorrelation of the 420nm intensity, but then increases again, showing that the correlation of the 420nm intensity is nonmonotonic. The decaying oscillations are fit to a functional form of y = y_{0} + Acos^{2}(πfτ)exp[−(τ/T)^{2}]. c, The fitted oscillation frequency f of the correlation / decorrelation of the noise follows a squareroot relationship with the trap power, and is consistent with the expected axial trap oscillation frequency. These observations indicate that a significant portion of the correlation / decorrelation of the 420nm noise arises from the severalμm axial oscillations of the atom in the trap. For this measurement, we intentionally displace the 420nm beam by several μm in order to place the atom on a slope of the beam, increasing our sensitivity to this phenomenon. For the other experiments in our work, we minimize sensitivity to these effects by operating in the center of a larger (35micronwaist) 420nm beam and operating reddetuned of the intermediatestate transition.
Extended Data Fig. 5 Movement schematics.
Schematics showing the gatebygate creation of a the 1D cluster state, b the Steane code, c the surface code, and d the toric code (see also Supplementary Video 1), in a sidebyside comparison. These various graph states are all generated in the same way, and encoding a desired circuit is a matter of positioning the atoms in different initial positions and applying an appropriate AOD waveform. To realize a desired circuit, atom layouts and trajectories are optimized heuristically in the way described in the Methods text. Panel c also shows the definition of surface code stabilizers as ordered in the main text.
Extended Data Fig. 6 Error simulations and tabulated singlequbit and twoqubit error estimates.
We compare our measured graph state fidelities to those from a stochastic Monte Carlo simulation of our system for a, the surface code and b, the toric code. We find that the simulated stabilizers agree well with the experimental data for this empirical depolarizing noise model. In addition, for the surface code (toric code) in the experiment we find 35% (20%) of measurements detect no stabilizer errors, compared to 40% (26%) in the simulation. We assume twoqubit errors are described by rates of 0.2% Y error, 0.2% X error, 0.5% Z error, and 0.5% loss per qubit per parallel layer (4 layers for surface code, 5 layers for toric code), corresponding to a 97.2% CZgate fidelity. We also add ambient, singlequbit errors at a rate of 0.1% Y error, 0.1% X error, 0.4% Z error, and 0.2% loss per qubit per parallel layer, as well as an initial 1% loss before the circuit begins (empirically factoring in SPAM errors). c, Tabulation of singlequbit (SQ) and twoqubit (TQ) gate errors that are measured, estimated, and extrapolated. Simulated TQ fidelities include the 0.6% scattering error from the 420nm echo pulse. The estimated TQ fidelities are given for the experiments of the surface code and toric code, but is an underestimate of the TQ fidelities for the cluster state and Steane code measurements where we increase the 1013nm intensity by 2× and reduce the 420nm intensity by 2×, increasing gate fidelity. The Bell state estimate of CZ gate fidelity is similarly done with 2× higher 1013 intensity, but includes the 420nm echo pulse, and consequently yields a similar gate fidelity as the surface and toric code estimates.
Extended Data Fig. 7 Properties of encoded logical states.
a, Summary of logical error probabilities for the various error correcting graphs made in this work (all in logical state +⟩_{L}), for raw measurements as well as implementing error correction and error detection in postprocessing. Error correction for the Steane code is implemented with the Steane code decoder^{36,73} and is implemented with the minimumweightperfectmatching algorithm for the surface and toric codes^{38}. For the evendistance toric code, when correction is ambiguous we do not flip the logical qubit, and accordingly the distance d = 2 logical qubit does not change under the correction procedure. We remark that the observed fidelities are comparable to similar demonstrations in stateoftheart experiments with other platforms^{8,74}. These will need to be improved to surpass the threshold for practical error correction^{38} (see Methods text). b, Lifetime of the logical +⟩_{L} state on the surface code, with correction and detection performed in postprocessing as in a. After state preparation, the +⟩_{L} state is held for a variable time before projective measurement, with two π pulses applied for dynamical decoupling (lifetime can be extended significantly further by applying e.g. 128 π pulses as done in Extended Data Fig. 3b). Some experimental parameters are slightly different here compared to those in a, hence the higher error rates here at the time 0 point. c, Logical π/2 rotation on the Steane code to prepare logical qubit state 0_{L}⟩. The Steane code, surface code, and toric code all have transversal singlequbit Clifford operations on the logical qubit^{8,36} (including insoftware rotations of the lattice), which is a highfidelity operation in our system since the transveral rotations are implemented in parallel with our global Raman laser and the physical singlequbit fidelities are high. We show a logical π/2 rotation here for the Steane code as an example but emphasize that we can readily realize the various basis states for all of these codes.
Extended Data Fig. 8 Benchmarking the interferometry measurement.
a, To benchmark our gatebased interferometry technique, we prepare variable singleparticle pure states (by applying a variablelength resonant Raman pulse) and then reconfigure the system and apply the interferometry circuit on twin pairs. The interferometry circuit converts the antisymmetric singlet state Ψ^{−}⟩ to the computational basis state 00⟩, while converting the symmetric triplet states to other computational states. We plot the resulting twin pair output states in the left panel. We rarely observe the 00⟩ state (1.95(2)% of measurements), with a measurement fidelity independent of the initial state. This low probability P_{00} of observing 00⟩ corresponds to a high extracted singleparticle purity of 2P_{00} − 1 = 0.961(3) (right panel). We find this measurement to be a useful benchmark, as interferometry miscalibrations can result in significant statedependence of the observed purity that would then compromise the validity of the manybody entanglement entropy measurement. b, Benchmarking the entanglement entropy measurement with Bell state arrays. (Top) Microstate populations during twoparticle oscillations between 11⟩ and \(\frac{1}{\sqrt{2}}(1r\rangle +r1\rangle )\) under a Rydberg pulse of variable duration. Faint lines show measurement results in the {1⟩, r⟩} basis, and dark lines show results in the {0⟩, 1⟩} basis after the coherent mapping process. (Bottom) Measured local and global purities by analyzing the number parity of observed 00⟩ twin pairs in each measurement. For this twoparticle data we use a gap of 230 ns in the coherent mapping sequence as opposed to the 150ns gap used in the manybody data.
Extended Data Fig. 9 Raw manybody data and numerical modeling of errors.
a, Raw measured Renyi entropy without subtracting the extensive classical entropy, as a function of subsystem size for quenches from rgrgrgrg⟩ and gggggggg⟩. The Renyi entropy of the 4atom subsystem is the same underlying data as the halfchain entanglement entropy plotted in Fig. 4d of the main text. In the main text, we subtract the data by a fixed offset given by the classical entropyperparticle, corresponding to the time = 0 offset for each subsystem size. The extensive, classical entropy offset is slightly larger for the rgrgrgrg⟩ quench due to nonunity fidelities both of preparing r⟩ and mapping r⟩ → 1⟩. b, Raw global purity after the gggggggg⟩ quench. The global purity is a sensitive proxy for the fidelity of our entire process. We find this 16body observable, composed of threelevel systems, remains > 100× the purity expected for a fully mixed state of 8 qubits (1/2^{8}) (see inset). For comparison of scale we also plot singleparticle purity to the 8^{th} power, to indicate what the global purity would be if the measurement results on each twin were uncorrelated. c, Global purity for the 8atom quench calculated through numerical modeling of the threelevel system {0⟩, 1⟩ ≡ g⟩, r⟩} with a variety of simulated error sources. We model the experimentally measured purity by calculating the expectation value of the SWAP operator in the {0⟩, 1⟩} basis between two independent chains, taking into account that residual population in r⟩ results in atom loss and measurement associated with the +1 eigenvalue of the SWAP operator (as the twin state 00⟩ can no longer be detected). The top curve includes only errors from population left in r⟩ following the coherent mapping step (see methods text). The secondfromtop curve includes singlesite dephasing (\({T}_{2}^{\ast }\)) during the Rydberg dynamics and the coherent mapping gap, modeled by a random onsite detuning which is Gaussiandistributed with zero mean and standard deviation of 100 kHz. The third and fourth curves include multiplication by the experimentally observed raw global purity at quench time t = 0, and then further multiplying empirically by an exponential decay exp[−16 × t/(70 μs)] as a simple model for scattering and decay errors with an experimentally estimated rate of roughly 70 μs for each of the 16 atoms between the two chains.
Extended Data Fig. 10 Local observables and entanglement entropy for quantum manybody scars.
a, Experimentally measured singlesite entropy for each site in the 8atom chain when quenching from the scarred ℤ_{2}⟩ state, including the classical entropy subtraction. Solid curves plot exact, ideal (imperfectionfree) numerics of H_{Ryd} (Eq. 3); excellent agreement between data and numerics is found for every atom in the chain. b, (Top) Same data as Fig. 4f of the main text, showing singlesite entropy of the middle two atoms in the chain, for two different initial states^{75}. (Bottom) Measurements of the manybody state in the Zbasis with the interferometry circuit turned off. Characteristic of the scars from the ℤ_{2}⟩ = rgrgrgrg⟩ state, the Rydberg excitation probability on the sublattices exhibits periodic oscillations^{71}. In the bottom row, the dark data points are measured in the {1⟩, r⟩} basis, and the faint data points are measured in the {0⟩, 1⟩} basis after the coherent mapping sequence. Measurements in both bases agree well with exact numerics (solid lines), which we emphasize has no free fit parameters and does not account for any experimental imperfections, such as detection infidelity. Moreover, the data indicate the high fidelity of preparation into the ℤ_{2}⟩ state by use of local Rydberg π pulses. In plotting, we delay the theory curves and the {1⟩, r⟩} basis measurement by 10 ns to account for the fact that the Raman π pulse we apply cuts off the final 10 ns of the Rydberg evolution, when measuring in the {0⟩, 1⟩} basis. c, Numerical simulations of the singlesite Renyi entropy on two adjacent sites in the idealized ‘PXP’ model of perfect nearestneighbor blockade^{14}. The system size is 24 atoms with periodic boundary conditions, showing the same outofphase oscillations in the entanglement entropy of the two sublattices. d, Diagram of the constrained Hilbert space of the system^{14}. The earlytime, outofphase entropy oscillations^{75} of the scars can be understood in this constrained Hilbert space picture, where the scar dynamics are known to take the state from the left end (rgrgrgrg⟩) to the right end (grgrgrgr⟩) (dark circles represent r⟩ and white circles represent g⟩)^{14}. Near these crystalline ends of this constrained Hilbert space, the Rydberg atoms can fluctuate (high entropy), but the ground state atoms are pinned (low entropy). Our analysis shows that entanglement between atoms on the same sublattice contributes to the eventual degradation of the revival fidelity of the ℤ_{2}⟩ state.
Supplementary information
41586_2022_4592_MOESM2_ESM.mp4
Supplementary Video 1 Generation of the toric code using coherent transport of entangled atom arrays. The video depicts the formation of the toric code state on a torus, realized by dynamically changing the quantum processor connectivity throughout the computation time of 1 ms. Ancillas are transported across the array and entangled with stationary data qubits using a twoqubit CZ gate (red ovals), and are then moved to a separate zone for local rotation before readout of all qubits.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bluvstein, D., Levine, H., Semeghini, G. et al. A quantum processor based on coherent transport of entangled atom arrays. Nature 604, 451–456 (2022). https://doi.org/10.1038/s41586022045926
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1038/s41586022045926
This article is cited by

Underdog technologies gain ground in quantumcomputing race
Nature (2023)

Ondemand directional microwave photon emission using waveguide quantum electrodynamics
Nature Physics (2023)

Scalable quantum processors empowered by the Fermi scattering of Rydberg electrons
Communications Physics (2023)

Quantum transports in twodimensions with long range hopping
Scientific Reports (2023)

Quantum computing with Rydberg atom graphs
Journal of the Korean Physical Society (2023)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.