{"id":"f89ff21e-91e3-43d2-b65c-1881c25089ad","arxiv_id":"2601.22668","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For Zariski dense Anosov subgroups of arbitrary semisimple real algebraic groups, every horospherical-invariant ergodic Radon measure on the minimal set is a Burger–Roblin measure.","lead":"This paper classifies all invariant measures for horospherical actions on infinite-volume quotients of higher-rank Lie groups, showing they are exactly the Burger–Roblin measures (plus closed-orbit measures in the relatively Anosov case). It resolves open problems by Landesberg–Lee–Lindenstrauss–Oh and Oh, extending rank-one results of Burger and Roblin to arbitrary semisimple groups.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: proof appears internally coherent; hypertransverse hypothesis is an explicit scope condition, not a correctness gap.","rationale":"The reader's weakest assumption is the hypertransverse hypothesis; I agree that is the least secure point, but it is an explicit condition and acknowledged limitation, not an internal inconsistency. Since the central claim of the paper (Theorem 1.13) is stated for hypertransverse subgroups and the main open problems involve Anosov subgroups, the scope gap does not threaten the theorem. The long proof has no obvious gap; the quoted external results, especially the rigidity lemma, are standard. Hence the verdict remains ACCEPT.","tokens_in":43001,"tokens_out":29136,"duration_ms":252230,"concrete_test":"As a worth-running verification, formalize the key finite-to-one claim and the inclusion F(H_{K,R})⊂B_{k;n} in Theorem 6.3 with explicit constants; in particular, confirm that the Borel selection of g_ξ does not require a non-measurable choice and that the bound M is finite and independent of k. If this step fails, the support-concentration theorem needs revision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After checking the central argument from Theorem 6.1 through Theorem 6.4, I find no load-bearing flaw. The classification direction (ergodic Γ-invariant Radon measure ⇒ Burger–Roblin) is established by the guided-limit-set concentration (Theorem 6.3), the quasi-invariance under translations by Jordan projections (Theorem 6.4), and the standard rigidity lemma. The main potential weakness is the P_θ-hypertransverse hypothesis: all geometric arguments take place in a Gromov hyperbolic model Z, and Remark 5.10 explicitly says it is unknown whether every transverse subgroup is hypertransverse. This limits the 'full story' to the hypertransverse class but does not affect the stated Theorem 1.13, which is conditional on hypertransversality, nor the resolution of Problems 1.2/1.3 for Borel Anosov subgroups (where the Cayley graph provides Z). The other external inputs ([Kim24], [CZZ24], [BCZZ24a]) are preprints or recent papers, but the core classification direction does not rely on the equality of the two sets, only on the quoted rigidity step. I therefore see no reason to change the ACCEPT verdict.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper classifies Γ-invariant ergodic Radon measures on the θ-horospherical foliation H_θ for a class of discrete subgroups Γ of a connected semisimple real algebraic group G, called P_θ-hypertransverse subgroups. The main theorem (Theorem 6.1, stated in the introduction as Theorem 1.13) asserts that on the recurrence locus R_{Γ,θ}, every Γ-invariant ergodic Radon measure is a constant multiple of a Burger–Roblin measure associated with a divergence-type Patterson–Sullivan measure. For Borel Anosov subgroups this resolves the open problems of Landesberg–Lee–Lindenstrauss–Oh (Problem 1.2) and Oh (Problem 1.3); for relatively Anosov subgroups it gives the expected statement with the additional possibility of a closed orbit supported on the parabolic part (Corollary 1.14). The proof is geometric: it introduces guided limit sets in a Gromov hyperbolic model space, proves concentration of invariant measures on guided limit sets (Theorem 6.3), establishes quasi-invariance under translations by Jordan projections of loxodromic elements (Theorem 6.4), and then invokes the standard Aaronson–Nakada–Sarig–Solomyak/Sarig rigidity lemma together with the non-arithmeticity of the Jordan spectrum.","tokens_in":43293,"tokens_out":21279,"duration_ms":211086,"significance":"If the result stands, it is a major advance in the classification of horospherical invariant measures in higher rank, extending the rank-one theorems of Burger and Roblin to a broad class of infinite-volume homogeneous spaces and removing the rank restrictions and directional-set restrictions present in earlier work. The paper's method is notably original: it avoids continuous flows and Besicovitch-type covering arguments, and instead uses coarse contracting properties in a Gromov hyperbolic model with Tits-representation estimates for Iwasawa cocycles. The central theorem is proved in detail, and the paper contains a strengthened Hopf–Tsuji–Sullivan statement (Corollary 6.5) as a byproduct. The main limitation is the P_θ-hypertransverse hypothesis, which is explicitly acknowledged in Remark 5.10; the stated theorems are conditional on this hypothesis, so the scope condition does not affect the validity of the claims as stated. The paper is careful to distinguish the classification direction from the reverse inclusion, which is supplied by prior ergodicity results, and I see no circularity.","major_comments":[],"minor_comments":[{"comment":"Typo: 'P_θ-hypertranseverse' should be 'P_θ-hypertransverse'.","section":"§1.4.3"},{"comment":"The axis of φ is written as γ:R→X, but the model space is Z, not X; this is a minor notational slip.","section":"§6.2, first paragraph"},{"comment":"The proof of Theorem 6.4 invokes a 'standard ergodicity argument' and refers to [CK25b] for the reduction to compact boxes and the sufficiency of the inequality (T_φ^* μ)(E) ≥ μ(E). Since this step is load-bearing, a one-sentence explanation of the argument would improve self-containedness.","section":"§6.4"},{"comment":"The title 'The Full Story' is somewhat stronger than the stated scope, since it is not known whether every transverse subgroup is hypertransverse. The theorems themselves are correctly conditioned on hypertransversality, but the title/abstract may overpromise relative to the full transverse class.","section":"§1.4.4 / Remark 5.10"},{"comment":"The phrase 'the Burger–Roblin measure of Γ associated to ν' is used for both the measure on H_θ and the induced measure on Γ\\G when θ=Δ; this is standard but could be flagged explicitly to avoid confusion.","section":"§4.4"}],"recommendation":"accept","confidential_remarks":"The paper is technically strong and the proof appears internally coherent. The only caveat I would mention to the editor is that several external inputs are recent preprints or very recent papers ([Kim24], [BCZZ24a], [CZZ24], [KOW25b], [CK25b]). This is a normal situation in an active area, but it means the dependency graph includes results that have not all undergone the same level of scrutiny as the present paper. I do not regard this as a reason to reject; the central classification direction is proved in detail and the cited results have stated hypotheses that are checkable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is the real thing if you work on horospherical measures or Anosov subgroups: the paper proves a genuine classification of invariant ergodic Radon measures for a large class of higher-rank discrete subgroups, resolving two named open problems along the way. The proof is long but the architecture is clear: guided limit sets concentrate invariant measures, a quasi-invariance theorem under Jordan projection translations follows, and a standard rigidity lemma plus Benoist's non-arithmeticity finishes the job. The novelty is substantial—prior literature explicitly left the higher-rank case open, and the Borel Anosov case alone (Theorem 1.5) is a real breakthrough. I also appreciate the honest teaser arrangement with [CK25a]; the method here is genuinely different and the comparison with the mapping class group paper is useful.\n\nThe main soft spot is the title's 'full story'. The result is stated for P_theta-hypertransverse subgroups, not all transverse subgroups. Remark 5.10 admits it is unknown whether every transverse subgroup is hypertransverse, so the classification covers all known Anosov and relatively Anosov cases but leaves the full transverse class open. That is a scope condition, not a flaw in the proof, but it means the claims in the introduction should be trimmed or the title qualified. Several load-bearing inputs come from preprints or recent papers, including [Kim24], [CZZ24], and [BCZZ24b]; the central direction does not seem to depend on the most delicate parts of those, but a referee will want to check that the cited ergodicity and Hopf-Tsuji-Sullivan results really have the stated hypotheses. No formal verification exists, so confidence should stay moderate rather than high.\n\nI looked for circularity and did not find it: Theorem 1.13's reverse inclusion uses [Kim24]'s ergodicity, which does not assume the classification. The proof of Theorem 6.3 through Theorem 6.4 is internally coherent, and the stress-test note's conclusion matches my reading. This is a paper that deserves a serious referee; the hypertransverse caveat and external dependencies mean the referee should be asked to verify those citations carefully, but the result will stand or fall on those details, not on a hidden assumption in the main argument.","headline":"A serious, detailed classification paper that looks correct within its stated hypertransverse class; the 'full story' heading is a bit stronger than the hypothesis allows.","tokens_in":715,"tokens_out":688,"would_cite":true,"duration_ms":21388,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37D40","22E40","37A17","20F67"],"pacs":[],"model":"deepseek-v4-flash","headline":"In higher-rank symmetric spaces, every ergodic horospherical invariant measure is a Burger–Roblin measure, up to constant and closed orbit exceptions.","keywords":["horospherical invariant measures","Anosov subgroups","Burger–Roblin measures","Patterson–Sullivan measures","higher-rank homogeneous spaces","guided limit sets","transverse subgroups","relatively Anosov subgroups"],"falsifier":"Find a Zariski dense transverse subgroup that is P_θ-transverse but not hypertransverse, and construct a Γ-invariant ergodic Radon measure on R_{Γ,θ} that is not a Burger–Roblin measure; Theorem 6.1 would then fail, showing the hypertransverse hypothesis is necessary. Conversely, if every transverse subgroup is hypertransverse, the classification would be complete for the full transverse class.","tokens_in":42903,"feed_emoji":"🎯","tokens_out":1264,"duration_ms":15193,"temperature":0.7,"pith_summary":"This paper classifies all ergodic measures invariant under horospherical actions for the full class of Anosov and relatively Anosov homogeneous spaces in arbitrary higher rank. The result: up to constant multiples, the only ergodic invariant Radon measures are the Burg–Roblin measures built from divergence-type Patterson–Sullivan measures, plus in the relatively Anosov case closed horosphere orbits. This resolves open problems of Landesberg–Lee–Lindenstrauss–Oh and Oh, and it extends the rank-one theorems of Burger and Roblin to all semisimple real algebraic groups. The proof is geometric, based on coarse hyperbolic geometry and a new 'guided limit set' construction, avoiding continuous flows and ergodic theorems.","feed_headline":"All ergodic horospherical measures are Burger–Roblin in higher rank","feed_subtitle":"The classification resolves two open problems by Landesberg–Lee–Lindenstrauss–Oh and by Oh, extending rank-one work to all Anosov subgroups.","key_machinery":"The key machinery is the 'guided limit set' Λ_{φ,K}(Γ) on the Gromov hyperbolic model space Z: points on the limit set that are aligned, in a precise shadow sense, along translates of an axis of a loxodromic φ. The proof shows any invariant ergodic Radon measure is supported on Λ_{φ,C}(Γ) × a_θ (Theorem 6.3), then deduces quasi-invariance under translations by Jordan projections (Theorem 6.4), which by a standard rigidity argument forces the measure to be a Burger–Roblin measure.","core_discovery":"The central claim is that for a Zariski dense P_θ-hypertransverse subgroup Γ of a semisimple real algebraic group G, the set of Γ-invariant ergodic Radon measures on the recurrence locus R_{Γ,θ} coincides, up to constant multiples, with the set of Burger–Roblin measures associated to divergence-type Patterson–Sullivan measures of Γ on F_θ. In the Borel Anosov case (θ = Δ, the maximal parabolic), this says every NM-invariant ergodic Radon measure on the minimal set E_Γ is a constant multiple of a Burger–Roblin measure; if the P∘-action on E_Γ is minimal, the same holds for N-invariant measures. This proves the classification conjectured by Landesberg–Lee–Lindenstrauss–Oh and by Oh.","pith_inferences":["If the hypertransverse assumption is not satisfied, the classification could fail for genuinely transverse (but not hypertransverse) subgroups; Remark 5.10 leaves this as an explicit open question—so the 'full story' may still be incomplete for the full transverse class.","The proof bypasses continuous flows and ergodic theorems, suggesting the same classification may extend to actions of other subgroups (e.g., unipotent flows generated by multiple root groups) via analogous guided-limit-set arguments.","The guided-limit-set concentration result could be used to prove new rigidity statements for conformal measures of affine and non-conformal dynamical systems, since it only needs a coarse hyperbolic model and a converging boundary map.","The closed-orbit alternative in the relatively Anosov case may be the only obstruction to unique ergodicity on E_{Γ,θ}; a testable question is whether the closed orbits correspond exactly to parabolic limit points and whether their measures are the only additional ergodic components."],"forward_implications":["The classification answers Problems 1.2 and 1.3: for rank ≤ 3, every N-invariant ergodic measure on E_Γ is supported on a directional recurrent set; for all ranks, every N-invariant ergodic measure on E_Γ (when E_Γ is P∘-minimal) is Burger–Roblin.","For relatively Borel Anosov subgroups, the classification adds a closed-orbit exception, paralleling the rank-one geometrically finite result.","The sets of NM- and N-invariant ergodic measures are homeomorphic to R^{rank G}, via the parameterization by the interior of the limit cone.","A strengthened Hopf–Tsuji–Sullivan dichotomy holds: divergence-type Patterson–Sullivan measures are supported on guided limit sets, not just conical limit sets.","The method extends to normal subgroups of hypertransverse subgroups, as the classification relies only on the geometric guided-limit-set structure."],"fun_headline_variants":["All horospherical measures classified for Anosov subgroups","Higher-rank measure classification solves two open problems","Burger–Roblin measures are the only invariant ergodic ones","Rank-one invariant measure theory now holds in higher rank"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The entire argument requires the existence of a Gromov hyperbolic model space Z on which Γ acts properly discontinuously with a Γ-equivariant homeomorphism from its limit set to the θ-limit set; if such a model does not exist for some transverse subgroup, the guided-limit-set concentration theorem and the cocycle estimates do not apply.","fun_headline_variants_meta":{"raw":{"variants":["All horospherical measures classified for Anosov subgroups","Higher-rank measure classification solves two open problems","Burger–Roblin measures are the only invariant ergodic ones","Rank-one invariant measure theory now holds in higher rank"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000182,"raw_usage":{"total_tokens":1134,"prompt_tokens":716,"completion_tokens":418,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":460,"completion_tokens_details":{"reasoning_tokens":353}},"tokens_in":460,"tokens_out":418,"duration_ms":4672,"temperature":1.0,"reasoning_tokens":353,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T06:28:11.562639+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a Zariski dense transverse subgroup that is P_θ-transverse but not hypertransverse, and construct a Γ-invariant ergodic Radon measure on R_{Γ,θ} that is not a Burger–Roblin measure; Theorem 6.1 would then fail, showing the hypertransverse hypothesis is necessary. Conversely, if every transverse subgroup is hypertransverse, the classification would be complete for the full transverse class.","supporting_citations":[],"review_version":1}