pith. sign in

arxiv: 2604.15146 · v1 · submitted 2026-04-16 · 🧮 math.PR · math-ph· math.MP

Renormalised two-point functions of CLE₄ gaskets

Juhan Aru , Titus Lupu This is my paper

Pith reviewed 2026-05-10 09:53 UTC · model grok-4.3

classification 🧮 math.PR math-phmath.MP
keywords CLE4Gaussian free fieldAshkin-Teller modelBrownian loop souptwo-point functionsrenormalisationIsing correlations
0
0 comments X

The pith

Renormalised probabilities that two points belong to the same or outermost CLE₄ gasket equal the two-point functions of the Ashkin-Teller scaling limit.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper computes the renormalised probability that two points lie in the same CLE₄ gasket and the probability they lie in the outermost gasket, for nested CLE₄ in a simply-connected domain. These calculations are performed probabilistically using Brownian loop soups together with the geometry of two-valued sets of the continuum Gaussian free field. The resulting quantities are identified with the two-point correlation functions of the conjectured scaling limit of single spins in the Ashkin-Teller model on the critical line. The same method yields more general renormalised probabilities when CLE₄ gaskets alternate with certain two-valued sets of the Gaussian free field. At the decoupling point the formulas reduce to the known Ising-model correlations.

Core claim

We consider nested CLE₄ in a simply-connected domain and compute the renormalised probabilities that two points belong to the same CLE₄ gasket and that two points belong to the outermost CLE₄ gasket. These quantities correspond to the two-point function of the conjectured scaling limit of the AT single spins on the critical line. At the decoupling point, our results recover the Ising model correlations and suggest a CLE₄-based FK representation of the AT spin model.

What carries the argument

The renormalised two-point probability for two points to belong to the same CLE₄ gasket (or the outermost one), obtained from the geometry of nested CLE₄ loops and the two-valued sets of the Gaussian free field via Brownian loop soups.

If this is right

  • The explicit formulas supply the two-point correlations for the scaling limit of the Ashkin-Teller model.
  • At the decoupling point the formulas coincide with the Ising-model two-point function.
  • The construction furnishes a CLE₄-based loop representation for the Ashkin-Teller spin model analogous to the FK representation for Potts models.
  • The same renormalisation procedure extends immediately to correlations involving alternating gaskets and two-valued sets of the Gaussian free field.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same loop-soup and GFF machinery could be used to extract higher-point functions or other observables in the Ashkin-Teller model.
  • Lattice simulations of CLE₄ via Brownian loop soups could furnish numerical checks of the derived formulas.
  • The explicit connection to two-valued sets of the Gaussian free field opens a route to analogous calculations in other models whose interfaces are described by level lines of the GFF.

Load-bearing premise

The computed renormalised probabilities from CLE₄ gaskets and GFF two-valued sets exactly equal the two-point functions of the conjectured scaling limit of Ashkin-Teller single spins.

What would settle it

A direct numerical computation of spin-spin correlations in the Ashkin-Teller model on a fine lattice at the critical point, compared against the explicit formulas obtained from the CLE₄ construction.

read the original abstract

We consider nested CLE$_4$ in a simply-connected domain and compute the following renormalised probabilities: the probability that two points belong to the same CLE$_4$ gasket and the probability that two points belong to the outermost CLE$_4$ gasket. While the integrability is rooted in the conformal field theory of the Ashkin-Teller (AT) model, we provide a purely probabilistic calculation via Brownian loop soups and the geometry of the 2D continuum Gaussian free field. More generally, we also calculate renormalised probabilities that two points belong to CLE$_4$ gaskets sampled in alternation with certain two-valued sets of the Gaussian free field. These quantities correspond to the two-point function of the conjectured scaling limit of the AT single spins on the critical line. At the decoupling point, our results recover the Ising model correlations and suggest a CLE$_4$-based FK representation of the AT spin model.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript computes renormalised probabilities that two points belong to the same CLE₄ gasket or to the outermost CLE₄ gasket in a simply-connected domain. It employs Brownian loop soups and the geometry of the 2D Gaussian free field to obtain these quantities, and extends the calculation to cases where CLE₄ gaskets are sampled in alternation with certain two-valued sets of the GFF. These probabilities are identified with the two-point functions of the conjectured scaling limit of Ashkin-Teller single spins on the critical line; at the decoupling point the results recover Ising correlations and suggest a CLE₄-based FK representation of the AT spin model.

Significance. If the probabilistic derivations hold, the work supplies explicit expressions for quantities that, under the AT scaling-limit conjecture, yield the two-point functions of AT spins. The purely probabilistic route via loop soups and GFF geometry constitutes an independent calculation that contrasts with CFT integrability methods. Recovery of the known Ising correlations at the decoupling point provides concrete support for the approach and indicates a possible new representation for the AT model.

major comments (1)
  1. [Introduction] Introduction and abstract: The central interpretive claim that the computed renormalised probabilities 'correspond to' the two-point functions of the conjectured scaling limit of AT single spins rests on an unproven conjecture. While the decoupling-point recovery of Ising correlations is verified, the manuscript does not supply a direct comparison of the derived functional forms against known CFT expressions for generic AT parameters; this leaves the strength of the identification dependent on the conjecture without further independent checks.
minor comments (2)
  1. [§3] The renormalisation procedure (cut-off and limiting process) should be stated with an explicit equation in the main text rather than being referenced only in passing, to make the existence of the limits fully transparent.
  2. Notation for the various renormalised probabilities (same-gasket, outermost-gasket, alternated) would benefit from a consolidated table or displayed equation early in the paper to improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading, positive assessment of the work, and recommendation for minor revision. We address the single major comment below.

read point-by-point responses

  1. Referee: [Introduction] Introduction and abstract: The central interpretive claim that the computed renormalised probabilities 'correspond to' the two-point functions of the conjectured scaling limit of AT single spins rests on an unproven conjecture. While the decoupling-point recovery of Ising correlations is verified, the manuscript does not supply a direct comparison of the derived functional forms against known CFT expressions for generic AT parameters; this leaves the strength of the identification dependent on the conjecture without further independent checks.

    Authors: We agree that the identification of the computed probabilities with the two-point functions of AT single spins is conjectural, as stated explicitly in the abstract and introduction: the quantities 'correspond to the two-point function of the conjectured scaling limit'. The manuscript's primary contribution is the independent probabilistic derivation via loop soups and GFF geometry, which contrasts with CFT integrability methods and recovers the known Ising correlations at the decoupling point as a consistency check. A direct comparison of the explicit functional forms against CFT expressions for generic AT parameters lies outside the scope of this work, since it would require separate derivation of those CFT formulae rather than the probabilistic route pursued here. We will add a clarifying sentence in the introduction to underscore the conjectural nature of the scaling-limit identification while highlighting the value of the probabilistic computation and the decoupling-point verification. revision: partial

Circularity Check

0 steps flagged

Probabilistic derivation of renormalised CLE₄ probabilities is independent of conjectural AT interpretation

full rationale

The paper computes explicit renormalised probabilities for two points belonging to the same or outermost CLE₄ gasket (and alternated with GFF two-valued sets) via Brownian loop soups and GFF geometry. This is explicitly contrasted with CFT methods and presented as a self-contained probabilistic calculation. The correspondence to AT single-spin two-point functions is stated as matching the conjectured scaling limit, with verification only at the decoupling point recovering Ising correlations; no step reduces the derived expressions to fitted parameters, self-citations, or inputs by construction. The central results stand on the probabilistic framework alone.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The calculations rest on standard properties of CLE4, Brownian loop soups, and the 2D GFF; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Existence and conformal invariance properties of nested CLE4 in simply-connected domains
    Invoked as the starting object whose gasket probabilities are to be computed.
  • domain assumption Geometric correspondence between CLE4 gaskets and two-valued sets of the Gaussian free field
    Used to extend the calculation to alternating gaskets.

pith-pipeline@v0.9.0 · 5454 in / 1415 out tokens · 26285 ms · 2026-05-10T09:53:36.722909+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

  1. [1]

    Integrability of Conformal Loop Ensemble: Imaginary DOZZ Formula and Beyond,

    [ACSW21] Morris Ang, Gefei Cai, Xin Sun, and Baojun Wu. Integrability of Conformal Loop Ensemble: Imaginary DOZZ Formula and Beyond. arXiv:2107.01788,

    work page arXiv

  2. [2]

    The Ising magnetisation field and the Gaussian free field

    [ALHL26] Tom´ as Alcalde L´ opez, Lorca Heeney, and Marcin Lis. The Ising magnetisation field and the Gaussian free field. arXiv:2602.05886,

    work page arXiv

  3. [3]

    The first passage sets of the 2D Gaussian free field: convergence and isomorphism.Communications in Mathematical Physics, 375:1885–1929,

    [ALS20b] Juhan Aru, Titus Lupu, and Avelio Sep´ ulveda. The first passage sets of the 2D Gaussian free field: convergence and isomorphism.Communications in Mathematical Physics, 375:1885–1929,

    work page 1929

  4. [4]

    Excursion decomposition of the 2D continuum GFF

    [ALS23] Juhan Aru, Titus Lupu, and Avelio Sep´ ulveda. Excursion decomposition of the 2D continuum GFF. arXiv:2304.03150,

    work page arXiv

  5. [5]

    [BJ24] Guillaume Baverez and Antoine Jego

    [BJ24] Guillaume Baverez and Antoine Jego. The CFT of SLE loop measures and the Kontsevich–Suhov conjecture. arXiv:2407.09080,

    work page arXiv

  6. [6]

    Berestycki and E

    arXiv:2404.16642. [BPZ84] A.A. Belavin, A.M. Polyakov, and A.B. Zamolodchikov. Infinite conformal symmetry in two-dimensional quantum field theory.Nuclear Physics B, 241(2):333–380,

    work page arXiv

  7. [7]

    Uniqueness of generalized conformal restriction measures and Malliavin- Kontsevich-Suhov measures forc∈(0,1]

    [CG25] Gefei Cai and Yifan Gao. Uniqueness of generalized conformal restriction measures and Malliavin- Kontsevich-Suhov measures forc∈(0,1]. arXiv:2502.05890,

    work page arXiv

  8. [8]

    [Dub19] Julien Dub´ edat

    arXiv:2602.12000. [Dub19] Julien Dub´ edat. Double dimers, conformal loop ensembles and isomonodromic deformations.Journal of European Mathematical Society, 21(1):1–54,

    work page arXiv

  9. [9]

    Up-to-constants estimates on four-arm events for simple con- formal loop ensemble

    [GNQ25] Yifan Gao, Pierre Nolin, and Wei Qian. Up-to-constants estimates on four-arm events for simple con- formal loop ensemble. arXiv:2504.06202,

    work page arXiv

  10. [10]

    Imaginary multiplicative chaos.The Annals of Applied Probability, 30(5):2099–2164,

    [JSW20] Janne Junnila, Eero Saksman, and Christian Webb. Imaginary multiplicative chaos.The Annals of Applied Probability, 30(5):2099–2164,

    work page 2099

  11. [11]

    [LTF07] Gregory Lawler and Jos´ e Trujillo-Ferreras

    arXiv:2602.06011. [LTF07] Gregory Lawler and Jos´ e Trujillo-Ferreras. Random walk loop soup.Transactions of the American Mathematical Society, 359(2):767–787,

    work page arXiv

  12. [12]

    An equivalence between gauge-twisted and topologically conditioned scalar Gaussian free fields

    [Lup22] Titus Lupu. An equivalence between gauge-twisted and topologically conditioned scalar Gaussian free fields. arXiv:2209.07901. To appear inAnnales de l’Institut Henri Poincar´ e, Probabilit´ es et Statistiques,

    work page arXiv

  13. [13]

    Relation between Wick powers and excursion clusters of the 2D GFF

    73 [Lup25] Titus Lupu. Relation between Wick powers and excursion clusters of the 2D GFF. arXiv:2509.01797,

    work page arXiv

  14. [14]

    Dimensions of two-valued sets via imaginary chaos.International Mathematics Research Notices, 2022(5):3219–3261,

    [SSV22] Lukas Schoug, Avelio Sep´ ulveda, and Fredrik Viklund. Dimensions of two-valued sets via imaginary chaos.International Mathematics Research Notices, 2022(5):3219–3261,

    work page 2022

  15. [15]

    Conformal loop ensembles: the Markovian characterization and the loop-soup construction.Annals of Mathematics, 176(3):1827–1917,

    [SW12] Scott Sheffield and Wendelin Werner. Conformal loop ensembles: the Markovian characterization and the loop-soup construction.Annals of Mathematics, 176(3):1827–1917,

    work page 1917