{"id":"24a64ad3-1e92-4dfe-8f24-4d20d94a64bd","arxiv_id":"2607.13760","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Strict concavity of the growth indicator function is proved for Zariski dense relatively theta-Anosov groups by establishing C^1 regularity of the Manhattan hypersurface.","lead":"This paper proves that the growth indicator function of every Zariski dense relatively Anosov group in a higher-rank Lie group is strictly concave: growth in different directions cannot combine linearly. The proof shows the dual 'Manhattan hypersurface' is C^1 and introduces a new flow observable that may be reusable beyond this setting.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified; the weakest link is the imported projectively visible model (Thm 3.4), but the supplied comparison is coherent and no internal gap was found.","rationale":"The reader correctly identified Theorem 3.4 as the least secure imported input. However, that theorem is an external, published result with an outlined proof, and the coarse equivalence it supplies is used only through (5.9), which is a cited shadow-type estimate. The internal proof of Proposition 5.1 is coherent: the observable is genuinely bounded, Γ0-invariant, and its orbit integrals reconstruct the Cartan displacement up to a uniform error on compact sets. The derivative formula in Section 8 follows from Corollary 5.2 and Proposition 6.1; the potential issue with applying the uniform-multiplicity lemma to ψ0-slices is resolved by positivity of ψ0 on the limit cone and the uniform upper bound on shadow masses. Theorem 7.1's continuity of BMS measures is stated briefly, but a standard weak-* subsequence argument combined with the uniqueness in Theorem 2.3 supplies the missing detail. No parameter fitting, post-hoc selection, or circular reasoning is present. The concurrent work by Reyes–Wang provides independent corroboration. I therefore do not find a load-bearing objection that would change the reader's ACCEPT verdict; confidence may remain MODERATE due to the length and number of imported external results, but the verdict should stand unchanged.","tokens_in":24842,"tokens_out":30762,"duration_ms":293771,"concrete_test":"Independently verify the 'moreover' bound in Theorem 3.4 by re-deriving from [CZZ24, Appendix B] and [DGK24, Proposition 10.1] the uniform comparison between dΩ(o, γo) and log(||Φ(γ)|| ||Φ(γ)^{-1}||), and check that the constants in the Cartan-projection estimate are explicit and uniform over Γ0. If that comparison fails, re-examine the error bound (5.9) and hence Proposition 5.1.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim rests on Theorem 1.6 and the Cartan-displacement observable in Proposition 5.1. The most delicate imported input is Theorem 3.4's \"moreover\" coarse equivalence between Hilbert distance and the partial Cartan projection. I checked the internal steps: the Poincaré-type series in Prop 5.1 converges by Thm 3.2, the equivariance and (5.6) produce a bounded observable, and (5.9) is the only point requiring the full force of [CZZ24, Lemma 7.3]. The grouping in Prop 6.1 by ψ0-slices initially looks like a misapplication of Lemma 3.7, but because a finite PS measure forces its linear form to be positive on the limit cone, ψ0 is positive and the uniform-multiplicity lemma applies to S_n^{ψ0}; shadows have μ_{φ_s}-mass uniformly bounded above, so the slice sum is O(1). The continuity step in Thm 7.1 is terse but follows from weak-* compactness and the PS equation. I found no circular step, omitted coercivity, or sign error that threatens the central claim; the only genuinely non-reproved ingredient is the external Thm 3.4 model, and the paper gives a plausible derivation of the needed comparison from [CZZ24] and [DGK24].","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves that for a Zariski dense relatively θ-Anosov subgroup Γ of a connected semisimple real algebraic group, the θ-growth indicator function ψ_Γ^θ is strictly concave on non-collinear directions (Theorem 1.1), equivalently that the θ-Manhattan hypersurface ∂Q^θ(Γ) is C^1 (Theorem 1.4). The engine is a local regularity theorem (Theorem 1.6): for a non-elementary θ-transverse group, ∂Q^θ(Γ) is C^1 near every boundary point that is positive on the θ-limit cone and has a critical gap at infinity; in the Zariski dense case it is locally strictly convex. The proof introduces a bounded continuous Cartan displacement observable f: G → a_θ whose orbit integrals coarsely recover the partial Cartan projection of recurrent orbit segments (Proposition 5.1). Using this observable, the derivative of the convex graphing function of the Manhattan hypersurface is identified with ratios of BMS averages (Corollary 5.2, Proposition 6.1), and the critical-gap condition is used to obtain uniform control and continuity of these averages (Theorem 7.1). A standard convexity argument then upgrades almost-everywhere differentiability to C^1 regularity.","tokens_in":25187,"tokens_out":7272,"duration_ms":78024,"significance":"If correct, the paper fills the last missing piece in the regularity picture for growth indicator functions of relatively Anosov groups: strict concavity. The authors correctly note that differentiability and infinite-slope properties were already known from [CZZ25], while strict concavity was open; the paper also records an application to the local mixing result [KOP26]. The proof is organized as a sequence of explicit, checkable lemmas, and the main novelty — the Cartan displacement observable — is a genuine technical contribution. A notable strength is that no free parameters or fitted constants enter; the argument reduces to established external results (Patterson–Sullivan theory, projectively visible models, Wen's finiteness theorem), and the dependency on these inputs is clearly stated. The authors also acknowledge the independent work of Reyes–Wang. If the result stands, it settles the concavity question and provides a useful local regularity theorem for general transverse groups.","major_comments":[],"minor_comments":[{"comment":"The notation 'Φ∘ρ = id_{Γ0}' is type-incorrect: ρ maps Γ0 to Γ and Φ maps G to PSL(d,R), so the composition is not the identity on Γ0. The intended meaning is presumably that Φ identifies Γ with Γ0 under ρ, i.e. Φ(ρ(γ)) = γ after identifying Γ0 with its image. Please rephrase.","section":"Section 3.2, proof of Theorem 3.4"},{"comment":"The line 'by (5.3)' is slightly terse: (5.3) gives an inequality for P_α(g^t v), and one must take logarithms and use the equivalence of norms to obtain the displayed Lipschitz bound for Q. This is clear but could be spelled out in one sentence.","section":"Section 5, equation (5.6)"},{"comment":"The auxiliary function f(s) is defined for s ≠ 0 but the proof only uses s > 0 and s < 0 with the conditions ε − f(s) > 0 and ε + f(−s) > 0. This is harmless, but the notation would be cleaner if the two one-sided cases were separated.","section":"Section 6, proof of Proposition 6.1"},{"comment":"In the proof of Lemma 7.2, the assertion that the set {φ(κ(ρ(γ))) : γ ∈ Γ0} is bounded below follows from positivity of φ on the limit cone together with θ-discreteness; the current phrasing may make it look like an immediate consequence of positivity alone. A short justification would improve readability.","section":"Section 7, Lemma 7.2"},{"comment":"There is a typographical issue in the reference '[R W26]', where an unintended space appears in the author name. Please correct to 'Reyes–Wang'.","section":"References"}],"recommendation":"accept","confidential_remarks":"I agree with the positive assessment of the reader and the stress-test note. The potential weak point flagged by the reader — the imported projectively visible model of Theorem 3.4 — is indeed load-bearing, but the manuscript gives a concrete derivation of the needed coarse comparison from [CZZ24] and [DGK24], and I found no internal gap in the subsequent use of this model. The dependence on the external finiteness theorem of Wen is clearly disclosed and the relevant hypotheses are verified. The paper is well suited to the journal's scope in geometric group theory and dynamics."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know two things about this paper. First, it settles the last open piece of the regularity picture for growth indicators of relatively Anosov groups: strict concavity, obtained via C^1 regularity of the Manhattan hypersurface. Second, the proof is not a routine transplant of the Anosov case. The new Cartan displacement observable (Prop 5.1) is a real idea: it bypasses the missing flow reparametrization, and the estimate (5.7)–(5.9) is the load-bearing step. I checked the slice-summing in Prop 6.1 and the continuity of BMS averages in Thm 7.1; the Borel–Cantelli and uniform multiplicity arguments are coherent, and the critical-gap stability argument in Lemma 7.2 is sound. The paper is honest in its imports: Theorem 3.4 (projectively visible model) is explicitly flagged as coming from CZZ24, and the critical-gap finiteness result is outsourced to Wen. Those are external, but they are cited precisely and the reduction is sketched, not hand-waved. The strict-convexity assertion for Zariski dense groups is a short, correct use of [CZZ24, Cor 13.2]. The weakest point remains what the reader flagged: if the coarse equivalence in Thm 3.4 failed, the observable bounds collapse. But that is an imported theorem, not a gap in this paper, and the comparison is plausible. I also note the paper's own Remark 1.2 and 1.5 acknowledging concurrent work by Reyes–Wang; that is the right scholarly posture. Self-citations here are to prior work the authors actually rely on, not padding. The central derivation is not circular: C^1 regularity is proved first, and strict concavity is deduced by Quint's duality. I disagree with any suspicion that this is fitting: there are no free parameters, and the theorem applies to a natural class, not to a constructed example. Who is this for: anyone working on higher-rank discrete subgroups, Patterson–Sullivan theory, or regularity of growth indicators. A serious referee should engage with the proof of Prop 5.1 and the passage from Theorem 7.1 to the derivative formula in Section 8; those are the sections worth the most referee time. I would send it to peer review without hesitation. Colloquium-worthy, not just citable; I expect it to be cited within a year.","headline":"Kim–Oh–Zimmer proves the missing strict concavity piece for relatively Anosov groups via a genuinely new Cartan displacement observable, and the argument holds up under scrutiny; the main risk is the imported projectively visible model, but I found no internal gap.","tokens_in":25630,"tokens_out":632,"would_cite":true,"duration_ms":30717,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["22E40","37D40","53C35"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves strict concavity of the growth indicator function for every Zariski dense relatively Anosov group, completing the regularity picture of these directional growth functions.","keywords":["growth indicator function","strict concavity","Manhattan hypersurface","relatively Anosov groups","Cartan projection","Bowen–Margulis–Sullivan measures","critical gap at infinity","semisimple Lie groups"],"falsifier":"Take any relatively θ-Anosov group covered by the theorems and compute ψ_Γ^θ at two non-collinear vectors with finite values; if equality ψ(v+w) = ψ(v)+ψ(w) holds for any such pair, strict concavity is false and the main theorem collapses. More directly, one could look for a θ-transverse group with a boundary point that is positive on the limit cone and has a critical gap at infinity but where the Manhattan hypersurface is not C^1.","tokens_in":24762,"feed_emoji":"📈","tokens_out":3275,"duration_ms":36350,"temperature":0.7,"pith_summary":"The paper establishes that for a Zariski dense relatively Anosov subgroup of a semisimple real algebraic group, the growth indicator function is strictly concave between non-collinear directions. This was the last missing piece after differentiability and infinite-slope properties had been established in prior work. The proof works by showing that the dual object, the Manhattan hypersurface, is a C^1 hypersurface. The key new tool is a bounded continuous observable on the associated flow space whose orbit integrals coarsely recover the partial Cartan displacement of recurrent orbit segments. A careful reader should care because strict concavity yields uniqueness of dominant asymptotic directions in weighted counting problems and a clean duality between tangent linear forms and interior rays of the limit cone.","feed_headline":"Growth indicator is strictly concave for relatively Anosov groups","feed_subtitle":"The dual Manhattan hypersurface is C^1, completing the regularity picture and giving unique dominant directions in weighted counting.","key_machinery":"The central new object is the Cartan displacement observable: a Γ-invariant bounded continuous map f from the flow space into the partial Cartan subspace a_θ, constructed from a projectively visible model of the transverse group. Its orbit integrals over recurrent segments differ from the corresponding partial Cartan projection by a uniformly bounded error (Proposition 5.1). This observable turns Cartan displacement into a continuous cocycle, allowing the derivative of the local convex graph of the Manhattan hypersurface to be expressed as a ratio of integrals against Bowen–Margulis–Sullivan measures. Continuity of those averages, guaranteed by the critical-gap-at-infinity condition, then up","core_discovery":"The main results are Theorem 1.1 and Theorem 1.4. For a non-elementary relatively θ-Anosov group Γ in a connected semisimple real algebraic group, the θ-growth indicator function ψ_Γ^θ is strictly concave: for non-collinear v and w with finite values, ψ(v+w) > ψ(v)+ψ(w). This is proved by establishing the equivalent dual fact that the θ-Manhattan hypersurface ∂Q^θ(Γ) is a C^1 hypersurface. The argument is local and more general: for any non-elementary θ-transverse group, the Manhattan hypersurface is C^1 near every point that is positive on the limit cone and has a critical gap at infinity; in the Zariski dense case, it is locally strictly convex there.","pith_inferences":["The Cartan displacement observable is likely reusable beyond this paper: it converts partial Cartan displacement into a bounded continuous cocycle whenever a projectively visible model exists, so similar C^1 regularity and strict-concavity arguments may apply to other geometrically finite settings, such as cusped Hitchin representations.","The uniqueness of tangent rays suggests a stronger form of uniqueness for equilibrium measures in the associated flow space: each linear form should give a unique measure of maximal weighted entropy, which may simplify local mixing results.","Theorem 1.6 implies that for a general transverse group, failure of global C^1 regularity can only occur at boundary points that are not positive on the limit cone or lack a critical gap at infinity; one could test whether such points actually produce corner-like singularities.","Because the proof links strict convexity of the Manhattan hypersurface to Zariski density, a natural test is whether any non-Zariski-dense relatively Anosov group has a flat segment in its Manhattan hypersurface; the paper's method does not settle this directly."],"forward_implications":["For every relatively θ-Anosov group, the growth indicator function is strictly concave on non-collinear directions, completing the desired regularity picture: differentiability, infinite slope at the boundary, and now strict concavity.","The θ-Manhattan hypersurface is globally C^1; in the Zariski dense case it is locally strictly convex.","Each linear form has at most one ray in the limit cone along which it is tangent to the growth indicator, so weighted counting problems have a unique dominant asymptotic direction.","The tangent linear forms are in one-to-one correspondence with rays in the interior of the limit cone, with the correspondence given by the gradient of the growth indicator.","For general transverse groups, local C^1 regularity of the Manhattan hypersurface holds at every point with positive-on-limit-cone and a critical gap at infinity, extending the Anosov result to a broader class."],"fun_headline_variants":["Strict concavity proven for Anosov growth indicators","Manhattan hypersurface is C^1: growth indicator strictly concave","New regularity: Manhattan hypersurface C^1, indicator concave","Anosov groups yield strictly concave growth functions","C^1 Manhattan hypersurface gives strict indicator concavity"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The whole argument depends on the existence of a projectively visible model for the transverse group, with a coarse equivalence between Hilbert distance and the norm of the partial Cartan projection; if that imported construction failed, the Cartan displacement observable and the subsequent derivative formulas would lose their metric control.","fun_headline_variants_meta":{"raw":{"variants":["Strict concavity proven for Anosov growth indicators","Manhattan hypersurface is C^1: growth indicator strictly concave","New regularity: Manhattan hypersurface C^1, indicator concave","Anosov groups yield strictly concave growth functions","C^1 Manhattan hypersurface gives strict indicator concavity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000165,"raw_usage":{"total_tokens":1097,"prompt_tokens":762,"completion_tokens":335,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":506,"completion_tokens_details":{"reasoning_tokens":251}},"tokens_in":506,"tokens_out":335,"duration_ms":3552,"temperature":1.0,"reasoning_tokens":251,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T03:46:18.270809+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take any relatively θ-Anosov group covered by the theorems and compute ψ_Γ^θ at two non-collinear vectors with finite values; if equality ψ(v+w) = ψ(v)+ψ(w) holds for any such pair, strict concavity is false and the main theorem collapses. More directly, one could look for a θ-transverse group with a boundary point that is positive on the limit cone and has a critical gap at infinity but where the Manhattan hypersurface is not C^1.","supporting_citations":[],"review_version":1}