Simulating the properties of many-body fermionic systems is an outstanding computational challenge relevant to material science, quantum chemistry, and particle physics.-5.4pc]Please note that the spelling of the following author names in the manuscript differs from the spelling provided in the article metadata: D. González-Cuadra, D. Bluvstein, M. Kalinowski, R. Kaubruegger, N. Maskara, P. Naldesi, T. V. Zache, A. M. Kaufman, M. D. Lukin, H. Pichler, B. Vermersch, Jun Ye, and P. Zoller. The spelling provided in the manuscript has been retained; please confirm. Although qubit-based quantum computers can potentially tackle this problem more efficiently than classical devices, encoding nonlocal fermionic statistics introduces an overhead in the required resources, limiting their applicability on near-term architectures. In this work, we present a fermionic quantum processor, where fermionic models are locally encoded in a fermionic register and simulated in a hardware-efficient manner using fermionic gates. We consider in particular fermionic atoms in programmable tweezer arrays and develop different protocols to implement nonlocal gates, guaranteeing Fermi statistics at the hardware level. We use this gate set, together with Rydberg-mediated interaction gates, to find efficient circuit decompositions for digital and variational quantum simulation algorithms, illustrated here for molecular energy estimation. Finally, we consider a combined fermion-qubit architecture, where both the motional and internal degrees of freedom of the atoms are harnessed to efficiently implement quantum phase estimation as well as to simulate lattice gauge theory dynamics.
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.
Simulating the dynamics of electrons and other fermionic particles in quantum chemistry, materials science, and high-energy physics is one of the most promising applications of fault-tolerant quantum computers. However, the overhead in mapping time evolution under fermionic Hamiltonians to qubit gates renders this endeavor challenging. We introduce fermionic fault-tolerant quantum computing, a framework which removes this overhead altogether. Using native fermionic operations we first construct a repetition code which corrects phase errors only. Within a fermionic color code, which corrects for both phase and loss errors, we then realize a universal fermionic gate set, including transversal fermionic Clifford gates. Interfacing with qubit color codes we introduce qubit-fermion fault-tolerant computation, which allows for qubit-controlled fermionic time evolution, a crucial subroutine in state-of-the-art quantum algorithms. As an application, we consider simulating crystalline materials, finding an exponential improvement in circuit depth for a single time step from
O(N) to
O(log(N)) with respect to lattice site number
N while retaining a site count of
O~(N), implying a linear-in-
N end-to-end gate depth for simulating materials, as opposed to quadratic in previous approaches. We also introduce a fermion-inspired qubit algorithm with
O(log(N) depth, but a prohibitive number of additional ancilla qubits. We show how our framework can be implemented in neutral atoms, overcoming the apparent inability of neutral atoms to implement non-number-conserving gates. Our work opens the door to fermion-qubit fault-tolerant quantum computation in platforms with native fermions such as neutral atoms, quantum dots and donors in silicon, with applications in quantum chemistry, material science, and high-energy physics.
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.
Quantum error correction (QEC) [1,2] is essential for the realization of large-scale quantum computers [3,4]. However, due to the complexity of operating on the encoded ‘logical’ qubits [5,6], understanding the physical principles for building fault-tolerant quantum devices and combining them into efficient architectures is an outstanding scientific challenge. Here we utilize reconfigurable arrays of up to 448 neutral atoms to implement the key elements of a universal, fault-tolerant quantum processing architecture and experimentally explore their underlying working mechanisms. We first employ surface codes to study how repeated QEC suppresses errors [6,7], demonstrating 2.14(13)x below-threshold performance in a four-round characterization circuit by leveraging atom loss detection and machine learning decoding [8,9]. We then investigate logical entanglement using transversal gates and lattice surgery [10–12], and extend it to universal logic through transversal teleportation with 3D [[15,1,3]] codes [13,14], enabling arbitrary-angle synthesis with polylogarithmic overhead [5,15]. Finally, we develop mid-circuit qubit re-use [16], increasing experimental cycle rates by two orders of magnitude and enabling deep-circuit protocols with dozens of logical qubits and hundreds of logical teleportations [17–20] with [[7,1,3]] and high-rate [[16,6,4]] codes while maintaining constant internal entropy. Our experiments reveal key principles for efficient architecture design, involving the interplay between quantum logic & entropy removal, judiciously using physical entanglement in logic gates & magic state generation, and leveraging teleportations for universality & physical qubit reset. These results establish foundations for scalable, universal error-corrected processing and its practical implementation with neutral atom systems.
Abstract Quantum simulations of electronic structure and strongly correlated quantum phases are among the most promising applications of quantum computing. These computations benefit from native fermionic encodings 1,2 , enforcing fermionic statistics and conservation laws such as particle number and magnetization 3 independent of gate errors. While ultracold atoms in optical lattices have become established as powerful analogue simulators of strongly correlated fermionic matter 4–7 , neutral-atom platforms have concurrently emerged as versatile, scalable architectures for spin-based digital quantum computation 8 . Unifying these capabilities requires high-fidelity motionally coherent gates for fermionic atoms 9–11 , similar to collisional gates in bosonic systems 12,13 , paving the way for programmable fermionic quantum processors. Here we demonstrate collisional entangling gates with fidelities up to 99.75(6)% and Bell-state lifetimes exceeding 10 s, realized by means of controlled interactions of fermionic atoms in an optical superlattice. Using quantum gas microscopy 14 , we microscopically characterize spin-exchange and pair-tunnelling gates and realize a robust composite pair-exchange gate, a key building block for quantum chemistry simulations 3,15 . Our results establish controlled collisions in optical lattices as a competitive and complementary route to high entangling gate fidelities in neutral-atom quantum computers. Operating intrinsically with fermions, this capability naturally extends to many-qubit architectures, in which fermionic statistics become relevant, enabling complex state preparation and advanced readout 16–19 in scalable analogue–digital hybrid quantum simulators. Combined with local addressing 20,21 , these gates mark a crucial step towards a fully digital fermionic quantum computer based on controlled motion and entanglement of neutral atoms.