Recognition: 1 theorem link
· Lean TheoremDirac Spin Liquid Candidate in a Rydberg Quantum Simulator
Pith reviewed 2026-05-15 22:19 UTC · model grok-4.3
The pith
Rydberg atoms in a kagome array are prepared into a correlated liquid whose spin correlations match a parameter-free Dirac spin liquid ansatz.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
In a 114-atom kagome array of dipolar Rydberg atoms, an adiabatic ramp prepares a low-energy state whose two-point spin correlations reproduce the sign structure and algebraic decay of a parameter-free ansatz for the Dirac spin liquid, while the entropy per site matches values found in frustrated insulators near 77 K.
What carries the argument
The adiabatic preparation sequence that takes the Rydberg array from a product state through a magnetic crystal into a disordered liquid, followed by direct comparison of its measured correlations against the Dirac spin liquid ansatz.
If this is right
- Rydberg arrays can now be used for microscopic, site-resolved studies of quantum spin liquid candidates.
- The same platform allows direct measurement of response to local magnetic fields and small geometric distortions.
- The reached entropy density implies the liquid is within experimental reach of other frustrated magnets at accessible temperatures.
- The protocol provides a concrete route to test further theoretical predictions for the Dirac state in larger arrays.
Where Pith is reading between the lines
- If the state is confirmed as the ground state, the platform could be extended to probe putative anyonic excitations by controlled perturbations.
- Scaling the array size while preserving the same adiabatic fidelity would allow quantitative tests of gaplessness versus gapped alternatives.
- The demonstrated agreement with a parameter-free ansatz suggests that similar simulators could benchmark other candidate spin liquids without adjustable parameters.
Load-bearing premise
The final prepared state must be close enough to the true ground state that its observed correlations reflect the Dirac spin liquid rather than a long-lived excited or metastable configuration.
What would settle it
A spectroscopic measurement that reveals a finite spin gap, or a correlation function whose spatial decay length or sign pattern deviates systematically from the algebraic form predicted by the Dirac ansatz, would contradict the central claim.
Figures
read the original abstract
We experimentally investigate a frustrated spin-exchange antiferromagnet in a quantum simulator, composed of N = 114 dipolar Rydberg atoms arranged into a kagome array. Motivated by a recent theoretical proposal of a gapless U(1) Dirac spin liquid ground state, we use local addressing to adiabatically prepare low-energy states. We measure the local polarization and spin-spin correlations over this adiabatic protocol, and observe our system move from a staggered product state, through an intermediate magnetic crystal, and finally into a disordered, correlated liquid. We estimate the entropy density of this atomic liquid to be similar to that of frustrated magnetic insulators at liquid nitrogen temperatures. We compare the correlations in our liquid to those of a simple, parameter-free ansatz for the Dirac spin liquid, and find good agreement in the sign structure and spatial decay. Finally, we probe the static susceptibility of our system to a local field perturbation and to a geometrical distortion. Our results establish Rydberg atom arrays as a promising platform for the preparation and microscopic characterization of quantum spin liquid candidates.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript reports an experimental realization of a frustrated spin-exchange antiferromagnet using N=114 dipolar Rydberg atoms in a kagome array. The authors adiabatically prepare states starting from a staggered product state, passing through an intermediate magnetic crystal, and ending in a disordered correlated liquid. They measure local polarization and spin-spin correlations, estimate the entropy density, and compare the liquid's correlations to a parameter-free ansatz for the U(1) Dirac spin liquid, finding agreement in sign structure and spatial decay. They also probe static susceptibility to local field perturbations and geometrical distortions.
Significance. If the prepared state is confirmed to be near the true ground state, this establishes Rydberg arrays as a platform for microscopic characterization of quantum spin liquid candidates, with direct access to correlation functions and response properties. The parameter-free nature of the theoretical ansatz and the entropy comparison to frustrated insulators are notable strengths.
major comments (1)
- [Adiabatic preparation and correlation measurements] The central claim that the final disordered state realizes a Dirac spin liquid candidate rests on the adiabatically prepared state being close to the true low-energy eigenstate. No ramp-time convergence data, energy estimates, or fidelity bounds are provided to exclude a metastable or partially thermalized configuration whose correlations might share qualitative features with the ansatz.
minor comments (2)
- [Abstract] The abstract states qualitative agreement but omits quantitative error bars on correlations, data exclusion criteria, and fidelity metrics needed to assess the comparison.
- [Abstract] The entropy density estimate is given only as 'similar to' liquid nitrogen temperatures; reporting the numerical value and the precise comparison method would improve clarity.
Simulated Author's Rebuttal
We thank the referee for their careful reading of our manuscript and for recognizing the potential of Rydberg arrays as a platform for characterizing quantum spin liquid candidates. We address the major comment on adiabatic preparation below.
read point-by-point responses
-
Referee: The central claim that the final disordered state realizes a Dirac spin liquid candidate rests on the adiabatically prepared state being close to the true low-energy eigenstate. No ramp-time convergence data, energy estimates, or fidelity bounds are provided to exclude a metastable or partially thermalized configuration whose correlations might share qualitative features with the ansatz.
Authors: We agree that explicit ramp-time convergence data, variational energy estimates, or fidelity bounds would strengthen the evidence for adiabaticity. The manuscript does not include such quantitative diagnostics. However, the reported measurements track the system continuously through the protocol, revealing a clear sequence: evolution from the initial staggered product state, passage through an intermediate magnetic crystal (a higher-energy configuration), and arrival at the final disordered liquid whose spin-spin correlations match the parameter-free U(1) Dirac spin liquid ansatz in both sign structure and spatial decay. The estimated entropy density is comparable to that of known frustrated insulators at liquid-nitrogen temperatures, providing an independent indication of a low-entropy state. In the revised manuscript we will expand the discussion section to emphasize these dynamical and thermodynamic indicators and to include any bounds that can be derived from the observed correlation evolution. revision: partial
Circularity Check
No significant circularity in the derivation chain
full rationale
The paper describes an experimental adiabatic preparation protocol in a Rydberg atom array, followed by direct measurements of polarization, spin-spin correlations, entropy density, and susceptibility. These are compared to an independent, parameter-free theoretical ansatz for the Dirac spin liquid. The ansatz is not derived from or fitted to the present data; the agreement is reported as a post-hoc validation in sign structure and decay. No equations or steps reduce the observed correlations to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. The preparation protocol and observables stand as independent experimental content against external theory benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The kagome dipolar spin-exchange model hosts a gapless U(1) Dirac spin liquid ground state (recent theoretical proposal).
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
We compare the correlations in our liquid to those of a simple, parameter-free ansatz for the Dirac spin liquid, and find good agreement in the sign structure and spatial decay.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 7 Pith papers
-
Dynamical preparation of U(1) quantum spin liquids in an analogue quantum simulator
Experimental realization of large-scale U(1) quantum spin liquid regions in a 2D analog quantum simulator using ultracold atoms, with evidence from Gauss-law compliance, pinch-point correlations, and many-body coheren...
-
Exact quantum scars from kinetic frustration for cross-platform realizations
Kinetic frustration produces exact scars in hardcore boson and fermion Hubbard models that map to each other and are realizable on quantum simulators with tunable lifetimes via a new energy-distribution heuristic.
-
Thermometry for a Kagome Lattice Dipolar Rydberg Simulator
A thermometry technique using correlations, susceptibility, and high-T expansion applied to a Kagome lattice Rydberg experiment gives T=0.55J and entropy per site 0.67 ln(2), indicating the system is not yet in the qu...
-
Magnetic-field control of interactions in alkaline-earth Rydberg atoms and applications to {\it XXZ} models
Magnetic fields tune the XXZ anisotropy parameter in alkaline-earth Rydberg pairs, allowing a folded XXZ model in ytterbium without fine-tuning and a mean-field supersolid on the square lattice.
-
Stabilization of bulk quantum orders in finite Rydberg atom arrays
A protocol leverages the disordered phase to set unbiased boundary configurations in finite Rydberg arrays, stabilizing bulk-like quantum order in 1D and 2D simulations.
-
A Dipolar Chiral Spin Liquid on the Breathed Kagome Lattice
Long-range dipolar interactions on a breathed Kagome lattice stabilize a chiral spin liquid, identified via DMRG and proposed for adiabatic preparation and edge-mode detection.
-
Quantum Spin Liquid State of a Dual-Species Atomic Array on Kagome Lattice
A dual-species Rydberg atom array on a Kagome lattice can be driven into a quantum spin liquid state with topological order using a controlled sweep-quench-sweep protocol.
Reference graph
Works this paper leans on
-
[1]
[Fig. 2(b)]. Our local readout allows us to picture these quantum corre- lations in much greater detail [Fig. 2(c-f)]. At very large field, the system remains close to a product state [Fig. 2(d)]. Then, asδdecreases, neighboring atoms on opposite subarrays begin to exchange their spins and develop strong antiferromagnetic correlations, while atoms within ...
-
[2]
correlation is in agreement with theU(1)ansatz, and opposite to theZ 2. However, both disagree with the experiment regarding the sign of the (small) cross-hexagon d= 2correlations. We have also used linear spin-wave the- ory to compute the finite-size,T= 0correlation functions of theq= 0anti-ferromagnetic order, which predicts a magneti- zation plateau of...
-
[3]
Elser, Physical Review Letters62, 2405 (1989)
V . Elser, Physical Review Letters62, 2405 (1989)
work page 1989
-
[4]
G. Misguich and C. Lhuillier, TWO-DIMENSIONAL QUAN- TUM ANTIFERROMAGNETS, inFrustrated Spin Systems (WORLD SCIENTIFIC, 2013) pp. 235–319, 2nd ed
work page 2013
-
[5]
X. Chen, H. Liao, and Y . Li, Journal of Physics: Condensed Matter37, 233002 (2025)
work page 2025
- [6]
-
[7]
W. Zhu, S. S. Gong, and D. N. Sheng, Physical Review B92, 014424 (2015)
work page 2015
- [8]
-
[9]
A. M. L ¨auchli and R. Moessner, Quantum simulations made easy plane (2015), arXiv:1504.04380 [cond-mat]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[10]
Sachdev, Physical Review B45, 12377 (1992)
S. Sachdev, Physical Review B45, 12377 (1992)
work page 1992
-
[11]
K. Yang, L. K. Warman, and S. M. Girvin, Physical Review Letters70, 2641 (1993)
work page 1993
-
[12]
T.-H. Han, J. S. Helton, S. Chu, D. G. Nocera, J. A. Rodriguez- Rivera, C. Broholm, and Y . S. Lee, Nature492, 406 (2012)
work page 2012
-
[13]
M. B. Hastings, Physical Review B63, 014413 (2000)
work page 2000
-
[14]
Y . Ran, M. Hermele, P. A. Lee, and X.-G. Wen, Physical Re- view Letters98, 117205 (2007)
work page 2007
-
[15]
Y .-C. He, M. P. Zaletel, M. Oshikawa, and F. Pollmann, Physi- cal Review X7, 031020 (2017)
work page 2017
- [17]
- [18]
-
[19]
Bonderson, Physical Review Research3, 033110 (2021)
P. Bonderson, Physical Review Research3, 033110 (2021)
work page 2021
-
[20]
Y . Y . Huang, Y . Xu, L. Wang, C. C. Zhao, C. P. Tu, J. M. Ni, L. S. Wang, B. L. Pan, Y . Fu, Z. Hao, C. Liu, J.-W. Mei, and S. Y . Li, Physical Review Letters127, 267202 (2021)
work page 2021
-
[21]
J. R. Chamorro, T. M. McQueen, and T. T. Tran, Chemical Re- views121, 2898 (2021)
work page 2021
-
[22]
H. Murayama, T. Tominaga, T. Asaba, A. D. O. Silva, Y . Sato, H. Suzuki, Y . Ukai, S. Suetsugu, Y . Kasahara, R. Okuma, I. Kimchi, and Y . Matsuda, Physical Review B106, 174406 (2022)
work page 2022
- [23]
-
[24]
L.-M. Duan, E. Demler, and M. D. Lukin, Physical Review Let- ters91, 090402 (2003)
work page 2003
- [25]
-
[26]
E. Altman, K. R. Brown, G. Carleo, L. D. Carr, E. Demler, C. Chin, B. DeMarco, S. E. Economou, M. A. Eriksson, K.- M. C. Fu, M. Greiner, K. R. Hazzard, R. G. Hulet, A. J. Koll´ar, B. L. Lev, M. D. Lukin, R. Ma, X. Mi, S. Misra, C. Monroe, K. Murch, Z. Nazario, K.-K. Ni, A. C. Potter, P. Roushan, M. Saffman, M. Schleier-Smith, I. Siddiqi, R. Simmonds, M. S...
work page 2021
-
[27]
K. R. A. Hazzard, M. Van Den Worm, M. Foss-Feig, S. R. Man- mana, E. G. Dalla Torre, T. Pfau, M. Kastner, and A. M. Rey, Physical Review A90, 063622 (2014)
work page 2014
- [28]
-
[29]
J. Mongkolkiattichai, L. Liu, D. Garwood, J. Yang, and P. Schauss, Physical Review A108, L061301 (2023)
work page 2023
-
[30]
M. Xu, L. H. Kendrick, A. Kale, Y . Gang, G. Ji, R. T. Scalettar, M. Lebrat, and M. Greiner, Nature620, 971 (2023)
work page 2023
-
[31]
S.-A. Guo, Y .-K. Wu, J. Ye, L. Zhang, W.-Q. Lian, R. Yao, Y . Wang, R.-Y . Yan, Y .-J. Yi, Y .-L. Xu, B.-W. Li, Y .-H. Hou, Y .-Z. Xu, W.-X. Guo, C. Zhang, B.-X. Qi, Z.-C. Zhou, L. He, and L.-M. Duan, Nature630, 613 (2024)
work page 2024
-
[32]
S. J. Evered, M. Kalinowski, A. A. Geim, T. Manovitz, D. Blu- vstein, S. H. Li, N. Maskara, H. Zhou, S. Ebadi, M. Xu, J. Campo, M. Cain, S. Ostermann, S. F. Yelin, S. Sachdev, 7 M. Greiner, V . Vuleti ´c, and M. D. Lukin, Nature645, 341 (2025)
work page 2025
- [33]
-
[34]
M. Iqbal, A. Lyons, C. F. B. Lo, N. Tantivasadakarn, J. Dreiling, C. Foltz, T. M. Gatterman, D. Gresh, N. Hewitt, C. A. Holliman, J. Johansen, B. Neyenhuis, Y . Matsuoka, M. Mills, S. A. Moses, P. Siegfried, A. Vishwanath, R. Verresen, and H. Dreyer, Nature Communications16, 6301 (2025)
work page 2025
-
[35]
G. Semeghini, H. Levine, A. Keesling, S. Ebadi, T. T. Wang, D. Bluvstein, R. Verresen, H. Pichler, M. Kalinowski, R. Sama- jdar, A. Omran, S. Sachdev, A. Vishwanath, M. Greiner, V . Vuleti´c, and M. D. Lukin, Science374, 1242 (2021), https://www.science.org/doi/pdf/10.1126/science.abi8794
-
[36]
S. De L ´es´eleuc, V . Lienhard, P. Scholl, D. Barredo, S. Weber, N. Lang, H. P. B ¨uchler, T. Lahaye, and A. Browaeys, Science 365, 775 (2019)
work page 2019
-
[37]
M. Bintz, V . S. Liu, J. Hauschild, A. Khalifa, S. Chatterjee, M. P. Zaletel, and N. Y . Yao, Dirac spin liquid in quantum dipole arrays (2024), arXiv:2406.00098 [cond-mat.str-el]. [36]µ=|⟨60S|e⃗ r e|60P⟩| ≈4.5kilodebye—about 2400 times greater than the electric dipole moment of a water molecule
- [38]
-
[39]
G. Emperauger, M. Qiao, C. Chen, F. Caleca, S. Bocini, M. Bintz, G. Bornet, R. Martin, B. G ´ely, L. Klein, D. Barredo, S. Chatterjee, N. Y . Yao, F. Mezzacapo, T. Lahaye, T. Roscilde, and A. Browaeys, Physical Review X15, 031021 (2025)
work page 2025
-
[40]
P. W. Anderson, Science235, 1196 (1987), https://www.science.org/doi/pdf/10.1126/science.235.4793.1196
-
[41]
G. Baskaran, Z. Zou, and P. Anderson, Solid State Communi- cations63, 973 (1987)
work page 1987
-
[42]
See Supplemental Material for additional details
-
[43]
C. Chen, G. Bornet, M. Bintz, G. Emperauger, L. Leclerc, V . S. Liu, P. Scholl, D. Barredo, J. Hauschild, S. Chatterjee, M. Schuler, A. M. L¨auchli, M. P. Zaletel, T. Lahaye, N. Y . Yao, and A. Browaeys, Nature616, 691 (2023)
work page 2023
-
[44]
We have checked experimentally that, owing to theU(1)- symmetry, theσ y measurements are identical to theσ x ones [41]
- [45]
-
[46]
Kubo, Journal of the Physical Society of Japan17, 1100 (1962)
R. Kubo, Journal of the Physical Society of Japan17, 1100 (1962)
work page 1962
-
[47]
J. Schnack, J. Schulenburg, and J. Richter, Physical Review B 98, 094423 (2018)
work page 2018
-
[48]
The entropy density of our initial state (S/N= 0.9 ln 2) cor- responds to the liquid helium temperatures used for solid-state inelastic neutron scattering measurements
-
[49]
T. L. Nguyen, J. M. Raimond, C. Sayrin, R. Corti˜nas, T. Cantat- Moltrecht, F. Assemat, I. Dotsenko, S. Gleyzes, S. Haroche, G. Roux, Th. Jolicoeur, and M. Brune, Physical Review X8, 011032 (2018)
work page 2018
-
[50]
K.-N. Schymik, S. Pancaldi, F. Nogrette, D. Barredo, J. Paris, A. Browaeys, and T. Lahaye, Physical Review Applied16, 034013 (2021)
work page 2021
-
[51]
Z. Zhang, T.-W. Hsu, T. Y . Tan, D. H. Slichter, A. M. Kauf- man, M. Marinelli, and C. A. Regal, PRX Quantum6, 020337 (2025)
work page 2025
- [52]
-
[53]
M. Hermele, Y . Ran, P. A. Lee, and X.-G. Wen, Physical Re- view B77, 224413 (2008)
work page 2008
-
[54]
X.-Y . Song, C. Wang, A. Vishwanath, and Y .-C. He, Nature Communications10, 4254 (2019)
work page 2019
-
[55]
F. Becca and S. Sorella,Quantum Monte Carlo Approaches for Correlated Systems, 1st ed. (Cambridge University Press, 2017)
work page 2017
-
[56]
W. Zhu, S.-s. Gong, and D. N. Sheng, Proceedings of the National Academy of Sciences116, 5437 (2019), https://www.pnas.org/doi/pdf/10.1073/pnas.1807840116
- [57]
- [58]
-
[59]
Whether theansatzhas asymptotic correlations that match the field theory is also unknown
-
[60]
Y .-M. Lu, Y . Ran, and P. A. Lee, Physical Review B83, 224413 (2011)
work page 2011
- [61]
-
[62]
Y .-M. Lu, G. Y . Cho, and A. Vishwanath, Physical Review B 96, 205150 (2017)
work page 2017
-
[63]
E. G. Dalla Torre, D. Benjamin, Y . He, D. Dentelski, and E. Demler, Physical Review B93, 205117 (2016)
work page 2016
-
[64]
U. F. P. Seifert, J. Willsher, M. Drescher, F. Pollmann, and J. Knolle, Nature Communications15, 7110 (2024)
work page 2024
-
[65]
A. A. Geim, N. U. Koyluoglu, S. J. Evered, R. Sahay, S. H. Li, M. Xu, D. Bluvstein, N. O. Gjonbalaj, N. Maskara, M. Kali- nowski, T. Manovitz, R. Verresen, S. F. Yelin, J. Feldmeier, M. Greiner, V . Vuletic, and M. D. Lukin, Engineering quantum criticality and dynamics on an analog-digital simulator (2026), arXiv:2602.18555 [quant-ph]
- [66]
-
[67]
M. Bintz and G. Bornet, Experimental data: Dirac Spin Liquid Candidate in a Rydberg Quantum Simulator (2026)
work page 2026
-
[68]
We offer a nice French dinner to anyone who finds something interesting!
- [69]
-
[70]
F. Nogrette, H. Labuhn, S. Ravets, D. Barredo, L. B ´eguin, A. Vernier, T. Lahaye, and A. Browaeys, Physical Review X 4, 021034 (2014)
work page 2014
-
[71]
S. De L ´es´eleuc, D. Barredo, V . Lienhard, A. Browaeys, and T. Lahaye, Physical Review A97, 053803 (2018)
work page 2018
-
[72]
I. I. Beterov, I. I. Ryabtsev, D. B. Tretyakov, and V . M. Entin, Physical Review A79, 052504 (2009)
work page 2009
- [73]
-
[74]
Colpa, Physica A: Statistical Mechanics and its Applications 93, 327 (1978)
J. Colpa, Physica A: Statistical Mechanics and its Applications 93, 327 (1978). 8 Figure S1.Experimental sequence.(a) Atomic energy levels in- volved in this work and associated transitions: 420 nm and 1013 nm are the wavelengths used for Rydberg excitation, and 16.4 GHz and 7.5 GHz are microwave fields for driving Rydberg-Rydberg tran- sitions. (b) Sketc...
work page 1978
-
[75]
We then define apair-frame displacementR(θ j)r ij, which maps geometrically equivalent pairs onto a common reference orientation. Using these pair-frame displacements, we define the corre- lation map C αα d = 1 Nd X {(i,j)|R(θj)r ij=d} ⟨σα i σα j ⟩c,(4) where the sum runs over all atom pairs whose pair-frame dis- placement equalsd, andN d denotes the corr...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.