{"id":"88dd87cd-975a-4c52-9dd6-f0768552891a","arxiv_id":"2504.10142","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":4.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors prove upper bounds on the width of torical bands and rigidity results under lower spectral Ricci and scalar curvature bounds via the warped μ-bubble method.","lead":"The paper uses the warped μ-bubble method to prove that torical bands have bounded width under lower spectral Ricci and scalar curvature bounds, plus some rigidity statements. A smart generalist might read it to see how curvature conditions constrain the size of certain geometric objects in manifolds.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"Warped μ-bubble stability inequality may not follow from spectral (vs. pointwise) curvature bounds without extra steps","rationale":"The reader’s weakest assumption correctly isolates the single technical step whose correctness determines whether the spectral hypotheses suffice. Because the abstract supplies no further information and the full text was not reproduced here, no stronger or different objection can be formulated; the same point remains the load-bearing one.","tokens_in":1527,"tokens_out":308,"duration_ms":18527,"concrete_test":"In the proof of the main width estimate (likely the statement in §3 or Theorem 1.1), isolate the inequality obtained after varying the μ-bubble functional; substitute the spectral lower bound directly into that inequality and verify whether the resulting integral is non-positive without invoking an additional pointwise comparison or cutoff argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires that a lower bound on the first eigenvalue of the Ricci or scalar curvature operator (the spectral bound) is sufficient to close the stability estimate for the warped μ-bubble in the torical band setting. Standard μ-bubble arguments derive a contradiction or width bound from a pointwise lower bound on scalar curvature that controls the second variation operator; replacing this with an L² or eigenvalue bound introduces an integration-by-parts or test-function step whose validity under only spectral assumptions is not automatic and must be checked against the precise definition of “spectral Ricci/scalar curvature” used in the paper.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript applies the warped μ-bubble method to obtain an upper bound on the width of torical bands under the assumption of a lower bound on the first eigenvalue of the Ricci curvature operator together with a lower bound on the first eigenvalue of the scalar curvature operator; rigidity statements are also derived.","tokens_in":1650,"tokens_out":270,"duration_ms":30577,"significance":"If the technical extension of the μ-bubble stability inequality to spectral (rather than pointwise) curvature bounds is valid, the result would furnish band-width estimates under strictly weaker hypotheses than those in the existing literature, which is a meaningful advance in comparison geometry.","major_comments":[{"comment":"The central derivation requires that a lower spectral Ricci/scalar bound implies the stability inequality used to control the second variation of the warped μ-bubble (the step that produces the width upper bound). The standard argument relies on a pointwise lower bound; the manuscript must supply the precise integration-by-parts or test-function argument that closes the estimate under only an L²-eigenvalue hypothesis, and this justification is not visible from the abstract.","section":"Main proof (likely §3 or the section containing the μ-bubble construction)"}],"minor_comments":[],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their careful reading and for recognizing the potential significance of extending band-width estimates to spectral curvature bounds. We address the single major comment below and will revise the manuscript to make the argument fully explicit.","responses":[{"response":"We agree that the transition from pointwise to spectral bounds requires a clear, self-contained justification and that the current presentation does not make the steps sufficiently transparent. In the manuscript the argument appears in the proof of the main width estimate (Theorem 1.1), where the first eigenfunction of the scalar curvature operator and the first eigenform of the Ricci curvature operator are used as test functions in the second-variation formula for the warped μ-bubble. The Rayleigh-quotient characterization of the eigenvalues then supplies the integrated lower bounds after integration by parts against these test functions. Nevertheless, the referee is correct that the precise cancellations and the manner in which the L²-eigenvalue hypothesis replaces the pointwise bound are not written out in full detail. In the revised version we will insert a new Lemma 3.3 that isolates this step, containing the complete integration-by-parts calculation, the choice of test functions, and the resulting inequality that directly yields the width upper bound. This addition will occupy roughly two pages and will be placed immediately before the application to torical bands.","revision_made":"yes","referee_comment":"[Main proof (likely §3 or the section containing the μ-bubble construction)] The central derivation requires that a lower spectral Ricci/scalar bound implies the stability inequality used to control the second variation of the warped μ-bubble (the step that produces the width upper bound). The standard argument relies on a pointwise lower bound; the manuscript must supply the precise integration-by-parts or test-function argument that closes the estimate under only an L²-eigenvalue hypothesis, and this justification is not visible from the abstract."}],"tokens_in":1086,"tokens_out":405,"duration_ms":25581,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The central claim is that a lower bound on the first eigenvalue of the Ricci or scalar curvature operator is enough to run the warped μ-bubble argument and produce an upper bound on band width for torical bands, plus some rigidity statements. That is the one concrete new estimate the paper delivers. The authors take an existing technique that has been used with pointwise curvature bounds and apply it in the spectral setting, which is a direct and reasonable extension rather than a wholesale reinvention. If the details check out, it gives people working on width estimates one more setting where the method works. The paper stays inside the standard framework of μ-bubbles and torical bands, so the technical novelty sits in handling the spectral assumption rather than in new geometric constructions. The abstract does not suggest circularity or heavy reliance on prior self-citations to close the argument. The soft spot is the one flagged in the stress test. Standard μ-bubble proofs obtain the second-variation inequality from a pointwise lower bound on scalar curvature that directly controls the integrand. Replacing that with an L² or eigenvalue bound requires an extra step—either a suitable test function or an integration-by-parts argument—to recover the needed integral inequality. The abstract gives no indication of how that step is carried out, so the result stands or falls on whether that passage is valid under the precise definition of spectral curvature used here. If the paper supplies a clean justification, the claim holds; if it glosses over it, the estimate is not yet on firm ground. This is a paper for readers already following the μ-bubble program or working on spectral versions of comparison theorems in geometric analysis. A specialist will get value from seeing the adaptation written out, even if the result is incremental. It is narrow enough that most people outside that circle will not need it. The work shows clear engagement with the literature and a concrete claim, so it deserves a serious referee who can check the stability step in detail rather than a desk rejection.","headline":"Chai and Sun adapt the warped μ-bubble method to spectral lower bounds on Ricci and scalar curvature to bound the width of torical bands, with the main question being whether the stability inequality carries over without extra work.","tokens_in":2136,"tokens_out":485,"would_cite":false,"duration_ms":34362,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Cost/FunctionalEquation.lean","rs_theorem":"washburn_uniqueness_aczel","paper_passage":"We use the warped μ-bubble method to study the consequences of a spectral curvature bound... lower spectral Ricci curvature bound and lower spectral scalar curvature bound"},{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/RealityFromDistinction.lean","rs_theorem":"reality_from_one_distinction","paper_passage":"the operator −4/(4−γ)Δ_Σ + Sc_Σ is positive on ∂Ω which is a contradiction"}],"headline":"Spectral band-width estimates via warped μ-bubbles lie outside RS forcing chain","alignment":"orthogonal","rationale":"The paper's core machinery (warped μ-bubble stability operator derived from second variation, insertion of spectral Ricci/scalar eigenvalue inequalities into the stability form, and resulting width/rigidity conclusions for torical bands) operates entirely within classical Riemannian geometry and variational calculus. It neither invokes nor parallels the RS recognition-cost functional J, the φ-ladder, 8-tick periodicity, or any parameter-free derivation from a single distinction. No RS-shaped structure (cosh-cost, ratio symmetry, J-cost forcing) appears.","tokens_in":63097,"confidence":"high","tokens_out":313,"duration_ms":14028,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Lower spectral Ricci and scalar curvature bounds imply an upper bound on the width of a torical band.","keywords":["band width","spectral curvature bound","torical band","warped mu-bubble","rigidity","Ricci curvature","scalar curvature","differential geometry"],"falsifier":"A torical band with arbitrarily large width on a manifold that still obeys the lower spectral Ricci and scalar curvature bounds would falsify the estimate.","tokens_in":2427,"feed_emoji":"📏","tokens_out":476,"duration_ms":42987,"temperature":0.7,"pith_summary":"The paper applies the warped μ-bubble method to manifolds with spectral curvature bounds. It establishes that a torical band has width bounded above when both spectral Ricci curvature and spectral scalar curvature are bounded from below. The argument also produces rigidity statements in equality cases. A sympathetic reader cares because these integrated spectral conditions are weaker than pointwise curvature bounds yet still control the global size of bands.","feed_headline":"Spectral bounds limit torical band widths","feed_subtitle":"The warped μ-bubble method yields an upper bound from lower spectral Ricci and scalar curvature conditions.","key_machinery":"The warped μ-bubble method, which is extended to produce width estimates under the stated spectral curvature conditions.","core_discovery":"With a lower spectral Ricci curvature bound and a lower spectral scalar curvature bound, the band width of a torical band is bounded above. Rigidity results are also obtained.","pith_inferences":["This approach extends classical width estimates that used pointwise curvature to the weaker spectral setting.","The rigidity statements may identify model spaces achieving the bound, such as products with standard metrics.","Similar spectral bounds could be tested for width control on other classes of bands or hypersurfaces."],"forward_implications":["The width of a torical band is bounded above by a constant depending on the spectral curvature bounds.","Rigidity holds in the case of equality.","The bound applies to any manifold carrying the given spectral curvature conditions.","The method yields geometric control without requiring pointwise curvature lower bounds."],"fun_headline_variants":["Spectral bounds cap torical band widths","Lower spectral bounds restrict band widths","Curvature conditions bound torical widths","Spectral curvature bounds torical band widths","Lower Ricci scalar bounds limit band widths"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The warped μ-bubble method extends from its usual setting to manifolds satisfying the stated lower spectral Ricci and scalar curvature bounds in a way that produces the width estimate.","fun_headline_variants_meta":{"raw":{"variants":["Spectral bounds cap torical band widths","Lower spectral bounds restrict band widths","Curvature conditions bound torical widths","Spectral curvature bounds torical band widths","Lower Ricci scalar bounds limit band widths"]},"model":"grok-4.3","cost_usd":0.008488,"raw_usage":{"total_tokens":3640,"prompt_tokens":436,"num_sources_used":0,"completion_tokens":52,"cost_in_usd_ticks":84878000,"prompt_tokens_details":{"text_tokens":436,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3152,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":436,"tokens_out":52,"duration_ms":29193,"temperature":1.0,"reasoning_tokens":3152,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-22T20:36:06.366750+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A torical band with arbitrarily large width on a manifold that still obeys the lower spectral Ricci and scalar curvature bounds would falsify the estimate.","supporting_citations":[],"review_version":1}