{"id":"5de0f625-f64f-49cd-b882-9ef2ab36865d","arxiv_id":"2411.16541","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The uniform boundary measure of the Brownian disk and half-plane is almost surely a constant multiple of the Hausdorff measure with gauge function h(s)=s^2 log log(1/s).","lead":"The paper proves that the natural uniform measure on the boundary of the Brownian disk is, up to a constant, the Hausdorff measure with gauge s^2 log log(1/s), so the measure is determined by the metric alone. It also extends this to the Brownian half-plane, completing a program begun by Le Gall for the Brownian sphere.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.4 conflates the right derivative of the cumulative boundary measure with its limsup ratio; the deterministic value of the limsup does not justify the claimed equality.","rationale":"The central claim rests on showing that the Radon–Nikodym derivative of m_h^D with respect to Lebesgue measure is constant. The preceding estimates establish mutual absolute continuity with a bounded density and a deterministic limsup κ for intervals rooted at 0, but Theorem 3.4 is the only place where constancy is derived. Its proof states 'we have a.s. ψ′(0)=limsup_{ε↓0} m_h^D([0,ε])/ε = κ'. This is not a consequence of the previous results: for a bounded density f, the right derivative at 0 equals κ only if 0 is a Lebesgue point of f and the average converges to κ; the limsup may be strictly larger than the liminf, and no argument rules out oscillations. The rerooting identity implies that the law of the density at every fixed x is the same, but without knowing the law of the derivative at 0—as opposed to the limsup—this cannot be applied. This is load-bearing because it is precisely where the deterministic constant κ is transferred from a limsup at the root to the full density. I agree with the reader's identification of the weakest assumption. The gap appears fillable: define F(x) as the translation-equivariant limsup of m_h^D([x,x+ε])/ε; Lemma 1.4 makes F stationary, Proposition 1.7 gives F(0)=κ a.s., and Lebesgue differentiation identifies F with the density λ-a.e. This would make Theorem 3.4 sound after a revision. The manuscript should therefore remain conditional pending a rigorous treatment of this step.","tokens_in":14763,"tokens_out":12278,"duration_ms":114688,"concrete_test":"Check whether the process F(x)=limsup_{ε↓0} m_h^D([x,x+ε])/ε (with cyclic intervals) is stationary under the rerooting shifts and satisfies F(x)=d m_h^D/dλ(x) for λ-a.e. x; if so, rewrite Theorem 3.4 using F(0)=κ and stationarity plus Fubini to conclude m_h^D=κλ. If this replacement cannot be made rigorous, the current proof of Theorem 0.1 is incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 3.4 asserts a.s. ψ′(0) = limsup_{ε↓0} m_h^D([0,ε])/ε = κ. For a measure with bounded density f, the right derivative of its cumulative function at 0 exists only if 0 is a Lebesgue point of f; the limsup of averages can differ from any derivative. Proposition 1.7 gives only that the limsup is deterministic, not that the limit exists or equals the pointwise derivative. The subsequent rerooting argument uses ψ′(0)=κ to conclude that ψ′(x) has the same law and hence that the density is κ almost everywhere, so the unsupported equality is exactly the step that transfers the deterministic constant from the root to the full measure. The gap is likely fillable by replacing ψ′(0) with the translation-equivariant limsup density F(x)=limsup_{ε↓0} m_h^D([x,x+ε])/ε, which is stationary by Lemma 1.4 and satisfies F(0)=κ a.s. by Proposition 1.7, but this is not what the manuscript proves.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves that, on the boundary of the free Brownian disk, the uniform measure coincides almost surely with a constant multiple of the Hausdorff measure associated with the gauge function h(s)=s^2 log log(1/s), for a deterministic constant κ in (0,∞). The analogous statement for the Brownian half-plane is stated as a corollary. The proof strategy is to show that the boundary Hausdorff measure and Lebesgue measure on the boundary are mutually absolutely continuous with bounded densities, and then to use a rerooting-invariance argument to prove that the density is constant. The key estimates concern occupation times of five-dimensional Bessel processes and the resulting volume growth of metric balls centered on the boundary.","tokens_in":14959,"tokens_out":8423,"duration_ms":87958,"significance":"If correct, this is a natural and valuable result: it shows that the uniform measure on the boundary of the Brownian disk (and of the Brownian half-plane) is determined by the metric alone, extending Le Gall's analogous theorem for the Brownian sphere. The chosen gauge is not fitted ad hoc; it comes from the known occupation-time asymptotics of five-dimensional Brownian motion, and the constant κ is not built into the construction. The paper is well structured, and the main analytic estimates (Propositions 2.1, Corollary 2.2, Lemma 3.1, Proposition 3.2) are plausible and are connected by a clear chain of arguments. The main weakness is the final step in Theorem 3.4, where a pointwise derivative at the root is identified with a deterministic limsup without proof; this step is load-bearing but appears repairable by a standard limsup-density argument.","major_comments":[{"comment":"The proof contains a load-bearing identification that is not justified. The text first observes that the cumulative function ψ is differentiable λ-a.e. with derivative equal to the Radon–Nikodym derivative of m_h^D with respect to Lebesgue measure; this says nothing about the distinguished point 0. The displayed equality ψ′(0)=limsup_{ε↓0} m_h^D([0,ε])/ε is therefore asserted without support. Proposition 1.7 identifies the limsup as a deterministic constant κ, but it does not show that the right derivative at 0 exists or that the limsup equals a derivative. Since the subsequent rerooting argument transfers ψ′(0)=κ to every x and then identifies ψ′ with the density λ-a.e., the conclusion of Theorem 3.4 rests entirely on this unsupported equality. A fix is available in scope: define F(x)=limsup_{ε↓0} m_h^D([x,x+ε])/ε. By Lemma 1.4, F(x) has the same law as F(0) for each fixed x; Proposition 1.7 gives F(0)=κ a.s.; and Lebesgue's differentiation theorem gives F(x)=dm_h^D/dλ(x) for λ-a.e. x on a full-probability event. A Fubini argument then yields density κ λ-a.e. on a full-probability event. This replacement should be written out explicitly.","section":"§3, Theorem 3.4"},{"comment":"The proof that the two limsup constants φ_D and φ_H are governed by the same measurable function Φ is only sketched. For the half-plane, the approximation of D∞ by the truncated distance D∞^{(η)} on small neighborhoods is argued, but the analogous reduction of φ_D to data in an arbitrarily small neighborhood of 0 in the disk is not given in the same detail. Since the conclusion that the two limsup constants coincide is needed both for Corollary 0.2 and for the deterministic nature of κ in Theorem 3.4, this step should be expanded into a complete argument.","section":"§1.4, Proposition 1.7"}],"minor_comments":[{"comment":"The gauge h(s)=s^2 log log(1/s) is not defined at s=1; one should specify that h is considered on a small interval [0,δ] with δ<e^{-e} so that log log(1/s) is well defined and nonnegative.","section":"§1.4, after Eq. (12)"},{"comment":"In the lower-bound part of the proof, the expression \"lim sup_{r→∞}\" appears twice and should read \"lim sup_{r↓0}\" or \"lim sup_{r↓0+}\"; as written it is a typo that obscures the argument.","section":"§3, Corollary 3.3"},{"comment":"The Borel–Cantelli argument should explicitly sum over i∈{1,...,2^n} after the displayed probability bound; the displayed estimate is for a fixed i, and the union over i contributes a factor 2^n, which still gives a summable bound.","section":"§2, Lemma 3.1 proof"},{"comment":"The notation D∞ is used both for the pseudo-metric and for the resulting metric space (H,D∞); this is a mild abuse but should be flagged for readability.","section":"§1.3, after Eq. (8)"},{"comment":"There are several typographical and grammatical errors (e.g., \"gau ge\", \"Mathémathiques\", \"Annal. Inst. H. Poincarré\", \"one can defined\"). A careful proofreading pass is needed.","section":"Introduction and abstract"},{"comment":"The statement \"ψ′(x) and ψ′(0) have the same law for every x\" is used without defining ψ′(0) as a random variable. Even after defining it as a limsup, the equality-of-laws statement should be phrased in terms of the shifted boundary measure and should be followed by a Fubini argument rather than a pointwise conclusion.","section":"§3, Theorem 3.4"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is within the scope of the journal and addresses a natural question. The main gap is concentrated in Theorem 3.4, and I believe it is fixable with the limsup-density argument described in my major comment. If the author closes that gap and expands the proof of Proposition 1.7, the paper would be a solid contribution. I have no concerns about novelty attribution or self-citation; the cited literature is appropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's what you should know about this paper. It proves that the uniform measure on the boundary of the Brownian disk is a Hausdorff measure for the gauge h(s)=s^2 log log(1/s), with a deterministic constant. This is a natural extension of Le Gall's sphere theorem, and the boundary case is genuinely new: the boundary metric and gauge behave differently from the volume case, and the Bessel estimates are new. The half-plane corollary follows cleanly from the known coupling.\n\nThe core estimates look solid. Proposition 2.1 is a sharp occupation-time estimate for the 5D Bessel process, lifted to the bridge via absolute continuity (Corollary 2.2). Proposition 3.2 uses a dyadic covering argument with the upper bound on the boundary metric from Lemma 3.1; the Borel–Cantelli step works. Corollary 3.3 then gives the two-sided density bounds for the Hausdorff measure against Lebesgue measure. There are no fitted parameters and no circularity. The citation pattern is appropriate, mostly Le Gall's programme.\n\nNow the soft spot. Theorem 3.4 aims to upgrade absolute continuity to a constant density. The proof writes psi'(0) = limsup_{eps->0} m_h^D([0,eps])/eps = kappa. The first equality is not justified. Proposition 1.7 only tells you that this limsup is a deterministic constant; it does not say the limit exists, and psi'(0) as a right derivative at the root need not exist without a Lebesgue point argument. Since the conclusion that the density is kappa a.e. rests on exactly this equality, this is a real gap—though, from what is in the paper, a fillable one. Replace psi'(0) by F(x) = limsup_{eps->0} m_h^D([x,x+eps])/eps. By Lemma 1.4 each F(x) has the same law as F(0)=kappa, so F(x)=kappa a.s. for each fixed x, hence a.e. x. At Lebesgue points of the density the limsup of the average equals the density, so the density is kappa a.e. That would complete the proof.\n\nMinor annoyance: Corollary 3.3 has two limsup r->infinity that should be r->0. Also the reference to 'Theorem 3.4' in the reader's report corresponds to the paper's statement; the numbering is fine.\n\nFor whom: this is for the Brownian geometry community. It settles an open question and gives the right intrinsic characterisation of the boundary measure. I'd bring it to reading group. It deserves a serious referee; the main gap is local and repairable, not a conceptual failure. I'd send it out with a request to fix Theorem 3.4 along the lines above.","headline":"Settles the boundary version of Le Gall's Hausdorff measure theorem with genuinely new gauge and Bessel estimates; one fixable gap in the final constancy argument.","tokens_in":15500,"tokens_out":4247,"would_cite":true,"duration_ms":38192,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["28A78","60D05","60G57"],"pacs":[],"model":"deepseek-v4-flash","headline":"The uniform measure on the boundary of the Brownian disk equals, up to a deterministic constant, the Hausdorff measure with gauge s^2 log log(1/s).","keywords":["Brownian disk","Brownian half-plane","Hausdorff measure","uniform measure","gauge function","Bessel process","random metric space","rerooting invariance"],"falsifier":"For a single realization, fix two boundary points x and y and compare limsup_{ε↓0} m_h^D(B_ε(x))/h(ε) with the corresponding limsup at y; the theorem predicts both equal the same constant κ, so observing different finite limsup values at two points with positive probability would disprove the claim.","tokens_in":14532,"feed_emoji":"📏","tokens_out":5616,"duration_ms":51462,"temperature":0.7,"pith_summary":"This paper proves that the natural uniform measure on the boundary of the Brownian disk is not an extra piece of data: up to a deterministic constant, it is the Hausdorff measure built from the gauge function h(s)=$s^{2}$ log log(1/s) and the metric that the Brownian disk induces on its boundary. The same statement holds for the boundary of the Brownian half-plane. If correct, the intrinsic metric of these random surfaces determines their boundary measure, so one can recover the boundary measure from distances alone. This answers, for the boundary, the question previously resolved for the volume measure of the Brownian sphere.","feed_headline":"Boundary measure of Brownian disk is a Hausdorff measure","feed_subtitle":"Up to a fixed constant, the boundary's uniform measure equals its Hausdorff measure with gauge s² log log(1/s).","key_machinery":"The proof combines a density-comparison criterion for Hausdorff measures with the rerooting invariance of the Brownian disk. First, Bessel-process occupation-time estimates (with the gauge h(s)=$s^{2}$ log log(1/s)) show that the Hausdorff measure m_h^D and Lebesgue measure on the boundary are mutually absolutely continuous, with Radon–Nikodym density bounded between two constants. Then rerooting invariance—the law of the disk viewed from a uniform boundary point is the same for every boundary point—transfers the value ψ'(0)=limsup_{ε↓0} m_h^D([0,ε])/ε to every point, forcing the density to be the deterministic constant κ. A zero–one law for the germ algebra in the Brownian half-plane makes κ deterministic and identifies it with the analogous half-plane limsup.","core_discovery":"Theorem 0.1 asserts that there exists a deterministic constant κ in (0, ∞) such that almost surely the uniform measure on the boundary ∂D of the free Brownian disk coincides with κ m_h, where m_h is the Hausdorff measure associated with the metric restricted to the boundary and the gauge function h(s)=$s^{2}$ log log(1/s). Because the boundary is naturally identified with the circle, the uniform measure is Lebesgue measure, and the theorem shows that it is completely determined by the metric. Corollary 0.2 extends the same statement to the boundary of the Brownian half-plane with the same constant κ, using the known coupling between the two objects.","pith_inferences":["The exact value of κ is left unidentified; a numerical estimate could in principle be extracted from the explicit constants in the Bessel occupation-time limsup of Ciesielski–Taylor.","A stronger pointwise statement likely holds—that the limsup of m_h^D(B_r(x))/h(r) equals κ at every boundary point, not just almost everywhere—but the paper's argument only establishes the density is constant almost everywhere.","A direct proof that ψ(s)=m_h^D([0,s]) is differentiable at 0 would eliminate the sketched step in Theorem 3.4 and make the rerooting transfer fully explicit.","The same gauge function might also describe Hausdorff measures on boundaries of other random planar maps with boundary, such as stable maps, where a version of this argument could be adapted."],"forward_implications":["The boundary measure of the Brownian disk and half-plane is intrinsic: any isometry of these metric spaces preserves the uniform boundary measure.","The same gauge function h(s)=s^2 log log(1/s) and the same constant κ apply to both the disk and the half-plane, so the local boundary geometry has a single universal scaling law.","Together with the analogous result for the Brownian sphere volume, all natural uniform measures in Brownian geometry—both volume and boundary—are Hausdorff measures determined by the metric.","The method gives a template for deriving exact gauge functions of Hausdorff measures on other Brownian or stable surfaces with boundary."],"supporting_citations":[{"why":"Supplies the construction of the Brownian disk seen from a boundary point and the identification of the boundary with the circle.","marker":"[15]"},{"why":"Provides the analogous Hausdorff-measure result for the volume measure of the Brownian sphere, which motivates and parallels the boundary result.","marker":"[16]"},{"why":"Gives the pointed Brownian disk construction and a rerooting-type lemma used in the proof of Lemma 1.4.","marker":"[3]"},{"why":"Establishes the GHPU scaling limit of Boltzmann triangulations with boundary, which is used to prove rerooting invariance.","marker":"[1]"},{"why":"Provides the exact limsup of occupation times of Bessel processes, which feeds the volume estimates for balls in Corollary 3.3.","marker":"[6]"},{"why":"Supplies the method for exponential bounds on occupation times used in Proposition 2.1.","marker":"[14]"},{"why":"Contributes Lemma 1.6, the density-comparison criterion used to establish mutual absolute continuity of m_h^D and Lebesgue measure.","marker":"[8]"},{"why":"Introduces the Brownian half-plane construction, which underlies the half-plane statement and the germ zero–one law.","marker":"[5]"},{"why":"Provides the coupling between the Brownian disk and half-plane used to transfer the disk result to the half-plane.","marker":"[11]"}],"fun_headline_variants":["Brownian disk boundary measure is Hausdorff, up to constant","Boundary of Brownian disk: uniform measure is Hausdorff","Metric alone determines Brownian disk boundary's uniform measure","Hausdorff measure matches uniform law on Brownian half-plane","Brownian disk boundary's measure is Hausdorff with log-log gauge"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof relies on the assertion that the Radon–Nikodym density of m_h^D with respect to Lebesgue measure is almost surely constant, obtained by identifying the pointwise derivative at the root ψ'(0) with the deterministic limsup κ and then using rerooting invariance to transfer that value to every boundary point; this step is only sketched.","fun_headline_variants_meta":{"raw":{"variants":["Brownian disk boundary measure is Hausdorff, up to constant","Boundary of Brownian disk: uniform measure is Hausdorff","Metric alone determines Brownian disk boundary's uniform measure","Hausdorff measure matches uniform law on Brownian half-plane","Brownian disk boundary's measure is Hausdorff with log-log gauge"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000813,"raw_usage":{"total_tokens":3498,"prompt_tokens":810,"completion_tokens":2688,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":426,"completion_tokens_details":{"reasoning_tokens":2599}},"tokens_in":426,"tokens_out":2688,"duration_ms":17593,"temperature":1.0,"reasoning_tokens":2599,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:59:39.820903+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a single realization, fix two boundary points x and y and compare limsup_{ε↓0} m_h^D(B_ε(x))/h(ε) with the corresponding limsup at y; the theorem predicts both equal the same constant κ, so observing different finite limsup values at two points with positive probability would disprove the claim.","supporting_citations":[{"cited_title":"Bettinelli and G","cited_arxiv_id":null,"evidence_quote":"Gives the pointed Brownian disk construction and a rerooting-type lemma used in the proof of Lemma 1.4."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the construction of the Brownian disk seen from a boundary point and the identification of the boundary with the circle."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the analogous Hausdorff-measure result for the volume measure of the Brownian sphere, which motivates and parallels the boundary result."},{"cited_title":"Albenque, N","cited_arxiv_id":null,"evidence_quote":"Establishes the GHPU scaling limit of Boltzmann triangulations with boundary, which is used to prove rerooting invariance."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the method for exponential bounds on occupation times used in Proposition 2.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Contributes Lemma 1.6, the density-comparison criterion used to establish mutual absolute continuity of m_h^D and Lebesgue measure."},{"cited_title":"Caraceni and N","cited_arxiv_id":null,"evidence_quote":"Introduces the Brownian half-plane construction, which underlies the half-plane statement and the germ zero–one law."},{"cited_title":"Gwynne and J","cited_arxiv_id":null,"evidence_quote":"Provides the coupling between the Brownian disk and half-plane used to transfer the disk result to the half-plane."}],"review_version":1}