alphaFeedback

WorksPhysics and Astronomy

Parallel Omnidirectional Atom Rearrangement with Dynamic Holograms

AI contributions
Not recorded for this paper
View details

Abstract

The ability to assemble and reconfigure individual atoms is central to performing quantum science using optical tweezer arrays. Here, we demonstrate parallel omnidirectional atom transport and rearrangement using dynamic holograms generated by a single kilohertz-rate spatial light modulator. By carefully characterizing survival and heating, we show that atoms remain confined even when successive holograms are commanded before the liquid crystal has settled, enabling significantly faster transport. To generate holograms in real time, we develop and implement a warm-start, weighted Gerchberg-Saxton algorithm that achieves performance comparable to neural-network methods without requiring any training. Combining these techniques, we assemble ytterbium atoms into a 2078-site kagome lattice with 99.0% mean filling. In addition, we demonstrate parallel transport between array layers, combining axial and transverse motion to reconfigure atoms in three dimensions. Our approach is readily adaptable to existing tweezer platforms and provides a method for large-scale SLM-based atom assembly as well as programmable three-dimensional control.

Neutral atoms in optical tweezer arrays provide a powerful combination of scale, geometric flexibility, and site-resolved control for quantum computing, simulation, and metrology [1]. Central to this platform is the ability to assemble and dynamically reconfigure arrays by moving individual atoms [2, 3, 4, 5, 6, 7]. Beyond the initial assembly of defect-free arrays, this motion can spatially separate atoms for mid-circuit measurement [8, 9], program time-dependent interactions through changes in array geometry [10, 11], and enable optical-clock protocols with locally-controlled phase accumulation [12].

The scope and efficiency of atomic reconfiguration depend on two key properties of the optical control: the geometric flexibility of the trap pattern and the speed with which that pattern can be changed. Liquid-crystal spatial light modulators (SLMs) enable flexibility by generating arbitrary holographic arrays [13] [14], but are conventionally limited in transport speed [4] [15, 16, 17]. Acousto-optic deflectors (AODs) invert this trade-off. Megahertz-rate diffraction steers tweezers quickly, but row-column addressing constrains atom trajectories [2, 3] [18, 19, 20, 21, 22, 23]. Pioneering recent work has demonstrated the potential to combine these strengths using kilohertz-rate SLMs [17] and neural-network-generated holograms to rapidly rearrange large-scale atom arrays [7].

While these demonstrations highlight the promise of AI-enabled SLM rearrangement, a multitude of open questions remain regarding the fundamental limitations and capabilities of the approach. Among these questions, three stand out: (i) what sets the speed limit for atom transport, (ii) can holograms be generated in real time without pretrained neural networks, and (iii) can this approach enable scalable transport in three dimensions?

In this Letter, we take important steps toward answering all three questions. First, intuition suggests allowing the liquid crystal (LC) to equilibrate before updating the tweezer pattern, since faster updates could compromise atom confinement. By carefully characterizing atom survival and heating, we show that confinement persists even when the SLM pattern is refreshed on timescales much shorter than the liquid crystal settle time, enabling substantially faster atom transport and rearrangement. Second, we demonstrate that neural networks are not required for real-time hologram generation: a warm-start weighted Gerchberg–Saxton (WGS) algorithm [25] achieves comparable performance without training. By eliminating the need for training, this approach simplifies adaptation to different array configurations. Finally, despite encoding the optical field in a two-dimensional hologram, we demonstrate parallel atom transport in all three spatial directions, enabling transport between array layers and scalable omnidirectional rearrangement. Combining these insights and techniques, we assemble nearly defect-free 2D arrays of more than 2000 ytterbium atoms and demonstrate inter-layer 3D rearrangement (Figure 1).

Schematic of the experimental setup and fluorescence images

Figure 1. (a) Schematic of the experimental setup. Individual 174Yb{}^{174}\mathrm{Yb} atoms are trapped in a tweezer array generated by a kHz-rate SLM and a high-NA objective; orange atoms are undergoing radial and axial transport. Fluorescence is collected through the same objective and split off by a dichroic mirror. (b,c) Single-shot fluorescence images, rendered in 3D, of one representative region of a 536-site bilayer 174Yb{}^{174}\mathrm{Yb} array formed by omnidirectional rearrangement. The array is partitioned into 41-site checkerboard regions; in each, 16 atoms are lifted 10 μ\mum into a second plane and compacted into (b) a 4 μ\mum-spacing one-dimensional chain or (c) a triangular lattice with 20 μ\mum spacing. Rings mark the vacated sites and arrows indicate the site-resolved path. (d) Single-shot fluorescence images. Top: stochastic loading of a 3013-site triangular lattice. Bottom: large-scale rearrangement of 2071 174Yb{}^{174}\mathrm{Yb} atoms into a 4 μ\mum-spacing kagome lattice with 99.7% filling.

Optimizing holographic atom transport dynamics—In SLM-based rearrangement, atom transport proceeds through successive hologram updates that incrementally shift the tweezer positions. The experimentally achievable atom transport speed is then set by the ratio v=d/Tv=d/T, where dd is the distance moved per hologram update and TT is the time between updates. Maximizing this speed while preserving atom survival requires understanding the physical constraints on both quantities. For the refresh period, the update time-scale is given by the liquid-crystal settle time, τ0≈1.6\tau_0 \approx1.6 ms [24]; for T≲τ0T \lesssim\tau_0, each new hologram is commanded before the preceding pattern has fully formed.

For the step size, a natural scale follows from the transient optical potential during a hologram update. Assuming small differences between consecutive holograms, the atom-plane light field is an exponentially-weighted superposition of the initial and final fields [7]. For two Gaussian tweezers of matched depth and phase, this potential smoothly interpolates between their positions below a critical separation, dcd_{\mathrm{c}}, and bifurcates above it. Analytically, this threshold is given by dc=22w0d_{\mathrm{c}} = 2\sqrt{2}w_{0} where w0w_{0} characterizes the waist of the tweezers [24]. Well below this threshold, atoms can adiabatically follow the optical potential as it moves; above it, they tend to remain in the fading initial potential while the new potential forms, leading to both heating and loss (Figure 2d-Figure 2h) [24].

Atom loss and heating during transport

Figure 2. Atom loss and heating during transport. (a) Atom survival (left y-axis) and heating (right y-axis) over 50 radial transport steps versus step size, dd. The atom temperature is measured via release-recapture and data are shown for two different refresh periods, TT. (b) Analogous measurements for axial transport with 50 steps under the ping-pong protocol, where atoms are moved back-and-forth [24]. (c) vmax⁡v_{\max} versus refresh period for both radial and axial transport [24]. Dashed lines show vmax⁡=d0/Tv_{\max}=d_0/T with d0d_0 fixed at its long-period value. Shaded bands indicate the predicted vmax⁡v_{\max} from Monte Carlo simulations of the liquid crystal settling dynamics. (d)–(f) Simulations of the atom-plane light field during radial transport for different periods and step sizes corresponding to those indicated in panel (a) [24]. The left vertical axis shows time in units of TT. (g,h) Analogous simulations of the atom-plane light field during axial transport. (i) Atom survival versus number of radial transport steps at small step size and T=0.7T=0.7 ms, with a static control in gray. The control and d=0.2d=0.2 µm data are fit by a single exponential while the d=0.3d=0.3 µm data are fit with exp⁡(−Anb)\exp(-An^b), b≈3b\approx3 (super-exponential).

To investigate these constraints as well as their interplay, we load atoms into a 1068-site square tweezer array and apply a sequence of global phase gratings that translate all tweezers uniformly in a radial direction. We independently vary dd and TT, and for each set of parameters, we measure the fraction of atoms remaining after 50 transport steps, as well as the temperature of the surviving atoms [24]. As a metric, we define vmax⁡=d0/Tv_{\max} = d_{0}/T, where d0d_{0} is the step size corresponding to 99% survival per step.

As depicted in Figure 2a (dashed red curve), we begin by exploring update periods longer than the liquid-crystal settle time, T=2.8T = 2.8 ms >τ0> \tau_{0}. Atom survival remains near unity up to d≈0.6d \approx0.6 μ\mum and then rapidly falls to zero by 0.8 μ\mum, with d0=0.69(1)d_{0} = 0.69(1) μ\mum and vmax⁡=0.25(1)v_{\max} = 0.25(1) μ\mum/ms. This is consistent with our bifurcation picture, which predicts a critical radial step size, dcr≈0.78d_{\mathrm{c}}^{r} \approx0.78 μ\mum. As expected, the onset of atom loss closely coincides with that of atom loss (dashed gray curve, Figure 2a).

Next, we consider the opposite regime where the update period is significantly shorter than the settle time. Two competing expectations arise: the Gaussian-overlap picture predicts a critical step size dcd_{\mathrm{c}} that is purely geometric and independent of TT, suggesting that faster updates should directly increase transport speed [24]. On the other hand, incomplete liquid-crystal settling may distort the transient potential and reduce the tolerable step size [24].

This latter expectation is indeed borne out by our data.

For the minimum update period supported by our SLM electronics, Tmin⁡≈0.7T_{\min}\approx0.7 ms <τ0<\tau_0 (solid curves, Figure 2a), we observe the same qualitative behavior with the onset of heating and loss shifted to a smaller step-size, corresponding to d0=0.53(1)d_0=0.53(1) µm. Crucially, despite the smaller tolerable step-size, vmax⁡v_{\max} nevertheless increases threefold, from 0.25(1) µm/ms to 0.75(1) µm/ms (Figure 2c).

Two remarks are in order. First, as illustrated in Figure 2c, for update periods longer than τ0\tau_0, the critical step size does remain constant leading to a 1/T1/T scaling of vmax⁡v_{\max}. Second, the measured survival curves in Figure 2a demonstrate the onset of loss for varying step sizes, but are insufficient to accurately characterize the survival probability at small step sizes. Therefore, we repeat our radial transport experiments (for T=0.7T=0.7 ms) for up to ∼2000\sim2000 update steps, with a zero-movement control (Figure 2i). For d=0.2d=0.2 µm we observe no discernible transport loss, while for d=0.3d=0.3 µm, we observe a loss of around 9%. Atom survival decays super-exponentially, suggesting that accumulated heating is a significant source of loss in this small step-size regime.

We now turn to axial (z^\hat{z}) atom transport. Since our tweezers are significantly more extended along z^\hat{z}, the corresponding bifurcation threshold is larger, dcz≈3.7d_c^z\approx3.7 µm. We perform an analogous set of axial survival and heating measurements by adding global defocus kernels to the hologram, with compensation for the Gouy phase [24].

The behavior of axial atom survival closely mirrors the radial case (blue curves, Figure 2b). For T=2.8T=2.8 ms (dashed blue curve), we observe a survival threshold d0=3.62(4)d_0=3.62(4) µm (consistent with the estimated bifurcation threshold) and vmax⁡=1.30(2)v_{\max}=1.30(2) µm/ms. Meanwhile for Tmin⁡=0.7T_{\min}=0.7 ms, loss sets in at smaller step sizes, with d0=2.69(10)d_0=2.69(10) µm; nevertheless, faster updating again yields a roughly threefold increase to vmax⁡=3.86(15)v_{\max}=3.86(15) µm/ms. We note that the full axial period sweep (Figure 2c) exhibits the same two regimes: 1/T1/T scaling for T≳τ0T\gtrsim\tau_0, and a departure from this scaling at the shortest periods.

Interestingly, in contrast to the radial case, we find that atom heating does not track atom loss in the axial case. For example, at T=2.8T = 2.8 ms, heating onsets at approximately 2.02.0 μ\mum, well below the onset of atom loss (Figure 2b). Moreover, unlike the radial case, reducing the update period to Tmin⁡=0.7T_{\min} = 0.7 ms does not produce a comparable shift of the axial heating curve toward smaller step sizes.

Real-time hologram generation for atom rearrangement— Having established speed limits for uniform, unidirectional transport, we now consider hologram generation for arbitrary atom rearrangement. Conventionally, SLM hologram generation is performed via the weighted Gerchberg–Saxton algorithm, which achieves excellent positional control and intensity uniformity [26]. However, our characterization of transport suggests two other requirements on the hologram sequence: (i) tweezer phases must be matched between consecutive frames [7] [17, 24] and (ii) each frame should be computed within Tmin⁡T_{\min} since faster updates yield faster transport (Figure 2c). WGS leaves tweezer phases uncontrolled, causing bifurcation-induced atom loss at smaller step sizes, and typically takes tens of iterations to converge.

Previous work elegantly addressed both issues with a 19k-parameter convolutional neural network (SLMnet) that approximates phase-constrained WGS in a single forward pass [7]. Building on recent work [27, 28], we propose and implement a modified algorithm, which we dub warm-WGS, aimed at meeting both requirements without needing a neural network. Specifically, warm-WGS imposes a phase constraint at each iteration and initializes each frame from the previous frame’s hologram; this enables convergence in around three iterations at 2048×20482048 \times2048 resolution (Figure 3c).

Hologram generation for rearrangement

Figure 3. Hologram generation for rearrangement. (a) Single-shot fluorescence image of stochastic loading into our 1068-site, 10 μ\mum-spacing square lattice. Subsequent rearrangement into a checkerboard pattern is shown using hologram generation via SLMnet, warm-WGS and warm-WGS with overdrive. Note that the fluorescence images have been cropped to one quadrant to enhance visibility. (b) Performance of each hologram generation method versus nn, the number of frames for checkerboard rearrangement. The fidelity is normalized to atom survival with no-movement. (c) Simulated hologram error versus compute time for various methods and parameters [24].

We compare the performance of SLMnet and warm-WGS using the rearrangement of a 1068-site square lattice (1010 μ\mum spacing) into a checkerboard as a benchmark (Figure 3a). After an initial image of the stochastically loaded array, we assign atoms to target sites [16, 18] and split the overall transport into nn intermediate frames; each frame is converted into a hologram by either SLMnet or warm-WGS and sent to the SLM at intervals of Tmin⁡T_{\min} [24].

We find that both methods achieve near-defect-free rearrangement, reaching 99% normalized fidelity by n=53(3)n = 53(3) (warm-WGS) and n=59(4)n = 59(4) (SLMnet) frames (Figure 3a,Figure 3b). Furthermore, improvements to the rearrangement speed require the ability to perform larger transport steps at our minimum update period, Tmin⁡T_{\min}. To this end, we utilize “overdrive”, a standard technique for accelerating the liquid-crystal’s response [29]: rather than commanding the next frame’s phase directly, one commands a phase that overshoots along the direction of liquid-crystal relaxation [24]. Overdrive adds negligible computational overhead and reduces the number of warm-WGS frames required for the checkerboard rearrangement to n=47(2)n = 47(2) (Figure 3b).

Thus far, we have focused on SLM rearrangement within a single plane. Extending this control to arbitrary three-dimensional trajectories requires encoding traps at different depths in a single two-dimensional hologram [5, 7] [15]. Standard 3D WGS addresses this problem by propagating the optical field to each distinct layer at every iteration, introducing a computational cost that grows with the number of layers. We obviate this cost by working entirely in a single focal plane, where each out-of-plane tweezer is described by a precomputed defocus pattern [24]. This representation allows us to apply warm-WGS directly to generate holograms for three-dimensional rearrangement. Our resulting algorithm outperforms both standard multi-layer WGS and a three-dimensional WGS, and a three-dimensional dimensional version of SLMnet, achieving comparable or higher quality simulated holograms in less time [24].

We conclude with two remarks highlighting the tradeoffs between warm-WGS and SLMnet. On the one hand, warm-WGS requires no training and applies directly to arbitrary array sizes, spacings, and dimensionality, whereas SLMnet must be trained over the full range of configurations it will encounter [24]. On the other hand, our implementation of warm-WGS computes each frame from the previous one, while SLMnet frames are generated independently and can therefore be parallelized. In principle, one can also envision parallelizing warm-WGS by independently initializing each frame from a computed, interpolated target [24].

Large-scale assembly and three-dimensional rearrangement—Combining these techniques, we demonstrate two capabilities: (i) assembly of the largest rearranged ytterbium array to date [30, 31] and (ii) scalable kHz-rate three-dimensional rearrangement. The former is depicted in Figure 1d, where 2071 174Yb{}^{174}\mathrm{Yb} atoms have been rearranged into a 2078-site kagome lattice with a filling fraction of 99.7% (mean 99.0% over 195 shots) [24]. The total time for the rearrangement sequence is ∼56\sim56 ms (median), which compares favorably to experiments utilizing AOD-based rearrangement [32–34]. We note that our current array size is limited only by the available laser power and not by the SLM-rearrangement technique [24].

For three-dimensional transport, we demonstrate two rearrangement sequences. First, we extract selected atoms from a rearranged 2D array into a separate plane in order to form a 1D chain (Figure 1b). Second, starting from a rearranged 2D checkerboard, we transport atoms from one of the two checkerboard sublattices into a triangular lattice ∼10 μm\sim10\ \mu\mathrm{m} away in z^\hat{z}; for this square–triangular bilayer, we achieve an average filling of 96.7% across 536 sites (Figure 1c) [24]. In both sequences, atom trajectories combine axial and transverse motion, demonstrating three-dimensional reconfiguration beyond a simple axial displacement. To image the atoms in different layers, we sequentially translate each layer into the focal plane of the objective. Alternatively, one could, in principle, compress the 3D array into a single focal plane via a prescribed mapping and then perform imaging, allowing for single-shot reconstruction of the full three-dimensional array while avoiding the repeated exposure of individual layers.

Discussion and outlook.—Our results demonstrate the potential for utilizing kHz-rate SLMs for large-scale atom rearrangement with three-dimensional control. We emphasize that this approach should be readily adaptable to nearly all existing SLM-based tweezer platforms, since the hardware requirements are modest: it requires no optics beyond those already needed to generate the array and the holograms can be computed in real time on a single commercial GPU without requiring neural network training.

Looking forward, our work opens the door to a number of intriguing future directions. First, interlayer transport could enable quantum computing architectures to stack certain “zones” such as the storage or reservoir zone [8] [34, 35] along the optical axis. Second, assembling atoms across multiple layers also brings genuinely three-dimensional lattices within reach of Rydberg quantum simulators [5] [36], such as proyichlore arrays proposed to host a U(1) quantum spin liquid [37]. Finally, the combination of large-scale assembly and flexible control over array geometry paves the way for studies of quantum magnetism on frustrated lattices, where dipolar interactions are predicted to stabilize quantum spin liquid phases [38–41].

Acknowledgments—We gratefully acknowledge the insights of and discussions with J. Deng, C. Laumann, R. Lin, T. Ono, G. Semeghini, and J. Zeiher. We thank Meadowlark and AVR Optics for providing us with a high-speed SLM for high-power 532 nm laser light. This work was supported in part by multiple awards from the NSF including the Center for Ultracold Atoms (an NSF Physics Frontiers Center), PHY-2409713, PHY-2608240 and QLCI Award 2553619 for Fault-Tolerant Quantum Systems, Architectures and Applications. N. Y. Yao acknowledges support from a Brown Investigator award. AI tools were used for assistance in operating the experimental control software, analyzing data, preparing figures, and editing the manuscript; all results and text have been verified by the authors.

References

Supplemental Material for Parallel Omnidirectional Atom Rearrangement with Dynamic Holograms

Apparatus

The optical tweezers are generated using a 532 nm laser (Precilasers FL-SF-532-35-CW). The tweezer beam power is stabilized using a water-cooled quartz AOM. A kHz-rate SLM (Meadowlark P1K-400-600-PC8, provided by AVR Optics) displays and updates holograms to modulate the phase of the tweezer beam. The beam is then relayed and expanded via a 4f4f-system to fill the back aperture of a custom-built objective (Special Optics, NA=0.6\mathrm{NA} = 0.6, back aperture = 24 mm, effective focal length = 20 mm, field of view = 800 µm). A home-built spatial filter, consisting of a mirror with a drilled through-hole, is placed at the intermediate image plane of the 4f4f-system to spatially filter out the SLM’s zeroth diffraction order. In practice, we use up to 30 W laser power and can generate more than 3,000 tweezers.

To accommodate high optical power at 532 nm, where the standard high-speed liquid crystal is susceptible to optical damage, the manufacturer uses a modified LC formulation with a higher damage threshold but a slower intrinsic response compared with the standard HSP1K model, whose response time is approximately 1 ms. To compensate for this slower response, our SLM is built with a narrower cell gap and hence a thinner LC layer, giving a nominal 10–90% switching time of 2.3 ms (manufacturer specification), at the cost of a reduced phase modulation depth of 1.2 waves (2.4π2.4\pi) at 532 nm at room temperature. Because the modulation depth further decreases with increasing angle of incidence (AOI) and LC temperature, we keep the AOI below 2.5° and water-cool the LC panel to maintain its temperature below 25 °C at full laser power.

Atom Loading and Imaging

Atom loading is performed by spatially overlapping the optical tweezers with a magneto-optical trap (MOT) operated on the narrow 1S0→3P1{}^{1}\mathrm{S}_{0} \to{}^{3}\mathrm{P}_{1} intercombination line of 174Yb{}^{174}\mathrm{Yb} at 556 nm. To ensure single-atom occupancy in each trap, red-detuned light-assisted collisions are induced using the same narrow-line transition, leading to approximately 55% stochastic loading probability. In large arrays, we precede this step with an additional blue-detuned light-assisted collision stage, boosting the loading rate to approximately 75%. However, blue-detuned light also induces Doppler heating, which can lead to atom loss. To this end, we experimentally found a parameter regime where the interplay between single-atom loss in two-body collisions (one atom left) and Doppler heating (no atoms left) results in enhanced loading rate, similar to results in [1]. Following initial loading, we apply three-dimensional Doppler cooling to reach temperatures of approximately 7 µK.

For imaging, we collect fluorescence from the atoms using the 1S0→1P1{}^{1}S_{0} \to{}^{1}P_{1} transition at 399 nm. The fluorescence is collected through the same objective used to form the tweezers and imaged onto a qCMOS camera (Hamamatsu ORCA-Quest C15550-20UP). During imaging, rapid photon scattering on the broad 399 nm transition causes substantial heating. We therefore simultaneously apply narrow-line cooling at 556 nm, yielding an atomic temperature of approximately 20 µK after imaging. This combination is well suited to large arrays because detection at 399 nm avoids the background that complicates direct imaging at 556 nm. The background arises from Raman scattering of the high-power 532 nm trapping light along the optical path, particularly in the objective lenses and housing [2].

We characterize the atom loading and imaging in Figure S1. The measured rearrangement fidelity is limited by imaging errors and atom loss during imaging. Our atom-transport measurements suggest that the underlying rearrangement fidelity is higher. We perform only one round of rearrangement in this work. Additional rounds could further reduce the number of defects by retaining reservoir atoms for subsequent rounds, at the cost of increased total rearrangement time. We note that empty traps could also be removed by updating the holograms after the first image, allowing their optical power to be redistributed to occupied traps to increase trap depths and improve imaging fidelity and survival in subsequent rounds.

Large array loading and imaging

Figure S1. Large array loading and imaging. (a) Histogram showing number of atoms loaded into the 3013-site triangular lattice across 769 shots. 98% of shots result in >2078>2078 atoms (enough to fill the target array). The average fill is 2295 atoms, or 76.2% fill, using enhanced loading with blue-detuned LAC light. (b) Imaging histograms for the triangular 3013-site loading lattice and the kagome 2078-site target lattice, normalized to a 0 to 1 scale where 0 represents no atom and 1 represents an atom. The kagome density curve is post-rearrangement, so the bulk of sites are filled. The two arrays have mean imaging fidelities 99.7% and 99.6% respectively, with ∼99%\sim99\% imaging survival for both (approximately matching the survival of stationary atoms during rearrangement). d′d^\prime is the imaging discrimination between empty and filled sites, quantifying the effective signal-to-noise ratio of single-atom detection. (c) Trap depth site-map and histogram for the 3013-site triangular lattice after WGS uniformity feedback. Average trap depth 227 μK227\,\mathrm{\mu K} with 3.4% rms nonuniformity. (d) Trap depth site-map and histogram for the 2078-site kagome lattice after WGS uniformity feedback. Average trap depth 338 μK338\,\mathrm{\mu K} with 4.1% rms nonuniformity.

Properties of Optical Tweezers

Uniform trap depths are required to ensure consistent loading, cooling, and imaging across the array. We measure trap depths spectroscopically on the 556 nm 1S0→3P1{}^{1}S_{0} \to{}^{3}P_{1} transition. For a trap laser wavelength of 532 nm, the ∣mJ∣=0\lvert m_{J} \rvert= 0 state is near magic, whereas the ∣mJ∣=1\lvert m_{J} \rvert= 1 states experience a tensor light shift [2]. The splitting between these states therefore serves as a measurement of the local trap depth of each tweezer. To equalize depths, we start from a WGS hologram, scan the ∣mJ∣=1\lvert m_{J} \rvert= 1 resonance at every site, and feed the measured depths back into WGS, one iteration per measurement. Each iteration updates only the amplitudes near each trap, with all phases and the background amplitude held fixed, so that changes in the inter-tweezer speckle do not re-randomize the depths between cycles. For the 1068-site array with 10 µm spacing used in Figure 2 and Figure 3, this yields a mean depth of U0=418(16)U_{0} = 418(16) µK (day-to-day global variation) with a site-to-site coefficient of variation of 1.5%; results for the large arrays are shown in Figure S1.

In addition to the trap depth, we also measure the trap frequencies by parametric heating. The median radial and axial trap frequencies in the 1068-site array are 85.7 kHz and 16.5 kHz. In the harmonic approximation, these frequencies and the measured depth give a waist w0=0.525w_{0} = 0.525 µm and an effective Rayleigh range zR=1.93z_{R} = 1.93 µm, longer than the Gaussian-beam value πw02/λ=1.63\pi w_{0}^{2}/\lambda= 1.63 µm. We therefore use the calibrated spot shape rather than a Gaussian model when computing transport thresholds (S6).

SLM Electronics and LC Settle

The transport speeds in the main text are governed by two timescales of the SLM: the electronic refresh period, which limits how often a new hologram can be commanded, and the response time of the liquid crystal (LC), which sets how quickly the displayed phase follows. We characterize both here.

Each SLM pixel applies an rms voltage across the LC layer, which reorients the molecules and changes the local retardance. We map voltages to pixel phase with Meadowlark’s factory-provided lookup table, which we measure to be linear but to effectively span only ∼1.7π\sim1.7\pi at 532 nm. This reduced stroke scales wrapped phases by ∼0.85\sim0.85, which sends roughly 1−sinc⁡2(0.15)≈7%1 - \operatorname{sinc}^{2}(0.15) \approx7\% of the light into other diffraction orders without shifting the tweezers.

To avoid damage from a sustained DC field, the drive is a square wave alternating between ±Vrms\pm V_{\mathrm{rms}} on an internal clock with period Tmin⁡=0.696T_{\min} = 0.696 ms (1437 Hz). A new hologram can be applied only at these periodic flips, so Tmin⁡T_{\min} is the shortest frame period, and periods that are not integer multiples of Tmin⁡T_{\min} produce aliased frame timing. Throughout this work we mostly use T=Tmin⁡T = T_{\min} and 4Tmin⁡=2.7854T_{\min} = 2.785 ms, rounded to 0.7 ms and 2.8 ms in the main text.

To measure the LC response, we display binary gratings whose stripes alternate between pixel phases ψ\psi and ψ′\psi^\prime. The first-order diffracted intensity is I1∝sin⁡2(Δψ/2)I_1 \propto\sin^2(\Delta\psi/2) with Δψ=ψ′−ψ\Delta\psi= \psi^\prime- \psi, so measuring I1I_1 on a camera determines Δψ\Delta\psi. Sweeping the voltages of both stripes first yields a lookup table between voltage and retardance. We then switch one stripe from ψ1\psi_1 to ψ2\psi_2 and record I1I_1 at a series of delays using strobed imaging, repeating each delay with ψ′=0\psi^\prime= 0 and ψ′=π/2\psi^\prime= \pi/2 to resolve the ambiguity of sin⁡2\sin^2. This gives the time-resolved response for each pair of initial and commanded pixel phases.

An ideal pixel relaxes exponentially from its initial phase ψ0\psi_0 toward the commanded phase ψc\psi_c,

ψ(t)=ψ0e−t/τ+ψc(1−e−t/τ).(1)\psi(t) = \psi_0 e^{-t/\tau} + \psi_c \left(1-e^{-t/\tau}\right). \tag*{(1)}

In practice, τ\tau depends on the commanded pixel phases and on the direction of the change; we neglect pixel-to-pixel variation, as well as hysteresis and crosstalk. We fit Eq. (1) to a sum of measured responses over phase pairs between two uniform random holograms; this gives an effective settle time τ0=1.6(3)\tau_0 = 1.6(3) ms (1.4(3) ms rising voltage, decreasing pixel phase; 1.8(3) ms falling voltage), where the uncertainty reflects statistical uncertainty in our calibrated LC dynamics, dependence on the choice of initial and final holograms, and the weighting of the measured responses across phase pairs. We are also limited in measuring the fastest responses by our strobe time resolution (∼0.3\sim0.3 ms). We therefore treat τ0\tau_0 as a characteristic scale only; the simulations in S7 use the calibrated dynamics.

Transport Protocols

The uniform transport measurements of Figure 2 use the following protocols. To test the limits of radial (+x+x) movement at some step size dd and period TT for NN steps, we first load atoms into the 1068-site array and take an initial image. We then compute a sequence of linear phase gratings (where kxk_x and kyk_y are momentum-space coordinates, corresponding linearly to pixel indices, on the LC face):

hx(d)=kxd(2)h_x(d) = k_x d \tag*{(2)}

to add to the loading hologram pattern Φ0\Phi_0:

Φn=Φ0exp⁡(ihx(nd)).(3)\Phi_n = \Phi_0 \exp\left(i h_x(nd)\right). \tag*{(3)}

The period of the grating controls the displacement of all tweezers in the array. Based on the optical specifications, including the wavelength and nominal focal lengths, we estimate a conversion factor of δx=0.408\delta x = 0.408 µm/(far-field px) between the computational grid (1024×10241024 \times1024 far-field) and the atom plane. We then command the SLM to display Φn\Phi_n at time TnTn for n∈{0,1,…,N}n \in\{0,1,\ldots,N\}. Finally, a second image measures survival for the chosen dd, TT, and NN. The same can be done in the yy direction with a grating along kyk_y. The radial step-size threshold is fairly isotropic, with the same shape in all four directions (widths within ∼20%\sim20\%, thresholds within ∼7%\sim7\%).

For axial movement (+z+z), we replace gratings with defocus kernels, in terms of ρ\rho which is the radius from the center of the SLM, normalized to ±1\pm1 at the edges of the LC face (2\sqrt{2} at the corners):

hz(d)=2πdλ(1−NAN2ρ2−1)+dCGouy(4)h_z(d) = \frac{2\pi d}{\lambda}\left(\sqrt{1-\mathrm{NA}_{N}^{2}\rho^2}-1\right) + dC_{\mathrm{Gouy}} \tag*{(4)}
≈−πdλNAN2ρ2+dCGouy(5)\approx-\frac{\pi d}{\lambda}\mathrm{NA}_{N}^{2}\rho^2 + dC_{\mathrm{Gouy}} \tag*{(5)}

with Φn\Phi_n as in Eq. (3), where λ=532\lambda= 532 nm, and the Nyquist numerical aperture NAN=λ/(2δx)=0.65\mathrm{NA}_N = \lambda/(2\delta x) = 0.65 follows directly from the radial conversion factor δx\delta x above (NAN>NAobj\mathrm{NA}_N > \mathrm{NA}_{\mathrm{obj}} indicates that light from the outermost SLM pixels is clipped by the objective). The second term is a linear correction in step size that allows us to mitigate the Gouy phase of our optical tweezers (S6). In order to avoid imaging atoms at different planes, we utilize a ping-pong protocol: we perform N/2N/2 steps outward and then N/2N/2 back. We see significant asymmetry between +z+z and −z-z in both shape and threshold, even with the semi-symmetric ping-pong protocol (Figure S6). We sanity-check that atoms are actually leaving the initial plane by imaging without translating back, ensuring no atoms are detected.

Survival versus step size for real atoms and MC atoms

Figure S6. Survival versus step size dd: real atoms and MC atoms. (a) Radial +x+x 50-step transport. (b), (c) Axial 80-step ping-pong transport, +z+z first (b) or −z-z first (c). All survival data is normalized to the zero-step-size plateau. Filled markers and solid lines: SLM frame period 0.7 ms; open markers and dashed lines: 2.8 ms. Thin colored lines are fits to the atoms, grey lines are fits to the MC, both of the form S=[12erfc⁡(d−d∗2σ)]nS = \left[\frac{1}{2}\operatorname{erfc}\left(\frac{d-d_*}{\sqrt{2}\sigma}\right)\right]^n, nn the number of steps.

To compare transport across directions and frame periods, we define d0d_0 as the step size at which survival over n=50n=50 steps, normalized to the zero-step control, falls to 99%99\%, obtained by linear interpolation between measured step sizes. The uncertainty on d0d_0 is the difference between linear interpolation and an erfc⁡n\operatorname{erfc}^n fit, which exceeds the statistical error. The error on vmax⁡=d0/Tv_{\max}=d_0/T also includes the shot-to-shot spread of TT as realized by the SLM (≤1%\le1\%, 68% CI). Calibration uncertainties common to all points (e.g. conversion to micrometers) are not included.

Transport Model and Thresholds

Here we model the light field during a hologram update and derive the critical step size beyond which atoms can no longer follow a moving tweezer.

Under the assumption that all pixels follow the same exponential settle curve as in Eq. (1), and that the commanded LC phases are similar between frames, the light field at the atom plane during settling is approximately [3, 4]:

E(r,t)=e−t/τE0(r)+(1−e−t/τ)E1(r)(6)E(\mathbf{r},t)=e^{-t/\tau}E_0(\mathbf{r})+\left(1-e^{-t/\tau}\right)E_1(\mathbf{r}) \tag*{(6)}

For updates faster than the settle time, the LC does not reach its commanded state before the next frame is commanded. The field therefore depends on several preceding frames. Starting from a fully settled field E0E_0, with successive fields EmE_m commanded at times mTmT, the light field at the atoms under the superposition approximation is

E(r,t)=E0(r)+∑m=1n[Em(r)−Em−1(r)](1−e−(t−mT)/τ)Θ(t−mT)(7)E(\mathbf{r},t)=E_0(\mathbf{r})+\sum_{m=1}^{n}\left[E_m(\mathbf{r})-E_{m-1}(\mathbf{r})\right]\left(1-e^{-(t-mT)/\tau}\right)\Theta(t-mT) \tag*{(7)}

where Θ\Theta is a unit step function. This formula explains why phase alignment between tweezers is so crucial for atom survival: unmatched tweezers will interfere, causing lobing and reduced trap depth.

Plugging our approximate tweezer shape into EmE_m in xyxy (zz), and assuming perfect phase coherence between consecutive frames, recovers a critical distance dcrd_{\mathrm{c}}^{r} (dczd_{\mathrm{c}}^{z}). Below this distance, the trap continuously translates, modulating primarily in intensity. Above it, the old trap remains distinct from the new trap and fades as the new trap forms, producing release-and-recapture-like dynamics. If the tweezers are not phase aligned, this bifurcation occurs much below dcrd_{\mathrm{c}}^{r} due to interference, causing significant atom loss.

We formally define bifurcation as a discontinuity of the local maximum of the tweezer intensity. This generally occurs as a splitting of one maximum into two or more maxima. When bifurcation occurs, the atom cannot follow the moving trap adiabatically, causing heating and loss. To quantify how close a transition comes to bifurcating without actually becoming discontinuous, we define

κ=min⁡t∈[nT,(n+1)T]−∂x2ln⁡∣E(x,t)∣∣x=xm(t)−∂x2ln⁡∣E(x,0)∣∣x=xm(0)=min⁡(w(0)w(t))2,(8)\begin{aligned} \kappa=\min_{t\in[nT,(n+1)T]}\frac{-\left.\partial_x^2\ln\lvert E(\mathbf{x},t)\rvert\right|_{x=x_m(t)}}{-\left.\partial_x^2\ln\lvert E(\mathbf{x},0)\rvert\right|_{x=x_m(0)}} \\ &=\min\left(\frac{w(0)}{w(t)}\right)^2, \tag*{(8)} \end{aligned}

where xx is the coordinate along the transport direction, xm(t)x_m(t) is the position of the moving trap’s intensity maximum, and w(t)w(t) is the effective Gaussian trap waist at time tt. The reference t=0t=0 refers to a fully-settled initial trap. A rigidly translated tweezer has κ=1\kappa=1, while κ→0\kappa\to0 as the maximum flattens. We call a transition a near-bifurcation when κ<0.1\kappa<0.1.

For perfectly Gaussian spots, the zero-curvature condition gives dcr∼2w0=0.74 μmd_{\mathrm{c}}^{r}\sim\sqrt{2}w_0=0.74\,\mu\mathrm{m}. Beyond this separation, two summed Gaussians develop two intensity maxima. With our calibrated spot shape, we find dcr≈0.78 μmd_{\mathrm{c}}^{r}\approx0.78\,\mu\mathrm{m}. At large period, this analytical expression for dcrd_{\mathrm{c}}^{r} generalizes to sequences of multiple tweezers, since transitions are essentially independent (Eq. (7)); at low period, there is a very slight intrusion from the tails and sidelobes of earlier and later tweezers that are simultaneously visible, but this correction is very small. In simulation of the light field from superposition Eq. (7) across periods T≥Tmin⁡T\geq T_{\min}, accounting for our calibrated tweezer shape, dcrd_{\mathrm{c}}^{r} deviates from 0.78 μm0.78\,\mu\mathrm{m} by less than 3%.

However, axial transport is complicated by the nonlinear variation of the Gouy phase across the tweezer focus. To compensate for this, we approximate its arctangent dependence with a piston correction linear in step size (Eq. (4)), and fit CGouy=0.617 rad/μmC_{\mathrm{Gouy}}=0.617\,\mathrm{rad}/\mu\mathrm{m} to maximize dczd_{\mathrm{c}}^{z} during axial transport. This fitted value agrees with the on-axis Gouy-phase slope λ/(πw02)≈0.614 rad/μm\lambda/(\pi w_0^2)\approx0.614\,\mathrm{rad}/\mu\mathrm{m} implied by the waist measured from the radial trap frequency (S3). For global defocus, this correction is applied to the entire hologram; for arbitrary movement, it can be applied individually through each tweezer’s phase.

With this linear correction, we can simulate Eq. (7) with our measured spot shape to determine dczd_{\mathrm{c}}^{z}. Using our optimized CGouyC_{\mathrm{Gouy}} value, we obtain dcz=3.65 μmd_{\mathrm{c}}^{z}=3.65\,\mu\mathrm{m}, which is significantly larger than the 2zR=2.73 μm\sqrt{2}z_R=2.73\,\mu\mathrm{m} that would be predicted from a perfectly Gaussian spot with no Gouy phase. Importantly, this value of dczd_{\mathrm{c}}^{z} still does not depend very much on T≥Tmin⁡T\geq T_{\min}, drifting less than 1.5%.

Monte Carlo Simulation

The superposition model in S6 predicts a nearly period-independent geometric threshold, whereas the measured survival threshold d0d_0 decreases at shorter refresh periods (Figure 2). To understand this difference, we simulate the atom-plane light field by modeling the settling of each LC pixel independently, then perform a classical Monte Carlo (MC) simulation of atomic motion in the resulting potential. Example trajectories are shown in Figure S8.

Monte Carlo demonstration

Figure S8. Monte Carlo demonstration. Freeze-frames of Monte-Carlo-simulated atoms being transported by a simulated light field (S7). Atom temperature is shown as a color gradient. Atoms follow continuously moving tweezers (a,c,e,g); bifurcation strands atoms in a previous frame’s trap (b,d,f,h). Steps and periods: (a) 0.40 µm, 0.7 ms; (b) 0.84 µm, 0.7 ms; (c) 0.44 µm, 2.8 ms; (d) 0.96 µm, 2.8 ms (radial); (e) 1.60 µm, 0.7 ms; (f) 4.80 µm, 0.7 ms; (g) 2.00 µm, 2.8 ms; (h) 4.80 µm, 2.8 ms (axial). Each strip shows ∣E∣|E| during one hologram update at t/T=0t/T = 0, 0.18, 0.36, 0.55, 0.75 and 1.00 (top to bottom), with 30 of 600 Monte Carlo atoms overlaid.

While MC survival numbers are imperfect due to LC settle curve inaccuracy (especially overestimation of settle times), spot shape inaccuracy, and not accounting for optical aberration, we recover d0d_0 values within 8% of atomic measured values both radially and axially, as shown in Figure S6. The main mismatch between atom data and MC data is a larger site-to-site spread of survival in simulation versus a smaller spread in real atoms, an effect that is difficult to fully eradicate due to calibration limitations. Absolute temperature values also do not match well. However, ordering of the important observables (survival and heating) across periods and step sizes align between MC and atoms, so the conclusions made are qualitatively consistent, especially when combined with real atom data.

We continue with our discussion on the effect of period on vmax⁡v_{\max}. Even though dcd_c is theoretically constant, we clearly measure difference in achievable step size between periods 0.7 ms and 2.8 ms (Figure 2). The simplest possibility is reduced trap depth: at lower period, Eq. (7) predicts that more tweezers will be superposed at any one moment. Thus transient trap depth should go as

min⁡∣E∣2∝(Td)2(9)\min|E|^2 \propto\left(\frac{T}{d}\right)^2 \tag*{(9)}

which decreases for very short periods as the beam intensity spreads across a larger area, meaning that atoms can easily evaporate out of the shallow light. To probe this, we sweep over laser power (Figure S3) and find that the loss at a given step size is still much larger at lower period. It seems we are not limited by trap depth at our operating laser power—our 418 µK traps, even dimmed during transport, are plenty deep enough for our initially 7 µK atoms. Increasing laser power hardly changes vmax⁡v_{\max} and certainly does not close the period gap. MC simulation with varying initial trap powers confirms that trap depth does not significantly change vmax⁡v_{\max}. Reduced trap depth is therefore not the primary cause.

Effect of trap depth on maximum movement distance for radial and axial motion

Figure S3. Effect of trap depth on d0d_0. Maximum movement distance d0d_0 versus log-scaled trap depth across periods and axes. Vertical dashed line in each graph represents our normal operating point U0=418 μU_0 = 418\,\muK. Each d0d_0 value is linearly interpolated from survival versus step size curves as in Figure 2c. Trap depth is controlled by laser power and measured as in S3; a smaller array is used to increase trap depth range. (a) Radial d0d_0 versus trap depth at T=0.7,2.8T = 0.7, 2.8 ms. A d0d_0 plateau is apparent around and above U0U_0. (b) Axial d0d_0 versus trap depth at T=0.7,2.8T = 0.7, 2.8 ms. d0d_0 increases slightly above U0U_0 trap depth but seems to be slowing down. Both radially and axially, increasing laser power up to ∼5U0\sim5U_0 slightly increases d0d_0 but does not close the gap between the two periods.

In the multi-step transport during actual rearrangement, frames are refreshed consecutively at a steady period of 0.7 ms. This leads to another effect predicted by LC and MC simulation: a large portion of atom loss comes from the atoms exiting the traps of the initial frame. Since the first fully settled trap fades more slowly than the later transient traps, the second trap begins to fade out while the atom is still in the initial trap, making the direct jump necessary for atom survival much farther, all the way to the third or fourth trap. This effect, of a large loss at the second frame, is mirrored in both radial and axial atom data when we measure the loss at increasing step count, as in Figure S4. Even accounting for entry shock, however, the steady state per-step loss is still greater at shorter period than longer period at matched step size (equivalently, as shown in the figure, steady state loss matches at a higher step size for longer period).

Loss rate during transport

Figure S4. Loss rate during transport. Log-scaled survival vs. nn, number of steps of transport. Step sizes are approximately chosen to produce a reasonable survival after 20-25 steps. A straight line indicates exponential, memoryless survival. (a) Radial (+x+x) transport. Entry shock is visible at T=0.7T = 0.7 ms as survival drops significantly during the second step; however, in steps 10-25, steady state loss rate at T=0.7T = 0.7 ms, d=0.7d = 0.7 µm approximately matches steady state loss rate at T=2.8T = 2.8 ms, d=0.8d = 0.8 µm—on top of entry shock, there is still an impact of period on achievable step size. (b) Axial asymmetric ping-pong transport: atoms are transported outward in −z-z with many <1< 1 µm steps, which are measured to be lossless and cause insignificant heating. Number of steps then tracks the number of steps in the return trip (+z+z) at the commanded step size dd. For long period axial motion (T=2.8T = 2.8 ms, d=4.4d = 4.4 µm), there is a super-exponential region and then a sub-exponential region, while for short period axial motion (T=0.7T = 0.7 ms, d=3.7d = 3.7 µm), the error bars are much larger and loss rate seems to fluctuate and decrease to near-zero on average across steps 10-25.

Looking closer, simulation instead points to the breakdown of the coherent superposition approximation, Eq. (7). In this short-period regime, the LC does not settle before each commanded frame, and pixels that must travel far in retardance (e.g. across the entire 2π2\pi modulation depth due to phase wrapping) make the realized field depend non-linearly on several preceding frames. This produces pseudo-random perturbations from superposition that soften the bifurcation threshold. Below the nominal dcrd_c^r, bifurcations become more frequent, and near-bifurcations more frequent and more severe, so heating and loss set in earlier (Figure S5). Across radial and axial transport in MC simulation, nearly all lost atoms are first displaced from the trap during or immediately after a bifurcation or near-bifurcation, while atoms that experience neither are essentially never lost.

Bifurcation rate versus step size across periods and axes

Figure S5. Bifurcation rate versus step size across periods and axes. Fraction of transitions in which the simulated tweezer bifurcates, (a) radially along +x+x and (b) axially along +z+z (dark) and −z-z (light), at frame periods of 0.7 ms (solid, filled) and 2.8 ms (dashed, open). The radial (axial) step dd is given in units of dcrd_c^r (dczd_c^z). Each point pools 1280 steady-state transitions simulated with our calibrated LC response; error bars are 95 % Wilson intervals. Radially, faster pacing raises the bifurcation rate below dcrd_c^r while the curves cross at d=dcrd = d_c^r; axially the ±z\pm z asymmetry is apparent, and there is a slight bifurcation rate change with period.

Note also that bifurcations separate more fully at lower period, as the commanded spot has more updates to move forward and away from the trailing spot, leaving atoms stranded more easily and making slight bifurcation more lethal. On this note, bifurcation does not immediately cause loss; atoms that survive near- or full bifurcations are often recaptured hotter, and are more likely to evaporate over the following steps. This leads to a small accumulation effect of loss, even at small step sizes, which is most prominently seen when we extend to hundreds or thousands of steps (Figure 2i).

There are several features of axial transport that we cannot fully explain. First, we see significant ±z\pm z asymmetry (Figure S6). We see this effect in simulation, and isolate it to the non-single-exponential nature of the LC dynamics by ablation of complexity in our LC calibration. Second, axial heating (Figure 2b) and survival versus number of steps (Figure S4) both imply an interaction between heating and loss other than the simple accumulation and evaporation we see radially. We hypothesize that axial transitions might selectively kill hotter atoms while leaving colder atoms untouched, which could lead to the sub-exponential survival curve we see over number of steps and the lower-than-expected measured temperatures versus step size.

We also use MC simulation to predict results beyond our physical limitations. With arbitrarily low period TT on our current SLM, we could approach vmax⁡∼1.7 μm/msv_{\max} \sim1.7\,\mathrm{\mu m/ms} (∼2×\sim2\times our Tmin⁡T_{\min} speed). But what would happen if we had a faster SLM with the same proportional dynamics [5, 6, 7, 8]? Simulating radial transport with proportionately sped-up LC dynamics and correspondingly shorter update periods, transport speed scales nearly linearly with settle speed up to MHz update rates. At these rates trap depth becomes the limiting factor, so faster LC response and deeper traps must be pursued together. At our current trap depth, a MHz SLM could already reach radial transport speeds on the order of ∼0.1 m/s\sim0.1\,\mathrm{m/s}, comparable to those used in AOD-based rearrangement [9, 10].

Rearrangement Pipeline

Path Matching

In practice, both the initial array for atom loading and the final target array are optimized via the WGS algorithm to have nearly uniform trap depth. The loading array is designed to have enough extra sites such that loaded atoms will almost always fill the final array, and it is arranged in image-space to minimize average atomic movement path distance to the final array. After fluorescence imaging, we use a blocked version of the Hungarian algorithm [4] to assign near-optimal paths between loaded sites and target sites. We account for survival probability based on both movement distance and imaging fidelity (utilizing a slight excess of loaded atoms relative to target grid size) by assigning a cost function to each path based on both total movement distance and Gaussian-mixture probability of atom presence:

C(xi,xf)=−log⁡(P(xi→xf))=−log⁡(pstepn⋅pi)=n∥xf−xi∥2/(βn2)−log⁡pi∝∥xf−xi∥2−βnlog⁡pi(10)\begin{aligned} C(x_i,x_f) &= -\log(P(x_i \to x_f)) \\ &= -\log(p_{\mathrm{step}}^{n}\cdot p_i) \\ &= n\lVert x_f-x_i\rVert^2/(\beta n^2)-\log p_i \\ &\propto\lVert x_f-x_i\rVert^2-\beta n\log p_i \tag*{(10)} \end{aligned}

where in the first term we assume a very conservative (but tiebreaking) per step Gaussian survival probability, with variance β/2\beta/2, and step number nn. pip_i in the second term is the imaging fidelity for site ii; this selects paths that most effectively minimize distance while disregarding empty or uncertain loaded atoms, protecting against sites with particularly bad imaging fidelity. In 3D, the path length can be generalized to a weighted Euclidean distance, where xyxy distance weights ∼(dcz/dcr)2\sim(d_c^z/d_c^r)^2 more than zz distance due to the difference in achievable step size. We optimize the second term by sweeping across β\beta values on our kagome lattice rearrangement (the larger loading array has smaller trap depths and therefore lower-quality imaging in our setup), settling on β=50 μm2\beta= 50\,\mu\mathrm{m}^2. The block size of the Hungarian algorithm can be tuned for the fastest possible result, leading to very little scaling with reasonable NN. The path-matching precompute time is around 9 ms for ∼\sim2000 atoms, only limited by CPU threading power.

After calculating the atomic trajectories, we discretize each path into nn equally spaced intermediate positions, one per frame. We then generate a hologram for each frame to produce the target position and phase of every tweezer. As with position, we linearly interpolate the tweezer phase from the loading tweezer’s phase to the target tweezer’s phase, both of which are fixed from trap-depth uniformity optimization. This interpolation is straightforward in the xyxy plane, but along zz, we must account for the Gouy phase (S6).

2D Hologram Generation

We mainly explore two methods for hologram generation. Following Lin et al., we train a 10-layer, 19k-parameter convolutional neural network (SLMnet) to approximate WGS in a single forward pass [4]. We then finetune the model on realized far-field fidelity, including the coefficient of variation of tweezer intensities (CV) and the fraction of light near the target tweezers (hologram efficiency). SLMnet takes continuous, arbitrary tweezer positions as input and produces an atom plane array that can be inverse Fourier transformed to produce the desired SLM pattern. Intuitively, the CNN “dirties up” the input target, adding diffraction sidelobes and generating a near-realizable light field phase, so that a single unpadded inverse Fourier transform can produce a usable hologram. With CUDA graphing, kernel fusion, and compilation, SLMnet frame generation takes median 0.662 ms <Tmin⁡< T_{\min}. By training SLMnet to reproduce the tweezer phases that WGS happens to produce, the model learns tweezer phase control (rms error ∼0.15\sim0.15 rad).

We also test another proposed method for generating frames: warm-WGS [3, 11, 12]. Since consecutive frames are similar in both atom-plane target and hologram phases, WGS should require fewer iterations to converge for a particular frame’s target if seeded from the previous frame. Typical WGS does not guarantee phase control, but simply by replacing both the amplitudes and the phases near the tweezers each iteration, we can achieve both position and phase control in a few warm iterations. To achieve sub-Tmin⁡T_{\min} inference with warm-WGS on our single RTX 5090 GPU, we zero-pad only to 2048×20482048 \times2048, and we can afford to perform up to 3 iterations in 0.649 ms<Tmin⁡0.649\ \mathrm{ms}<T_{\min}. At 1024×10241024 \times1024 padding, we can afford 8 iterations, but simulated fidelity and positional control are worse. See Figure 3c. (We also measure rearrangement performance at 10242×81024^{2} \times8, which as expected does not beat performance at 20482×32048^{2} \times3).

Note that to characterize performance of our frame generation methods in simulation, we define simulated fidelity

Fsim=∣∑iaieiδϕi∣2N∑iai2(11)F_{\mathrm{sim}}=\frac{\left|\sum_i a_i e^{i\delta\phi_i}\right|^2}{N\sum_i a_i^2} \tag*{(11)}

with aia_i the realized amplitude of tweezer ii and δϕi\delta\phi_i its phase error relative to the commanded phase; global phase and overall power are free. Two kinds of error lower this overlap: uneven tweezer intensities and phase deviations. We quantify the first by the coefficient of variation of the tweezer intensities Ii=ai2I_i=a_i^2, CVI=σI/Iˉ\mathrm{CV}_I=\sigma_I/\bar{I}, which is the standard deviation divided by the mean across tweezers. For small errors the amplitude spread is half the intensity spread (CVa≈CVI/2\mathrm{CV}_a\approx\mathrm{CV}_I/2), so to first order

1−Fsim≈CVI2/4+var⁡(δϕ).(12)1-F_{\mathrm{sim}}\approx\mathrm{CV}_I^2/4+\operatorname{var}(\delta\phi). \tag*{(12)}

Some technical details about warm-WGS—Define A=1024A=1024 as the SLM resolution and PP as the zero-padding resolution, in our case 2048. We repeat the following K=3K=3 times per frame, starting from the previous frame’s ϕ\phi and WjW_j:

  1. Measure: mj=∣∑uwj(u)F(u)∣m_j=\left|\sum_u w_j(u)F(u)\right|, \quad F=FP[Beiϕ]F=\mathcal{F}_P[Be^{i\phi}]

mj=∣∑uwj(u)F(u)∣,F=FP[Beiϕ](13)m_j=\left|\sum_u w_j(u)F(u)\right|,\qquad F=\mathcal{F}_P[Be^{i\phi}] \tag*{(13)}
  1. Reweight: Wj←Wj(aj/mj)γ1N∑kWk(ak/mk)γW_j\leftarrow\dfrac{W_j(a_j/m_j)^\gamma}{\frac{1}{N}\sum_k W_k(a_k/m_k)^\gamma}

Wj←Wj(aj/mj)γ1N∑kWk(ak/mk)γ(14)W_j\leftarrow\frac{W_j(a_j/m_j)^\gamma}{\frac{1}{N}\sum_k W_k(a_k/m_k)^\gamma} \tag*{(14)}
  1. Paint: T(u)=∑jWjeiθjw~j(u)T(u)=\sum_j W_j e^{i\theta_j}\widetilde{w}_j(u)

T(u)=∑jWjeiθjw~j(u)(15)T(u)=\sum_j W_j e^{i\theta_j}\widetilde{w}_j(u) \tag*{(15)}
  1. Update: ϕ←arg⁡FP−1[T]∣A×A\phi\leftarrow\arg\mathcal{F}_P^{-1}[T]\big|_{A\times A}

ϕ←arg⁡FP−1[T]∣A×A(16)\phi\leftarrow\left.\arg\mathcal{F}_P^{-1}[T]\right|_{A\times A} \tag*{(16)}

Eq. (13) measures how bright tweezer jj is in the light field that the current hologram produces. That field is F=FP[Beiϕ]F=\mathcal{F}_P[Be^{i\phi}], the centered discrete Fourier transform of the SLM field, where BB is the illumination amplitude and ϕ\phi is the hologram phase. F(u)F(u) is its complex amplitude at pixel uu of the P×PP\times P far-field grid. wj(u)w_j(u) is the weight of the tweezer amplitude at pixel uu. To measure tweezer jj, we compare this field with a picture of what an ideal tweezer looks like at that tweezer’s position. A tweezer usually sits between pixels, so this picture spreads it over the four nearest pixels. Each of those pixels gets a real bilinear-interpolation weight, and the weight is larger the closer the pixel is to the tweezer. The weights are zero everywhere else and add up to one, ∑uwj(u)=1\sum_u w_j(u)=1. The inner product ∑uwj(u)F(u)\sum_u w_j(u)F(u) therefore measures how closely the light around the tweezer matches the ideal one, and its modulus is mjm_j. The complex values are added before the modulus is taken. Light that reaches the four pixels with matching phases therefore adds up, and light with conflicting phases partly cancels.

Eq. (15) goes the other way: it writes the light field we want into a new target field T(u)T(u). Each tweezer contributes a complex amplitude WjeiθjW_j e^{i\theta_j}, where WjW_j is its equalization weight and θj\theta_j is its commanded target phase. Its commanded target amplitude aja_j comes in later, in the weight update. This amplitude is not placed on a single pixel. It is spread over the tweezer’s four-pixel patch according to a second picture, w~j(u)\widetilde{w}_j(u), which we call the painting kernel to set it apart from the measuring kernel wjw_j of the first line. Where the patches of neighboring tweezers overlap, their contributions add as complex numbers, and T(u)T(u) is zero outside all patches.

The two kernels answer different questions. The measuring kernel only reads light field at the atom plane that already exists, so comparing that light field with the ideal tweezer picture works directly. The painting kernel has to produce light. On its way to the far-field that light passes through the finite SLM aperture, which blurs it slightly; in Eq. (16) this is the crop ∣A×A\left|_{A\times A}\right.. A painting kernel equal to the ideal picture would therefore come out slightly smeared. In general w~j\widetilde{w}_j must be a pre-corrected picture that turns into the ideal tweezer after this blurring. In 2D, we simplify by setting w~j=wj\widetilde{w}_j = w_j, so painting uses exactly the same weights as measuring; holograms could be improved slightly with more accurate kernels. The later 3D version has more complicated kernels and so we use a separate, corrected w~j\widetilde{w}_j.

Eqs. (14) and (16) close the loop by updating the two quantities that carry over to the next iteration. The weight update compares each tweezer’s measured amplitude mjm_j with its commanded amplitude aja_j. A tweezer that comes out too dim (mj<ajm_j < a_j) has its weight raised, and one that comes out too bright has its weight lowered. The exponent γ\gamma sets how strongly each step corrects. The phase update converts the painted target field back to the SLM plane with the inverse transform F−1\mathcal{F}^{-1}. It keeps only the phase of the result and crops it to the A×AA \times A SLM aperture, which gives the next hologram φ\varphi. One iteration therefore measures the current tweezers, paints a corrected target, and turns that target into a new hologram, and the next iteration measures the light that this hologram produces. Repeating the loop pushes dim tweezers up and bright ones down until every mjm_j matches its aja_j.

At the start of transport, every active trap gets the weight Wj=1W_j = 1, unfilled or unused traps get Wj=0W_j = 0, and φ\varphi is seeded from the loading pattern. After that, both φ\varphi and WjW_j carry over from frame to frame. Each frame therefore starts from the previous frame’s corrected hologram and weights rather than from scratch, and only needs a few iterations to follow the small change in tweezer positions. For simplicity, our implementation measures and paints at the new positions for every step; measuring at the previous frame’s positions on the first iteration would slightly improve the uniformity of moving tweezers.

Both methods, SLMnet and warm-WGS, produce frames faster than Tmin⁡T_{\min}; but under a pure Fourier transform simulation, warm-WGS scores better in intensity uniformity, phase control, and positional control (Figure 3c). They achieve comparable hologram efficiency (∼64%\sim64\% of light lands close to target tweezer positions). WGS also naturally generalizes to a wide variety of array geometries, while SLMnet has to be trained according to its use case. An example is array pitch: while training over mid-arrangement patterns encourages generalization to irregular lattices, we must capture the full range of array spacings during training that we want to use in inference. See Figure S7.

Generalization of the hologram generators across tweezer spacing

Figure S7. Generalization of the hologram generators across tweezer spacing. Hologram error 1−Fsim1-F_{\mathrm{sim}} of the deployed SLMnet (red) and of warm-WGS (2048×32048 \times3, blue) versus tweezer spacing. Each test is a simulated rearrangement (random half-filled lattice →\to compact n×nn \times n array at the same pitch, 12 frames) for n∈{2,…,90}n \in\{2, \ldots, 90\} and spacings of 0.8 μ\mum to 104 μ\mum, wherever the array fits the field of view (42 geometries). Faint points: individual geometries, averaged over ten random loadings. Line: median over array sizes at each spacing. Error bars are 68% bootstrap CIs over loadings. The grey band spans the 0.5–99.5 percentile of the nearest-neighbour spacing of SLMnet’s training frames. On spacings below its training distribution, SLMnet’s error rises by more than an order of magnitude while warm-WGS is unaffected.

We note that SLMnet, by construction, is parallelizable (with enough compute) across nn steps because its frame generations are completely independent. Our implementation of warm-WGS is not, since each frame is seeded from the previous one. However, we find that in simulation, we can achieve comparable hologram quality and computation time by initializing each frame from a superposition of target tweezers; the phase of each tweezer is determined by linear interpolation along the transport path (S8.1). Importantly, this removes the dependence property of warm-WGS, allowing for parallelization (batching over frames) with enough compute. Combined with other improvements such as using the actual optimal wjw_j and w~j\widetilde{w}_j (as below in the 3D case) rather than a bilinear interpolation, even better simulated hologram fidelity is possible in comparable computational time. Note that a single inverse Fourier transform of the superposition initialization (i.e. 0-iteration WGS) would save significant computation time (∼\sim0.1–0.3 ms on our GPU depending on padding); this could possibly generate high enough quality for rearrangement while saving more computation time.

3D Hologram Generation

We can also apply both frame generation methods to 3 dimensions. 3D WGS normally forward-propagates the hologram to multiple depth layers each iteration, applying weights and correction to all layers and coherently superposing each corrected layer before the next iteration. We can bypass this computationally expensive multi-layer propagation, however, by using locally defocused splat targets for each tweezer. The 3D WGS algorithm then uses Eqs. (13)–(16) but with γ=0.4\gamma= 0.4 and with different measurement and painting target patterns wjw_j and w~j\widetilde{w}_j. The kernels wjw_j are complex, so we reinterpret the measurement step as an inner product:

mj=∣⟨wj,F⟩∣∥wj∥2=1∑u∣wj(u)∣2∣∑uwj(u)‾F(u)∣.(17)m_j = \frac{|\langle w_j,F\rangle|}{\lVert w_j\rVert^2} = \frac{1}{\sum_u |w_j(u)|^2}\left|\sum_u \overline{w_j(u)}F(u)\right|. \tag*{(17)}

Parseval’s theorem says that, up to a global constant and cropping, the inner product ⟨wj,F⟩\langle w_j,F\rangle equals the field amplitude at the tweezer’s 3D focus (xj,yj,zj)(x_j,y_j,z_j), although FF itself is only the field in the plane z=0z=0. Particularly, one can use a cropped version of a defocus hologram Eq. (4), along with Eq. (2) for radial placement, and set

Lj=ei(hz(zj)+hx(xj)+hy(yj))(18)L_j = e^{i(h_z(z_j)+h_x(x_j)+h_y(y_j))} \tag*{(18)}
wj=FP[Lj]∣S×S.(19)w_j = \mathcal{F}_P[L_j]\big|_{S \times S}. \tag*{(19)}

Note that we use the quadratic approximation kernel Eq. (5) in implementation; the exact spherical form Eq. (4) gives better hologram quality in exchange for slightly more computation time. LjL_j is the combined grating and defocus kernel for the perfect target tweezer, and wjw_j is the discrete Fourier transform of LjL_j at our padding resolution. The crop to dimension S×SS \times S reduces computational complexity, defining the advantage of this algorithm: the kernel size SS is chosen as the smallest window that captures nearly all of the defocus kernel’s energy, which grows linearly with the largest commanded absolute defocus ∣z∣max⁡|z|_{\max}. As one can imagine, a tweezer farther from the focal plane looks more spread out at z=0z = 0. The kernel size SS affects the computation time quadratically, so while multi-plane 3D WGS has time complexity O(LP2log⁡P)O(LP^2 \log P), our 3D warm-WGS is O(P2log⁡P+N⋅∣z∣max⁡2)O(P^2 \log P + N \cdot|z|_{\max}^2), where NN is the number of tweezers and neither term depends on the number of distinct layers LL. The kernel depends only on the tweezer’s zz-coordinate and its sub-pixel offset (the fractional part of its far-field position); we precompute kernels for a finite set of depths and sub-pixel offsets, and at run time each tweezer’s kernel is looked up and shifted to its whole-pixel position. Thus we can arbitrarily place tweezers in xx, yy, and zz (within the range enabled by the kernel size). In practice, we use 2 iterations per frame for middle frames and 5 for the first frame. With these settings, in simulation, 3D warm-WGS reaches the same hologram fidelity as phase-controlled multi-layer WGS in significantly less computation time.

Importantly, painting with the cropped kernel itself, w~j=wj\widetilde{w}_j = w_j, reproduces the defocus lens over the aperture only approximately, since cropping to S×SS \times S discards wjw_j’s outer tails. These tails carry the lens’s high spatial frequencies, which come mostly from the steep defocus phase near the SLM aperture edge. Therefore, we instead paint with the S×SS \times S kernel that best matches the target SLM pattern for a single spot, LjL_j, i.e. the minimum norm solution of

w~j=arg⁡min⁡k∈CS×S∥FP−1[k]−Lj∥A×A2.(20)\widetilde{w}_j = \underset{k \in\mathbb{C}^{S \times S}}{\arg\min}\left\|\mathcal{F}_P^{-1}[k] - L_j\right\|_{A \times A}^{2}. \tag*{(20)}

This is quadratic optimization: by linearity, we can write it in closed form w~j=G+wj\widetilde{w}_j = G^{+}w_j, with G+G^{+} the Moore–Penrose pseudo-inverse of the aperture overlap matrix Gdd′=FP[1A×A](d−d′)G_{dd'} = \mathcal{F}_P[1_{A \times A}](d - d'). Intuitively, Gdd′G_{dd'} is the fraction of light painted at far-field pixel d′d' that returns to pixel d′d' after passing through the A×AA \times A aperture; it depends only on the separation d−d′d - d'. So the same G+G^{+} serves all depths and tweezers. This correction is necessary to make full use of the padding when P>AP > A.

For the 10 μ\mum maximum spacing in Figure 1’s demos, we can generate frames in ≈0.56\approx0.56 ms by centering on the 5 μ\mum midpoint between layers and post-applying a defocus kernel, rather than running the algorithm with ∣z∣max⁡=10|z|_{\max} = 10 μ\mum.

Another option is to train a 3D SLMnet model in the same way as the 2D version is trained, but encoding input position, phase, and depth by using the defocused splat targets. We try this but achieve lower simulated fidelity with higher computation time than 3D warm-WGS; however, because kernel size is non-trivial in our 3D warm-WGS algorithm, scaling in the number of tweezers NN becomes significant much past our ∼103\sim10^3. Thus 3D SLMnet, which has the potential to scale much more slowly in NN and ∣z∣max⁡|z|_{\max}, could be useful for very large 3D arrays.

Overdrive

When a frame is commanded, and the SLM applies a voltage to LC backplane, each liquid crystal pixel immediately starts to relax from its instantaneous phase ψ0\psi_0 towards the commanded pixel phase we send to the SLM, ψc\psi_c. Call the target pixel phase ψ1\psi_1. In general, the LC response for a single pixel goes as ψ(t,ψ0,ψc)\psi(t,\psi_0,\psi_c), where we enforce ψ(0,ψ0,ψc)=ψ0\psi(0,\psi_0,\psi_c)=\psi_0 and ψ(t→∞,ψ0,ψc)=ψc\psi(t \to\infty,\psi_0,\psi_c)=\psi_c. (Our LC calibration defines ψ\psi by (1) but with t↦τ(ψc,sign⁡(ψc−ψ0))t \mapsto\tau(\psi_c,\operatorname{sign}(\psi_c-\psi_0)), a time constant set by commanded phase and direction of the transition, interpolated from measured values.) For any finite TT, especially for T≲τ0T \lesssim\tau_0, the next frame update occurs before the pixel has reached the commanded value. If we want each hologram to be displayed exactly on time, then, we would like to solve

ψ(T,ψ0,ψc)=ψ1(21)\psi(T,\psi_0,\psi_c)=\psi_1 \tag*{(21)}

for ψc\psi_c; to do so, we make the reasonable simplifying assumption that, for fixed TT and ψ0\psi_0, ψ\psi is continuous and strictly increasing in ψc\psi_c. ψc\psi_c then is unique if it exists. Furthermore, if ψ1\psi_1 is between ψmin⁡=ψ(T,ψ0,0)\psi_{\min}=\psi(T,\psi_0,0) and ψmax⁡=ψ(T,ψ0,2π)\psi_{\max}=\psi(T,\psi_0,2\pi), by the intermediate value theorem, there exists ψc(T,ψ0,ψ1)\psi_c(T,\psi_0,\psi_1) that satisfies Eq. (S21). Commanding phase ψc\psi_c will result in the pixel having phase ψ1\psi_1 at the next frame update; the same logic then repeats for the following transition with initial phase ψ1\psi_1 and target phase ψ2\psi_2. This protocol is known as overdrive [13].

It is not immediately clear how often we can achieve phase ψ1\psi_1 in time TT. However, monotonicity and the reasonable assumption ψ(t,ψ0,ψ0)=ψ0\psi(t,\psi_0,\psi_0)=\psi_0 (commanding the current instantaneous phase freezes the state of the pixel) give the inequality

ψmin⁡≤ψ0≤ψmax⁡.(22)\psi_{\min} \leq\psi_0 \leq\psi_{\max}. \tag*{(22)}

That is, depending on where ψ0\psi_0 sits in [0,2π)[0, 2\pi), how far ψ1\psi_1 is, and the value of TT relative to τ0\tau_0, there is some space [ψmin⁡,ψmax⁡][\psi_{\min}, \psi_{\max}] around ψ0\psi_0 where ψ1\psi_1 can sit and ψc\psi_c will exist. Our typical assumption of small hologram changes ∣ψ1−ψ0∣≪2π|\psi_1-\psi_0| \ll2\pi suggests that, for a given pixel, there exist fairly low TT such that ψc\psi_c exists.

In practice, we relax the requirement of reaching the target hologram exactly in TT: for each transition, we set a maximum clamping fraction α\alpha and then define T∗T^* as the smallest period such that Eq. (21) with T↦T∗T \mapsto T^* has no solution for at most a fraction α\alpha of the pixels in the LC display. We take T∗←max⁡(T,T∗)T^* \leftarrow\max(T,T^*), and then we assign ψc\psi_c for pixels where ψc(T∗,ψ0,ψ1)\psi_c(T^*,\psi_0,\psi_1) is well-defined and ψc∈{0,2π}\psi_c \in\{0,2\pi\} in the direction from ψ0\psi_0 to ψ1\psi_1 otherwise. Importantly, we keep track, using our LC calibration, of where we expect our pixels to be, and use this to seed ψ0\psi_0 for the next transition. The first transition is seeded from the settled SLM state, and the last frame, which is left to settle, is not overdriven. Operationally, we approximate the T∗T^* construction by scaling down every pixel’s overshoot past ψ1\psi_1 by a common factor, choosing the largest factor for which at most a fraction α\alpha of pixels fall outside [0,2π][0,2\pi] (these are clamped).

Intuitively, we choose α\alpha large enough so that T∗T^* remains small, and small enough to control the number of pixels that lag behind the rest. α=1\alpha=1 (unconstrained overdrive) would mean T∗=TT^*=T, so pixels with ψc\psi_c defined would reach their targets at the next update, and pixels without a ψc\psi_c would be commanded to 0 or 2π2\pi and lag behind. α=0\alpha=0 would force a high enough T∗T^* such that ψc\psi_c exists for all pixels; inevitably, a few wrapping pixels that travel a phase difference 2π−ϵ2\pi-\epsilon will dominate, forcing T∗T^* to grow far beyond TT and leaving speed on the table for the sake of outlier pixels (T∗∼τ0ln⁡(2π/ϵ)T^* \sim\tau_0 \ln(2\pi/\epsilon) for exponential relaxation). We heuristically choose α=0.2\alpha=0.2. Then overdrive is designed such that, within our calibration model, ψ\psi will converge at least as close to ψ1\psi_1 within the period TT each transition as it would have with no overdrive:

∣ψ(T,ψ0,ψc(T∗,ψ0,ψ1))−ψ1∣≤∣ψ(T,ψ0,ψ1)−ψ1∣.(23)|\psi(T,\psi_0,\psi_c(T^*,\psi_0,\psi_1))-\psi_1| \le|\psi(T,\psi_0,\psi_1)-\psi_1|. \tag*{(23)}

We find that overdrive’s better convergence yields faster transport by effectively accelerating the LC response (Figure 3b); this effect is resistant to LC calibration error and LC pixel lag caused by clamping.

Methods clarifications

All error bars in main text figures are bootstrapped 68% CIs, floored at binomial error, unless stated otherwise. All stated error bars in main text are at least as large as our statistical uncertainty, where some are rounded up for consistency and readability. We generally filter out shots with abnormally long frame generation times; abnormally low loading; or in which the real-time atom detection used for path planning disagreed with the final image analysis by more than ∼\sim5–10% (typically dim-imaging).

(Figure 1b,Figure 1c) We first rearrange our 1068 site lattice into a checkerboard, and then we lift a subset of atoms. The 41-site checkerboard regions share stationary boundary sites, but each region still lifts 16 atoms into the second plane.

(Figure 1b) For line lifting, we achieve average filling 92.9% across 536 sites using 196 frames at 2.0 ms period (slight frame time aliasing does not have a significant effect). This is dominated by loss in the static loading layer, likely caused by interference between moving and static tweezers; the lifted layer achieves 96.2% filling on average. Measured over 44 of 60 kept shots.

(Figure 1c) For triangular lattice lifting, we achieve average filling 96.7% across 536 sites using 41 frames at 2.0 ms period. Measured over 28 of 30 kept shots.

(Figure 2c) d0d_0 is obtained for each period by interpolating the 50-step survival curves of (a) and the analogous 80-step versions of (b), with survival threshold 0.9980=0.450.9980=0.45 in place of 0.9950=0.610.9950=0.61. Note that the axial data in (c) come from n=80n=80 ping-pong steps (40 each way) rather than 50 (25 each way) as in (b), taken on a different day, at a slightly different focal plane, and in +z+z first (whereas the (b) data is 50-step ping-pong, −z-z first); the MC bands match accordingly. All numbers quoted in the main text come from (b) rather than this 80-step curve. The trend is consistent, including the roughly threefold increase of vmax⁡v_{\max} at Tmin⁡T_{\min}, and d0d_0 at T=0.7T=0.7 and 2.8 ms agrees between the two datasets to within 11% and 5%, respectively; the 80-step values lie systematically slightly higher (similar to the axial step-count measurements of Figure S4, where at Tmin⁡T_{\min} the loss is concentrated in the first few steps, so the per-step survival rises with nn, the opposite of accumulation; those data extend only to 25 steps). No error bars are included for atom vmax⁡v_{\max} values (they are generally small and do not affect the trend). The width of the MC bands represent ±1\pm1 standard deviation across 15 radial and 3–8 axial simulated sites from the 1068 in the array.

Furthermore, we display Monte Carlo simulation of atoms in the simulated SLM light field with matching protocol to the atom data (S7). The shaded bands represent ±1\pm1 standard deviation of vmax⁡v_{\max} over simulated trap sites (15 radial, 3–8 axial); i.e. site-to-site variation in the simulated array, not statistical uncertainty.

(Figure 2d-Figure 2h) Simulated light field is shown. Figure S8 shows a version of these images along with MC-simulated atoms.

(Figure 2i) 50-step ping-pong (25 each way) is repeated to reach high step counts. We even extend 0.2 µm transit specifically out to 4000 steps and still see no difference from control. The control and d=0.2 μmd = 0.2\,\mu\mathrm{m} curves are fit to memoryless exponentials; the d=0.3 μmd = 0.3\,\mu\mathrm{m} curve is fitted to the control curve times exp⁡[−(c+Anb)]\exp[-(c + An^b)] where nn is step count. We find b=3.06(21)b = 3.06(21), a super-exponential survival decay that indicates accumulation, likely due to heating. Error bars are floored at quasi-binomial.

(Figure 3a) These are representative, cropped single images at n=60n = 60 steps.

(Figure 3b) Shots from all three methods are interleaved with no-movement control shots. Fidelity is normalized to a rolling average over time of no-movement survival to account for system drift and isolate transport loss. Error bars are 68% intervals from a bootstrap over shots that accounts for rare high-loss shots and imposes fidelity ≤1\leq1. Number of frames to 99% fidelity comes from a joint fit of F99(n)=C[1−ϵ(a/n)]nF_{99}(n) = C[1 - \epsilon(a/n)]^n to the plotted points, where aa is the lattice pitch, ϵ\epsilon is an erfc-shaped per-step loss, each method has its own plateau CC and cliff position, and all three share one cliff width. Overdrive reaches every fidelity level from 97% to 99.5% in fewer frames than both other methods; warm-WGS and SLMnet are similar on the cliff and separate only near the plateau n≳54n \gtrsim54.

(Figure 3c) warm-WGS points are 1, 2, 3, 5, 10 and 20 iterations (left to right); SLMnet points are networks with 2, 8, 16, and 24 channels all trained with identical data and protocols (deployed has 16 channels). Measured on frames from 10 seeds of 28-step checkerboard rearrangement. Note that production SLMnet, used e.g. in (b), is technically a different training seed and so differs slightly in performance from the production-size control in this graph. The comparison here is at equal training; results are qualitatively unchanged.

Histogram of rearranged fill fractions

Figure S2. Large array histogram. Distribution of fill fractions resulting from rearrangement of a 3013-site triangular lattice to a 2078-site kagome lattice. Mean 99.01% filling, or around 21 defects. The best shot (Figure 1d) has only 7 defects; over 40 frames, atoms move at a 99th percentile speed of 0.41 μ\mum/ms. Of 200 shots, we remove 5 with abnormally long computational time or low loading, leaving 195 shots. Rearrangement time: shots in this run take median time 56.5 ms from end to end (between images; 56.3 ms for the Figure 1d shot), including 8.9 ms of path planning, 28.1 ms of transit time, and 3.9 ms of precompute buffer. The rest is unoptimized, miscellaneous GPU time.

References

  1. [1]J. Zhu, C. Chen, L. Zhou, X. Xie, C. Jiang, Z. Ding, F. Wu, F. Yang, G. Wang, Q. Gong, P. Zhang, S. Zhang, and P. Peng, High-efficiency loading of 2400 ytterbium atoms in optical tweezer arrays, Phys. Rev. Lett. 137, 063201 (2026).DOI
  2. [2]S. Saskin, J. T. Wilson, B. Grinkemeyer, and J. D. Thompson, Narrow-line cooling of ytterbium atoms in an optical tweezer array, Phys. Rev. Lett. 122, 143002 (2019).DOI
  3. [3]H. Kim, M. Kim, W. Lee, and J. Ahn, Gerchberg-saxton algorithm for fast and efficient atom rearrangement in optical tweezer traps, Optics express 27, 2184 (2019).DOI
  4. [4]R. Lin, H.-S. Zhong, Y. Li, Z.-R. Zhao, L.-T. Zheng, T.-R. Hu, H.-M. Wu, Z. Wu, W.-J. Ma, Y. Gao, et al., Ai-enabled parallel assembly of thousands of defect-free neutral atom arrays, Physical Review Letters 135, 066002 (2025).DOI
  5. [5]X. Wei, Z. Li, A. V. Karve, A. L. Shaw, D. I. Schuster, and J. Simon, A 10 megahertz spatial light modulator (2026), arXiv:2601.08906.arxiv.org/abs/2601.08906
  6. [6]E. Bytyqi, J. Sinclair, J. Ramette, and V. Vuletić, Device for mhz-rate rastering of arbitrary 2d optical potentials, Optics Letters 51, 3729 (2026).
  7. [7]A. D. Deters, Y. Li, A. Douglas, M. Greiner, and A. W. Young, Ultrafast and high resolution spatial light modulation for cold atoms (2026), arXiv:2608.18071.arxiv.org/abs/2608.18071
  8. [8]B. Zhang, P. Peng, A. Paul, and J. D. Thompson, Scaled local gate controller for optically addressed qubits, Optica 11, 227 (2024).
  9. [9]G. Pichard, D. Lim, É. Bloch, J. Vaneecloo, L. Bourachat, G.-J. Both, G. Mériaux, S. Dutartre, R. Hostein, J. Paris, B. Ximenez, A. Signoles, A. Browaeys, T. Lahaye, and D. Dreon, Rearrangement of individual atoms in a 2000-site optical-tweezer array at cryogenic temperatures, Phys. Rev. Appl. 22, 024073 (2024).DOI
  10. [10]N.-C. Chiu, E. C. Trapp, J. Guo, M. H. Abobeih, L. M. Stewart, S. Hollerith, P. L. Stroganov, M. Kalinowski, A. A. Geim, S. J. Evered, et al., Continuous operation of a coherent 3,000-qubit system, Nature 646, 1075 (2025).DOI
  11. [11]E. Huang, J. Huang, H. Yao, X. Wang, and J.-G. Liu, Phase-stable hologram updates for large-scale neutral-atom array reconfiguration (2026), arXiv:2604.04600.arxiv.org/abs/2604.04600
  12. [12]T. Zhang, X. Li, H. Zhai, and L. Chen, An algorithm for fast assembling large-scale defect-free atom arrays (2026), arXiv:2604.08669.arxiv.org/abs/2604.08669
  13. [13]G. Thalhammer, R. W. Bowman, G. D. Love, M. J. Padgett, and M. Ritsch-Marte, Speeding up liquid crystal slms using overdrive with phase change reduction, Opt. Express 21, 1779 (2013).

Paper details

vlnc:W_u4nuqd8z
v1 · latestHistory (1)

published · Fresh — added to the Hub within the last 30 days

added ·

Usage

views · 0

downloads · 0

A view counts once per browser per day, a download each time the PDF is requested.

CC BY 4.0

Original source

  • Physics and Astronomy

Not recorded for this paper · View statement →

Looking for related papers…
Contents