Faster-than-power-law decay of order parameter correlations in the two-dimensional RP2 model: a rigorous result by vibe-proving
Version 1 / Oct 22, 2026/ arXiv: 2610.41256 / CC BY 4.0
Abstract
We consider the model on the two-dimensional square lattice with nearest-neighbor interactions. It is obtained by replacing the spin in the standard classical Heisenberg model with
a director, which does not distinguish two opposite directions. Unlike the standard classical Heisenberg model or the O(3) nonlinear sigma model, the (and its cousin ) model allows point vortex defects classified by in two dimensions.
It is tempting to expect the vortices to induce a phase transition analogous to the well-established
Berezinskii-Kosterlitz-Thouless transition in the O(2) model (XY model) in two dimensions. Indeed, the possibilities of a critical phase or a critical point with power-law correlations of the order parameter in the and models have been discussed in the literature. However, the challenging nature of the problem has prevented a definitive conclusion on the phase diagram so far.
In this paper, we report a rigorous mathematical proof by Artificial Intelligence (ChatGPT 6 Astra) that
the absolute value of the two-point correlation function of order parameters at distance in the and models on the two-dimensional square lattice is bounded above by
for any finite inverse temperature ,
with positive constants and depending only on . Namely, the correlation function decays faster than any power of .
The proof is formalized and verified in Lean; the formalization is publicly
available at \href{https://doi.org/10.5281/zenodo.23548847}{doi:10.5281/zenodo.23548847}. A heuristic argument based on a one-parameter effective theory ansatz at large distances combined with the rigorous correlation bound suggests (but does not prove) that the vortices are always unbound at any nonzero temperature.
Provenance statement
Formalizations
Tools used
- OpenAI
- ChatGPTVersion 6 Astra
- Anthropic
- Claude OpusVersion 5.5
References
- OpenAI. Sharing AI progress in mathematics. 2026. Release announcement, 6 October 2026. Official announcement (https://openai.com/index/sharing-ai-progress-in-mathematics/)link
- OpenAI. Mathematical manuscripts and supporting proof artifacts. 2026. Repository and manuscript catalogue (https://github.com/openai/math), consulted 12 October 2026. The catalogue lists 719 manuscripts in 372 families, at different stages of verificationlink
- Hohenberg, P. C. Existence of Long-Range Order in One and Two Dimensions. Physical Review, vol. 158, no. 2, pp. 383–386. 1967DOI
- Mermin, N. D.; Wagner, H. Absence of Ferromagnetism or Antiferromagnetism in One- or Two-Dimensional Isotropic Heisenberg Models. Physical Review Letters, vol. 17, no. 22, pp. 1133–1136. 1966DOI
- Mermin, N. D. Absence of Ordering in Certain Classical Systems. Journal of Mathematical Physics, vol. 8, no. 5, pp. 1061–1064. 1967DOI
- Halperin, Bertrand I. On the Hohenberg–Mermin–Wagner Theorem and Its Limitations. Journal of Statistical Physics, vol. 175, pp. 521–529. 2019arXivDOI
- Polyakov, A.M. Interaction of Goldstone particles in two dimensions. Applications to ferromagnets and massive Yang-Mills fields. Physics Letters B, vol. 59, pp. 79–81. 1975DOI
- Brézin, E.; Zinn-Justin, J. Spontaneous breakdown of continuous symmetries near two dimensions. Physical Review B, vol. 14, pp. 3110–3120. 1976DOI
- Berezinskii, V. L. Destruction of Long-Range Order in One-Dimensional and Two-Dimensional Systems Having a Continuous Symmetry Group. I. Classical Systems. Soviet Physics JETP, vol. 32, pp. 493–500. 1971
- Kosterlitz, J. M.; Thouless, D. J. Ordering, metastability and phase transitions in two-dimensional systems. Journal of Physics C: Solid State Physics, vol. 6, pp. 1181–1203. 1973DOI
Show all 104 referencesShow fewer references
- Fröhlich, Jürg; Spencer, Thomas. The Kosterlitz–Thouless transition in two-dimensional Abelian spin systems and the Coulomb gas. Communications in Mathematical Physics, vol. 81, pp. 527–602. 1981DOI
- OpenAI. Exponential decay in two-dimensional classical models. 2026. Preprint dated 23 September 2026. Repository version \textttadc7f1241b42 (https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Exponential-decay-in-two-dimensional-classical-On-models-September-23-2026/paper.pdf)link
- Lebwohl, P. A.; Lasher, G. Nematic-Liquid-Crystal Order–A Monte Carlo Calculation. Physical Review A, vol. 6, pp. 426–429. 1972DOI
- Friedan, D. Nonlinear Models in Dimensions. Physical Review Letters, vol. 45, pp. 1057–1060. 1980DOI
- Toulouse, G.; Kléman, M. Principles of a classification of defects in ordered media. Journal de Physique Lettres, vol. 37, no. 6, pp. L149–L151. 1976DOI
- Mermin, N. D. The topological theory of defects in ordered media. Reviews of Modern Physics, vol. 51, pp. 591–648. 1979DOI
- Solomon, S. Vortices and phase transitions in two-dimensional non-abelian spin models. Physics Letters B, vol. 100, no. 6, pp. 492–496. 1981DOI
- Kawamura, Hikaru; Miyashita, Seiji. Phase Transition of the Two-Dimensional Heisenberg Antiferromagnet on the Triangular Lattice. Journal of the Physical Society of Japan, vol. 53, pp. 9–12. 1984DOI
- Kawamura, Hikaru; Miyashita, Seiji. Phase Transition of the Two-Dimensional Heisenberg Antiferromagnet on the Triangular Lattice. Journal of the Physical Society of Japan, vol. 53, pp. 4138–4154. 1984DOI
- Dombre, T.; Read, N. Nonlinear models for triangular quantum antiferromagnets. Physical Review B, vol. 39, pp. 6797–6801. 1989DOI
- Caffarel, Michel; Azaria, Patrick; Delamotte, Bertrand; Mouhanna, Dominique. Spin stiffness and topological defects in two-dimensional frustrated spin systems. Physical Review B, vol. 64, pp. 014412. 2001. arXiv:cond-mat/0012397 (https://arxiv.org/abs/cond-mat/0012397)arXivDOI
- Kunz, H.; Zumbach, G. Topological phase transition in a two-dimensional nematic n-vector model: A numerical study. Physical Review B, vol. 46, pp. 662–673. 1992DOI
- Ozeki, Yukiyasu; Matsuda, Atsuyuki; Echinaka, Yuki. Dynamical scaling analysis of phase transition and critical properties for the model in two dimensions. Physical Review E, vol. 99, pp. 012116. 2019DOI
- Ueda, Atsushi; Oshikawa, Masaki. Tensor network renormalization study on the crossover in classical Heisenberg and models in two dimensions. Physical Review E, vol. 106, pp. 014104. 2022arXivDOI
- Burgelman, Lander; Devos, Lukas; Vanhecke, Bram; Verstraete, Frank; Vanderstraeten, Laurens. Contrasting pseudocriticality in the classical two-dimensional Heisenberg and models: Zero-temperature phase transition versus finite-temperature crossover. Physical Review E, vol. 107, pp. 014117. 2023arXivDOI
- Cardy, John L.; Ostlund, S. Random symmetry-breaking fields and the XY model. Physical Review B, vol. 25, no. 11, pp. 6899–6909. 1982DOI
- Ristivojevic, Zoran; Le Doussal, Pierre; Wiese, Kay Jörg. Super-rough phase of the random-phase sine-Gordon model: Two-loop results. Physical Review B, vol. 86, no. 5, pp. 054201. 2012arXivDOI
- Perret, Anthony; Ristivojevic, Zoran; Le Doussal, Pierre; Schehr, Grégory; Wiese, Kay J. Super-Rough Glassy Phase of the Random Field XY Model in Two Dimensions. Physical Review Letters, vol. 109, no. 15, pp. 157205. 2012arXivDOI
- Le Doussal, Pierre; Ristivojevic, Zoran; Wiese, Kay Jörg. Exact form of the exponential correlation function in the glassy super-rough phase. Physical Review B, vol. 87, no. 21, pp. 214201. 2013arXivDOI
- Golubović, L.; Lubensky, T. C.; O'Hern, C. S. Structural properties of the sliding columnar phase in layered liquid crystalline systems. Physical Review E, vol. 62, no. 1, pp. 1069–1094. 2000arXivDOI
- O'Hern, C. S.; Lubensky, T. C. Nonlinear elasticity of the sliding columnar phase. Physical Review E, vol. 58, no. 5, pp. 5948–5965. 1998arXivDOI
- O'Hern, C. S.; Lubensky, T. C.; Toner, J. Sliding Phases in XY Models, Crystals, and Cationic Lipid-DNA Complexes. Physical Review Letters, vol. 83, no. 14, pp. 2745–2748. 1999arXivDOI
- Yamamoto, Hisashi. Long-distance effective lagrangian for low-temperature model. Physics Letters B, vol. 289, no. 1–2, pp. 81–86. 1992DOI
- Yamamoto, Hisashi. Effective lagrangian for the two-dimensional model at low temperatures. Nuclear Physics B, vol. 401, no. 3, pp. 711–744. 1993DOI
- Fukugita, M.; Kobayashi, M.; Okawa, M.; Oyanagi, Y.; Ukawa, A. Numerical evidence for a phase transition in the spin model in two dimensions. Physics Letters B, vol. 109, pp. 209–214. 1982DOI
- Kunz, H.; Zumbach, G. Numerical evidence for a topological phase transition in a two-dimensional spin model. Physics Letters B, vol. 257, pp. 299–304. 1991DOI
- Fariñas Sánchez, A. I.; Paredes V., R.; Berche, B. Evidence for a topological transition in nematic-to-isotropic phase transition in two dimensions. Physics Letters A, vol. 308, pp. 461–466. 2003arXivDOI
- Mondal, Enakshi; Roy, Soumen Kumar. Finite size scaling in the planar Lebwohl–Lasher model. Physics Letters A, vol. 312, pp. 397–410. 2003DOI
- Shabnam, Sabana; DasGupta, Sudeshna; Roy, Soumen Kumar. Existence of a line of critical points in a two-dimensional Lebwohl Lasher model. Physics Letters A, vol. 380, pp. 667–671. 2016DOI
- Paredes, Ricardo; Fariñas-Sánchez, Ana-Isabel; Botet, Robert. No quasi-long-range order in a two-dimensional liquid crystal. Physical Review E, vol. 78, pp. 051706. 2008arXivDOI
- Fariñas-Sánchez, Ana Isabel; Botet, Robert; Berche, Bertrand; Paredes, Ricardo. On the critical behaviour of two-dimensional liquid crystals. Condensed Matter Physics, vol. 13, no. 1, pp. 13601. 2010arXivDOI
- Tomita, Yusuke. Finite-size scaling analysis of pseudocritical region in two-dimensional continuous-spin systems. Physical Review E, vol. 90, pp. 032109. 2014DOI
- Delfino, Gesualdo; Diouane, Youness; Lamsen, Noel. Absence of nematic quasi-long-range order in two-dimensional liquid crystals with three director components. Journal of Physics A: Mathematical and Theoretical, vol. 54, pp. 03LT01. 2021arXivDOI
- Diouane, Youness; Lamsen, Noel; Delfino, Gesualdo. Critical points in the model. Journal of Statistical Mechanics: Theory and Experiment, vol. 2021, pp. 033214. 2021arXivDOI
- Diouane, Youness; Lamsen, Noel; Delfino, Gesualdo. On the and universality classes. Journal of Statistical Mechanics: Theory and Experiment, vol. 2023, pp. 043204. 2023arXivDOI
- Caracciolo, Sergio; Edwards, Robert G.; Pelissetto, Andrea; Sokal, Alan D. New universality classes for two-dimensional -models. Physical Review Letters, vol. 71, pp. 3906–3909. 1993arXivDOI
- Bonati, Claudio; Franchi, Alessio; Pelissetto, Andrea; Vicari, Ettore. Asymptotic low-temperature behavior of two-dimensional models. Physical Review D, vol. 102, pp. 034513. 2020arXivDOI
- Hasenbusch, Martin. O(N) and models in two dimensions. Physical Review D, vol. 53, pp. 3445–3450. 1996arXivDOI
- Niedermayer, F.; Weisz, Peter; Shin, Dong-Shin. Question of universality in and O(n) lattice models. Physical Review D, vol. 53, no. 10, pp. 5918–5923. 1996arXivDOI
- Latha, B. Kamala; Sastry, V. S. S. Two Phase Transitions in the Two-Dimensional Nematic Three-Vector Model with No Quasi-Long-Range Order: Monte Carlo Simulation of the Density of States. Physical Review Letters, vol. 121, pp. 217801. 2018arXivDOI
- Latha, B. Kamala; Sastry, V. S. S.; Shenoy, S. R. Entropic bottlenecks to nematic ordering in an apolar spin model. 2026. First posted 2025; version 2, 1 April 2026arXiv
- Southern, B. W.; Young, A. P. Spin stiffness in frustrated antiferromagnets. Physical Review B, vol. 48, pp. 13170. 1993DOI
- Southern, B. W.; Xu, H.-J. Monte Carlo study of the Heisenberg antiferromagnet on the triangular lattice. Physical Review B, vol. 52, pp. R3836. 1995DOI
- Wintel, M.; Everts, H. U.; Apel, W. Monte Carlo simulation of the Heisenberg antiferromagnet on a triangular lattice: Topological excitations. Physical Review B, vol. 52, pp. 13480. 1995arXivDOI
- Kawamura, Hikaru; Yamamoto, Atsushi; Okubo, Tsuyoshi. -Vortex Ordering of the Triangular-Lattice Heisenberg Antiferromagnet. Journal of the Physical Society of Japan, vol. 79, pp. 023701. 2010arXivDOI
- Kawamura, Hikaru. -vortex order of frustrated Heisenberg antiferromagnets in two dimensions. Journal of Physics: Conference Series, vol. 320, no. 1, pp. 012002. 2011arXivDOI
- Aoyama, Kazushi; Kawamura, Hikaru. Spin Current as a Probe of the -Vortex Topological Transition in the Classical Heisenberg Antiferromagnet on the Triangular Lattice. Physical Review Letters, vol. 124, pp. 047202. 2020arXivDOI
- Okubo, Tsuyoshi; Kawashima, Naoki. Possibility of a Topological Phase Transition in Two-dimensional Model. Journal of the Physical Society of Japan, vol. 92, pp. 114701. 2023arXivDOI
- Solomon, S.; Stavans, Y.; Domany, E. Vortex condensation in two-dimensional non-abelian spin models. Physics Letters B, vol. 112, no. 4–5, pp. 373–378. 1982DOI
- Catterall, S. M.; Hasenbusch, M.; Horgan, R. R.; Renken, R. Nature of the continuum limit in the 2D gauge model. Physical Review D, vol. 58, pp. 074510. 1998. arXiv:hep-lat/9801032 (https://arxiv.org/abs/hep-lat/9801032)arXivDOI
- Dutta, Subhrajit; Roy, Soumen Kumar. Phase transitions in two planar lattice models and topological defects: A Monte Carlo study. Physical Review E, vol. 70, pp. 066125. 2004arXivDOI
- Nahum, Adam; Serna, P.; Somoza, A. M.; Ortuño, M. Loop models with crossings. Physical Review B, vol. 87, pp. 184204. 2013arXivDOI
- Delsarte, P.; Goethals, J. M.; Seidel, J. J. Spherical codes and designs. Geometriae Dedicata, vol. 6, no. 3, pp. 363–388. 1977DOI
- Dobrushin, R. L.; Shlosman, S. B. Absence of breakdown of continuous symmetry in two-dimensional models of statistical physics. Communications in Mathematical Physics, vol. 42, no. 1, pp. 31–40. 1975DOI
- Shlosman, S. B. Decrease of correlations in two-dimensional models with continuous symmetry group. Theoretical and Mathematical Physics, vol. 37, no. 3, pp. 1118–1120. 1978DOI
- Driessler, W.; Landau, L.; Perez, J. Fernando. Estimates of critical lengths and critical temperatures for classical and quantum lattice systems. Journal of Statistical Physics, vol. 20, no. 2, pp. 123–162. 1979DOI
- Aizenman, Michael; Simon, Barry. Local Ward identities and the decay of correlations in ferromagnets. Communications in Mathematical Physics, vol. 77, no. 2, pp. 137–143. 1980DOI
- Ioffe, Dima; Shlosman, Senya; Velenik, Yvan. 2D models of statistical physics with continuous symmetry: the case of singular interactions. Communications in Mathematical Physics, vol. 226, no. 2, pp. 433–454. 2002arXivDOI
- Nummelin, E. A splitting technique for Harris recurrent Markov chains. Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete, vol. 43, no. 4, pp. 309–318. 1978DOI
- McBryan, Oliver A.; Spencer, Thomas. On the decay of correlations in SO(n)-symmetric ferromagnets. Communications in Mathematical Physics, vol. 53, no. 3, pp. 299–302. 1977DOI
- Gagnebin, Maxime; Velenik, Yvan. Upper bound on the decay of correlations in a general class of O(N)-symmetric models. Communications in Mathematical Physics, vol. 332, no. 3, pp. 1235–1255. 2014arXivDOI
- Oshikawa, Masaki. Lean 4 formalization of faster-than-power-law quadrupolar decay in the two-dimensional and models. 2026. Version 0.4.0 (\textttrp2-rp3-lean-zenodo-2026-10-21.zip). Zenodo, 10.5281/zenodo.23548847
- Jaffe, Arthur; Witten, Edward. Quantum Yang–Mills Theory. The Millennium Prize Problems. 2006. Official problem description (https://www.claymath.org/wp-content/uploads/2022/06/yangmills.pdf)link
- OpenAI. Critical bond and site percolation on the cubic lattice. 2026. Preprint dated 24 September 2026, released 6 October 2026. Repository preprint (https://github.com/openai/math/blob/main/preprints/Critical-bond-and-site-percolation-on-the-cubic-lattice-September-24-2026/paper.pdf)link
- OpenAI. The periodic spin-one Haldane gap. 2026. Preprint dated 24 September 2026, released 6 October 2026. Repository preprint (https://github.com/openai/math/blob/main/preprints/The-periodic-spin-one-Haldane-gap-September-24-2026/paper.pdf)link
- OpenAI. A boundary-field gap for the spin-one Heisenberg chain. 2026. Preprint dated 24 September 2026, released 6 October 2026. Repository preprint (https://github.com/openai/math/blob/main/preprints/A-boundary-field-gap-for-the-spin-one-Heisenberg-chain-September-24-2026/paper.pdf)link
- Haldane, F. D. M. Nonlinear Field Theory of Large-Spin Heisenberg Antiferromagnets: Semiclassically Quantized Solitons of the One-Dimensional Easy-Axis Néel State. Physical Review Letters, vol. 50, no. 15, pp. 1153–1156. 1983DOI
- Buyers, W. J. L.; Morra, R. M.; Armstrong, R. L.; Hogan, M. J.; Gerlach, P.; Hirakawa, K. Experimental evidence for the Haldane gap in a spin-1 nearly isotropic, antiferromagnetic chain. Physical Review Letters, vol. 56, pp. 371–374. 1986DOI
- White, Steven R.; Huse, David A. Numerical renormalization-group study of low-lying eigenstates of the antiferromagnetic Heisenberg chain. Physical Review B, vol. 48, pp. 3844–3852. 1993DOI
- Tasaki, Hal. OpenAI's proof of the Haldane gap in the antiferromagnetic Heisenberg chain. 2026. Continuous-time and discrete-time notes published 18 October 2026; revised 19 October 2026. Author's webpage and expository noteslink
- Imry, Yoseph; Ma, Shang-keng. Random-Field Instability of the Ordered State of Continuous Symmetry. Physical Review Letters, vol. 35, pp. 1399–1401. 1975DOI
- Parisi, G.; Sourlas, N. Random Magnetic Fields, Supersymmetry, and Negative Dimensions. Physical Review Letters, vol. 43, pp. 744–745. 1979DOI
- Imbrie, John Z. The ground state of the three-dimensional random-field Ising model. Communications in Mathematical Physics, vol. 98, pp. 145–176. 1985DOI
- Bricmont, J.; Kupiainen, A. Phase transition in the 3d random field Ising model. Communications in Mathematical Physics, vol. 116, pp. 539–572. 1988DOI
- Patrascioiu, A.; Seiler, E. Super-instantons and the reliability of perturbation theory in non-Abelian models. Physical Review Letters, vol. 74, pp. 1920–1923. 1995arXivDOI
- Bastounis, Alexander; Circelli, Fabian; Hansen, Anders C. Navier–Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs. 2026. Version 1arXivDOI
- Niedermayer, Ferenc; Niedermaier, Max; Weisz, Peter. Questionable and unquestionable in the perturbation theory of non-Abelian models. Physical Review D, vol. 56, pp. 2555–2565. 1997arXivDOI
- Patrascioiu, Adrian; Seiler, Erhard. Questionable arguments for the correctness of perturbation theory in non-Abelian models. Physical Review D, vol. 57, pp. 1394–1396. 1998arXivDOI
- Patrascioiu, Adrian; Seiler, Erhard. Percolation and the existence of a soft phase in the classical Heisenberg model. Journal of Statistical Physics, vol. 106, no. 3-4, pp. 811–826. 2002arXivDOI
- Patrascioiu, Adrian; Seiler, Erhard. Soft phases in two-dimensional O(N) models. 1999. Contributed 11 March 1999; Michael Aizenman, editorlink
- Allés, B.; Alonso, J. J.; Criado, C.; Pepe, M. Percolation properties of the 2D Heisenberg model. Physical Review Letters, vol. 83, pp. 3669–3672. 1999arXivDOI
- Patrascioiu, Adrian; Seiler, Erhard. Comment on “Percolation properties of the 2D Heisenberg model”. Physical Review Letters, vol. 84, pp. 5916. 2000arXivDOI
- Allés, B.; Alonso, J. J.; Criado, C.; Pepe, M. Allés, Alonso, Criado, and Pepe Reply. Physical Review Letters, vol. 84, pp. 5917. 2000arXivDOI
- Patrascioiu, A.; Seiler, E. Discrete symmetry enhancement in nonabelian models and the existence of asymptotic freedom. Physical Review D, vol. 64, pp. 065006. 2001arXivDOI
- Hasenfratz, P.; Niedermayer, F. Asymptotically free theories based on discrete subgroups. Nuclear Physics B - Proceedings Supplements, vol. 94, pp. 575–578. 2001arXivDOI
- Caracciolo, Sergio; Montanari, Andrea; Pelissetto, Andrea. Asymptotically free models and discrete non-Abelian groups. Physics Letters B, vol. 513, pp. 223–231. 2001arXivDOI
- Seiler, Erhard. The case against asymptotic freedom. 2003arXiv
- Caracciolo, Sergio; Edwards, Robert G.; Pelissetto, Andrea; Sokal, Alan D. Asymptotic scaling in the two-dimensional O(3) -model at correlation length 10. Physical Review Letters, vol. 75, pp. 1891–1894. 1995arXivDOI
- Schmoll, Philipp; Kshetrimayum, Augustine; Eisert, Jens; Orús, Román; Rizzi, Matteo. The classical two-dimensional Heisenberg model revisited: An SU(2)-symmetric tensor network study. SciPost Physics, vol. 11, pp. 098. 2021arXivDOI
- Yao, Dingyun; Zhang, Chao; Xie, Z. Y.; Fan, Zhijie; Deng, Youjin. Asymptotic freedom and finite-size scaling of the two-dimensional classical Heisenberg model. Physical Review B, vol. 111, pp. 214403. 2025arXivDOI
- Aru, Juhan; Garban, Christophe; Sepúlveda, Avelio. Percolation for 2D classical Heisenberg model and exit sets of vector valued GFF. Communications in Mathematical Physics, vol. 406, pp. 37. 2025arXivDOI
- Tang, Shan-Chang; Shi, Yu. Fluctuations of topological charges in two-dimensional classical Heisenberg model. EPL, vol. 149, pp. 51001. 2025arXivDOI
- Tang, Shan-Chang. Fluctuations of topological charges in two-dimensional classical Heisenberg model through high-temperature and low-temperature expansions. 2026arXiv
- Simon, Barry. Correlation inequalities and the decay of correlations in ferromagnets. Communications in Mathematical Physics, vol. 77, no. 2, pp. 111–126. 1980DOI
Version history
- v1 · 35 pagesSubmitted by Masaki OshikawaInitial depositCurrentOct 22, 2026