{"id":"a6c401e5-2947-4634-816d-1587552b5112","arxiv_id":"1908.02965","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every countable relational structure can be extended to an ultraextensive structure, and the resulting automorphism groups contain a dense locally finite subgroup.","lead":"This paper proves structural results about extending partial isomorphisms of finite and countable relational structures, classifying minimal extensions and showing every countable structure embeds in an ultraextensive one. The payoff is that such objects have automorphism groups with dense locally finite subgroups, a property of interest in model theory and Fraïssé limits.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.6's proof is invalid as written: it identifies ⋃ Aut(D_i) as a subgroup, but only the coherent subgroups K_i of Definition 4.1(iii) form a directed system; the fix is straightforward and the theorem is salvageable.","rationale":"The central existence theorems (1.4, 4.4) appear to be correct: the construction via finite T-free structures and free amalgamation is standard, and the use of the Siniora–Solecki/Hubička–Konečný–Nešetřil strong coherence theorem is legitimate—it is a published result whose hypotheses (T a finite set of Gaifman cliques) are exactly met. The counterexample for non-Gaifman T after Theorem 4.3 is asserted without proof, but it is a remark, not load-bearing for the main argument. The most concrete defect is in the proof of Theorem 4.6: '⋃_{i=1}^∞ Aut(D_i)' is not a subgroup of Aut(U) in any obvious sense. Definition 4.1(iii) only embeds K_i = ⟨φ_i(P_{C_i})⟩ into K_{i+1}, and nothing guarantees that arbitrary automorphisms of D_i extend compatibly to D_{i+1}. Thus the density/locally-finite conclusion is not established by the given argument. The repair is natural: take the directed union of the K_i via the coherent embeddings; each K_i is finite, and the global φ(p) = ⋃_m φ_m(p) shows density. Since this repair is straightforward and does not affect the construction of ultraextensive structures, the reader's CONDITIONAL verdict is unchanged. We flag the Theorem 4.6 gap as the load-bearing concern because it directly invalidates a headline consequence as written, whereas the external coherence theorem is a normal dependency.","tokens_in":19114,"tokens_out":23023,"duration_ms":214924,"concrete_test":"Replace '⋃ Aut(D_i)' in the proof of Theorem 4.6 by the direct limit of K_i = ⟨φ_i(P_{C_i})⟩ under the coherent embeddings κ_i from Definition 4.1(iii), and verify that (a) the κ_i form a compatible directed system (using the uniqueness clause of Definition 4.1(iii)), (b) the union is locally finite because each K_i is finite, and (c) for every p ∈ P_U, the automorphism φ(p) = ⋃_{m≥n} φ_m(p) lies in the limit. If (a)–(c) hold, the theorem is proved in repaired form; if not, the corollary in the abstract fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Theorem 4.6 (page 19–20), the proof concludes that ⋃_{i=1}^∞ Aut(D_i) is a dense locally finite subgroup of Aut(U). This is not justified as written. Each Aut(D_i) is the automorphism group of a finite substructure D_i ⊆ U, not a subgroup of Aut(U); elements must be extended to automorphisms of U, and arbitrary extensions need not compose correctly. Moreover, the coherence condition in Definition 4.1(iii) only provides an embedding of K_i = ⟨φ_i(P_{C_i})⟩ into K_{i+1}, not of the full group Aut(D_i). The sequence (D_i, φ_i) can be chosen so that (D_{i+1}, φ_{i+1}) is coherent with (D_i, φ_i), but this does not imply every automorphism of D_i extends to D_{i+1}. Thus the union of the Aut(D_i)'s is not a well-defined increasing union of subgroups of Aut(U). The correct argument should use the directed system K_1 ↪ K_2 ↪ ... given by the unique embeddings κ_i of Definition 4.1(iii); since each K_i is finite, the union is locally finite, and density follows from the fact that every p ∈ P_D lies in some P_{C_i} and φ(p) = ⋃_m φ_m(p) belongs to the limit of the K_i's. This flaw is repairable and does not threaten the existence theorems, but Theorem 4.6 as stated is not proved.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies HL-extensions, a framework for extending partial isomorphisms of finite relational structures to automorphisms of larger structures. In Section 2 it gives a description of all finite minimal T-free HL-extensions of a finite T-free structure as homomorphic images of canonical quotient structures built from finite-index normal subgroups of a free group on the partial isomorphisms. In Section 3 it introduces a group-theoretic HL-property, characterizes it in terms of a finite approximability condition for structures (Theorem 3.3), and claims that the HL-property is closed under free products (Corollary 3.8). In Section 4 it defines coherent HL-extensions and ultraextensive structures, proves that every countable structure has a countable ultraextensive extension (with a T-free version when T consists of Gaifman cliques), and concludes that every countable ultraextensive structure has an automorphism group with a dense locally finite subgroup. The paper also contains a counterexample showing that the Gaifman-clique assumption is necessary for the coherent extension theorem.","tokens_in":19433,"tokens_out":40474,"duration_ms":418810,"significance":"If the results are correct, the paper makes several meaningful contributions: the explicit description of minimal HL-extensions in Theorem 2.4; the equivalence between the HL-property and a structural approximation property in Theorem 3.3; the preservation of the HL-property under free products, extending Coulbois's corresponding result for the RZ-property; and the construction of ultraextensive structures with dense locally finite automorphism groups, including Henson graphs as a corollary. The proofs are often detailed and the paper is careful to point out the role of the Siniora–Solecki coherence theorem and to provide a counterexample for sharpness. However, several proof gaps need to be addressed before the claims are fully established.","major_comments":[{"comment":"The proof concludes that \\bigcup_{i=1}^\\infty \\operatorname{Aut}(D_i) is a dense locally finite subgroup of \\operatorname{Aut}(U). This is not justified as written: each \\operatorname{Aut}(D_i) is the automorphism group of a finite substructure of U, not a subgroup of \\operatorname{Aut}(U), and the coherence condition in Definition 4.1(iii) only provides embeddings of the subgroups K_i = \\langle \\varphi_i(P_{C_i}) \\rangle into K_{i+1}, not of the full groups \\operatorname{Aut}(D_i). Arbitrary automorphisms of D_i need not extend to automorphisms of D_{i+1}. The argument can be repaired by taking the directed system K_1 \\hookrightarrow K_2 \\hookrightarrow \\cdots given by the unique embeddings \\kappa_i; each K_i is finite because D_i is finite, so the direct limit is locally finite, and density follows because every finite partial isomorphism of U lies in some P_{C_i} and is extended by an element of K_i. As written, the proof of Theorem 1.6 does not establish the claimed result.","section":"Theorem 4.6, proof, pp. 19–20"},{"comment":"In the induction step the proof says 'Apply Theorem 4.3 to obtain a finite T-free, minimal HL-extension (D_n,\\varphi_n) of C_n that is coherent with (D_{n-1},\\varphi_{n-1})'. But Theorem 4.3 as stated only provides a finite T-free HL-extension, with no guarantee of minimality. Minimality is needed because Definition 4.2(iii) is stated only for minimal extensions. This gap is repairable: given any coherent HL-extension (D,\\varphi) of C_n that extends C_{n-1}, one can pass to the minimal substructure generated by C_n under \\varphi(P_{C_n}); this substructure contains D_{n-1} and the restricted map still satisfies the coherence conditions. The manuscript should either supply this argument or state a strengthened version of Theorem 4.3.","section":"Theorem 4.4, proof, pp. 18–19"},{"comment":"The proof applies the HL-property of G_1 and G_2 by invoking Theorem 3.3(iii) to obtain finite structures D'_1 and D'_2 with F_k-embeddings from C'. The hypotheses of Theorem 3.3(iii) require a T-free L-structure E_k on which G_k acts faithfully by isomorphisms and transitively on each unary part S_i^{E_k}. The proof does not identify such input structures. From the given assumption that G_1 * G_2 acts transitively on each S_i^D, it does not follow that the factor G_k is transitive on each S_i^D; for example, the free product of two copies of \\mathbb{Z}/2 generated by transpositions (1\\,2) and (2\\,3) acts transitively on {1,2,3}, while neither factor does. A separate argument is needed to justify this application, for instance by constructing appropriate input structures for each factor or by proving a transitivity-free variant of the approximation property.","section":"Corollary 3.8, proof, p. 16"},{"comment":"Proposition 3.6 is stated for an arbitrary finite T-free L-structure C and claims the existence of a finite T-free HL-extension (D,\\varphi) with the stated embedding property for all substructures E. However, the cited coherence result of Siniora and Solecki (and the combinatorial proof in [5]) requires that every structure in T is a Gaifman clique. Without this hypothesis the statement is not supported and can fail, as the counterexample after Theorem 4.3 indicates. The proposition should include the Gaifman-clique assumption; this does not affect Corollary 3.8, where the assumption is present.","section":"Proposition 3.6, p. 15"}],"minor_comments":[{"comment":"The proof should explicitly justify the existence of the increasing sequence (D_i,\\varphi_i) by induction using Definition 4.2(iii) with each (D_i,\\varphi_i) chosen minimal; as written, the proof does not state that the chosen HL-extensions are minimal, which is required for the quoted property of ultraextensiveness.","section":"Theorem 4.6, proof, p. 19"},{"comment":"In the explanation of condition (C2), the displayed equality '(p_1(a_{i_1}),\\ldots,p_m(a_{i_m})) = (gp_1(a_{i_1}),\\ldots,gp_m(a_{i_m}))' appears to contain a typo; from the coset equality (p_1H_{i_1},\\ldots,p_mH_{i_m})=(gq_1H_{i_1},\\ldots,gq_mH_{i_m}) one obtains (p_1(a_{i_1}),\\ldots,p_m(a_{i_m})) = (gq_1(a_{i_1}),\\ldots,gq_m(a_{i_m})).","section":"Section 3.2, proof of (C2), p. 10"},{"comment":"The name 'Siniora–Solecki' is misspelled as 'Sinora–Solecki' in the paragraph before Proposition 3.6 and in the proof of Corollary 3.8; the reference list uses the correct spelling.","section":"Section 3.4 and references"},{"comment":"The proof of Theorem 4.5 is very abbreviated, saying only that a similar argument to Theorem 4.4 works with modifications. Since the differences (using the defining property of ultraextensiveness instead of Theorem 4.3, and unions instead of free amalgamations) are straightforward but not entirely trivial, a few more details would improve the presentation.","section":"Theorem 4.5, proof, p. 19"}],"recommendation":"major_revision","confidential_remarks":"The paper contains several interesting and likely correct results, but the proof gaps are non-negligible. The flaw in Theorem 4.6 is easy to repair with the directed system K_i, and the minimality issue in Theorem 4.4 is also fixable. The gap in Corollary 3.8 concerning the transitivity hypotheses for the factors is more substantial and may require a genuinely new argument; I would ask the authors to address it carefully. The overstatement in Proposition 3.6 should also be corrected. Given the centrality of these theorems to the advertised results, I recommend major revision rather than acceptance at this stage."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The short version: this is a genuine contribution to EPPA and Fraisse theory, not a repackaging. The classification of finite minimal HL-extensions (Thm 2.4), the group-theoretic characterization of the HL-property and its closure under free products (Thm 3.3, Cor 3.8), and the construction of ultraextensive structures (Thm 4.4) are new and argued carefully for the most part. The metric-space predecessor [2] is an acknowledged template, and the lifting to relational structures takes real work.\n\nNow the soft spots. Theorem 4.6 is not proved as written. The proof asserts that the union of Aut(D_i) is a dense locally finite subgroup of Aut(U). That is not justified: each Aut(D_i) is the automorphism group of a finite substructure, not a subgroup of Aut(U), and arbitrary extensions of automorphisms need not compose. The coherence condition only embeds the subgroups K_i = <phi_i(P_C_i)>, not the full Aut(D_i). The repair is straightforward, though: take the directed system K_1 -> K_2 -> ..., note that each K_i is finite, and use the union of the phi_i(p)'s for density. But as it stands, the theorem is missing a step. This is a real gap, but it does not threaten the existence theorems that are the paper's core.\n\nThe remark after Theorem 4.3 also asserts a counterexample for non-Gaifman T without proof. It is presented as if the structures and a check are enough; a referee should ask for the actual verification.\n\nThe reliance on Siniora-Solecki's coherence theorem is legitimate, and I do not see circularity. The paper is honest about what is new and what is carried over from the metric-space paper. The citation pattern is fine.\n\nWho it is for: people working on EPPA, Fraisse limits, and automorphism groups of homogeneous structures. The dense locally finite subgroup result is attractive even if its proof needs fixing.\n\nMy recommendation: send it to a serious referee. The flaws are repairable, the central construction is worth close scrutiny, and rejecting it now would throw out a solid contribution over fixable presentation issues.","headline":"A mostly solid paper with real new results; one proof step in Theorem 4.6 is unjustified as written, but repairable.","tokens_in":19944,"tokens_out":1867,"would_cite":true,"duration_ms":20986,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["03C13","03C55","20E06","20E26"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every countable structure extends to an ultraextensive one.","keywords":["HL-extension","EPPA","partial isomorphism","ultraextensive structure","coherent extension","Gaifman clique","free product","locally finite subgroup"],"falsifier":"Produce a finite $T$-free structure $C_2$, a substructure $C_1$, and a finite minimal HL-extension $(D_1,\\varphi_1)$ of $C_1$ for which no finite $T$-free HL-extension of $C_2$ coherent with $(D_1,\\varphi_1)$ exists, where every member of $T$ is a Gaifman clique. Theorem 4.3 says this can never happen; such an example would sink Theorem 4.3 and the subsequent ultraextensive existence results.","tokens_in":18915,"feed_emoji":"♾️","tokens_out":14942,"duration_ms":141739,"temperature":0.7,"pith_summary":"This paper studies the old problem of extending partial isomorphisms of a finite relational structure to automorphisms of a larger structure. Its central existence result is that every countable structure in a finite relational language extends to a countable ultraextensive structure, and the same remains true while forbidding any finite list of Gaifman-clique configurations. Ultraextensive structures are ultrahomogeneous in a stronger coherent sense: every finite piece has a finite extension whose automorphisms realize all partial isomorphisms—an HL-extension—and these realizations fit together along the chain. The paper also classifies all finite minimal such extensions as homomorphic images of a canonical free-group quotient, and proves that a group-theoretic analogue, the HL-property, is preserved under free products. As a consequence, the automorphism group of every countable ultraextensive structure carries a dense locally finite subgroup, giving such spaces a rich internal symmetry structure.","feed_headline":"Every countable structure extends to an ultraextensive one","feed_subtitle":"The extension's automorphism group then contains a dense locally finite subgroup.","key_machinery":"The load-bearing construction is the canonical HL-extension of a finite structure $C$. One partitions $C$ into maximal pieces of elements realizing the same unary predicates, fixes a representative $a_i$ in each piece, and forms the free group $F(P(C))$ generated by all partial isomorphisms of $C$. For each $i$, the stabilizer $H_i$ of $a_i$ under the partial action is a subgroup of $F(P(C))$, and the disjoint union of coset spaces $F(P(C))/H_i$ carries a natural $\\mathcal{L}$-structure on which every generator $p$ acts by left multiplication; this gives the minimal HL-extension $(\\Gamma,\\Phi)$. Replacing each $H_i$ by $N_iH_i$ for finite-index normal subgroups $N_i$ yields finite quotients $\\Gamma_{\\vec N}$, and the paper shows that every finite minimal HL-extension is a homomorphic image of some such quotient. The passage to infinite ultraextensive structures is carried by a coherence condition on HL-extensions: extensions of nested finite substructures must agree on overlapping partial isomorphisms and embed the corresponding automorphism groups. The coherence theorem imported from the literature guarantees such coherent finite extensions exist, and the paper telescopes them into a countable union to obtain $U$.","core_discovery":"The central claim is that ultrahomogeneity can be strengthened to ultraextensiveness without leaving the countable realm: for every countable $\\mathcal{L}$-structure $C$ there is a countable ultraextensive $\\mathcal{L}$-structure $U$ containing $C$, and if $T$ is a finite set of finite $\\mathcal{L}$-structures each of which is a Gaifman clique, then the extension can be chosen $T$-free whenever $C$ is $T$-free. The proof builds $U$ as a union of finite structures in which every finite minimal HL-extension of a smaller substructure is coherently extended to a minimal HL-extension of every larger substructure, so that the partial isomorphisms at every level are recorded by genuine automorphisms in a compatible way. A second claim, proved by a free-group construction, is that every finite $T$-free, minimal HL-extension of a finite structure is a homomorphic image of one of the canonical extensions $\\Gamma_{\\vec N}=\\bigsqcup_i F(P(C))/(N_iH_i)$ obtained by taking quotients by finite-index normal subgroups. A third claim is that the HL-property of a group—a strengthening of the property that finite products of finitely generated subgroups are closed in the profinite topology—is equivalent to a finite approximation property for actions on structures and is closed under finite free products. The paper's derived corollary is that $\\mathrm{Aut}(U)$ has a dense locally finite subgroup for every countable ultraextensive $U$.","pith_inferences":["The coherent-extension construction suggests a route to building automorphism groups with prescribed dense locally finite subgroups: one could try to choose the finite stages so that the limiting subgroup is a specified direct limit of finite groups, and ask whether coherence forces the whole automorphism group to be determined by that subgroup.","The paper's counterexample shows the Gaifman-clique condition is necessary for the coherent-extension theorem; one could test whether a weaker hypothesis, such as allowing only finitely many non-clique obstructions, still yields a modified ultraextensive existence theorem.","Because the HL-property is characterized by a finite-approximation condition on actions, the same characterization might be formulated for other kinds of structures, such as metric or topological structures, where the free-product closure would then give new examples of groups with the property."],"forward_implications":["Every countable relational structure can be embedded in a countable ultraextensive structure, so ultrahomogeneous structures with coherent extension behavior exist in abundance.","When the forbidden family consists of Gaifman cliques, the ultraextensive extension can be chosen to avoid the family, so classes such as $K_n$-free graphs have ultrahomogeneous limits that are ultraextensive.","The automorphism group of every countable ultraextensive structure has a dense locally finite subgroup, providing many examples of symmetry groups with this strong property.","All finite minimal HL-extensions of a finite structure arise as homomorphic images of the canonical quotients $\\Gamma_{\\vec N}$, reducing the classification of minimal extensions to finite-index subgroups of free groups.","The HL-property of groups is closed under finite free products, extending the known free-product closure of the weaker profinite-topology property."],"supporting_citations":[{"why":"It supplies the base theorem, restated as: every finite $T$-free $\\mathcal{L}$-structure has a finite $T$-free HL-extension, on which the paper's extension theory rests.","marker":"[3]"},{"why":"It provides the coherence theorem for finite $T$-free structures that Theorem 4.3 imports, and the free-amalgamation fact for Gaifman-clique classes used in both main proofs.","marker":"[9]"},{"why":"It gives an alternative proof of the same coherence property, cited alongside [9] in Proposition 3.6 and Theorem 4.3.","marker":"[5]"}],"fun_headline_variants":["Every countable structure sits in an ultraextensive one","Countable structures always have ultraextensive extensions","Ultraextensive extensions exist for all countable structures","All countable structures get ultraextensive expansions","Ultraextensive extension for every countable structure"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction of ultraextensive extensions rests on an imported coherence theorem for finite structures: every finite structure avoiding a finite list of forbidden configurations has a finite extension, still avoiding them, in which automorphisms are assigned to all partial isomorphisms so that compositions match. If that theorem failed for even one forbidden family, the paper's main existence theorem would not follow.","fun_headline_variants_meta":{"raw":{"variants":["Every countable structure sits in an ultraextensive one","Countable structures always have ultraextensive extensions","Ultraextensive extensions exist for all countable structures","All countable structures get ultraextensive expansions","Ultraextensive extension for every countable structure"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00121,"raw_usage":{"total_tokens":4992,"prompt_tokens":966,"completion_tokens":4026,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":582,"completion_tokens_details":{"reasoning_tokens":3954}},"tokens_in":582,"tokens_out":4026,"duration_ms":31298,"temperature":1.0,"reasoning_tokens":3954,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:31:08.212161+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Produce a finite $T$-free structure $C_2$, a substructure $C_1$, and a finite minimal HL-extension $(D_1,\\varphi_1)$ of $C_1$ for which no finite $T$-free HL-extension of $C_2$ coherent with $(D_1,\\varphi_1)$ exists, where every member of $T$ is a Gaifman clique. Theorem 4.3 says this can never happen; such an example would sink Theorem 4.3 and the subsequent ultraextensive existence results.","supporting_citations":[{"cited_title":"Herwig, D","cited_arxiv_id":null,"evidence_quote":"It supplies the base theorem, restated as: every finite $T$-free $\\mathcal{L}$-structure has a finite $T$-free HL-extension, on which the paper's extension theory rests."},{"cited_title":"Siniora, S","cited_arxiv_id":null,"evidence_quote":"It provides the coherence theorem for finite $T$-free structures that Theorem 4.3 imports, and the free-amalgamation fact for Gaifman-clique classes used in both main proofs."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It gives an alternative proof of the same coherence property, cited alongside [9] in Proposition 3.6 and Theorem 4.3."}],"review_version":1}