{"id":"21443eb6-7fe0-420e-a8a4-b43d6eaec4e4","arxiv_id":"2506.12435","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors prove λ1 > 2E for almost all non-symmetric standard Einstein manifolds G/H with G simple, implying Schwahn's stable examples are linearly stable for Perelman's ν-entropy.","lead":"This paper estimates the smallest positive eigenvalue of the Laplace-Beltrami operator for a large class of homogeneous Einstein manifolds, and uses the estimate to upgrade a known stability result to linear stability of Perelman's ν-entropy. For all but a few explicitly listed spaces, the estimate λ1 > 2E holds, so the 112 stable Einstein manifolds found by Paul Schwahn are ν-stable.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.5's assertion that λ1>2E except five listed cases is false: Family XIII with (n,k)=(1,4) and (2,3) has λ1=2E, so the abstract's count of seven exceptions understates the true number.","rationale":"The reader's stated weakest assumption was the reliability of externally cited classification lists and branching rules. While that is a legitimate verification concern, the present review found a more direct internal mathematical error: the proof of Family XIII in §5.2 miscomputes the condition for λ1>2E, missing at least two cases where λ1=2E. This makes Theorem 1.5 false as stated and the abstract's count of seven exceptions inaccurate. The error is load-bearing because the paper's headline result is precisely the classification of when λ1>2E fails. However, the two missed cases are G-unstable and thus not part of Schwahn's H.stable list, so the paper's main application—ν-stability of the 112 H.stable manifolds—is likely unaffected. The appropriate disposition is therefore not rejection but conditional acceptance: the theorem statement and abstract must be corrected (e.g., by adding the equality cases or by explicitly excluding G-unstable families from the strict-inequality claim), and the consequence for Schwahn's list re-verified. This is a concrete, checkable error rather than a matter of external consensus, so it overrides the reader's more cautious external-reliability concern as the most load-bearing issue.","tokens_in":42545,"tokens_out":18790,"duration_ms":202837,"concrete_test":"Recompute λ1 and 2E for Family XIII with (n,k)=(1,4) and (2,3) using the formulas in §5.2 and Table 7: for (1,4), λ1=4/5, 2E=1/2+3/10=4/5; for (2,3), λ1=6/7, 2E=1/2+5/14=6/7. Verify that both give equality, and check whether either space appears in Schwahn's H.stable list. If neither appears, the consequence for the 112 spaces survives, but Theorem 1.5's second assertion still needs amendment to list these equality cases.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The paper's central universal claim—that λ1>2E for all non-symmetric standard Einstein manifolds with G simple except seven spaces—is false as stated. In §5.2, Family XIII, the authors derive λ1 = nk/(nk+1) and 2E = 1/2 + (2n+1)/(2(nk+1)), then state that λ1>2E iff n(k−2)>2, 'which always holds excepting the case n=1 and k=3.' This inequality analysis is wrong: for (n,k)=(1,4), n(k−2)=2, giving λ1=4/5 and 2E=4/5; for (n,k)=(2,3), n(k−2)=2, giving λ1=6/7 and 2E=6/7. In both cases λ1=2E, contradicting the strict inequality λ1>2E. These two spaces are not among the five exceptions listed in Theorem 1.5's second assertion, nor are they among the total of seven exceptions claimed in the abstract. Theorem 1.5 and the abstract are therefore internally inconsistent. Both spaces belong to Family XIII, which is G-unstable per Table 7, so the final conclusion about Schwahn's 112 H.stable manifolds may still hold; however, the paper's headline theorem overclaims and must be corrected or explicitly restricted before the result can be accepted as stated.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the smallest positive Laplace eigenvalue λ1 of the standard metric on connected, simply connected, non-symmetric standard Einstein manifolds (G/H, g_st) with G simple. It proves a uniform lower bound λ1 ≥ 1 in most cases, computes λ1 exactly in several families and isolated cases, and combines these results with Schwahn's H-stability classification to conclude that all 112 H-stable manifolds in Schwahn's list are actually ν-stable, i.e. linearly stable for Perelman's ν-entropy. The main tools are the representation-theoretic description of the Laplace spectrum, a finite list of representations with λ_π ≤ 1 reproduced from [SW22], and a case-by-case branching-rule analysis.","tokens_in":42811,"tokens_out":7511,"duration_ms":86006,"significance":"If correct, the paper gives a clean and essentially complete solution to the conformal-direction half of the ν-stability criterion for a large class of homogeneous Einstein manifolds. The reduction of the spectral problem to finite representation-theoretic checks is elegant, the exceptional cases are computed explicitly, and the paper is transparent about its use of LieART and Sage, including a reproducible sample script. The connection to Schwahn's list is valuable: it upgrades 112 known H-stable examples to ν-stable ones, identifying them as candidates for dynamical stability under Ricci flow. However, the central exception list in Theorem 1.5 and the abstract's count of exceptions contain a concrete arithmetic error that must be corrected before the paper's headline claim is accurate.","major_comments":[{"comment":"The inequality analysis for Family XIII is incorrect. The authors correctly derive λ1 = nk/(nk+1) and 2E = 1/2 + (2n+1)/(2(nk+1)), and the equivalence λ1 > 2E iff n(k−2) > 2. But the next sentence, 'which always holds excepting the case n = 1 and k = 3', is false. For (n,k) = (1,4), n(k−2) = 2, so λ1 = 4/5 = 2E; for (n,k) = (2,3), n(k−2) = 2, so λ1 = 6/7 = 2E. These two simply connected spaces belong to Family XIII and are not among the five exceptions listed in the second assertion of Theorem 1.5, nor are they counted in the abstract's 'excepting 7 spaces'. Thus Theorem 1.5 and the abstract overstate the exception count and are internally inconsistent. Because both spaces are G-unstable according to Table 7, the application to Schwahn's 112 H-stable manifolds appears to survive, but Theorem 1.5 and the abstract must be corrected by adding these equality cases (or otherwise restricting the claim).","section":"§5.2, Family XIII and Theorem 1.5"}],"minor_comments":[{"comment":"The bullet 'g ≃ sp(n), where λ1 = n/(n+1)' is ambiguous: it must cover both Family XIII, where g = sp(nk) and λ1 = nk/(nk+1), and Family XIV, where g = sp(3n−1) and λ1 = (3n−1)/(3n). Please write the exception as 'g ≃ sp(N) with λ1 = N/(N+1)' to avoid confusion.","section":"Theorem 1.5, first bullet"},{"comment":"The paper cites LieART branching rules extensively and states that all were double checked with Sage, but only one Sage run is displayed. For reproducibility, please provide the full set of branching checks or a short script that verifies all entries in Tables 4–8.","section":"Remark 4.3 and §4.7"},{"comment":"The abstract's count of '7 spaces' will need revision once the equality cases in Family XIII are included; the corrected count should be stated consistently with the revised Theorem 1.5.","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":"The paper is a strong contribution and the main application to Schwahn's 112 H-stable manifolds appears to be unaffected by the error. The mistake is localized to the exception list and is easily fixable, so I do not regard it as fatal. However, the headline theorem as stated is false, and the discrepancy between the abstract and the body is serious enough that acceptance without correction is not appropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: the stress-test note is right. In Section 5.2, Family XIII, the paper itself derives λ1 = nk/(nk+1) and 2E = 1/2 + (2n+1)/(2(nk+1)), so λ1 > 2E iff n(k−2) > 2. For (n,k) = (1,4) and (2,3), n(k−2) = 2, giving λ1 = 2E exactly. The paper then says the inequality holds except for n=1,k=3, which is simply wrong. Those two spaces are not among the five exceptions in Theorem 1.5, so the theorem and the abstract's count of seven exceptions are false as stated.\n\nWhat is genuinely new here: the λ1 estimates for non-symmetric standard Einstein manifolds with G simple, and the conversion of Schwahn's H.stability results into ν-stability. The method is sound—reduce everything to finitely many representation-theoretic checks via Proposition 3.2 and Table 2. The exact values for the exceptional spaces look credible, and the Sage computation displayed is a good sign. The main application survives the bug: the two missed Family XIII spaces are already G-unstable, hence ν-unstable, so the conclusion about the 112 H.stable spaces being ν-stable appears to hold.\n\nSoft spots: the proof leans heavily on branching rules cited to LieART and only one Sage run is shown. That is a verification issue rather than a structural flaw, but a referee should ask for the full scripts or more displayed checks. The transcription of the Wolf/Manturov/Krämer and Wang-Ziller classifications is also load-bearing; the authors do seem to have been careful with the tables, and the corrections they note to Schwahn's constants are sensible.\n\nBottom line: I would send this to a serious referee. It needs a correction in Theorem 1.5 and the abstract—either restrict the strict inequality claim or add the two equality cases and adjust the count. After that, the paper should be publishable. The main theorem's application to Schwahn's 112 spaces appears to hold, and the paper is worth citing for its λ1 estimates.","headline":"Useful paper with a real statement-level bug: Theorem 1.5 misses two equality cases in Family XIII, but the main application to Schwahn's 112 spaces survives.","tokens_in":43361,"tokens_out":3172,"would_cite":true,"duration_ms":38013,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["58C40","53C25","53C30","53C44"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that for connected, simply connected, non-symmetric standard Einstein manifolds with a simple transit Lie group, the first eigenvalue of the Laplace–Beltrami operator exceeds twice the Einstein constant in every case…","keywords":["ν-stability","Perelman entropy","first Laplace eigenvalue","standard Einstein manifold","isotropy irreducible space","homogeneous Einstein manifold","branching rules","Lichnerowicz Laplacian"],"falsifier":"Independently recompute, with a different software package, the subgroup decompositions for every entry covered by Proposition 3.2, and scan the classified lists for any space whose first Laplace eigenvalue is at most twice its Einstein constant; a single such space outside the seven named exceptions would refute the main theorem.","tokens_in":42331,"feed_emoji":"📐","tokens_out":10845,"duration_ms":119206,"temperature":0.7,"pith_summary":"The paper establishes a spectral-gap result for the Laplacian on an entire class of homogeneous Einstein manifolds: on every connected, simply connected, non-symmetric standard Einstein manifold $G/H$ with $G$ simple, the first positive eigenvalue satisfies $\\lambda_1 \\ge 1 > 2E$ except for seven explicit spaces. The comparison with $2E$ matters because $\\lambda_1 \\le 2E$ is exactly the signature of unstable conformal directions for Perelman's $\\nu$-entropy. Combining the gap with existing Lichnerowicz-Laplacian estimates, the paper concludes that all 112 Einstein manifolds known to be stable for the Hilbert functional are also linearly stable for the $\\nu$-entropy, and hence candidates for dynamic stability under Ricci flow. The proof is a systematic reduction: a finite table of low-eigenvalue representations and a finite set of branching checks decide every case.","feed_headline":"All 112 stable Einstein spaces pass the ν-entropy stability test","feed_subtitle":"A spectral gap in the Laplace spectrum rules out unstable conformal directions except in five known cases.","key_machinery":"The load-bearing object is Table 2: the complete list of irreducible representations $\\pi$ of complex simple Lie algebras whose Casimir eigenvalue $\\lambda_\\pi \\le 1$, together with Proposition 3.2, which converts the spectral condition $\\lambda_1 \\ge 1$ into the vanishing of $H$-invariant vectors in at most two or three representations per Lie type. Theorem 3.1 expresses the spectrum of the standard metric as the set of Casimir eigenvalues $\\lambda_\\pi$ of spherical representations, with multiplicities $d_\\pi d_H^\\pi$, so $\\lambda_1$ is the smallest nonzero Casimir eigenvalue among representations admitting an $H$-fixed vector. Checking that the trivial $H$-representation does not appear in the relevant branching rules then proves the bound, and the Einstein factor enters through the Wang–Ziller inequality $1/2 \\le 2E \\le 1$.","core_discovery":"On the paper's own terms, the $\\nu$-stability type of a non-round Einstein metric is decided by two numbers: the smallest TT-eigenvalue $\\lambda_L$ of the Lichnerowicz Laplacian and the first Laplace eigenvalue $\\lambda_1$. Previous work settled $\\lambda_L$ for many homogeneous spaces; this paper settles $\\lambda_1$ for essentially all standard Einstein manifolds with a simple transit group. The result is that $\\lambda_1(G/H,g_{\\mathrm{st}}) \\ge 1$, while the Wang–Ziller bound gives $2E \\le 1$ with equality only in locally symmetric cases, so $\\lambda_1 > 2E$ except for $G_2/\\mathrm{SU}(3)$ and $\\mathrm{Spin}(7)/G_2$ among strongly isotropy irreducible spaces, and for $\\mathrm{sp}(3)/(\\mathrm{sp}(1)\\oplus\\mathrm{sp}(1)\\oplus\\mathrm{sp}(1))$, $\\mathrm{sp}(2)/(\\mathrm{sp}(1)\\oplus\\mathrm{u}(1))$, $\\mathrm{sp}(5)/(\\mathrm{sp}(2)\\oplus\\mathrm{u}(3))$, $\\mathrm{Spin}(8)/G_2$, and $F_4/\\mathrm{Spin}(8)$ among isotropy reducible spaces. The two round-sphere exceptions are $\\nu$-stable for separate reasons, so only the five $G$-unstable spaces carry $\\nu$-unstable conformal directions. Feeding the known H.stability data into the criterion $\\lambda_L > 2E$ and $\\lambda_1 > 2E$ yields $\\nu$-stability for all 112 previously stable Einstein manifolds.","pith_inferences":["Beyond the paper: the reduction to a finite table suggests a general algorithm for any standard homogeneous Einstein space: decide $\\lambda_1 > 2E$ by inspecting a Lie-type-dependent finite list of low Casimir weights, and the same recipe applies to spaces with non-simple $G$ once the analogous comparison for $E$ is established.","Beyond the paper: a structural pattern emerges: for these spaces $\\lambda_1 < 2E$ is rare and always accompanied by $G$-instability, whereas $\\lambda_L < 2E$ is comparatively common; if this separation persists in larger classes, conformal directions are a less frequent source of $\\nu$-instability than TT-direction directions.","Beyond the paper: the seven exceptional spaces cluster into two types, round spheres and five spaces built from low-dimensional symplectic, spin, or exceptional representations; a testable extension is to check whether all $\\nu$-unstable conformal directions in the broader Wang–Ziller classification arise from these same representation-theoretic shapes."],"forward_implications":["Every one of the 112 H.stable Einstein manifolds listed in [Sc24] is $\\nu$-stable, so its Perelman entropy has negative-definite second variation in all non-trivial directions.","Exactly five isotropy-reducible standard Einstein spaces with simple $G$ have $\\nu$-unstable conformal directions: $\\mathrm{sp}(3)/(\\mathrm{sp}(1)\\oplus\\mathrm{sp}(1)\\oplus\\mathrm{sp}(1))$, $\\mathrm{sp}(2)/(\\mathrm{sp}(1)\\oplus\\mathrm{u}(1))$, $\\mathrm{sp}(5)/(\\mathrm{sp}(2)\\oplus\\mathrm{u}(3))$, $\\mathrm{Spin}(8)/G_2$, and $F_4/\\mathrm{Spin}(8)$; all five were already $G$-unstable.","Among the ten infinite families of non-symmetric strongly isotropy irreducible spaces, 60 members have their $\\nu$-stability decided, always as $\\nu$-stable; this corrects a miscount in [Sc24].","No non-symmetric standard Einstein manifold with simple $G$ has both $\\lambda_L \\ge 2E$ and $\\lambda_1 < 2E$, so the two sources of $\\nu$-instability do not mix in this class.","The 112 $\\nu$-stable spaces are candidates for dynamical stability under the Ricci flow, since $\\nu$-semistability is a known necessary condition for a compact shrinking Ricci soliton to be dynamically stable."],"supporting_citations":[{"why":"Supplies Table 2, the list of irreducible representations with Casimir eigenvalue at most 1, which Proposition 3.2 converts into finite branching checks.","marker":"[SW22]"},{"why":"Classifies normal homogeneous Einstein manifolds with simple G and reducible isotropy, and gives the bound 1/2 ≤ 2E ≤ 1 used to turn λ1 ≥ 1 into λ1 > 2E.","marker":"[WZ85]"},{"why":"Provides the 112 H.stable, two H.semistable and two neutrally H.stable Einstein manifolds whose ν-stability is the paper's target.","marker":"[Sc24]"},{"why":"Classifies strongly isotropy irreducible spaces, the source of Tables 3–5 and the coverage argument for round-sphere quotients.","marker":"[Wo68]"},{"why":"Determines G-stability for isotropy-reducible standard Einstein manifolds, identifying the five already-unstable cases and the H.stability data used in the ν-stability conclusions.","marker":"[LL23]"},{"why":"Supplies the branching-rule tables used to check that trivial H-representations do not occur in the relevant low-Casimir representations.","marker":"[LieART]"},{"why":"Provides independent verification of branching laws and the computational values of λ1 reported in Tables 4–6 and 8.","marker":"[Sage]"},{"why":"Establishes that ν-stability of a non-round Einstein metric is equivalent to λ_L > 2E and λ1 > 2E, the criterion the paper applies.","marker":"[CH15]"},{"why":"Computes λ1 = 1 for all standard full flag manifolds, covering the flag-manifold families and isolated toral cases.","marker":"[Ya79]"}],"fun_headline_variants":["All 112 stable Einstein spaces now ν-stable","λ1 > 2E settles ν-stability for all 112 Einstein manifolds","Five exceptions cleared: ν-stability holds for all 112","Spectral gap rules out ν-unstable directions in all 112","Laplace eigenvalue bound completes ν-stability proof"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The universal claim rests on the completeness and correct transcription of the classification lists of strongly isotropy irreducible and normal homogeneous Einstein spaces, and on the subgroup representation decompositions used in the finite checks; a missing space or a wrong decomposition would invalidate the conclusion for that entry.","fun_headline_variants_meta":{"raw":{"variants":["All 112 stable Einstein spaces now ν-stable","λ1 > 2E settles ν-stability for all 112 Einstein manifolds","Five exceptions cleared: ν-stability holds for all 112","Spectral gap rules out ν-unstable directions in all 112","Laplace eigenvalue bound completes ν-stability proof"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001064,"raw_usage":{"total_tokens":4528,"prompt_tokens":1079,"completion_tokens":3449,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":695,"completion_tokens_details":{"reasoning_tokens":3376}},"tokens_in":695,"tokens_out":3449,"duration_ms":27864,"temperature":1.0,"reasoning_tokens":3376,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T00:50:51.301752+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Independently recompute, with a different software package, the subgroup decompositions for every entry covered by Proposition 3.2, and scan the classified lists for any space whose first Laplace eigenvalue is at most twice its Einstein constant; a single such space outside the seven named exceptions would refute the main theorem.","supporting_citations":[],"review_version":1}