∑math20

Probability and statistical mechanics · Result 233

The joint critical Ashkin–Teller current limit

1 paper

Identifies the joint scaling limit of Ashkin–Teller heights and both complete current-cluster collections throughout the critical line, including the four-state Potts endpoint. In bounded Jordan domains with admissible lattice approximations and wired primal/free dual boundaries, the height converges to the predicted Gaussian free field, and the clusters to canonical recursive sets of that same field, retaining every nesting depth.

Watch

▶Introduction: the problem and why it mattersin preparation
▶The presented solutionin preparation

Papers 1

First page of The joint scaling limit of critical Ashkin-Teller currents

The joint scaling limit of critical Ashkin-Teller currents

OpenAI · October 6, 2026

For each fixed point on the critical Ashkin–Teller line, including the four-state Potts endpoint, we prove the conjectured joint scaling limit of the height and both current-cluster collections in every bounded Jordan domain, for every admissible polygonal approximation. The height converges to a Gaussian free field with the predicted coupling constant, and the clusters converge to canonical recursive two-valued local sets of that same field. The joint limit includes all nesting depths and the distinguished wired boundary cluster.

This version corrects the transmission and boundary-collar arguments, replaces excursion convergence with a signed-loop-soup/GMC argument tied to the same limiting field, and updates the companion-paper citation; see the previous version.

Read PDF Download Source

Cite
@misc{OAI:The-joint-scaling-limit-of-critical-Ashkin-Teller-currents-October-6-2026,
  author = {{OpenAI}},
  title = {{The joint scaling limit of critical Ashkin--Teller currents}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/The-joint-scaling-limit-of-critical-Ashkin-Teller-currents-October-6-2026/main.pdf}{OAI:The-joint-scaling-limit-of-critical-Ashkin-Teller-currents-October-6-2026}},
  year = {2026}
}

Formal verification

No Lean formalization is listed for this result yet. The repository notes that unformalized results could have issues.