Pith. sign in

REVIEW 3 minor 12 references

Crossing probabilities for Gaussian free field level lines equal ratios of c=1 degenerate conformal blocks.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

GFF level line crossing probabilities equal c=1 degenerate conformal blocks or fused SLE_4 partition functions, with scaling limit convergence proven for metric graph GFF under monotonicity constraints.

T0 review reviewed 2026-06-26 challenge →

load-bearing objection The paper maps GFF level-line crossing probabilities to c=1 degenerate conformal blocks (or fused SLE_4 partition functions) and proves scaling-limit convergence for the metric-graph version under monotonicity constraints on boundary data.

arxiv 2606.22228 v1 pith:2JGLPO5E submitted 2026-06-20 math-ph math.MPmath.PR

Level lines of the Gaussian free field and $c=1$ degenerate conformal blocks

Alex Karrila , Eveliina Peltola , Lukas Schoug This is my paper
classification math-ph math.MPmath.PR
keywords Gaussian free fieldlevel linesconformal blocksc=1SLE_4crossing probabilitiesmetric graph GFFBPZ equations
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The reading

The paper establishes that for the Gaussian free field on simply connected domains with piecewise constant Dirichlet boundary data, the probabilities that level lines connect specific boundary segments are given by conformal blocks of primary fields that are degenerate at each insertion in a c=1 conformal field theory. The same probabilities arise as ratios of explicit partition functions built from fused multiple SLE_4 curves, expressed via fused Specht polynomials. The result extends to the scaling limit of level-set crossings for the metric graph GFF. This supplies a CFT description, via blocks that solve the BPZ equations of arbitrary order, for the percolation geometry of these level sets. Only boundary conditions obeying certain monotonicity constraints select the blocks that appear.

Core claim

We show that the crossing probabilities for its level lines are determined by conformal blocks of primary fields in a conformal field theory (CFT) with central charge c = 1 which are degenerate at each insertion. Alternatively, the crossing probabilities are ratios of explicit partition functions of fused multiple SLE_4 curves, which can be written in terms of fused Specht polynomials. We also prove that for the metric graph GFF with appropriate boundary conditions, the crossing probabilities for its level sets converge in the scaling limit to our formulas. In particular, the geometry of the level-set percolation for both the continuum GFF and the metric graph GFF has a CFT description in te

What carries the argument

Degenerate conformal blocks at c=1 (equivalently, ratios of fused multiple SLE_4 partition functions) that encode the crossing probabilities under monotonicity constraints on the boundary data.

Load-bearing premise

The level lines of the GFF and its metric graph version have crossing probabilities captured exactly by the c=1 degenerate conformal blocks when boundary data is piecewise constant and satisfies the monotonicity constraints.

What would settle it

Compute the crossing probability for level lines in a specific rectangular domain with three boundary arcs and compare it numerically to the explicit c=1 block formula; a statistically significant mismatch would falsify the equality.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • The crossing probabilities satisfy the BPZ partial differential equations of arbitrary orders.
  • Only the subset of boundary conditions obeying monotonicity constraints produce probabilities given by individual blocks; others are excluded.
  • The same formulas describe level-set percolation both for the continuum GFF and for the metric graph GFF after scaling.
  • The blocks are linearly independent and arise from primary fields labeled by generalized Dyck paths subject to the monotonicity selection.

Where Pith is reading between the lines

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

  • The explicit Specht-polynomial expressions may permit direct combinatorial counting of the admissible crossing configurations.
  • Numerical sampling of GFF level lines could serve as a Monte-Carlo method to approximate values of these particular c=1 blocks.
  • If monotonicity is dropped, the probabilities would likely become linear combinations of several blocks rather than single blocks.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 3 minor

Summary. The manuscript claims that crossing probabilities for level lines of the GFF (and its metric-graph version) with piecewise-constant Dirichlet boundary data are given exactly by ratios of c=1 degenerate conformal blocks (degenerate at each insertion), which are linearly independent solutions of the BPZ equations; equivalently, these probabilities are ratios of explicit partition functions of fused multiple SLE_4 curves constructed from fused Specht polynomials. It further asserts a scaling-limit convergence result for the crossing probabilities of level sets in the metric graph GFF, and notes that only the subset of blocks obeying specific monotonicity constraints (corresponding to a subset of generalized Dyck paths) appear in the GFF models.

Significance. If the identification and convergence hold, the work supplies an explicit CFT description of GFF level-line percolation in terms of degenerate c=1 blocks and fused SLE_4 objects, together with a discrete-to-continuum theorem. The representation-theoretic construction of the blocks, the verification of linear independence, and the explicit partition-function formulas constitute concrete strengths that could be used for further computations in the field.

minor comments (3)
  1. The abstract states that the selected blocks satisfy monotonicity constraints, but the main text should include an explicit derivation (with a named proposition or lemma) showing how these constraints arise directly from the piecewise-constant boundary data of the GFF rather than being imposed externally.
  2. Cross-references to the fused Specht polynomials of Lafay-Peltola-Roussillon should appear at the first use of the partition functions, together with a brief reminder of the representation-theoretic construction used here.
  3. The statement that the blocks are 'linearly independent and solve the BPZ PDEs of arbitrary orders' would benefit from a short table or list indicating the orders arising for the typical numbers of level lines considered in the examples.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and supportive report, which accurately summarizes the main results of the manuscript, and for the recommendation of minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

Derivation self-contained; self-citation not load-bearing

full rationale

The paper's central claim equates GFF level-line crossing probabilities to ratios of c=1 degenerate conformal blocks (equivalently, fused multiple SLE_4 partition functions). This identification is grounded in an explicit scaling-limit convergence theorem for the metric-graph GFF under the stated boundary conditions, together with a direct verification that the selected blocks are linearly independent solutions of the higher-order BPZ equations. The reference to fused Specht polynomials (Lafay-Peltola-Roussillon) supplies an algebraic representation but is not used to derive the probabilities themselves; the monotonicity filter and convergence step are independent of that prior algebraic construction. No equation reduces to a fitted input, self-definition, or unverified self-citation chain. The result is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Review performed on abstract only; full list of background assumptions, lemmas, and technical conditions used in the proofs is unavailable.

axioms (2)
  • domain assumption Level lines of the GFF are conformally invariant and their crossing probabilities are captured by c=1 CFT blocks
    This is the central bridge asserted in the abstract between the GFF and the conformal blocks.
  • domain assumption The metric graph GFF level sets converge in the scaling limit to the continuum GFF level lines
    Required for the convergence statement to hold.

reviewed 2026-06-26 · how reviews work

0 comments
Cite this review

Pith. "Pith review of Level lines of the Gaussian free field and $c=1$ degenerate conformal blocks." pith.science (2026). https://pith.science/paper/2JGLPO5E

@misc{pith2026260622228,
  author       = {Pith},
  title        = {Pith review of: Level lines of the Gaussian free field and $c=1$ degenerate conformal blocks},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2JGLPO5E}},
  note         = {Machine review of arXiv:2606.22228}
}
Share X Bluesky LinkedIn Reddit HN
abstract

We consider Gaussian free field (GFF) on simply connected domains with piecewise constant Dirichlet boundary data. We show that the crossing probabilities for its level lines are determined by conformal blocks of primary fields in a conformal field theory (CFT) with central charge $c = 1$ which are degenerate at each insertion. Alternatively, the crossing probabilities are ratios of explicit partition functions of fused multiple $\mathrm{SLE}_4$ curves, which can be written in terms of fused Specht polynomials introduced recently by Lafay, Peltola, & Roussillon in a representation-theoretic context. We also prove that for the metric graph GFF introduced by Lupu, with appropriate boundary conditions, the crossing probabilities for its level sets converge in the scaling limit to our formulas. In particular, the geometry of the level-set percolation for both the continuum GFF and the metric graph GFF has a CFT description in terms of the aforementioned $c=1$ conformal blocks, which are linearly independent and solve the Belavin-Polyakov-Zamolodchikov (BPZ) PDEs of arbitrary orders. Interestingly, not all combinatorial boundary conditions are amenable for the GFF models -- while the CFT contains conformal blocks of primary fields labeled by generalized Dyck paths (i.e., semi-standard Young tableaux), the ones appearing in the above models satisfy specific monotonicity constraints.

Figures

Figures reproduced from arXiv: 2606.22228 by Alex Karrila, Eveliina Peltola, Lukas Schoug.

Figure 1.1
Figure 1.1. Figure 1.1: Two possible connectivities ϑGFF formed by the GFF level lines that can appear with the boundary conditions illustrated along the real line. In the present work, we are interested in the GFF with specific Dirichlet boundary data (as in Equation (1.3) given below, and exemplified in [PITH_FULL_IMAGE:figures/full_fig_p004_1_1.png] view at source ↗
Figure 1.2
Figure 1.2. Figure 1.2: Illustration of the induced boundary data (1.3) for the GFF from the generalized Dyck path β = (β0, β1, . . . , β10) = (0, 1, 2, 4, 3, 2, 1, 2, 3, 1, 0) over the multiindex ς = (s1, s2, . . . , s10) = (1, 1, 2, 1, 1, 1, 1, 1, 2, 1). We will show in Proposition 3.1 that the partition function U GFF β = U GFF uβ of the GFF with boundary data uβ yields a particular SLE4 partition function: U GFF β (x1, . . … view at source ↗
Figure 1.3
Figure 1.3. Figure 1.3: Example of a link pattern which is not in PLPς for ς = (2, 2, 2). Organization of this article. We review preliminaries in Section 2. Also, in Section 2.5 we prove that the level lines in LLodd β = LLodd(Φ + uβ) are the connected components of the frontiers of the first passage sets (A uβ 2kλ)k∈Z. In Section 3, we prove key results related to the partition functions of the GFF: Theorems A & B, as well as… view at source ↗
Figure 2.1
Figure 2.1. Figure 2.1: Combinatorial objects central to the present work: The left panel illustrates a Dyck path β = (0, 1, 2, 4, 3, 2, 1, 2, 3, 1, 0) over the multiindex ς = (1, 1, 2, 1, 1, 1, 1, 1, 2, 1) and the corresponding ς-valenced link pattern. Here, β ∈ MLPς . The right panel illustrates two Dyck paths α ⪯ β over the multiindex ς = (1, 1, 2, 2, 1, 1, 1, 2, 1, 2) (top panel) and their unfused images ı(α) ⪯ ı(β) and the… view at source ↗
Figure 2.2
Figure 2.2. Figure 2.2: The left panel illustrates an unvalenced (top) and valenced (where β ∈ MLPς , bottom) example of the bijection between Dyck paths β and link patterns β: up-steps correspond to left link endpoints, down￾steps to right endpoints (with multiplicity in bottom panel). The bijection can be extended so that the Dyck path heights between the steps become the boundary condition Uβ, and the link pattern yields the u… view at source ↗
Figure 2.3
Figure 2.3. Figure 2.3: Illustration of the first passage sets A u 0 , . . . , A u 6λ , where u = uβ and β = (0, 1, 2, 4, 3, 2, 1, 2, 3, 1, 0). The filling of the following sets is given in the following color: A u 6λ in yellow, A u 4λ \ A u 6λ in green, A u 2λ \ A u 4λ in blue and A u 0 \ A u 2λ in red. The connected components of the frontiers, i.e., the curves γ k j , are the darker boundaries of the filled sets. from ∞ to 0… view at source ↗
Figure 2.4
Figure 2.4. Figure 2.4: Illustration of the sets X and Y. The points in X (resp. Y) are colored red (resp. blue). In particular, X (resp. Y) comprises the points at which positive (resp. negative) jumps of the boundary data of u occur. Observe that for Φ+u, the points in Xm are exactly the points from which we can grow a level line of height (2m − 1)λ, for the boundary data to the left (resp. right) is at most 2(m − 1)λ (resp. … view at source ↗
Figure 4.1
Figure 4.1. Figure 4.1: Illustration of the proof of the resampling property, Theorem 4.4. In the figure, we explore the domain Dj (colored in light blue) of the curve ηj . We begin by exploring the level lines of height (2m − 3)λ (in blue) and then the level lines of height (2m+ 1)λ (in red). Then, we further explore the level lines of height (2m − 1)λ which are not ηj (if there are any) to obtain Dj . Then, it is clear from t… view at source ↗
Figure 4.2
Figure 4.2. Figure 4.2: Illustration of the boundary data of the functions uβ and uı(β) , for β = (0, 1, 2, 4, 3, 2, 1, 2, 3, 1, 0) (so that ı(β) = (0, 1, 2, 3, 4, 3, 2, 1, 2, 3, 2, 1, 0)). For each k, we let Φk be a zero-boundary GFF in Ok, independent of (Φℓ)ℓ̸=k and the curves η. We will define a coupling, by choosing the boundary data for the fields as follows. In the domain Ok, we choose Hk = u ϵ ı(β) (gΓϵ (∂Ok) ∩ R), and … view at source ↗

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

12 extracted references · 6 canonical work pages · 2 internal anchors

  1. [1]

    [ALS20a] JuhanAru,TitusLupu,andAvelioSepúlveda.Firstpassagesetsofthe2DcontinuumGaussianfree field.Probab

    Preprint in arXiv:2310.20583. [ALS20a] JuhanAru,TitusLupu,andAvelioSepúlveda.Firstpassagesetsofthe2DcontinuumGaussianfree field.Probab. Theory Related Fields, 176(3-4):1303–1355,

    work page arXiv

  2. [2]

    The first passage sets of the2DGaussian free field: convergence and isomorphisms.Comm

    [ALS20b] Juhan Aru, Titus Lupu, and Avelio Sepúlveda. The first passage sets of the2DGaussian free field: convergence and isomorphisms.Comm. Math. Phys., 375(3):1885–1929,

    1929

  3. [3]

    MultipleSLE κ fromCLE κ forκ∈(4,8)

    [AMY25] Valeria Ambrosio, Jason Miller, and Yizheng Yuan. MultipleSLE κ fromCLE κ forκ∈(4,8). Preprint in arXiv:2503.08958,

    work page arXiv

  4. [4]

    Multiple SLEs for $\kappa\in (0,8)$: Coulomb gas integrals and pure partition functions

    [FLPW24] Yu Feng, Mingchang Liu, Eveliina Peltola, and Hao Wu. Multiple SLEs forκ∈(0,8): Coulomb gas integrals and pure partition functions. Preprint in arXiv:2406.06522,

    work page internal anchor Pith review Pith/arXiv arXiv

  5. [5]

    Multiradial SLE with spiral: resampling property and boundary perturbation

    [HPW25] Chongzhi Huang, Eveliina Peltola, and Hao Wu. Multiradial SLE with spiral: resampling property and boundary perturbation. Preprint in arXiv:2509.22045,

    work page arXiv

  6. [6]

    [Kac80] VictorG.Kac.HighestweightrepresentationsofinfinitedimensionalLiealgebras.InProceedingsof the ICM 1978, Helsinki, Finland, volume 1, pages 299–304. Acad. Sci. Fenn.,

    1978

  7. [7]

    Multiple SLE type scaling limits: from local to global

    [Kar19] Alex Karrila. MultipleSLEtype scaling limits: from local to global. Preprint in arXiv:1903.10354,

    work page internal anchor Pith review Pith/arXiv arXiv 1903

  8. [8]

    [Kem17] Antti Kemppainen.Schramm-Loewner evolution, volume 24 ofSpringerBriefs in Mathematical Physics

    Preprint in arXiv:2208.06008. [Kem17] Antti Kemppainen.Schramm-Loewner evolution, volume 24 ofSpringerBriefs in Mathematical Physics. Springer Cham,

    work page arXiv

  9. [9]

    Boundary correlations in planar LERW and UST

    [KKP20] Alex Karrila, Kalle Kytölä, and Eveliina Peltola. Boundary correlations in planar LERW and UST. Comm. Math. Phys., 376(3):2065–2145,

    2065

  10. [10]

    Conformally invariant scaling limits, an overview and a collection of problems

    39 [Sch06] Oded Schramm. Conformally invariant scaling limits, an overview and a collection of problems. InProceedings of the ICM 2006, Madrid, Spain, volume 1, pages 513–543. European Mathematical Society,

    2006

  11. [11]

    SLE partition functions via conformal welding of random surfaces.Int

    [SY24] Xin Sun and Pu Yu. SLE partition functions via conformal welding of random surfaces.Int. Math. Res. Not.2024(24):14763–14801,

    2024

  12. [12]

    [Zha24] DapengZhan.ExistenceanduniquenessofnonsimplemultipleSLE.J.Stat.Phys.,191(8):1–15,2024

    2024

This paper was first reviewed by grok-4.3 on June 26, 2026.