Résumé IA · arXiv: 2611.03241v1 · cond-mat.stat-mech

Establishing Néel order in the square-lattice antiferromagnetic Heisenberg model: a bootstrap proof

Nisarg Chadha, Taige Wang, Pavel A. Nosov, Michael G. Scheer, Eslam Khalaf
Article original Soumis à arXiv le 02 Nov. 2026 Licence : CC BY 4.0 Aussi en : en

Comment lire ce résumé ? Guide illustré

L’essentiel

Le bootstrap certifié établit une borne strictement positive sur l’ordre de Néel du modèle de Heisenberg antiferromagnétique carré à spin 1/2, y compris au point isotrope.

Question

Peut-on démontrer rigoureusement l’existence de l’ordre de Néel à température nulle dans le modèle de Heisenberg carré à spin 1/2, alors que les approches antérieures n’avaient pas établi ce résultat au point isotrope ? Les auteurs cherchent aussi à étendre cette preuve à certaines anisotropies du modèle XXZ.

Méthode

Les auteurs généralisent les inégalités de Kennedy–Lieb–Shastry en combinant une borne infrarouge, des moments spectraux exprimés par des corrélateurs locaux et un bootstrap formulé comme programme semi-défini. Ils certifient les bornes par des certificats rationnels exacts et améliorent la borne variationnelle sur l’énergie à l’aide d’états MPS en bandes infinies couplées par un circuit peu profond. À Δ=1, le calcul utilise jusqu’à 1,2 × 10^5 moments libres et une borne certifiée sur la densité d’énergie de −0,668047.

Résultats

  • Résultat Au point isotrope, la borne certifiée sur le carré du paramètre d’ordre est strictement positive.
    Voir le passage dans l’article
    m_{x}^{2}\geq 7.63\times 10^{-4}.
  • Résultat La méthode établit également des bornes positives sur l’ordre de Néel pour les valeurs de Δ calculées dans l’intervalle [0,2].
  • Résultat À Δ=0, la borne obtenue dépasse celle de la construction KLS initiale.
  • Résultat La nouvelle construction variationnelle améliore la borne rigoureuse antérieure sur l’énergie au point de Heisenberg.
  • Interprétation des auteurs Les auteurs interprètent le bootstrap comme une voie vers la détermination rigoureuse et systématique de diagrammes de phases dans des systèmes quantiques en interaction.
    Voir le passage dans l’article
    More broadly, this framework opens a route to the rigorous and systematic determination of phase diagrams in interacting quantum systems.

Limites

  • Les résultats de l’article certifient l’ordre aux valeurs discrètes de Δ calculées, plutôt que sur tout l’intervalle continu.
  • La démonstration au voisinage du point isotrope requiert un ensemble de variables de bootstrap très volumineux.

Portée

Les auteurs présentent une preuve rigoureuse de l’ordre de Néel pour le modèle carré isotrope à spin 1/2, longtemps non démontré malgré des résultats numériques et théoriques concordants. Leur approche associe bornes infrarouges, bootstrap et énergie variationnelle certifiée, et pourrait être adaptée à d’autres modèles locaux disposant de bornes de susceptibilité infrarouge.

Rédigé par une IA à partir de l’article. Les passages cités sont vérifiés mot pour mot dans le texte analysé ; le reste peut contenir des erreurs.

Mots clés générés par l'IA : Modèle XXZ ; ordre de Néel ; inégalité de Kennedy–Lieb–Shastry ; programmes semidéfinis ; certificats numériques

Pour aller plus loin

  • Résumé Complet
  • Résumé vulgarisé
  • Article de blog
  • Abstract original
Cet article s’attaque à un problème ancien : démontrer rigoureusement l’existence d’un ordre de Néel à température nulle dans le modèle antiferromagnétique de Heisenberg de spin 1/2 sur le réseau carré. Malgré d’importants éléments de preuve numériques et théoriques, le cas isotrope restait difficile à établir mathématiquement. Les auteurs étudient plus généralement le modèle XXZ, dont le paramètre d’anisotropie \(\Delta\) vaut 1 au point de Heisenberg. Leur objectif est de démontrer une borne strictement positive sur le carré du paramètre d’ordre dans la limite thermodynamique. Pour ce faire, ils combinent des inégalités de type Kennedy–Lieb–Shastry (KLS), des relations entre moments spectraux et une méthode de bootstrap fondée sur des programmes semidéfinis. Les inégalités KLS relient l’ordre à des corrélations locales et contrôlent les fluctuations de grande longueur d’onde grâce à une borne infrarouge issue de la positivité par réflexion. Les auteurs améliorent cette approche en exploitant, au-delà des premiers moments spectraux, des moments impairs d’ordre supérieur, qui s’expriment à l’aide d’un nombre fini de corrélations locales. Un problème de moments leur permet ensuite d’établir une borne supérieure du facteur de structure à chaque impulsion. La méthode de bootstrap ne calcule pas directement l’état fondamental. Elle détermine plutôt un ensemble de valeurs possibles pour les corrélations, compatibles avec la positivité, la stationnarité de l’état fondamental, les symétries, la positivité par réflexion et la règle de signe de Marshall. Une borne supérieure certifiée de l’énergie ajoute une contrainte importante, notamment près de \(\Delta=1\). Pour l’obtenir, les auteurs construisent des états variationnels à partir de chaînes MPS infinies en bandes, puis rétablissent une partie de l’intrication entre les bandes au moyen d’un circuit de portes locales. Des estimations d’erreur par arithmétique d’intervalles et des certificats rationnels garantissent la rigueur des bornes énergétiques et des résultats du bootstrap. Au point de Heisenberg, la construction variationnelle établit une énergie par site inférieure ou égale à \(-0{,}668047\). Cette valeur est proche de l’estimation Monte-Carlo de \(-0{,}669441857(7)\), mais légèrement supérieure, comme il se doit pour une borne variationnelle supérieure de l’énergie fondamentale. À l’aide de cette contrainte énergétique et d’un ensemble de bootstrap pouvant compter jusqu’à environ 120 000 variables de corrélation, les auteurs démontrent que le carré de l’ordre de Néel dans le plan est supérieur ou égal à \(7{,}63\times10^{-4}\). Bien que faible, cette borne strictement positive suffit à établir l’existence d’états fondamentaux thermodynamiques présentant une aimantation stagée spontanée. Pour \(\Delta=0\), la borne obtenue est de 0,068, contre 0,0106 dans l’application antérieure de la méthode KLS. Sur une grille de valeurs de \(\Delta\) comprises entre 0 et 2, les auteurs établissent également une borne positive pour l’ordre dans le plan lorsque \(\Delta\leq1\), et pour l’ordre selon l’axe \(z\) lorsque \(\Delta\geq1\). La portée des résultats reste toutefois limitée à plusieurs égards.

Cette synthèse vous a-t-elle été utile ?

Note : 0

Pourquoi avons-nous besoin de votes ?

Les votes sont utilisés pour déterminer si nous devons réexécuter nos outils de synthèse. Si le compte atteint -10, nos outils peuvent être redémarrés.

Figures et graphiques

Posez une question sur une figure en indiquant son numéro ou en utilisant son bouton de question pour demander une analyse visuelle. Au maximum deux figures et quatre panneaux par question. Les valeurs lues sur les graphiques sont approximatives ; vérifiez les données originales.

Instructions pour utiliser l'assistant IA ?

Outils pour cet article

Expliquer autrement 1 réécriture gratuite restante aujourd'hui
Enregistrer dans une collection Regroupez des articles en collections pour les comparer, les interroger et les exporter. Continuer avec Google Créer un compte gratuit Se connecter

Outils avancés Premium

Pour suivre un domaine de près : alertes de citations, diapositives de journal club, comparaison des versions et envoi vers Zotero. Découvrir Premium

Zotero
Alertes de citation Guide des alertes de citations
Lettre hebdomadaire Présenté dans « Physique de la matière et de la lumière cette semaine » du 9 novembre 2026. Physique de la matière et de la lumière cette semaine : voir les structures, suivre les paires, éprouver les preuves

Les articles autour de celui-ci

Les voir sur une carte

Classés selon la proximité de leur titre et de leur résumé avec ceux de cet article. Sélectionnez-en pour les lire ensemble.

Les articles les plus proches

  1. Proche Contexte plus large
    Criticality enabled long-range order in a U(1)-symmetric spin-1 Heisenberg chain with biquadratic interactions
    N. Chepiga, F. Essler · 2026 · cité 2 fois · Pas encore résumé

    Cette étude examine l’ordre à longue portée qui brise la symétrie U(1), mais dans une chaîne antiferromagnétique de spin 1 plutôt que sur un réseau carré.

    Résumé scientifique

    In a recent paper Nahum argued on the basis of a renormalization-group analysis that, contrary to standard lore, ground states of 1D spin chains with short-range interactions can spontaneously break U(1) ``easy-plane''spin rotation symmetry. True long-range order of $(S^x,S^y)$ arises at the phase transition between two quasi-long-range-ordered phases. Here we present detailed numerical results for an anisotropic spin-1 chain model. We find a magnetization exponent $\beta\approx0.29$, consistent with the $\epsilon$-expansion prediction $\beta\approx0.28$, a divergence of the Luttinger parameter on approaching the transition from both sides with an exponent that we relate to Nahum's transitio…

  2. Proche* Base de cet article Cité par cet article
    Existence of Néel order in some spin-1/2 Heisenberg antiferromagnets
    T. Kennedy, E. Lieb, B. Shastry · 1988 · Journal of Statistical Physics · cité 136 fois · Pas encore résumé

    Cet article établit l’ordre de Néel dans certains antiferromagnétiques de Heisenberg de spin 1/2, un résultat antérieur mobilisé par la preuve étudiée.

  3. Proche Prolonge cet article Cité par cet article
    Defect Bootstrap: Tight Ground State Bounds in Spontaneous Symmetry Breaking Phases
    Michael G. Scheer, Nisarg Chadha, Da-Chuan Lu et al. · 2025 · cité 6 fois · Pas encore résumé

    Defect Bootstrap prolonge les méthodes bootstrap pour borner les observables dans les phases brisant spontanément une symétrie, où les contraintes locales deviennent lâches.

    Résumé scientifique

    The recent development of bootstrap methods based on semidefinite relaxations of positivity constraints has enabled rigorous two-sided bounds on local observables directly in the thermodynamic limit. However, these bounds inevitably become loose in symmetry broken phases, where local constraints are insufficient to capture long-range order. In this work, we identify the origin of this looseness as order parameter defects which are difficult to remove using local operators. We introduce a $\textit{defect bootstrap}$ framework that resolves this limitation by embedding the system into an auxiliary $\textit{defect model}$ equipped with ancilla degrees of freedom. This construction effectively e…

  4. Proche Même question Cité par cet article
    High-precision ground state parameters of the two-dimensional spin-1/2 Heisenberg model on the square lattice
    A. Sandvik · 2026 · Journal of Statistical Mechanics: Theory and Experiment · cité 11 fois · Pas encore résumé

    Cette étude calcule par Monte-Carlo l’énergie et le paramètre d’ordre du même antiferromagnétique carré de spin 1/2, sans établir rigoureusement l’ordre.

    Résumé scientifique

    Motivated by the need for high-precision benchmark results for basic quantum many-body models, several ground state properties of the square lattice S=1/2 Heisenberg antiferromagnet are computed (the energy, order parameter, spin stiffness, spinwave velocity, long-wavelength susceptibility and staggered susceptibility) using extensive quantum Monte Carlo simulations with the stochastic series expansion method. Moderately sized lattices are studied at temperatures T sufficiently low to realize the T → 0 limit, with significantly reduced statistical errors relative to previous works. Results for periodic L × L lattices with L∈[6,96] are tabulated versus L and extrapolations to infinite system …

  5. Proche Même méthode, autre problème Cité par cet article
    Bootstrapping Classical Systems with Quenched Disorder
    Minjae Cho, Yaprak Önder, E. Khalaf et al. · 2026 · cité 2 fois · Pas encore résumé

    Cet article emploie programmation linéaire et semi-définie dans un bootstrap, mais pour borner des observables de systèmes classiques désordonnés.

    Résumé scientifique

    We introduce a bootstrap method for deriving bounds on disorder-averaged observables in classical statistical systems with quenched disorder. The three main ingredients of the bootstrap are the positivity of ensembles of probability measures, disorder-averaged equations of motion, and explicit expectation values of random coupling variables. Together, these ingredients lead to a linear programming problem over the space of disorder averages. By further employing the positivity of the two-replica Gram matrix, we also formulate a semidefinite programming problem that produces bounds on two-replica correlators. We demonstrate the method using two examples: the two-dimensional random site-dilute…

  6. Proche Même méthode, autre problème Cité par cet article
    Bootstrapping the Ising Model on the Lattice
    Minjae Cho, Barak Gabai, Ying-Hsuan Lin et al. · 2022 · cité 31 fois · Pas encore résumé

    Cet article combine identités de spin et positivité dans un bootstrap semi-défini, appliqué aux corrélateurs du modèle d’Ising sur réseau.

    Résumé scientifique

    We study the statistical Ising model of spins on the infinite lattice using a bootstrap method that combines spin-flip identities with positivity conditions, including reflection positivity and Griffiths inequalities, to derive rigorous two-sided bounds on spin correlators through semi-definite programming. For the 2D Ising model on the square lattice, the bootstrap bounds based on correlators supported in a 13-site diamond-shaped region determine the nearest-spin correlator to within a small window, which for a wide range of coupling and magnetic field is narrower than the precision attainable with Monte Carlo methods. We also report preliminary results of the bootstrap bounds for the 3D Is…

  7. Proche Base de cet article Cité par cet article
    Long-Range Order, “Tower” of States, and Symmetry Breaking in Lattice Quantum Systems
    H. Tasaki · 2018 · Journal of statistical physics · cité 96 fois · Pas encore résumé

    Cet article développe rigoureusement le lien entre ordre à longue portée et brisure spontanée de symétrie dans les systèmes quantiques à symétrie continue.

    Résumé scientifique

    In a quantum many-body system where the Hamiltonian and the order operator do not commute, it often happens that the unique ground state of a finite system exhibits long-range order (LRO) but does not show spontaneous symmetry breaking (SSB). Typical examples include antiferromagnetic quantum spin systems with Néel order, and lattice boson systems which exhibits Bose–Einstein condensation. By extending and improving previous results by Horsch and von der Linden and by Koma and Tasaki, we here develop a fully rigorous and almost complete theory about the relation between LRO and SSB in the ground state of a finite system with continuous symmetry. We show that a ground state with LRO but witho…

  8. Proche Contexte plus large
    Continuous Symmetry Breaking in a Two-dimensional Rydberg Array
    Cheng Chen, Guillaume Bornet, Marcus Bintz et al. · 2022 · Quantum Gases · cité 225 fois · Résumé IA disponible

    Cette étude traite de la brisure de symétrie continue dans un réseau de Rydberg bidimensionnel, plutôt que de l’ordre de Néel du modèle XXZ.

    Résumé scientifique

    Spontaneous symmetry breaking underlies much of our classification of phases of matter and their associated transitions. It provides an example of the power of many-body interactions, enabling a collection of individual degrees of freedom to align its behavior across large spatial and temporal scales. Crucially, the nature of the underlying symmetry being broken determines many of the qualitative properties of the phase; this is illustrated by the case of discrete versus continuous symmetry breaking. Indeed, in contrast to the discrete case, the breaking of a continuous symmetry is governed by Goldstone's theorem, which predicts the existence of gapless modes that mediate power-law correlati…

Les travaux antérieurs sur lesquels il s’appuie

  1. Proche Même méthode, autre problème
    Bootstrapping Flatband Superconductors: Rigorous Lower Bounds on Superfluid Stiffness.
    Qiang Gao, Zhao-Yu Han, E. Khalaf · 2025 · Physical Review Letters · cité 11 fois · Pas encore résumé

    Cet article utilise le bootstrap des matrices de densité réduites pour obtenir des bornes rigoureuses, mais sur la rigidité superfluide de modèles supraconducteurs.

    Résumé scientifique

    The superfluid stiffness fundamentally constrains the transition temperature of superconductors, especially in the strongly coupled regime. However, accurately determining this inherently quantum many-body property in microscopic models remains a significant challenge. In this Letter, we show how the quantum many-body bootstrap framework, specifically the reduced density matrix (RDM) bootstrap, can be leveraged to obtain rigorous lower bounds on the superfluid stiffness in frustration free interacting models with superconducting ground state. We numerically apply the method to a special class of frustration-free models, which are known as quantum geometric nesting models, for flatband superc…

  2. Proche Même méthode, autre problème
    Thermal bootstrap of matrix quantum mechanics
    Minjae Cho, Barak Gabai, Joshua Sandor et al. · 2024 · Journal of High Energy Physics · cité 27 fois · Pas encore résumé

    Cet article applique un bootstrap semi-défini à la mécanique quantique matricielle, afin de borner des observables thermiques plutôt que l’ordre magnétique.

    Résumé scientifique

    We implement a bootstrap method that combines stationary state conditions, thermal inequalities, and semidefinite relaxations of matrix logarithm in the ungauged one-matrix quantum mechanics, at finite rank N as well as in the large N limit, and determine finite temperature observables that interpolate between available analytic results in the low and high temperature limits respectively. We also obtain bootstrap bounds on thermal phase transition as well as preliminary results in the ungauged two-matrix quantum mechanics.

  3. Proche Même question
    The spin-half XXZ antiferromagnet on the square lattice revisited: A high-order coupled cluster treatment
    Raymond F. Bishop, P.-H.-Y. Li, R. Zinke et al. · 2016 · Journal of Magnetism and Magnetic Materials · cité 16 fois · Pas encore résumé

    Cette étude calcule par méthode des amas couplés les propriétés fondamentales de l’antiferromagnétique XXZ carré de spin 1/2, notamment selon l’anisotropie Δ.

    Résumé scientifique

    We use the coupled cluster method (CCM) to study the ground-state properties and lowest-lying triplet excited state of the spin-half {\it XXZ} antiferromagnet on the square lattice. The CCM is applied to it to high orders of approximation by using an efficient computer code that has been written by us and which has been implemented to run on massively parallelized computer platforms. We are able therefore to present precise data for the basic quantities of this model over a wide range of values for the anisotropy parameter Δ in the range −1≤Δ 1) regimes, where Δ→∞ represents the Ising limit. We present results for the ground-state energy, the sublattice magnetization, the zero-field transver…

  4. Proche* Même question
    Long-range order in the XXZ model
    H. Nishimori, K. Kubo, Y. Ozeki et al. · 1989 · Journal of Statistical Physics · cité 12 fois · Pas encore résumé

    Cet article porte sur l’ordre à longue portée dans le modèle XXZ, objet dont la preuve étudiée établit rigoureusement l’ordre de Néel pour certaines anisotropies.

  5. Proche Même méthode, autre problème
    Bootstrapping Matrix Quantum Mechanics.
    Xi-Zhi Han, S. Hartnoll, Jorrit Kruthoff · 2020 · Physical Review Letters · cité 115 fois · Pas encore résumé

    Cet article applique le bootstrap aux matrices quantiques pour déterminer spectres et valeurs moyennes, plutôt qu’à l’ordre de Néel d’un réseau de spins.

    Résumé scientifique

    Large N matrix quantum mechanics is central to holographic duality but not solvable in the most interesting cases. We show that the spectrum and simple expectation values in these theories can be obtained numerically via a "bootstrap" methodology. In this approach, operator expectation values are related by symmetries-such as time translation and SU(N) gauge invariance-and then bounded with certain positivity constraints. We first demonstrate how this method efficiently solves the conventional quantum anharmonic oscillator. We then reproduce the known solution of large N single matrix quantum mechanics. Finally, we present new results on the ground state of large N two matrix quantum mechani…

Comment ces articles sont-ils trouvés ?

Nous comparons le titre et le résumé de cet article avec ceux de tous les articles résumés sur ce site, et avec les articles que Semantic Scholar recommande, ceux qu’il cite et ceux qui le citent (pour un article très cité, ses citations les plus récentes et, depuis OpenAlex, les plus citées). Parmi les travaux antérieurs et les suites, les articles qui s’utilisent en profondeur, une méthode qu’il utilise et les suites très citées remontent un peu. Les niveaux (très proche, proche, apparenté) viennent de la similarité des textes, pas d’un jugement de qualité ; * signale un article sans résumé, comparé par son titre. La phrase sous un article est écrite par une IA à partir des deux résumés : vérifiez-la dans les articles. Un article jugé hors sujet par trois lecteurs quitte la liste.

Mis à jour le 9 novembre 2026.

Avertissement : Notre outil de synthèse basé sur l'IA et l'assistant virtuel fournis sur ce site Web peuvent ne pas toujours fournir des résumés complets ou des réponses exactes. Nous vous encourageons à examiner attentivement et à évaluer le contenu généré pour vous assurer de sa qualité et de sa pertinence par rapport à vos besoins.