Pith. sign in

REVIEW 4 major objections 4 minor 1 cited by

The percolation energy field and its logarithmic partner

T0 review · 4 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read Critical percolation's energy field and a four-arm field form a logarithmic pair in the scaling limit.

desk verdict The theorem looks major if correct; the visible math is careful, but the supplied text is too corrupted to verify the load-bearing uniformity estimates. read the letter →

arxiv 2508.16047 v2 pith:4KHDTFUT submitted 2025-08-22 math.PR math-phmath.MP

Federico Camia , Yu Feng This is my paper
classification math.PRmath-phmath.MP MSC 60K3582B4381T4060J67
keywords criticalpercolationlogarithmicconformalfieldtheorytriangularlatticescalinglimitsfour-armeventenergycorrelationfunctionsJordancell
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

At the critical point of site percolation on the triangular lattice, this paper constructs two lattice fields and proves that their two- and three-point correlation functions have well-defined scaling limits as the lattice spacing goes to zero. The limits contain logarithmic factors on top of power-law decay, in the precise pattern that conformal field theory predicts for a logarithmic pair of fields. One field is the percolation analogue of the Ising energy field; the other is built from the four-arm connectivity event. If the proof is right, critical percolation gives a concrete probabilistic realisation of logarithmic conformal field theory at central charge zero, with explicit correlation functions.

What carries the argument

The proof's engine is an annulus-by-annulus telescoping decomposition of the four-point correlation function ⟨E E S S⟩. Each step compares the configuration on one dyadic scale with the next, so the total correlation becomes a sum over nested annuli of open crossing events. Sharp bounds on one-arm and four-arm probabilities control every remainder, and the logarithm in the final answer appears because the surviving terms form a harmonic sum over annulus scales. The four-arm event supplies the logarithmic partner field through its scaled indicator.

What would settle it

Measure the mixed four-point correlation ⟨E E S S⟩ numerically at p=1/2 on triangular lattices of increasing size, with four points held in a fixed physical ratio. If the claimed logarithmic pair is correct, the correlation at fixed separations should grow as a positive power of log(1/a) relative to its power-law factor; if the extrapolated data instead follow a pure power law, the central claim is refuted.

Watch

Extended reading notes

Core claim

The central claim is that, for critical site percolation on the triangular lattice, the lattice field that plays the role of the Ising energy field and a second field built from the four-arm event are not independent primary fields. In the continuum limit their two- and three-point functions converge to explicit functions whose main departure from ordinary conformal field theory is a logarithm multiplying the leading power law. That logarithm is the signature of a logarithmic pair: the second field is the logarithmic partner of the energy field, and together they form a Jordan-cell representation rather than a diagonal one. The paper proves convergence for these correlation functions and che

Load-bearing premise

The sharp uniformity estimates for one-arm and four-arm crossing probabilities must hold at every location and scale, even as the four marked points approach one another; if those estimates fail there, the remainder terms in the telescoping sum are not controlled and the limit argument breaks.

Editorial extensions

If this is right

  • The two- and three-point correlation functions of the energy field converge not just to power laws but to explicit functions with logarithmic factors, so the energy sector of critical percolation is genuinely logarithmic.
  • The field built from the four-arm event has exactly the scaling behaviour of a logarithmic partner field, with the same critical dimension as the energy field plus a logarithmic correction.
  • The limiting correlation functions agree with the functional form predicted for a logarithmic conformal field theory, giving critical percolation a concrete place in that structure.
  • The logarithmic terms appear already in mixed four-point functions, so the paper gives quantitative predictions for multi-point connectivity measurements at criticality.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • One can test the logarithmic partner numerically by isolating the subleading term of the four-point function and checking that it grows like log(1/a) as the lattice spacing a goes to zero; the paper's explicit limiting forms give the predicted functional shape.
  • The same annulus-telescoping route could supply a logarithmic partner for the stress-energy tensor, which would complete the c=0 logarithmic conformal field theory description of percolation.
  • Because the construction relies only on alternating arm events, a close analogue should exist for other critical models with such events, such as random-cluster or loop models in appropriate parameter limits.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 4 minor

Summary. The abstract of arXiv:2508.16047 claims that for critical site percolation on the triangular lattice, two lattice fields are defined, one a percolation analogue of the Ising energy field and one related to the four-arm event, and that these fields form a logarithmic pair in the conformal field theory sense. The paper further claims that their two- and three-point correlation functions have well-defined scaling limits whose structure agrees with logarithmic CFT predictions. In the supplied text, the body is almost entirely corrupted by encoding artifacts; the only legible mathematical passage is around Eq. (3.31), where the four-point function <E_{z1} E_{z2} S_{z3} S_{z4}> is decomposed into four specified terms plus a remainder of order O(a^{5/2}|log a| pi_a^2). A double telescoping sum over annulus indices m,j is then set up. The visible fragment does not contain the definitions of the fields, the theorem statements, or the proofs of convergence of the telescoping sums.

Significance. If the claims are correct, this would be a major contribution: a rigorous lattice construction of logarithmic CFT fields in a critical statistical-mechanics model, with explicit logarithmic correlation functions. The visible decomposition in Eq. (3.31) is a plausible and promising approach: it separates four-arm events at the E insertions from one-arm events at the S insertions, and the power counting a^{5/2} = (a^{5/4})^2 is exactly the kind of multiscale gain one expects from four-arm probabilities. The paper also deserves credit for engaging with the logarithmic partner structure directly rather than only in a scaling limit. However, the significance is conditional: the supplied manuscript does not provide enough verifiable detail to establish the advertised theorem, and the specific estimates needed for the limit argument are asserted rather than proved.

major comments (4)
  1. [Full text (encoding)] As supplied, the manuscript is almost entirely unreadable due to character corruption. The abstract and a fragment around Eq. (3.31) are the only legible parts. The definitions of the fields E and S, the statements of the two- and three-point convergence theorems, and the bulk of Section 1–2 are inaccessible. This is not a presentation nit: it makes the central claim unverifiable in the submitted document. A clean, readable version is required before any substantive evaluation can be completed.
  2. [Eq. (3.31), Step 2] The displayed remainder R_a^6 is asserted to satisfy R_a^6 ≲ a^{5/2} pi_a^2. The text explains the factor a^{5/4} as 'coming from' each four-arm event at z1 and z2, but no lemma is stated or proved showing that the joint four-arm events at two nearby points are bounded by a constant times the product of the individual four-arm probabilities. This factorization must hold uniformly in the annulus scales m,j, including when the annuli around z1 and z2 overlap (i.e., when r_m + r_j > |z1-z2|). Without such a uniformity lemma, the O-term in Eq. (3.31) may fail, and the subsequent limit argument collapses. This is the load-bearing point of the proof and it is currently only asserted.
  3. [Step 3 (telescoping sum)] The decomposition into the double sums T^{(1,a)}_{m,j}, T^{(2,a)}_{m,j}, T^{(3,a)}_{m,j} is introduced but the fragment stops immediately after writing the sums. There is no visible estimate showing that the double series converges, that the main contribution comes from scales m,j of order |log a|, or that the limits a→0 and M→∞ may be interchanged. To prove a scaling limit one must control the tail of the double sum uniformly in a. The absence of this estimate is a further load-bearing gap: Eq. (3.31) by itself is only a finite decomposition with an error term, not a proof of convergence.
  4. [Scope vs. abstract] The abstract promises convergence of two- and three-point correlation functions. The only visible technical argument concerns a four-point correlation <E E S S> (or a related sum). No derivation for the two- or three-point functions is present in the legible fragment. If those arguments appear in the corrupted parts of the manuscript, the authors must point to the specific equations; otherwise the central claim of the paper is unsupported in the supplied text.
minor comments (4)
  1. [Eq. (3.31) notation] The events z_{1}^{(a,-)} B↔ z_{2}^{(a,-)} and similar are not defined in the visible text. Please define B, the arrows, the lattice approximations z_i^{(a,±)}, and the annuli B^{(l,a)}_m so that the probability notation is unambiguous.
  2. [pi_a definition] The one-arm probability pi_a appears in the main bound but is never defined in the visible fragment. State explicitly at which point and with which lattice radius it is evaluated, and whether the implicit constants in the bounds are uniform over the marked points z_i.
  3. [R_a^i indexing] The decomposition refers to R_a^1, R_a^2, R_a^3, R_a^4, R_a^5, R_a^6, but only R_a^4, R_a^5, R_a^6 appear in the displayed formula. The first three terms should be displayed or clearly referenced.
  4. [Extraneous line] There is an unrelated line 'arXiv:2508.16048v5 [cs.CL] 6 Oct 2025' embedded in the text. Remove it.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the scaling limits are derived from percolation definitions and known arm-event estimates, and matched against external log-CFT predictions.

full rationale

The paper defines the two lattice fields as percolation observables (the energy-field analogue and a field built from the four-arm event) and then proves convergence of their correlation functions to explicit scaling limits. The log-CFT predictions they are compared with are external benchmarks, not quantities fitted inside the proof. The visible technical core, Eq. (3.31), bounds the remainder in a telescoping decomposition by a^{5/2}|log a| π_a^2, where the factor a^{5/2} = (a^{5/4})^2 uses the established four-arm exponent and π_a^2 comes from one-arm probabilities at the other two marked points. These are input estimates from percolation theory, not parameters fitted to the target correlations. The skeptic's concern about uniformity of the arm-event bounds (whether the bound holds uniformly as the marked points and annulus scales vary) is a legitimate correctness/rigor concern, but it is not circularity: an unproven uniform bound is a proof gap, not a reduction of the conclusion to its own premises. There is no evidence of a self-citation chain, no fitted input renamed as a prediction, and no definitional identity forcing the logarithmic structure. The central claim has independent content: it derives concrete correlation functions from percolation observables and checks them against CFT predictions.

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

The paper's central claim rests on imported percolation technology (sharp arm-event bounds, conformal invariance) and on external log-CFT predictions as the benchmark. No numbers are fitted to data in the visible material; the lattice spacing a is a scaling parameter, not a free parameter. The two constructed fields are the paper's new entities; they carry explicitly computable correlation functions, so an external falsifiable handle exists in principle, but is not reported in the abstract.

assumptions (3)
  • domain assumption Sharp one-arm and four-arm probability bounds for critical site percolation on the triangular lattice (Kesten, Smirnov, Werner), imported for the multi-scale decomposition of the four-point function.
    The legible fragment bounds the remainder |R_a^5| <= a^(5/2) |log a| pi_a^2, which requires uniform control of one-arm and four-arm events at every scale and location; these bounds are proven in the percolation literature, not in this paper.
  • domain assumption Conformal invariance of the critical percolation scaling limit on the triangular lattice (Smirnov), used to identify the lattice fields with conformal field theory fields.
    The abstract's identification of the fields as CFT fields and the claim that the limits agree with log-CFT predictions presuppose that critical site percolation has a conformally invariant scaling limit; this is background imported from prior proofs.
  • domain assumption The logarithmic CFT predictions for percolation are the correct external benchmark for the correlation functions.
    The headline claim is that the proven scaling limits 'agree with' log-CFT predictions; this agreement statement depends on the physics prediction being the right target. The paper does not derive the prediction itself, and if the prediction were replaced, the 'structure' claim would need rewriting. The 3-point log structure in particular is the prediction being tested.
invented entities (2)
  • Percolation energy field E
    purpose: Analog of the Ising energy density; one member of the logarithmic pair.
    A lattice field defined from the percolation configuration; its existence and correlation behavior are established by the proofs in this paper itself. The abstract does not report an external falsifiable handle such as a numerical simulation prediction, so independent evidence is marked false.
  • Four-arm-event partner field S
    purpose: Logarithmic partner of E; together they form a log-CFT Jordan cell. The 4-point decomposition in Eq. (3.31) is built from S's four-arm events.
    Defined via the four-arm event; its correlation structure is proven inside the paper. An external check (e.g., high-precision numerical measurement of the 3-point function) is not declared in the visible material, so independent evidence is marked false, though such a check is plausibly executable.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The percolation energy field and its logarithmic partner." pith.science (2026). https://pith.science/paper/4KHDTFUT

@misc{pith2026250816047,
  author       = {Pith},
  title        = {Pith review of: The percolation energy field and its logarithmic partner},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4KHDTFUT}},
  note         = {Machine review of arXiv:2508.16047}
}
read the original abstract

For site percolation on the triangular lattice, we define two lattice fields that form a logarithmic pair in the sense of conformal field theory. We show that, at the critical point, their two- and three-point correlation functions have well-defined scaling limits, whose structure agrees with that predicted for logarithmic field theories. One of the two fields can be identified with the percolation analog of the Ising energy field, while the other is related to the percolation four-arm event.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Critical long-range percolation II: Low effective dimension

    math.PR 2025-08 conditional novelty 8.0 of 10

    In the long-range low-dimensional regime of percolation, the cluster volume tail and k-point functions are determined up to constants, yielding the hyperscaling identities delta=(d+alpha)/(d-alpha) and d_f=(d+alpha)/2.

Reference graph

Works this paper leans on

22 extracted references · 20 canonical work pages · cited by 1 Pith paper

  1. [1]

    Conformal covariance of connection probabilities and fields in 2 D critical percolation

    Federico Camia. Conformal covariance of connection probabilities and fields in 2 D critical percolation. Comm. Pure Appl. Math. , 77(3):2138--2176, 2024

    work page 2024

  2. [2]

    Conformally covariant probabilities, operator product expansions, and logarithmic correlations in two-dimensional critical percolation

    Federico Camia and Yu Feng. Conformally covariant probabilities, operator product expansions, and logarithmic correlations in two-dimensional critical percolation. 2024. arXiv:2407.04246

    arXiv 2024

  3. [3]

    Logarithmic correlation functions in 2 D critical percolation

    Federico Camia and Yu Feng. Logarithmic correlation functions in 2 D critical percolation. J. High Energy Phys. , 2024(8):1--25, 2024

    work page 2024

  4. [4]

    Foit, Alberto Gandolfi, and Matthew Kleban

    Federico Camia, Valentino F. Foit, Alberto Gandolfi, and Matthew Kleban. Scalar conformal primary fields in the B rownian loop soup. Comm. Math. Phys. , 400(2):977--1018, 2023

    work page 2023

  5. [5]

    Federico Camia, Christophe Garban, and Charles M. Newman. Planar I sing magnetization field I . U niqueness of the critical scaling limit. Ann. Probab. , 43(2):528--571, 2015

    work page 2015

  6. [6]

    Federico Camia, Christophe Garban, and Charles M. Newman. Planar I sing magnetization field II . P roperties of the critical and near-critical scaling limits. Ann. Inst. Henri Poincar\'e Probab. Stat. , 52(1):146--161, 2016

    work page 2016

  7. [7]

    Conformal invariance of spin correlations in the planar I sing model

    Dmitry Chelkak, Cl\'ement Hongler, and Konstantin Izyurov. Conformal invariance of spin correlations in the planar I sing model. Ann. of Math. (2) , 181(3):1087--1138, 2015

    work page 2015

  8. [8]

    Federico Camia, Jianping Jiang, and Charles M. Newman. Conformal measure ensembles and planar I sing magnetization: a review. Markov Process. Related Fields , 27(4):631--663, 2021

    work page 2021

Show all 22 references
  1. [9]

    Federico Camia and Charles M. Newman. Two-dimensional critical percolation: the full scaling limit. Comm. Math. Phys. , 268(1):1--38, 2006

    2006

  2. [10]

    Federico Camia and Charles M. Newman. Critical percolation exploration path and SLE 6 : a proof of convergence. Probab. Theory Related Fields , 139(3-4):473--519, 2007

    2007

  3. [11]

    Federico Camia and Charles M. Newman. SLE _6 and CLE _6 from critical percolation. In Probability, geometry and integrable systems , volume 55 of Math. Sci. Res. Inst. Publ. , pages 103--130. Cambridge Univ. Press, Cambridge, 2008

    2008

  4. [12]

    Federico Camia and Charles M. Newman. Ising (conformal) fields and cluster area measures. Proc. Natl. Acad. Sci. USA , 106(14):5547--5463, 2009

    2009

  5. [13]

    Logarithmic conformal field theory: beyond an introduction

    Thomas Creutzig and David Ridout. Logarithmic conformal field theory: beyond an introduction. J. Phys. A , 46(49):494006, 72, 2013

    2013

  6. [14]

    Sharp A symptotics for A rm P robabilities in C ritical P lanar P ercolation

    Hang Du, Yifan Gao, Xinyi Li, and Zijie Zhuang. Sharp A symptotics for A rm P robabilities in C ritical P lanar P ercolation. Comm. Math. Phys. , 405(8):Paper No. 182, 2024

    2024

  7. [15]

    Energy field of critical I sing model and examples of singular fields in QFT , 2025

    Christophe Garban and Antti Kupiainen. Energy field of critical I sing model and examples of singular fields in QFT , 2025. arXiv:2502.02554

    2025

  8. [16]

    Conformal invariance of CLE _ on the R iemann sphere for (4, 8)

    Ewain Gwynne, Jason Miller, and Wei Qian. Conformal invariance of CLE _ on the R iemann sphere for (4, 8) . Int. Math. Res. Not. IMRN , (23):17971--18036, 2021

    2021

  9. [17]

    Pivotal, cluster, and interface measures for critical planar percolation

    Christophe Garban, G\' a bor Pete, and Oded Schramm. Pivotal, cluster, and interface measures for critical planar percolation. J. Amer. Math. Soc. , 26(4):939--1024, 2013

    2013

  10. [18]

    V. Gurarie. Logarithmic operators in conformal field theory. Nuclear Phys. B , 410(3):535--549, 1993

    1993

  11. [19]

    The energy density in the planar I sing model

    Cl\' e ment Hongler and Stanislav Smirnov. The energy density in the planar I sing model. Acta Math. , 211(2):191--225, 2013

    2013

  12. [20]

    Near-critical percolation in two dimensions

    Pierre Nolin. Near-critical percolation in two dimensions. Electron. J. Probab. , 13:no. 55, 1562--1623, 2008

    2008

  13. [21]

    Critical percolation in the plane: conformal invariance, C ardy's formula, scaling limits

    Stanislav Smirnov. Critical percolation in the plane: conformal invariance, C ardy's formula, scaling limits. C. R. Acad. Sci. Paris S\'er. I Math. , 333(3):239--244, 2001

    2001

  14. [22]

    Critical exponents for two-dimensional percolation

    Stanislav Smirnov and Wendelin Werner. Critical exponents for two-dimensional percolation. Math. Res. Lett. , 8(5-6):729--744, 2001

    2001

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.