Pith. sign in

REVIEW 3 major objections 3 minor 12 references

In an annulus, the probability that all GFF level lines cross with a given winding is exactly a ratio of two theta-function partition functions.

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 ↗

Explicit theta-function formulas give the probability that all GFF level lines cross an annulus, with a new sqrt(r) correction as the inner hole shrinks.

T0 review reviewed 2026-08-01 challenge →

load-bearing objection First explicit annulus GFF level-line crossing/winding probabilities, genuinely new and seriously argued; deserves review, but the BPZ verification leans on ChatGPT-compiled appendices that need independent checking before the central theorem is fully trusted. the 3 major comments →

arxiv 2607.27786 v1 pith:BCKTDZBB submitted 2026-07-30 math.PR

Gaussian free field in annulus: BPZ equations and crossing probabilities for level lines

Chongzhi Huang , Mingchang Liu , Hao Wu This is my paper
classification math.PR MSC 60J67
keywords Gaussian free fieldlevel linesannuluscrossing probabilityBPZ equationspartition functionsJacobi theta functionsSLE
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 an exact formula for the probability that all n level lines of a Gaussian free field in an annulus with alternating boundary values cross from the outer to the inner boundary, including a prescribed winding number. The claim is that this probability equals Z^(ℓ)_n-cro / Z_n-ann, where both partition functions are built from Jacobi theta functions and arise as exponentials of regularized Dirichlet energies. The same functions are shown to satisfy the annulus BPZ equations, a system of PDEs that ensures the associated stochastic processes are martingales. Because the annulus has one more parameter than the equations, the BPZ solution space is infinite-dimensional, so the explicit energy construction is what pins down the physically relevant answer. If correct, the formula also yields a large-radius asymptotic with a nontrivial √r polynomial correction that is absent when the inner boundary is replaced by a point.

Core claim

The central discovery is a closed-form identity: for an even number n=2N of marked points alternating between boundary values π and 0, the probability of the crossing-winding event is the ratio Z^(ℓ)_n-cro(r; α, β_{2m+1},...,β_{2m+n}) / Z_n-ann(r; α, β). The functions in the ratio are explicit products and exponentials of rescaled Jacobi theta functions; they are the exponentials of regularized Dirichlet energies of harmonic functions with alternating boundary jumps, and they satisfy annulus BPZ equations. The proof identifies the ratio as the terminal value of a bounded martingale, and shows that when the first curve makes the prescribed crossing, this martingale degenerates to the known ra

What carries the argument

The load-bearing objects are the two partition functions Z_n-ann and Z^(ℓ)_n-cro, defined via Jacobi theta functions. The theta functions supply the Green's function and boundary Poisson kernel of the annulus, so exponentiating their regularized Dirichlet energies yields functions with the correct conformal covariance and modulus dependence. These functions satisfy the annulus BPZ equations — the PDE system expressing the conformal Ward identity in the presence of a moving modulus — which makes the ratio of the two a local martingale along the first level line. Proving the BPZ identities uses the periodicity of the logarithmic derivatives of the theta functions on the covering strip to reduc

Load-bearing premise

The terminal-time bounds of Lemma 4.2 — that as the first curve reaches the inner boundary the marked points separate at controlled rates — are the step on which the martingale terminal value rests; if any of these estimates fail, the crossing-winding formula does not follow.

What would settle it

Simulate the GFF level lines in an annulus for n=2 (two alternating arcs) at several radii and boundary angles, and compare the empirical crossing-winding frequency to Z^(0)_2-cro / Z_2-ann. A discrepancy larger than Monte Carlo error would refute the exact formula; equivalently, measuring the large-radius prefactor of the crossing probability and finding a power different from √r would refute Proposition 1.3.

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

If this is right

  • The law of multiple GFF level lines in an annulus is encoded by the explicitly computable partition function Z_n-ann, so the same construction can be used to write other crossing and connectivity probabilities.
  • For fixed winding, the crossing probability is exactly a theta-function ratio, and summing over windings gives a closed-form total crossing probability.
  • The large-radius asymptotics display a √r polynomial correction that is absent in the disc limit; this changes the subleading order of the probability when the inner hole boundary carries bounded boundary data.
  • The proof supplies a route to verify annulus BPZ equations even when the solution space is infinite-dimensional, by combining elliptic-function identities with explicit energy computations.
  • The multi-time martingale construction extends the chordal and radial framework to the annulus, giving a unified way to define multi-curve SLE in doubly connected domains.

Where Pith is reading between the lines

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

  • Editorial: the torus-periodicity argument for verifying the BPZ residual term suggests the same strategy could handle partition functions in higher-genus or multi-hole domains, where explicit solutions are even harder to guess.
  • Editorial: the √r factor likely reflects the fluctuation of the average of the field on the inner boundary; if so, similar polynomial corrections should appear when a small hole is inserted into any bounded domain with fixed boundary values.
  • Editorial: the inequality Z^(ℓ)_n-cro ≤ Z_n-ann, proved here to bound the martingale, looks like a general principle — 'crossing costs no more than total energy' — and if it holds for other connectivity patterns it would give a systematic way to identify the correct BPZ solution.
  • Editorial: a discrete-GFF simulation for n=2 with several radii would give a direct numerical check of both the exact formula and the √r asymptotic.
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

3 major / 3 minor

Summary. The paper studies level lines of the Gaussian free field in an annulus with alternating boundary data and computes the probability that all n level lines cross the annulus. The two central objects are explicit partition functions Z_n-ann and Z^{(ℓ)}_{n-cro}, built from Jacobi theta functions via Dubédat's regularized Dirichlet energy. The paper claims these solve the annulus BPZ equations (Proposition 1.1), that the ratio Z^{(ℓ)}_{n-cro}/Z_n-ann is a bounded martingale, and that its terminal value reduces to the known rainbow probability in the slit polygon, yielding the exact identity P[cross, wind=(m;ℓ)] = Z^{(ℓ)}_{n-cro}/Z_n-ann (Theorem 1.2) and the asymptotics with a √r prefactor (Proposition 1.3). The proof machinery includes a multi-time martingale framework for annulus SLE, a Brownian-loop cascade construction, and an analytic-lift argument for the GFF coupling.

Significance. If the algebraic identities are correct, this is a substantial advance: it gives the first explicit annulus crossing probabilities for multiple GFF level lines and exhibits a nontrivial polynomial correction relative to the disc limit. The paper is honest about the key structural difficulty—the annulus BPZ system is underdetermined—and the main proof architecture is original and credible: the regularized-Dirichlet construction supplies the correct solution, the Liouville argument reduces BPZ verification to periodicity and pole cancellation, and the crossing probability is obtained without fitting parameters. The precise claims are falsifiable and of clear interest to the SLE/GFF community. However, the two computational appendices are the load-bearing algebraic core, and as written they are AI-draft computations without independent human or machine verification; this is a serious gap for a proof journal.

major comments (3)
  1. [Eq. (1.16)–(1.17), Prop. 1.3, vs Lemmas 2.10–2.12] The stated prefactors do not follow from the lemmas cited for their proof. From (2.46), Z_n-ann ~ sqrt(2)^n Z_n(α)Z_n(β) exp(nr/4 + ...); from (2.48), Z^{(ℓ)}_{n-cro} ~ sqrt(2)^{n(n-1)} Z_n-rad(α)Z_n-rad(β) exp(n(2-n)r/8 + ...). Their ratio has prefactor sqrt(2)^{n(n-2)}, not sqrt(2)^{n^2}. Likewise (2.50) gives sqrt(2)^{n(n-2)}/sqrt(2π) rather than sqrt(2)^{n^2}/sqrt(2π) in (1.17). For n=2 the discrepancy is concrete: the exact ratio at (1.13), combined with (2.46) and (2.48), gives prefactor 1, while (1.16) gives 4. This is not cosmetic: Proposition 1.3 is a stated main result and is used in the comparison with the disc analogue. Please correct the prefactors or justify the printed form.
  2. [Appendices A and B; Eq. (4.6); Prop. 1.1] The identity G_± = G_+ = -(3/4)(n-1)E(r) in (4.6) is the algebraic core of Proposition 1.1, and the drift computation (3.37) of Proposition 3.8 is the core of the multi-time martingale argument. Appendix B, which proves (4.6) via double-periodicity and pole cancellation, and Appendix A, which produces (3.37), both state that the calculations are 'compiled from ChatGPT 5.5 Pro (OpenAI)’s computation drafts.' No independent human-readable derivation, symbolic algebra file, or machine-checkable certificate is provided. A single wrong sign or coefficient in these cancellations would make the ratio in (5.15) a super/submartingale rather than a martingale, and would invalidate the terminal-value identity (5.20) and Theorem 1.2. This is therefore a load-bearing gap in verification, not merely a presentation issue. I am not claiming the formula is false, but the manuscript should provide a compl
  3. [Lemma 4.2, Eqs. (4.18)–(4.20)] The terminal-time estimates are the mechanism that forces the correction factors R_{1,t}, R_{2,t}, L_{j,t} in (4.15) and (5.16) to converge to 1, so this lemma is central to the proof of Lemma 4.1 and Theorem 1.2. The argument is only sketched: after (4.22)–(4.25) are proved for a fixed z, the uniform bounds (4.26) are asserted to follow from harmonic-measure estimates, but the details of how the constant C=C(γ) is obtained and how the passage from a fixed interior point z to the boundary points α_j and β_j is made are omitted. Given that these estimates control exactly the terms that determine the terminal value (5.20), I would like the proof expanded with all Beurling-estimate constants and boundary limits made explicit.
minor comments (3)
  1. [Throughout] Several small typographical errors occur, e.g. 'Propositon 3.8' in the Section 3.3 heading; please proofread.
  2. [Eq. (2.59)–(2.61)] The notation '2∤(k−i)' is used without definition; state explicitly that it means the product is over pairs with odd index difference. Also, the factorization in (2.60) would be easier to follow if the products were grouped with matching factors.
  3. [Appendix A/B disclosures] If the ChatGPT-generated computations are retained, the manuscript should state in the introduction or in each appendix what independent verification was performed, since the current wording leaves the status of the central algebraic identities unclear.

Circularity Check

0 steps flagged

No significant circularity: the partition-function ratio is not fitted to the target probability, and the derivation is self-contained modulo external benchmarks; the ChatGPT-generated appendices are a verification risk, not a circular step.

full rationale

The claimed derivation is not circular. The partition functions Zn-ann and Z^(ℓ)_{n-cro} are fixed explicitly in (1.6)–(1.7) and are obtained in Section 2 as exp(−(1/4π)||φ||^2) of the regularized Dirichlet energies of explicitly given harmonic functions; no parameter is fitted to the crossing probability being predicted. Proposition 1.1 verifies the annulus BPZ system by an independent elliptic-function computation (double periodicity, pole cancellation, Liouville), and the infinite-dimensional solution space acknowledged in Remark 3.15 shows the paper does not rely on a uniqueness theorem to force its choice of partition functions. The terminal step in the proof of Theorem 1.2 reduces to the rainbow probability in a polygon via Lemma 5.5 = [PW19, Theorem 1.4]; although [PW19] shares an author with the present paper, it is a published, parameter-free, externally benchmarked result whose assumptions do not include the target annulus formula, and it is therefore genuine independent evidence rather than load-bearing self-citation. The boundedness of the martingale M_t uses the deterministic inequality Z^(ℓ)_{n-cro} ≤ Zn-ann in Proposition 2.1, proved by explicit theta-function and Poisson-kernel product estimates, not by the probability being derived. Finally, the manuscript passages that do raise verification concerns are Appendices A and B — 'The following calculations are compiled from ChatGPT 5.5 Pro (OpenAI)'s computation drafts.' — together with the asserted degeneration evaluation in Section 4.1, 'By evaluating the constant term in the expansion of G_ε as δ→0, we obtain (4.6).' These are correctness risks (an undetected algebra error would break the martingale property and hence the terminal value (5.20)), but they are not circularity: the identities are not equivalent by construction to the target crossing probability.

Axiom & Free-Parameter Ledger

0 free parameters · 7 axioms · 0 invented entities

No free parameters or invented physical entities: r, alpha, beta, n, ell are inputs of the problem, and every constant in the partition functions and asymptotics is derived from the regularized Dirichlet energy and theta-function identities, not fitted to the target probability. The external inputs are the published theory of single annulus SLE (Lawler, Zhan), the rainbow SLE/GFF results (Peltola-Wu, which shares a co-author), and [ALS20] for level-line regularity. The multi-annulus SLE defined via multi-time martingale (Def. 3.13) is a definition, not a postulated entity.

axioms (7)
  • domain assumption Level lines of GFF in multiply connected domains exist, are continuous, are deterministic functions of the field, and terminate in finitely many specified boundary arcs [ALS20, Prop 3.18].
    Invoked in Theorem 5.1 (Section 5) to start the level lines from each x_j and to know their possible terminal points; not reproved.
  • domain assumption Single annulus SLE: existence, transience with a prescribed winding, boundary-perturbation formulas, and BPZ equation for F^(kappa;ell)_{1-cro} [Law11, Zha12, Zha15].
    Lemmas 3.5-3.6 and (3.21)-(3.24) rely on these external results for the single-curve building blocks; includes the identification F^(4;ell)_{1-cro} = Z^(ell)_{1-cro} (3.24).
  • domain assumption Rainbow SLE partition function formula and the polygon crossing probability of GFF level lines [PW19, Thm 1.4 and 1.5; BPW21].
    Used as the input terminal result in Lemma 5.5 and eq. (4.11); Peltola and Wu are prior co-authors of the present third author, but the result is peer-reviewed.
  • standard math Jacobi theta function identities: heat equations (2.15), quasi-periodicity (2.16), imaginary shift (2.17), modular transformation (2.23), pole expansions (3.13).
    Section 2.2 and Appendix B; standard special-function facts used without full proof.
  • domain assumption Conformal covariance of regularized Dirichlet energy [Dub09, Section 5.2].
    Eq. (2.1) is the bridge from strip/square computations to annulus energies in Lemmas 2.8-2.9.
  • standard math Boundary Poisson kernel monotonicity P(U;x,y) <= P(Omega;x,y) for subdomains agreeing near x,y (2.56).
    Used in Prop 2.1 and Lemma 3.10 to obtain the key ordering of partition functions and the exponential bounds in (3.46).
  • standard math Ito calculus, Girsanov, Liouville's theorem, Beurling estimate, optional stopping for bounded martingales.
    Workhorses in Sections 3 and 5; assumed as standard background.

reviewed 2026-08-01 · how reviews work

0 comments
Cite this review

Pith. "Pith review of Gaussian free field in annulus: BPZ equations and crossing probabilities for level lines." pith.science (2026). https://pith.science/paper/BCKTDZBB

@misc{pith2026260727786,
  author       = {Pith},
  title        = {Pith review of: Gaussian free field in annulus: BPZ equations and crossing probabilities for level lines},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BCKTDZBB}},
  note         = {Machine review of arXiv:2607.27786}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

We consider level lines of Gaussian free field (GFF) in annulus with alternating boundary conditions. We calculate the probability that all level lines cross the annulus. Such probability is given by the ratio between two partition functions. These two partition functions are constructed via Dub\'edat's regularized Dirichlet energy. We show that these partition functions are solutions to annulus Belavin-Polyakov-Zamolodchikov (BPZ) equations. In the annulus setup, the number of variables exceeds the number of BPZ equations, so the BPZ system alone does not determine the partition functions uniquely. By establishing sufficiently good control of the two partition functions constructed above, we are nevertheless able to derive the crossing probability.

Figures

Figures reproduced from arXiv: 2607.27786 by Chongzhi Huang, Hao Wu, Mingchang Liu.

Figure 1.1
Figure 1.1. Figure 1.1: For each fixed m, the winding of the level lines can be different by a multiple of 2π. On the event cross(γ), for m ∈ {1, . . . , N} and ℓ ∈ Z, we define2 {wind(γ) = (m; ℓ)} = {q −1 (γ j ) connects αj to β2m+j + 2πℓ + ir for all 1 ≤ j ≤ n}. (1.4) x1 x2 x3 x4 y1 y2 y3 y4 (a) γ j connects xj to yj . x1 x2 x3 x4 y1 y2 y3 y4 (b) γ j connects xj to yj+2. α1 α2 β1 β2 α3 α4 β3 β4 (c) wind(γ) = (0, 0). α1 α2 β1+… view at source ↗
Figure 3.1
Figure 3.1. Figure 3.1: Various connectivity patterns for four curves in the annulus. [PITH_FULL_IMAGE:figures/full_fig_p039_3_1.png] 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 · 7 linked inside Pith

  1. [1]

    SLE and its partition function in multiply connected domains via the Gaussian Free Field and restriction measures

    [AB24] Juhan Aru and Phil´ emon Bordereau. SLE and its partition function in multiply connected domains via the Gaussian Free Field and restriction measures. Preprint in arXiv:2405.20148,

    arXiv

  2. [4]

    Multiple Ising interfaces in annulus and 2N-sided radial SLE.Int

    [FWY24] Yu Feng, Hao Wu, and Lu Yang. Multiple Ising interfaces in annulus and 2N-sided radial SLE.Int. Math. Res. Not. IMRN, 2024(6):5326–5372,

    2024

  3. [11]

    Multiple chordal SLE(κ) and quantum calogero-moser system

    [Zha25a] Jiaxin Zhang. Multiple chordal SLE(κ) and quantum calogero-moser system. Preprint in arXiv:2505.16093,

    Pith/arXiv arXiv

  4. [12]

    Multiple radial SLE(κ) and quantum calogero-sutherland system

    [Zha25b] Jiaxin Zhang. Multiple radial SLE(κ) and quantum calogero-sutherland system. Preprint in arXiv:2505.14762,

    arXiv

  5. [2009]

    [Law11] Gregory F. Lawler. Defining SLE in multiply connected domains with the Brownian loop measure. Preprint in arXiv:1108.4364,

    Pith/arXiv arXiv

  6. [2013]

    [JL18] Mohammad Jahangoshahi and Gregory F. Lawler. Multiple-paths SLE κ in multiply connected domains. Preprint in arXiv:1811.05066,

    Pith/arXiv arXiv

  7. [2015]

    Multiple SLEs forκ∈(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,

    Pith/arXiv arXiv

  8. [2020]

    Smoothness of martingale observables and generalized Feynman–Kac formulas

    [KV26] Alex Karrila and Lauri Viitasaari. Smoothness of martingale observables and generalized Feynman–Kac formulas. arXiv:2601.10539,

    Pith/arXiv arXiv

  9. [2021]

    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,

    arXiv

  10. [2024]

    Conformal field theory of gaussian free fields in a multiply connected domain

    [ABK24] Tom Alberts, Sung-Soo Byun, and Nam-Gyu Kang. Conformal field theory of gaussian free fields in a multiply connected domain. Preprint in arXiv:2407.08220,

    Pith/arXiv arXiv

  11. [2025]

    Multiple SLEs and Dyson Brownian motion: transition density and Green’s function

    [HWY23] Chongzhi Huang, Hao Wu, and Lu Yang. Multiple SLEs and Dyson Brownian motion: transition density and Green’s function. Preprint in arXiv:2311.06789,

    Pith/arXiv arXiv

  12. [2026]

    Commutation relations for two-sided radial SLE

    [KWW24] Ellen Krusell, Yilin Wang, and Hao Wu. Commutation relations for two-sided radial SLE. Preprint in arXiv:2405.07082,

    arXiv

This paper was first reviewed by deepseek-v4-flash on August 1, 2026.