{"id":"4cbd0dfb-6c60-430f-942d-d9d58aa3bd9b","arxiv_id":"2509.00197","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"For finite-volume hyperbolic 3-manifolds, the hyperbolic metric uniquely minimizes minimal surface entropy among sectional curvature at most -1 metrics and uniquely maximizes it among scalar curvature at least -6 metrics under rigidity or C0-closeness hypotheses.","lead":"This paper proves that among curved metrics on cusped 3-dimensional hyperbolic spaces, the hyperbolic metric gives the fewest essential minimal surfaces when curvature is at most -1, and the most when scalar curvature is at least -6. It extends a counting program from closed manifolds to finite-volume cusped ones, using Ricci flow as the main engine.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem C's proof depends on an unproved interpolation metric (7.3) with simultaneous curvature bounds R≥−6 and sec≤0; for arbitrary weakly cusped h this existence is not established.","rationale":"The reader's weakest_assumption grouped the companion-paper stability estimates with the interpolation gap. I focus on the interpolation because it is a gap internal to this manuscript and can be checked independently of [29]. The central claim of Theorem C is the upper bound E(h)≤2 for all weakly cusped h with R(h)≥−6. The proof's reduction to the Ricci-flow setup requires h_i; if the asserted interpolation is not always possible, the reduction is invalid. This is not an 'outside current consensus' objection: it is a missing proof in the argument as written. I do not see a contradiction that would justify REJECT; the rest of the structure follows the closed-manifold templates, and the later curvature estimates are plausible. Therefore the conditional verdict stands, with this interpolation existence as the concrete point to close.","tokens_in":52131,"tokens_out":19782,"duration_ms":241621,"concrete_test":"Construct an explicit weakly cusped, non-asymptotically cusped metric h with R(h)≥−6 and sec(h)≤0 outside a compact set (e.g., a non-product nonpositively curved metric on T²×[s0,∞) glued to h0), and try to produce h_i satisfying all three lines of (7.3) on the transition annulus. If no such h_i exists for some admissible h, Theorem C's proof has a genuine gap; if one does, write out the construction and verify R(h_i)≥−6 and sec(h_i)≤0 explicitly.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing unresolved step in the proof of Theorem C is the construction of the modified metrics h_i in §7.1, eq. (7.3). For a general weakly cusped metric h—only sec(h)≤0 outside a compact set, with no asymptotic control—the paper asserts a smooth interpolation on the annulus M(2s_i)\\M(s_i) between h and h0 that satisfies both R(h_i)≥−6 and sec(h_i)≤0. Sectional curvature is not preserved under convex combinations of metrics, and h is not assumed close to h0, so this is not a standard gluing lemma. Every subsequent step of Proposition 7.1—running Ricci flow with bubbling-off from h_i, identifying area minimizers, applying Theorem 6.2—starts from this h_i. If such h_i cannot be constructed for some admissible h, the contradiction argument in §7.4 fails, and the inequality E(h)≤2 in Theorem C is not established. The same type of curvature-constrained modification is implicitly used again just before (7.4) when h_i(t_i) is changed on the thin part to meet the C²-closeness hypothesis of Theorem 6.2. No proof or reference is supplied for either interpolation.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper extends the recently developed theory of minimal surface entropy from closed hyperbolic 3-manifolds to finite-volume hyperbolic 3-manifolds with cusps. Theorem A computes the entropy of the hyperbolic metric, E(h0)=E_{μLeb}(h0)=2, using Kahn–Wright surface subgroups and a new equidistribution statement for the associated minimal surfaces. Theorem B proves E(h)≥2 when sec(h)≤−1, with rigidity under an additional bilipschitz and lower-curvature assumption. Theorems C and D prove upper bounds E(h)≤2 and E_{μLeb}(h)≤2 under R(h)≥−6 for weakly cusped metrics, with rigidity in the asymptotically cusped case. The upper-bound arguments follow the closed-case strategy of Lowe and Lowe–Neves, replacing compact stability by quantitative exponential convergence of the normalized Ricci–DeTurck flow to the hyperbolic metric in weighted Hölder spaces.","tokens_in":52368,"tokens_out":8041,"duration_ms":101611,"significance":"If the results are correct, this is a substantial advance: it establishes entropy rigidity for finite-volume hyperbolic 3-manifolds, a setting where noncompactness creates genuinely new difficulties, and it provides a template for using quantitative Ricci-flow stability in entropy problems. The paper contains several strong ingredients, including a clean spectral estimate (5.6), a detailed adaption of the Kahn–Wright construction to prove equidistribution of minimal surfaces, and a careful treatment of area minimizers in weakly cusped metrics. The entropy comparisons are genuine two-sided squeezes with no fitted parameters. However, the upper-bound theorems C and D depend on two load-bearing external inputs: the quantitative stability theorem 6.2 and the eigentensor-convergence lemma 7.4, both sourced from the unpublished companion paper [29], and on an unproved curvature-controlled interpolation of metrics in §7.1. These gaps currently prevent the paper from being fully self-contained and verifiable.","major_comments":[{"comment":"The proof of Proposition 7.1, and hence Theorem C, relies on constructing, for each i, a metric h_i equal to h on M(s_i), equal to h0 on M(2s_i)^c, and smoothly interpolating between h and h0 on the annulus M(2s_i)\\M(s_i), with the simultaneous bounds R(h_i)≥−6 and sec(h_i)≤0. This existence is asserted without proof or reference. This is not a standard gluing lemma: sectional curvature is not preserved under convex combinations of metrics, and h is only weakly cusped, so it is not close to h0 in any norm. The subsequent applications of Lemma 3.2, the flow starting from h_i, and the containment of area minimizers all depend on this h_i. The same kind of unproved modification is used again before Eq. (7.4) when h_i(t_i) is changed on the thin part to obtain C^2-closeness to h0 while preserving the relevant curvature and minimizer properties. A proof of such an interpolation, or a reformul","section":"§7.1, Eq. (7.3)"},{"comment":"Theorems C and D rest on quantitative exponential convergence of the normalized Ricci–DeTurck flow to the hyperbolic metric in weighted Hölder spaces (Theorem 6.2) and on the subsequential convergence of e^t(h(t)−h0) to a −1 eigentensor of the linearized operator (Lemma 7.4). Theorem 6.2 is cited from the unpublished companion paper [29] with no proof, and Lemma 7.4's proof invokes equation (7.1), Proposition B.2, and equation (6.16) of [29]. Since these statements carry the main analytic weight of the upper-bound and rigidity arguments, the manuscript is not self-contained. For a journal submission, the relevant companion results should be either incorporated into the paper or replaced by complete proofs, especially because the finite-volume cusp geometry is exactly where the weighted spaces and the L^2 eigentensor classification are needed.","section":"§6.2, Theorem 6.2; §7.3, Lemma 7.4"},{"comment":"The rigidity part of Proposition 7.1 uses Lemma 7.3(2) to conclude that e^{T_i} l_i(T_i) →0 in C^2(M(s_i)), based on Lemma 7.4 and infinitesimal rigidity. The step 'since (M,h0) is infinitesimally rigid, l_i must be 0' is stated in one sentence and is not proved. In the cusped finite-volume setting one must exclude cusp-localized L^2 eigentensors of A_{h0} with eigenvalue −1, or justify that the infinitesimal rigidity condition H^1(π1(M),Ad)=0 indeed kills all such tensors. This is particularly delicate because nontrivial Einstein variations can be supported near cusps. As written, this is an unproved load-bearing assertion; it may follow from estimates in [29], but that dependence should be made explicit and verifiable.","section":"§7.3, Lemma 7.3(2); §7.5, rigidity"}],"minor_comments":[{"comment":"The metric h_i^+(t_i) is used in Eq. (7.4) before its construction is described. The sentence beginning 'If, on the thin part...' should be expanded and placed before the displayed equation.","section":"§7.2.2"},{"comment":"The chain 'μLeb(θ(l)) = 1/2 μLeb(l) = 1/6 ∫ tr_{h0}(l) dvol_{h0}' appears to use an averaging identity for frames; the factor 1/2 versus 1/6 should be clarified, though the conclusion tr_{h0}(l)=0 makes the final contradiction independent of the precise constant.","section":"§8, after Eq. (8.17)"},{"comment":"The spectral estimate is clean and well presented. A minor notational issue: the inner product (A_{h0}(l),l) and the subsequent L^2 norms are written without explicit dvol in some displayed equations; adding the volume form would improve readability.","section":"§5.2, Eq. (5.6)"},{"comment":"In the lower bound for #S_{μLeb}(M,g,ϵ), the text says 'when g is large' after deriving the estimate only along the sequence g_k=k(g0−1)+1. The argument can be completed by comparing arbitrary large g to the preceding element of this sequence, but this should be spelled out.","section":"§2.3.3"},{"comment":"Reference [29] is listed as 'Manuscript in preparation'. Given how much of Theorems C and D depends on it, the authors should state explicitly which statements from [29] are used and, ideally, make a version of [29] available at submission.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper is likely to be a significant contribution if the companion stability results and the interpolation construction are supplied. My main concern is not the entropy-comparison framework, which appears sound and appropriately structured, but the external dependence on [29] for the two most analytic steps, and the unproved metric modification in §7.1. I would suggest requiring the authors to make Theorem 6.2 and Lemma 7.4 self-contained or to include a summary of the companion paper's proofs, and to provide a rigorous gluing lemma for Eq. (7.3). The referee should also verify that the infinitesimal-rigidity step in Lemma 7.3(2) is valid in the cusped setting, since that is where the finite-volume noncompactness is most dangerous."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Punchline: Theorem A is a genuine calculation and the paper is serious, but the upper-bound theorems C and D currently rest on an unproved interpolation metric and on stability estimates that live in the authors' unpublished companion paper. I'd referee it, but I wouldn't accept it as-is.\n\nThe genuinely new and good part is the entropy computation for finite-volume hyperbolic 3-manifolds. The Kahn-Wright surface subgroups, combined with the equidistribution result (Prop 2.4), give E(h0)=E_muLeb(h0)=2. The counting arguments are carefully adapted from the closed case, and the lower-bound direction (Theorem B) follows the expected template. The writing is clear and the paper is honest about what is imported from [29].\n\nSoft spots, in proportion. The biggest is §7.1, where for an arbitrary weakly cusped h the authors assert an interpolation metric h_i that equals h on the thick part, h0 on the thin part, and satisfies both R(h_i)>=-6 and sec(h_i)<=0 on the transition annulus. No proof or reference is given. Sectional curvature is not convex under metric interpolation, and h is not assumed close to h0, so this is not a standard gluing lemma. Every step of Proposition 7.1 runs from that h_i; if it doesn't exist for some admissible h, the contradiction in §7.4 collapses. The same kind of unproved modification appears just before (7.4) when defining h_i+(t_i). This is a load-bearing gap, not a cosmetic one.\n\nSecond, the paper imports Theorem 6.2 and Lemma 7.4 from the companion paper [29], which is listed as 'in preparation.' Those are the quantitative exponential convergence and the eigentensor limit needed for the upper-bound rigidity. Without them, Theorems C and D cannot be verified. There is also a small citation error in §7.2.2: '[8, Theorem 1.2]' is cited for local convergence of the Ricci flow, but [8] is Besson-Courtois-Gallot's entropy paper. Minor, but it suggests a late proof-reading pass is needed.\n\nWho this is for: people working on minimal surface entropy and Ricci flow rigidity in cusped manifolds. If the companion appears and the interpolation lemma gets proved, the paper will be a solid contribution. As it stands, I would not cite it as proven. It deserves a careful referee rather than a desk rejection, but my recommendation is major revision, not acceptance.","headline":"Solid entropy computation for cusped hyperbolic 3-manifolds, but the upper-bound theorems C/D rest on an unproved interpolation metric and on the unpublished companion [29]; referee it, but expect major revision.","tokens_in":52967,"tokens_out":4007,"would_cite":false,"duration_ms":48368,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C44","53C42","53C24"],"pacs":[],"model":"deepseek-v4-flash","headline":"On a finite-volume hyperbolic 3-manifold, the hyperbolic metric is the unique metric with minimal surface entropy equal to 2: it uniquely minimizes entropy under sectional curvature at most −1 and uniquely maximizes it under scalar curvatur","keywords":["minimal surface entropy","hyperbolic 3-manifolds","finite-volume cusped manifolds","Ricci flow","rigidity","scalar curvature","sectional curvature","minimal surfaces"],"falsifier":"Look at the companion paper's Theorem 6.2: compute or bound the largest eigenvalue of the linearized operator Ah0 on the weighted little Hölder spaces (it should be exactly −1 with a spectral gap), since the entire δe^{−t} argument depends on that gap. Separately, try to construct, for an arbitrary weakly cusped h with R ≥ −6, the smooth interpolation between h on the thick part and h0 on the thin part required by (7.3); the first concrete h for which no such interpolation exists would break the proof of Theorem C, and a modified construction would be needed.","tokens_in":51879,"feed_emoji":"📐","tokens_out":13228,"duration_ms":123083,"temperature":0.7,"pith_summary":"Minimal surface entropy counts, at exponential scale, how many essential minimal surfaces a metric admits up to a given area. This paper extends the rigidity theory of that entropy from closed hyperbolic 3-manifolds to finite-volume ones with cusps. It computes the entropy of the hyperbolic metric as exactly 2, the same value as in the closed case, and proves the hyperbolic metric is the unique optimizer on both sides: among metrics with sectional curvature ≤ −1 it is the unique minimizer, and among weakly cusped metrics with scalar curvature ≥ −6 it is the unique maximizer, under an infinitesimal rigidity or C0-closeness assumption. The point of the paper is that entropy detects the hyperbolic structure sharply even when the manifold is non-compact, and that the maximization half is reached through the quantitative convergence of Ricci flow rather than by comparison geometry alone.","feed_headline":"Entropy rigidity survives the cusps on hyperbolic 3-manifolds","feed_subtitle":"On cusped hyperbolic 3-manifolds, the unique metric with minimal surface entropy 2 is the hyperbolic metric.","key_machinery":"Minimal surface entropy E(h): the exponential growth rate, in L ln L, of the number of essential surface subgroups whose least-area representatives have h-area at most 4π(L − 1); at the hyperbolic metric the value is 2. The lower-bound side uses the Kahn–Wright construction of nearly Fuchsian essential surfaces in finite-covolume Kleinian groups and their equidistribution toward the Lebesgue measure on the frame bundle. The upper-bound side runs on the normalized Ricci-DeTurck flow: its quantitative exponential convergence to h0 in weighted Hölder norms decaying into the cusps (Theorem 6.2), the convergence of e^t(h(t) − h0) to a −1 eigentensor of the linearized operator (Lemma 7.4), and a m","core_discovery":"The paper claims a two-sided rigidity statement. On a finite-volume hyperbolic 3-manifold (M, h0), the minimal surface entropy of the hyperbolic metric is E_{μLeb}(h0) = E(h0) = 2 (Theorem A), exactly as for closed manifolds. In one direction (Theorem B), any metric h with sec(h) ≤ −1 satisfies E(h) ≥ 2, and if h is bilipschitz to h0 with sec(h) ≥ −k², equality holds if and only if h is isometric to h0. In the opposite direction (Theorems C and D), weakly cusped h with R(h) ≥ −6 satisfies E(h) ≤ 2 when the manifold is infinitesimally rigid, and E_{μLeb}(h) ≤ 2 when h is C0-close to h0 and asymptotically cusped, again with equality only for h isometric to h0. The upper-bound half is carried b","pith_inferences":["The upper-bound theorems are only as solid as the companion paper's quantitative stability estimate: if the exponential decay rate or the spectral gap behind Theorem 6.2 were smaller than claimed, the δe^{−t} gap in (7.6)–(7.10) would not close and Theorems C and D would lose their proof.","A natural next step, mirroring the closed case's history, is to remove the infinitesimal rigidity assumption from Theorem C; the paper's use of E_{μLeb} in Theorem D suggests measure-adapted entropy is the right tool for that removal.","The modified-metric interpolation in Section 7.1 is asserted without construction: checking whether every weakly cusped h with R ≥ −6 admits a smooth bridge between h and h0 satisfying both R ≥ −6 and sec ≤ 0 would settle the robustness of the upper-bound argument.","The exponential L1-decay of −1 eigentensors into the cusps (Lemma 8.3) suggests the obstruction to global flow convergence is confined to the ends, so a quantitative entropy-deficit estimate near h0, controlling how far entropy drops from 2 by the distance to the hyperbolic metric, might be within reach."],"forward_implications":["Theorem A fixes the hyperbolic entropy at exactly 2 for every finite-volume hyperbolic 3-manifold, so the exponential counting rate of minimal surfaces is independent of the cusp structure and matches the closed-manifold value.","Taken together, Theorems B–D sandwich the entropy of the hyperbolic metric between a sectional-curvature lower bound and a scalar-curvature upper bound, identifying the hyperbolic metric as the unique metric of entropy exactly 2 under either curvature sign condition.","Under the assumptions of Theorem C or Theorem D, attaining the value 2 forces the metric to be isometric to h0, so the entropy maximum is attained only at the hyperbolic metric whenever those hypotheses apply.","Proposition 2.4 extends the closed-manifold equidistribution of minimal surfaces to finite-volume manifolds, which is why the Lebesgue-measure entropy and the plain entropy coincide at the hyperbolic metric.","The proof shows the finite-volume upper bound on entropy can be read off from the exponential convergence rate of the flow, making entropy rigidity a corollary of parabolic stability."],"supporting_citations":[{"why":"Introduces minimal surface entropy and proves the closed-manifold baseline E(h0) = 2 with E(h) ≥ 2 under sec ≤ −1; the statements this paper extends to finite volume.","marker":"[13]"},{"why":"Constructs essential (1+ϵ)-quasigeodesic surfaces in finite-covolume Kleinian groups; supplies the surface subgroups used to compute E(h0) and the counting lower bound.","marker":"[33]"},{"why":"Provides the triangulation and counting lemmas used for the upper bound #S(M, g) ≤ (c2 g)^{2g} in Theorem A.","marker":"[31]"},{"why":"Establishes Ricci flow with bubbling-off and the stability of cusp-like metrics; guarantees long-time flow existence needed for Theorems C and D.","marker":"[7]"},{"why":"The authors' companion paper; proves the quantitative exponential convergence of the normalized Ricci-DeTurck flow (Theorem 6.2) and the −1 eigentensor convergence (Lemma 7.4) that the upper-bound proofs assume.","marker":"[29]"},{"why":"Proves stability of cusped hyperbolic manifolds under Ricci flow for C0 perturbations; used to keep the flow close to h0 and rule out Einstein variations at infinity.","marker":"[5]"},{"why":"Proves the closed infinitesimally rigid case E(h) ≤ 2 under R ≥ −6, the result Theorem C extends to finite volume.","marker":"[36]"},{"why":"Proves the closed-case E_{μLeb} ≤ 2 without infinitesimal rigidity; Theorem D is its finite-volume analogue.","marker":"[37]"}],"fun_headline_variants":["Hyperbolic metric uniquely hits entropy 2 on cusped 3-manifolds","Entropy rigidity on cusped 3-manifolds: hyperbolic is unique extremum","Cusped manifolds: hyperbolic metric alone achieves entropy 2","Hyperbolic metric uniquely extremizes surface entropy on cusped 3-manifolds"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The upper-bound theorems rest on the quantitative exponential convergence of the normalized Ricci-DeTurck flow toward the hyperbolic metric, taken from the authors' unpublished companion paper, and on the existence of a smooth interpolation metric with R ≥ −6 and sec ≤ 0 on the cusps; if either fails, Theorems C and D collapse.","fun_headline_variants_meta":{"raw":{"variants":["Hyperbolic metric uniquely hits entropy 2 on cusped 3-manifolds","Entropy rigidity on cusped 3-manifolds: hyperbolic is unique extremum","Cusped manifolds: hyperbolic metric alone achieves entropy 2","Hyperbolic metric uniquely extremizes surface entropy on cusped 3-manifolds"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001004,"raw_usage":{"total_tokens":4106,"prompt_tokens":793,"completion_tokens":3313,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":537,"completion_tokens_details":{"reasoning_tokens":3225}},"tokens_in":537,"tokens_out":3313,"duration_ms":24888,"temperature":1.0,"reasoning_tokens":3225,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T13:52:29.845873+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Look at the companion paper's Theorem 6.2: compute or bound the largest eigenvalue of the linearized operator Ah0 on the weighted little Hölder spaces (it should be exactly −1 with a spectral gap), since the entire δe^{−t} argument depends on that gap. Separately, try to construct, for an arbitrary weakly cusped h with R ≥ −6, the smooth interpolation between h on the thick part and h0 on the thin part required by (7.3); the first concrete h for which no such interpolation exists would break the proof of Theorem C, and a modified construction would be needed.","supporting_citations":[{"cited_title":"Calegari, F","cited_arxiv_id":null,"evidence_quote":"Introduces minimal surface entropy and proves the closed-manifold baseline E(h0) = 2 with E(h) ≥ 2 under sec ≤ −1; the statements this paper extends to finite volume."},{"cited_title":"Kahn and A","cited_arxiv_id":null,"evidence_quote":"Constructs essential (1+ϵ)-quasigeodesic surfaces in finite-covolume Kleinian groups; supplies the surface subgroups used to compute E(h0) and the counting lower bound."},{"cited_title":"Kahn and V","cited_arxiv_id":null,"evidence_quote":"Provides the triangulation and counting lemmas used for the upper bound #S(M, g) ≤ (c2 g)^{2g} in Theorem A."},{"cited_title":"Bessières, G","cited_arxiv_id":null,"evidence_quote":"Establishes Ricci flow with bubbling-off and the stability of cusp-like metrics; guarantees long-time flow existence needed for Theorems C and D."},{"cited_title":"Jiang and F","cited_arxiv_id":null,"evidence_quote":"The authors' companion paper; proves the quantitative exponential convergence of the normalized Ricci-DeTurck flow (Theorem 6.2) and the −1 eigentensor convergence (Lemma 7.4) that the upper-bound proofs assume."},{"cited_title":"Area, Scalar Curvature, and Hyperbolic 3-Manifolds","cited_arxiv_id":"2102.03660","evidence_quote":"Proves the closed infinitesimally rigid case E(h) ≤ 2 under R ≥ −6, the result Theorem C extends to finite volume."},{"cited_title":"Lowe and A","cited_arxiv_id":null,"evidence_quote":"Proves the closed-case E_{μLeb} ≤ 2 without infinitesimal rigidity; Theorem D is its finite-volume analogue."}],"review_version":1}