{"id":"602d1591-3d76-40f4-8e59-7ae501830b19","arxiv_id":"2412.15463","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For the groups G(F,F'), if F' is 2-transitive then the group is boundedly acyclic; otherwise its second bounded cohomology is infinite dimensional.","lead":"This paper computes the bounded cohomology of groups acting on trees with almost prescribed local actions, showing they are either boundedly acyclic or have infinite-dimensional second bounded cohomology. The result settles a dichotomy for a prominent family of locally compact groups and introduces a general vanishing criterion for amenable actions on trees.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the F={id} edge case is excluded by the hypothesis that F' preserves the orbits of F, so the proof's use of a nontrivial cycle in F is justified.","rationale":"The reader's weakest_assumption is that the theorem statement allows F={id} and that the proof of Theorem 1(1) silently assumes a nontrivial permutation in F. But the theorem's hypotheses exclude this case. The phrase 'F' preserves the orbits of F' means each F-orbit is invariant under F', so when F={id} every singleton is invariant, forcing F'={id}. Since the theorem assumes F<F', this cannot occur. Additionally, if F' is 2-transitive, the F-orbits form a block system for the primitive group F'; a nontrivial block system would contradict primitivity, so F must be transitive. Therefore F is nontrivial and the existence of a permutation tau with a cycle of length at least 2 is guaranteed. The proof's line construction in Section 5 is thus applicable for every admissible pair in the statement of Theorem 1(1). I also checked the other potentially delicate points: the amenability of the action, the parity reduction to G+, the verification of conditions (i) and (ii) of Theorem 2, and the use of the dichotomy in Theorem 3.6 for part (2). No internal inconsistency or unproven necessary assumption surfaced. Since the single specific objection raised by the reader does not land, the conditional verdict based on it need not be adjusted.","tokens_in":12221,"tokens_out":38146,"duration_ms":346045,"concrete_test":"Enumerate, for d=3,4,5, all pairs F<F'<Sym(Omega) satisfying the orbit-preservation hypothesis and verify that whenever F' is 2-transitive, F is transitive and nontrivial; in particular, confirm that no admissible pair has F={id}. If such a pair existed, Theorem 1(1) would require an additional hypothesis.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I find no load-bearing gap in Theorem 1 as stated. The reader's concern about F={id} is resolved by the hypotheses. If F={id}, its orbits are the singletons {1},...,{d}; since F' preserves the orbits of F, every element of F' must map each singleton to itself, forcing F'={id}. This contradicts F<F' and also makes 2-transitivity impossible for d>=3. Moreover, the same orbit-preservation condition plus 2-transitivity of F' forces F to be transitive: the F-orbits form a block system for F', and a 2-transitive group is primitive, so this block system must be trivial. Hence F is nontrivial, and the permutation tau with a cycle of length at least 2 used in Section 5 indeed exists. The remaining argument for Theorem 1(1) -- transitivity on finite segments, reduction to the parity subgroup G+, construction of the line L with edge-transitive stabilizer, and application of Theorem 2 -- is internally consistent. The non-vanishing part (2) also appears sound within its stated hypotheses.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the continuous bounded cohomology (with real coefficients) of Le Boudec's locally compact groups G(F,F') acting on the d-regular tree with almost prescribed local actions, where F<F'<Sym(Ω) and F' preserves the orbits of F. Theorem 1 states a dichotomy: if F' is 2-transitive then G(F,F') is boundedly acyclic; otherwise the second continuous bounded cohomology space is infinite-dimensional. The proof of the vanishing part is based on a new criterion, Theorem 2, for bounded acyclicity of a locally compact group acting amenably and without inversions on a locally finite regular tree, provided some line L satisfies a segment-intersection property and its stabilizer acts edge-transitively; the proof uses Bucher-Monod's aligned chain complex. The non-vanishing part uses a theorem of Iozzi-Pagliantini-Sisto on median quasimorphisms. The paper also records a lemma on direct-product subgroups when F acts freely.","tokens_in":12437,"tokens_out":49050,"duration_ms":443491,"significance":"If the results are correct, Theorem 1 provides a sharp and clean dichotomy for a prominent family of non-discrete locally compact groups, adding new examples of non-amenable boundedly acyclic groups and of groups with infinite-dimensional H^2_cb. The aligned-complex criterion in Theorem 2 is of independent interest, and the amenability assumption is well suited to groups that cannot act properly on a tree. The proofs are largely self-contained, with external results used as black boxes; the treatment of continuity of homogenized median quasimorphisms in Remark 3.5 is a useful detail. The main gap I found is in the proof of Theorem 2 at degree n=0, which is fixable and does not appear to affect the main theorem.","major_comments":[{"comment":"The surjectivity part of the Claim is not proved for n = 0. The argument chooses y as the first vertex after x0 in the segment [x0,xn], which is impossible when x0 = xn; hence no h ∈ H is produced that aligns a single vertex gx0 with g'x0. Since the Claim asserts an isomorphism for every n ≥ 0 and the subsequent identification H^n_cb(G) ≅ H^n_cb(H) uses the cochain isomorphism, this is a gap in the proof of Theorem 2. In the application to G+ this gap can be closed because G+ preserves the bipartition of T and the stabilizer H of L then has the two bipartition classes of L as its vertex orbits, so images of a fixed vertex x under elements of G+ that land in L always lie in a single H-orbit; I suggest the authors either add this argument or reformulate the proof via a mapping-cone/LES argument that only needs isomorphisms in positive degrees and the automatic vanishing of H^1_cb.","section":"Section 5, proof of Theorem 2, Claim"},{"comment":"The phrase 'F' preserves the orbits of F' is not defined in the paper. The proof of Theorem 1(1) uses it to conclude that F contains a cycle of length at least 2 (hence F is nontrivial), and the proof of Theorem 1(2) uses it to conclude that if F is not transitive then F' is not transitive. Both implications require that every element of F' fixes each F-orbit setwise, not merely that the set of F-orbits is permuted by F'. If only the latter were meant, F={id} would be allowed with 2-transitive F' and the proof of part (1) would fail. Please state the intended meaning explicitly in Section 2 and, if necessary, add a short justification of the nontrivial-cycle step.","section":"Section 2, Definition 2.2; Section 5, proof of Theorem 1(1)"}],"minor_comments":[{"comment":"The equivalence relation on alternating chains is described 'for all σ ∈ Sym(Ω)', but the symmetric group should act on the coordinates of the (n+1)-tuple, not on Ω = {1,...,d}.","section":"Section 4, Definition 4.1"},{"comment":"The sentence 'Since y is adjacent to x0 and G acts without inversions, the case hgx0 = g'y cannot happen' gives an inaccurate reason; the real obstruction is that this endpoint swap would place h(gxn) on the wrong side of the line L, so h(gxn)=g'xn would be impossible. Please rephrase.","section":"Section 5, proof of Theorem 2"},{"comment":"In the construction of the translation t, the sentence 'The transitivity of F grants that there exists a permutation in F which sends w to its prescribed image' should be phrased precisely: a permutation in F sends the color of the edge from w to L to the color of the prescribed image edge.","section":"Section 5, proof of Theorem 1(1)"},{"comment":"The assertion that each segment can be sent into L by an element of even displacement length is stated without proof; please expand it by noting that vertex-transitivity and transitivity on segments allow the initial vertex to be mapped to a vertex of L at even distance.","section":"Section 5, proof of Theorem 1(1)"},{"comment":"The notation 'Td' suggests a regular tree of degree d, but the statement does not specify the degree; please state explicitly that d ≥ 2 or simply say 'a locally finite regular tree'.","section":"Theorem 2 statement"}],"recommendation":"major_revision","confidential_remarks":"To the editor: the paper is publishable after the proof of Theorem 2 is repaired. The main theorem is likely correct; the issues are local. The ambiguity of 'preserves the orbits' should be resolved in revision. I do not see grounds for rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a genuine contribution that deserves refereeing. The main result, a complete dichotomy for H^2_cb of Le Boudec groups G(F,F'), is new and likely to be used. Theorem 2 is a clean extension of the Bucher-Monod aligned complex technique to amenable actions; that's the part I'd expect people to cite on its own.\n\nThe proof has two soft spots, both fixable. The reader flagged that part (1) assumes a nontrivial permutation in F, while the statement allows F=id. The stress-test note tries to wave this away by claiming the hypotheses rule out F=id, but that's wrong: if F=id, its orbits are singletons, and any F' preserves them, so F'=S_d satisfies the hypotheses. The fix is easy: G({id},F') is trivial, because an automorphism that is locally identity at all but finitely many vertices of an infinite tree is identity everywhere. So the statement stands, but the proof needs an extra sentence.\n\nThe second soft spot is in part (2). The proof says \"if F is not transitive, then neither is F' (since it has to preserve the orbits of F).\" That's false. F' can be transitive while preserving the orbit partition as a block system (e.g., F=K_4 on {1,2,3,4} with partition {1,2}|{3,4}, F'=D_8). The case analysis should distinguish whether F' itself is transitive, not whether F is. If F' is intransitive, the edge-transitivity argument works; if F' is transitive and not 2-transitive, the second half of the proof already applies unchanged. This is a repairable logical slip, not a fatal flaw.\n\nApart from those two points, I found the main arguments coherent. Theorem 2's proof checks out: the amenability of the line stabilizer and the isomorphism between aligned cochains on T and alternating cochains on L are sound. The non-vanishing theorem's use of IPS20 is appropriate, with the continuity details handled. The paper engages properly with the literature and doesn't fit parameters.\n\nMy verdict: the results are likely true and clearly useful. Send it to a referee. A good referee will ask for a revision that fixes the two gaps above; neither should require new ideas.","headline":"A new and useful dichotomy for bounded cohomology of Le Boudec groups, with two small, fixable gaps that a referee should catch.","tokens_in":12947,"tokens_out":14984,"would_cite":true,"duration_ms":129808,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["20J05","55N10","20E08","20F65"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that, for groups acting on a regular tree with almost prescribed local actions, bounded acyclicity is equivalent to the larger local permutation group being 2-transitive, and that otherwise the second bounded cohomology…","keywords":["bounded cohomology","boundedly acyclic groups","actions on trees","almost prescribed local actions","aligned complex","median quasimorphisms","2-transitive permutation groups","locally compact groups"],"falsifier":"Take d=3, F={id}, and F'=Sym({1,2,3}), so F' is 2-transitive; compute whether G({id},F') admits an unbounded continuous homogeneous quasimorphism. If one exists, part (1) of Theorem 1 is false in that allowed case; if none exists, the vanishing likely still holds and the proof needs a separate argument for trivial F.","tokens_in":12016,"feed_emoji":"🌳","tokens_out":11001,"duration_ms":67509,"temperature":0.7,"pith_summary":"This paper proves a complete dichotomy for the bounded cohomology of the groups G(F,F') that act on a regular tree while prescribing, up to finitely many exceptions, the local permutation of edges at each vertex. When the larger permutation group F' is 2-transitive on the coloring set, every positive-degree continuous bounded cohomology group H^n_cb(G(F,F'); R) vanishes, making the group boundedly acyclic even though it is non-amenable. When F' is not 2-transitive, the second bounded cohomology $H^{2}$_cb(G(F,F'); R) is infinite dimensional. The result matters because these groups need not contain infinite finitely generated direct product subgroups, so the usual displacement techniques for proving acyclicity fail; the vanishing argument instead runs through a single geodesic line whose stabilizer is amenable and edge-transitive.","feed_headline":"Local 2-transitivity decides tree-group bounded cohomology","feed_subtitle":"Doubly transitive local permutations force vanishing in every degree; all other cases already fail in degree two.","key_machinery":"The load-bearing mechanism is a single geodesic line L inside the regular tree. In the 2-transitive case one constructs L from the cycles of a nontrivial permutation in F so that the stabilizer of L contains a translation of length two and a flip, making it act transitively on geometric edges; because the action is amenable, the dual of the aligned complex (the subcomplex spanned by tuples lying on geodesics) lets one replace the bounded cohomology of G by that of the amenable stabilizer of L, forcing all positive-degree groups to vanish. In the opposite case the decisive objects are median quasimorphisms: for a fixed oriented segment s, the map counting the number of G-translates of s along the geodesic from v to gv, homogenized, is a continuous quasimorphism, and non-2-transitivity guarantees that infinitely many of these are linearly independent in $H^{2}$_cb.","core_discovery":"On the paper's own terms, the central discovery is that the symmetry of the local permutation group completely controls bounded cohomology in this family. If F' is 2-transitive, G(F,F') admits an amenable action on the d-regular tree with a distinguished geodesic line L such that every finite segment can be moved into L and the set-wise stabilizer of L acts transitively on the geometric edges of L; a general criterion then identifies the bounded cohomology of G(F,F') with that of the stabilizer of L, which is an extension of amenable groups and hence has vanishing bounded cohomology. If F' is not 2-transitive, the same action is minimal and fixes no boundary point, but it also fails to be transitive on length-two segments starting at a fixed vertex, so a trichotomy theorem for actions on trees yields infinitely many linearly independent classes in $H^{2}$_cb, represented by homogenized median quasimorphisms. Together the two cases give an 'if and only if' description of bounded acyclicity for these groups.","pith_inferences":["A natural quantitative next step is to measure how large the infinite-dimensional H^2_cb is, for instance by making explicit the defects of the median quasimorphisms and asking whether the independent classes survive in a normed quotient with controlled geometry.","Because the vanishing mechanism is a single edge-transitive line in an amenable action, one can look for the same pattern in other locally compact groups acting on trees, such as groups with prescribed local actions where the smaller local group is transitive but not free, as new candidates for bounded acyclicity.","The role of the hypothesis that F' preserves the orbits of F is not explored in the paper; testing whether the dichotomy persists when this condition is dropped would clarify which part of the structure is essential."],"forward_implications":["For any d >= 3 and any 2-transitive F' with F < F', the group G(F,F') is a non-amenable boundedly acyclic locally compact group; when F acts freely, every finitely generated direct product subgroup of G(F,F') is finite, so this is acyclicity without the usual direct-product structure.","The dichotomy classifies bounded acyclicity in the whole family: G(F,F') is boundedly acyclic if and only if F' is 2-transitive on {1,...,d}.","In the non-2-transitive case, the infinite dimensionality of H^2_cb is witnessed by infinitely many independent homogenized median quasimorphisms, so the failure is already visible in degree two.","The general criterion applies to any amenable, inversion-free action on a locally finite regular tree admitting such a line, giving a new sufficient condition for bounded acyclicity beyond the specific family studied here."],"supporting_citations":[{"why":"Defines the groups G(F,F') acting on trees with almost prescribed local actions and establishes their topological and structural properties used throughout.","marker":"[LB15]"},{"why":"Introduces the aligned complex whose dual resolution computes bounded cohomology in amenable actions, the backbone of the vanishing proof.","marker":"[BM17a]"},{"why":"Supplies the continuous bounded cohomology formalism, including amenability of actions, restriction maps, and the resolution theorem used in the vanishing argument.","marker":"[Mon01]"},{"why":"Provides the trichotomy theorem for actions on trees that yields the infinite family of median quasimorphism classes in the non-2-transitive case.","marker":"[IPS20]"},{"why":"Introduces universal groups with prescribed local action and the local permutation formalism, used to define U(id) and establish vertex transitivity and boundary behavior.","marker":"[BM00]"},{"why":"Gives Johnson's vanishing theorem for bounded cohomology of amenable groups, applied to the stabilizer of the line L.","marker":"[Joh72]"},{"why":"Contains the classical lemma characterizing 2-transitive permutation groups via point stabilizers, used to show failure of transitivity on length-two segments.","marker":"[Rob96]"},{"why":"Justifies that the transitive action on the tree yields an amenable equivalence relation, needed for amenability of the action.","marker":"[Moo18]"}],"fun_headline_variants":["Tree groups: 2-transitive local actions vanish, others fail in degree two","Local 2-transitivity: the switch for tree-group bounded cohomology","For tree groups, 2-transitive locals kill bounded cohomology","Bounded cohomology of tree groups: 2-transitive locals vanish"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"For the vanishing statement the proof assumes the smaller group F contains a permutation with a cycle of length at least two; if F is the trivial group, the construction of the line with edge-transitive stabilizer is not carried out, so the theorem as stated is not established in that case.","fun_headline_variants_meta":{"raw":{"variants":["Tree groups: 2-transitive local actions vanish, others fail in degree two","Local 2-transitivity: the switch for tree-group bounded cohomology","For tree groups, 2-transitive locals kill bounded cohomology","Bounded cohomology of tree groups: 2-transitive locals vanish"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000915,"raw_usage":{"total_tokens":3866,"prompt_tokens":821,"completion_tokens":3045,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":437,"completion_tokens_details":{"reasoning_tokens":2962}},"tokens_in":437,"tokens_out":3045,"duration_ms":21060,"temperature":1.0,"reasoning_tokens":2962,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T11:25:30.747886+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take d=3, F={id}, and F'=Sym({1,2,3}), so F' is 2-transitive; compute whether G({id},F') admits an unbounded continuous homogeneous quasimorphism. If one exists, part (1) of Theorem 1 is false in that allowed case; if none exists, the vanishing likely still holds and the proof needs a separate argument for trivial F.","supporting_citations":[],"review_version":1}