In 2003, Mandel, Greiner, Widera, Rom, Hänsch and Bloch demonstrated that controlled collisions between neighbouring neutral atoms in an optical lattice — produced by spin-dependent transport of a Mott insulator — act as a massively parallel array of entangling quantum gates, and observed coherent entangling–disentangling dynamics in a one-dimensional chain of roughly one hundred thousand atoms. The evidence was indirect: the disappearance and reappearance of Ramsey fringes and spatial interference patterns, without single-atom-resolved detection, so the size of the entangled cluster was never measured, the demonstration was strictly one-dimensional, and its extension to two and three dimensions was argued to require lattice fillings above a percolation threshold (31% for a 3D simple-cubic lattice) in the presence of defects. The paper left open how to turn this proof of principle into a scalable resource: single-site, single-atom correlation measurements that quantitatively verify the many-body entanglement, defect control sufficient for higher-dimensional cluster growth, and single-particle operations and measurements that would allow the cluster state to be consumed for one-way (measurement-based) quantum computation. Two decades later the detection and addressing primitives exist in the form of quantum gas microscopes and single-spin addressing, and measurement-based computation has been realized on photonic and Rydberg platforms; but no experiment has combined the controlled-collision gate array with single-site detection to generate and verify macroscopic, multi-dimensional cluster entanglement in an optical lattice, and scalable entanglement generation and verification in optical lattices remains at the stage of theoretical schemes. The open problem is to realize, and quantitatively verify with single-site resolution, large-scale cluster-type entanglement of neutral atoms in an optical lattice by parallel entangling gates, robust to lattice defects and extended beyond one dimension, and to demonstrate its use as a computational resource for measurement-based quantum computation.
Background
An optical lattice is a periodic array of microscopic light-shift traps formed by interfering laser beams; when a Bose–Einstein condensate is loaded into it and the lattice depth is increased, the gas undergoes a quantum phase transition to a Mott insulator, a state in which a fixed number of atoms (ideally exactly one) occupies each lattice site, realizing a vast register of individually trapped neutral-atom qubits (typically two long-lived hyperfine clock states of the Rb atom, which serve as the qubit). In 1999 Jaksch, Briegel, Cirac, Gardiner and Zoller proposed a scalable entangling mechanism for such a register: a spin-dependent optical lattice, whose two polarization components trap and transport the two qubit states in opposite directions, is used to split the wave packet of each atom and shift it half a lattice spacing onto the neighbouring site, where the atoms collide for a controlled time and acquire a collisional phase shift , with the onsite interaction energy between atoms in the two internal states. Run simultaneously across the lattice, this implements an array of parallel conditional-phase (Ising-type) quantum gates. Briegel and Raussendorf showed that a string or array of atoms coupled by such nearest-neighbour interactions evolves into a cluster state — a highly entangled graph-type state in which each qubit is entangled with its neighbours — and Raussendorf and Briegel showed that cluster states are a universal resource for the one-way quantum computer: computation is performed by sequences of single-qubit measurements alone, with the entanglement of the resource state supplying the computational power. Mandel and co-workers realized the gate array experimentally in 2003 in a one-dimensional geometry covering about one hundred thousand lattice sites, observing that the visibility of Ramsey fringes (oscillations of the spin population versus the phase of a final microwave pulse, an interferometric signature sensitive to entanglement) dropped to about 5% when the collisional phase reached and revived at , for up to four entangling–disentangling cycles. As the authors emphasized, this fringe dynamics is indicative but not a proof of large-scale entanglement: a vanishing Ramsey fringe is insensitive to the number of entangled particles, single-atom-resolved correlation measurements were unavailable, vacancies (from imperfect Mott preparation, a surrounding superfluid shell, and roughly 5% spontaneous-emission excitations, plus about 5% microwave pulse-area errors) break the chain at defects, and in one dimension a single vacancy limits the cluster. The paper proposed that two additional state-dependent lattice shifts would extend the scheme to two and three dimensions, where a filling factor above the percolation threshold (31% for a 3D simple-cubic lattice, the point above which occupied sites form a system-spanning connected cluster) would still yield a large entangled cluster, and envisioned the resulting cluster states as resources for one-way quantum computing, which requires the capability to perform single-particle operations and measurements on individual sites. The relevant toolkit later emerged independently of this experiment: a quantum gas microscope is a high-numerical-aperture fluorescence imaging system that resolves individual atoms on individual lattice sites, and, because light-assisted collisions (pair loss driven by the imaging light, which removes both atoms of a doubly occupied site) convert the detected pattern into a definite atom-number measurement, it also projects the site occupations; it was first demonstrated for Hubbard-regime lattices in 2009–2010; single-spin addressing by tightly focused beams followed in 2011; and site-resolved correlation measurements of entanglement generated by superexchange (the second-order tunnelling interaction of the Bose– and Fermi–Hubbard models) were demonstrated in 2015–2016. What has not been achieved is the integration of the spin-dependent-transport controlled-collision gate array with this microscopy and addressing machinery to produce and verify the macroscopic, multi-dimensional cluster states envisaged in 2003, or to run a measurement-based computation on them.
Problem Statement
Realize, and quantitatively verify with single-site, single-atom resolution, the large-scale cluster-state entanglement of neutral atoms in an optical lattice that the 2003 controlled-collision experiment proposed but did not deliver, and demonstrate its use as a resource for measurement-based (one-way) quantum computation. Concretely: (1) operate the parallel entangling gate array — spin-dependent transport bringing neighbouring atoms into controlled collisions that imprint the collisional phase — beyond the original one-dimensional geometry to entangle clusters in two and three dimensions, with lattice preparation whose defect structure and filling factor are controlled well enough (above the 31% percolation threshold of the 3D simple-cubic geometry, or by defect removal) that system-spanning entangled clusters form rather than vacancy-limited fragments; (2) verify the resulting many-body entanglement directly with single-site resolution, determining a certified lower bound on the entangled cluster size and how the entanglement scales with dimension, filling and defect density, replacing the indirect Ramsey-fringe-visibility criterion (which is insensitive to the number of entangled particles) and quantifying the gate-fidelity limits (microwave pulse-area errors, spontaneous-emission excitations, residual dephasing from lattice inhomogeneities and differential light shifts) identified in the source; and (3) combine this with the now-available single-particle operations and site-resolved measurements to run a one-way quantum computing protocol on the lattice cluster state, establishing the entangling–disentangling toolbox of controlled collisions as a scalable, verifiable, computationally usable entanglement resource.
References
- Mandel, O., Greiner, M., Widera, A., Rom, T., Hänsch, T. W., Bloch, I. Controlled collisions for multi-particle entanglement of optically trapped atoms. Nature 425, 937–940 (2003). DOI: 10.1038/nature02008, https://doi.org/10.1038/nature02008 (arXiv: quant-ph/0308080, https://arxiv.org/abs/quant-ph/0308080).
- Jaksch, D., Briegel, H.-J., Cirac, J. I., Gardiner, C. W., Zoller, P. Entanglement of atoms via cold controlled collisions. Physical Review Letters 82, 1975–1978 (1999). DOI: 10.1103/PhysRevLett.82.1975, https://doi.org/10.1103/PhysRevLett.82.1975
- Briegel, H.-J., Raussendorf, R. Persistent entanglement in arrays of interacting particles. Physical Review Letters 86, 910–913 (2001). DOI: 10.1103/PhysRevLett.86.910, https://doi.org/10.1103/PhysRevLett.86.910
- Raussendorf, R., Briegel, H.-J. A one-way quantum computer. Physical Review Letters 86, 5188–5191 (2001). DOI: 10.1103/PhysRevLett.86.5188, https://doi.org/10.1103/PhysRevLett.86.5188
- Bakr, W. S., Gillen, J. I., Peng, A., Fölling, S., Greiner, M. A quantum gas microscope for detecting single atoms in a Hubbard-regime optical lattice. Nature 462, 74–77 (2009). DOI: 10.1038/nature08482, https://doi.org/10.1038/nature08482
- Sherson, J. F., Weitenberg, C., Endres, M., Cheneau, M., Bloch, I., Kuhr, S. Single-atom-resolved fluorescence imaging of an atomic Mott insulator. Nature 467, 68–72 (2010). DOI: 10.1038/nature09378, https://doi.org/10.1038/nature09378
- Weitenberg, C., Endres, M., Sherson, J. F., Cheneau, M., Schauß, P., Fukuhara, T., Bloch, I., Kuhr, S. Single-spin addressing in an atomic Mott insulator. Nature 471, 319–324 (2011). DOI: 10.1038/nature09827, https://doi.org/10.1038/nature09827
- Fukuhara, T., Hild, S., Zeiher, J., Schauß, P., Bloch, I., Endres, M., Gross, C. Spatially resolved detection of a spin-entanglement wave in a Bose-Hubbard chain. Physical Review Letters 115, 035302 (2015). DOI: 10.1103/PhysRevLett.115.035302, https://doi.org/10.1103/PhysRevLett.115.035302
- Boll, M., Hilker, T. A., Salomon, G., Omran, A., Nespolo, J., Pollet, L., Bloch, I., Gross, C. Spin- and density-resolved microscopy of antiferromagnetic correlations in Fermi-Hubbard chains. Science 353, 1257–1260 (2016). DOI: 10.1126/science.aag1635, https://doi.org/10.1126/science.aag1635
- Mamaev, M., Blatt, R., Ye, J., Rey, A. M. Cluster state generation with spin-orbit coupled fermionic atoms in optical lattices. Physical Review Letters 122, 160402 (2019). DOI: 10.1103/PhysRevLett.122.160402, https://doi.org/10.1103/PhysRevLett.122.160402
- Zhou, Y., Xiao, B., Li, M.-D., Zhao, Q., Yuan, Z.-S., Ma, X., Pan, J.-W. A scheme to create and verify scalable entanglement in optical lattice. npj Quantum Information 8, 99 (2022). DOI: 10.1038/s41534-022-00609-0, https://doi.org/10.1038/s41534-022-00609-0
- Walther, P., Resch, K. J., Rudolph, T., Schenck, E., Weinfurter, H., Vedral, V., Aspelmeyer, M., Zeilinger, A. Experimental one-way quantum computing. Nature 434, 169–176 (2005). DOI: 10.1038/nature03347, https://doi.org/10.1038/nature03347
- Larsen, M. V., Guo, X., Breum, C. R., Neergaard-Nielsen, J. S., Andersen, U. L. Deterministic generation of a two-dimensional cluster state. Science 366, 369–372 (2019). DOI: 10.1126/science.aay4354, https://doi.org/10.1126/science.aay4354
- Omran, A., Levine, H., Keesling, A., Semeghini, G., Wang, T. T., Ebadi, S., Bernien, H., Zibrov, A. S., Pichler, H., Choi, S., Cui, J., Rossignolo, M., Rembold, P., Montangero, S., Calarco, T., Endres, M., Greiner, M., Vuletić, V., Lukin, M. D. Generation and manipulation of Schrödinger cat states in Rydberg atom arrays. Science 365, 570–574 (2019). DOI: 10.1126/science.aax9743, https://doi.org/10.1126/science.aax9743 (arXiv: 1905.05721, https://arxiv.org/abs/1905.05721)