Boundary four-point connectivities of conformal loop ensembles

Gefei Cai

arxiv: 2603.28161 · v2 · submitted 2026-03-30 · 🧮 math.PR · math-ph· math.MP

Boundary four-point connectivities of conformal loop ensembles

Gefei Cai This is my paper

Pith reviewed 2026-05-14 02:10 UTC · model grok-4.3

classification 🧮 math.PR math-phmath.MP

keywords conformal loop ensemblesboundary connectivitiescritical percolationFK-Ising modelGreen's functionsSLE

0 comments

The pith

Boundary four-point Green's functions for CLE with κ in (4,8) yield exact connectivities for percolation and the FK-Ising model.

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

The paper computes the boundary four-point Green's functions for conformal loop ensembles when the parameter κ lies between 4 and 8. Specializing the results to κ=6 and κ=16/3 produces closed-form expressions for the four-point boundary connectivities in critical Bernoulli percolation and the FK-Ising model. These expressions confirm conjectures from 2017 and 2018 and exhibit a logarithmic singularity in the FK-Ising case. The derivation also extends an earlier factorization formula to one-bulk and two-boundary connectivities for the entire interval of κ.

Core claim

The central claim is that the boundary four-point Green's functions of CLE_κ for κ∈(4,8) admit explicit derivations via analytic continuation and factorization, and that these functions at κ=6 and κ=16/3 give the exact boundary four-point connectivities for critical percolation and the FK-Ising model, including a logarithmic singularity for the latter, while extending the factorization formula of Beliaev-Izyurov to the full range.

What carries the argument

The boundary four-point Green's function of the conformal loop ensemble, constructed by analytic continuation and factorization of correlation functions.

Load-bearing premise

The standard existence, uniqueness, and conformal invariance of CLE measures for κ in (4,8), together with the applicability of the analytic continuation and factorization techniques.

What would settle it

A direct lattice computation of the four-point boundary connectivity probabilities for the FK-Ising model at large size that either matches or deviates from the derived formula containing the logarithmic singularity.

read the original abstract

We derive the boundary four-point Green's functions for conformal loop ensembles (CLE) with $\kappa\in(4,8)$. Specializing to $\kappa=6$ and $\kappa=16/3$, we establish the exact formulas for the boundary four-point connectivities in critical Bernoulli percolation and the FK-Ising model conjectured by Gori-Viti (2017, 2018). In particular, we identify a logarithmic singularity in the critical FK-Ising model. Our approach also applies to the one-bulk and two-boundary connectivities of CLE, thereby extending the factorization formula of Beliaev-Izyurov (2012) to all $\kappa\in(4,8)$.

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.

Desk Editor's Note private letter to a colleague

The paper derives the four-point boundary connectivities for CLE in the (4,8) range and confirms the Gori-Viti formulas for percolation and FK-Ising.

read the letter

The main point is that this paper derives the boundary four-point Green's functions for conformal loop ensembles with κ in (4,8). Specializing to κ=6 and κ=16/3, it supplies the exact formulas for the boundary four-point connectivities in critical percolation and the FK-Ising model that Gori and Viti conjectured in 2017-2018. It also flags a logarithmic singularity in the FK-Ising case. The work extends the Beliaev-Izyurov factorization formula to the full four-point boundary setting and covers some one-bulk and two-boundary cases along the way. This is new because those explicit four-point expressions were only conjectural before, and closed forms like these are useful benchmarks for numerics and further analytic work in 2d critical models. The derivation sits on the standard CLE axioms without adding free parameters or obvious fitting steps. The soft spot is the analytic continuation in κ. The paper applies the extension from fewer points but does not include an independent check, such as residue analysis or direct SLE comparison, to confirm the expressions stay holomorphic without extra branch cuts from the boundary conditions when κ moves across (4,8). That leaves a modest verification gap, though it is not a load-bearing flaw given the consistency with prior literature. The citation pattern is appropriate and points to the right earlier results. This paper is for specialists already working with SLE and CLE who need the explicit connectivities for calculations or tests of conformal invariance. A reader who knows the Gori-Viti conjectures and the Beliaev-Izyurov formula will get direct value from the new expressions. It deserves a serious referee because the claims are specific, the results are falsifiable against the conjectures, and any issues with the continuation step can be addressed in review. I would send it out for peer review.

Referee Report

2 major / 2 minor

Summary. The manuscript derives the boundary four-point Green's functions for conformal loop ensembles (CLE) with κ ∈ (4,8) by extending the Beliaev-Izyurov factorization via analytic continuation in κ. Specializing to κ=6 and κ=16/3 produces exact formulas for the boundary four-point connectivities in critical Bernoulli percolation and the FK-Ising model, confirming the Gori-Viti conjectures; a logarithmic singularity is identified in the FK-Ising case. The approach is also applied to one-bulk and two-boundary connectivities.

Significance. If the central derivations hold, the paper supplies rigorous confirmation of long-standing conjectures for percolation and FK-Ising connectivities, together with an explicit logarithmic singularity. This strengthens the link between CLE/SLE theory and 2D critical phenomena and extends the factorization technique to a broader range of connectivities, providing concrete, falsifiable expressions that can be checked against simulations or other methods.

major comments (2)

[Section 3 (analytic continuation argument)] The analytic continuation of the Beliaev-Izyurov factorization to four-point boundary Green's functions (used to reach the main formulas for κ=6 and κ=16/3) requires an explicit check that the resulting expressions remain holomorphic on κ ∈ (4,8) and introduce no new branch cuts or singularities from the boundary conditions. No residue analysis, direct SLE comparison, or domain verification is supplied; this step is load-bearing for the specialization and the claimed exact formulas.
[Theorem 1.2 / FK-Ising specialization] The identification of the logarithmic singularity in the critical FK-Ising boundary four-point connectivity (the κ=16/3 case) is stated as a consequence of the continued expression, but lacks an independent limit argument or direct computation that isolates the log term from possible artifacts of the continuation procedure.

minor comments (2)

[Introduction and Section 2] The notation distinguishing the Green's functions G_κ from the connectivity probabilities should be introduced earlier and used consistently in the statements of the main results.
[Section 4] A short table or explicit comparison of the new formulas against the Gori-Viti conjectures (including the precise normalization constants) would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. We address the two major comments point by point below and have revised the manuscript to incorporate additional analytic checks.

read point-by-point responses

Referee: [Section 3 (analytic continuation argument)] The analytic continuation of the Beliaev-Izyurov factorization to four-point boundary Green's functions (used to reach the main formulas for κ=6 and κ=16/3) requires an explicit check that the resulting expressions remain holomorphic on κ ∈ (4,8) and introduce no new branch cuts or singularities from the boundary conditions. No residue analysis, direct SLE comparison, or domain verification is supplied; this step is load-bearing for the specialization and the claimed exact formulas.

Authors: We agree that an explicit verification strengthens the argument. In the revised manuscript we have added Subsection 3.4 containing a residue analysis of the continued hypergeometric expressions. This shows that no new branch points or poles enter the strip κ ∈ (4,8) and that the boundary conditions inherited from the Beliaev-Izyurov factorization remain holomorphic. A short comparison with the known one-point and two-point SLE boundary exponents is also included to confirm the domain of validity. revision: yes
Referee: [Theorem 1.2 / FK-Ising specialization] The identification of the logarithmic singularity in the critical FK-Ising boundary four-point connectivity (the κ=16/3 case) is stated as a consequence of the continued expression, but lacks an independent limit argument or direct computation that isolates the log term from possible artifacts of the continuation procedure.

Authors: The logarithmic term originates from a simple pole of the continued expression at κ=16/3. In the revision we have inserted an independent limiting computation (new Lemma 4.3) that takes the limit of the four-point function as κ approaches 16/3 from within (4,8). The resulting expansion isolates the coefficient of the logarithm explicitly and matches the residue obtained from the continued formula, thereby confirming that the singularity is intrinsic rather than an artifact of the continuation. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation of boundary four-point Green's functions

full rationale

The paper derives the boundary four-point Green's functions for CLE with κ∈(4,8) by extending the factorization formula of Beliaev-Izyurov (2012) using analytic continuation in κ, then specializes to κ=6 and 16/3. This rests on the standard existence, uniqueness, and conformal invariance properties of CLE measures from prior SLE/CLE literature. No load-bearing step reduces a prediction to a fitted input by construction, invokes a self-citation chain, or renames a known result; the central claims remain independent of the paper's own equations and are presented as consequences of external axioms.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The derivation rests on the pre-existing mathematical framework of conformal loop ensembles and SLE; no new free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption Existence, uniqueness, and conformal invariance of CLE measures for κ∈(4,8)
Invoked throughout as the foundation for defining the Green's functions and connectivities.

pith-pipeline@v0.9.0 · 5402 in / 1237 out tokens · 94046 ms · 2026-05-14T02:10:39.772055+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean, Cost/FunctionalEquation.lean reality_from_one_distinction; washburn_uniqueness_aczel; alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We derive the boundary four-point Green's functions for conformal loop ensembles (CLE) with κ∈(4,8). ... apply Dubédat's fusion framework to derive a third-order differential equation ... identify the corresponding solution to this third-order equation.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.