{"id":"d61e3601-43d7-444a-aed1-49b79eacd22f","arxiv_id":"2412.13465","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors establish diameter and global weighted volume comparison theorems for manifolds with a positive spectral lower bound on the N-Bakry-Emery Ricci tensor.","lead":"This paper proves new diameter and weighted-volume bounds for curved spaces carrying a density, under a positive lower bound on the N-Bakry-Emery Ricci tensor in a spectral sense. It is the first to give a global weighted volume comparison in this setting, even in the basic case of a constant spectral function.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.2 is only proved for 3 ≤ n ≤ 7 in this manuscript; the n ≥ 8 cases of both diameter and volume comparison are deferred verbatim to [1, Appendix A], leaving the stated range n ≥ 3 unsupported.","rationale":"Stress-testing the computations in Sections 2.1 and 3.1 for 3 ≤ n ≤ 7 did not reveal an algebraic sign error: the choices k = 0 (N > 0) and k = 2/(n−1) (N < −(n−1)) satisfy the coefficient conditions, and the C, D estimates in the diameter contradiction have the correct inequalities when the normalization inf u = 1 is used. The cited Lemma 2.2 is plausible as a metric construction and is independent of the weighted data, so I do not treat it as the principal risk. The decisive gap is the n ≥ 8 case, which the paper itself outsources to [1, Appendix A]. Since the theorem's statement explicitly includes n ≥ 8, the central claim is conditional on an argument not contained in the paper. The reader's rationale already noted this, though their 'weakest_assumption' field names Lemma 2.2; hence partial agreement. The correct disposition is the same conditional verdict: accept only after the omitted n ≥ 8 argument (or a reference with a detailed transfer) is supplied.","tokens_in":11993,"tokens_out":19593,"duration_ms":169689,"concrete_test":"Take [1, Appendix A] and rewrite each step for the functionals appearing here: perimeter ∫∂Ω u^γ e^{-f} with volume constraint ∫Ω u^α e^{-(k+1)f} (and the diameter functional with the extra h-term). Verify in particular: (i) the singular-set dimension bounds for minimizers of these weighted functionals; (ii) the approximation argument used to justify the first and second variation for n ≥ 8; (iii) the ODE/isoperimetric comparison in Lemma 3.1. If any step requires the unweighted density or an unweighted area functional, Theorem 1.2 is not established for n ≥ 8.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is stated for every n ≥ 3, but the proof is complete only for 3 ≤ n ≤ 7. Section 2.2 says the diameter comparison for n ≥ 8 can be proved by modifying the argument 'verbatim as in [1, Proof of Lemma 1 (n ≥ 8) in Appendix A]', and Section 3.2 says the same for the volume comparison. No part of that modification appears here. This matters because for n ≥ 8 the minimizers of the weighted perimeter E(Ω) = ∫∂Ω u^γ e^{-f} − ... and of the isoperimetric profile can have singular sets of Hausdorff dimension up to n − 8; the second-variation computations in Sections 2.1 and 3.1 are performed on smooth boundaries via arbitrary φ ∈ C^∞ and do not by themselves apply to singular minimizers. The 'verbatim' transfer also needs to justify approximation of singular minimizers by smooth hypersurfaces while preserving the weighted volume constraint and the boundary behavior, and to check that the singular strata do not contribute to the integrals. This is a genuine missing proof for the claimed range, not merely a stylistic omission.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves diameter and global weighted volume comparison for complete weighted Riemannian manifolds with N-Bakry-Emery Ricci tensor bounded below in the 'spectral sense', i.e. under the assumption u Ric_f^N(x) - γΔ_f u ≥ (n-1)λu for some positive bounded u and bounded f. The proof adapts the isoperimetric/μ-bubble method of Antonelli-Xu [1]. Theorem 1.2 is stated for all n≥3, N∈(-∞,-(n-1))∪(0,∞), and 0≤γ≤(N+n-1)/(N+n-2). The proof is carried out in detail for 3≤n≤7; for n≥8 the authors state that the argument can be modified verbatim as in [1, Appendix A] and provide no details.","tokens_in":12247,"tokens_out":10642,"duration_ms":86337,"significance":"If the full theorem holds, it gives a spectral Bonnet-Myers and Bishop-Gromov type comparison for the N-Bakry-Emery tensor, yields a global weighted volume comparison that appears new even for u≡1, and unifies or extends Qian-type and Wei-Wylie-type estimates. The 3≤n≤7 computations are algebraically consistent; the paper is clearly written and the method is appropriate. However, the missing n≥8 proof prevents the stated theorem from being fully established, so the significance can only be conditional until that gap is filled.","major_comments":[{"comment":"Theorem 1.2 is stated for all n≥3, but the proofs for n≥8 are not given. The text states that the diameter and volume comparisons 'can be proved by modifying the argument (of the case 3≤n≤7) verbatim as in [1, Proof of Lemma 1 (n≥8) in Appendix A]' and similarly for the volume case. Because the minimizers of E in Section 2 and of the isoperimetric profile in Section 3 may have singular sets of Hausdorff dimension up to n−8, the smooth-boundary second-variation computations in Sections 2.1 and 3.1 do not automatically apply to these minimizers. The authors must either provide the full n≥8 argument, including the treatment of singular strata and the preservation of the weighted volume constraint under smoothing, or restrict Theorem 1.2 to 3≤n≤7.","section":"Sections 2.2 and 3.2"}],"minor_comments":[{"comment":"The proof is omitted and replaced by 'This lemma is proved in the argument of [1, Lemma 1]'. Since [1] is a preprint, please include a self-contained proof in an appendix or update the reference to a published version.","section":"Section 2, Lemma 2.2"},{"comment":"There is a typo: 'n-dimenisnal' should be 'n-dimensional'.","section":"Introduction, paragraph after (1.5)"},{"comment":"The term 'spectrum sense' is used without definition; the actual assumption in Theorem 1.2 is a differential inequality involving u, Ric_f^N, and Δ_f u. A brief explanation of this terminology would help readers.","section":"Abstract and Introduction"},{"comment":"When assuming 'without loss of generality that inf_M u = 1', the rescaling u' = u/(inf u) preserves the inequality u Ric_f^N - γΔ_f u ≥ (n-1)λu; this should be stated explicitly for completeness.","section":"Section 3, proof of Theorem 1.2(2)"}],"recommendation":"major_revision","confidential_remarks":"The reader's assessment ('conditional') and the skeptic's note align with my reading: the core computations for 3≤n≤7 are sound, but the theorem is overclaimed for n≥8. The authors need to either prove the n≥8 case or restate the theorem with the restriction. This is fixable within the scope of the paper, so I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read this. The genuinely new thing here is the global weighted volume comparison (Theorem 1.2(2)), which is new even when u≡1. Bakry-Qian and Wei-Wylie only give local or blow-up ratio comparisons, so this closes a real gap. The spectral diameter bound for N-Bakry-Emery is also a clean generalization of [1], and the μ-bubble/isoperimetric proof is adapted carefully. For 3≤n≤7, I checked the second variation algebra: the choices of k and α, the constants C and D, and the Cauchy-Schwarz step all work. The paper is honest about the novelty and cites the relevant prior work properly.\n\nThe soft spot is exactly what the reader flagged: Theorem 1.2 is stated for all n≥3, but the proof only covers 3≤n≤7. Section 2.2 says the n≥8 diameter case follows by modifying the argument 'verbatim as in [1, Proof of Lemma 1 (n≥8) in Appendix A]', and Section 3.2 says the same for the volume comparison. No part of that modification is supplied. This matters, not just stylistically: for n≥8 the minimizers can have singular strata of dimension up to n−8, and the second variation computations are done on smooth boundaries. The transfer to singular minimizers needs justification—approximation, preservation of the weighted volume constraint, control of the singular strata—and none of that appears here. Also, Lemma 2.2, which is load-bearing for the diameter contradiction, is quoted from [1] without proof. It is likely correct, but the paper should either reproduce it or at least state it as a black box with a full statement.\n\nI don't see any circularity or invented entities. The literature citations look right, and the self-contained part is serious. The fix is straightforward: either restrict the theorem range to 3≤n≤7, or include the n≥8 appendix. The result is good enough that a serious referee should see it, but it shouldn't be accepted as-is.","headline":"Solid extension of Antonelli-Xu to the N-Bakry-Emery setting, but the stated n≥3 range is only proved for 3≤n≤7; the rest is deferred to a verbatim appendix transfer.","tokens_in":12791,"tokens_out":1850,"would_cite":true,"duration_ms":15225,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C21","53C20"],"pacs":[],"model":"deepseek-v4-flash","headline":"A spectral lower bound on the N-Bakry-Emery Ricci tensor forces a diameter bound and a global weighted volume bound.","keywords":["N-Bakry-Emery Ricci tensor","weighted manifold","spectral lower bound","diameter comparison","global weighted volume comparison","isoperimetric profile","mu-bubble","Bakry-Emery Ricci curvature"],"falsifier":"Construct a complete weighted manifold satisfying all hypotheses of Theorem 1.2 whose diameter exceeds the stated bound. The first concrete test is the imported Lemma 2.2: either prove it directly in the weighted category or find a manifold with diameter $>\\pi/\\sqrt{CD}$ where no such nested domains and gradient-bounded $h$ exist, since the proof's contradiction uses exactly that construction.","tokens_in":11810,"feed_emoji":"📐","tokens_out":10320,"duration_ms":83503,"temperature":0.7,"pith_summary":"The paper establishes diameter and volume comparison theorems for the N-Bakry-Emery Ricci tensor under a spectral lower bound rather than a pointwise one. The main result says that if a complete n-dimensional weighted manifold admits a bounded positive function $u$ and a bounded weight $f$ with $u\\,\\mathrm{Ric}^N_f(x) - \\gamma\\,\\Delta_f u \\ge (n-1)\\lambda u$ for some $\\lambda>0$, then the manifold is compact, its diameter is at most an explicit constant, and its total weighted volume satisfies $\\operatorname{Vol}_f(M,g) \\le e^{(n+1)(3n-1)/(n(n-1))F}\\,\\lambda^{-n/2}\\operatorname{Vol}(S^n)$. This generalizes the classical Bonnet-Myers and Bishop-Gromov comparisons to the weighted spectral setting. The volume estimate is new even in the model case $u\\equiv1$ and pointwise $\\mathrm{Ric}^N_f \\ge (n-1)\\lambda$, where previous work only gave relative volume-ratio monotonicity.","feed_headline":"Weighted Ricci spectrum bounds diameter and total volume","feed_subtitle":"The spectral condition forces compactness and bounds weighted volume by the sphere constant","key_machinery":"The working object is the weighted isoperimetric profile $I(v)=\\inf\\{\\int_{\\partial^*E}u^\\gamma e^{-f} : \\int_E u^\\alpha e^{-(k+1)f}=v\\}$, whose continuity and asymptotics are established via the \\mu-bubble functional $E(\\Omega)=\\int_{\\partial^*\\Omega}u^\\gamma e^{-f} - \\int(\\chi_\\Omega-\\chi_{\\Omega_0})h\\,u^\\alpha e^{-(k+1)f}$. The minimizer's first variation yields a prescribed mean curvature equation $H=f_\\nu + h u^{\\alpha-\\gamma}e^{-kf} - \\gamma u^{-1}u_\\nu$, and its second variation, integrated against $\\phi=u^{-\\gamma}$, reduces the spectral inequality $\\gamma\\Delta_f u - u\\,\\mathrm{Ric}^N_f \\le -(n-1)\\lambda u$ to a differential inequality for $I$: $I''I \\le -(I')^2/(n-1) - (n-1)\\lambda e^{-2kF}$, after choosing $\\alpha=(kN+2)/(N+n-1)\\gamma$ and $k=0$ or $2/(n-1)$. An ODE comparison lemma turns this inequality into the volume bound, while Lemma 2.2—nested domains and a barrier $h$ with $|\\nabla h|<Ch^2+D$ when the diameter exceeds $\\pi/\\sqrt{CD}$—gives the diameter bound by contradiction.","core_discovery":"Theorem 1.2 is the central discovery. For $n\\ge3$, $N\\in(-\\infty,-(n-1))\\cup(0,\\infty)$, and $0\\le\\gamma\\le(N+n-1)/(N+n-2)$, suppose a complete weighted manifold has bounded positive $u$ and bounded $f$ with $F=\\|f\\|_{C^0}$ satisfying $u\\,\\mathrm{Ric}^N_f(x) - \\gamma\\,\\Delta_f u \\ge (n-1)\\lambda u$. Then the diameter is bounded by $(\\sup u/\\inf u)^{(N+n-3)/(N+n-1)\\gamma}\\,\\sqrt{(N+n-1)/(n-1)}\\,\\pi/\\sqrt{\\lambda}$ when $N>0$, and by $(\\sup u/\\inf u)^{(n-3)/(n-1)\\gamma}\\,e^{2F/(n-1)}\\,\\pi/\\sqrt{\\lambda}$ when $N<-(n-1)$; and the global weighted volume is bounded by $e^{(n+1)(3n-1)/(n(n-1))F}\\,\\lambda^{-n/2}\\operatorname{Vol}(S^n)$. The proof works by taking a weighted isoperimetric profile and a \\mu-bubble minimizer, testing the second variation with $u^{-\\gamma}$, and deriving a differential inequality that the profile cannot satisfy if the diameter or volume is too large.","pith_inferences":["Because the curvature enters only through the integrated pointwise relation $\\gamma\\Delta_f u - u\\,\\mathrm{Ric}^N_f(\\nu,\\nu) \\le -(n-1)\\lambda u$, the same isoperimetric-profile argument would apply to any tensor satisfying that bound, not only to the N-Bakry-Emery tensor.","The bound's independence of $\\gamma$ suggests one could let $\\gamma$ vary over the manifold or take limits in $\\gamma$, and still conclude the same total weighted volume estimate; optimizing $k$ and $\\alpha$ might improve the exponential constant.","If the imported barrier lemma extends to nonsmooth metric measure spaces, the theorem would carry over to that setting, since the second-variation computation is local and the existence and regularity steps are standard geometric measure theory."],"forward_implications":["With $u\\equiv1$ and $\\gamma=0$, the theorem recovers the pointwise diameter bound $\\sqrt{(N+n-1)/(n-1)}\\pi/\\sqrt{\\lambda}$ for $N>0$ and adds the global weighted volume bound $\\operatorname{Vol}_f \\le e^{(n+1)(3n-1)/(n(n-1))F}\\,\\lambda^{-n/2}\\operatorname{Vol}(S^n)$.","A spectral lower bound of the form $u\\,\\mathrm{Ric}^N_f - \\gamma\\Delta_f u \\ge (n-1)\\lambda u$ is enough to force compactness of the weighted manifold whenever $f$ is bounded, so the manifold cannot have an end escaping to infinity.","The volume estimate is uniform in the optimizing data: the final bound depends on $u$, $\\gamma$, and $\\alpha$ only through the normalization $\\inf u=1$ and the nonnegativity of $\\alpha$, not through the size of $\\gamma$.","In the negative-range case $N<-(n-1)$, compactness persists with a diameter bound $e^{2F/(n-1)}\\pi/\\sqrt{\\lambda}$, so the theorem covers both signs of $N$ in a single framework."],"supporting_citations":[{"why":"Supplies the barrier lemma and the isoperimetric-profile method for spectral diameter and volume comparison that the proof adapts to the weighted tensor.","marker":"[1]"},{"why":"Introduces the singular soap-bubble and isoperimetric-profile route to Bishop's volume comparison on which the volume argument is modeled.","marker":"[3]"},{"why":"Gives the benchmark pointwise diameter bound for $N>0$ that is recovered in the $u\\equiv1$, $\\gamma=0$ case.","marker":"[18]"},{"why":"Provides the weighted volume ratio comparison and the bounded-weight condition that motivates the boundedness hypothesis on $f$.","marker":"[20]"},{"why":"Establishes monotonicity of the weighted volume ratio under the pointwise bound, which the new global volume estimate strengthens.","marker":"[6]"},{"why":"Supplies the continuity result for isoperimetric profiles used in the proof of Lemma 3.2.","marker":"[7]"},{"why":"Contains the minimization argument used to produce the \\mu-bubble minimizer and its regularity.","marker":"[22]"}],"fun_headline_variants":["Spectral weighted Ricci bound forces diameter and volume caps","N-Bakry-Emery spectrum controls diameter and volume","Spectral Ricci condition imposes compactness and volume bound","Weighted Ricci spectrum pins down geometry via spectral gap","Spectral positivity of N-Ricci bounds diameter and volume"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The diameter conclusion depends entirely on Lemma 2.2, quoted from [1] without proof, which asserts that any complete manifold with diameter larger than $\\pi/\\sqrt{CD}$ contains nested domains and a function $h$ with $|\\nabla h| < C h^2 + D$; if that lemma fails or does not transfer to weighted manifolds, the diameter bound collapses.","fun_headline_variants_meta":{"raw":{"variants":["Spectral weighted Ricci bound forces diameter and volume caps","N-Bakry-Emery spectrum controls diameter and volume","Spectral Ricci condition imposes compactness and volume bound","Weighted Ricci spectrum pins down geometry via spectral gap","Spectral positivity of N-Ricci bounds diameter and volume"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000249,"raw_usage":{"total_tokens":1495,"prompt_tokens":833,"completion_tokens":662,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":449,"completion_tokens_details":{"reasoning_tokens":582}},"tokens_in":449,"tokens_out":662,"duration_ms":6503,"temperature":1.0,"reasoning_tokens":582,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T13:09:50.451365+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a complete weighted manifold satisfying all hypotheses of Theorem 1.2 whose diameter exceeds the stated bound. The first concrete test is the imported Lemma 2.2: either prove it directly in the weighted category or find a manifold with diameter $>\\pi/\\sqrt{CD}$ where no such nested domains and gradient-bounded $h$ exist, since the proof's contradiction uses exactly that construction.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the benchmark pointwise diameter bound for $N>0$ that is recovered in the $u\\equiv1$, $\\gamma=0$ case."},{"cited_title":"Differential Geom","cited_arxiv_id":null,"evidence_quote":"Provides the weighted volume ratio comparison and the bounded-weight condition that motivates the boundedness hypothesis on $f$."},{"cited_title":"Theta Ser","cited_arxiv_id":null,"evidence_quote":"Establishes monotonicity of the weighted volume ratio under the pointwise bound, which the new global volume estimate strengthens."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Contains the minimization argument used to produce the \\mu-bubble minimizer and its regularity."}],"review_version":1}