{"id":"adefbd46-313d-4f01-95e6-98ebd2e4cbaf","arxiv_id":"2607.04588","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Under a lower bound on modified Ricci curvature Rw, the first Dirichlet eigenvalues of the Witten-Laplacian and weighted p-Laplacian on geodesic balls are at most those of model geodesic balls in an (n+1)-dimensional spherically symmetric space.","lead":"The paper proves Cheng-type upper bounds for the first Dirichlet eigenvalues of the Witten-Laplacian and weighted p-Laplacian on geodesic balls, under a lower bound on a modified Ricci curvature. Specialists in spectral geometry get a weaker-curvature comparison that recovers Setti's theorem and extends it to the nonlinear p-case.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The manuscript is a clean, self-contained extension of Cheng-type comparisons. The only potential soft spot flagged by the reader is classical and holds for non-radial weights; the rest of the argument (Rayleigh quotients with radial trial functions, integration by parts against the model ODE) is standard and free of gaps. No load-bearing concern remains, so the ACCEPT verdict is left unchanged.","tokens_in":15127,"tokens_out":403,"duration_ms":4235,"concrete_test":"Independently re-derive the differential inequality (3.8) from the Jacobi-field equation (3.3) and the curvature assumption (2.9), treating w as a completely general smooth positive function (no radiality). If the inequality ϕ'+ϕ^{2}/n-n f''/f≤0 is recovered without extra hypotheses, the volume comparison and both eigenvalue theorems are confirmed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest-assumption concern (the algebraic inequality A^{2}/(n-1)+B^{2}≥(A+B)^{2}/n and the radial-Hessian rewrite of Rw) does not threaten the central claims. Both steps are elementary and hold pointwise for arbitrary smooth positive weights: the algebraic identity is just (A-(n-1)B)^{2}/(n(n-1))≥0, and the identity w^{-1}Hess w(∂t,∂t)=(w^{-1}∂tw)^{2}+(w^{-1}∂tw)' follows by direct differentiation of h=ln w without any radiality assumption on w. The subsequent comparison ϕ' + ϕ^{2}/n - n f''/f ≤0 and the integration-by-parts arguments in §§4–5 are standard and correctly executed. Consequently the volume comparison (Thm 3.1) and both eigenvalue theorems stand.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper proves Cheng-type upper bounds for the first Dirichlet eigenvalues of the Witten-Laplacian L and the weighted p-Laplacian Lp on geodesic balls of complete n-manifolds whose modified Ricci curvature Rw satisfies the pointwise lower bound Rw(∂/∂t,∂/∂t)≤nκ(t)=-n f''/f. The model spaces are (n+1)-dimensional spherically symmetric manifolds with warping function f solving the usual Jacobi ODE. The key intermediate result is a weighted volume comparison (Theorem 3.1) obtained from the Jacobi-field matrix U, the trace inequality tr U^{2}≥(tr U)^{2}/(n-1), the algebraic identity A^{2}/(n-1)+B^{2}≥(A+B)^{2}/n, and a standard ODE comparison for φ=tr U+w^{-1}∂tw versus ψ=n f'/f. The eigenvalue inequalities (Theorems 2.3 and 2.7) then follow by transplanting the radial first eigenfunctions of the model balls as trial functions and integrating by parts against the volume comparison. Corollaries recover Setti’s constant-curvature result and extend it to the p-Laplacian.","tokens_in":15313,"tokens_out":817,"duration_ms":6336,"significance":"The work supplies a clean, self-contained extension of Cheng’s classical eigenvalue comparison to the weighted setting under a curvature hypothesis weaker than radial Ricci bounds and without requiring the weight to be radial. The volume comparison (Theorem 3.1) is of independent interest and the proofs are elementary once the algebraic and Hessian identities are in place. The results sit naturally in the line of Setti, Freitas–Mao–Salavessa and Mao’s earlier papers, and they give concrete, computable upper bounds once κ(t) is fixed. The absence of rigidity statements is a limitation relative to the classical Cheng theorems, but the comparison inequalities themselves are correctly established and useful.","major_comments":[],"minor_comments":[{"comment":"The curvature hypothesis is written with ≤ throughout (e.g. (2.9) and the statement of Theorem 3.1), yet the surrounding prose repeatedly speaks of a “lower bound.” A single clarifying sentence that Rw(∂t,∂t)≤nκ(t) is the lower bound used for the comparison would remove the notational tension.","section":null},{"comment":"In the integration-by-parts step of §5 the boundary term is written with upper limit R rather than r0; this is a typographical inconsistency with the rest of the argument.","section":null},{"comment":"The paper relies heavily on background lemmas from the authors’ earlier works [11,13,16] for the existence and radiality of model eigenfunctions. A short self-contained reminder of those facts (or an explicit pointer to the precise statements) would improve readability for readers unfamiliar with that series.","section":null},{"comment":"Several minor typographical slips appear (e.g. “modified Ricci cu rvature,” “com parison,” “spher ically”). A careful copy-edit pass would clean them up.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is a solid, incremental contribution that correctly generalizes Setti’s theorem and the authors’ own earlier radial-curvature results. The heavy self-citation is typical of this research line and does not affect correctness. Fit for a solid specialized journal in geometric analysis is good; the absence of rigidity is the only notable gap relative to the classical Cheng theorems, but it is not a correctness issue."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This is a solid incremental paper in spectral geometry of weighted manifolds. The actual news is Theorems 2.3 and 2.7: under a pointwise lower bound on the modified Ricci curvature Rw(∂t,∂t) ≤ nκ(t) = −n f″/f, the first Dirichlet eigenvalues of the Witten-Laplacian and the weighted p-Laplacian on geodesic balls satisfy Cheng-type upper bounds by the corresponding eigenvalues on an (n+1)-dimensional spherically symmetric model. When κ is constant this recovers Setti’s 1998 result; the variable bound, the p-version, and the fact that the weight need not be radial are new relative to the literature they cite.\n\nWhat they do well is the volume comparison (Theorem 3.1). They work with the Jacobi-field matrix U, use the standard trace inequality tr U^{2} ≥ (tr U)^{2}/(n−1), rewrite the curvature assumption via the elementary identity w^{-1} Hess w(∂t,∂t) = (w^{-1} ∂t w)^{2} + (w^{-1} ∂t w)′, and compare the resulting ϕ against ψ = n f′/f by a standard ODE argument. The algebraic step A^{2}/(n−1)+B^{2} ≥ (A+B)^{2}/n is just (A−(n−1)B)^{2}/(n(n−1)) ≥ 0 and holds pointwise for any smooth positive weight; no radiality is required. The eigenvalue proofs then transplant the radial first eigenfunctions of the model balls as trial functions and integrate by parts against the volume comparison—exactly the classical Cheng/Setti pattern, executed cleanly for both L and Lp.\n\nSoft spots are minor and proportionate. There is no rigidity statement (unlike the radial-curvature papers they cite), the model is deliberately one dimension higher, and the self-citation to their own earlier works supplies background lemmas rather than circular reasoning. The impact is limited to specialists who already care about weighted eigenvalue comparisons; it does not open a new technique or settle a long-open question.\n\nAnyone working on Witten or weighted p-Laplacians under Bakry–Émery-type bounds will want the statements on the shelf. The math is self-contained and line-checkable. I would send it to a serious referee without hesitation.","headline":"Clean, modest extension of Setti: variable lower bound on Rw plus weighted p-Laplacian, with non-radial weight allowed; proofs check out.","tokens_in":15933,"tokens_out":586,"would_cite":true,"duration_ms":5453,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["58C40","58J50","35P15"],"pacs":[],"model":"grok-4.5","headline":"A lower bound on modified Ricci curvature controls first eigenvalues of weighted Laplacians by those of model spheres of one higher dimension.","keywords":["modified Ricci curvature","Witten-Laplacian","weighted p-Laplacian","Cheng-type eigenvalue comparison","spherically symmetric manifolds","Bishop volume comparison","Dirichlet eigenvalues"],"falsifier":"Construct an explicit complete manifold with a non-radial weight whose modified Ricci curvature meets the stated lower bound, compute the first Dirichlet eigenvalue of the Witten-Laplacian (or weighted p-Laplacian) on a geodesic ball, and check whether it exceeds the first eigenvalue of the corresponding (n+1)-dimensional model ball.","tokens_in":16012,"feed_emoji":"△","tokens_out":735,"duration_ms":5768,"temperature":0.7,"pith_summary":"The paper proves Cheng-type upper bounds for the first Dirichlet eigenvalues of the Witten-Laplacian and the weighted p-Laplacian on geodesic balls of complete manifolds. The controlling assumption is a pointwise lower bound on the modified Ricci curvature Rw along radial directions; that bound is allowed to be a function of distance rather than a constant. Under it, the eigenvalues are at most as large as the corresponding first eigenvalues on geodesic balls in a spherically symmetric model of dimension n+1 whose warping function solves a simple ODE determined by the curvature bound. The argument works even when the weight is not radial, which is a genuine relaxation of earlier radial-curvature comparisons. A sympathetic reader cares because the same model ball supplies an explicit, computable upper bound once the curvature function is fixed, and the comparison recovers classical results of Cheng and of Setti as special cases.","feed_headline":"Modified Ricci bound caps weighted eigenvalues by model spheres","feed_subtitle":"First eigenvalues of Witten and weighted p-Laplacians stay below those of an (n+1)-dimensional model ball","key_machinery":"A weighted Bishop-type volume comparison (Theorem 3.1) that converts the modified-Ricci lower bound into the differential inequality (w√|g|)-1 ∂t(w√|g|) ≤ n f'/f; once this radial volume growth is controlled, radial trial functions transplanted from the model ball produce the eigenvalue inequalities by the variational characterizations.","core_discovery":"If the modified Ricci curvature satisfies Rw(∂/∂t,∂/∂t) ≤ nκ(t) = -n f''/f along radial geodesics from a point q, then the first Dirichlet eigenvalues of both the Witten-Laplacian and the weighted p-Laplacian on the geodesic ball B(q,r0) are bounded above by the corresponding first eigenvalues of the ordinary Laplacian and p-Laplacian on the geodesic ball of radius r0 in the (n+1)-dimensional spherically symmetric model whose warping function is f.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Modified Ricci bound caps Witten eigenvalues by model balls","Cheng-type bounds: weighted eigenvalues under Ricci controls","Witten and p-Laplacian eigenvalues limited by model spheres","Lower modified Ricci forces Dirichlet eigenvalues below models","Weighted eigenvalues on balls dominated by spherical models"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The volume comparison rests on an algebraic inequality that turns the trace of a curvature matrix plus a weight Hessian term into a single ordinary differential inequality of Riccati type; if that algebraic step fails for a non-radial weight, both eigenvalue theorems collapse.","fun_headline_variants_meta":{"raw":{"variants":["Modified Ricci bound caps Witten eigenvalues by model balls","Cheng-type bounds: weighted eigenvalues under Ricci controls","Witten and p-Laplacian eigenvalues limited by model spheres","Lower modified Ricci forces Dirichlet eigenvalues below models","Weighted eigenvalues on balls dominated by spherical models"]},"model":"grok-4.5","effort":"low","cost_usd":0.005668,"raw_usage":{"total_tokens":1362,"prompt_tokens":626,"num_sources_used":0,"completion_tokens":74,"cost_in_usd_ticks":56680000,"prompt_tokens_details":{"text_tokens":626,"audio_tokens":0,"image_tokens":0,"cached_tokens":0},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":662,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":626,"tokens_out":74,"duration_ms":5808,"temperature":1.0,"reasoning_tokens":662,"cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-11T16:48:29.978066+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Construct an explicit complete manifold with a non-radial weight whose modified Ricci curvature meets the stated lower bound, compute the first Dirichlet eigenvalue of the Witten-Laplacian (or weighted p-Laplacian) on a geodesic ball, and check whether it exceeds the first eigenvalue of the corresponding (n+1)-dimensional model ball.","supporting_citations":[],"review_version":1}