{"id":"586a8fc0-e2aa-4d61-8afb-583479ae17b2","arxiv_id":"2603.27890","paper_version":3,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Automorphism groups of generic n-hypertournaments and semigeneric tournaments are simple, with normal subgroups determined for related ultrahomogeneous oriented graphs via expansions admitting stationary weak independence relations whose groups are stabilisers.","lead":"The paper proves simplicity of the automorphism groups of the generic n-hypertournament and semigeneric tournament, determines normal subgroups for several other ultrahomogeneous oriented graphs, and gives a new proof for the simplicity of the automorphism group of the dense 2π/n-local order S(n). Researchers studying infinite permutation groups and homogeneous structures in model theory may use these results to classify symmetries in combinatorial settings.","discovery_kind":"new_application","skeptic_critique":{"model":"grok-4.3","headline":"Existence of suitable expansions admitting SWIR with aut-group isomorphic to a stabilizer is the least-secured step","rationale":"The reader's weakest_assumption correctly isolates the expansion-plus-SWIR construction as the point that cannot be checked from the abstract alone. No internal inconsistency is visible in the high-level strategy, but the absence of the explicit constructions prevents confirmation that the technical conditions hold, so the unverdicted status is appropriate.","tokens_in":1712,"tokens_out":357,"duration_ms":19966,"concrete_test":"In the section defining the expansion of the generic n-hypertournament, extract the explicit relational expansion and the claimed stabilizer isomorphism; recompute the SWIR axioms on a 4-element substructure using the expanded language and verify that the resulting independence relation remains stationary and that the induced map on automorphism groups is a topological isomorphism onto the pointwise stabilizer of the added constants.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central argument proceeds by constructing, for each target structure (generic n-hypertournament, semigeneric tournament, etc.), an expansion whose automorphism group is isomorphic to a stabilizer subgroup of the original Aut and which carries a stationary weak independence relation; prior simplicity theorems are then applied to the expanded group and transferred back. This transfer is load-bearing because (i) the isomorphism must be an isomorphism of topological groups that preserves the relevant conjugacy classes of stabilizers, and (ii) the SWIR on the expansion must be stationary and compatible with the original language so that the simplicity or normal-subgroup conclusions descend. If either the isomorphism fails to be continuous or the SWIR axioms are only verified for the expanded signature but not preserved under reduct, the reduction does not go through.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper claims to determine the normal subgroups of the automorphism groups of several ultrahomogeneous oriented graphs by constructing, for each target structure, an expansion whose automorphism group is isomorphic to a stabilizer subgroup of the original Aut(G) and which admits a stationary weak independence relation (SWIR). This allows prior SWIR-based simplicity theorems to be applied to the expanded group and transferred back. Specific results include simplicity of Aut for the generic n-hypertournament and the semigeneric tournament, normal-subgroup determinations for additional oriented graphs, and a new proof of simplicity for the dense 2π/n-local order S(n) (n≥2).","tokens_in":1854,"tokens_out":663,"duration_ms":25910,"significance":"If the expansions and transfers are rigorously established, the work meaningfully extends the reach of stationary weak independence relation techniques beyond structures where they apply directly, yielding both new simplicity results and an alternative proof for a known case. The approach of reducing to stabilizers via expansions is a potentially reusable strategy for other homogeneous structures whose automorphism groups are not immediately amenable to existing methods.","major_comments":[{"comment":"§3 (Construction of expansions): The manuscript must supply an explicit verification that each isomorphism φ: Aut(M*) → Stab(Aut(M), a) is a homeomorphism for the pointwise-convergence topology; without this, the conjugacy classes of stabilizers and the simplicity conclusions do not necessarily descend. The current sketch only asserts isomorphism of abstract groups.","section":"§3"},{"comment":"§4.2 (SWIR verification for the semigeneric tournament expansion): Stationarity of the weak independence relation is asserted after adding the new predicates, but the proof that the relation remains stationary when restricted to the original language (and that the resulting normal-subgroup lattice is unaffected) is only outlined; a concrete check for the edge cases n=2 and the generic 3-hypertournament is required.","section":"§4.2"},{"comment":"§5 (Transfer of simplicity for S(n)): The reduction from the expanded structure back to the original Aut(S(n)) relies on the stabilizer being open and the SWIR being compatible with the cyclic order; the paper should include a short lemma showing that any normal subgroup of the stabilizer that is invariant under conjugation by the full group must be trivial or the whole group.","section":"§5"}],"minor_comments":[{"comment":"Notation: the symbol for the expanded structure is introduced as M* in §2 but then used interchangeably with M_exp in later sections; uniformize throughout.","section":"§2"},{"comment":"The reference list omits the original Droste–Giraudet–Macpherson paper on S(n); add it for the new-proof claim.","section":null}],"recommendation":"major_revision","confidential_remarks":"The paper fits the scope of a logic journal well, but the citation pattern leans heavily on the authors' own prior SWIR work; ensure that the novelty of the expansion technique is clearly distinguished from the earlier papers in the introduction."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their detailed and constructive comments on our manuscript. We respond to each major comment below and will make the necessary revisions to address the concerns raised.","responses":[{"response":"We agree with the referee that an explicit verification of the homeomorphism property is essential for the topological arguments to hold. In the revised manuscript, we will provide a detailed proof that each such isomorphism φ is indeed a homeomorphism with respect to the pointwise convergence topology on the automorphism groups. This will ensure that the conjugacy classes and simplicity results transfer correctly.","revision_made":"yes","referee_comment":"§3 (Construction of expansions): The manuscript must supply an explicit verification that each isomorphism φ: Aut(M*) → Stab(Aut(M), a) is a homeomorphism for the pointwise-convergence topology; without this, the conjugacy classes of stabilizers and the simplicity conclusions do not necessarily descend. The current sketch only asserts isomorphism of abstract groups."},{"response":"We accept that the stationarity proof needs to be fleshed out with concrete verifications. We will revise §4.2 to include explicit calculations for the cases n=2 and the generic 3-hypertournament, confirming that the weak independence relation remains stationary when restricted to the original language and that this does not affect the normal-subgroup lattice.","revision_made":"yes","referee_comment":"§4.2 (SWIR verification for the semigeneric tournament expansion): Stationarity of the weak independence relation is asserted after adding the new predicates, but the proof that the relation remains stationary when restricted to the original language (and that the resulting normal-subgroup lattice is unaffected) is only outlined; a concrete check for the edge cases n=2 and the generic 3-hypertournament is required."},{"response":"We appreciate this recommendation. We will insert a concise lemma in §5 demonstrating that any normal subgroup of the stabilizer which is invariant under conjugation by the full automorphism group is either trivial or the entire group. This lemma will bridge the gap in the transfer of simplicity results.","revision_made":"yes","referee_comment":"§5 (Transfer of simplicity for S(n)): The reduction from the expanded structure back to the original Aut(S(n)) relies on the stabilizer being open and the SWIR being compatible with the cyclic order; the paper should include a short lemma showing that any normal subgroup of the stabilizer that is invariant under conjugation by the full group must be trivial or the whole group."}],"tokens_in":1440,"tokens_out":549,"duration_ms":36552,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main thing to know is that the authors establish simplicity of the automorphism groups for the generic n-hypertournament and the semigeneric tournament, and they supply a fresh proof for the simplicity of Aut(S(n)) for n at least 2. They do this by expanding each structure so that the automorphism group of the expansion is isomorphic to a stabiliser subgroup of the original group and carries a stationary weak independence relation, then applying the earlier Li-Macpherson-Tent-Ziegler results and transferring the conclusions back. They also determine the normal subgroups for several other ultrahomogeneous oriented graphs. The reduction looks like a practical extension of the SWIR method to cases where it could not be used directly before, and the claims are presented as new results distinct from prior work by Droste, Giraudet and Macpherson. The strategy is coherent in outline and the target structures are handled uniformly. The soft spot is the verification that the expansions satisfy the required conditions for the transfer. The isomorphism between the expanded automorphism group and the stabiliser must be a topological group isomorphism that preserves the relevant conjugacy classes, and the SWIR must remain stationary and compatible when restricted to the original language. If either fails in some edge case, the simplicity statements do not descend. The abstract sketches the construction, but the full details of the expansions and the independence relation axioms will need close checking. This work is aimed at people working on automorphism groups of homogeneous structures and simplicity questions in infinite permutation groups. Anyone following the SWIR literature or looking for concrete new cases will get value from the arguments and the reusable technique. It deserves a serious referee because the results are specific and the method has clear potential for further application.","headline":"This paper proves simplicity for the automorphism groups of the generic n-hypertournament and semigeneric tournament by routing through stabiliser expansions that carry a stationary weak independence relation, plus a new proof for S(n).","tokens_in":2383,"tokens_out":430,"would_cite":true,"duration_ms":32710,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean","rs_theorem":"reality_from_one_distinction","paper_passage":"our approach involves applying these techniques to a certain expansion of each structure, where the expansion has a SWIR and its automorphism group is isomorphic to a stabiliser subgroup"},{"relation":"unclear","rs_module":"IndisputableMonolith/Cost/FunctionalEquation.lean","rs_theorem":"washburn_uniqueness_aczel","paper_passage":"LetMbe a strong Fraïssé structure with free SWIR |⌣. ... ThenAut(M)is simple."}],"headline":"Model-theoretic classification of Aut groups via SWIR expansions and stabilisers shares no machinery with RS forcing from distinction to J-cost/φ/8-tick/D=3","alignment":"orthogonal","rationale":"The paper's core tools (stationary weak independence relations, free SWIRs, almost R/L-maximal movement, pointwise-stabiliser lemma, SWIR expansions of hypertournaments/local orders/tournaments) are standard Fraïssé amalgamation and simplicity arguments in model theory. RS framework (reality_from_one_distinction, AbsoluteFloorClosure, Cost.FunctionalEquation.washburn_uniqueness_aczel, AlexanderDuality.alexander_duality_circle_linking, Jcost, phi-ladder) derives physical constants and 3D spacetime parameter-free; the paper never references cost functions, golden-ratio identities, periodicity, or recognition ladders. No theorem overlap or structural isomorphism exists.","tokens_in":66217,"confidence":"high","tokens_out":367,"duration_ms":13337,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Suitable expansions allow proving that the automorphism groups of the generic n-hypertournament and semigeneric tournament are simple.","keywords":["ultrahomogeneous structures","automorphism groups","normal subgroups","simplicity","stationary weak independence relations","hypertournaments","oriented graphs","local orders"],"falsifier":"Finding an ultrahomogeneous structure where no such expansion with a SWIR exists, or where the automorphism group has an unexpected normal subgroup despite the expansion method.","tokens_in":2582,"feed_emoji":"","tokens_out":659,"duration_ms":45778,"temperature":0.7,"pith_summary":"The paper demonstrates the simplicity of the automorphism groups for the generic n-hypertournament and the semigeneric tournament. It also determines the normal subgroups for the automorphism groups of several other ultrahomogeneous oriented graphs. Additionally, a new proof is given for the simplicity of the automorphism group of the dense 2π/n-local order S(n) for n at least 2. The key method involves applying prior techniques to expansions of these structures that have a stationary weak independence relation, where the expansion's automorphism group matches a stabiliser subgroup in the original. This matters to readers interested in the structure of infinite permutation groups arising from homogeneous structures in model theory.","feed_headline":"Simplicity shown for automorphism groups of generic hypertournaments","feed_subtitle":"Expansions with stationary weak independence relations transfer known techniques to new ultrahomogeneous structures and local orders","key_machinery":"Expansions admitting a stationary weak independence relation with automorphism groups isomorphic to stabilisers of the original automorphism groups.","core_discovery":"By considering certain expansions of the structures that admit stationary weak independence relations and whose automorphism groups are isomorphic to stabiliser subgroups of the original automorphism groups, we transfer techniques to show the simplicity of the automorphism groups of the generic n-hypertournament and the semigeneric tournament. We determine the normal subgroups of the automorphism groups of several other ultrahomogeneous oriented graphs. We also provide a new proof of the simplicity of the automorphism group of the dense 2π/n-local order S(n) for n ≥ 2.","pith_inferences":["This stabiliser-based expansion technique could extend to other ultrahomogeneous structures lacking direct SWIRs.","Similar approaches might classify normal subgroups in automorphism groups of additional homogeneous relational structures.","The results suggest a broader framework for handling simplicity questions in infinite groups via model-theoretic expansions."],"forward_implications":["The automorphism group of the generic n-hypertournament is simple.","The automorphism group of the semigeneric tournament is simple.","The normal subgroups of the automorphism groups of several ultrahomogeneous oriented graphs are identified.","The automorphism group of the dense 2π/n-local order S(n) is simple for n ≥ 2."],"fun_headline_variants":["Automorphism groups of generic hypertournaments are simple","Semigeneric tournament automorphism groups are simple","Normal subgroups determined for ultrahomogeneous oriented graphs","New proof of simplicity for dense local order S(n) groups","Stabiliser expansions transfer techniques to hypertournaments"],"cache_read_input_tokens":64,"weakest_assumption_plain":"Suitable expansions of the structures exist which admit a stationary weak independence relation and whose automorphism groups are isomorphic to stabiliser subgroups of the original automorphism groups.","fun_headline_variants_meta":{"raw":{"variants":["Automorphism groups of generic hypertournaments are simple","Semigeneric tournament automorphism groups are simple","Normal subgroups determined for ultrahomogeneous oriented graphs","New proof of simplicity for dense local order S(n) groups","Stabiliser expansions transfer techniques to hypertournaments"]},"model":"grok-4.3","cost_usd":0.009385,"raw_usage":{"total_tokens":4174,"prompt_tokens":625,"num_sources_used":0,"completion_tokens":66,"cost_in_usd_ticks":93849500,"prompt_tokens_details":{"text_tokens":625,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3483,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":625,"tokens_out":66,"duration_ms":44974,"temperature":1.0,"reasoning_tokens":3483,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-14T21:02:20.569211+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Finding an ultrahomogeneous structure where no such expansion with a SWIR exists, or where the automorphism group has an unexpected normal subgroup despite the expansion method.","supporting_citations":[],"review_version":1}