{"id":"ac695b65-8490-453f-a464-3310b490732a","arxiv_id":"2511.08138","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"On surfaces of bounded integral curvature, the inequality ω≥κμ implies Alexandrov CBB(κ), and ω≤κμ (κ≤0) implies locally CAT(κ), bridging two curvature-bound frameworks.","lead":"The paper proves that a measure inequality on singular surfaces—curvature measure at least κ times area—forces the classical Alexandrov bound CBB(κ), and the reverse inequality forces CAT(κ). It closes a gap in the theory and, via Petrunin's theorem, yields that such surfaces satisfy RCD(κ,2).","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 2's non-branching proof asserts ω({z})=0 at a branching point, but BICB(κ) without cusps allows atoms 0<ω({p})<2π; this unjustified step breaks the proof of Theorem A.","rationale":"The reader's weakest_assumption already identifies the non-branching/atom issue, and I agree it is the most load-bearing concern. I focused on this rather than the strong-angle gap in Proposition 2 because Lemma 2 contains a seemingly false assertion (ω({z})=0) and because the proof of Theorem A explicitly rests on Lemma 2 to guarantee that all small triangles are disc-like. If Lemma 2 fails, the chain to CBB(κ) breaks even if the strong-angle hypothesis is eventually verified. The proposed cone test would settle the specific equality by direct computation. The reader's conditional verdict is appropriate: the central claim may be true, but the present proof has a substantial gap. Since my concern aligns with the reader's, no verdict adjustment is needed.","tokens_in":8117,"tokens_out":9759,"duration_ms":97683,"concrete_test":"On a flat cone with total angle 3π/2 (a BIC surface with an atom ω({p})=π/2 at the apex), take a geodesic passing through the apex and compute its left and right turns using the Gauss–Bonnet formula in [8, Ch. 13]. If the turns are nonzero, the Lemma 2 equality κl=κr=ω({z})=0 is false, confirming the gap.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Lemma 2 (non-branching), the author writes: 'by no cusp assumption or lemma 1 and [8, Theorem 4.121], the turns are negatives so κl(γi)=κr(γi)=ω(γ_i^∘)=ω({z})=0.' This is not justified. The no-cusp assumption only forbids atoms ω({p})≥2π; atoms with 0<ω({p})<2π are allowed, so ω({z}) need not vanish. Moreover, γ_i^∘ is the entire open curve, not the single point z, so the step from ω(γ_i^∘) to ω({z}) is an unsupported identification. The subsequent appeal to [8, Theorem 4.156] to conclude that the sector angle at z is π depends on the same vanishing. Lemma 2 is load-bearing: the proof of Theorem A uses it to infer that every triangle in a small ball is homeomorphic to a disc, thereby allowing Theorem 1's hinge comparison to be applied to all triangles. Without a valid non-branching statement, the proof establishes comparison only for disc-like triangles, and the final step to CBB(κ) is incomplete.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to close a long-standing gap in the theory of surfaces of bounded integral curvature by proving that the curvature-measure inequalities ω ≥ κ μ and ω ≤ κ μ are equivalent to the Alexandrov curvature bounds CBB(κ) and CAT(κ), respectively. Theorem A states that a BIC surface with ω ≥ κ μ and no cusp is CBB(κ); Corollary 1 then derives RCD(κ,2) via Petrunin's theorem. Theorem B states that a BIC surface with ω ≤ κ μ and κ ≤ 0 is locally CAT(κ). The proofs are based on a local hinge-comparison theorem (Theorem 1 and 2), a non-branching lemma (Lemma 2), and uniqueness of geodesics (Lemma 3), together with an application of globalization theorems.","tokens_in":8409,"tokens_out":5036,"duration_ms":50190,"significance":"If the main theorems are correct, the paper fills a well-known gap in the comparison between two classical notions of curvature on singular surfaces and has an important consequence: BICB(κ) surfaces without cusps are RCD(κ,2) spaces. This would unify the Alexandrov and Reshetnyak perspectives and make the curvature-measure approach available for analytic applications. The claimed result is natural and the direction from Alexandrov to BIC was already known; the reverse direction is the missing piece. However, the current manuscript leaves several load-bearing steps insufficiently justified, so the significance is currently prospective rather than established.","major_comments":[{"comment":"In Lemma 3, the inequality 'the left-hand side is non-positive as the right-hand side is positive' is not justified. The left-hand side involves the turns κl(γ1)+κl(γ2)+ω(D); even under ω ≤ κ μ ≤ 0, the signs of the individual turns have not been established in the manuscript. The proof of uniqueness of geodesics is therefore not convincing as written. Since uniqueness is used in the proof of Theorem B, this is another load-bearing point.","section":"§3.2, Lemma 3"}],"minor_comments":[{"comment":"Typo: 'whithout' should be 'without'.","section":"Abstract / Introduction"},{"comment":"The notation [p x/y] for a hinge is used later in the paper but is not explicitly defined; the text defines a hinge as [p x/y] in the display but the prose sometimes writes [p x/y] and [p y/z] without clarifying the order of arguments. This can be confusing in the proof of Theorem A.","section":"§2.1, angle definitions"},{"comment":"Reference [4] is listed as 'A. D. Alexandrow, Über eine Verallgemeinerung der Riemannschen Geometrie 1 (1957), 33–84' — the journal or source is missing. Reference [7] is given as a preprint with an arXiv ID but no year in the text; please add full bibliographic data.","section":"References"},{"comment":"The phrase 'By the preceding lemma only branching phenomena can appear' should likely be 'no branching phenomena can appear', given Lemma 3's uniqueness statement. Please correct to avoid ambiguity.","section":"§3.2, Theorem B proof"}],"recommendation":"major_revision","confidential_remarks":"The central claim is significant and plausible, and the paper addresses an important gap in the literature. However, the current proof has several load-bearing gaps, especially in Lemma 2 and the unconditional use of Proposition 2 in Theorem 1. These are not mere presentation issues and need substantive repair. I recommend major revision, not rejection, because the gaps appear fixable within the scope of the paper. The author should also clarify the relation to [7] and verify that the claimed RCD consequence is not circular with existing partial results."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The short version: this paper is an honest attempt to prove the long-sought implication BICB(κ) ⇒ CBB(κ) for all κ, with a new area-distortion argument that genuinely goes beyond Reshetnyak's κ=0 sketch. The algebra in Theorem 1 is coherent, and the paper is straight about what is new. But the proof as written has holes that need closing, so I would not accept it in current form.\n\nThe genuinely new piece is the estimate relating the area of a triangle to the area of its plane development, which lets them handle κ ≠ 0. The exposition of the background is clear, and the attribution to Reshetnyak and Petrunin is honest. There is no circularity or sign of fitted parameters; the logic of Theorem 1 itself hangs together.\n\nThe soft spots:\n\n1. Lemma 2, the non-branching step, is load-bearing and its proof is not justified. The claim that at the first splitting point z the curvature measure vanishes, ω({z})=0, does not follow from 'no cusp'. Cusps only forbid ω({z}) ≥ 2π; smaller positive atoms are allowed. The turns of the two branches being negative does not force ω({z}) to be zero. So the conclusion that the sector angle is π is unsupported. Since Theorem A uses Lemma 2 to turn arbitrary triangles into disc-like ones, the main implication is incomplete as written.\n\n2. Theorem 1 invokes Proposition 2, which requires strong angles to exist between the relevant sides, and does not verify or cite a reason that BIC surfaces have them. This may be fixable using deep results in Reshetnyak's theory, but it is not shown.\n\n3. In the adjacent-hinge part of Theorem A, the paper says 'as p is an interior point of a geodesic, ω({p})=0'. I don't see why that is true; a cone point can lie in the interior of a minimizing geodesic. This needs an argument or a citation.\n\n4. Theorem B is mostly delegated: the 'deformation' argument is by reference and the main comparison theorem is stated without proof. That is thin for a main theorem.\n\nI think the central idea is sound and the paper is worth a serious referee. The right recommendation is: send it to review, but ask for a complete proof of non-branching, a justification of the strong-angle hypothesis, and a fuller treatment of the upper-curvature half. If those can be supplied, the paper would be a solid addition to the theory.","headline":"Likely true and important claim, but the proof has real gaps in the non-branching lemma and the strong-angle setup; deserves refereeing, not acceptance as is.","tokens_in":8846,"tokens_out":5829,"would_cite":true,"duration_ms":57701,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C45","51K10","51F99"],"pacs":[],"model":"deepseek-v4-flash","headline":"Curvature-measure bounds on singular surfaces imply angle-comparison bounds, closing a missing direction in the theory.","keywords":["bounded integral curvature","curvature measure","CBB","CAT","RCD(κ,2)","singular surfaces","angle comparison","subharmonic metrics"],"falsifier":"Construct a BIC surface with ω≥κμ and no cusps that has a branching geodesic at a point with 0<ω({p})<2π; since the theorem implies such a surface must be CBB(κ) and non-branching, exhibiting one (or proving the needed regularity) would directly test the result.","tokens_in":8030,"feed_emoji":"📐","tokens_out":8922,"duration_ms":83670,"temperature":0.7,"pith_summary":"The paper proves that on singular surfaces with bounded integral curvature, an inequality relating the curvature measure to the area measure is equivalent to the classical angle-comparison notion of curvature bound. The forward direction—showing that such a measure inequality implies the corresponding CBB or CAT condition—was a missing piece in the theory, known before only in the flat case. The proof works for arbitrary curvature bounds by exploiting an estimate that controls triangle area distortion in terms of the curvature measure. A corollary is that these surfaces satisfy the modern RCD(κ,2) condition in dimension two, connecting two generations of curvature-bound theories.","feed_headline":"Curvature-measure bounds on singular surfaces imply angle-comparison bounds","feed_subtitle":"A new proof closes the gap between measure-based and synthetic curvature, with RCD(κ,2) as a consequence.","key_machinery":"The load-bearing machinery consists of the curvature measure ω and the area measure μ on a BIC surface, together with two identities: the Gauss–Bonnet formula for simple closed curves and an area-distortion estimate (Proposition 3) that bounds the difference between a triangle's area and the area of its Euclidean model triangle by a curvature-measure term. The proof combines these to show that the inequality ω≥κμ forces every triangle to have non-negative relative excess, which is then converted into angle comparison using the lower strong angle inequality (Proposition 2). Non-branching is established to guarantee that every triangle is homeomorphic to a disk.","core_discovery":"The central claim is made in Theorems A and B. Theorem A states that a BIC surface—a metric surface with locally bounded integral curvature—whose curvature measure ω satisfies ω≥κμ and which has no cusp (no point with curvature atom at least 2π) is CBB(κ). Theorem B states that if ω≤κμ with κ≤0, the surface is locally CAT(κ). The paper fills a gap in the theory by proving that these measure inequalities imply the corresponding angle-comparison bounds; the reverse implications were already available. The key step is to convert the measure inequality into a lower bound on triangle excess using the Gauss–Bonnet formula and an area-distortion estimate, then upgrade this to angle comparison via l","pith_inferences":["The equivalence suggests that checking the measure inequality could become a practical test for synthetic curvature bounds on singular surfaces, potentially simpler than verifying angle comparisons directly.","The area-distortion technique is particular to two dimensions; whether an analogous estimate can upgrade measure bounds to synthetic bounds in higher dimensions is an open direction suggested by the proof.","The paper explicitly leaves open whether negative curvature bounds exclude cusps; a positive answer would remove the no-cusp hypothesis from the main theorem, while a counterexample would show the hypothesis is essential."],"forward_implications":["If the main theorem holds, every BIC surface with curvature measure bounded below by κ and no cusps is CBB(κ), and therefore satisfies RCD(κ,2) with its Hausdorff measure, by a known theorem.","The class of BICB(κ) surfaces without cusps then coincides with the class of complete CBB(κ) surfaces of Hausdorff dimension two.","For κ≤0, a curvature-measure upper bound implies local CAT(κ), and the local conclusion is optimal: a flat cylinder is CBB(0) and CAT(0) locally but not globally.","In the non-negative case, the no-cusp condition is automatically satisfied, so the theorem applies to all BICB(κ) surfaces with κ≥0."],"fun_headline_variants":["Measure curvature bounds now imply Alexandrov angle comparison","Gap closed: curvature measures imply synthetic curvature bounds","New result: measure curvature yields CBB/CAT singular surfaces","Curvature measures force angle-comparison bounds on surfaces","From measure inequalities to Alexandrov bounds on singular surfaces"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof's derivation of angle comparison assumes that every sub-triangle of a BIC surface has well-defined strong angles and that branching points carry zero curvature atom; these regularities are asserted rather than proved.","fun_headline_variants_meta":{"raw":{"variants":["Measure curvature bounds now imply Alexandrov angle comparison","Gap closed: curvature measures imply synthetic curvature bounds","New result: measure curvature yields CBB/CAT singular surfaces","Curvature measures force angle-comparison bounds on surfaces","From measure inequalities to Alexandrov bounds on singular surfaces"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000173,"raw_usage":{"total_tokens":1079,"prompt_tokens":674,"completion_tokens":405,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":418,"completion_tokens_details":{"reasoning_tokens":340}},"tokens_in":418,"tokens_out":405,"duration_ms":4581,"temperature":1.0,"reasoning_tokens":340,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T22:55:11.092479+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a BIC surface with ω≥κμ and no cusps that has a branching geodesic at a point with 0<ω({p})<2π; since the theorem implies such a surface must be CBB(κ) and non-branching, exhibiting one (or proving the needed regularity) would directly test the result.","supporting_citations":[],"review_version":1}