Pith. sign in

REVIEW 3 minor 12 references

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

T0 review · 0 major / 3 minor · reviewed 2026-06-26 · grok-4.3

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

Pith's one-line read Crossing probabilities for Gaussian free field level lines equal ratios of c=1 degenerate conformal blocks.

desk verdict 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. read the letter →

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

Alex Karrila , Eveliina Peltola , Lukas Schoug This is my paper
classification math-phmath.MPmath.PR
keywords Gaussianfreefieldlevellinesconformalblocksc=1SLE_4crossingprobabilitiesmetricgraphGFFBPZequations
verification ladder T0 review T1 audit T2 compute T3 formal

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.

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.

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

Extended reading notes

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

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.

Editorial extensions

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.

Reading between the lines

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

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

assumptions (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.

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}
}
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 the authors.

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. 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, . . . , xp) = Uβ… view at source ↗
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 a result re… view at source ↗
Figures from the paper (6 more)
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 illu…
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 …
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 \ …
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 …
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 re…
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…

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

12 extracted references · 6 canonical work pages

  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 Pith review 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 Pith review 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

Show all 12 references
  1. [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,

  2. [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

  3. [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

  4. [12]

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

    2024

Pith tools

Reviewed June 26, 2026 · model on record in the stance chip above.