{"id":"7d76f108-acb4-4447-b8fd-802ea30685f9","arxiv_id":"2505.09454","paper_version":2,"verdict":"REJECT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors claim that any group acting non-trivially on finitely many Gromov-hyperbolic spaces contains simultaneously hyperbolic elements with positive density, but a central lemma in the proof fails for non-orientable lineal actions.","lead":"A group acting on several curved spaces always has one element that moves every space at once, and such elements are common enough to have positive density in the group. The paper proves this under the weakest possible conditions, but a key counting lemma is false for a non-orientable case, so the main proof does not currently work.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 4.8 (and the mixed case of Lemma 4.6) is false for non-orientable lineal actions: for g outside the orientable subgroup G1, gh^k is not in the domain of the Busemann quasimorphisms. D_∞ acting on R gives an explicit counterexample, so Theorem 1.2 is unproved.","rationale":"I read the paper as making two headline claims: existence of a simultaneous hyperbolic element (Theorem 1.1/4.1) and positive density of such elements (Theorem 1.2/4.9), with Theorem 1.4 supplying the contracting-element analogue. The existence proof appears sound: it chooses elements inside the orientable finite-index subgroup G1, where the Busemann quasimorphisms are defined, and avoids the flaw identified here. The density proof, however, rests on Lemma 4.6, and in the all-lineal/focal case on Lemma 4.8. The reader's concern is exactly the weak point: the proof silently transfers a statement about products gh^k into the subset A = ∪A_i, although A_i is only defined on G1. For non-orientable lineal actions this is not a harmless technicality. An element outside G1 swaps the two limit points of that factor and is therefore elliptic, so SH(G) is contained in G1. Consequently the asserted finite set F with 'for every g, some gf ∈ SH(G)' cannot exist, as the infinite dihedral example shows. The same defect invalidates the mixed case of Lemma 4.6, where the claim is made for arbitrary g ∈ G but the Busemann functions live on G1. Since Lemma 4.6 is the engine of Corollary 4.9, Theorem 1.2 is unproved for groups with a non-orientable lineal action among the given factors. I am not claiming the theorem is false; a finite-index transfer argument may well repair it, and the contracting density theorem (Theorem 1.4) is independent of this part of the paper. But as written, a central advertised result has no valid proof. This is a substantive correctness risk, not a matter of style or consensus, and it justifies the reader's reject verdict.","tokens_in":20694,"tokens_out":13509,"duration_ms":143829,"concrete_test":"Run Lemma 4.8 on G = D_∞ = ⟨a,t | t^2 = 1, tat = a^{-1}⟩ acting on R by a(x) = x+1 and t(x) = -x, with l = 1. This action is non-elliptic, non-horocyclic, and non-orientable lineal. Choose G1 = ⟨a⟩, h = a, and k any positive integer; the proof's F is {a^{pk}} for p = 1,...,l+1 (for l = 1, {a^k, a^{2k}}). For the reflection g = t, compute (t a^{pk})^2 = 1 for every p, so t a^{pk} is elliptic and never hyperbolic. Thus no element of F satisfies gf ∈ SH(G), contradicting Lemma 4.8. This direct computation settles the concern without relying on any disputed definition.","verdict_should_be":"REJECT","load_bearing_attack":"In Lemma 4.8, the proof chooses a finite-index subgroup G1 on which every lineal action is orientable, defines Busemann quasimorphisms β_i on G1, sets A_i = {g ∈ G1 : β_i(g) = 0}, and claims that if gh^k,...,gh^{(l+1)k} are not in SH(G), then they lie in A = ∪A_i. This is where the argument breaks. For a non-orientable lineal factor, G1 is the (normal) subgroup fixing the two limit points; if g ∉ G1 then gh^{pk} ∉ G1, so β_i is not defined and the products are not elements of A. In fact, an element outside G1 swaps the two boundary points, hence has no fixed boundary point and is elliptic on that factor. Since every hyperbolic element of a lineal action fixes both limit points, SH(G) is contained in G1. Therefore, for g outside G1 and any f ∈ F ⊆ SH(G), the product gf remains outside G1 and is elliptic on that factor; the finite-set property demanded by Lemma 4.8 cannot hold. Concretely, let D_∞ = ⟨a,t | t^2 = 1, tat = a^{-1}⟩ act on R by a(x) = x+1 and t(x) = -x, with G1 = ⟨a⟩. For h = a and any k, F = {a^{pk},...,a^{(l+1)pk}} lies in SH(G), but (t a^{pk})^2 = 1, so both t a^{pk} and t a^{2pk} are elliptic. The same gap is repeated in Lemma 4.6's mixed case: the claim that for arbitrary g ∈ G one can find M_i with g f_i^{M_i} ∈ SH(G1;{m+1,...,l}) again silently requires g ∈ G1. Lemma 4.6 is the tool behind Corollary 4.9, so the positive-density theorem is unproved when any factor is non-orientable lineal. Theorem 4.1 is not affected because its constructed element stays inside G1; Theorem 1.4 also appears independent of this argument.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves two main results for a group G acting non-elliptically and non-horocyclically on finitely many Gromov-hyperbolic spaces X_1,...,X_l. Theorem 1.1 asserts that the set SH(G) of simultaneously hyperbolic elements is nonempty, answering an open question of Clay--Uyanik, Genevois, and Balasubramanya--Fern\\'os without extra assumptions. Theorem 1.2 asserts that, for finitely generated G, SH(G) has positive density in any proper word metric. The main tool is Theorem 1.4, which establishes existence and positive density of simultaneously contracting elements in groups acting on metric spaces with the contracting property. The contracting part is proven via a combinatorial 'SC construction' based on the Extension Lemma, while the hyperbolic part combines this with Busemann quasimorphisms for lineal and focal actions.","tokens_in":21143,"tokens_out":17503,"duration_ms":161787,"significance":"If the results were fully established, they would constitute a genuine advance: Theorem 1.1 resolves a natural open question by weakening the hypotheses of several earlier simultaneous-hyperbolicity results, and Theorem 1.2 would recover and generalize Wiest's counting theorem. The contracting-element results in Section 3 are carefully structured, with explicit pigeonhole counts, and the existence proof for Theorem 1.1 is largely sound. However, the positive-density theorem for hyperbolic elements (Theorem 1.2) rests on Lemma 4.6, whose statement is false as written. The flaw is not a minor gap but a domain error in the use of Busemann quasimorphisms, and it means the paper's central counting claim is not established.","major_comments":[{"comment":"Lemma 4.8 is false as stated. In the proof, the implication 'if gh^k,...,gh^{(l+1)k} are not in SH(G), then they lie in A = ∪ A_i' is invalid because the sets A_i are defined as subsets of the finite-index subgroup G1, while g is an arbitrary element of G. For a non-orientable lineal action, every hyperbolic element must fix both limit points, so SH(G) is contained in G1; if g ∉ G1, then gh^{pk} ∉ G1 and gh^{pk} is elliptic on that factor, yet it is not in A. The example G = D_∞ = ⟨a,t | t^2 = 1, tat = a^{-1}⟩ acting on R by a(x) = x+1 and t(x) = -x, with G1 = ⟨a⟩, shows that the claimed finite-set property actually fails: for any finite F ⊂ SH(G) ⊂ G1 and any g = t, the products gf lie outside G1 and are elliptic. Thus Lemma 4.8, and any result that relies on it, is not merely unproved but false.","section":"Lemma 4.8"},{"comment":"The mixed case of Lemma 4.6 repeats the same domain error. The Claim states that for any g ∈ G there is M_i with g f_i^{M_i} ∈ SH(G1;{m+1,...,l}); this requires g ∈ G1 because SH(G1;{m+1,...,l}) is defined inside G1. Later the proof sets h = g f_1^{j_r}, where g may be outside G1, and applies the Claim to h. Since h ∉ G1, the products h f_i^{M_i} are outside G1 and cannot lie in SH(G1;{m+1,...,l}). Thus the proof of Lemma 4.6 fails in every situation where at least one factor is a non-orientable lineal action, and the positive-density conclusion for mixed actions is unsupported.","section":"Lemma 4.6"},{"comment":"Because Lemma 4.6 is false, Corollary 4.9 (Theorem 1.2) is unproved. The difficulty is structural: the finite-set property 'for every g ∈ G there exists f ∈ F with gf ∈ SH(G)' cannot hold when SH(G) is contained in a proper finite-index subgroup G1, since elements outside G1 multiplied by elements of SH(G) remain outside G1 and are elliptic on the non-orientable lineal factor. A repair is likely possible within the paper's framework by proving the finite-set property on G1 and then using the positive density of G1 in G, but this requires restating Lemma 4.6 and Lemma 4.8 and adding a new counting step; it is not a local correction to the present argument.","section":"Theorem 1.2 / Corollary 4.9"}],"minor_comments":[{"comment":"The cardinality notation |S^{≤n}| is rendered as '7Sďn' and similar throughout the manuscript, apparently a LaTeX rendering issue; this should be corrected for readability.","section":"Throughout"},{"comment":"In the proof of Lemma 3.6, the displayed inequality 'dpo1,fif1g1okq' mixes the subscript 1 with the running index k; please fix the notation.","section":"Lemma 3.6"},{"comment":"In the proof of Lemma 4.6, the phrase 'If each action X ñ X_k' should read 'If each action G ñ X_k'.","section":"Lemma 4.6 proof"},{"comment":"In Remark 1.3, the expressions '7Sďn' and '7pSďnX SHpGqq' should be |S^{≤n}| and |S^{≤n} ∩ SH(G)|.","section":"Remark 1.3"}],"recommendation":"major_revision","confidential_remarks":"The reader's report and the stress-test note correctly identify the flaw in Lemma 4.8; my reading of the manuscript confirms that the issue is real and affects the proof of Theorem 1.2. The existence theorem Theorem 1.1 appears sound, and the contracting-element results in Section 3 are valuable. The problem is a substantive but potentially repairable gap in the density proof, so I recommend major revision rather than rejection. The paper fits the journal's scope, and the citation pattern is not a concern."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper has a genuinely new result: Theorem 1.1 answers the open Question 1 under the weakest possible conditions, and the SC construction plus Busemann quasimorphisms is a clean idea. Theorem 1.4 on simultaneously contracting elements also looks solid and properly generalizes earlier work. The counting lemma 3.12 is standard and correctly applied. If the paper were only about existence, I would be quite positive.\n\nThe problem is the positive-density claim, Theorem 1.2. Lemma 4.8 is false as stated for non-orientable lineal actions. The proof chooses a finite-index subgroup G1 on which every lineal action is orientable, defines Busemann quasimorphisms on G1, and sets A = ∪A_i ⊂ G1. It then claims that if gh^k, ..., gh^{(l+1)k} are not in SH(G), they must lie in A. But for g outside G1, the products gh^{pk} are not in G1 at all, so they cannot lie in A. For a non-orientable lineal action, every hyperbolic element fixes both limit points and therefore lies in G1; an element outside G1 swaps the limit points and is elliptic. So for g outside G1 and any f in the proposed set F ⊂ G1, gf is never simultaneously hyperbolic. The infinite dihedral group acting on R is a concrete counterexample: the reflection t is elliptic, and t a^n is elliptic for every n.\n\nThe same gap appears in the mixed case of Lemma 4.6, where the Claim asserts that for any g ∈ G there is M_i with g f_i^{M_i} ∈ SH(G1;{m+1,...,l}). This is also only true for g ∈ G1. Since Lemma 4.6 is the tool behind Corollary 4.9, the positive-density theorem is unproved whenever any factor is a non-orientable lineal action.\n\nIs this repairable? Probably yes. The existence of one element, and even infinite independent sets, is unaffected. For density, one could restrict the finite-set property to G1 and then pass to G using the finite index of G1; the density estimate would survive with a smaller constant. But none of that is in the current text, so Theorem 1.2 as stated is unsupported.\n\nThis paper deserves a serious referee, but the referee should insist on a fix for the non-orientable lineal case before any acceptance. The main existence theorem is likely correct and significant; the density result needs real work, not just cosmetic revision.","headline":"Genuine answer to Question 1, but the positive-density proof has a real gap for non-orientable lineal actions; Theorem 1.2 is unproved as written.","tokens_in":21717,"tokens_out":3898,"would_cite":true,"duration_ms":35804,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["20F65","20F67"],"pacs":[],"model":"deepseek-v4-flash","headline":"Any group with hyperbolic elements on finitely many hyperbolic spaces has one element hyperbolic on all of them.","keywords":["Gromov-hyperbolic spaces","simultaneously hyperbolic elements","simultaneously contracting elements","positive density","word metric","Busemann quasimorphisms","Extension Lemma","group actions on hyperbolic spaces"],"falsifier":"Take the infinite dihedral group acting on the real line with the non-orientable lineal action whose orientable subgroup is the translations; for the finite set $F$ built in Lemma 4.8 from powers of a translation $h$, a reflection $g$ makes every $gh^k$ a reflection and hence elliptic, so no $f\\in F$ gives $gf$ hyperbolic, and checking whether the density ratio of Corollary 4.9 still has a positive lower bound for this action settles whether the theorem survives or only the proof needs repair.","tokens_in":20461,"feed_emoji":"🔺","tokens_out":14461,"duration_ms":120021,"temperature":0.7,"pith_summary":"The paper answers an open question: if a group acts on finitely many Gromov-hyperbolic spaces and each action contains at least one hyperbolic element, then some single group element is hyperbolic on every space at the same time. Earlier results needed extra hypotheses, such as every element being either elliptic or hyperbolic on each space, or all actions being of general type. The paper removes these conditions entirely. It goes further and shows that, for finitely generated groups, the simultaneously hyperbolic elements have strictly positive density in every sufficiently large word ball. The engine is a combinatorial construction that builds simultaneously contracting elements in much more general metric spaces, and a density argument that turns this into a counting statement.","feed_headline":"One group element is hyperbolic for every action at once","feed_subtitle":"A construction guarantees such elements, and shows they fill a positive share of every word ball.","key_machinery":"The load-bearing mechanism is the SC construction, a pigeonhole argument built on the Extension Lemma. Starting from an independent set of simultaneously contracting elements $f_1,\\ldots,f_s$ on spaces $X_1,\\ldots,X_l$, the construction multiplies them against arbitrary elements $h_j$ so that products $f_i h_j$ become contracting on one space after another; with more than $2l$ initial elements, the pigeonhole principle forces some product to be contracting on all $l$ spaces at once. For hyperbolic spaces, the paper combines this with Busemann quasimorphisms: on the finite-index subgroup where a lineal action is orientable, the Busemann quasimorphism $\\beta$ satisfies $\\beta(g)\\ne 0$ exactly when $g$ is hyperbolic, and a short lemma on non-zero homogeneous quasimorphisms produces an element with all $\\beta_i(g)\\ne 0$ simultaneously. The density statements then follow from a finite-set covering lemma, originally used for mapping class groups, which shows that a set $E$ with a finite 'multiplier' set $F$ such that $gF$ meets $E$ for every $g$ must occupy a positive fraction of every large word ball.","core_discovery":"The central discovery is that simultaneous hyperbolicity is guaranteed by the weakest possible hypothesis: each individual action must contain at least one hyperbolic element, and no more. For a group $G$ acting non-elliptically and non-horocyclically on finitely many Gromov-hyperbolic spaces $X_1,\\ldots,X_l$, the set $\\mathrm{SH}(G)$ of elements hyperbolic on every $X_i$ is non-empty (Theorem 4.1). Moreover, if $G$ is finitely generated by $S$, there is a constant $c(S)\\in(0,1)$ such that the proportion of $S^{\\le n}$ consisting of simultaneously hyperbolic elements is greater than $c(S)$ for all sufficiently large $n$ (Corollary 4.9). The proof first establishes the analogous statement for simultaneously contracting elements in geodesic metric spaces with the contracting property, where the set $\\mathrm{SC}(G)$ is non-empty, contains an infinite independent subset, and has positive density; hyperbolic elements on Gromov-hyperbolic spaces are then treated as a special case, with lineal and focal actions handled through Busemann quasimorphisms.","pith_inferences":["Editorial inference: the positive-density proof's reliance on a finite-index subgroup could be avoided by working with relative Busemann quasimorphisms on cosets, which would make the argument uniform over all lineal actions without orientability assumptions.","Editorial inference: the same SC construction should yield simultaneous loxodromic elements for actions of a group on a finite family of quasi-geodesic metric spaces whenever the Extension Lemma holds, not only geodesic ones; the paper's statements are already formulated for geodesic spaces.","Editorial inference: a concrete stress test is to compute the optimal constant $c(S)$ in the paper's $\\mathbb{F}_2\\times\\mathbb{F}_3$ example; the paper gives the limiting proportion of non-simultaneously hyperbolic elements as $48/225$, but not the sharp finite-$n$ constant, and an explicit formula would calibrate how far the covering-lemma bound is from optimal."],"forward_implications":["Question 1 is settled affirmatively: no extra condition such as 'every element is elliptic or hyperbolic' or 'general type action' is needed for the existence of a simultaneously hyperbolic element.","For finitely generated groups, simultaneously hyperbolic elements are not rare: they occupy more than some fixed positive fraction of every sufficiently large word ball with respect to any generating set.","The same positive-density conclusion holds for simultaneously contracting elements in actions with the contracting property, which is a strictly larger class than hyperbolic actions.","Taking a single hyperbolic space recovers the known positive-density theorem for loxodromic actions, and the earlier simultaneous-construction theorems in the literature become special cases.","The set is not generic in general: the paper's example $\\mathbb{F}_2\\times\\mathbb{F}_3$ acting on a product of trees shows the density lower bound cannot be pushed to $1$."],"supporting_citations":[{"why":"Supplies the Extension Lemma and the theory of weakly-independent contracting elements that the SC construction iterates.","marker":"[13]"},{"why":"Provides the original Extension Lemma that Section 3.1 generalizes combinatorially to several spaces.","marker":"[15]"},{"why":"Provides the covering argument converting a finite multiplier set into positive density in word balls.","marker":"[8]"},{"why":"Gives Busemann quasimorphisms and the criterion that they vanish exactly on non-hyperbolic elements, used for lineal and focal actions.","marker":"[5]"},{"why":"Establishes the prior simultaneous contracting and hyperbolic results for general-type actions that this paper extends.","marker":"[2]"},{"why":"Earlier simultaneous construction of hyperbolic isometries under the extra condition that every element is elliptic or hyperbolic.","marker":"[7]"},{"why":"Earlier simultaneous hyperbolicity result for CAT(0) cube complexes under the same extra condition, generalized here.","marker":"[10]"},{"why":"The l=1 positive-density theorem for loxodromic actions recovered by Corollary 4.9.","marker":"[14]"},{"why":"Supplies the five-type classification of isometric actions on hyperbolic spaces used to split the proof into general type, lineal, and focal cases.","marker":"[1]"}],"fun_headline_variants":["Hyperbolic on every space, with positive density","Weakest conditions guarantee simultaneous hyperbolics","Simultaneous hyperbolic elements: existence and density","Positive density for simultaneous hyperbolic elements"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The positive-density proof for lineal and focal actions assumes that every element of the ambient group, not just the finite-index subgroup on which the Busemann quasimorphisms live, can be multiplied by powers of a chosen hyperbolic element to stay inside the zone where hyperbolicity is detected; outside that subgroup the products can be elliptic, as with reflections in a dihedral action on the line.","fun_headline_variants_meta":{"raw":{"variants":["Hyperbolic on every space, with positive density","Weakest conditions guarantee simultaneous hyperbolics","Simultaneous hyperbolic elements: existence and density","Positive density for simultaneous hyperbolic elements"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000184,"raw_usage":{"total_tokens":1325,"prompt_tokens":957,"completion_tokens":368,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":573,"completion_tokens_details":{"reasoning_tokens":313}},"tokens_in":573,"tokens_out":368,"duration_ms":3779,"temperature":1.0,"reasoning_tokens":313,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T21:33:14.707875+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the infinite dihedral group acting on the real line with the non-orientable lineal action whose orientable subgroup is the translations; for the finite set $F$ built in Lemma 4.8 from powers of a translation $h$, a reflection $g$ makes every $gh^k$ a reflection and hence elliptic, so no $f\\in F$ gives $gf$ hyperbolic, and checking whether the density ratio of Corollary 4.9 still has a positive lower bound for this action settles whether the theorem survives or only the proof needs repair.","supporting_citations":[{"cited_title":"4, e70146","cited_arxiv_id":null,"evidence_quote":"Supplies the Extension Lemma and the theory of weakly-independent contracting elements that the SC construction iterates."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the original Extension Lemma that Section 3.1 generalizes combinatorially to several spaces."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the covering argument converting a finite multiplier set into positive density in word balls."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives Busemann quasimorphisms and the criterion that they vanish exactly on non-hyperbolic elements, used for lineal and focal actions."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Earlier simultaneous construction of hyperbolic isometries under the extra condition that every element is elliptic or hyperbolic."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Earlier simultaneous hyperbolicity result for CAT(0) cube complexes under the same extra condition, generalized here."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The l=1 positive-density theorem for loxodromic actions recovered by Corollary 4.9."}],"review_version":1}