---
title: Hom Tree-Shift Dynamics
url: https://www.emergentmind.com/topics/hom-tree-shift
type: topic
---

# Hom Tree-Shift Dynamics

Hom tree-shift denotes a class of tree-indexed symbolic dynamical systems obtained by lifting a one-sided shift space to a regular rooted tree. If \(X\subseteq \mathcal A^{\mathbb Z_+}\), then the associated hom tree-shift is
\[
\mathcal T_X:=\{t \in \mathcal{A}^{\Sigma_k^\ast}: \pi_{\mathbf{s}}(t) \in X \text{ for every chain } \mathbf{s}\},
\]
so every infinite branch of the tree reads an \(X\)-admissible one-sided sequence [2108.12986]. In the Markov case one writes \(X=X_A\) and \(\mathcal T_X=\mathcal T_A\), while a graph-theoretic formulation defines a Hom tree-shift \(X(G)\) as the set of trees labeled by vertices of a graph \(G\) such that each path of the tree is a path of \(G\) [2108.12986]. The theory combines one-dimensional symbolic dynamics, tree-shifts, complete-prefix-code mixing, and Markov/graph presentations, and it exhibits phenomena that do not reduce to the one-dimensional case, notably in mixing, entropy, and conjugacy [2006.13415, 2509.24754].

## 1. Definition, branchwise admissibility, and local models

A hom tree-shift is defined on the regular rooted tree \(\Sigma_k^\ast\), where a labeled tree is a map
\[
t:\Sigma_k^\ast \to \mathcal{A}.
\]
A chain is an infinite path
\[
\mathbf{s}=\{s_i\}_{i\ge 0},\qquad s_0=\epsilon,\quad s_{i+1}\in s_i\Sigma_k,
\]
and the projection of a tree along a chain is the one-sided sequence determined by the labels on that path. The defining condition for \(\mathcal T_X\) is therefore branchwise: every root-to-infinity branch must belong to \(X\) [2108.12986].

The same source records an alternative “axial” version,
\[
\mathcal{T}_X' := \{t \in \mathcal{A}^T: (t_{g i^n})_{n \in \mathbb{Z}_+} \in X \text{ for any } g \in T, i \in \Sigma\},
\]
and states that \(\mathcal{T}_X\) and \(\mathcal{T}_X'\) coincide when \(X\) is a Markov shift \(X_A\). This distinction matters because branchwise admissibility is stronger than merely requiring admissibility along coordinate rays; for the even shift, the axial tree-shift can allow a linking pattern that \(\mathcal T_X\) does not [2108.12986].

A graph-theoretic formulation appears in later work: for a simple graph \(G=(V,E)\) with loops allowed, the Hom tree shift \(X(G)\) is the set of trees \(t\) labeled on \(V\) such that each path of \(t\) is a path of \(G\). Equivalently, for every node \(u\) and child index \(i\in\Sigma\),
\[
(t_u,t_{ui})\in E.
\]
This realizes Hom tree-shifts as nearest-neighbor tree-shifts of finite type. The forbidden patterns are precisely the height-\(2\) blocks \(b\) for which \((b(\varepsilon),b(i))\) is not an edge of \(G\) for at least one \(i\in\Sigma\) [2509.24754].

## 2. SFT, soficity, and finite presentations

A central structural result is that the hom-tree construction preserves the basic one-dimensional symbolic classes. If \(X\) is a shift space, then
\[
X \text{ is an SFT if and only if } \mathcal T_X \text{ is a tree-SFT},
\]
and if \(Y\) is a shift space, then
\[
Y \text{ is a sofic shift if and only if } \mathcal T_Y \text{ is a sofic tree-shift}
\]
[2108.12986].

In the SFT case, the construction is explicit. If \(X\) is an SFT with a finite forbidden list in \(\mathcal A^m\), then \(\mathcal T_X\) is described by a finite forbidden list of tree blocks on \(\Delta_{m-1}\). Conversely, if \(\mathcal T_X\) is a tree-SFT with forbidden blocks on some finite initial subtree \(\Delta_{m-1}\), then one recovers a finite forbidden set in \(\mathcal A^m\) defining \(X\). For the golden mean shift \(X\subseteq\{0,1\}^{\mathbb Z_+}\) with forbidden word \(\{11\}\), the corresponding forbidden tree patterns are
\[
\mathcal{F}_{1} = \{(u_\epsilon; u_0, u_1) = (1; 1, 0), (1; 0, 1), (1; 1, 1)\},
\]
which directly encode the branchwise exclusion of consecutive \(1\)'s [2108.12986].

The sofic case is subtler. A useful characterization is that a tree-shift is sofic if and only if there exist a Markov tree-shift \(\mathcal T'\) and a symbol map \(g:\mathcal A(\mathcal T')\to\mathcal A(\mathcal T)\) such that the image of \(g_*\) is \(\mathcal T\). The literature also emphasizes that a cover of \(\mathcal T_Y\) need not arise as \(\mathcal T_X\) for a one-dimensional cover \(X\to Y\). The even shift is the standard example: \(\mathcal T_Y\) requires an indirect two-step graph construction rather than the naive lift of the original cover [2108.12986].

These results place hom tree-shifts inside the usual finite-type/sofic hierarchy, but with the branchwise lift imposing nontrivial compatibility conditions across all branches simultaneously. A plausible implication is that hom tree-shifts should be viewed neither as merely one-dimensional shifts replicated on a tree nor as arbitrary tree-SFTs; they occupy a constrained intermediate position.

## 3. Mixing theory and comparison with the base shift

The mixing theory of hom tree-shifts is formulated in terms of both ordinary tree-shift notions and complete prefix code (CPC) variants. The standard properties are irreducibility (IR), topological mixing (TM), block gluing (BG), and strong irreducibility (SI). Their CPC analogues replace large-distance separation by placement along a complete prefix code, and uniform CPC versions require the code to be of the form \(\Sigma^n\) [2108.12986].

For arbitrary tree-shifts, the general implication pattern includes:
\[
\text{CPC USI} \Rightarrow \text{SI},\qquad
\text{CPC UBG} \Rightarrow \text{BG},\qquad
\text{CPC BG} \Rightarrow \text{TM},\qquad
\text{BG} \Rightarrow \text{TM}.
\]
For hom tree-shifts \(\mathcal T_X\), several distinctions collapse. The paper proves:
\[
\text{CPC USI} \iff \text{CPC UBG},\qquad
\text{CPC UBG} \iff \text{CPC BG},\qquad
\text{CPC UBG} \iff \text{BG},\qquad
\text{CPC IR} \iff \text{IR}.
\]
Thus, for \(\mathcal T_X\), uniform CPC block gluing becomes the key intermediary and forces several other tree-mixing properties [2108.12986].

The relation between \(X\) and \(\mathcal T_X\) is asymmetric in general. If \(\mathcal T_X\) is TM, then \(X\) is mixing; if \(\mathcal T_X\) is IR, then \(X\) is transitive. The converses fail. The even shift \(X\) is mixing, but \(\mathcal T_X\) is not even CPC irreducible. Likewise, for the one-sided bounded density shift \(\Psi_f^+\) with
\[
f(n):=\lceil \log_3(n+1)\rceil,
\]
the base shift is mixing, while \(\mathcal T_{\Psi_f^+}\) is TM but not CPC UBG, hence neither UBG nor BG [2108.12986].

The Markov case is substantially tighter. If \(X_A\) is the one-sided Markov shift induced by an adjacency matrix \(A\), then
\[
X_A \text{ is mixing } \iff \mathcal T_A \text{ is CPC UBG},
\qquad
X_A \text{ is transitive } \iff \mathcal T_A \text{ is IR}.
\]
The same source notes the combined consequence that, for Markov shifts,
\[
X_A \text{ is mixing } \iff \mathcal T_A \text{ is CPC UBG } \iff \mathcal T_A \text{ is TM}
\]
[2108.12986].

A common misconception is that branchwise lifting preserves one-dimensional mixing behavior automatically. The counterexamples above show that branching can create global incompatibilities not visible on any single branch constraint.

## 4. Entropy, higher-block invariance, and reducible phenomena

For a one-sided shift \(X\), the entropy is
\[
h(X)=\lim_{n\to\infty}\frac{\log |B_n(X)|}{n},
\]
whereas for a tree-shift \(\mathcal T\),
\[
h(\mathcal T)=\lim_{n\to\infty}\frac{\log |B_n(\mathcal T)|}{|\Delta_n|},
\qquad
\Delta_n=\bigcup_{i=0}^n \Sigma^i.
\]
Petersen and Salama showed that the tree entropy exists and satisfies
\[
h(\mathcal T_X)\ge h(X)
\]
for any \(X\) [2006.13415].

In the irreducible Markov case \(X=\mathsf X_A\), if
\[
M=\max_i \sum_j A_{ij},\qquad m=\min_i \sum_j A_{ij},
\]
then
\[
h(\mathsf X_A)=h(\mathcal T_A)\quad\Longleftrightarrow\quad M=m.
\]
Thus equality occurs exactly when all rows of the adjacency matrix have the same sum. The same paper proves that entropy is preserved under higher block presentations of the base shift:
\[
h(\mathcal T_X)=h(\mathcal T_{X^{[m]}}).
\]
This is notable because topological entropy is not a conjugacy invariant for tree-shifts in general, but it remains invariant for hom tree higher block shifts [2006.13415].

Tree entropy also exhibits specifically tree-dynamical effects. For a binary essential matrix \(A\), if the maximal row sum \(M=1\), then \(h(\mathcal T_A)=0\). If \(M\ge 2\), then
\[
h(\mathcal T_A)\ge \frac{d-1}{d}\log M \ge \frac12\log 2.
\]
This yields a gap phenomenon: the set of topological entropies of hom tree-shifts of finite type is not dense [2006.13415].

Reducibility produces a second sharp contrast with one-dimensional symbolic dynamics. If \(A\) is reducible with irreducible components \(A_1,\dots,A_r\), then
\[
h(\mathcal T_A)\ge \sup_i h(\mathcal T_{A_i}),
\]
but equality need not hold. Explicit examples show that a reducible hom tree-shift can have strictly larger entropy than every irreducible component. A refined analysis for reducible block upper-triangular families \(M(a,b;l)\) shows that the classical formula \(h=\max_i h_i\) fails in general, and gives exact criteria for when \(h(\mathcal T_M)=\log b\) and when \(h(\mathcal T_M)>\log b\) [2006.13415, 2105.05406].

This suggests that entropy on hom tree-shifts is governed not only by branchwise admissibility but also by how branching couples admissible extensions across subtrees. The reducible case makes that coupling explicit.

## 5. Markov hom tree-shifts, large deviations, and Hausdorff dimension

A probabilistic formulation treats a hom tree-shift as the support of a tree-indexed Markov chain. On the rooted \(d\)-tree
\[
\tree=\bigcup_{i=0}^{\infty}\Sigma^i,\qquad \Sigma=\{1,2,\dots,d\},
\]
with transition matrix \(M\), the associated Markov hom tree-shift is
\[
\tshift[][M] = \{t\in A^\tree: M_{t_{\tilde g},t_g}=1 \text{ for all } g\neq \epsilon\}.
\]
When \(\tree=\mathbb Z_+\), this reduces to the usual one-sided Markov subshift [2401.05320].

The same framework yields a tree analogue of Cramér’s theorem. For a positive weight matrix \(A=(A_{a,b})\), the empirical average
\[
Y_n = \frac{1}{|\lattice{n}|} \sum_{g\in \lattice{n}\setminus\{\epsilon\}} \log A_{X_{\tilde g},X_g},
\qquad
\lattice{n}:=\bigcup_{i=0}^n \Sigma^i,
\]
need not converge along the full sequence in the irreducible periodic case. If the distinguished state has period \(p\), the correct objects are the subsequences \(Y_{pn+j}\mid X_\epsilon=a_0\), and each of these satisfies a large deviation principle with rate function
\[
\Lambda_j^*(\alpha)=\sup_{\mu\in\mathbb R}\bigl[\mu\alpha-\Lambda_j(\mu)\bigr].
\]
The corresponding almost-sure limit theorem is likewise periodic rather than full-sequence [2401.05320].

The Hausdorff dimension of \(\tshift[][M]\), with respect to the metric
\[
D(x,y)=e^{-\sup\{n:\ x|_{\lattice n}=y|_{\lattice n}\}},
\]
is given, for irreducible \(M\) of period \(p\), by a nonlinear variational formula involving the transfer operator \(\mathcal L_{M,r}\):
\[
\dim_H \tshift[][M]
=
\min_{r\in\mathcal R_{p,d}}
\left(\sum_{\ell=0}^{p-1}\prod_{i=0}^{\ell} r_i^{-1}\right)^{-1}
\log \rho_*(\mathcal L_{M,r}).
\]
In the primitive case \(p=1\), this reduces to
\[
\dim_H \tshift[][M]=\log \rho(M).
\]
More generally,
\[
\dim_H \tshift[][M]\le \log \rho(M),
\]
and equality holds for irreducible \(M\) if and only if \(M\) has uniform row sums [2401.05320].

These results align with the entropy criterion for equality \(h(X_A)=h(\mathcal T_A)\) when all row sums are constant. A plausible implication is that uniform row-sum structure is the combinatorial regime in which branching stops amplifying the underlying one-dimensional complexity.

## 6. Conjugacy, decidability, and related terminology

A graph-defined Hom tree-shift \(X(G)\) is a special tree-SFT, but recent work gives an intrinsic recognition criterion among arbitrary tree-shifts of finite type. The main tool is the edge tree automaton. A tree-shift accepted by a regular edge tree automaton is conjugate to a Hom tree-shift, and a tree-shift of finite type is conjugate to an edge tree shift. The decisive criterion is:
\[
X \text{ is conjugate to a Hom tree-shift}
\quad\Longleftrightarrow\quad
\text{the total amalgamation of its trim edge tree automaton is regular.}
\]
The resulting decision procedure is explicit: convert the finite-type tree-shift to a trim edge tree automaton, compute its total amalgamation by repeated merging, and check regularity. The paper states that this can be done in polynomial space and time [2509.24754].

Conjugacy within the Hom class is rigid. Two Hom tree shifts \(X(G)\) and \(X(H)\) are conjugate if and only if \(G\) and \(H\) are isomorphic as undirected graphs. The directed analogue replaces regularity by symmetry: a tree-shift is conjugate to a directed Hom tree-shift if and only if its total amalgamation is symmetric [2509.24754].

This line of work should be distinguished from the separate “HOM-problem” on tree homomorphisms. There, HOM asks whether the image \(h(L)\) of a regular tree language under a tree homomorphism is again regular, and weighted variants study regularity of homomorphic image series under restrictions such as tetris-free homomorphisms and \(h\)-unambiguity or field-valued weights [2309.02761, 2311.11067]. That terminology concerns images under tree homomorphisms, not hom tree-shifts in the symbolic-dynamical sense.

Taken together, the literature presents hom tree-shifts as branchwise lifts of one-sided symbolic constraints whose Markov instances admit graph, automaton, entropy, and dimension theories. Their defining feature is simple—every branch must lie in a prescribed one-sided system—but their global behavior is not: mixing notions collapse in distinctive ways, entropy can exceed all irreducible components in reducible cases, and conjugacy to a Hom tree-shift is algorithmically recognizable yet highly rigid once attained.

Source: https://www.emergentmind.com/topics/hom-tree-shift