{"id":"7761e4ae-8694-49a7-b13f-d6256359e13d","arxiv_id":"2608.03982","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Complete singular surfaces with locally bounded integral curvature are infinitesimally Hilbertian and admit a Hölder heat kernel; under a Dynkin-type negative-curvature bound they are bi-Lipschitz to a surface with curvature bounded below.","lead":"This paper develops the analytic foundations of singular surfaces with locally bounded integral curvature, showing they admit a Laplacian, a heat kernel, and local doubling and Poincaré inequalities. For surfaces whose negative curvature is controlled in a Dynkin sense, it proves global bounds by deforming the metric to one with lower-bounded curvature.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 3.1 assumes an exact polyhedral neighborhood around every BIC point; this is false for smooth nonflat BIC surfaces, so the transfer proof of Theorem 3.2 has no starting point.","rationale":"I read the paper in good faith: the intended program is to transfer Hilbertianity, doubling, and Poincaré estimates from polyhedral/Riemannian-polyhedral models to all complete BIC surfaces without cusps. The central transfer mechanism is Lemma 3.1, which requires a compact geodesically convex polyhedral neighborhood around every point. The note after Lemma 3.1 asserts that such a neighborhood always exists. This assertion cannot hold in the class of spaces covered by the theorem. The round sphere is a complete BIC surface without cusps, and a small geodesically convex disk has atomless curvature measure, while every polyhedral surface has purely atomic curvature measure. Hence the exact polyhedral neighborhood cannot exist. This is not a small gap: the localization argument in Theorem 3.2 picks exactly such a P and therefore does not cover smooth nonflat examples. The theorem's conclusions are of course classical for smooth surfaces, but the proof as written does not establish them. The reader's weakest assumption focused on Lemma 3.1 and on Burago's approximation; I agree that this lemma is the weak point, but the reader did not identify the more fundamental falsehood of the polyhedral-neighborhood existence claim. Thus I partially agree with the reader. Since the argument's starting lemma is false in the claimed generality, I recommend rejecting the current version, while noting that a repaired proof via local polyhedral approximation might salvage the main results.","tokens_in":22153,"tokens_out":11930,"duration_ms":149931,"concrete_test":"Take (S,d) to be the unit round sphere with its Riemannian distance and μ=H^2. (1) Compute the curvature measure via Theorem 2.4: ω = K_h μ_h = μ_h, atomless. (2) Let P be any compact geodesically convex disk. If (P,d) were polyhedral, its interior curvature measure would be a finite sum of Dirac masses at surface vertices. (3) By uniqueness of the curvature measure for BIC surfaces, the curvature measure of P must equal the restriction of ω to P, which is atomless and nonzero. Contradiction. This single example disproves the existence assertion used in Lemma 3.1 and shows that the proof of Theorem 3.2 does not cover smooth nonflat BIC surfaces.","verdict_should_be":"REJECT","load_bearing_attack":"The load-bearing step is Lemma 3.1, with the note after it claiming that every point x of a complete BIC surface without cusps has a compact geodesically convex neighborhood P such that (P,d) is a polyhedral surface. This is false for the round sphere, which is a complete BIC surface without cusps by the Reshetnyak–Huber theorem (Theorem 2.4 with u=0, h the round metric). Its curvature measure is K_h μ_h = μ_h, which is atomless and nonzero on every open set. In contrast, a polyhedral surface in the sense of Definition 2.8 is flat outside isolated surface vertices, so its curvature measure is a sum of Dirac masses. A small geodesically convex disk in the sphere therefore cannot be isometric to any polyhedral surface: the restriction of the curvature measure to its interior is atomless. Consequently the hypothesis of Lemma 3.1 is not satisfied, and the proof of Theorem 3.2(i)–(iv), which selects P as in Lemma 3.1 for every x, does not apply to smooth nonflat BIC surfaces. The reader's hemisphere-gluing concern is secondary; the more basic obstruction is the false existence assertion. A correct proof would require a local polyhedral approximation with controlled bi-Lipschitz distortion and a limiting argument, not an exact polyhedral neighborhood.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops analytic foundations for complete 2-dimensional BIC surfaces without cusps. It claims that, as metric measure spaces with the Hausdorff measure, such surfaces are infinitesimally Hilbertian, have d_Ch = d, are locally doubling, and satisfy a local Poincaré inequality; hence the Cheeger Laplacian has a jointly Hölder continuous heat kernel. If the negative part of the curvature measure is in a Dynkin class, the surface is shown to be bi-Lipschitz to a BICB(κ) surface, yielding global doubling, Poincaré, and Gaussian heat kernel bounds. The strategy is to approximate BIC surfaces by polyhedral surfaces via Burago's Lipschitz approximation theorem and transfer analytic results from Riemannian polyhedra.","tokens_in":22492,"tokens_out":13526,"duration_ms":144265,"significance":"This would be a significant contribution: it extends heat-kernel and Sobolev calculus beyond the RCD/BIC(κ) framework to a very general class of singular surfaces, and provides global results under a mild Dynkin-type condition. The paper contains a rigorous appendix on Riemannian polyhedra, a clean definition of the Dynkin class via the heat kernel, and a nice illustrative volcano example. The transfer strategy is innovative. However, the keystone Lemma 3.1 contains a false existence assertion, so the proofs of the main results are not currently valid for smooth nonflat BIC surfaces.","major_comments":[{"comment":"The 'Note' after Lemma 3.1 claims that a compact geodesically convex polyhedral neighborhood P exists for every x. This is false: by Theorem 2.4, the round sphere is a complete BIC surface without cusps (u=0), with curvature measure K_h μ_h, atomless and nonzero on every open set. By Definition 2.8, a polyhedral surface is flat outside isolated vertices, so its curvature measure is atomic. Hence a small geodesically convex disk in the sphere cannot be isometric to a polyhedral surface. Therefore the hypothesis of Lemma 3.1 is not satisfied for smooth nonflat BIC surfaces, and the proof of Theorem 3.2(i)–(iv), which picks P as in Lemma 3.1 at every x, collapses for these surfaces. The same gap affects Proposition 3.5(i). A repair requires a local polyhedral approximation with bi-Lipschitz constants tending to 1 and curvature-measure convergence, then a limiting argument.","section":"Lemma 3.1 / Theorem 3.2"}],"minor_comments":[{"comment":"In the final displayed inequality, since μ_{h,u} = e^{2ψ} μ_{h,u−ψ}, the factor e^{-2 inf ψ} appears to be a typo; the correct bound should involve sup ψ (e.g., e^{2 sup ψ}). The conclusion that (S,d_{h,u−ψ}) is BICB(κ) for some κ does not depend on this choice.","section":"Theorem 4.4"},{"comment":"The stated bound μ(B(x,r')) ≤ c e^{c r'} (r'/r)^2 μ(B(x,r)) is not the standard RCD doubling estimate; the exponents and constants should be checked against [38].","section":"Corollary 4.5(i)"},{"comment":"The assertion that ω^- belongs to the Dynkin class of (R^2,d_{φ,h}) because it belongs to the Dynkin class of (R^2,d_h) is not immediate; the two heat kernels differ. The argument should explicitly use the Gaussian upper bound and the fact that ω^- is H^1 on a circle.","section":"Example 4.6"},{"comment":"The weak-* convergence ω_i^± ⇀ ω^± is asserted without proof and is not used in the subsequent transfer arguments; either prove it from the cited Burago lemma or remove it from the statement.","section":"Lemma 3.1"},{"comment":"The gluing of P to a hemisphere requires equality of boundary lengths. The phrase 'same radius as the boundary of P' is undefined; a hemisphere whose equator length equals the boundary length of P should be chosen.","section":"Lemma 3.1"}],"recommendation":"major_revision","confidential_remarks":"The main issue is not a matter of presentation. If the authors can replace the exact polyhedral-neighborhood claim with a valid local polyhedral approximation scheme, the paper would be of clear interest. I recommend a major revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here is my take. The paper is aiming at the first systematic analytic package for BIC surfaces: Cheeger Laplacian, heat kernel, local doubling, local Poincaré, and a Dynkin-to-BICB deformation. If the main results are true, that is a major step, and several pieces are genuinely new. I know of no prior heat-kernel or Cheeger-energy result for general BIC surfaces, and the Dynkin deformation is a nice bridge to the RCD/BICB framework. The volcano example is concrete and useful. The paper is also honest about what it relies on: Marot's theorem for BICB-to-CBB and Petrunin for CBB-to-RCD.\n\nThe soft spot is not cosmetic. Lemma 3.1 asserts, in the note after the statement, that every point of a complete cusp-free BIC surface has a compact geodesically convex polyhedral neighborhood. That is false for smooth nonflat BIC surfaces. Take the round sphere: it is a complete BIC surface without cusps, and any small geodesic disc has curvature measure K_h \\mu_h with nonzero density on every open set. A polyhedral disc, by Definition 2.8, is locally a cone and has curvature supported on isolated surface vertices. So the sphere has no such polyhedral neighborhood. The subsequent proof of Theorem 3.2 selects P as in Lemma 3.1 for every point, so the transfer argument has no starting point for smooth nonflat points. The reader's hemisphere-gluing concern is real but secondary: the boundary of a general polyhedral disc is not a round circle, so gluing it to a hemisphere requires more care than the proof gives. Both issues point in the same direction: the localization step needs to be replaced by a local bi-Lipschitz polyhedral approximation with controlled boundary and a limiting argument, presumably using Burago's global approximation theorem. That is a substantial repair, but likely a feasible one.\n\nThe external dependencies are worth noting: the global conclusions in Section 4 rest on Marot's preprint [26]. That is not by itself a flaw, but the referee should check whether [26] is solid, because Corollary 4.5 inherits its full strength from it.\n\nI would send this to peer review rather than desk-reject. The topic is important, the main claims are credible, and the gap, while load-bearing, is localized and addressable. A serious referee should focus on Lemma 3.1 and the transfer mechanism. If that lemma is repaired, this becomes a strong paper; as written, it is a promising but incomplete proof.","headline":"Main results are plausible and important, but Lemma 3.1's claim that every BIC point has an exact polyhedral neighborhood is false, so the transfer proof of Theorem 3.2 doesn't currently start.","tokens_in":22951,"tokens_out":3646,"would_cite":false,"duration_ms":45787,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46E36","35K08","53C23"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every complete cusp-free BIC surface is infinitesimally Hilbertian, locally doubling, and locally Poincaré, giving a Hölder heat kernel for the Cheeger Laplacian; under a Dynkin condition on negative curvature, global Gaussian heat kernel b","keywords":["BIC surfaces","bounded integral curvature","Cheeger energy","infinitesimally Hilbertian","heat kernel","Poincaré inequality","Dynkin class","subharmonic metrics"],"falsifier":"Find a complete cusp-free BIC surface and a compact geodesically convex polyhedral neighborhood for which no such Lipschitz-convergent polyhedral approximation exists—for example, by constructing a curvature measure with an oscillating negative part that cannot be realized by polyhedral curvature measures—or exhibit two Sobolev functions f1, f2 for which the parallelogram identity for the minimal weak upper gradient fails on a ball. Either would refute Theorem 3.2 and the heat-kernel corollary. A concrete place to look: modify the volcano metric by letting the negative curvature concentrate on","tokens_in":22086,"feed_emoji":"📐","tokens_out":11073,"duration_ms":113123,"temperature":0.7,"pith_summary":"Complete BIC surfaces—singular two-dimensional length spaces whose curvature is only assumed locally bounded as a signed measure, with no sign condition and possibly wild oscillation—are shown to support a full local analysis package. The paper proves that, when such a surface has no cusps, its 2-dimensional Hausdorff measure makes it infinitesimally Hilbertian, that the Carathéodory distance built from the Cheeger energy recovers the original distance, and that locally the space is doubling and satisfies a Poincaré inequality. It follows that the Cheeger Laplacian is a canonical self-adjoint operator with a uniquely determined, jointly Hölder continuous, strictly positive heat kernel. If the negative part of the curvature measure lies in the Dynkin class, the surface is bi-Lipschitz equivalent to a surface whose curvature is bounded below, and then doubling, Poincaré, and Gaussian heat kernel bounds hold globally. This matters because it extends heat-kernel and Sobolev tools to a class of singular surfaces well beyond spaces with curvature bounded below.","feed_headline":"Every cusp-free BIC surface has a Hölder heat kernel","feed_subtitle":"Even wildly oscillating curvature cannot stop these singular surfaces from having a working Laplacian and global Gaussian bounds.","key_machinery":"The transfer mechanism is polyhedral approximation: the BIC distance is approximated, locally, in the Lipschitz sense by polyhedral distances. Lemma 3.1 packages this as follows: every compact geodesically convex polyhedral neighborhood of a point embeds isometrically into a closed BIC surface homeomorphic to a sphere, carrying a sequence of polyhedral distances that converge to the ambient distance in the Lipschitz sense with weak-* convergence of curvature measures. Because polyhedral surfaces carry polyhedrally smooth Riemannian metrics in the sense of Riemannian polyhedra, they are already known to be infinitesimally Hilbertian, locally doubling, and locally Poincaré; a gluing/localizati","core_discovery":"On the paper's own terms, the central discovery is that for every complete BIC surface (S,d) without cusps, with µ the 2-dimensional Hausdorff measure, the metric measure space (S,d,µ) is infinitesimally Hilbertian, its Carathéodory distance d_Ch equals d, and every point has a neighborhood on which µ is doubling and a weak Poincaré inequality holds. These local facts are strong enough to produce, via Dirichlet-form theory, a unique heat kernel p(t,x,y)>0 for the Cheeger Laplacian that is jointly Hölder continuous, symmetric, and satisfies the semigroup identity. Under the additional assumption that the negative part ω^- of the curvature measure belongs to the Dynkin class of the heat semigr","pith_inferences":["The local results likely extend to surfaces with cusps: since cusps are isolated points at which the curvature measure equals 2π, one could remove them or treat them by separate punctured-neighborhood arguments, and the main theorems suggest the same analytic package holds away from the cusp set.","The bi-Lipschitz reduction to BICB(κ) should let many global results from the theory of metric measure spaces with curvature-dimension bounds—parabolic Harnack inequalities, scale-invariant Sobolev embeddings, spectral estimates—transfer directly to BIC-Dynkin surfaces, even when those results are not explicitly listed in Corollary 4.5.","The polyhedral approximation with weak-* convergence of curvature measures could be used to prove stability or compactness theorems for families of BIC surfaces with controlled negative curvature, in the spirit of convergence results for manifolds with Kato-type bounds on Ricci curvature.","One testable extension: compute the constants in the doubling and Poincaré inequalities for the volcano example explicitly from the conformal factor; if the bounds degrade at the predicted exponential rate, the constants in Corollary 4.5 are sharp in their dependence on the Dynkin norm of ω^-."],"forward_implications":["On every complete cusp-free BIC surface, the Cheeger Laplacian is a well-defined self-adjoint operator, and its heat kernel is strictly positive, symmetric, jointly Hölder continuous, and satisfies the semigroup identity; stochastic analysis on these surfaces can proceed from a genuine heat semigroup.","The equality d_Ch = d means the metric is completely encoded by the quadratic energy: two points are as close as the largest energy-controlled function can distinguish them, so no information is lost in passing from the metric to the Sobolev structure.","Local doubling and local Poincaré inequalities imply that, on relatively compact open sets, the strong Poincaré inequality holds with a constant depending only on the set, giving a uniform local regularity theory.","If the negative part of the curvature measure is in the Dynkin class, the surface is globally bi-Lipschitz to a BICB(κ) surface, and therefore the heat kernel satisfies global two-sided Gaussian bounds with growth controlled by the volume of balls of radius sqrt(t).","The volcano-of-angle-4π example is a complete BIC-Dynkin surface that is neither BICB(κ) nor synthetic-curvature-bounded-below, yet enjoys global Gaussian heat kernel bounds; hence the Dynkin condition is genuinely weaker than a lower curvature bound in a concrete way."],"supporting_citations":[{"why":"defines BIC surfaces and the curvature measure, and supplies the geodesically convex polyhedral neighborhoods used in Lemma 3.1.","marker":"[2]"},{"why":"supplies the Lipschitz approximation of the BIC distance by polyhedral distances that drives the local transfer argument.","marker":"[6]"},{"why":"supplies the Sobolev theory of Riemannian polyhedra—Hilbertianity, local doubling, local Poincaré—that is imported to BIC surfaces.","marker":"[12]"},{"why":"gives the subharmonic-metric representation of BIC surfaces and the formula for curvature, used in Theorem 4.4 and Proposition 3.5.","marker":"[15]"},{"why":"provides the Cheeger-energy and Sobolev calculus on metric measure spaces, including the density of Lipschitz functions, that identifies the relevant Sobolev spaces.","marker":"[16]"},{"why":"gives the global Gaussian heat kernel bounds used in Corollary 4.5(iii).","marker":"[22]"},{"why":"supplies the positivity argument for the heat kernel, adapted in Corollary 3.4.","marker":"[24]"},{"why":"shows that complete BIC surfaces with curvature bounded below are synthetic curvature-bounded-below surfaces, linking the global part to curvature-dimension theory.","marker":"[26]"},{"why":"shows that two-dimensional synthetic-curvature-bounded-below surfaces carry the global analytic results imported in Corollary 4.5.","marker":"[27]"},{"why":"provides the strongly local Dirichlet-space results (strong Poincaré, Hölder regularity, heat kernel) that turn local doubling and Poincaré into a heat kernel.","marker":"[36]"}],"fun_headline_variants":["Even wild curvature can't stop Holder heat kernels on BIC surfaces","Cusp-free BIC surfaces are infinitesimally Hilbertian","Local doubling and Poincare inequality yield heat kernel on BIC surfaces","Dynkin condition gives bi-Lipschitz equivalence for BIC surfaces"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The load-bearing premise is that every compact geodesically convex polyhedral neighborhood of a BIC surface can be isometrically embedded in a closed BIC sphere with the distance approximable in the Lipschitz sense by polyhedral distances while curvature measures converge weakly; if this approximation fails for surfaces whose negative curvature varies without bound, the local transfer from polyhedra collapses.","fun_headline_variants_meta":{"raw":{"variants":["Even wild curvature can't stop Holder heat kernels on BIC surfaces","Cusp-free BIC surfaces are infinitesimally Hilbertian","Local doubling and Poincare inequality yield heat kernel on BIC surfaces","Dynkin condition gives bi-Lipschitz equivalence for BIC surfaces"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.0012,"raw_usage":{"total_tokens":4742,"prompt_tokens":661,"completion_tokens":4081,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":405,"completion_tokens_details":{"reasoning_tokens":4005}},"tokens_in":405,"tokens_out":4081,"duration_ms":32540,"temperature":1.0,"reasoning_tokens":4005,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T04:33:40.938213+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a complete cusp-free BIC surface and a compact geodesically convex polyhedral neighborhood for which no such Lipschitz-convergent polyhedral approximation exists—for example, by constructing a curvature measure with an oscillating negative part that cannot be realized by polyhedral curvature measures—or exhibit two Sobolev functions f1, f2 for which the parallelogram identity for the minimal weak upper gradient fails on a ball. Either would refute Theorem 3.2 and the heat-kernel corollary. A concrete place to look: modify the volcano metric by letting the negative curvature concentrate on","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"defines BIC surfaces and the curvature measure, and supplies the geodesically convex polyhedral neighborhoods used in Lemma 3.1."},{"cited_title":"Petersburg Math","cited_arxiv_id":null,"evidence_quote":"supplies the Lipschitz approximation of the BIC distance by polyhedral distances that drives the local transfer argument."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the Sobolev theory of Riemannian polyhedra—Hilbertianity, local doubling, local Poincaré—that is imported to BIC surfaces."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"gives the subharmonic-metric representation of BIC surfaces and the formula for curvature, used in Theorem 4.4 and Proposition 3.5."},{"cited_title":"1113, 0–0","cited_arxiv_id":null,"evidence_quote":"provides the Cheeger-energy and Sobolev calculus on metric measure spaces, including the density of Lipschitz functions, that identifies the relevant Sobolev spaces."},{"cited_title":"3, 601–627 (English)","cited_arxiv_id":null,"evidence_quote":"gives the global Gaussian heat kernel bounds used in Corollary 4.5(iii)."},{"cited_title":"2, 269–316","cited_arxiv_id":null,"evidence_quote":"supplies the positivity argument for the heat kernel, adapted in Corollary 3.4."},{"cited_title":"On two notions of curvature on singular surfaces","cited_arxiv_id":"2511.08138","evidence_quote":"shows that complete BIC surfaces with curvature bounded below are synthetic curvature-bounded-below surfaces, linking the global part to curvature-dimension theory."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"shows that two-dimensional synthetic-curvature-bounded-below surfaces carry the global analytic results imported in Corollary 4.5."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"provides the strongly local Dirichlet-space results (strong Poincaré, Hölder regularity, heat kernel) that turn local doubling and Poincaré into a heat kernel."}],"review_version":2}