Abstract
Quantum simulation using synthetic systems is a promising route to solve outstanding quantum many-body problems in regimes where other approaches, including numerical ones, fail1. Many platforms are being developed towards this goal, in particular based on trapped ions2,3,4, superconducting circuits5,6,7, neutral atoms8,9,10,11 or molecules12,13. All of these platforms face two key challenges: scaling up the ensemble size while retaining high-quality control over the parameters, and validating the outputs for these large systems. Here we use programmable arrays of individual atoms trapped in optical tweezers, with interactions controlled by laser excitation to Rydberg states11, to implement an iconic many-body problem—the antiferromagnetic two-dimensional transverse-field Ising model. We push this platform to a regime with up to 196 atoms manipulated with high fidelity and probe the antiferromagnetic order by dynamically tuning the parameters of the Hamiltonian. We illustrate the versatility of our platform by exploring various system sizes on two qualitatively different geometries—square and triangular arrays. We obtain good agreement with numerical calculations up to a computationally feasible size (approximately 100 particles). This work demonstrates that our platform can be readily used to address open questions in many-body physics.
This is a preview of subscription content, access via your institution
Access options
Access Nature and 54 other Nature Portfolio journals
Get Nature+, our best-value online-access subscription
$29.99 / 30 days
cancel any time
Subscribe to this journal
Receive 51 print issues and online access
$199.00 per year
only $3.90 per issue
Buy this article
- Purchase on Springer Link
- Instant access to full article PDF
Prices may be subject to local taxes which are calculated during checkout
Similar content being viewed by others
Data availability
The data presented in the figures and that support the other findings of this study are available from the corresponding author on reasonable request.
Code availability
The codes are available upon reasonable request from the corresponding author.
References
Georgescu, I. M., Ashhab, S. & Nori, F. Quantum simulation. Rev. Mod. Phys. 86, 153–185 (2014).
Blatt, R. & Roos, C. F. Quantum simulations with trapped ions. Nat. Phys. 8, 277–284 (2012).
Monroe, C. et al. Programmable quantum simulations of spin systems with trapped ions. Rev. Mod. Phys. 93, 025001 (2021).
Gärttner, M. et al. Measuring out-of-time-order correlations and multiple quantum spectra in a trapped-ion quantum magnet. Nat. Phys. 13, 781–786 (2017).
Song, C. et al. 10-qubit entanglement and parallel logic operations with a superconducting circuit. Phys. Rev. Lett. 119, 180511 (2017).
King, A. D. et al. Observation of topological phenomena in a programmable lattice of 1,800 qubits. Nature 560, 456–460 (2018).
Kjaergaard, M. et al. Superconducting qubits: current state of play. Annu. Rev. Condens. Matter Phys. 11, 369–395 (2020).
Bloch, I., Dalibard, J. & Zwerger, W. Many-body physics with ultracold gases. Rev. Mod. Phys. 80, 885–964 (2008).
Bloch, I., Dalibard, J. & Nascimbène, S. Quantum simulations with ultracold quantum gases. Nat. Phys. 8, 267–276 (2012).
Gross, C. & Bloch, I. Quantum simulations with ultracold atoms in optical lattices. Science 357, 995–1001 (2017).
Browaeys, A. & Lahaye, T. Many-body physics with individually controlled Rydberg atoms. Nat. Phys. 16, 132–142 (2020).
Yan, B. et al. Observation of dipolar spin-exchange interactions with lattice-confined polar molecules. Nature 501, 521–525 (2013).
Zhou, Y. L., Ortner, M. & Rabl, P. Long-range and frustrated spin–spin interactions in crystals of cold polar molecules. Phys. Rev. A 84, 052332 (2011).
Bernien, H. et al. Probing many-body dynamics on a 51-atom quantum simulator. Nature 551, 579–584 (2017).
Keesling, A. et al. Quantum Kibble–Zurek mechanism and critical dynamics on a programmable Rydberg simulator. Nature 568, 207–211 (2019).
Lienhard, V. et al. Observing the space- and time-dependent growth of correlations in dynamically tuned synthetic Ising antiferromagnets. Phys. Rev. X 8, 021070 (2018).
Levine, H. et al. Parallel implementation of high-fidelity multiqubit gates with neutral atoms. Phys. Rev. Lett. 123, 170503 (2019).
Omran, A. et al. Generation and manipulation of Schrödinger cat states in Rydberg atom arrays. Science 365, 570–574 (2019).
Madjarov, I. S. et al. High-fidelity entanglement and detection of alkaline-earth Rydberg atoms. Nat. Phys. 16, 857–861 (2020); correction 17, 144 (2021).
Schauß, P. et al. Crystallization in Ising quantum magnets. Science 347, 1455–1458 (2015).
Guardado-Sanchez, E. et al. Probing the quench dynamics of antiferromagnetic correlations in a 2D quantum Ising spin system. Phys. Rev. X 8, 021069 (2018).
Song, Y., Kim, M., Hwang, H., Lee, W. & Ahn, J. Quantum simulation of Cayley-tree Ising Hamiltonians with three-dimensional Rydberg atoms. Phys. Rev. Res. 3, 013286 (2021).
Wannier, G. H. Antiferromagnetism. The triangular Ising net. Phys. Rev. 79, 357–364 (1950).
Jaksch, D. et al. Fast quantum gates for neutral atoms. Phys. Rev. Lett. 85, 2208–2211 (2000).
Schymik, K.-N. et al. Enhanced atom-by-atom assembly of arbitrary tweezer arrays. Phys. Rev. A 102, 063107 (2020).
Levine, H. et al. High-fidelity control and entanglement of Rydberg-atom qubits. Phys. Rev. Lett. 121, 123603 (2018).
Janke, W. & Villanova, R. Three-dimensional 3-state Potts model revisited with new techniques. Nucl. Phys. B 489, 679–696 (1997).
Laumann, C. R., Moessner, R., Scardicchio, A. & Sondhi, S. L. Quantum adiabatic algorithm and scaling of gaps at first-order quantum phase transitions. Phys. Rev. Lett. 109, 030502 (2012).
Fey, S., Kapfer, S. C. & Schmidt, K. P. Quantum criticality of two-dimensional quantum magnets with long-range interactions. Phys. Rev. Lett. 122, 017203 (2019).
Samajdar, R., Ho, W. W., Pichler, H., Lukin, M. D. & Sachdev, S. Complex density wave orders and quantum phase transitions in a model of square-lattice Rydberg atom arrays. Phys. Rev. Lett. 124, 103601 (2020).
Ebadi, S. et al. Quantum phases of matter on a 256-atom programmable quantum simulator. Nature https://doi.org/10.1038/s41586-021-03582-4 (2021).
Stoli, E. & Domb, C. Shape and size of two-dimensional percolation clusters with and without correlations. J. Phys. A 12, 1843–1855 (1979).
Kim, H., Park, Y., Kim, K., Sim, H.-S. & Ahn, J. Detailed balance of thermalization dynamics in Rydberg-atom quantum simulators. Phys. Rev. Lett. 120, 180502 (2018).
Pichler, H., Wang, S.-T., Zhou, L., Choi, S. & Lukin, M. D. Quantum optimization for maximum independent set using Rydberg atom arrays. Preprint at https://arxiv.org/abs/1808.10816 (2018).
Henriet, L. Robustness to spontaneous emission of a variational quantum algorithm. Phys. Rev. A 101, 012335 (2020).
Serret, M. F., Marchand, B. & Ayral, T. Solving optimization problems with Rydberg analog quantum computers: realistic requirements for quantum advantage using noisy simulation and classical benchmarks. Phys. Rev. A 102, 052617 (2020).
Villain, J., Bidaux, R., Carton, J.-P. & Conte, R. Order as an effect of disorder. J. Phys. France 41, 1263–1272 (1980).
Moessner, R., Sondhi, S. L. & Chandra, P. Two-dimensional periodic frustrated Ising models in a transverse field. Phys. Rev. Lett. 84, 4457–4460 (2000).
Moessner, R. & Sondhi, S. L. Ising models of quantum frustration. Phys. Rev. B 63, 224401 (2001).
Isakov, S. V. & Moessner, R. Interplay of quantum and thermal fluctuations in a frustrated magnet. Phys. Rev. B 68, 104409 (2003).
Koziol, J., Fey, S., Kapfer, S. C. & Schmidt, K. P. Quantum criticality of the transverse-field Ising model with long-range interactions on triangular-lattice cylinders. Phys. Rev. B 100, 144411 (2019).
Madjarov, I. S. et al. An atomic-array optical clock with single-atom readout. Phys. Rev. X 9, 041052 (2019).
Norcia, M. A. et al. Seconds-scale coherence on an optical clock transition in a tweezer array. Science 366, 93–97 (2019).
Saffman, M., Walker, T. G. & Mølmer, K. Quantum information with Rydberg atoms. Rev. Mod. Phys. 82, 2313–2363 (2010).
Henriet, L. et al. Quantum computing with neutral atoms. Quantum 4, 327 (2020).
Morgado, M. & Whitlock, S. Quantum simulation and computing with Rydberg qubits. AVS Quantum Sci. 3, 023501 (2021).
Barredo, D., Lienhard, V., de Léséleuc, S., Lahaye, T. & Browaeys, A. Synthetic three-dimensional atomic structures assembled atom by atom. Nature 561, 79–82 (2018).
de Léséleuc, S., Barredo, D., Lienhard, V., Browaeys, A. & Lahaye, T. Analysis of imperfections in the coherent optical excitation of single atoms to Rydberg states. Phys. Rev. A 97, 053803 (2018).
Schollwöck, U. The density-matrix renormalization group in the age of matrix product states. Ann. Phys. 326, 96–192 (2011).
Paeckel, S. et al. Time-evolution methods for matrix-product states. Ann. Phys. 50, 167998 (2019).
Stoudenmire, E. M. & White, S. R. Studying two-dimensional systems with the density matrix renormalization group. Annu. Rev. Condens. Matter Phys. 3, 111–128 (2012).
Eisert, J., Cramer, M. & Plenio, M. B. Area laws for the entanglement entropy. Rev. Mod. Phys. 82, 277–306 (2010).
Haegeman, J. et al. Time-dependent variational principle for quantum lattices. Phys. Rev. Lett. 107, 070601 (2011).
Haegeman, J., Lubich, C., Oseledets, I., Vandereycken, B. & Verstraete, F. Unifying time evolution and optimization with matrix product states. Phys. Rev. B 94, 165116 (2016).
Hauschild, J. & Pollmann, F. Efficient numerical simulations with Tensor Networks: Tensor Network Python (TeNPy). SciPost Phys. Lect. Notes 5 https://doi.org/10.21468/SciPostPhysLectNotes.5 (2018).
Stoudenmire, E. M. & White, S. R. Minimally entangled typical thermal state algorithms. New J. Phys. 12, 055026 (2010).
Marcuzzi, M. et al. Facilitation dynamics and localization phenomena in Rydberg lattice gases with position disorder. Phys. Rev. Lett. 118, 063606 (2017).
Binder, K. Finite size scaling analysis of Ising model block distribution functions. Z. Phys. B 43, 119–140 (1981).
Onsager, L. Crystal statistics. I. A two-dimensional model with an order–disorder transition. Phys. Rev. 65, 117–149 (1944).
Acknowledgements
This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement number 817482 (PASQuanS). M.S. acknowledges support by the Austrian Science Fund (FWF) through grant number P 31701 (ULMAC). D.B. acknowledges support from the Ramón y Cajal programme (RYC2018-025348-I). K.-N.S. acknowledges support by the Studienstiftung des Deutschen Volkes. A.A.E. and A.M.L. acknowledge support by the Austrian Science Fund (FWF) through grant number I 4548. The computational results presented have been achieved in part using the Vienna Scientific Cluster (VSC) and the LEO HPC infrastructure of the University of Innsbruck.
Author information
Authors and Affiliations
Contributions
P.S., M.S., H.J.W. and A.A.E. contributed equally to this work. P.S., H.J.W., D.B., K.-N.S. and V.L. carried out the experiments. M.S., A.A.E., L.-P.H. and T.C.L. performed the simulations. All authors contributed to the data analysis, progression of the project, and on both the experimental and theoretical side. All authors contributed to the writing of the manuscript.
Corresponding author
Ethics declarations
Competing interests
A.B. and T.C.L. are co-founders and shareholders of Pasqal.
Additional information
Peer review information Nature thanks the anonymous reviewer(s) for their contribution to the peer review of this work.
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Extended data figures and tables
Extended Data Fig. 1 MPS sampling and scaling with bond dimension χ.
a, b, Average Rydberg density (a) and nearest-neighbour correlation function (b) during the MPS state dynamics on the 10 × 10 square lattice. The black lines show the observables computed from standard tensor contraction and the blue dots show the corresponding sample average of 1,000 generated snapshots. c–f, Scaling with bond dimension. c, d, Rydberg density (c) and order parameter mstag (d) during the MPS state dynamics, including experimental imperfections, for different χ on the 10 × 10 square lattice. The insets show the distribution due to the multiple Uij disorder realizations, at final toff = 6 μs for χ = 256. e, f, Scaling of n (e) and mstag (f) with χ at the end of the state preparation protocol for different system sizes. The lightly coloured lines show the multiple disorder instances.
Extended Data Fig. 2 Testing the coherence of the Rydberg excitation on a single atom.
a, Rabi oscillations showing the probability of measuring the atom in \(|\downarrow \rangle \) as a function of the excitation time. The line is a fit to the data by the function Ae−Γtcos(Ωt) + B, yielding Γ = 0.04(1) μs−1, Ω = 2π × 1.32(1) MHz, A = 0.488(3) and B = 0.507(3). b, High-resolution measurement of the first period of the oscillation. Error bars are statistical and often smaller than marker size.
Extended Data Fig. 3 Benchmarking multiple sweeps on the 4 × 4 array.
a–c, Time evolution of sweep shape (a), Rydberg density (b) and staggered magnetization (c) for three distinct sweeps (of durations 2.5 μs (left), 4 μs (middle) and 8 μs (right)) on the 4 × 4 array. In b, c, experimental data are shown in purple circles and the green (red) dashed lines show solutions to the Schrödinger equation (Lindblad master equation, equation (3)). The solid grey lines show solutions of the Schrödinger equation for several random instances of the interaction disorder (see text), the black line is the average over these instances.
Extended Data Fig. 4 Experimental imperfections.
a, b, Sweep shape for the average Rabi frequency Ω (a) and the average detuning δ (b) versus time. The dashed line shows the proposed protocol and the solid line shows the experimentally obtained parameters. c, d, Spatial dependence of Ω (c) and δ (d) at the maximal values during the protocol. e, f, Distribution of the Rydberg interactions Uij caused by the fluctuations in the atom positions. e, The long-range interactions up to a distance of about 50 μm. f, The distribution of the nearest-neighbour interactions. The dashed vertical line shows the average nearest-neighbour interaction Unnb. The vertical grey line shows, as a reference, the programmed value for non-fluctuating atoms Uprogrammed. g, The left (right) column shows the average density (order parameter mstag) during the sweep for different sizes of the square lattice. Different lines show successive additions of imperfections on the MPS simulations. Starting from the programmed pulse shape without imperfections (blue), we include the real pulse shape measured in the experiment (yellow), add the inhomogeneous fields (green), apply the detection deficiency (red) and, finally, include the interaction disorder from fluctuations in the atom positions. The grey lines show individual samples of atom positions and the black line shows the sample average. Experimental data are shown by circles.
Extended Data Fig. 5 Effect of vacancies on AF ordering.
a, Histogram of the number of defects for the 14 × 14 array. Out of the roughly 17,000 experimental realizations shown here, we kept only the approximately 500 defect-free shots for the results presented in the main text. b, mstag for different filling fractions. We observe a substantial increase in mstag for defect-free array experiments, compared with approximately 99%-filled-array experiments.
Extended Data Fig. 6 Long-term stability of the growth of AF ordering on the 8 × 8 array.
Staggered magnetization mstag at different times toff during the sweep shown in Extended Data Fig. 2a with several measurements using the same parameters, realized over 15 h. We observe a dispersion of the measurements due to long-term drift of the experimental setup. The dashed line is a phenomenological fit to the data. The standard error on the mean is smaller than symbol size.
Extended Data Fig. 7 Growth of AF ordering on a 10 × 10 array during the sweep.
Maps of the connected correlations Ck,l and histograms of the staggered magnetization for different times toff, defined in Fig. 2. The upper (lower) part of the plots show experimental (MPS) results.
Extended Data Fig. 8 Hypothetical temperature.
a, Assigning a hypothetical temperature. Classical energy density for the instantaneous state \(|{\Psi }({t}_{{\rm{off}}})\rangle \) of the experiment during the last part of the state preparation protocol (left), and for the corresponding classical equilibrium system versus temperature T (right). Here δ = δf for all datasets. We assign a hypothetical temperature Thyp at each time toff by matching the classical energy, as illustrated by the red line. In the right panel, Tc denotes the critical temperature in the thermodynamic limit N → ∞. b, The Binder cumulant U2 and its (L, 2L) crossing points (black markers) for different linear system dimensions L, which allow the estimation of the critical temperature in the thermodynamic limit. The solid (dotted) grey lines indicate the finite size extrapolated Tc and its standard error. c–f, Evolution of the hypothetical temperature. c, Programmed state preparation protocol. d–f, Corresponding hypothetical temperatures Thyp(toff) during the sweep for different system sizes for the experiment (d) and MPS simulations without (e) and with (f) experimental imperfections. The dashed lines show the classical critical temperature Tc for an infinite system with disorder averaged U/ħ = 2π × 1.86 MHz for δf = 2π × 2 MHz.
Extended Data Fig. 9 Quantum real-time evolution versus classical equilibrium.
Distribution of the largest Néel cluster sizes smax during (left) and at the end (right) of the quantum time evolution (blue) compared with the classical equilibrium results (yellow) on a 10 × 10 square lattice. a, Experimental results. b, MPS simulation in the setup without including any experimental imperfections. c, MPS simulation including the known experimental imperfections.
Extended Data Fig. 10 Triangular geometries.
a, b, mstag histogram in the 2/3 plateau obtained from Monte Carlo results on a 108-site triangular cluster with ħδ/U = 4 and temperature T/U = 0.1. a, The real space Rydberg density ni shows that the outermost shell becomes fully populated at low temperature, as also illustrated in the inset, which shows the Rydberg density at the edge. b, The corresponding sublattice magnetization histogram does not reach its full potential width (outer hexagon), as the edge sites cannot participate in the formation of the 2/3-filling states. The dashed hexagon shows the maximum extent of the histogram when only the sites of the system without the edge are considered. c, d, Quantum real-time evolution versus classical equilibrium on the triangular lattice. We plot the distribution of the triangular order parameter mstag at the end of the state preparation protocols entering the 1/3 (c) and 2/3 (d) regimes on a 108-site triangular cluster. Blue (yellow) bars show experimental (corresponding classical) results. The dashed line in d shows the maximal value of mstag in the 2/3 regime induced by the cluster boundaries. e, Distribution of mstag for a 10 × 10 square lattice at the end of the sweep entering the AF phase, as a comparison.
Rights and permissions
About this article
Cite this article
Scholl, P., Schuler, M., Williams, H.J. et al. Quantum simulation of 2D antiferromagnets with hundreds of Rydberg atoms. Nature 595, 233–238 (2021). https://doi.org/10.1038/s41586-021-03585-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1038/s41586-021-03585-1
This article is cited by
-
Tunable quantum simulation of spin models with a two-dimensional ion crystal
Nature Physics (2024)
-
Efficient and robust estimation of many-qubit Hamiltonians
Nature Communications (2024)
-
Benchmarking highly entangled states on a 60-atom analogue quantum simulator
Nature (2024)
-
Variational Monte Carlo with large patched transformers
Communications Physics (2024)
-
An optical tweezer array of ultracold polyatomic molecules
Nature (2024)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.
