Quantum processors have the potential to significantly advance our understanding of quantum systems. In particular, the programmability of digital quantum devices enables access to highly tunable quantum dynamics and observables. The central challenge, however, is suppressing errors, making quantum error correction essential for large-scale algorithms. In this thesis, I present work on quantum processing with reconfigurable atom arrays, with experiments featuring up to 448 neutral atom qubits, high two-qubit gate fidelities, arbitrary connectivity, and mid-circuit qubit readout and reuse. Using this system, I describe how we realize gate-based quantum simulations. In particular, we experimentally study Kitaev’s honeycomb model and explore hardware-efficient fermion-to-qubit encodings. We then leverage unique opportunities with atoms to study the key building blocks of scalable quantum error correction. These include below-threshold performance, deep computation at constant entropy, and universal logical gates. Together, these experiments highlight unique near-term opportunities with atom arrays and chart a path toward future large-scale atomic processors.
Quantum computers have the potential to solve certain problems exponentially faster than classical computers. However, realizing this potential in practice is a major challenge, as it requires precise control over large-scale quantum systems operating at extremely low error rates. Quantum error correction (QEC) provides a path to achieving such error rates, but its substantial resource overhead poses a significant practical barrier. In addition, identifying which computational problems offer a provable quantum advantage—and which remain fundamentally intractable—remains an open question. This thesis presents progress towards addressing both of these challenges. The first part of this thesis describes advances that substantially reduce the resource overhead of QEC. We begin by presenting realizations of logical circuits in dynamically reconfigurable arrays of neutral atoms. By jointly decoding the logical qubits, we reduce the cost of implementing such transversal Clifford circuits by a factor proportional to the code distance. We then develop new theories of fault tolerance to extend these savings to universal quantum computation with magic state inputs. Finally, we introduce techniques for fast correlated decoding, enabling practical implementations of these improvements in experimental hardware. Collectively, these advances accelerate progress toward large-scale computation and reduce the cost of QEC by over an order of magnitude. The second part of the thesis explores the relative power of quantum and classical computation in combinatorial optimization, a class of problems that is ubiquitous in science and engineering and foundational to the theory of computational complexity. We experimentally implement the optimized quantum adiabatic algorithm (QAA) in neutral atom arrays and observe evidence of a superlinear speedup over classical simulated annealing on certain hard problem instances. To interpret these results, we develop a theoretical framework to compare the performance of QAA with a broad class of classical Markov chain Monte Carlo algorithms. We identify conditions under which a quantum quadratic speedup is achievable and propose modifications to the QAA to reliably realize this advantage. Together, these contributions advance both the practical implementation and theoretical understanding of quantum algorithms.
Quantum computers open new scientific avenues, from exploring complex quantum mechanical systems to new computational paradigms, but face the fundamental challenge of decoherence. Remarkably, decoherence can be prevented by creating highly entangled states of physical qubits that encode an error-corrected “logical” qubit. This thesis will describe the development of quantum computing with reconfigurable arrays of neutral atoms and their use for quantum processing with logical qubits. Quantum processing in this approach is based on the coherent transport of atoms shuttled by optical tweezers, enabling any-to-any connectivity, high-fidelity programmable logic, and mid-circuit processing within a zoned architecture. Logical qubit processing is greatly facilitated by parallel control and transversal operations, and is used for experiments ranging from entangling logical qubits to their use for precise simulation of quantum scrambling. Core physical mechanisms for achieving deep-circuit, universal algorithms with logical qubits are identified, and these are leveraged into new techniques that greatly reduce overheads for large-scale computation. Finally, applications of quantum processors will be explored via analog and gate-based quantum simulations. These results, alongside other recent advances, herald a transition to error-corrected quantum processing, establishing foundations that can enable future large-scale quantum computers and their useful applications.
Programmable quantum systems provide insights into many-body quantum phenomena and enable new methods for computation and metrology. The frontier challenge for these systems is scaling up in the number of quantum particles while retaining a high degree of quantum control. In recent years arrays of neutral atoms have emerged as a scalable and powerful platform for tackling these challenges, thanks to their large number of qubits, flexible geometry, and a well-established toolbox for preparation, detection, coherent control. At the forefront of quantum science and engineering, these systems have been used for quantum simulation of various spin models and have also demonstrated building blocks of quantum computation. In this thesis I will present advances in development of large two-dimensional atom arrays, where hundreds of individual atoms are trapped, rearranged, and initialized in various defect-free arrangements in one or two dimensions. Afterwards, interactions between atoms is controlled via coherent excitation to highly excited Rydberg states, resulting in strong long-range van der Waals forces. We utilize these interaction for quantum simulation of many-body spin Hamiltonians by demonstrating preparation of several exotic phases of matter, study phase transitions, and probe non-equilibrium dynamics. Further, we study the quantum speedup in solving a hard combinatorial optimization problem via efficiently mapping the problem onto the Rydberg atom array. We also utilize Rydberg interactions to demonstrate high-fidelity two-qubit gate operations in a reconfigurable atom array architecture. Lastly I will demonstrate recent technical improvements that have enabled larger system sizes, higher fidelity rydberg excitations, and local control of individual atoms, paving the way for novel approaches for studying quantum many-body phenomena.
Neutral atom quantum computing utilizes laser-trapped neutral atoms as qubits and realizes quantum logic gate operations through Rydberg-state interactions. In recent years, it has become one of the most vibrant directions in quantum computing hardware. This paper systematically reviews the working principles of neutral-atom quantum computers, including qubit encoding, atom trapping and manipulation, Rydberg states and interactions, the Rydberg blockade quantum gate mechanism, and atom rearrangement with reconfigurable architectures. The mainstream technical routes are surveyed, represented by optical tweezer arrays combined with Rydberg interactions, optical lattice schemes, and dipole trap arrays. A panoramic review is provided of domestic and international research progress from theoretical foundations in 2000 to the latest achievements in 2026, including thousand-qubit-scale systems, logical qubits, and quantum error correction experiments. Key breakthroughs are highlighted, such as the 6100-atom qubit array, continuous operation of a 3000-qubit system, quantum simulation of the Kitaev honeycomb model, toric code error correction demonstrations, encoding rates exceeding 1/2, and fault-tolerant architectures. The core bottlenecks are analyzed in depth, including the scalability--fidelity trade-off, engineering implementation of quantum error correction, atom loss and mid-circuit replenishment, laser system industrialization, control electronics scalability, and long-distance quantum interconnection. This paper aims to provide a systematic reference for academic research and technological development in this field.
The power of quantum computation derives from algorithmic methods that exploit the availability of quantum superposition and entanglement to perform computations that are intractable with classical devices. The race is on to develop hardware that will unleash the promise of quantum algorithms. A handful of different types of hardware are currently being developed with the greatest efforts directed at superconducting, quantum-dot, trapped-ion, photonic, and neutral-atom approaches [1]. While all approaches have strengths and weaknesses, and are at different stages of development, the challenge of creating a practical design that can be scaled to a million or more qubits has not yet been met with any of the existing platforms. One may wonder if we really need a million qubits for a useful quantum computer. The answer depends on our ambition level. On the one hand it is widely believed that a quantum computer with less than 100 reliable qubits will be able to demonstrate a quantum advantage for a well defined computational problem [2]. Demonstration of a quantum computational advantage will generate great excitement in the halls of academia, but will have little broader import. A problem of great practical interest such as ab initio design of chemicals for increasing the yield of fertilizers for crop production, to name but one example, may also require just a few hundred qubits, provided computational sequences with circuit depth of 1010 or more operations can be reliably performed [3]. However, given the current performance of qubit hardware, which has demonstrated error rates not less than ∼10−3, computations with depth 1010 will only produce random outcomes of negligible value. The solution lies in the construction of error-correction circuitry operating on logical qubits, each composed of many physical qubits, which will enable logical error rates many orders of magnitude smaller than physical error rates. Although error correction is remarkably efficient for classical computing devices—Hamming codes detect and correct errors while only requiring roughly 10% overhead in the number of physical bits—quantum error correction is notoriously expensive. New approaches to error correction are the subject of intensive research with one promising direction being the development of codes that are optimized to suppress the dominant error mechanism in a particular physical platform [4,5]. Nevertheless, with physical error rates of 10−4, a plausible target for current qubit systems, the overhead required to reach logical error rates of 10−10 may be measured in thousands of physical qubits for each logical qubit. Thus a quantum computer able to perform deep calculations on a few hundred logical qubits could require a million physical qubits. A consequence of the cost of quantum error correction is that any viable approach to large-scale quantum computing needs to combine high-fidelity quantum logic operations with a capability for integrating large numbers of physical qubits. From this perspective neutral-atom qubits appear particularly promising [6] as they have already demonstrated control of more qubits than any other platform with recent experiments in 1D [7], 2D [8,9], and 3D [10] geometries showing control of up to 50 atomic qubits. Large qubit arrays can potentially be prepared in 1D, 2D, or 3D geometries. The number of proximal qubits increases with the dimensionality, which is advantageous for implementation of error correction code words, and points towards a preference for 2D or 3D arrays. On the other hand, the added overhead of compensating crosstalk incurred when targeting atoms inside a 3D volume makes parallel operations on multiple qubits challenging. A 2D geometry, as shown schematically in Fig. 1, may be an optimal choice since qubit control and measurement can be performed with lasers propagating normal to the plane of the array so that individual qubit sites can be addressed independently. With demonstrated array periods of a few micrometers we require a footprint of less than 1 mm2 for 104 qubits. Conceptual picture of a 2D neutral-atom qubit array. a) High-numerical-aperture lenses project several different wavelengths of light for control and measurement of the qubits. Specific choices of optical wavelengths depend on the atomic species. Not shown are optics for initial laser cooling, transport to the array, beam scanning, and imaging for qubit measurement. b) Averaged fluorescence image of 49 atomic qubits on a 2D grid with |
3.8μm| spacing [8]. From a fundamental perspective the prospects for scaling neutral-atom systems are particularly promising due to the exceptionally large ratio between coherent and incoherent coupling rates. Neutral-atom qubits are encoded in hyperfine ground states for which coherence times of the order of 10 s have been demonstrated [10]. This implies a dephasing rate |
γ∼0.1s−1|. The coherent coupling that enables quantum logic operations is switched on by exciting atoms to high-lying Rydberg states with principal quantum number close to 100 [11,12]. Rydberg excited atoms at spacings of a few micrometers in an optical lattice interact coherently with rates |
g>109s−1|. The ratio between desired coherent coupling and residual incoherent dephasing of g/γ ∼ 1010 establishes a figure of merit that is enabling for scalability. To our knowledge only trapped ions can claim a similar g/γ ratio [13], but without a correspondingly direct path towards controlling thousands of qubits in a single processing unit. Although the g/γ ratio is exceptionally favorable for neutral-atom qubits a complete set of universal gate operations has not yet been demonstrated with high fidelity. Single-qubit gates in large 2D and 3D arrays have reached fidelity |
F∼0.999| [8,10]. However, the highest demonstrated fidelity for two-qubit entanglement mediated by Rydberg-state interactions is |
F<0.8| [6,14,15], a value that is well short of the theoretical limit of |
F>0.9999| [16,17]. There is healthy optimism within the research community working with neutral-atom qubits that combining improved laser sources with reduced noise, better cooling to reduce motional dephasing, and control of stray electric fields that perturb Rydberg atoms will lead to substantially improved gate fidelity in the near future. Recent results with better filtering of laser phase noise have already demonstrated remarkable improvement in ground–Rydberg entanglement [18]. The outlook for the next few years appears very promising. We anticipate that with advances in lasers, optical lattices for atom trapping, deterministic rearrangement and loading of atoms in multi-dimensional arrays [19,20], and optics for fast beam scanning it will be possible to increase the number of physical qubits in a single neutral-atom module to at least 104. A challenging yet plausible path to a million-qubit processor can then be contemplated by connecting 100 such modules with atom–photon entanglement channels [21]. Beyond the potential for advancing the state of the art in computation, development of techniques for single-atom control inside large multi-atom arrays will enable other applications of quantum science including metrology and time-keeping. Rydberg interactions that are at the heart of a neutral-atom quantum computer may lead to multi-atom entanglement and Heisenberg scaling of atomic-clock precision [22]. This work was supported by the NSF and ARL CDQI.