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 / CC BY 4.0
Abstract
Provenance statement
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
- v1Submitted by Masaki OshikawaInitial depositCurrentOct 22, 2026