{"id":"8ae7be14-9b14-4885-96d4-387378a7c8e9","arxiv_id":"2511.06996","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"If the limit cone of a discrete subgroup avoids two unrelated Weyl-chamber facets, Quint's growth indicator is at most the half-sum of positive roots, so L²(Γ\\G) is tempered.","lead":"Given a discrete group of symmetries of a higher-rank symmetric space, this paper proves that if the group's limit cone avoids two walls of the model chamber, its growth is slow enough to make the space's representation tempered. This turns a geometric condition on directions into a spectral conclusion for many Anosov subgroups.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.1 rests on the imported equality θµ = max(0, δ'_µ) from [LWW25, Thm 1.1], which is neither proved nor independently checked here.","rationale":"I read the full manuscript. The main line from (1.3) to Theorem 1.1 is coherent: Prop 4.3 gives a maximizer v0 in L′Γ; Theorem 4.4's perturbation argument derives μΓ ∝ ωα+ιωα; with two such roots the uniqueness of μΓ gives a contradiction unless ψ′≤0. I found no internal contradiction in this chain. However, the single step with no support in this paper is (1.3). Every use of the equality is essential: without it, Prop 4.3 would only give an inequality between the spectral supremum and δ'_µ, and the proportionality in Theorem 4.4 would not follow. The reader's weakest_assumption identifies this same point; my pass confirms it. The small slips (backward inclusion in the sentence before Thm 1.1, terse algebra in Lemma 3.1, and the u.s.c. attainment in Prop 4.3) are not decisive: the u.s.c. argument is defensible once δ'_µ is finite because the ratio is homogeneous of degree 0 and can be restricted to the compact unit sphere in a+, and the inclusion typo is harmless. So the appropriate verdict remains CONDITIONAL: the result is likely correct but should not be accepted as fully verified until (1.3) is independently checked.","tokens_in":20238,"tokens_out":14390,"duration_ms":122190,"concrete_test":"Independently re-derive (1.3) from the definitions in §§2–3 without invoking [LWW25, Thm 1.1]. In particular, verify the equality for boundary functionals such as µ=ωα+ιωα with ια=α, where conv(W µ) is lower-dimensional and θµ is not covered by the interior case; if the equality cannot be reproduced for such µ, Theorem 4.4 and hence Theorem 1.1 lack a proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of the main theorem is built on (1.3): in §1.4, [LWW25, Theorem 1.1] is quoted as saying that for every ι-invariant µ∈a*_+, the spectral radius θµ equals max(0,δ'_µ). This equality is the only bridge between the spectral functional μΓ (defined in §3.2 via conv(W μΓ) = intersection of convex hulls containing ℜeσΓ) and the growth-indicator functional δ'_µ. Proposition 4.3 uses it to assert that sup_{v∈a+} μΓ(v)/µ(v) = sup_{v∈a+} ψ'_Γ(v)/µ(v) and that the latter supremum is attained at some v0∈L'_Γ; Theorem 4.4 then uses that v0 for the derivative argument that forces μΓ ∈ R_{≥0}(ωα+ιωα). Theorem 1.1 is an immediate corollary. If (1.3) has a gap—especially for the boundary functional µ=ωα+ιωα used in Theorem 4.4—the main theorem inherits the gap. [LWW25] is a co-authored preprint by the present author, not formalized and not reproduced in this paper. This is an external-assumption risk rather than an internal inconsistency; the internal argument from (1.3) to Theorem 1.1 appears coherent. A smaller slip: the sentence 'Since LΓ⊆L′Γ' before Theorem 1.1 has the inclusion backwards; the intended direction L′Γ⊆LΓ is clear and consistent with the definition of L′Γ.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies Quint's growth indicator function ψΓ for a discrete subgroup Γ of a real semisimple Lie group G. The main theorem, Theorem 1.1, states that if the limit cone LΓ avoids two facets Fα and Fβ with α ≠ β and α ≠ ιβ, then ψΓ ≤ ρ, which in turn implies that L²(Γ\\G) is tempered via [LWW25, Cor. 1.3]. The proof introduces a spectral functional µΓ and connects it to the modified critical exponents through the identity θµ = max(0, δ'_µ) from [LWW25, Thm. 1.1]. The paper also proves a sharp structural result for the maximal growth direction (Theorem 1.3), describes ψΓ on the support of µΓ (Theorem 1.4), and gives spectral consequences (Theorem 1.5), with applications to I-Anosov subgroups and to examples such as SO₀(2,n).","tokens_in":20618,"tokens_out":14931,"duration_ms":128258,"significance":"If the results are correct, this is a significant advance: it gives a clean geometric criterion for temperedness of locally symmetric spaces from the position of the limit cone, considerably strengthening earlier results for Hitchin and Borel Anosov subgroups and yielding an optimal statement for I-Anosov subgroups with two roots in distinct opposition orbits. The proof strategy — reducing the problem to the spectral functional µΓ and then using a derivative argument on the Weyl chamber — is elegant and the internal line from Proposition 4.3 to Corollary 4.7 is coherent. However, the central claim depends on the imported equality θµ = max(0, δ'_µ) from the co-authored preprint [LWW25], which is not proved or independently verified here, and the self-contained Lemma 3.1 has a flawed strict-convexity proof. The significance is therefore conditional on [LWW25] and on a repair of Lemma 3.1.","major_comments":[{"comment":"The decisive identity θµ = max(0, δ'_µ) is imported from [LWW25, Thm. 1.1], a preprint co-authored by the present author. It is not proved here and is the only bridge between the spectral functional µΓ and the growth indicator ψ'_Γ. The proof of Theorem 1.1 inherits any gap in this identity, especially for the boundary functional µ = ωα + ιωα used in Theorem 4.4. The paper should either include a proof of (1.3), provide an independent verification of the cases needed here, or state the main theorems as conditional on [LWW25].","section":"§1.4, Eq. (1.3); also §3.2, Prop. 3.3, Prop. 4.3, Thm. 4.4"},{"comment":"The proof of strict convexity is arithmetically wrong. Strict convexity of F(µ) = ∥µ∥δ'_µ requires F(sµ1+(1−s)µ2) < sF(µ1)+(1−s)F(µ2). The proof instead establishes c∥sµ1+(1−s)µ2∥ < δ'_µ1∥µ1∥ + δ'_µ2∥µ2∥, with no s and 1−s weights on the right. In the equal-δ, equal-norm case this reduces to ∥v∥ < 2, which is trivial, whereas strict convexity would require ∥v∥ < 1. Thus the uniqueness of the minimizing ray for µΓ, used in §3.1 to define µΓ, is not justified by the given proof. The argument must be repaired or the uniqueness must be obtained from the spectral definition.","section":"Lemma 3.1"},{"comment":"The passage from upper semicontinuity of ψ'_Γ to the existence of v0∈a+ attaining sup ψ'_Γ(v)/µ(v) is not justified as stated: a+ is noncompact and the quotient need not be upper semicontinuous at points where µ(v) = 0. In the application to Theorem 4.4, Lemma 4.2 supplies λ ∈ int L*Γ, so the issue is removable, but the proposition is stated for arbitrary µ ∈ a*Her+ and needs a compactness/positivity argument. Please either add such an argument or restrict the statement to µ positive on LΓ.","section":"Proposition 4.3"}],"minor_comments":[{"comment":"The sentence 'Since LΓ ⊆ L′Γ we obtain Theorem 1.1' has the inclusion reversed: by definition L′Γ ⊆ LΓ. The theorem follows from the correct inclusion, so this is a typo, but it should be fixed.","section":"Before Theorem 1.1"},{"comment":"The notation 'on aHer+' and 'on a*Her+' is confusing: the inequality for the infimum of δ'_µ µ is evaluated on ι-invariant vectors in a, not on covectors. Please clarify the notation.","section":"Proposition 3.3"},{"comment":"The definition of the growth indicator function is recalled, but the property ψΓ is positively homogeneous of degree 1 is not stated explicitly. It would help the reader verify the homogeneity arguments in §3 and §4.","section":"§2.2"},{"comment":"The text refers to 'Figure 4' and the manuscript contains a 'Figure 1' caption; the figure numbering and placement should be checked.","section":"Example after Prop. 4.8"}],"recommendation":"major_revision","confidential_remarks":"The main risk is the dependence on [LWW25, Thm. 1.1], a co-authored preprint that is not yet formally published. This is not a circularity, but it makes the central results conditional. In addition, the proof of Lemma 3.1 has a genuine gap that affects the definition of µΓ in §3.1. Both issues should be addressed before publication: either include the missing argument for (1.3) or clearly state the paper's results as establishing a conditional implication from [LWW25, Thm. 1.1] to the new facet-avoidance criteria."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThis paper proves something new: if the limit cone of Γ avoids two facets Fα and Fβ with α≠β and α≠ιβ, then the growth indicator is bounded by ρ. That implies L²(Γ\\G) is tempered, and it gives a clean corollary for I-Anosov subgroups with at least two simple roots in different opposition orbits. Previous criteria needed Borel Anosov or dimension assumptions on the limit set; this one is purely about where the limit cone sits in the Weyl chamber. If correct, that's a real advance.\n\nThe paper is also honest about its main dependence. The proof routes through [LWW25, Thm 1.1], which states θµ = max(0, δ'µ) for ι-invariant µ. That equality is the bridge between the spectral functional µΓ and the growth indicator, and it is not proved here — it's a co-authored preprint by the same author. The internal argument from (1.3) to Theorem 1.1 is coherent; I followed it and didn't find a contradiction. But the load-bearing theorem is external, unverified, and possibly not fully formalized. That's the single biggest risk.\n\nThere are also a few smaller slips. In Corollary 4.7 the inclusion is written as LΓ ⊆ L'Γ, which is backwards; the intended L'Γ ⊆ LΓ is clear from the definition and makes the inference work. In Proposition 4.3, the attainment of the supremum from upper semicontinuity is fine if you normalize to the compact unit sphere, but the paper doesn't say that, so it reads more terse than it needs to. Lemma 3.1 has a 'Cauchy-Schwartz' typo and the strict-convexity algebra is compressed. None of these look load-bearing.\n\nWho is this for? Anyone working on higher-rank discrete subgroups, temperedness, or growth indicators. It deserves a serious referee: the main result is significant and the proof is organized enough to check. The referee should specifically check [LWW25, Thm 1.1] and whether it applies at the boundary functional ωα+ιωα used in Theorem 4.4. I'd send it out rather than desk-reject.","headline":"A genuinely new cone-geometric criterion for ψΓ ≤ ρ, with a proof that is coherent but leans heavily on an unverified co-authored preprint.","tokens_in":21122,"tokens_out":3824,"would_cite":true,"duration_ms":37420,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["22E40","22E46","58C40"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that a discrete subgroup whose limit cone avoids two distinct Weyl-chamber facets (with simple roots in different opposition orbits) has growth indicator bounded by ρ, and consequently the representation L²(Γ\\G) is tempere","keywords":["growth indicator function","limit cone","tempered representations","Anosov subgroups","critical exponents","joint spectrum","Weyl chamber","opposition involution"],"falsifier":"To falsify Theorem 1.1, construct a discrete subgroup whose limit cone avoids two facets with $\\alpha \\neq \\iota\\beta$ but whose growth indicator exceeds $\\rho$ on some vector — a direct counterexample. A more targeted check: for a rank-two group such as $SL_3(\\mathbb{R})$ and a non-tempered subgroup, compute $\\theta_\\mu$ and $\\delta'_\\mu$ for some $\\iota$-invariant functional $\\mu$; if $\\theta_\\mu \\neq \\max(0, \\delta'_\\mu)$, the imported spectral identity fails and the proof collapses.","tokens_in":20105,"feed_emoji":"📈","tokens_out":10033,"duration_ms":80672,"temperature":0.7,"texified_at":"2026-08-05T20:37:08.879471+00:00","pith_summary":"The paper establishes a geometric criterion for slow growth of discrete subgroups in higher-rank semisimple Lie groups. It proves that if the limit cone — the asymptotic cone of the Cartan projections of group elements — misses two facets of the positive Weyl chamber whose defining simple roots are not interchanged by the opposition involution, then the growth indicator function $\\psi_\\Gamma$ is bounded above by the half-sum of positive roots $\\rho$. That inequality is already known to be equivalent to temperedness of $L^2(\\Gamma\\backslash G)$, so the new content is a purely geometric sufficient condition. The result applies to any I-Anosov subgroup whose defining set of simple roots contains at least two roots in distinct opposition orbits, giving a broad new class of tempered locally symmetric spaces.","texify_model":"deepseek-v4-flash","texify_usage":{"total_tokens":7110,"prompt_tokens":808,"completion_tokens":6302,"prompt_tokens_details":{"cached_tokens":0},"prompt_cache_hit_tokens":0,"prompt_cache_miss_tokens":808,"completion_tokens_details":{"reasoning_tokens":5421}},"feed_headline":"Two missing facets force slow growth","feed_subtitle":"A simple cone condition in the Weyl chamber forces temperedness, settling the two-root Anosov case.","key_machinery":"The argument runs through the modified critical exponent $\\delta'_\\mu = \\sup_{v \\in L_\\Gamma} \\frac{(\\psi_\\Gamma - \\rho)(v)}{\\mu(v)}$ and the critical functional $\\mu_\\Gamma$, the unique $\\iota$-invariant functional in the positive chamber minimizing the normalized exponent. The load-bearing identity, taken from a companion preprint, equates the spectral convex-hull radius $\\theta_\\mu$ (the smallest $t$ such that the real parts of the joint spectrum lie in $t \\cdot \\operatorname{conv}(W\\mu)$) with $\\max(0, \\delta'_\\mu)$ for every $\\iota$-invariant $\\mu$. That identity converts the analytic question about $\\psi_\\Gamma$ into a location question for $\\mu_\\Gamma$: the supremum of $\\mu_\\Gamma/\\mu$ must be attained inside the modified limit cone $L'_\\Gamma$. Facet avoidance then forces $\\mu_\\Gamma$ onto a specific ray spanned by $\\omega_\\alpha + \\iota\\omega_\\alpha$, and two such","core_discovery":"The central theorem states: if $L_\\Gamma \\setminus \\{0\\}$ is disjoint from two facets $F_\\alpha$ and $F_\\beta$ with $\\alpha \\neq \\beta$ and $\\alpha \\neq \\iota\\beta$, then $\\psi_\\Gamma(v) \\leq \\rho(v)$ for every $v$ in the positive Weyl chamber. With the previously established equivalence between $\\psi_\\Gamma \\leq \\rho$ and temperedness, this gives temperedness of $L^2(\\Gamma\\backslash G)$. The proof introduces the modified indicator $\\psi'_\\Gamma = \\psi_\\Gamma - \\rho$ and a critical functional $\\mu_\\Gamma$; under the two-facet assumption, any point where $\\psi'_\\Gamma > 0$ would force the direction of maximal modified growth to lie simultaneously on two distinct rays, contradicting uniqueness. Hence $\\psi'_\\Gamma \\leq 0$ everywhere. As a corollary, every I-Anosov subgroup with at least two simple roots in distinct opposition orbits has $\\psi_\\Gamma \\leq \\rho$, and when o","pith_inferences":["The two-facet condition is likely stronger than needed: the proof already relaxes it to the modified limit cone L'_Γ avoiding the facets, and one could test whether a single avoided facet plus a growth bound on the opposite side yields the same conclusion.","If the imported spectral identity were proved by independent means, Theorem 1.1 would give a self-contained route to temperedness for relatively Anosov subgroups and for the few remaining open cases of the full-flag conjecture (the Lie algebras sl₃ over R, C, H and e₆⁻²⁶).","The mechanism suggests a general template: purely combinatorial data about where the limit cone sits inside the Weyl chamber can force analytic spectral properties. This might extend to other spectral gaps, such as absence of embedded eigenvalues or bounds on the base of the joint spectrum.","A natural test is to ask whether a single facet avoidance plus the requirement that two roots be in the same opposition orbit (e.g., the product-of-rank-one case) could still force ψ_Γ ≤ ρ; the paper's optimality discussion suggests it can fail, but the boundary cases are not fully classified."],"forward_implications":["If the limit cone avoids two opposite-orbit facets, then L²(Γ\\G) is tempered; this is the paper's main consequence via the existing ψ_Γ ≤ ρ equivalence.","Every I-Anosov subgroup with at least two simple roots in distinct opposition orbits has slow growth, with no additional assumptions on the limit set.","When exactly one facet is avoided and ψ_Γ is not already bounded by ρ, the fastest-growing direction of the modified indicator is the unique ι-invariant unit vector orthogonal to all other simple roots; this determines the maximal growth direction.","For Zariski-dense subgroups, the paper locates an explicit point of the joint spectrum — the functional (max(0,δ')v'_Γ, ·) — and shows every real part of the joint spectrum lies on one side of the hyperplane it defines.","The paper also derives bounds on the usual critical exponents and, via the limit-set template, on the Hausdorff dimension of the limit set in the associated parabolic quotient."],"fun_headline_variants":["Two missing facets temper the spectrum","Cone gap caps growth at the root bound","Disjoint facets yield slow growth, tempered","Two-root Anosov: growth bound proven"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof leans on an equality, imported from a companion preprint, between the spectral convex-hull radius and the maximum of zero and the modified critical exponent; if that equality has a gap, the main theorem inherits it.","fun_headline_variants_meta":{"raw":{"variants":["Two missing facets temper the spectrum","Cone gap caps growth at the root bound","Disjoint facets yield slow growth, tempered","Two-root Anosov: growth bound proven"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000213,"raw_usage":{"total_tokens":1213,"prompt_tokens":655,"completion_tokens":558,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":399,"completion_tokens_details":{"reasoning_tokens":503}},"tokens_in":399,"tokens_out":558,"duration_ms":5550,"temperature":1.0,"reasoning_tokens":503,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T06:48:34.007839+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"To falsify Theorem 1.1, construct a discrete subgroup whose limit cone avoids two facets with $\\alpha \\neq \\iota\\beta$ but whose growth indicator exceeds $\\rho$ on some vector — a direct counterexample. A more targeted check: for a rank-two group such as $SL_3(\\mathbb{R})$ and a non-tempered subgroup, compute $\\theta_\\mu$ and $\\delta'_\\mu$ for some $\\iota$-invariant functional $\\mu$; if $\\theta_\\mu \\neq \\max(0, \\delta'_\\mu)$, the imported spectral identity fails and the proof collapses.","supporting_citations":[],"review_version":1}