{"id":"08891194-ee42-40db-8a56-7d0a756f95e9","arxiv_id":"1908.05690","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For shifts generated by primitive aperiodic bijective substitutions, the Ellis semigroup is described as a Rees matrix semigroup over a structure group, up to an explicitly stated condition on generalised height.","lead":"This pure mathematics paper computes the full algebraic structure of the Ellis semigroup for shift systems generated by bijective substitutions, a broad family of non-tame symbolic dynamical systems. It introduces a new invariant called generalised height and proves that the virtual automorphism group of these shifts equals the classical automorphism group.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central Ellis-semigroup determination is proven only under the generalised-height condition; the h > h_cl case is explicitly left unsolved, so the abstract overstates the theorem.","rationale":"The reader's weakest assumption identifies the same load-bearing concern: the full determination of E(Xθ) is conditional on the generalised height equalling the classical height, and the paper states that the extension problem remains unsolved otherwise. This is the most serious limitation of the central claim because M(Xθ) is the main object of the paper; an unproved structure group in the h > h_cl case means the abstract's unqualified claim is narrower than what is proven. The disclosure in Section 4.5.2 and Example 6.2(2) means this is a scope condition rather than an internal contradiction, so it does not demand rejection, only a conditional or amended statement. I also considered whether the semi-regularity proof is endangered by the use of an equicontinuous factor that is not maximal when h_cl > 1; however, the unique-singular-orbit machinery is formulated at the level of the chosen factor, and the application in Section 5.2.3 uses the Zℓ factor that Section 4 proved to have a unique singular orbit. I found no additional gap that changes the verdict. The proposed concrete test would resolve whether the acknowledged unresolved case is genuinely open or can be settled for at least the exhibited example.","tokens_in":39483,"tokens_out":8500,"duration_ms":95083,"concrete_test":"For Example 6.2(2), attempt to construct explicitly a covariant degree-0 right inverse s : Z_7 → Gθ0 for the extension 1 → Gfib_θ → Gθ → Z_7 → 1, following Proposition 3.13 with the maximal equicontinuous factor Z_7 (since h_cl = 1). Concretely, enumerate the local data (α, ω) in A3^{Z_7/Z} and check whether the cocycle defining the extension is a coboundary; if a split lift exists, the unresolved case is at least tractable for this example, while if no split exists, the abstract must be restricted to the case h = h_cl.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 4.22 gives the full algebraic description of E(Xθ) only when the generalised height h equals the classical height h_cl: in that case a split section s : Zℓ → Gθ0 exists and Gθ ≅ Gfib_θ ⋊ Zℓ. When h > h_cl, the authors state explicitly, in the paragraph after Theorem 4.22 and in the abstract, that the extension problem (1.2) determining the structure group Gθ remains unsolved. Example 6.2(2) realizes h = 2 while h_cl = 1, so for that substitution the claimed determination of the Ellis semigroup is not established. The paper is honest about this limitation, so the concern is not a hidden flaw, but it is load-bearing: the full Rees-matrix description of M(Xθ) with structure group Gfib_θ ⋊ Zℓ depends exactly on the split extension. Corollary 5.11 on semi-regularity is not affected, since its proof uses the finite centraliser CSA(Gθ) and the unique-singular-orbit machinery rather than the unresolved extension. The concern is therefore a scope gap between the abstract-level claim and the theorem as proved.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a general framework for computing the Ellis semigroup of minimal systems with an equicontinuous factor and a unique orbit of singular fibres, and applies it to primitive aperiodic bijective substitutions. For such a substitution θ, the authors show that E(Xθ) is the disjoint union of the acting group Z and its kernel M(Xθ), which is a completely simple semigroup. The main structural result, Theorem 4.22, describes M(Xθ) as a Rees matrix semigroup M[Gθ; Iθ, {±}, A] where Gθ is an extension of the odometer Zℓ by the fibre-preserving structure group Gθ^fib; when the generalised height equals the classical height, this extension splits and Gθ ≅ Gθ^fib ⋊ Zℓ. As an application, the authors prove that the virtual automorphism group V(Xθ) is isomorphic to C_A(Gθ) × Z, hence to the classical automorphism group Aut(Xθ), so the shift is semi-regular.","tokens_in":39637,"tokens_out":9991,"duration_ms":96325,"significance":"If the main results hold, this is a substantial contribution: it provides one of the few explicit algebraic descriptions of non-tame Ellis semigroups and answers a question of Auslander and Glasner in a broad class of substitution shifts. The paper is careful and honest: proofs of the new structural statements are detailed, several worked examples are given in Section 6, and the limitations of Theorem 4.22 are explicitly labelled. The semi-regularity application, in particular, does not depend on the unresolved extension problem and appears to be on solid ground. The paper also makes good use of imported classical theorems (Rees-Suskevitch, Dekking, Lemanczyk-Mentzen), which is appropriate for this type of work. The main caveat is that the abstract and introductory claims are broader than what the theorems prove.","major_comments":[{"comment":"The abstract states that the paper determines the Ellis semigroup for primitive aperiodic bijective substitutions, and the introduction repeats this without qualification. However, Theorem 4.22 gives the full algebraic description of E(Xθ) only under the additional assumption that the generalised height h equals the classical height h_cl; in that case a split section s: Zℓ → Gθ exists and Gθ ≅ Gθ^fib ⋊ Zℓ. The paragraph immediately after Theorem 4.22 explicitly says that when h > h_cl the extension problem (1.2) determining the structure group Gθ remains unsolved. Example 6.2(2) realizes h = 2 with h_cl = 1, so for that substitution the claimed full description of E(Xθ) is not established. This is an honest limitation, but it is load-bearing for the central claim of the paper. I therefore ask the authors to either prove the missing extension in the h > h_cl case, or to revise the abstract and Section 1 so that the conditional nature of the determination is stated precisely. I want to emphasize that Corollary 5.11 on semi-regularity is not affected by this scope gap, since its proof uses the finite centraliser C_A(Gθ) and the unique-singular-orbit machinery rather than the unresolved extension.","section":"Abstract; §4.5.2, Theorem 4.22; Example 6.2(2)"},{"comment":"The proof of Proposition 4.21, which identifies Γθ with Tθ and computes G^{fib}_{θ,0} as Cov(Γθ), is too compressed for a step on which Theorem 4.22 directly depends. In particular, the sentence 'This is possible only if Tθ is a subgroup of Γθ' is not derived from the preceding degree argument; the role of the opposite degrees of s(z) and s(z)^{-1} and the constancy of the class (Φ_z^0)^{-1}(\\tilde f(z))Γθ in z need to be spelled out. Since Theorem 4.22 uses this proposition to determine the structure group of M^{fib}(Xθ), I ask the authors to expand this proof so the reader can verify that no additional hypothesis is hidden here.","section":"§4.5.2, Proposition 4.21"}],"minor_comments":[{"comment":"In the proof of Theorem 4.17, the text says that to any f ∈ E(Xθ, Z+) one can assign a map f_z ∈ Iθ; this should be f_z ∈ Gθ, since f_z is generally a product of elements of Iθ and need not itself belong to Iθ.","section":"§4.5.2, proof of Theorem 4.17"},{"comment":"The phrase 'Since these are finite groups' is ambiguous: the fibre-preserving parts are finite, but the full groups contain an infinite Z factor. Please clarify that the isomorphism between the finite fibre-preserving parts, together with the fact that the Z-factors coincide under the inclusion, forces the inclusion to be an isomorphism.","section":"§5.2.3, Corollary 5.11"},{"comment":"The notation for the little structure group Γθ and its normal completion Γθ is visually very similar and easy to confuse, especially in the statement of the generalised height. I suggest using a distinct notation, for example Γθ^c or Γθ^+, for the normal completion.","section":"Definition 4.19 and surrounding text"},{"comment":"After the definition of the isomorphism (4.4), a one-sentence explanation of why surjectivity is equivalent to Lemma 4.7 would improve readability; as written, the claim is correct but the verification is left entirely to the reader.","section":"§4.3, proof of Theorem 4.6"}],"recommendation":"major_revision","confidential_remarks":"The paper is in good shape technically and is honest about the h > h_cl limitation. The main problem is that the abstract and introduction overstate the theorem: the Ellis semigroup is not fully determined for all primitive aperiodic bijective substitutions, only for those satisfying h = h_cl (or with the extension otherwise resolved). This is fixable by rephrasing the claims, but it is a central-scope issue rather than a local typo. The semi-regularity application should be kept as a strength. I would also ask the authors to expand the proof of Proposition 4.21, which is currently too terse for a key structural step."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague, you should know two things. First, this is a real advance. For primitive aperiodic bijective substitutions, the authors compute the complete algebraic structure of E(Xθ) in the case where the generalised height equals the classical height, and they prove semi-regularity for the whole class. That goes well beyond Staynova, who only handled the AI-extension subclass and only minimal idempotents, and beyond Barge's direct Thue-Morse computation. The new generalised height invariant is a nice addition, and Example 4.11 shows a case where Staynova's method cannot apply. Second, the paper is honest about its own boundary: when generalised height exceeds classical height, the extension problem (1.2) determining Gθ is left open, so the full Rees-matrix description of E(Xθ) is not established for those cases. The stress-test is right that the abstract-level statement overstates the theorem. Example 6.2(2) has h=2 and h_cl=1, so this is a real scope gap, not a hidden flaw.\n\nThe proofs are detailed and the examples are worked out. The main machinery—reducing the fibre-preserving part to the finite structural semigroup and then lifting via the exact sequence—is sound. The imports are mostly standard (Rees-Suskevitch, Dekking's theorem on the maximal equicontinuous factor), and the load-bearing use of [22] is reasonable. I could not machine-check everything, but I saw no circularity; the generalised height is defined from the substitution expansion, not from the conclusions.\n\nThe soft spots, in proportion: the abstract's claim to \"determine the Ellis semigroup\" should be scoped to the height condition. The body does this later, but the abstract and opening line could mislead a casual reader. Also, Corollaries 5.10 and 5.11 rely on [22, Theorem 5] for Aut(Xθ); that is external but published, and the use seems appropriate.\n\nWho is this for? People working on Ellis semigroups of non-tame systems, substitution dynamics, and automorphism groups. It deserves a serious referee—conditionally, with the abstract tightened and the h > h_cl discussion made more prominent. I would send it to peer review and would support acceptance after minor revision.","headline":"First real computation of Ellis semigroups for a broad class of non-tame substitution shifts, with an honest but load-bearing scope gap when generalised height exceeds classical height.","tokens_in":40302,"tokens_out":2184,"would_cite":true,"duration_ms":21811,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37B15","54H20","20M10"],"pacs":[],"model":"deepseek-v4-flash","headline":"For primitive aperiodic bijective substitutions, the Ellis semigroup is a disjoint union of Z and a completely simple kernel described by a finite permutation group and an odometer extension, with one group-extension caveat.","keywords":["Ellis semigroup","bijective substitution","Rees matrix semigroup","structure group","generalised height","virtual automorphism group","semi-regular system","odometer factor"],"falsifier":"Work out the unresolved example of Section 6.2(2) (length 7, $G_\\theta=S_3$, $\\overline{\\Gamma}_\\theta=A_3$, generalised height 2, classical height 1) and decide whether the extension $A_3^{\\mathbb Z_7/\\mathbb Z}\\rtimes \\mathbb Z/2\\mathbb Z \\to G_\\theta \\to \\mathbb Z_7$ splits; if it is non-split, then $G_\\theta$ is not the semidirect product required by Theorem 4.22 and the claimed Rees-matrix form of $M(X_\\theta)$ does not hold for that substitution. More broadly, any primitive aperiodic bijective substitution with generalised height exceeding classical height whose odometer extension does not split would refute the unconditional version of the paper's central formula.","tokens_in":39142,"feed_emoji":"🔄","tokens_out":13505,"duration_ms":106804,"temperature":0.7,"pith_summary":"This paper aims to give an explicit algebraic description of the Ellis semigroup $E(X_\\theta)$ for the shift generated by a primitive aperiodic bijective substitution $\\theta$. It claims that $E(X_\\theta)$ is the disjoint union of the acting group $\\mathbb Z$ and a completely simple kernel $M(X_\\theta)$, and that the kernel is a Rees matrix semigroup whose structure group is built from a finite permutation group $G_\\theta$ and the $\\ell$-adic odometer. The main tool is a reduction of the infinite, non-tame semigroup to a finite structural semigroup attached to the single singular fibre of the odometer factor. A consequence stated in the paper is that these shifts are semi-regular: the virtual automorphism group and the classical automorphism group are both isomorphic to $C_{S_A}(G_\\theta)\\times \\mathbb Z$. The description of the kernel is complete when the generalised height equals the classical height; when the generalised height is strictly larger, the determining group extension is left unresolved.","feed_headline":"Finite group determines Ellis semigroup of bijective substitutions","feed_subtitle":"Virtual and classical automorphism groups coincide, so these non-tame shifts are semi-regular.","key_machinery":"The central object is the structural semigroup $M^{\\mathrm{fib}}_0(X_\\theta)$, the restriction of the fibre-preserving Ellis semigroup to the singular fibre over $0\\in \\mathbb Z_\\ell$. The paper proves that this finite semigroup is isomorphic to $M[G_\\theta; I_\\theta, \\{\\pm\\}, A]$, a Rees matrix semigroup in which $G_\\theta$ is the group generated by all permutations appearing in the expansion of powers of $\\theta$, $I_\\theta$ consists of the ratios $\\theta_i\\theta_{i-1}^{-1}$, and $A$ is the sandwich matrix; the little structure group is the subgroup generated by the entries of $A$, and the generalised height is the order of the quotient of $G_\\theta$ by its normal completion. Since the substitution system has exactly one orbit of singular fibres for the odometer factor, this finite computation is transported along the orbits to recover the full fibre-preserving semigroup, and then the kernel of $E(X_\\theta)$ is recovered as an extension of the odometer by that fibre-preserving structure group. The machinery reduces a non-tame, uncountable Ellis semigroup to a finite permutation-group calculation plus one group extension.","core_discovery":"The paper's central discovery is that the entire Ellis semigroup of a primitive aperiodic bijective substitution is governed by finite data. Concretely, $E(X_\\theta)=\\mathbb Z \\sqcup M(X_\\theta)$, with $M(X_\\theta)$ algebraically isomorphic to the Rees matrix semigroup $M[G_\\theta; I_\\theta, \\{\\pm\\}, A]$, where $G_\\theta$ is generated by the permutations occurring in the powers of $\\theta$, $I_\\theta$ is the R-set of successive ratios $\\theta_i\\theta_{i-1}^{-1}$, and $A$ is the normalised sandwich matrix. The structure group $G_\\theta$ is an extension of the odometer $\\mathbb Z_\\ell$ by the fibre-preserving structure group $G_\\theta^{\\mathrm{fib}}$, which itself is a semidirect product of a large power of the normal completion of the little structure group with $\\mathbb Z/h\\mathbb Z$. This description is proved when the generalised height $h$ equals the classical height; in the trivial-height case the isomorphism is topological, while in general it is algebraic. As an application the paper shows that the shift is semi-regular, with $V(X_\\theta)\\cong \\mathrm{Aut}(X_\\theta)\\cong C_{S_A}(G_\\theta)\\times \\mathbb Z$.","pith_inferences":["Beyond the paper, the same finite-fibre strategy could be tested on other unique-singular-orbit systems with an odometer-like equicontinuous factor; any such system whose singular-fibre restriction semigroup is generated by idempotents should admit an analogous Rees description.","Beyond the paper, the generalised height looks like a group-theoretic invariant that can separate bijective substitutions with the same classical height and spectrum; the unresolved example with generalised height 2 and classical height 1 is a concrete place to look for a new dynamical invariant.","Beyond the paper, the semi-regularity result suggests that virtual automorphism groups of point-distal non-distal systems may often be readable from the Ellis structure group alone, even where the full Ellis semigroup is not yet computed.","A practical extension would be to implement the computation of $G_\\theta$, $I_\\theta$, and $A$ from the expansion of $\\theta$; the only non-mechanical step in the general case is deciding whether the height extension splits."],"forward_implications":["Every primitive aperiodic bijective substitution shift has a completely regular Ellis semigroup: $E(X_\\theta)$ is the disjoint union of $\\mathbb Z$ and its completely simple kernel $M(X_\\theta)$.","The full semigroup is effectively computable from the substitution's expansion: the finite structural semigroup $M[G_\\theta;I_\\theta,\\{\\pm\\},A]$ determines the fibre-preserving part, and the kernel is determined up to the odometer extension.","The substitution shift is semi-regular, so the virtual automorphism group, a group defined through the Ellis semigroup, coincides with the ordinary automorphism group.","These systems are not tame, and the paper isolates the source: the structure group contains a product over the uncountably many odometer orbits, making $E(X_\\theta)$ larger than the continuum even though every fibre restriction is finite.","When the generalised height equals the classical height, the structure group is a semidirect product $G_\\theta^{\\mathrm{fib}}\\rtimes \\mathbb Z_\\ell$, so the kernel has the same Rees-matrix form with this larger structure group."],"supporting_citations":[{"why":"introduces the Ellis semigroup and its basic topological-algebraic properties, the object under study.","marker":"[12]"},{"why":"supplies the Rees-Suskevitch theorem and the normalised Rees matrix form used throughout.","marker":"[19]"},{"why":"establishes the classical height and the maximal equicontinuous factor of constant-length substitution shifts, which the paper compares with the generalised height.","marker":"[11]"},{"why":"shows the centraliser of the structure group encodes the essential centraliser and the fibre-preserving automorphisms, giving the automorphism-group theorem used in the application.","marker":"[22]"},{"why":"defines the virtual automorphism group and semi-regularity and exhibits the first non-distal minimal example, the result the paper generalises.","marker":"[4]"},{"why":"computes minimal idempotents of the Ellis semigroup for bijective substitutions that are AI extensions, providing the comparison point the paper goes beyond.","marker":"[27]"}],"fun_headline_variants":["Finite data computes Ellis semigroup of bijective substitutions","For bijective substitutions, virtual automorphisms are classical","Rees matrix semigroup captures Ellis semigroup of substitutions","Virtual automorphism group equals classical for these shifts"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the group extension which builds the structure group of the kernel can be split; when the substitution's generalised height is strictly larger than its classical height, the paper does not establish that this extension splits, so the claimed description of the Ellis semigroup is not proved in that case.","fun_headline_variants_meta":{"raw":{"variants":["Finite data computes Ellis semigroup of bijective substitutions","For bijective substitutions, virtual automorphisms are classical","Rees matrix semigroup captures Ellis semigroup of substitutions","Virtual automorphism group equals classical for these shifts"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000862,"raw_usage":{"total_tokens":3727,"prompt_tokens":920,"completion_tokens":2807,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":536,"completion_tokens_details":{"reasoning_tokens":2742}},"tokens_in":536,"tokens_out":2807,"duration_ms":20987,"temperature":1.0,"reasoning_tokens":2742,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:07:22.606520+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Work out the unresolved example of Section 6.2(2) (length 7, $G_\\theta=S_3$, $\\overline{\\Gamma}_\\theta=A_3$, generalised height 2, classical height 1) and decide whether the extension $A_3^{\\mathbb Z_7/\\mathbb Z}\\rtimes \\mathbb Z/2\\mathbb Z \\to G_\\theta \\to \\mathbb Z_7$ splits; if it is non-split, then $G_\\theta$ is not the semidirect product required by Theorem 4.22 and the claimed Rees-matrix form of $M(X_\\theta)$ does not hold for that substitution. More broadly, any primitive aperiodic bijective substitution with generalised height exceeding classical height whose odometer extension does not split would refute the unconditional version of the paper's central formula.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"introduces the Ellis semigroup and its basic topological-algebraic properties, the object under study."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the Rees-Suskevitch theorem and the normalised Rees matrix form used throughout."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"establishes the classical height and the maximal equicontinuous factor of constant-length substitution shifts, which the paper compares with the generalised height."},{"cited_title":"Lema´ nczyk and M","cited_arxiv_id":null,"evidence_quote":"shows the centraliser of the structure group encodes the essential centraliser and the fibre-preserving automorphisms, giving the automorphism-group theorem used in the application."},{"cited_title":"Auslander and E","cited_arxiv_id":null,"evidence_quote":"defines the virtual automorphism group and semi-regularity and exhibits the first non-distal minimal example, the result the paper generalises."},{"cited_title":"Staynova","cited_arxiv_id":null,"evidence_quote":"computes minimal idempotents of the Ellis semigroup for bijective substitutions that are AI extensions, providing the comparison point the paper goes beyond."}],"review_version":1}