{"id":"0a4928fc-1271-4d89-8fe6-7ccb72a22fa3","arxiv_id":"2606.19779","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves a uniform global shadow lemma for Patterson-Sullivan measures of relatively Morse subgroups of higher-rank semisimple Lie groups, extending Stratmann-Velani.","lead":"This paper proves a global shadow lemma for Patterson-Sullivan measures of relatively Morse subgroups in higher-rank semisimple Lie groups, with uniformity even for cuspidal points. The result extends prior work on hyperbolic groups and yields local estimates plus conditions for agreement with Hausdorff measures.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption matches the conditions listed in the abstract. Because the high-level claim is consistent with the literature it cites and no specific gap in the argument is detectable from the given material, the unverdicted status remains appropriate; a full proof read would be needed to move beyond that.","tokens_in":1634,"tokens_out":274,"duration_ms":9025,"concrete_test":"Extract the precise statement of the global shadow lemma (presumably the main theorem) and the definition of 'relatively Morse' from the paper; verify that the proof derives the uniform estimate for cuspidal centers directly from those definitions without invoking an extra geometric finiteness or rank-1 reduction that is not stated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is an extension of the Stratmann-Velani global shadow lemma to Patterson-Sullivan measures for relatively Morse subgroups of higher-rank semisimple Lie groups, with uniformity asserted even for centers deep in the cuspidal region of the Gromov model. The abstract states the result follows from the relatively Morse hypothesis together with the standard existence of Patterson-Sullivan measures and the Gromov model; no internal contradiction, missing step, or unsecured uniformity claim is visible at the level of the stated theorem.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript proves a global shadow lemma for Patterson-Sullivan measures associated to relatively Morse subgroups of higher-rank semisimple Lie groups. The estimate is uniform for shadows centered at arbitrary points in a Gromov model, including points deep in the cuspidal part. This extends the global shadow lemma of Stratmann-Velani for geometrically finite real hyperbolic groups. As applications, the paper obtains uniform local estimates for Patterson-Sullivan measures and gives sufficient conditions under which these measures agree, up to scale, with the Hausdorff measure defined by the associated visual quasi-metric.","tokens_in":1687,"tokens_out":328,"duration_ms":15213,"significance":"If the result holds, the uniform global shadow lemma would be a useful technical tool in the study of boundary dynamics and Patterson-Sullivan measures for discrete subgroups in higher-rank Lie groups. The extension beyond the classical hyperbolic case, together with the claimed uniformity deep in cusps, would support applications to local dimension estimates and comparisons between Patterson-Sullivan and Hausdorff measures on the boundary.","major_comments":[],"minor_comments":[{"comment":"The abstract refers to the 'Gromov model' and 'relatively Morse' hypothesis without a self-contained definition or reference to the precise statement used; adding a short paragraph recalling these notions in §1 would improve readability for readers outside the immediate subfield.","section":null}],"recommendation":"uncertain","confidential_remarks":"The provided text consists only of the abstract; without access to the actual proof sections, lemmas, or error controls, a full technical assessment of soundness is not possible at this stage."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their summary of the manuscript. The recommendation is listed as uncertain, but the report contains no specific major comments or questions to address. We are prepared to respond to any concrete concerns if they are provided.","responses":[],"tokens_in":1131,"tokens_out":64,"duration_ms":9876,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main claim is a uniform global shadow lemma for Patterson-Sullivan measures on relatively Morse subgroups of higher-rank semisimple Lie groups. The estimate is supposed to hold for shadows centered anywhere in the Gromov model, including points deep in the cuspidal part. This is framed as a direct extension of the Stratmann-Velani result that was known for geometrically finite real hyperbolic groups.\n\nWhat the paper does is state the result cleanly and list two applications: uniform local estimates for the measures, and sufficient conditions for them to agree up to scale with the Hausdorff measure coming from the visual quasi-metric. The relatively Morse hypothesis is presented as the key ingredient that makes the higher-rank and cuspidal uniformity work.\n\nThe soft spot is that the abstract contains no lemmas, no outline of the argument, and no indication of how the cuspidal uniformity is obtained. Without those steps it is impossible to see whether the extension actually goes through or whether extra controls are needed beyond what works in rank one. The soundness cannot be checked from the given text.\n\nThis is a narrow technical tool for people already working on boundary measures and dynamics for higher-rank discrete groups. A reader outside that subfield will not get much from it. The citation pattern is standard and does not raise flags.\n\nI would send it to referees. The statement is concrete and the setting is well-defined, so a serious check of the proof is worth the time even if revisions are needed.","headline":"This extends the global shadow lemma to Patterson-Sullivan measures for relatively Morse subgroups in higher-rank groups, with uniformity claimed even deep in cusps, but the abstract gives no proof steps to check.","tokens_in":2166,"tokens_out":383,"would_cite":false,"duration_ms":17389,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Patterson-Sullivan measures for relatively Morse subgroups satisfy a uniform global shadow lemma across the entire Gromov model, including cusps.","keywords":["Patterson-Sullivan measures","shadow lemma","relatively Morse subgroups","higher-rank semisimple Lie groups","Gromov model","Hausdorff measure","visual quasi-metric","cuspidal regions"],"falsifier":"A sequence of shadows whose centers move deeper into a cusp, yet whose Patterson-Sullivan measures grow or shrink by an unbounded factor relative to the shadow size, would violate the claimed uniformity.","tokens_in":2515,"feed_emoji":"","tokens_out":711,"duration_ms":20599,"temperature":0.7,"pith_summary":"The paper proves a global shadow lemma giving uniform estimates for the mass that Patterson-Sullivan measures assign to shadows, no matter where the center point sits in the Gromov model. The uniformity continues to hold when centers lie deep inside cuspidal regions, extending earlier results known only for geometrically finite real hyperbolic groups. A sympathetic reader would care because the estimates describe the distribution of group orbits near the boundary in a controlled and location-independent way. From the lemma follow uniform local estimates on the measures and sufficient conditions for the measures to coincide, up to scale, with the Hausdorff measure coming from the visual quasi-metric. The work therefore supplies a basic comparison tool for discrete actions on higher-rank spaces.","feed_headline":"Global shadow lemma holds uniformly for higher-rank group measures","feed_subtitle":"The bound stays constant even when shadow centers lie deep inside cusps of the Gromov model.","key_machinery":"The global shadow lemma, which supplies a location-independent bound on the Patterson-Sullivan measure of any shadow set in the Gromov model.","core_discovery":"We prove a global shadow lemma for Patterson-Sullivan measures associated to relatively Morse subgroups of higher-rank semisimple Lie groups. The estimate is uniform for shadows centered at arbitrary points in a Gromov model, including points deep in the cuspidal part. This extends the global shadow lemma of Stratmann-Velani for geometrically finite real hyperbolic groups. As applications, we obtain uniform local estimates for Patterson-Sullivan measures, and we give sufficient conditions under which these measures agree, up to scale, with the Hausdorff measure defined by the associated visual quasi-metric.","pith_inferences":["The uniformity may allow direct comparison of local dimensions of the measures at cuspidal and non-cuspidal points.","The same shadow-control technique could be tested on other boundary measures once an analogous Gromov model is available.","Agreement with Hausdorff measure would immediately give explicit dimension formulas for the limit sets of these subgroups."],"forward_implications":["Uniform local estimates for Patterson-Sullivan measures hold at every scale and location.","Under the stated conditions the measures coincide up to scale with the Hausdorff measure induced by the visual quasi-metric.","The estimates remain valid for shadows centered at arbitrary points, including those deep inside cusps.","The lemma applies directly to any relatively Morse subgroup of a higher-rank semisimple Lie group."],"fun_headline_variants":["Shadow lemma uniform for relatively Morse higher-rank groups","Uniform shadow lemma covers cusps in higher-rank groups","Patterson-Sullivan measures get uniform global shadow lemma","Global shadow lemma uniform deep in cusps higher rank"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The subgroups are relatively Morse and the ambient higher-rank semisimple Lie groups admit a Gromov model in which Patterson-Sullivan measures are defined.","fun_headline_variants_meta":{"raw":{"variants":["Shadow lemma uniform for relatively Morse higher-rank groups","Uniform shadow lemma covers cusps in higher-rank groups","Patterson-Sullivan measures get uniform global shadow lemma","Global shadow lemma uniform deep in cusps higher rank"]},"model":"grok-4.3","cost_usd":0.006371,"raw_usage":{"total_tokens":2950,"prompt_tokens":588,"num_sources_used":0,"completion_tokens":53,"cost_in_usd_ticks":63712000,"prompt_tokens_details":{"text_tokens":588,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2309,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":588,"tokens_out":53,"duration_ms":10435,"temperature":1.0,"reasoning_tokens":2309,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-26T15:34:12.731022+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A sequence of shadows whose centers move deeper into a cusp, yet whose Patterson-Sullivan measures grow or shrink by an unbounded factor relative to the shadow size, would violate the claimed uniformity.","supporting_citations":[],"review_version":1}