---
title: Minimal Sofic Shift
url: https://www.emergentmind.com/topics/minimal-sofic-shift
type: topic
---

# Minimal Sofic Shift

Searching arXiv for the specified papers and closely related work to ground the article.
“Minimal sofic shift” is used in two technically distinct senses. In the theory of one-dimensional sofic shifts presented by deterministic edge-labeled graphs, it refers to minimality of a deterministic presentation: no other deterministic presentation of the same shift has strictly fewer vertices, or equivalently there is no pair of distinct follower-equivalent states. In the theory of subshifts over countable groups, it refers to dynamical minimality: a subshift \(X \subseteq A^G\) has no nonempty proper closed \(G\)-invariant subsets. Current work develops both meanings: the first through the computational theory of deterministic presentations, and the second through existence results for group actions, including a non-finitely-generated group admitting an infinite minimal sofic shift [2112.03484], [2507.06599].

## 1. Two notions of minimality

For a finite alphabet \(\Sigma\) and a one-dimensional shift space \(X \subseteq \Sigma^{\mathbb{Z}}\), a labeled graph
\[
G = (Q_G,E_G,i_G,t_G,L_G)
\]
with labels in \(\Sigma\) is a presentation of \(X\) if
\[
X = X_G := \{\,L_G(x) : x \in E_G^{\mathbb{Z}} \text{ is a bi-infinite path}\,\}.
\]
Such a presentation is essential if every vertex lies on some bi-infinite path, and presentations are assumed essential in the development summarized in [2112.03484].

In this presentation-theoretic setting, a deterministic presentation, also called right-resolving, is one in which for each state \(q \in Q_G\) and each \(a \in \Sigma\) there is at most one outgoing edge from \(q\) labeled \(a\). This yields a partial transition action
\[
q \cdot w = r \iff \text{there is a unique path from } q \text{ of label } w \text{ ending at } r.
\]
For deterministic \(G\) and \(q \in Q_G\), the follower set is
\[
F_G(q) := \{\,w \in \Sigma^* : w \text{ labels some path from } q\,\},
\]
and
\[
B(X_G) = \bigcup_{q \in Q_G} F_G(q).
\]
Two states \(p,q \in Q_G\) are follower-equivalent, written \(p \sim q\), if \(F_G(p)=F_G(q)\). The quotient \(G/\!\sim\), called the follower-separation, has one vertex \([q]\) for each \(\sim\)-class and is again a deterministic presentation of the same shift [2112.03484].

In the group-shift setting, let \(G\) be a countable discrete group and \(A\) a finite alphabet. The full \(G\)-shift is
\[
A^G = \{x:G \to A\}
\]
with the product topology and the natural left \(G\)-action
\[
(g \cdot x)_h = x_{g^{-1}h}.
\]
A subshift \(X \subseteq A^G\) is a closed \(G\)-invariant subset; it is an SFT if it is defined by finitely many forbidden finite patterns; it is sofic if it is a factor of some SFT cover; and it is minimal if it has no nonempty proper closed \(G\)-invariant subsets [2507.06599].

A common source of confusion is that these two meanings of minimality concern different objects. In the first, minimality concerns redundancy of states in a deterministic presentation. In the second, minimality concerns the orbit-closure structure of the \(G\)-system itself. This suggests that the phrase “minimal sofic shift” is context-dependent and must be interpreted from the ambient theory.

## 2. Minimal deterministic presentations and follower separation

For deterministic presentations of one-dimensional sofic shifts, minimality is controlled by follower sets. A deterministic presentation \(G\) of a sofic shift \(X\) is minimal if no other deterministic presentation of \(X\) has strictly fewer vertices. Equivalently, \(G\) is minimal if it has no pair of distinct follower-equivalent states [2112.03484].

The quotient \(G/\!\sim\) therefore plays the role of a canonical reduction procedure. By identifying states with the same follower set and inheriting edges in the obvious way, one obtains a deterministic presentation of the same shift. In the summary attached to [2112.03484], this collapse is described as the classical “Myhill–Nerode” construction for sofic shifts.

The formulation “A sofic shift \(X\) is minimal (among all presentations) if one of its deterministic presentations has no redundant (follower-equivalent) states” appears explicitly in [2112.03484]. In that presentation-theoretic sense one also speaks of its minimal deterministic presentation \(G_{\min}\). The significance of this formulation is algorithmic: it converts a structural question about symbolic dynamics into a state-equivalence question for deterministic automata.

## 3. Irreducible and synchronizing regimes

Two classes admit a particularly clean theory: irreducible deterministic presentations and synchronizing deterministic presentations. In both settings, collapsing follower-equivalent states yields a unique minimal object and can be carried out in polynomial time [2112.03484].

A deterministic presentation \(G\) is irreducible, equivalently strongly connected, if for every \(p,q \in Q_G\) there is a path from \(p\) to \(q\). Equivalently \(X_G\) is an irreducible shift. A theorem attributed to Lind–Marcus states that if \(G\) is an irreducible deterministic presentation, then \(\sim\) is an equivalence, the quotient \(G/\!\sim\) is again irreducible and deterministic, and \(G/\!\sim\) is the unique, up to isomorphism, minimal irreducible deterministic presentation of \(X_G\). Moreover, \(\sim\) can be computed in
\[
O(|Q_G| \log |Q_G| + |E_G|)
\]
time by Hopcroft’s DFA-state-equivalence algorithm, viewing \(G\) as a DFA with a sink state [2112.03484].

A word \(w\) in a deterministic presentation \(G\) is synchronizing if \(Q_G \cdot w = \{r\}\) is a singleton. The presentation is synchronizing if every state \(r\) admits some \(w\) with \(Q_G \cdot w = \{r\}\). Jonoska (1996) showed that the class of sofic shifts admitting a synchronizing deterministic presentation is strictly larger than the irreducible class, but still admits a unique minimal SDP. More precisely, if \(G\) is follower-separated and synchronizing, then
\[
w \text{ is synchronizing } \iff w \text{ is intrinsically synchronizing in } X_G,
\]
meaning that whenever \(uw\) and \(wv\) both lie in \(B(X_G)\), then \(uwv \in B(X_G)\). As a corollary, every synchronizing deterministic presentation has a unique minimal SDP obtained by collapsing follower-equivalent states, and this quotient can be computed in polynomial time [2112.03484].

The algorithmic template in both cases is identical: compute follower-equivalence via Hopcroft’s DFA-equivalence in \(O(|Q|\log |Q| + |E|)\), form the quotient \(G/\!\sim\) in \(O(|E|)\), and return it. To decide whether \(X_G\) admits any deterministic presentation with at most \(k\) states in the irreducible or synchronizing case, it suffices to compute \(G/\!\sim\) and test whether \(|Q_{G/\!\sim}| \le k\) [2112.03484].

## 4. Complexity boundary and size bounds

Outside the irreducible and synchronizing settings, the minimality problem changes sharply in complexity. For arbitrary deterministic presentations, possibly reducible and non-synchronizing, the decision problem
\[
\text{Input: deterministic presentation } G \text{ and integer } k \text{ (in binary);}
\]
\[
\text{Question: } \exists \text{ some deterministic presentation } H \text{ of } X_G \text{ with } |Q_H| \le k?
\]
is called **Minimality** in [2112.03484], and Theorem 6.12 states that Minimality is PSPACE-complete [2112.03484].

The PSPACE-hardness proof reduces from DFA-UNION. Given DFAs \(M_1,\dots,M_n\) over \(\Sigma\), one constructs \(G\) by “grafting” each \(M_i\) into \(G\) so that between special markers \(\$\) and \(\%\) the acceptance of each \(M_i\) is tested in parallel, together with an extra state \(s^*\) whose role is to cover any word not accepted by any \(M_i\). One then shows that \(X_G\) admits a 2-state deterministic presentation if and only if
\[
\bigcup_i L(M_i) = \Sigma^*.
\]
Thus checking minimality for \(k=2\) solves the PSPACE-complete UNION problem. Membership in PSPACE follows because one can verify a \(k\)-state candidate presentation in PSPACE by checking language-equality in PSPACE, and therefore Minimality lies in PSPACE by Savitch’s theorem [2112.03484].

The same source gives two complementary size bounds that delimit what can be expected even inside deterministic and synchronizing frameworks. First, there exist sofic shifts \(X_G\) whose minimal deterministic presentation has \(O(n)\) states but whose minimal synchronizing deterministic presentation has \(2^{\Omega(n)}\) states. The construction starts from a \(k\)-entry DFA whose union of \(k\) initial states requires a \(2^k\)-state minimal DFA, and embeds it into a sofic shift presentation with \(k\) extra pre-initial states so that the minimal SDP essentially forces the \(2^k\) blow-up. Second, there exist deterministic presentations on \(n\) states whose shortest synchronizing word has length \(2^{\Omega(n)}\) [2112.03484].

These results establish a sharp boundary. In the irreducible or synchronizing cases, minimality, equality, subshift, and SFT-test are all in \(P\) via follower-separation. For general deterministic presentations, all these problems, including Minimality, are PSPACE-complete via reductions from DFA-UNION and DFA-INTERSECTION [2112.03484].

## 5. Minimal sofic shifts over countable groups

For group actions, minimality is a dynamical property rather than a presentation-theoretic one. A sofic shift \(X \subseteq A^G\) is obtained as a continuous \(G\)-equivariant image of an SFT \(Y \subseteq B^G\), and minimality means precisely that \(X\) has no nonempty proper closed \(G\)-invariant subsets [2507.06599].

A central recent existence theorem states that there exists a countable group
\[
G \cong (F_4 \times F_2) \rtimes F_\infty
\]
which is not finitely generated, together with a finite alphabet \(A\) and an infinite subshift \(X \subseteq A^G\) that is both sofic and minimal under the \(G\)-action. This answers Question 7.18(ii) of Doucha–Melleray–Tsankov in the positive [2507.06599].

The group is built explicitly. One fixes free groups of rank \(2\),
\[
A = \langle a_1,a_2\rangle \cong F_2,\quad
B = \langle b_1,b_2\rangle \cong F_2,\quad
C = \langle c_1,c_2\rangle \cong F_2,\quad
D_0 = \langle d_1,d_2\rangle \cong F_2.
\]
One forms \(F_4 = A * B\), so \(F_4 \times F_2 = (A*B)\times C\). By Nielsen–Schreier, \(F_2\) contains subgroups of every countable rank, so one chooses \(D \le D_0\) with \(D \cong F_\infty\). An action \(\psi:D \to \operatorname{Aut}(F_4 \times C)\) is then defined by
\[
\psi(d)(a)=a \text{ for all } a\in A,\qquad
\psi(d)(b)= d\cdot b \cdot d^{-1},\qquad
\psi(d)(c)=c \text{ for all } c\in C.
\]
Finally,
\[
G = (F_4 \times F_2)\rtimes_\psi D = ((A*B)\times C)\rtimes_\psi D.
\]
Because \(D \cong F_\infty\), the resulting group is not finitely generated [2507.06599].

This result is contrasted in [2507.06599] with known obstructions: no non-finitely-generated amenable or locally-finite group admits such a shift. It also interacts with the study of generic Cantor actions: for non-finitely-generated \(G\), any projectively isolated sofic shift must be minimal, and the construction provides the first nontrivial example of such minimal sofic shifts.

## 6. Construction mechanisms and structural significance

The construction of the minimal sofic shift on \((F_4 \times F_2)\rtimes F_\infty\) proceeds by building a sofic \(K\)-system for
\[
K = F_4 \times F_2
\]
and then inducing it to the larger group \(G\) [2507.06599].

The base action is defined on the Cantor space \(\Omega = \{0,1\}^{\mathbb{N}}\). Thompson’s group \(V\) acts naturally on \(\Omega\) by finite-prefix replacement, and this action is antidiagonally minimal, faithful and center-free, expansive, and computable. Since \(V\) is 2-generated, one chooses surjections
\[
\phi_A:A\to V,\qquad \phi_B:B\to V
\]
so that together the images generate \(V\). Then \(A*B\) acts on \(\Omega\) by sending each generator to the corresponding element of \(V\), and this action is antidiagonally minimal, expansive, and computable. Extending trivially over \(C=F_2\) yields a \(K\)-action on \(\Omega\) that remains expansive and faithful [2507.06599].

At this point the construction invokes self-simulation. Because \(K = F_4 \times F_2\) is a direct product of nonamenable finitely generated groups, every computable expansive action has an SFT cover. Hence the \(K\)-system above admits a sofic shift model \(X \subseteq A^K\). The next step is free extension, or co-induction, from \(K\) to \(G\). Viewing \(X\) as forbidden-pattern definitions on the cosets of \(K\) in \(G\), one defines the induced subshift
\[
X^D \subseteq A^G
\]
by requiring that for each left coset \(gK \subseteq G\), the restriction of a configuration \(y \in A^G\) to \(gK\), after translation by \(g^{-1}\), lies in \(X\). Since \(X\) is sofic, its free extension remains sofic [2507.06599].

Minimality of the induced system is obtained by a “minimal \(\Phi\)-joinings” argument. The original \(X\) has no nontrivial joining with any of its automorphic conjugates arising from \(\psi(D)\), and this forces the induced \(K\)-action on \(X^D\) to be minimal. Because \(C\) acts trivially and \(D\) acts by permuting the \(K\)-coordinates, no new proper invariant subsets appear, so \(X^D\) is minimal under the full \(G\)-action [2507.06599].

The proof architecture is summarized by four key lemmas in [2507.06599]: antidiagonal minimality implies minimality and expansivity; the prefix-replacement action of \(V\) has the required dynamical and computability properties; direct products of finitely generated nonamenable groups are self-simulable in the sense that every computable expansive action is sofic; and minimal \(\Phi\)-joinings imply minimal induction. Together these lemmas show that minimal soficity over non-finitely-generated groups can be produced by combining expansive symbolic models, semidirect-product geometry, and induction.

A plausible implication is that the phrase “minimal sofic shift” now spans two mature but only partially overlapping research programs. One studies minimal deterministic presentations through follower-equivalence, canonical quotients, and computational complexity. The other studies minimality as a dynamical property of group subshifts, including existence and construction problems beyond the finitely generated case. The two programs share the language of soficity but organize minimality around different invariants: state complexity in the first case, invariant closed subsets in the second.

Source: https://www.emergentmind.com/topics/minimal-sofic-shift