{"id":"ecfc16a9-057b-46af-a6b1-6618d4780db6","arxiv_id":"1907.02735","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Generalizes Cheeger-Naber's volume bound for effective singular strata from non-collapsed Ricci limits to ncRCD(K,N) spaces using quantitative differentiation, plus a boundary volume estimate.","lead":"This paper generalizes a volume bound on singular strata from non-collapsed Ricci limit spaces to the broader class of non-collapsed RCD(K,N) metric measure spaces. Researchers studying curvature bounds in metric geometry may use the result to control singularities in more general spaces.","discovery_kind":"unclear","skeptic_critique":{"model":"grok-4.3","headline":"Quantitative differentiation may require non-minor adaptations because original argument uses limit-specific approximations unavailable in general ncRCD","rationale":"The reader's weakest assumption is exactly the load-bearing point. Because the note asserts the proof follows the original with only minor changes yet supplies no explicit check that limit-specific ingredients can be excised, the claim remains conditional on that verification. No other internal inconsistency appears from the abstract and stated scope.","tokens_in":1573,"tokens_out":380,"duration_ms":13625,"concrete_test":"Locate the section containing the quantitative differentiation argument; extract every invocation of an approximating sequence, tangent cone from a manifold limit, or Cheeger-Colding harmonic radius estimate. Replace each with the corresponding intrinsic RCD statement (if one exists) and recompute the volume bound for the effective singular set; if any step fails or requires an extra hypothesis not stated in the note, the transfer does not hold with only minor changes.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim requires that the volume bound on effective singular strata transfers via a quantitative differentiation argument that 'closely follows' Cheeger-Naber. That argument in the 2013 paper relies on the space arising as a Gromov-Hausdorff limit of smooth manifolds with uniform Ricci bounds (to obtain tangent cone structure, harmonic coordinate estimates, and control on the measure of sets where the stratification fails). General ncRCD(K,N) spaces satisfy the synthetic curvature-dimension condition and non-collapsing but need not admit such approximating sequences or the associated smoothing. The note provides no explicit verification that the key volume estimates (e.g., the measure of the 'bad' sets in the differentiation lemma) survive when these limit tools are removed and only intrinsic RCD properties (Bishop-Gromov, Poincaré, and the definition of quantitative strata) are retained.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The note generalizes the volume bound for the effective singular strata obtained by Cheeger and Naber for non-collapsed Ricci limits to the class of non-collapsed RCD(K,N) metric measure spaces. The argument relies on a quantitative differentiation approach that is stated to closely follow the 2013 proof, and as a corollary it yields a volume estimate for an enlargement of the Gigli-DePhilippis boundary of ncRCD(K,N) spaces.","tokens_in":1726,"tokens_out":373,"duration_ms":12878,"significance":"If the transfer of the volume bound holds, the result extends a key quantitative stratification estimate beyond spaces arising as Gromov-Hausdorff limits to the broader synthetic setting of ncRCD spaces. This would strengthen the toolkit for studying singular sets in metric measure spaces satisfying synthetic Ricci bounds.","major_comments":[{"comment":"The central claim rests on the assertion that the quantitative differentiation argument of Cheeger-Naber transfers with only minor changes. The manuscript provides no explicit verification that the volume estimates on the 'bad' sets in the differentiation lemma (which in the original rely on tangent cone structure, harmonic coordinate estimates, and control coming from smooth approximations) continue to hold when only the intrinsic RCD properties (Bishop-Gromov, Poincaré inequality, and the definition of the quantitative strata) are used. This adaptation is load-bearing for the generalization and requires a concrete check.","section":"Abstract / proof outline"}],"minor_comments":[{"comment":"The statement that the proof 'closely follows the original one' should be accompanied by a short list of the precise points where the RCD axioms replace the limit-specific approximations.","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their careful reading and constructive comments on our note. We address the major comment below and will revise the manuscript accordingly.","responses":[{"response":"We agree that an explicit verification of the estimates on the bad sets would improve clarity. In the revised version we will add a short dedicated paragraph right after the statement of the quantitative differentiation lemma. This paragraph will record that the volume bounds continue to hold under the RCD axioms alone: Bishop-Gromov supplies the monotonicity and doubling needed for the covering arguments, the Poincaré inequality (together with the RCD heat-flow approximation) replaces the harmonic-coordinate estimates, and the existence and metric-cone structure of RCD tangent cones (which follows from the definition of ncRCD spaces) substitutes for the smooth tangent-cone analysis. Because the quantitative strata are defined directly via the intrinsic epsilon-regularity scale of the RCD space, no additional smooth approximations are invoked. The changes to the original argument are therefore minor and intrinsic to the RCD setting; we will spell them out explicitly in the revision.","revision_made":"yes","referee_comment":"[Abstract / proof outline] The central claim rests on the assertion that the quantitative differentiation argument of Cheeger-Naber transfers with only minor changes. The manuscript provides no explicit verification that the volume estimates on the 'bad' sets in the differentiation lemma (which in the original rely on tangent cone structure, harmonic coordinate estimates, and control coming from smooth approximations) continue to hold when only the intrinsic RCD properties (Bishop-Gromov, Poincaré inequality, and the definition of the quantitative strata) are used. This adaptation is load-bearing for the generalization and requires a concrete check."}],"tokens_in":1202,"tokens_out":367,"duration_ms":26456,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The punchline is that this is a direct generalization of the Cheeger-Naber volume bound on the effective singular strata to non collapsed RCD(K,N) spaces, using a quantitative differentiation argument that the authors say closely follows the 2013 paper. They also get a volume estimate for the enlargement of the Gigli-DePhilippis boundary as an application. What the paper does is identify that the same volume control should hold in the synthetic setting and carry the argument over. That's a legitimate extension because ncRCD is the natural class that includes the limits but is defined intrinsically. The citation pattern is clean, pointing back to Cheeger-Naber and the boundary work. The soft spot is exactly the one the stress test flags. The original argument depends on the space being a limit to get good control on tangent cones and on the measure of sets where the stratification or differentiation fails. General ncRCD satisfy the curvature dimension condition and non-collapsing, but they may not come with approximating smooth manifolds or the associated estimates. The note does not provide explicit verification that the key volume estimates survive when you only have the intrinsic properties. If the adaptations turn out to be minor, the result is fine. If they require new work, then the central claim is not fully supported by the current write-up. This paper is for researchers already working in RCD theory who need quantitative control on singular sets. Someone who has read Cheeger-Naber will find the extension straightforward to use. It deserves a serious referee because the result is a useful tool in the area and the potential gap is checkable with the full proof. Recommendation: Yes, send it out for review so the details of the transfer can be verified.","headline":"This note extends Cheeger-Naber's volume bound on effective singular strata to ncRCD(K,N) spaces via a claimed close copy of the quantitative differentiation argument, plus a quick application to the Gigli-DePhilippis boundary enlargement.","tokens_in":2174,"tokens_out":434,"would_cite":false,"duration_ms":17633,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[],"headline":"Volume estimates and quantitative stratification for ncRCD singular strata; no overlap with RS forcing chain","alignment":"orthogonal","rationale":"The paper generalizes Cheeger-Naber volume bounds on effective singular strata Sk_η,r via quantitative differentiation, almost-cone rigidity (Thm 1.12), and cone-splitting (Thm 1.17) inside the ncRCD(K,N) category. Its machinery (Bishop-Gromov densities, pmGH stability, Hausdorff dimension of Sk ≤ k) lives entirely in metric-measure geometry and has no structural contact with the RS chain (distinction → J-cost → φ-ladder → 8-tick periodicity → D=3 via Alexander duality in Foundation/AlexanderDuality.lean, or any J(ρ)=cosh(ρ ln φ)−1 cost). No parameter-free constant derivations or recognition-cost identities appear.","tokens_in":61343,"confidence":"high","tokens_out":202,"duration_ms":5706,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The volume bound for effective singular strata from Cheeger-Naber extends to non-collapsed RCD(K,N) metric measure spaces.","keywords":["RCD spaces","singular strata","volume bounds","non-collapsed spaces","metric measure spaces","quantitative differentiation","Ricci curvature bounds","boundary enlargement"],"falsifier":"A concrete non-collapsed RCD(K,N) space in which the volume of the effective singular stratum at some scale exceeds the Cheeger-Naber constant would disprove the claimed bound.","tokens_in":2478,"feed_emoji":"","tokens_out":662,"duration_ms":14718,"temperature":0.7,"pith_summary":"This paper establishes that a volume estimate on the effective singular strata, first proved by Cheeger and Naber for non-collapsed Ricci limit spaces, continues to hold when the spaces are taken from the wider class of non-collapsed RCD(K,N) metric measure spaces. The argument uses a quantitative differentiation technique that carries over with only small modifications. As a direct result the same technique produces a volume bound on the enlargement of the Gigli-DePhilippis boundary inside these RCD spaces. A reader would care because the result enlarges the setting in which one can control the size of almost-singular regions under synthetic lower Ricci bounds.","feed_headline":"Volume bound on singular strata extends to RCD spaces","feed_subtitle":"Cheeger-Naber estimate holds for non-collapsed RCD(K,N) spaces via a quantitative differentiation argument that transfers with minor changes","key_machinery":"The quantitative differentiation argument that produces volume control on the effective singular strata by comparing local geometry to Euclidean space at quantitative scales.","core_discovery":"The volume bound for the effective singular strata obtained by Cheeger and Naber for non collapsed Ricci limits holds for non collapsed RCD(K,N) metric measure spaces. The proof, which is based on a quantitative differentiation argument, closely follows the original one. As a simple outcome the same method supplies a volume estimate for the enlargement of Gigli-DePhilippis' boundary of ncRCD(K,N) spaces.","pith_inferences":["The same differentiation technique might adapt to produce volume bounds in other synthetic curvature classes beyond RCD.","Uniform volume control on singular strata could be used to study rectifiability or measure-theoretic properties of boundaries in RCD spaces.","One could test whether the constants in the bound remain exactly the same as in the Ricci-limit case or require a small adjustment depending on the RCD constants."],"forward_implications":["The same volume upper bound holds for the k-dimensional effective singular stratum inside any ncRCD(K,N) space.","The bound is uniform across the entire class of such spaces for fixed K, N and dimension k.","The enlargement of the Gigli-DePhilippis boundary in an ncRCD(K,N) space has volume controlled by the same constants."],"fun_headline_variants":["Cheeger-Naber bounds hold for non-collapsed RCD(K,N) spaces","Volume bounds extend to singular strata of ncRCD spaces","Singular strata volume bounds apply to RCD(K,N) spaces","ncRCD spaces get Cheeger-Naber quantitative singular volume bounds"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The quantitative differentiation argument developed for Ricci limits applies with only minor changes to the RCD setting.","fun_headline_variants_meta":{"raw":{"variants":["Cheeger-Naber bounds hold for non-collapsed RCD(K,N) spaces","Volume bounds extend to singular strata of ncRCD spaces","Singular strata volume bounds apply to RCD(K,N) spaces","ncRCD spaces get Cheeger-Naber quantitative singular volume bounds"]},"model":"grok-4.3","cost_usd":0.006942,"raw_usage":{"total_tokens":3162,"prompt_tokens":555,"num_sources_used":0,"completion_tokens":73,"cost_in_usd_ticks":69424500,"prompt_tokens_details":{"text_tokens":555,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2534,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":555,"tokens_out":73,"duration_ms":15352,"temperature":1.0,"reasoning_tokens":2534,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-25T01:53:52.689810+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A concrete non-collapsed RCD(K,N) space in which the volume of the effective singular stratum at some scale exceeds the Cheeger-Naber constant would disprove the claimed bound.","supporting_citations":[],"review_version":1}