REVIEW 5 minor 1 cited by
Extremal properties of the random walk local time
T0 review · 0 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read For a planar simple random walk, the set of points still unvisited when the boundary clock reaches a θ-fraction of the cover time converges, after rescaling, to the same random fractal measure that describes the √θ-thick points of the…
desk verdict Well-crafted lecture notes on a major result in 2D random walk local time and DGFF thick points, but no new mathematics; review as exposition, not research. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing identity is the Second Ray-Knight theorem, which couples the boundary-time-parametrized local time L_t of the walk with two independent discrete Gaussian free fields h and h̃ on the same graph through L_t + ½h² = ½(h̃ + √(2t))². This turns zero-local-time points into points where h̃ is near -√(2t), i.e., into thick points of a DGFF. Supporting machinery includes the Kac moment formula for Laplace transforms of local time, the Gibbs-Markov property of the DGFF (harmonic decomposition of the field), Green-function asymptotics with the conformal radius r_D(x), and an extended process that tracks both small local time and small field values, whose joint convergence is established by first- and second-moment estimates.
What would settle it
Simulate a simple random walk on a large square lattice approximation, run it until the boundary local time reaches t_N with θ=1/2, and record the avoided points; if the normalized empirical measure does not converge (along a sequence of squares) to a diffuse measure with total mass matching E[$Z_D^{{1/√2}}$(D)]—or if the set fails to have Hausdorff dimension near 2(1-1/2)=1—the central equivalence with DGFF thick points would be refuted.
Extended reading notes
Core claim
The central claim is Theorem 1.7: for admissible lattice approximations D_N of an admissible planar domain D, if t_N is chosen so that θ = lim t_N/(2g(log N)^2) lies in (0,1), then the measure $N^{{-2}}$$e^{{t_N/(g log N)}}$ times the sum of point masses at vertices with zero local time at the boundary-parametrized time t_N converges in law to $Z_D^{{√θ}}$. The punchline is that avoided points at a θ-fraction of the cover time are asymptotically distributed exactly as the √θ-thick points of the DGFF, where a point is thick if the field value exceeds roughly 2√(gλ) log N. Because the normalization exponent is $N^{{2(1-θ)+o(1)}}$, the measure vanishes when θ>1, consistent with the cover-time scale. The result also yields a limit law for the cardinality of the avoided set, normalized by the same factor, converging to the total mass of $Z_D^{{√θ}}$.
Load-bearing premise
The argument collapses if the Green-function asymptotics of Theorem 2.1 fail, which requires the domain and its lattice approximations to be admissible; rough boundaries or non-admissible discretizations can break the conformal-radius term r_D(x) and the logarithmic covariance structure, so the limiting measure would not have the stated form.
Editorial extensions
If this is right
- At a θ-fraction of the boundary-clock cover time, the avoided points of a 2D random walk form the same random fractal, in law, as the √θ-thick points of the DGFF; their normalized number converges to the total mass of Z_D^{√θ}.
- For θ>1, the avoided set is asymptotically empty, pinpointing the leading order of the cover time in this parametrization.
- The same machinery yields distributions for other exceptional level sets of the local time, including λ-thick and λ-thin points, again described by the measures Z_D^λ.
- The result exhibits universality of the DGFF for extremal problems of logarithmically correlated processes in two dimensions.
Reading between the lines
- A direct corollary not spelled out in the notes is that the fractal dimension of the avoided set should be 2(1-θ) almost surely, matching the known carrier dimension of Z_D^λ; this is a testable prediction for simulations in the boundary-time parametrization.
- Under the natural (walk) time parametrization, the limit becomes a differently tilted measure built from the DGFF conditioned to have zero spatial average; this shows that the boundary-clock parametrization is not just a convenience but changes the answer.
- The argument is restricted to the wired-boundary construction via a single boundary vertex; extending the same statement to free boundary conditions or the lattice torus, where the Second Ray-Knight coupling is unavailable, remains an open problem suggested by the notes.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. These expanded lecture notes provide an expository account of the recent theorem of Abe and Biskup (Theorem 1.7) that, for a simple random walk on an admissible lattice approximation of a bounded planar domain, the set of points still unvisited at a θ-fraction of the cover time, parametrized by local time at the boundary vertex and normalized by N^2 e^{-t_N/(g log N)}, converges in law to the √θ-thick point measure of the discrete Gaussian free field. The notes develop the necessary background: Green function asymptotics with the conformal radius, the second Ray-Knight theorem via the Kac moment formula, the Gibbs-Markov property of the DGFF, the existence and characterization of thick-point limits, and finally the thinning argument that converts avoided points into DGFF thick points. Theorems are stated in the full generality of the original papers, while several technical steps are explicitly marked as deferred to the literature.
Significance. If the result holds—and it is an already published theorem in [2]—these notes make a technically demanding circle of ideas accessible to a graduate-level audience. The main strength is transparency: the author repeatedly and explicitly marks where a proof is sketched, where a step is omitted, and where a cited result is used (see, e.g., Section 4.3 'modulo a technical step', Section 3.2 'only carry out the proof under the assumption λ < 1/√2', and Lemma 3.8 'Proof (idea)'). This is exactly the right tone for lecture notes and makes the document a valuable companion to [7] and [12]. The paper also records open questions and conjectures (Sections 5.2–5.3) that may stimulate further research. For a research journal, the novelty is limited because the central theorems are not new, but as an expository contribution the notes are of high quality and fill a pedagogical gap.
minor comments (5)
- [Title page] There is a typo in 'Alfr ´ed R ´enyi Insititute'; it should read 'Institute'.
- [§2.1, Eq. (2.3)] The definition of r_D(x) via the integral over the boundary is followed by a remark that it coincides with the conformal radius for simply connected D; a one-line justification or a precise reference would help the reader appreciate why this quantity is natural.
- [§4.3, Lemma 4.5] The proof is explicitly 'modulo a technical step' and refers to [2, Lemma 7.1]; since this lemma is the key bridge between the local-time measure and the extended process, the introduction to Lecture 4 should state at the outset that a complete proof of this step is deferred to [2].
- [§5.3, Eq. (5.20)] The event in the probability is typeset awkwardly ('Pϱ d τcov/deg(DN) ≤ ...'); adding parentheses to make the event unambiguous would improve readability.
- [References] The surname of the coauthor of [27] is misspelled as 'Fitzimmons' both in the bibliography and in the body text; it should be 'Fitzsimmons'.
Circularity Check
No load-bearing circularity: Theorem 1.7 is a cited theorem whose proof reduces to the independent DGFF thick-point limit Theorem 1.5 and the Ray-Knight coupling, with no parameter fitting or definitional equivalence.
full rationale
The paper's central claim, Theorem 1.7, is attributed to the author's joint paper [2] and then proved in Lecture 4 from Theorem 1.5, the Biskup-Louidor thick-point limit for the DGFF. The proof chain is not circular: Lemma 4.1 computes P(L_t(x)=0)=e^{-t/G(x,x)}; Corollary 4.4 gives tightness; Lemma 4.5 passes to the extended process; Lemma 4.6 uses the Second Ray-Knight coupling and Theorem 1.5 to identify subsequential limits; Corollary 4.7 and Theorem 4.8 identify the measure via the Laplace transform of the local-time component; and Lemma 4.9 removes the absolutely continuous contribution, yielding Theorem 1.7. The limiting object Z_D^{sqrt(theta)} is defined independently in Theorem 1.5 as the DGFF thick-point measure, not in terms of avoided points, and no parameter is fitted to the avoided-point data. The only noteworthy feature is heavy self-citation: the notes explicitly defer the proof of Theorem 1.5 for lambda >= 1/sqrt(2) to the author's PIMS notes [7] and the original paper [12], and defer several technical lemmas (Lemma 2.5, Lemma 3.3, Lemma 4.5 truncation) to the author's prior work. This is a normal reliance on published results, and those results do not assume the target theorem; Theorem 1.5 is a separately established benchmark, and the proof of Theorem 1.7 via Ray-Knight is a substantive derivation rather than a renaming or definitional shortcut. Accordingly, no specific circular step can be exhibited, and the appropriate finding is no significant circularity.
Assumptions & free parameters
assumptions (4)
- standard math Potential kernel asymptotic a(x) = g log|x| + c0 + O(|x|^{-2}) for the 2D simple random walk (Lemma 2.3).
- domain assumption Second Ray-Knight Theorem: for each t≥0 there is a coupling of the local time L_t and two DGFFs h and h~ such that L_t(x)+h_x^2/2 = (h~_x + sqrt(2t))^2/2 (Theorem 2.7).
- domain assumption The limit measure Z_D^λ exists, is unique, and is given by Gaussian multiplicative chaos for the continuum GFF (used in proving Theorem 1.5).
- domain assumption Admissible domains and approximations (Definitions 1.3 and 1.4) yield uniform Green function asymptotics with conformal radius r_D(x).
Cite this review
Pith. "Pith review of Extremal properties of the random walk local time." pith.science (2026). https://pith.science/paper/G4Q7Q7T4
@misc{pith2026250209853,
author = {Pith},
title = {Pith review of: Extremal properties of the random walk local time},
year = {2026},
howpublished = {\url{https://pith.science/paper/G4Q7Q7T4}},
note = {Machine review of arXiv:2502.09853}
}
read the original abstract
These are expanded lecture notes for a minicourse taught at the "School on disordered media" at the Alfred Renyi institute in Budapest, January 2025.
Figures
Figures from the paper (9 more)
Forward citations
Cited by 1 Pith paper
-
Extremal process of the local time of simple random walk on a regular tree
The extremal process of centered square-root local time on the leaves of a regular tree converges to a decorated Poisson point process with the same cluster law as the Gaussian Free Field.
Reference graph
Works this paper leans on
- [2]
-
[7]
Biskup (2020)
M. Biskup (2020). Extrema of the two-dimensional Discrete Gaussian Free Field. In: M. Barlow and G. Slade (eds.): Random Graphs, Phase Transitions, and the Gaussian Free Field. SSPROB 2017. Springer Proceedings in Mathematics & Statistics, 304 (2020) 163–407. Springer, Cham
2020
-
[12]
M. Biskup and O. Louidor (2019). On intermediate level sets of two-dimensional discrete Gaussian free field. Ann. Inst. Henri Poincar´ e55, no. 4, 1948–1987
work page 2019
-
[1]
Y. Abe (2018). Extremes of local times for simple random walks on symmetric trees. Elec- tron. J. Probab. 23, paper no. 40, 41 pp
work page 2018
-
[3]
Y. Abe, M. Biskup and S. Lee (2023). Exceptional points of discrete-time random walks in planar domains. Electron. J. Probab. 28, paper no. 137, 1–45
work page 2023
-
[4]
D. Belius (2013). Gumbel fluctuations for cover times in the discrete torus. Probab. Theory Rel. Fields 157, 635–689
work page 2013
- [5]
-
[6]
N. Berestycki and E. Powell (2024). Gaussian free field and Liouville quantum gravity. arXiv:2404.1664
Show all 44 references
-
[8]
Biskup, S
M. Biskup, S. Gufler, O. Louidor (2014). On support sets of the critical Liouville Quantum Gravity. arXiv:2406.02814
2014 arXiv
-
[9]
Biskup and O
M. Biskup and O. Louidor (2016). Extreme local extrema of two-dimensional discrete Gaussian free field. Commun. Math. Phys. 345 271–304
2016
-
[10]
Biskup and O
M. Biskup and O. Louidor (2020). Conformal symmetries in the extremal process of two- dimensional discrete Gaussian free field. Commun. Math. Phys. 375, no. 1, 175–235
2020
-
[11]
Biskup and O
M. Biskup and O. Louidor (2018). Full extremal process, cluster law and freezing for two- dimensional discrete Gaussian free field. Adv. Math. 330 589–687
2018
-
[13]
Biskup and O
M. Biskup and O. Louidor (2024). A limit law for the most favorite point of simple random walk on a regular tree. Ann. Probab. 52, no. 2, 502–544
2024
-
[14]
Bramson and O
M. Bramson and O. Zeitouni (2012). Tightness of the recentered maximum of the two- dimensional discrete Gaussian free field. Comm. Pure Appl. Math. 65, 1–20
2012
-
[15]
Bramson, J
M. Bramson, J. Ding and O. Zeitouni (2016). Convergence in law of the maximum of the two-dimensional discrete Gaussian free field. Commun. Pure Appl. Math 69, no. 1, 62–123
2016
-
[16]
Brydges, J
D. Brydges, J. Fr ¨ohlich, and T. Spencer (1982). The random walk representation of classical spin systems and correlation inequalities. Commun. Math. Phys. 83, no. 1, 123–150
1982
-
[17]
Cortines, O
A. Cortines, O. Louidor and S. Saglietti (2021). A scaling limit for the cover time of the binary tree. Adv. Math. 391, Paper No. 107974, 78 pp
2021
-
[18]
Darling and M
D.A. Darling and M. Kac (1957). On occupation times for Markoff processes. Trans. Amer. Math. Soc. 84 444–458
1957
-
[19]
Daviaud (2006)
O. Daviaud (2006). Extremes of the discrete two-dimensional Gaussian free field. Ann. Probab. 34, 962–986. 48
2006
-
[20]
F. M. Dekking and B. Host (1991). Limit distributions for minimal displacement of branch- ing random walks, Probab. Theory Rel. Fields 90, 403–426
1991
-
[21]
Dembo, Y
A. Dembo, Y. Peres, J. Rosen, and O. Zeitouni (2001). Thick points for planar Brownian motion and the Erd˝os-Taylor conjecture on random walk. Acta Math. 186 239-270
2001
-
[22]
Duplantier, R
B. Duplantier, R. Rhodes, S. Sheffield and V . Vargas (2014). Critical Gaussian multiplicative chaos: Convergence of the derivative martingale. Ann. Probab. 42, no. 5, 1769–1808
2014
-
[23]
Duplantier, R
B. Duplantier, R. Rhodes, S. Sheffield and V . Vargas (2014). Renormalization of critical Gaussian multiplicative chaos and KPZ formula. Commun. Math. Phys. 330, no. 1, 283–330
2014
-
[24]
Seminar on Stochastic Processes
E.B. Dynkin (1983). Local times and quantum fields, in “Seminar on Stochastic Processes” (E. Cinlar, K.L. Chung, R.K. Getoor, Eds.), Birkh¨auser, Basel
1983
-
[25]
Eisenbaum, H
N. Eisenbaum, H. Kaspi, M. B. Marcus, J. Rosen, and Z. Shi (2000). A Ray-Knight theorem for symmetric Markov processes. Ann. Probab. 28, 1781–1796
2000
-
[26]
Erd˝os and S.J
P . Erd˝os and S.J. Taylor (1960). Some problems concerning the structure of random walk paths. Acta Math. Acad. Sci. Hungar. 11, 137–162
1960
-
[27]
Fitzimmons and J
P .J. Fitzimmons and J. Pitman (1999). Kac’s moment formula and the Feynman–Kac for- mula for additive functionals of a Markov process. Stoch. Proc. Appl. 79, 117–134
1999
-
[28]
Jego (2020)
A. Jego (2020). Thick points of random walk and the Gaussian free field. Electron. J. Probab. 25, paper no. 32, 39 pp
2020
-
[29]
Jego (2021)
A. Jego (2021). Critical Brownian multiplicative chaos. Probab. Theory Rel. Fields 180, 495– 552
2021
-
[30]
Junnila and E
J. Junnila and E. Saksman (2017). Uniqueness of critical Gaussian chaos. Elect. J. Probab 22, 1–31
2017
-
[31]
Kac (1951)
M. Kac (1951). On some connections between probability theory and differential and inte- gral equations. In: J. Neyman (Ed.), Proc. 2nd Berkeley Symp. Math. Stat. Prob., Univ. of California Press, Berkeley, CA, pp. 189–215
1951
-
[32]
Kahane (1985)
J.-P . Kahane (1985). Sur le chaos multiplicatif.Ann. Sci. Math. Qu´ ebec9, no.2, 105–150
1985
-
[33]
Kozma and E
G. Kozma and E. Schreiber (2004). An asymptotic expansion for the discrete harmonic potential. Electron. J. Probab. 9, Paper no. 1, pages 10–17
2004
-
[34]
Lawler and V
G.F. Lawler and V . Limi´c (2010). Random walk: a modern introduction. Cambridge Studies in Advanced Mathematics, vol. 123. Cambridge University Press, Cambridge, xii+364
2010
-
[35]
Louidor and S
O. Louidor and S. Saglietti (2024). Tightness for the cover time of wired planar domains. arXiv: 2406.11034
2024 arXiv
-
[36]
Miller and P
J. Miller and P . Souzi (2017). Uniformity of the late points of random walk onZd n for dě 3. Probab. Theory Rel. Fields 167, 1001–1056
2017
-
[37]
Powell (2018)
E. Powell (2018). Critical Gaussian chaos: convergence and uniqueness in the derivative normalisation. Electron. J. Probab. 23, paper no. 31, 26 pp
2018
-
[38]
Rhodes and V
R. Rhodes and V . Vargas (2014). Gaussian multiplicative chaos and applications: A review. Probab. Surveys 11, 315–392
2014
-
[39]
Rosen (2023)
J. Rosen (2023). Tightness for thick points in two dimensions. Electron. J. Probab. 28, article no. 18, 1–45
2023
-
[40]
Schramm and S
O. Schramm and S. Sheffield (2009). Contour lines of the two-dimensional discrete Gauss- ian free field. Acta Math. 202, no. 1, 21–137
2009
-
[41]
Sheffield (2007)
S. Sheffield (2007). Gaussian free field for mathematicians. Probab. Theory Rel. Fields 139, 521–541
2007
-
[42]
St ¨ohr (1950)
A. St ¨ohr (1950). Uber einige lineare partielle Differenzengleichungen mit konstanten Ko- effizienten III. Math. Nachr. 3, 330–357
1950
-
[43]
En- rico Fermi
K. Symanzik (1969). Euclidean quantum field theory. In: Scuola internazionale di Fisica “En- rico Fermi”, XLV Corso, pp. 152–223, Academic Press
1969
-
[44]
Zhai (2018)
A. Zhai (2018). Exponential concentration of cover times. Electron. J. Probab. 23, 1–22
2018
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.