Source authenticated

Critical two-point decay r−1/4(log⁡r)1/8r^{-1/4}(\log r)^{1/8} in the planar XY model

Log-correction paper, Theorem 1.1: Cbc(r)=BXYr−1/4(log⁡r)1/8(1+o(1))C_{b_c}(r)=B_{XY}r^{-1/4}(\log r)^{1/8}(1+o(1)) as r→∞r\to\infty along the axis, with BXY∈(0,∞)B_{XY}\in(0,\infty), for the free-box limit. Exponent paper (September 24): Cbc(r)=r−1/4+o(1)C_{b_c}(r)=r^{-1/4+o(1)}. The constant is not computed; off-axis directions, other lattices and the Villain model at criticality are not covered here, and the next-order log⁡log⁡r/log⁡r\log\log r/\log r correction is not claimed. Companions prove a Gaussian free field limit for discrete Gaussian heights through the roughening threshold with universal value 8π8\pi, and (conditional on stated inputs) the critical center magnetization n−1/8(log⁡n)1/16n^{-1/8}(\log n)^{1/16} and spin-field scaling limit.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Oct 5, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: Critical two-point decay $r^{-1/4}(\log r)^{1/8}$ in the planar XY model · XY critical decay with log correction

Confidence: Not scored

Registry verification: unreviewed · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Lineage and corrections

Log-correction paper, Theorem 1.1: Cbc(r)=BXYr−1/4(log⁡r)1/8(1+o(1))C_{b_c}(r)=B_{XY}r^{-1/4}(\log r)^{1/8}(1+o(1)) as r→∞r\to\infty along the axis, with BXY∈(0,∞)B_{XY}\in(0,\infty), for the free-box limit. Exponent paper (September 24): Cbc(r)=r−1/4+o(1)C_{b_c}(r)=r^{-1/4+o(1)}. The constant is not computed; off-axis directions, other lattices and the Villain model at criticality are not covered here, and the next-order log⁡log⁡r/log⁡r\log\log r/\log r correction is not claimed. Companions prove a Gaussian free field limit for discrete Gaussian heights through the roughening threshold with universal value 8π8\pi, and (conditional on stated inputs) the critical center magnetization n−1/8(log⁡n)1/16n^{-1/8}(\log n)^{1/16} and spin-field scaling limit. parent of this event

Companion: Essential Singularity of the Correlation Length in the Planar XY Model evidence for this event

Critical two-point decay r−1/4(log⁡r)1/8r^{-1/4}(\log r)^{1/8} in the planar XY model evidence for this event

VibeMathed record: Critical two-point decay r−1/4(log⁡r)1/8r^{-1/4}(\log r)^{1/8} in the planar XY model evidence for this event

This event attributed to Unreleased internal OpenAI model

Critical two-point decay r−1/4(log⁡r)1/8r^{-1/4}(\log r)^{1/8} in the planar XY model parent of this event

Companion: Critical Center Magnetization in the Planar XY Model evidence for this event

Companion: The critical correlation exponent of the planar XY model evidence for this event

Companion: The Critical Spin Field of the Planar XY Model evidence for this event

Companion: BKT universality for height and planar spin fields evidence for this event

Act on this frontier

Verify, challenge, or extend the result.