REVIEW 2 major objections 3 minor 51 references
Radius-zero Extended Symmetries and Irregular Fibres of $\mathbb{Z}^d$-Substitution Subshifts
T0 review · 2 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read The paper proves an algorithm that computes all supertile-shuffling radius-zero extended symmetries, shows every extended symmetry must preserve the height lattice, and describes irregular fibres by an explicit sofic shift.
desk verdict Novel and worth refereeing, but the main algorithmic theorem's proof has a real gap, the height-preservation proof is under-specified, and Theorem 3 outruns Theorem 47. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing objects are the minimal sets of the substitution—the smallest subsets of the alphabet that occur as images of full columns of some power of $\theta$—together with the coincidence graph that records how columns move these sets around. Each minimal set yields an encoding map $\nu$ to a standard finite set, and each column induces a permutation $\beta_{M,f}$ of that set; a supertile-shuffling extended symmetry forces these permutations to satisfy a cocycle identity. For the fibre result, the new machinery is the derived substitution $\partial_J\theta$, obtained by reading $\theta$ across the faces in the coordinate directions $J$, and the reversed pruned coincidence graph $\widehat{G}(\theta,J)^{\mathrm{op}}$, whose edge shift is the sofic shift that detects irregular fibres.
What would settle it
Take any aperiodic primitive block substitution with nontrivial height lattice and compute the induced action $\Phi^*$ of an extended symmetry on the character group of its maximal equicontinuous factor; if some height eigenfunction is sent to a function that changes under a tiling translation, then Corollary 30 fails and one can look for a counterexample to $A\Gamma=\Gamma$.
Extended reading notes
Core claim
The central claim is that the normaliser of the shift action on $\mathbb{X}_\theta$ is rigidly constrained by the substitution's minimal sets and by its height lattice. A pair $(\tau,A)$ with a letter exchange $\tau$ and a matrix $A\in \mathrm{GL}(d,\mathbb{Z})$ generates a supertile-shuffling radius-zero extended symmetry if and only if three identities involving the minimal sets hold (Theorem 16, the precise form of Theorem 1). Every extended symmetry with linear component $A$ satisfies $A\Gamma=\Gamma$ (Theorem 2), so the height lattice is an invariant of the whole normaliser, not just of the centraliser. Moreover, for trivial-height block substitutions, a fibre over $\mathbb{Z}^d_Q$ is irregular if and only if it is an integer translate of a point in an explicit sofic shift $\mathbb{Z}_\theta$ (Theorem 3), extending the one-dimensional graph characterisation.
Load-bearing premise
If the preservation of height eigenfunctions by extended symmetries fails, the conclusion that every linear component must stabilise the height lattice collapses, and the existing proof does not fully establish that preservation.
Editorial extensions
If this is right
- The normaliser's radius-zero supertile-shuffling elements can be listed by a finite algorithm, rather than by guessing from examples.
- Any extended symmetry, regardless of its radius, must have a linear component that stabilises the height lattice, ruling out many candidate rotations and reflections.
- Irregular fibres over the maximal equicontinuous factor are exactly those whose integer shifts meet the explicit sofic shift $\mathbb{Z}_\theta$, turning fibre-cardinality questions into graph-theoretic ones.
- The $\kappa$-cocycle maps irregular fibres to irregular fibres along the linear component, so fibre-cardinality classes are preserved by extended symmetries.
Reading between the lines
- If the height-lattice invariance in Theorem 2 survives a corrected proof, it would give a spectral obstruction to extended symmetries of any substitutive tiling, not just block substitutions.
- The derived-substitution construction likely extends to non-rectangular digit substitutions, since the inductive definition of $\partial_J\theta$ does not inherently use rectangularity of the support.
- The sofic characterisation of irregular fibres may make multivariate mean equicontinuity and sensitivity computable for substitution subshifts, since irregular fibres control the failure of equicontinuity.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies radius-zero extended symmetries of Z^d-substitution subshifts, i.e. homeomorphisms that normalise the Z^d shift action and have a block map of radius zero. Its main results are: (Theorem 1) an algorithm, implemented through the characterisation in Theorem 16, for computing supertile-shuffling radius-zero extended symmetries for aperiodic primitive block substitutions with 1 < c_theta < |A|; (Theorem 2) preservation of the height lattice, A Gamma = Gamma, for any extended symmetry with linear component A; and (Theorem 3) a description of irregular fibres over the maximal equicontinuous factor in terms of a sofic shift built from derived substitutions and pruned coincidence graphs. The paper also contains several worked examples, including a counterexample showing that radius-zero extended symmetries need not be supertile-shuffling.
Significance. If the results are correct, this is a useful contribution to the study of normalisers of higher-dimensional substitution subshifts, a topic with relatively few concrete computational results. The minimal-set framework from MY21 is adapted in a natural way, and the introduction of J-derived substitutions to describe irregular fibres is an original technical tool that could be of independent interest, particularly for tameness and mean-equicontinuity questions. The examples, especially the modified half-hex example and the manta-ray example, are instructive and convincingly illustrate the phenomena. However, the central algorithmic claim rests on Theorem 16, whose converse direction currently contains a serious gap; as written, the paper does not establish Theorem 1.
major comments (2)
- [§3.3 (Theorem 16)] The proof of the 'if' direction of Theorem 16 is a non sequitur. Condition (2) is stated as tau' ∘ nu = bar-nu ∘ tau (Eq. (7) in Lemma 14). This identity gives bar-nu(tau(a)) = tau'(nu(a)); it does not give nu(tau(a)) = tau'(bar-nu(a)). Nevertheless, the displayed chain in the proof replaces nu(tau(a)) by tau'(bar-nu(a)) under 'Property (2)', and later uses a further unstated identity of the same type to replace tau'(bar-nu(a)) by nu(tau(theta_{A^{-1}⊙j}(a))). Consequently the asserted implication from conditions (1)-(3) to theta_j(tau(a)) = tau(theta_{A^{-1}⊙j}(a)) is not derived. Since Theorem 1 and the algorithmic claim depend exactly on this characterization, the main result of Section 3 is not established as written. The proof needs either a corrected compatibility condition replacing (2) and a reworking of the chain, or a genuinely different argument.
- [§4.4 (Corollary 30)] The proof of Corollary 30, on which Theorem 2 depends, is too terse and as written is easy to read in a way that does not yield the claimed conclusion. From the invariance of the torsion subgroup {1_{Z_Q}} × Zd/Γ under Phi**, Lemma 29, applied literally with the factors in the order Z_Q × Zd/Γ, would preserve the annihilator of the torsion subgroup, namely \widehat{Z_Q} × {1}, not the height-character subgroup {1} × \widehat{Zd/Γ}. To obtain the height characters one must apply Lemma 29 with the two factors swapped before dualising. The authors should spell this out explicitly; without the swapped reading, the preservation of height eigenfunctions is not established, and Theorem 2's conclusion A Gamma = Gamma does not follow.
minor comments (3)
- [§3.3 (Theorem 16, proof)] In the proof of the power-extension step after Eq. (8), the symbol n0 is used where the Q-adic expansion j = [j_{k-1}, ..., j_0] suggests j0 (or a correspondingly defined index) is meant. This should be corrected for consistency.
- [§6.2 (Theorem 46)] Theorem 46 assumes that theta is 'injective', but the paper does not define injectivity for Zd block substitutions. If it means column-injective, that excludes the main non-bijective regime c_theta < |A|; if it means strongly injective, a d-dimensional definition and justification are needed.
- [§3.1 (Proposition 13)] In the proof of Proposition 13, the passage from local equality on supertiles to the global identity Phi ∘ theta^n = sigma^ell ∘ theta^n ∘ Phi is compressed: the shift ell is introduced as depending on x, and the sentence invoking minimality and compactness does not make clear why a single ell works for the whole shift. A more detailed argument would improve readability.
Circularity Check
No significant circularity: the paper's main theorems are characterizations with independent proofs, not derivations from their own target conclusions.
full rationale
The paper's central claims are structural characterizations with independent proofs. Theorem 16 gives algebraic conditions for a pair (τ,A) to define a supertile-shuffling extended symmetry; the defining property of supertile-shuffling, Eq. (3)/(5), is not identical to conditions (1)–(3), and the theorem proves an equivalence rather than assuming it. Theorem 2 uses Pontryagin duality and the paper's own Lemmas 26–29 and Corollary 30 to conclude AΓ=Γ; that conclusion does not appear among the assumptions. Theorem 3, via Theorem 47 and Theorem 46, gives an iff characterization of irregular fibres using derived-substitution graphs, with a constructive proof rather than a restatement of the definition. Self-citations [Bus20, BLM23] appear as baselines and precedents, but the main implications do not reduce to them; Lemma 9 refers to external minimal-set work [LM20, MY21] for a preparatory statement, which is independent support rather than a load-bearing self-citation chain. The skeptical remark about the middle equality in the proof of Theorem 16 identifies a possible gap in a displayed calculation, but that is a correctness concern, not circularity: even if the proof needs repair, the theorem's statement is not equivalent by construction to its inputs. No exhibited reduction of a claimed result to its own inputs was found, so the circularity score is 0.
Assumptions & free parameters
assumptions (9)
- standard math Curtis-Hedlund-Lyndon theorem for extended symmetries (Proposition 5)
- domain assumption Recognizability of aperiodic primitive substitutions (Sol98)
- standard math Primitive substitution implies minimal shift and gives the minimal-set formalism of [LM20, MY21]
- standard math Pontryagin duality for locally compact Abelian groups (Fact 22)
- domain assumption The digit substitution generates a well-defined subshift (extensible language)
- domain assumption Height lattice Gamma is coprime with the supertile lattice Q Z^d (Definition 20)
- domain assumption Block substitution with rectangular support R = prod [0, l_j - 1] and diagonal Q = diag(l_1,...,l_d) for Section 6
- domain assumption The matrix Q' = H^{-1} Q H has integer entries in Proposition 31
- domain assumption A^{-1} circle supp(theta^n) = supp(theta^n) for all n in Proposition 13
invented entities (1)
-
J-derived substitution dJ theta and pruned derived coincidence graph eG(theta,J)^op
independent evidence
Cite this review
Pith. "Pith review of Radius-zero Extended Symmetries and Irregular Fibres of $\mathbb{Z}^d$-Substitution Subshifts." pith.science (2026). https://pith.science/paper/V7RBP6LJ
@misc{pith2026250613392,
author = {Pith},
title = {Pith review of: Radius-zero Extended Symmetries and Irregular Fibres of $\mathbbZ^d$-Substitution Subshifts},
year = {2026},
howpublished = {\url{https://pith.science/paper/V7RBP6LJ}},
note = {Machine review of arXiv:2506.13392}
}
abstract
In this work, we consider $\mathbb{Z}^d$-shifts generated by digit substitutions. For such a shift $\mathbb{X}$, we study the elements of the normaliser of $\mathbb{Z}^d$ in the group of self homeomorphisms (called extended symmetries) whose local maps guaranteed by the generalised Curtis--Hedlund--Lyndon theorem have radius-zero. Using the formalism of minimal sets developed by Lema\'{n}czyk, M\"ullner and Yassawi, we provide an algorithm to compute elements of $\mathcal{N}(\mathbb{X})$ that preserve the hierarchical structure. We also investigate the interaction of extended symmetries with (i) the height lattice and (ii) the irregular fibres over the maximal equicontinuous factor. Towards (ii), we introduce the notion of derived substitutions to provide a complete description of the irregular fibres, extending a result by Coven, Quas and Yassawi in the one-dimensional case.
Figures
Figures from the paper (10 more)
Reference graph
Works this paper leans on
-
[1]
Baake, M., Bustos, A., Huck, C., Lema\' n czyk, M., Nickel A.: Number-theoretic positive entropy shifts with small centraliser and large normaliser, Ergodic Th. & Dynam. Syst. 41 3201--3226 (2021)
work page 2021
-
[2]
Baake, M., Bustos, A., Nickel, A.: Power-free points in quadratic number fields: stabiliser, dynamics and entropy, Isr. J. Math. 265 79--113 (2025)
work page 2025
-
[3]
Baake, M., Bustos, A., Nickel, A.: On k -free numbers in cyclotomic fields: entropy, symmetries and topological invariants, to appear, Ergodic Th. & Dynam. Syst., arXiv:2311.18454
-
[4]
Baake, M., Grimm, U.: Aperiodic Order Volume 1: A Mathematical Invitation, Cambridge University Press, Cambridge, (2013)
work page 2013
-
[5]
Baake, M., Roberts, J.A.G.: The structure of reversing symmetry groups, Bull. Austral. Math. Soc. 73, 445-459 (2006)
work page 2006
-
[6]
Baake, M., Roberts, J.A.G., Yassawi R.: Reversing and extended symmetries of shift spaces, Discr. Cont. Dynam. Syst. A 38, 835--866 (2018)
work page 2018
-
[7]
Bartlett, A.: Spectral theory of Z ^d substitutions, Ergodic Th. & Dynam. Syst. 38, 1289--1341 (2018)
work page 2018
-
[8]
Boyle, M., Lind, D., Rudolph, D.: The automorphism group of a shift of finite type, Trans. Amer. Math. Soc. 306, 71--114 (1988)
work page 1988
Show all 51 references
-
[9]
ucher, J., Haupt, L., J\
Breitenb\"ucher, J., Haupt, L., J\"aeger, T.: Multivariate mean equicontinuity for finite-to-one topomorphic extensions, preprint, arXiv:2409.08707
-
[10]
Bustos, A.: Computation of extended symmetry groups for multidimensional subshifts with hierarchical structure, Discr. Cont. Dynam. Syst. A 40, 5869--5895 (2020)
2020
-
[11]
Bustos, A., Luz, D., and Ma\ nibo, N.: Admissible reversing and extended symmetries for bijective substitutions, Discr. Comput. Geom. (69) 800-833 (2023)
2023
-
[12]
Cabezas, C.: On the Study of Homomorphisms between Z ^d -Topological Dynamical Systems , PhD Thesis, Universit\' e de Picardie Jules Verne, (2022)
2022
-
[13]
Cabezas, C.: Homomorphisms between multidimensional constant-shape substitutions, Groups. Geom. Dyn. 17 1259–-1323 (2023)
2023
-
[14]
C., Petite, S.: Large normalizers of Z ^d -odometer systems and realization on substitutive subshifts, Discr
Cabezas. C., Petite, S.: Large normalizers of Z ^d -odometer systems and realization on substitutive subshifts, Discr. Cont. Dynam. Syst. A 44, 3848--3877 (2024)
2024
-
[15]
Cortez, M.I.: ^d Toeplitz arrays. Discr. Cont. Dynam. Syst. 15(3), 859--881 (2006)
2006
-
[16]
Cortez, M.I., Petite, S.: Realization of big centralizers of minimal aperiodic actions on the Cantor set, Discr. Cont. Dynam. Syst. A 40, 2891--2901 (2020)
2020
-
[17]
Coven, E., Quas, A., Yassawi, R.: Computing automorphism groups of shifts using atypical equivalence classes, Discr. Anal. 28 no. 3, 24 pp. (2016)
2016
-
[18]
Cyr, V., Kra, B.: The automorphism group of a shift of subquadratic growth, Proc. Amer. Math. Soc. 144, 613--621 (2016)
2016
-
[19]
Wahrscheinlichkeitsth
Dekking, F.M.: The spectrum of dynamical systems arising from substitutions of constant length, Z. Wahrscheinlichkeitsth. verw. Geb. 41 221--239 (1978)
1978
-
[20]
Donoso, S., Durand, F., Maass, A., Petite, S.: On automorphism groups of low complexity subshifts, Ergod. Th. & Dynam. Syst. 36, 64--95 (2016)
2016
-
[21]
Dymek, A., Kasjan, S., Keller, G.: Automorphisms of B -free and other Toeplitz shifts, Ergod. Th. & Dynam. Syst. 44 1058--1101 (2024)
2024
-
[22]
Espinoza, B., Maass, A.: On the automorphism group of minimal S -adic subshifts of finite alphabet rank, Ergod. Th. & Dynam. Syst. 42 2800–-2822 (2022)
2022
-
[23]
Frank, N.P.: Multidimensional constant-length substitution sequences, Topol. & Appl. 152, 44--69 (2005)
2005
-
[24]
Frank, N.P., Ma\ nibo, N.: Spectral theory of spin substitutions, Discr. Cont. Dynam. Syst. 42 5399-–5435 (2022)
2022
-
[25]
Frettl\"oh, D., Sing, B.: Computing modular coincidences for substitution tilings and point sets, Discr. Comput. Geom. 37, 381--407 (2007)
2007
-
[26]
Fokkink, R., Rust, D., Salo, V.: Automorphism groups of random substitution subshifts, Indag. Math. 35 931--958 (2024)
2024
-
[27]
Fokkink, R., Yassawi, R.: Topological rigidity of linear cellular automaton shifts, Indag. Math. 29, 1105--1113 (2018)
2018
-
[28]
Fuhrmann, G., Kellendonk, J., Yassawi, R.: Tame or wild Toeplitz shifts, Ergod. Th. & Dynam. Syst. 44, 1379--1417 (2024)
2024
-
[29]
Garc\' i a-Ramos, F., J\"ager, T., Ye, X.: Mean equicontinuity, almost automorphy and regularity, Isr. J. Math. 243 155--183 (2021)
2021
-
[30]
Garc\' i a-Ramos, F., Le\' o n-Torres, I.: Coincidence rank and multivariate equicontinuity, preprint, arXiv:2411.03529
-
[31]
Gundlach, F., Kl\"uners, J.: Symmetries of power-free integers in number fields and their shift spaces, preprint, arXiv:2407.08438
-
[32]
Kellendonk, J.: Noncommutative geometry of tilings and gap labelling, Rev. Math. Phys. 7, 1133–1180 (1995)
1995
-
[33]
Kellendonk, J., Yassawi, R.: The Ellis semigroup of bijective substitutions, Groups Geom. Dyn. 16, 29--73 (2022)
2022
-
[34]
Kitchens, B., Schmidt, K.: Isomorphism rigidity of irreducible ^d -actions, Invent. Math. 142 559--577 (2000)
2000
-
[35]
K u rka, P.: Topological and Symbolic Dynamics, SMF, Paris, 2003
2003
-
[36]
Lamb, J.S.W., Roberts, J.A.G., Capel, H.W.: Conditions for local (reversing) symmetries in dynamical systems, Physica A 197 379--422 (1993)
1993
-
[37]
Lamb, J.S.W., Roberts, J.A.G., Time-reversal symmetry in dynamical systems: a survey, Physica D 112, 1--39 (1998)
1998
-
[38]
Lee, J.-Y., Moody, R.V., Solomyak, B.: Consequences of pure point diffraction spectra for multiset substitution systems, Discrete Comput. Geom. 29 525–-560 (2003)
2003
-
[39]
Lema\' n czyk, M., Mentzen, M.K.: On metric properties of substitutions, Compos. Math. 65, 241--263 (1988)
1988
-
[40]
Lema\' n czyk, M., M\"ullner, C.: Automatic sequences are orthogonal to aperiodic multiplicative functions, Discr. Cont. Dynam. Syst. 40 6877--6918 (2020)
2020
-
[41]
Van Nostrand Co., Inc., New York, 1953
Loomis, L.H.: An Introduction to Abstract Harmonic Analysis, D. Van Nostrand Co., Inc., New York, 1953
1953
-
[42]
K.: Automorphisms of subshifts defined by B -free sets of integers, Colloq
Mentzen, M. K.: Automorphisms of subshifts defined by B -free sets of integers, Colloq. Math. 147 87--94 (2017)
2017
-
[43]
M\"ullner, C., Yassawi, R.: Automorphisms of automatic shifts, Ergodic Th. & Dynam. Syst. 41, 1530--1559 (2021)
2021
-
[44]
Olli, J.: Endomorphisms of Sturmian systems and the discrete chair substitution tiling system, Discr. Cont. Dynam. Syst. A 33 4173--4186 (2013)
2013
-
[45]
Pavlov, R., Schmieding, S.: Local finiteness and automorphism groups of low complexity subshifts, Ergodic Th. & Dynam. Syst. 43 1980--2001 (2023)
2023
-
[46]
Robinson, E.A., Jr.: On the table and the chair, Indag. Math. 10 581--599 (1999)
1999
-
[47]
Rudin, W.: Fourier Analysis on Groups, Wiley, New York, 1990
1990
-
[48]
Sadun, L.: Topology of Tiling Spaces, AMS, Providence, RI, 2008
2008
-
[49]
Salo, V.: A note on subgroups of automorphism groups of full shifts, Ergodic Th. & Dynam. Syst. 38 1588--1600 (2018)
2018
-
[50]
Solomyak, B.: Nonperiodicity implies unique composition for self-similar translationally finite tilings, Discr. Comput. Geom. 20, 265--279 (1998)
1998
-
[51]
Baake and R.V
Vince, A.: Digit tiling of Euclidean space, In Directions in Mathematical Quasicrystals, M. Baake and R.V. Moody (eds.), AMS, Providence, RI, (2000) 191--213
2000
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.