pith. sign in

arxiv: 2401.16774 · v3 · submitted 2024-01-30 · 🧮 math.DS · math.AT· math.GR

Contractible subshifts

Leo Poirier , Ville Salo This is my paper

Pith reviewed 2026-05-24 04:32 UTC · model grok-4.3

classification 🧮 math.DS math.ATmath.GR
keywords contractible subshiftsretracts of full shiftsSFTsfixed pointsstrong irreducibilityblock mapshomotopy equivalenceasymptotic dimension
0
0 comments X

The pith

A subshift is a retract of a full shift if and only if it is a contractible SFT with a fixed point.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines contractible subshifts as a strengthening of strong irreducibility in which pattern gluings must be realized by a block map. It proves that this property, together with the subshift being an SFT and having a fixed point, is exactly equivalent to the subshift being a retract of some full shift. The equivalence supplies a concrete way to recognize which subshifts admit continuous retractions from simpler ambient spaces. For subshifts over many groups, including virtually polycyclic groups, contractibility further forces the periodic points to be dense. The construction is presented as the symbolic-dynamics counterpart of contractibility in algebraic topology.

Core claim

We show that a subshift is a retract of a full shift if and only if it is a contractible SFT with a fixed point. Contractibility requires that any two allowed finite patterns can be glued together by a single block map that respects the subshift rules. This notion is introduced as the direct analog, inside symbolic dynamics, of the usual contractibility condition from algebraic topology.

What carries the argument

Contractible subshift, the class of subshifts in which every pair of finite allowed patterns admits a gluing realized by a block map.

If this is right

  • Every contractible SFT with a fixed point admits a continuous retraction from some full shift onto it.
  • Contractible subshifts over virtually polycyclic groups, metabelian Baumslag-Solitar groups, and the lamplighter group have dense periodic points.
  • The map extension property implies contractibility.
  • Among SFTs, contractibility implies the finite extension property.
  • A periodic variant of Gromov's asymptotic dimension arises naturally from the study of contractible subshifts.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The homotopy-theory framework supplied for contractible subshifts may classify subshifts up to homotopy equivalence in the symbolic setting.
  • Contractibility could serve as a test for the existence of retractions in larger classes of shifts beyond SFTs.
  • The new periodic asymptotic-dimension notion may connect contractibility questions to geometric properties of the acting group.
  • Checking contractibility on concrete low-complexity SFTs would give immediate examples of retracts of full shifts.

Load-bearing premise

The block-map gluing condition is strong enough to produce a continuous retraction from the full shift onto the subshift while preserving the SFT property and the existence of a fixed point.

What would settle it

An explicit contractible SFT that possesses a fixed point yet admits no continuous retraction from any full shift.

Figures

Figures reproduced from arXiv: 2401.16774 by Leo Poirier, Ville Salo.

Figure 1
Figure 1. Figure 1: Almost-union of two Euclidean balls A, B, shown in gray. aBR with left translates of any family of sets Si ⋐ G such that every b ∈ G is eventually contained in every Si . In particular, the choice of metric does not matter in the definition. Theorem 7.4. If G has the patching property, then every G-subshift X which is equiconnected is a contractible SFT. Proof. Contractibility is obvious (even without the … view at source ↗
read the original abstract

We introduce the notion of a contractible subshift. This is a strengthening of the notion of strong irreducibility, where we require that the gluings are given by a block map. We show that a subshift is a retract of a full shift if and only if it is a contractible SFT with a fixed point. For many groups, including virtually polycyclic groups, metabelian Baumslag-Solitar groups and the lamplighter group, contractibility implies dense periodic points. We introduce a ``homotopy theory'' framework for working with this notion, and ``contractibility'' is in fact simply an analog of the usual contractibility in algebraic topology. We also explore the symbolic dynamical analogs of homotopy equivalence and strong contractibility of subshifts (corresponding to the notion of equiconnectedness in topology). Contractibility is implied by the map extension property of Meyerovitch, and among SFTs, it implies the finite extension property of Brice\~no, McGoff and Pavlov. We include thorough comparisons with these classes. We also encounter some new geometric notions, in particular a periodic variant of Gromov's asymptotic dimension of a group.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 3 minor

Summary. The manuscript introduces the concept of contractible subshifts, strengthening strong irreducibility by requiring that gluings are realized by a single block map. The central theorem states that a subshift is a retract of a full shift if and only if it is a contractible SFT with a fixed point. Additional results show that for groups such as virtually polycyclic groups, metabelian Baumslag-Solitar groups, and the lamplighter group, contractibility implies dense periodic points. The paper develops a homotopy theory framework for subshifts, including notions of homotopy equivalence and strong contractibility, and compares contractibility to the map extension property and finite extension property. New geometric notions, including a periodic variant of Gromov's asymptotic dimension, are also explored.

Significance. If the main equivalence holds, this work provides a topological characterization of retracts of full shifts in the context of symbolic dynamics over groups, linking it to contractibility in algebraic topology. The homotopy framework offers a new perspective for studying subshifts. The results on periodic points and comparisons with existing properties (MEP of Meyerovitch, FEP of Briceño et al.) are significant for the field. The new geometric notions may have broader applications.

major comments (2)
  1. [§3, Theorem 3.1] §3, Theorem 3.1 (equivalence): The 'if' direction constructs a continuous retraction r: full shift → subshift using the block-map gluing condition plus the fixed point. The passage from local block-map gluings to a globally continuous map (while preserving the SFT property and fixing the subshift pointwise) is load-bearing; the argument must explicitly show how the fixed point anchors an iteration or limit without discontinuities or exit from the SFT class.
  2. [§4] §4, Theorem on dense periodic points for lamplighter group: The claim that contractibility implies dense periodic points is central to the geometric applications. The proof must verify density in the product topology on the subshift; if the construction only yields periodic points dense in a weaker topology or on a proper subset, the cross-group statement is undermined.
minor comments (3)
  1. The abstract states that contractibility is implied by the map extension property and implies the finite extension property among SFTs; a short comparison table or explicit list of inclusions/strictness would improve readability.
  2. [§1] Notation for block maps and the precise definition of the gluing condition should be introduced in §1 or §2 before the main theorem, rather than deferred.
  3. Ensure consistent capitalization and hyphenation of 'contractible subshift' versus 'strongly contractible' across all sections and the homotopy framework discussion.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting points where additional clarity would strengthen the manuscript. We address the major comments below.

read point-by-point responses

  1. Referee: [§3, Theorem 3.1] §3, Theorem 3.1 (equivalence): The 'if' direction constructs a continuous retraction r: full shift → subshift using the block-map gluing condition plus the fixed point. The passage from local block-map gluings to a globally continuous map (while preserving the SFT property and fixing the subshift pointwise) is load-bearing; the argument must explicitly show how the fixed point anchors an iteration or limit without discontinuities or exit from the SFT class.

    Authors: The proof of the 'if' direction proceeds by using the fixed point as the base configuration and iteratively extending the block-map gluing over larger finite supports; the SFT property guarantees that each finite-stage extension satisfies the local rules, so the pointwise limit remains in the subshift and is continuous because each block map has finite range. We will add a short clarifying paragraph that isolates this iteration step. revision: partial

  2. Referee: [§4] §4, Theorem on dense periodic points for lamplighter group: The claim that contractibility implies dense periodic points is central to the geometric applications. The proof must verify density in the product topology on the subshift; if the construction only yields periodic points dense in a weaker topology or on a proper subset, the cross-group statement is undermined.

    Authors: The argument constructs, for any configuration x and any finite window, a periodic point that agrees with x on that window by applying the contractible gluing; this directly yields density in the product topology. The same finite-window approximation works uniformly for the virtually polycyclic, metabelian Baumslag-Solitar, and lamplighter cases. revision: no

Circularity Check

0 steps flagged

New definition and equivalence theorem are independent

full rationale

The paper introduces contractible subshift as an explicit strengthening of strong irreducibility (gluings realized by a single block map). The central claim is stated as a theorem: a subshift is a retract of a full shift if and only if it is a contractible SFT with a fixed point. No step reduces the retraction construction, the SFT preservation, or the fixed-point condition to a definitional identity, a fitted parameter renamed as prediction, or a self-citation chain. Comparisons to Meyerovitch and Briceño-McGoff-Pavlov properties are external citations. The homotopy analogy and periodic asymptotic dimension are presented as new notions, not renamings that carry the main result. The derivation chain therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper introduces a new definition rather than relying on fitted numerical parameters. Standard mathematical axioms of topology and symbolic dynamics are used; no ad-hoc constants or new physical entities are postulated.

axioms (1)
  • standard math Standard axioms of topological dynamics and symbolic dynamics on groups (continuity of shift maps, compactness of subshift spaces).
    Invoked implicitly when defining subshifts, block maps, and retracts.
invented entities (1)
  • Contractible subshift no independent evidence
    purpose: New class of subshifts whose gluings are realized by block maps, enabling the retract equivalence and homotopy framework.
    Defined in the paper; independent evidence would be external verification of the equivalence theorem.

pith-pipeline@v0.9.0 · 5730 in / 1472 out tokens · 22651 ms · 2026-05-24T04:32:03.829301+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Finitely Dependent Processes on Subshifts

    math.PR 2026-05 unverdicted novelty 7.0

    Finitely dependent processes exist densely on mixing subshifts but are obstructed by cohomology on some tiling spaces, with a characterization for Z^2 box tilings that resolves a prior open question.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Spaces that are contractible mod diagonal

    Tyrone (https://mathoverflow.net/users/54788/tyrone). Spaces that are contractible mod diagonal. MathOverflow. URL:https://mathoverflow.net/q/457117 (version: 2023-10-25). eprint: https : / / mathoverflow . net / q / 457117. url: https://mathoverflow.net/q/457117

    work page 2023

  2. [2]

    Branch groups

    Laurent Bartholdi, Rostislav I. Grigorchuk, and Zoran ˇSuni. “Branch groups”. In: ed. by M. Hazewinkel. Vol. 3. Handbook of Algebra. North- Holland, 2003, pp. 989–1112. doi: https://doi.org/10.1016/S1570- 7954(03)80078- 5. url: https://www.sciencedirect.com/science/ article/pii/S1570795403800785

    work page doi:10.1016/s1570- 2003

  3. [3]

    A Hurewicz-Type Theorem for Asymp- totic Dimension and Applications to Geometric Group Theory

    G. C. Bell and A. N. Dranishnikov. “A Hurewicz-Type Theorem for Asymp- totic Dimension and Applications to Geometric Group Theory”. In:Trans- actions of the American Mathematical Society 358.11 (2006), pp. 4749–

    work page 2006

  4. [4]

    url: http : / / www

    issn: 00029947. url: http : / / www . jstor . org / stable / 3845399 (visited on 12/18/2023)

    work page 2023

  5. [5]

    Periodic Points and Measures for Axiom a Diffeomor- phisms

    Rufus Bowen. “Periodic Points and Measures for Axiom a Diffeomor- phisms”. In: Transactions of the American Mathematical Society154 (1971), pp. 377–397. issn: 00029947. url: http : / / www . jstor . org / stable / 1995452 (visited on 12/21/2023)

    work page 1971

  6. [6]

    Multidimensional sofic shifts without separation and their factors

    Mike Boyle, Ronnie Pavlov, and Michael Schraudner. “Multidimensional sofic shifts without separation and their factors”. In: Transactions of the American Mathematical Society 362.9 (2010), pp. 4617–4653

    work page 2010

  7. [7]

    Factoring onto Zd subshifts with the finite extension property

    Raimundo Brice˜ no, Kevin McGoff, and Ronnie Pavlov. “Factoring onto Zd subshifts with the finite extension property”. In: Proceedings of the American Mathematical Society 146.12 (2018), pp. 5129–5140

    work page 2018

  8. [8]

    Generalized Residual Finiteness of Groups

    Nic Brody and Kasia Jankiewicz. “Generalized Residual Finiteness of Groups”. In: arXiv preprint arXiv:2312.15120 (2023)

    work page arXiv 2023

  9. [9]

    Non-uniqueness of measures of maxi- mal entropy for subshifts of finite type

    Robert Burton and Jeffrey E Steif. “Non-uniqueness of measures of maxi- mal entropy for subshifts of finite type”. In:Ergodic Theory and Dynamical Systems 14.2 (1994), pp. 213–235

    work page 1994

  10. [10]

    On the density of periodic configurations in strongly irreducible subshifts

    Tullio Ceccherini-Silberstein and Michel Coornaert. “On the density of periodic configurations in strongly irreducible subshifts”. In: Nonlinearity 25.7 (2012), p. 2119

    work page 2012

  11. [11]

    The Myhill property for strongly irreducible subshifts over amenable groups

    Tullio Ceccherini-Silberstein and Michel Coornaert. “The Myhill property for strongly irreducible subshifts over amenable groups”. In: Monatshefte f¨ ur Mathematik165 (2012), pp. 155–172. 50

    work page 2012

  12. [12]

    Irreducibility and periodicity in Z2 symbolic systems

    Michael Hochman. Irreducibility and periodicity in Z2 symbolic systems

    work page

  13. [13]

    arXiv: 2401.02273 [math.DS]

    work page arXiv

  14. [14]

    On the subsystems of topological Markov chains

    Wolfgang Krieger. “On the subsystems of topological Markov chains”. In: Ergodic Theory and Dynamical Systems 2.2 (1982), pp. 195–202

    work page 1982

  15. [15]

    An introduction to symbolic dynamics and coding

    Douglas Lind and Brian Marcus. An introduction to symbolic dynamics and coding. Cambridge university press, 2021

    work page 2021

  16. [16]

    An embedding theorem for multidimensional subshifts

    Tom Meyerovitch. An embedding theorem for multidimensional subshifts

    work page

  17. [17]

    arXiv: 2312.05650 [math.DS]

    work page arXiv

  18. [18]

    When are group shifts of finite type?

    Ville Salo. When are group shifts of finite type? 2018. arXiv: 1807.01951 [math.GR]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  19. [19]

    Category theory of symbolic dynamics

    Ville Salo and Ilkka T¨ orm¨ a. “Category theory of symbolic dynamics”. In: Theoretical Computer Science 567 (2015), pp. 21–45. issn: 0304-3975. doi: https://doi.org/10.1016/j.tcs.2014.10.023 . url: https://www. sciencedirect.com/science/article/pii/S0304397514008020

    work page doi:10.1016/j.tcs.2014.10.023 2015

  20. [20]

    Nilpotent endomorphisms of expansive group actions

    Ville Salo and Ilkka T¨ orm¨ a. “Nilpotent endomorphisms of expansive group actions”. In: International Journal of Algebra and Computation 31.03 (2021), pp. 393–452. 51

    work page 2021