% Manuscript bibliography: original entries checked 8 October 2026.
% Superpolynomial-decay examples and background added 11 October 2026.
% Proof-method precedents added and metadata checked 11 October 2026.

@article{MerminWagner1966,
  author = {Mermin, N. D. and Wagner, H.},
  title = {{Absence of Ferromagnetism or Antiferromagnetism in One- or Two-Dimensional Isotropic Heisenberg Models}},
  year = {1966},
  journal = {Physical Review Letters},
  volume = {17},
  number = {22},
  pages = {1133--1136},
  doi = {10.1103/physrevlett.17.1133},
}

@article{Mermin1967,
  author = {Mermin, N. D.},
  title = {{Absence of Ordering in Certain Classical Systems}},
  journal = {Journal of Mathematical Physics},
  volume = {8}, number = {5}, pages = {1061--1064}, year = {1967},
  doi = {10.1063/1.1705316}
}

@article{Berezinskii1971,
  author = {Berezinskii, V. L.},
  title = {{Destruction of Long-Range Order in One-Dimensional and Two-Dimensional Systems Having a Continuous Symmetry Group. I. Classical Systems}},
  journal = {Soviet Physics JETP}, volume = {32},
  pages = {493--500}, year = {1971}
}

@article{Kosterlitz1973,
  author = {Kosterlitz, J. M. and Thouless, D. J.},
  title = {{Ordering, metastability and phase transitions in two-dimensional systems}},
  journal = {Journal of Physics C: Solid State Physics}, volume = {6},
  pages = {1181--1203}, year = {1973}, doi = {10.1088/0022-3719/6/7/010}
}

@article{Frohlich1981,
  author = {Fr{\"o}hlich, J{\"u}rg and Spencer, Thomas},
  title = {{The Kosterlitz--Thouless transition in two-dimensional Abelian spin systems and the Coulomb gas}},
  journal = {Communications in Mathematical Physics}, volume = {81},
  pages = {527--602}, year = {1981}, doi = {10.1007/BF01208273}
}

@article{McBryan1977,
  author = {McBryan, Oliver A. and Spencer, Thomas},
  title = {{On the decay of correlations in SO(n)-symmetric ferromagnets}},
  year = {1977},
  journal = {Communications in Mathematical Physics},
  volume = {53},
  number = {3},
  pages = {299--302},
  doi = {10.1007/bf01609854},
}

@article{Polyakov1975,
  author = {Polyakov, A.M.},
  title = {{Interaction of Goldstone particles in two dimensions. Applications to ferromagnets and massive Yang-Mills fields}},
  year = {1975},
  journal = {Physics Letters B},
  volume = {59},
  pages = {79--81},
  doi = {10.1016/0370-2693(75)90161-6},
}

@article{Brezin1976,
  author = {Brézin, E. and Zinn-Justin, J.},
  title = {{Spontaneous breakdown of continuous symmetries near two dimensions}},
  year = {1976},
  journal = {Physical Review B},
  volume = {14},
  pages = {3110--3120},
  doi = {10.1103/physrevb.14.3110},
}

@article{Patrascioiu1995,
  author = {Patrascioiu, A. and Seiler, E.},
  title = {{Super-instantons and the reliability of perturbation theory in non-Abelian models}},
  year = {1995},
  journal = {Physical Review Letters},
  volume = {74},
  pages = {1920--1923},
  doi = {10.1103/PhysRevLett.74.1920},
  eprint = {hep-lat/9311019},
  archivePrefix = {arXiv},
}

@article{Niedermayer1997,
  author = {Niedermayer, Ferenc and Niedermaier, Max and Weisz, Peter},
  title = {{Questionable and unquestionable in the perturbation theory of non-Abelian models}},
  year = {1997},
  journal = {Physical Review D},
  volume = {56},
  pages = {2555--2565},
  doi = {10.1103/PhysRevD.56.2555},
  eprint = {hep-lat/9612002},
  archivePrefix = {arXiv},
}

@article{Patrascioiu1998Arguments,
  author = {Patrascioiu, Adrian and Seiler, Erhard},
  title = {{Questionable arguments for the correctness of perturbation theory in non-Abelian models}},
  year = {1998},
  journal = {Physical Review D},
  volume = {57},
  pages = {1394--1396},
  doi = {10.1103/PhysRevD.57.1394},
  eprint = {hep-lat/9702008},
  archivePrefix = {arXiv},
}

@misc{Princeton1999,
  author = {Patrascioiu, Adrian and Seiler, Erhard},
  title = {{Soft phases in two-dimensional O(N) models}},
  year = {1999},
  url = {https://web.math.princeton.edu/~aizenman/OpenProblems_MathPhys/9904.O(N)in2D.html},
  note = {Contributed 11 March 1999; Michael Aizenman, editor}
}

@article{Patrascioiu2002Percolation,
  author = {Patrascioiu, Adrian and Seiler, Erhard},
  title = {{Percolation and the existence of a soft phase in the classical Heisenberg model}},
  year = {2002},
  journal = {Journal of Statistical Physics},
  volume = {106},
  number = {3-4},
  pages = {811--826},
  doi = {10.1023/A:1013726826390},
  eprint = {hep-th/0011199},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/hep-th/0011199}
}

@article{Alles1999Percolation,
  author = {All{\'e}s, B. and Alonso, J. J. and Criado, C. and Pepe, M.},
  title = {{Percolation properties of the 2D Heisenberg model}},
  year = {1999},
  journal = {Physical Review Letters},
  volume = {83},
  pages = {3669--3672},
  doi = {10.1103/PhysRevLett.83.3669},
  eprint = {hep-lat/9905026},
  archivePrefix = {arXiv},
}

@article{Patrascioiu2000Comment,
  author = {Patrascioiu, Adrian and Seiler, Erhard},
  title = {{Comment on “Percolation properties of the 2D Heisenberg model”}},
  year = {2000},
  journal = {Physical Review Letters},
  volume = {84},
  pages = {5916},
  doi = {10.1103/PhysRevLett.84.5916},
  eprint = {hep-lat/9912014},
  archivePrefix = {arXiv},
}

@article{Alles2000Reply,
  author = {All{\'e}s, B. and Alonso, J. J. and Criado, C. and Pepe, M.},
  title = {{All{\'e}s, Alonso, Criado, and Pepe Reply}},
  year = {2000},
  journal = {Physical Review Letters},
  volume = {84},
  pages = {5917},
  doi = {10.1103/PhysRevLett.84.5917},
  eprint = {hep-lat/0002014},
  archivePrefix = {arXiv},
}

@article{Patrascioiu2001Discrete,
  author = {Patrascioiu, A. and Seiler, E.},
  title = {{Discrete symmetry enhancement in nonabelian models and the existence of asymptotic freedom}},
  year = {2001},
  journal = {Physical Review D},
  volume = {64},
  pages = {065006},
  doi = {10.1103/PhysRevD.64.065006},
  eprint = {hep-lat/0008024},
  archivePrefix = {arXiv},
}

@article{Hasenfratz2001,
  author = {Hasenfratz, P. and Niedermayer, F.},
  title = {{Asymptotically free theories based on discrete subgroups}},
  year = {2001},
  journal = {Nuclear Physics B - Proceedings Supplements},
  volume = {94},
  pages = {575--578},
  doi = {10.1016/S0920-5632(01)00870-2},
  eprint = {hep-lat/0011056},
  archivePrefix = {arXiv},
}

@article{Caracciolo2001,
  author = {Caracciolo, Sergio and Montanari, Andrea and Pelissetto, Andrea},
  title = {{Asymptotically free models and discrete non-Abelian groups}},
  year = {2001},
  journal = {Physics Letters B},
  volume = {513},
  pages = {223--231},
  doi = {10.1016/S0370-2693(01)00674-8},
  eprint = {hep-lat/0103017},
  archivePrefix = {arXiv},
}

@misc{Seiler2003,
  author = {Seiler, Erhard},
  title = {{The case against asymptotic freedom}},
  year = {2003},
  eprint = {hep-th/0312015},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/hep-th/0312015}
}

@article{Caracciolo1995,
  author = {Caracciolo, Sergio and Edwards, Robert G. and Pelissetto, Andrea and Sokal, Alan D.},
  title = {{Asymptotic scaling in the two-dimensional O(3) $\sigma$-model at correlation length 10$^{5}$}},
  year = {1995},
  journal = {Physical Review Letters},
  volume = {75},
  pages = {1891--1894},
  doi = {10.1103/PhysRevLett.75.1891},
  eprint = {hep-lat/9411009},
  archivePrefix = {arXiv},
}

@article{Schmoll2021,
  author = {Schmoll, Philipp and Kshetrimayum, Augustine and Eisert, Jens and Orús, Román and Rizzi, Matteo},
  title = {{The classical two-dimensional Heisenberg model revisited: An SU(2)-symmetric tensor network study}},
  year = {2021},
  journal = {SciPost Physics},
  volume = {11},
  pages = {098},
  doi = {10.21468/SciPostPhys.11.5.098},
  archivePrefix = {arXiv},
  eprint = {2106.06310},
}

@article{UedaOshikawa2022,
  author = {Ueda, Atsushi and Oshikawa, Masaki},
  title = {{Tensor network renormalization study on the crossover in classical Heisenberg and $\mathrm{RP}^{2}$ models in two dimensions}},
  year = {2022},
  journal = {Physical Review E},
  volume = {106},
  pages = {014104},
  doi = {10.1103/PhysRevE.106.014104},
  archivePrefix = {arXiv},
  eprint = {2202.07042},
}

@article{Burgelman2023,
  author = {Burgelman, Lander and Devos, Lukas and Vanhecke, Bram and Verstraete, Frank and Vanderstraeten, Laurens},
  title = {{Contrasting pseudocriticality in the classical two-dimensional Heisenberg and $\mathrm{RP}^{2}$ models: Zero-temperature phase transition versus finite-temperature crossover}},
  year = {2023},
  journal = {Physical Review E},
  volume = {107},
  pages = {014117},
  doi = {10.1103/PhysRevE.107.014117},
  archivePrefix = {arXiv},
  eprint = {2202.07597},
}

@article{Yao2025,
  author = {Yao, Dingyun and Zhang, Chao and Xie, Z. Y. and Fan, Zhijie and Deng, Youjin},
  title = {{Asymptotic freedom and finite-size scaling of the two-dimensional classical Heisenberg model}},
  year = {2025},
  journal = {Physical Review B},
  volume = {111},
  pages = {214403},
  doi = {10.1103/PhysRevB.111.214403},
  archivePrefix = {arXiv},
  eprint = {2503.24226},
}

@article{Aru2025,
  author = {Aru, Juhan and Garban, Christophe and Sepúlveda, Avelio},
  title = {{Percolation for 2D classical Heisenberg model and exit sets of vector valued GFF}},
  year = {2025},
  journal = {Communications in Mathematical Physics},
  volume = {406},
  pages = {37},
  doi = {10.1007/s00220-024-05208-y},
  archivePrefix = {arXiv},
  eprint = {2212.06767},
}

@misc{OpenAI2026,
  author = {{OpenAI}},
  title = {{Exponential decay in two-dimensional classical $O(n)$ models}},
  year = {2026},
  note = {Preprint dated 23 September 2026. \href{https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Exponential-decay-in-two-dimensional-classical-On-models-September-23-2026/paper.pdf}{Repository version \texttt{adc7f1241b42}}}
}

@article{TangShi2025,
  author = {Tang, Shan-Chang and Shi, Yu},
  title = {{Fluctuations of topological charges in two-dimensional classical Heisenberg model}},
  year = {2025},
  journal = {EPL},
  volume = {149},
  pages = {51001},
  doi = {10.1209/0295-5075/adb6cf},
  eprint = {2501.01051},
  archivePrefix = {arXiv},
}

@misc{Tang2026,
  author = {Tang, Shan-Chang},
  title = {{Fluctuations of topological charges in two-dimensional classical Heisenberg model through high-temperature and low-temperature expansions}},
  year = {2026},
  eprint = {2608.03195},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2608.03195}
}

@article{Lebwohl1972,
  author = {Lebwohl, P. A. and Lasher, G.},
  title = {{Nematic-Liquid-Crystal Order---A Monte Carlo Calculation}},
  year = {1972},
  journal = {Physical Review A},
  volume = {6},
  pages = {426--429},
  doi = {10.1103/physreva.6.426},
}

@article{Mermin1979,
  author = {Mermin, N. D.},
  title = {{The topological theory of defects in ordered media}},
  year = {1979},
  journal = {Reviews of Modern Physics},
  volume = {51},
  pages = {591--648},
  doi = {10.1103/revmodphys.51.591},
}

@article{Fukugita1982,
  author = {Fukugita, M. and Kobayashi, M. and Okawa, M. and Oyanagi, Y. and Ukawa, A.},
  title = {{Numerical evidence for a phase transition in the $\mathrm{RP}^{2}$ spin model in two dimensions}},
  year = {1982},
  journal = {Physics Letters B},
  volume = {109},
  pages = {209--214},
  doi = {10.1016/0370-2693(82)90755-9},
}

@article{Kunz1991,
  author = {Kunz, H. and Zumbach, G.},
  title = {{Numerical evidence for a topological phase transition in a two-dimensional spin model}},
  year = {1991},
  journal = {Physics Letters B},
  volume = {257},
  pages = {299--304},
  doi = {10.1016/0370-2693(91)91896-4},
}

@article{Kunz1992,
  author = {Kunz, H. and Zumbach, G.},
  title = {{Topological phase transition in a two-dimensional nematic n-vector model: A numerical study}},
  year = {1992},
  journal = {Physical Review B},
  volume = {46},
  pages = {662--673},
  doi = {10.1103/physrevb.46.662},
}

@article{Farinas2003,
  author = {Fariñas Sánchez, A. I. and Paredes V., R. and Berche, B.},
  title = {{Evidence for a topological transition in nematic-to-isotropic phase transition in two dimensions}},
  year = {2003},
  journal = {Physics Letters A},
  volume = {308},
  pages = {461--466},
  doi = {10.1016/s0375-9601(03)00060-4},
  archivePrefix = {arXiv},
  eprint = {cond-mat/0301065},
}

@article{Mondal2003,
  author = {Mondal, Enakshi and Roy, Soumen Kumar},
  title = {{Finite size scaling in the planar Lebwohl--Lasher model}},
  year = {2003},
  journal = {Physics Letters A},
  volume = {312},
  pages = {397--410},
  doi = {10.1016/s0375-9601(03)00576-0},
}

@article{Shabnam2016,
  author = {Shabnam, Sabana and DasGupta, Sudeshna and Roy, Soumen Kumar},
  title = {{Existence of a line of critical points in a two-dimensional Lebwohl Lasher model}},
  year = {2016},
  journal = {Physics Letters A},
  volume = {380},
  pages = {667--671},
  doi = {10.1016/j.physleta.2015.11.023},
}

@article{Ozeki2019,
  author = {Ozeki, Yukiyasu and Matsuda, Atsuyuki and Echinaka, Yuki},
  title = {{Dynamical scaling analysis of phase transition and critical properties for the $\mathrm{RP}^{2}$ model in two dimensions}},
  year = {2019},
  journal = {Physical Review E},
  volume = {99},
  pages = {012116},
  doi = {10.1103/PhysRevE.99.012116},
}

@article{Paredes2008,
  author = {Paredes, Ricardo and Fariñas-Sánchez, Ana-Isabel and Botet, Robert},
  title = {{No quasi-long-range order in a two-dimensional liquid crystal}},
  year = {2008},
  journal = {Physical Review E},
  volume = {78},
  pages = {051706},
  doi = {10.1103/PhysRevE.78.051706},
  archivePrefix = {arXiv},
  eprint = {0808.3071},
}

@article{Farinas2010,
  author = {Fariñas-Sánchez, Ana Isabel and Botet, Robert and Berche, Bertrand and Paredes, Ricardo},
  title = {{On the critical behaviour of two-dimensional liquid crystals}},
  year = {2010},
  journal = {Condensed Matter Physics},
  volume = {13},
  number = {1},
  pages = {13601},
  doi = {10.5488/CMP.13.13601},
  archivePrefix = {arXiv},
  eprint = {0906.4079},
  url = {https://arxiv.org/abs/0906.4079}
}

@article{Tomita2014,
  author = {Tomita, Yusuke},
  title = {{Finite-size scaling analysis of pseudocritical region in two-dimensional continuous-spin systems}},
  year = {2014},
  journal = {Physical Review E},
  volume = {90},
  pages = {032109},
  doi = {10.1103/PhysRevE.90.032109},
}

@article{Delfino2021,
  author = {Delfino, Gesualdo and Diouane, Youness and Lamsen, Noel},
  title = {{Absence of nematic quasi-long-range order in two-dimensional liquid crystals with three director components}},
  year = {2021},
  journal = {Journal of Physics A: Mathematical and Theoretical},
  volume = {54},
  pages = {03LT01},
  doi = {10.1088/1751-8121/abd2fc},
  archivePrefix = {arXiv},
  eprint = {2005.06307},
}

@article{Diouane2021,
  author = {Diouane, Youness and Lamsen, Noel and Delfino, Gesualdo},
  title = {{Critical points in the $\mathrm{RP}^{N-1}$ model}},
  year = {2021},
  journal = {Journal of Statistical Mechanics: Theory and Experiment},
  volume = {2021},
  pages = {033214},
  doi = {10.1088/1742-5468/abe6fc},
  archivePrefix = {arXiv},
  eprint = {2101.03075},
}

@article{Diouane2023,
  author = {Diouane, Youness and Lamsen, Noel and Delfino, Gesualdo},
  title = {{On the $\mathrm{RP}^{N-1}$ and $\mathrm{CP}^{N-1}$ universality classes}},
  year = {2023},
  journal = {Journal of Statistical Mechanics: Theory and Experiment},
  volume = {2023},
  pages = {043204},
  doi = {10.1088/1742-5468/acc8c9},
  archivePrefix = {arXiv},
  eprint = {2212.08434},
}

@article{Caracciolo1993,
  author = {Caracciolo, Sergio and Edwards, Robert G. and Pelissetto, Andrea and Sokal, Alan D.},
  title = {{New universality classes for two-dimensional $\sigma$-models}},
  year = {1993},
  journal = {Physical Review Letters},
  volume = {71},
  pages = {3906--3909},
  doi = {10.1103/PhysRevLett.71.3906},
  archivePrefix = {arXiv},
  eprint = {hep-lat/9307022},
}

@article{Hasenbusch1996,
  author = {Hasenbusch, Martin},
  title = {{O(N) and $\mathrm{RP}^{N-1}$ models in two dimensions}},
  year = {1996},
  journal = {Physical Review D},
  volume = {53},
  pages = {3445--3450},
  doi = {10.1103/PhysRevD.53.3445},
  archivePrefix = {arXiv},
  eprint = {hep-lat/9507008},
}

@article{Niedermayer1996,
  author = {Niedermayer, F. and Weisz, Peter and Shin, Dong-Shin},
  title = {{Question of universality in $\mathrm{RP}^{n-1}$ and O(n) lattice $\sigma$ models}},
  year = {1996},
  journal = {Physical Review D},
  volume = {53},
  number = {10},
  pages = {5918--5923},
  doi = {10.1103/PhysRevD.53.5918},
  archivePrefix = {arXiv},
  eprint = {hep-lat/9507005},
}

@article{Bonati2020,
  author = {Bonati, Claudio and Franchi, Alessio and Pelissetto, Andrea and Vicari, Ettore},
  title = {{Asymptotic low-temperature behavior of two-dimensional $\mathrm{RP}^{N-1}$ models}},
  year = {2020},
  journal = {Physical Review D},
  volume = {102},
  pages = {034513},
  doi = {10.1103/PhysRevD.102.034513},
  archivePrefix = {arXiv},
  eprint = {2006.13061},
}

@article{Latha2018,
  author = {Latha, B. Kamala and Sastry, V. S. S.},
  title = {{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}},
  year = {2018},
  journal = {Physical Review Letters},
  volume = {121},
  pages = {217801},
  doi = {10.1103/PhysRevLett.121.217801},
  archivePrefix = {arXiv},
  eprint = {1806.07113},
}

@misc{Latha2026,
  author = {Latha, B. Kamala and Sastry, V. S. S. and Shenoy, S. R.},
  title = {{Entropic bottlenecks to nematic ordering in an $\mathrm{RP}^{2}$ apolar spin model}},
  year = {2026},
  archivePrefix = {arXiv},
  eprint = {2503.12970},
  url = {https://arxiv.org/abs/2503.12970v2},
  note = {First posted 2025; version 2, 1 April 2026}
}

@article{Dutta2004,
  author = {Dutta, Subhrajit and Roy, Soumen Kumar},
  title = {{Phase transitions in two planar lattice models and topological defects: A Monte Carlo study}},
  year = {2004},
  journal = {Physical Review E},
  volume = {70},
  pages = {066125},
  doi = {10.1103/PhysRevE.70.066125},
  archivePrefix = {arXiv},
  eprint = {cond-mat/0503118},
}

@article{KawamuraMiyashita1984a,
  author = {Kawamura, Hikaru and Miyashita, Seiji},
  title = {{Phase Transition of the Two-Dimensional Heisenberg Antiferromagnet on the Triangular Lattice}},
  journal = {Journal of the Physical Society of Japan}, volume = {53},
  pages = {9--12}, year = {1984}, doi = {10.1143/JPSJ.53.9}
}

@article{KawamuraMiyashita1984b,
  author = {Kawamura, Hikaru and Miyashita, Seiji},
  title = {{Phase Transition of the Two-Dimensional Heisenberg Antiferromagnet on the Triangular Lattice}},
  journal = {Journal of the Physical Society of Japan}, volume = {53},
  pages = {4138--4154}, year = {1984}, doi = {10.1143/JPSJ.53.4138}
}

@article{SouthernYoung1993,
  author = {Southern, B. W. and Young, A. P.},
  title = {{Spin stiffness in frustrated antiferromagnets}},
  journal = {Physical Review B}, volume = {48},
  pages = {13170}, year = {1993}, doi = {10.1103/PhysRevB.48.13170}
}

@article{SouthernXu1995,
  author = {Southern, B. W. and Xu, H.-J.},
  title = {{Monte Carlo study of the Heisenberg antiferromagnet on the triangular lattice}},
  journal = {Physical Review B}, volume = {52},
  pages = {R3836}, year = {1995}, doi = {10.1103/PhysRevB.52.R3836}
}

@article{Wintel1995,
  author = {Wintel, M. and Everts, H. U. and Apel, W.},
  title = {{Monte Carlo simulation of the Heisenberg antiferromagnet on a triangular lattice: Topological excitations}},
  journal = {Physical Review B}, volume = {52},
  pages = {13480}, year = {1995}, doi = {10.1103/PhysRevB.52.13480},
  eprint = {cond-mat/9508128}, archivePrefix = {arXiv}
}

@article{Kawamura2010,
  author = {Kawamura, Hikaru and Yamamoto, Atsushi and Okubo, Tsuyoshi},
  title = {{$Z_2$-Vortex Ordering of the Triangular-Lattice Heisenberg Antiferromagnet}},
  journal = {Journal of the Physical Society of Japan}, volume = {79},
  pages = {023701}, year = {2010}, doi = {10.1143/JPSJ.79.023701},
  eprint = {0909.0121}, archivePrefix = {arXiv}
}

@article{Aoyama2020,
  author = {Aoyama, Kazushi and Kawamura, Hikaru},
  title = {{Spin Current as a Probe of the $\mathbb{Z}_2$-Vortex Topological Transition in the Classical Heisenberg Antiferromagnet on the Triangular Lattice}},
  journal = {Physical Review Letters}, volume = {124},
  pages = {047202}, year = {2020}, doi = {10.1103/PhysRevLett.124.047202},
  eprint = {1909.12750}, archivePrefix = {arXiv}
}

@article{Okubo2023,
  author = {Okubo, Tsuyoshi and Kawashima, Naoki},
  title = {{Possibility of a Topological Phase Transition in Two-dimensional $\mathrm{RP}^{3}$ Model}},
  year = {2023},
  eprint = {2112.15053},
  archivePrefix = {arXiv},
  journal = {Journal of the Physical Society of Japan},
  volume = {92},
  pages = {114701},
  doi = {10.7566/JPSJ.92.114701},
}

% Superpolynomial decay examples and their qualifications.
% Added 11 October 2026; publication metadata checked against APS records.
% The Cardy--Ostlund references concern quenched disorder and, for the
% super-rough elastic theory, exclusion of vortices. The sliding-columnar
% references distinguish harmonic correlations from nonlinear and defect
% stability issues. None establishes sharpness of the RP2 theorem.

% Historical random-field model.
@article{CardyOstlund1982,
  author = {Cardy, John L. and Ostlund, S.},
  title = {{Random symmetry-breaking fields and the XY model}},
  journal = {Physical Review B},
  volume = {25},
  number = {11},
  pages = {6899--6909},
  year = {1982},
  doi = {10.1103/PhysRevB.25.6899},
  url = {https://doi.org/10.1103/PhysRevB.25.6899}
}

% Two-loop super-rough displacement variance.
@article{Ristivojevic2012Superrough,
  author = {Ristivojevic, Zoran and Le Doussal, Pierre and Wiese, Kay J{\"o}rg},
  title = {{Super-rough phase of the random-phase sine-Gordon model: Two-loop results}},
  journal = {Physical Review B},
  volume = {86},
  number = {5},
  pages = {054201},
  year = {2012},
  doi = {10.1103/PhysRevB.86.054201},
  archivePrefix = {arXiv},
  eprint = {1204.6221},
  url = {https://arxiv.org/abs/1204.6221}
}

% RG and numerical evidence for log-square roughness.
@article{Perret2012Superrough,
  author = {Perret, Anthony and Ristivojevic, Zoran and Le Doussal, Pierre and Schehr, Gr{\'e}gory and Wiese, Kay J.},
  title = {{Super-Rough Glassy Phase of the Random Field XY Model in Two Dimensions}},
  journal = {Physical Review Letters},
  volume = {109},
  number = {15},
  pages = {157205},
  year = {2012},
  doi = {10.1103/PhysRevLett.109.157205},
  archivePrefix = {arXiv},
  eprint = {1204.5685},
  url = {https://arxiv.org/abs/1204.5685}
}

% Direct calculation of the disorder-averaged vertex correlation:
% a power-law prefactor times exp[-A(q) log^2(r/a)/2].
@article{LeDoussal2013Correlations,
  author = {Le Doussal, Pierre and Ristivojevic, Zoran and Wiese, Kay J{\"o}rg},
  title = {{Exact form of the exponential correlation function in the glassy super-rough phase}},
  journal = {Physical Review B},
  volume = {87},
  number = {21},
  pages = {214201},
  year = {2013},
  doi = {10.1103/PhysRevB.87.214201},
  archivePrefix = {arXiv},
  eprint = {1304.4612},
  url = {https://arxiv.org/abs/1304.4612}
}

% Harmonic in-layer log-square density correlations and stability analysis.
@article{Golubovic2000Sliding,
  author = {Golubovi{\'c}, L. and Lubensky, T. C. and O'Hern, C. S.},
  title = {{Structural properties of the sliding columnar phase in layered liquid crystalline systems}},
  journal = {Physical Review E},
  volume = {62},
  number = {1},
  pages = {1069--1094},
  year = {2000},
  doi = {10.1103/PhysRevE.62.1069},
  archivePrefix = {arXiv},
  eprint = {cond-mat/0003128},
  url = {https://arxiv.org/abs/cond-mat/0003128}
}

% Logarithmic renormalizations from nonlinear elasticity.
@article{OHern1998Nonlinear,
  author = {O'Hern, C. S. and Lubensky, T. C.},
  title = {{Nonlinear elasticity of the sliding columnar phase}},
  journal = {Physical Review E},
  volume = {58},
  number = {5},
  pages = {5948--5965},
  year = {1998},
  doi = {10.1103/PhysRevE.58.5948},
  archivePrefix = {arXiv},
  eprint = {cond-mat/9805278},
  url = {https://arxiv.org/abs/cond-mat/9805278}
}

% Stability of sliding phases with suitable interlayer gradient couplings;
% the XY spin correlations discussed here are algebraic, not log-square.
@article{OHern1999Sliding,
  author = {O'Hern, C. S. and Lubensky, T. C. and Toner, J.},
  title = {{Sliding Phases in XY Models, Crystals, and Cationic Lipid-DNA Complexes}},
  journal = {Physical Review Letters},
  volume = {83},
  number = {14},
  pages = {2745--2748},
  year = {1999},
  doi = {10.1103/PhysRevLett.83.2745},
  archivePrefix = {arXiv},
  eprint = {cond-mat/9904415},
  url = {https://arxiv.org/abs/cond-mat/9904415}
}

% Proof-method precedents. Citations in the manuscript distinguish direct
% adaptations, methodological ancestry and structural analogies.

@article{DobrushinShlosman1975,
  author = {Dobrushin, R. L. and Shlosman, S. B.},
  title = {{Absence of breakdown of continuous symmetry in two-dimensional models of statistical physics}},
  journal = {Communications in Mathematical Physics},
  volume = {42},
  number = {1},
  pages = {31--40},
  year = {1975},
  doi = {10.1007/BF01609432}
}

@article{Shlosman1978,
  author = {Shlosman, S. B.},
  title = {{Decrease of correlations in two-dimensional models with continuous symmetry group}},
  journal = {Theoretical and Mathematical Physics},
  volume = {37},
  number = {3},
  pages = {1118--1120},
  year = {1978},
  doi = {10.1007/BF01018596},
  url = {https://www.mathnet.ru/eng/tmf3133}
}

@article{Driessler1979,
  author = {Driessler, W. and Landau, L. and Perez, J. Fernando},
  title = {{Estimates of critical lengths and critical temperatures for classical and quantum lattice systems}},
  journal = {Journal of Statistical Physics},
  volume = {20},
  number = {2},
  pages = {123--162},
  year = {1979},
  doi = {10.1007/BF01011509}
}

@article{Simon1980,
  author = {Simon, Barry},
  title = {{Correlation inequalities and the decay of correlations in ferromagnets}},
  journal = {Communications in Mathematical Physics},
  volume = {77},
  number = {2},
  pages = {111--126},
  year = {1980},
  doi = {10.1007/BF01982711}
}

@article{AizenmanSimon1980,
  author = {Aizenman, Michael and Simon, Barry},
  title = {{Local Ward identities and the decay of correlations in ferromagnets}},
  journal = {Communications in Mathematical Physics},
  volume = {77},
  number = {2},
  pages = {137--143},
  year = {1980},
  doi = {10.1007/BF01982713}
}

@article{Ioffe2002,
  author = {Ioffe, Dima and Shlosman, Senya and Velenik, Yvan},
  title = {{2D models of statistical physics with continuous symmetry: the case of singular interactions}},
  journal = {Communications in Mathematical Physics},
  volume = {226},
  number = {2},
  pages = {433--454},
  year = {2002},
  doi = {10.1007/s002200200627},
  archivePrefix = {arXiv},
  eprint = {math/0110127},
  url = {https://arxiv.org/abs/math/0110127}
}

@article{Gagnebin2014,
  author = {Gagnebin, Maxime and Velenik, Yvan},
  title = {{Upper bound on the decay of correlations in a general class of O(N)-symmetric models}},
  journal = {Communications in Mathematical Physics},
  volume = {332},
  number = {3},
  pages = {1235--1255},
  year = {2014},
  doi = {10.1007/s00220-014-2075-0},
  archivePrefix = {arXiv},
  eprint = {1309.2432},
  url = {https://arxiv.org/abs/1309.2432}
}

@article{Delsarte1977,
  author = {Delsarte, P. and Goethals, J. M. and Seidel, J. J.},
  title = {{Spherical codes and designs}},
  journal = {Geometriae Dedicata},
  volume = {6},
  number = {3},
  pages = {363--388},
  year = {1977},
  doi = {10.1007/BF03187604}
}

% Structural analogy for the elementary positive-remainder decomposition;
% no Harris-chain theorem is used for the unnormalized annular kernels.
@article{Nummelin1978,
  author = {Nummelin, E.},
  title = {{A splitting technique for Harris recurrent Markov chains}},
  journal = {Zeitschrift f{\"u}r Wahrscheinlichkeitstheorie und Verwandte Gebiete},
  volume = {43},
  number = {4},
  pages = {309--318},
  year = {1978},
  doi = {10.1007/BF00534764}
}

@article{FortuinKasteleyn1972,
  author = {Fortuin, C. M. and Kasteleyn, P. W.},
  title = {{On the random-cluster model: I. Introduction and relation to other models}},
  journal = {Physica},
  volume = {57},
  number = {4},
  pages = {536--564},
  year = {1972},
  doi = {10.1016/0031-8914(72)90045-6}
}

@article{EdwardsSokal1988,
  author = {Edwards, Robert G. and Sokal, Alan D.},
  title = {{Generalization of the Fortuin--Kasteleyn--Swendsen--Wang representation and Monte Carlo algorithm}},
  journal = {Physical Review D},
  volume = {38},
  number = {6},
  pages = {2009--2012},
  year = {1988},
  doi = {10.1103/PhysRevD.38.2009}
}

% Additional background and theoretical references checked 12 October 2026.
@article{Solomon1981,
  author = {Solomon, S.},
  title = {{Vortices and phase transitions in two-dimensional non-abelian spin models}},
  journal = {Physics Letters B}, volume = {100}, number = {6},
  pages = {492--496}, year = {1981},
  doi = {10.1016/0370-2693(81)90612-2}
}

@article{SolomonStavansDomany1982,
  author = {Solomon, S. and Stavans, Y. and Domany, E.},
  title = {{Vortex condensation in two-dimensional non-abelian spin models}},
  journal = {Physics Letters B}, volume = {112}, number = {4--5},
  pages = {373--378}, year = {1982},
  doi = {10.1016/0370-2693(82)91072-3}
}

@article{ToulouseKleman1976,
  author = {Toulouse, G. and Kl{\'e}man, M.},
  title = {{Principles of a classification of defects in ordered media}},
  journal = {Journal de Physique Lettres}, volume = {37}, number = {6},
  pages = {L149--L151}, year = {1976},
  doi = {10.1051/jphyslet:01976003706014900}
}

@article{Yamamoto1992,
  author = {Yamamoto, Hisashi},
  title = {{Long-distance effective lagrangian for low-temperature $RP^2$ model}},
  journal = {Physics Letters B}, volume = {289}, number = {1--2},
  pages = {81--86}, year = {1992},
  doi = {10.1016/0370-2693(92)91365-G},
  url = {https://www.sciencedirect.com/science/article/pii/037026939291365G}
}

@article{Yamamoto1993,
  author = {Yamamoto, Hisashi},
  title = {{Effective lagrangian for the two-dimensional $RP^2$ model at low temperatures}},
  journal = {Nuclear Physics B}, volume = {401}, number = {3},
  pages = {711--744}, year = {1993},
  doi = {10.1016/0550-3213(93)90320-O}
}

@article{Catterall1998,
  author = {Catterall, S. M. and Hasenbusch, M. and Horgan, R. R. and Renken, R.},
  title = {{Nature of the continuum limit in the 2D $RP^2$ gauge model}},
  journal = {Physical Review D}, volume = {58}, pages = {074510}, year = {1998},
  doi = {10.1103/PhysRevD.58.074510},
  eprint = {hep-lat/9801032}, archivePrefix = {arXiv},
  note = {\href{https://arxiv.org/abs/hep-lat/9801032}{arXiv:hep-lat/9801032}}
}

@article{Friedan1980,
  author = {Friedan, D.},
  title = {{Nonlinear Models in $2+\varepsilon$ Dimensions}},
  journal = {Physical Review Letters}, volume = {45}, pages = {1057--1060},
  year = {1980}, doi = {10.1103/PhysRevLett.45.1057}
}

@article{DombreRead1989,
  author = {Dombre, T. and Read, N.},
  title = {{Nonlinear $\sigma$ models for triangular quantum antiferromagnets}},
  journal = {Physical Review B}, volume = {39}, pages = {6797--6801},
  year = {1989}, doi = {10.1103/PhysRevB.39.6797}
}

@article{Caffarel2001,
  author = {Caffarel, Michel and Azaria, Patrick and Delamotte, Bertrand and Mouhanna, Dominique},
  title = {{Spin stiffness and topological defects in two-dimensional frustrated spin systems}},
  journal = {Physical Review B}, volume = {64}, pages = {014412}, year = {2001},
  doi = {10.1103/PhysRevB.64.014412},
  eprint = {cond-mat/0012397}, archivePrefix = {arXiv},
  note = {\href{https://arxiv.org/abs/cond-mat/0012397}{arXiv:cond-mat/0012397}}
}

@article{Haldane1983,
  author = {Haldane, F. D. M.},
  title = {{Nonlinear Field Theory of Large-Spin Heisenberg Antiferromagnets: Semiclassically Quantized Solitons of the One-Dimensional Easy-Axis N{\'e}el State}},
  journal = {Physical Review Letters}, volume = {50}, number = {15}, pages = {1153--1156},
  year = {1983}, doi = {10.1103/PhysRevLett.50.1153}
}

@article{Buyers1986,
  author = {Buyers, W. J. L. and Morra, R. M. and Armstrong, R. L. and Hogan, M. J. and Gerlach, P. and Hirakawa, K.},
  title = {{Experimental evidence for the Haldane gap in a spin-1 nearly isotropic, antiferromagnetic chain}},
  journal = {Physical Review Letters}, volume = {56}, pages = {371--374},
  year = {1986}, doi = {10.1103/PhysRevLett.56.371}
}

@article{WhiteHuse1993,
  author = {White, Steven R. and Huse, David A.},
  title = {{Numerical renormalization-group study of low-lying eigenstates of the antiferromagnetic $S=1$ Heisenberg chain}},
  journal = {Physical Review B}, volume = {48}, pages = {3844--3852},
  year = {1993}, doi = {10.1103/PhysRevB.48.3844}
}

@article{ImryMa1975,
  author = {Imry, Yoseph and Ma, Shang-keng},
  title = {{Random-Field Instability of the Ordered State of Continuous Symmetry}},
  journal = {Physical Review Letters}, volume = {35}, pages = {1399--1401},
  year = {1975}, doi = {10.1103/PhysRevLett.35.1399}
}

@article{ParisiSourlas1979,
  author = {Parisi, G. and Sourlas, N.},
  title = {{Random Magnetic Fields, Supersymmetry, and Negative Dimensions}},
  journal = {Physical Review Letters}, volume = {43}, pages = {744--745},
  year = {1979}, doi = {10.1103/PhysRevLett.43.744}
}

@article{Imbrie1985,
  author = {Imbrie, John Z.},
  title = {{The ground state of the three-dimensional random-field Ising model}},
  journal = {Communications in Mathematical Physics}, volume = {98}, pages = {145--176},
  year = {1985}, doi = {10.1007/BF01220505}
}

@article{BricmontKupiainen1988,
  author = {Bricmont, J. and Kupiainen, A.},
  title = {{Phase transition in the 3d random field Ising model}},
  journal = {Communications in Mathematical Physics}, volume = {116}, pages = {539--572},
  year = {1988}, doi = {10.1007/BF01224901}
}

@incollection{JaffeWitten2006,
  author = {Jaffe, Arthur and Witten, Edward},
  title = {{Quantum Yang--Mills Theory}},
  booktitle = {The Millennium Prize Problems},
  editor = {Carlson, James and Jaffe, Arthur and Wiles, Andrew},
  publisher = {American Mathematical Society and Clay Mathematics Institute},
  year = {2006},
  note = {\href{https://www.claymath.org/wp-content/uploads/2022/06/yangmills.pdf}{Official problem description}}
}

@misc{OpenAIRelease2026,
  author = {{OpenAI}},
  title = {{Sharing AI progress in mathematics}},
  year = {2026}, month = oct,
  note = {Release announcement, 6 October 2026. \href{https://openai.com/index/sharing-ai-progress-in-mathematics/}{Official announcement}}
}

@misc{OpenAICollection2026,
  author = {{OpenAI}},
  title = {{Mathematical manuscripts and supporting proof artifacts}},
  year = {2026},
  note = {\href{https://github.com/openai/math}{Repository and manuscript catalogue}, consulted 12 October 2026. The catalogue lists 719 manuscripts in 372 families, at different stages of verification}
}

@misc{OpenAIPercolation2026,
  author = {{OpenAI}},
  title = {{Critical bond and site percolation on the cubic lattice}},
  year = {2026},
  note = {Preprint dated 24 September 2026, released 6 October 2026. \href{https://github.com/openai/math/blob/main/preprints/Critical-bond-and-site-percolation-on-the-cubic-lattice-September-24-2026/paper.pdf}{Repository preprint}}
}

@misc{OpenAIHaldane2026,
  author = {{OpenAI}},
  title = {{The periodic spin-one Haldane gap}},
  year = {2026},
  note = {Preprint dated 24 September 2026, released 6 October 2026. \href{https://github.com/openai/math/blob/main/preprints/The-periodic-spin-one-Haldane-gap-September-24-2026/paper.pdf}{Repository preprint}}
}

@misc{OpenAIHaldaneBoundary2026,
  author = {{OpenAI}},
  title = {{A boundary-field gap for the spin-one Heisenberg chain}},
  year = {2026},
  note = {Preprint dated 24 September 2026, released 6 October 2026. \href{https://github.com/openai/math/blob/main/preprints/A-boundary-field-gap-for-the-spin-one-Heisenberg-chain-September-24-2026/paper.pdf}{Repository preprint}}
}

@article{Nahum2013,
  author = {Nahum, Adam and Serna, P. and Somoza, A. M. and Ortu{\~n}o, M.},
  title = {Loop models with crossings},
  journal = {Physical Review B},
  volume = {87},
  pages = {184204},
  year = {2013},
  doi = {10.1103/PhysRevB.87.184204},
  eprint = {1303.2342},
  archivePrefix = {arXiv},
  primaryClass = {cond-mat.stat-mech},
  url = {https://arxiv.org/abs/1303.2342}
}

@article{Kawamura2011,
  author = {Kawamura, Hikaru},
  title = {{$Z_2$}-vortex order of frustrated {Heisenberg} antiferromagnets in two dimensions},
  journal = {Journal of Physics: Conference Series},
  volume = {320},
  number = {1},
  pages = {012002},
  year = {2011},
  doi = {10.1088/1742-6596/320/1/012002},
  eprint = {1102.3494},
  archivePrefix = {arXiv},
  primaryClass = {cond-mat.mtrl-sci},
  url = {https://arxiv.org/abs/1102.3494}
}

@misc{TasakiHaldane2026,
  author = {Tasaki, Hal},
  title = {{OpenAI's proof of the Haldane gap in the $S=1$ antiferromagnetic Heisenberg chain}},
  year = {2026},
  month = oct,
  howpublished = {Author's webpage and expository notes},
  url = {https://haltasaki.github.io/writings/AI/OpenAI_Haldane.html},
  note = {Continuous-time and discrete-time notes published 18 October 2026; revised 19 October 2026}
}

@article{Hohenberg1967,
  author = {Hohenberg, P. C.},
  title = {{Existence of Long-Range Order in One and Two Dimensions}},
  journal = {Physical Review},
  volume = {158},
  number = {2},
  pages = {383--386},
  year = {1967},
  doi = {10.1103/PhysRev.158.383}
}

@article{Coleman1973,
  author = {Coleman, Sidney},
  title = {{There are no Goldstone bosons in two dimensions}},
  journal = {Communications in Mathematical Physics},
  volume = {31},
  pages = {259--264},
  year = {1973},
  doi = {10.1007/BF01646487}
}

@article{Halperin2019,
  author = {Halperin, Bertrand I.},
  title = {{On the Hohenberg--Mermin--Wagner Theorem and Its Limitations}},
  journal = {Journal of Statistical Physics},
  volume = {175},
  pages = {521--529},
  year = {2019},
  doi = {10.1007/s10955-018-2202-y},
  archivePrefix = {arXiv},
  eprint = {1812.00220},
  primaryClass = {cond-mat.stat-mech},
  url = {https://arxiv.org/abs/1812.00220}
}

@misc{Bastounis2026,
  author        = {Bastounis, Alexander and Circelli, Fabian
                   and Hansen, Anders C.},
  title         = {{Navier--Stokes} lost in translation:
                   Why {Lean} verification of {AI} autoformalisation
                   does not guarantee correct natural language proofs},
  year          = {2026},
  month         = oct,
  archivePrefix = {arXiv},
  eprint        = {2610.08144},
  primaryClass  = {math.AP},
  doi           = {10.48550/arXiv.2610.08144},
  url           = {https://arxiv.org/abs/2610.08144v1},
  note          = {Version 1}
}
@misc{RP2Lean2026,
  author       = {Oshikawa, Masaki},
  title        = {{Lean 4 formalization of faster-than-power-law quadrupolar decay in the two-dimensional $\mathbb{RP}^2$ and $\mathbb{RP}^3$ models}},
  year         = {2026},
  howpublished = {Zenodo, \doi{10.5281/zenodo.23548847}},
  note         = {Version 0.4.0 (\texttt{rp2-rp3-lean-zenodo-2026-10-21.zip})}
}