Binary Shifts with a Hole: Dynamics & Dimensions

• Binary shifts with a hole are open symbolic dynamical systems defined by forbidding specific intervals or words from one-sided binary sequences.
• The framework quantifies dynamics using entropy, Hausdorff dimension, and escape rates, employing kneading invariants, finite-state approximations, and root equations.
• Applications span double-base expansions, β-transformations, and Lorenz maps, unifying combinatorial, metric, and geometric properties in open systems.

Binary shifts with a hole are open symbolic dynamical systems on the one-sided full shift $X=\{0,1\}^{\mathbb N}$ in which a prescribed set of itineraries is removed and one studies the sequences whose forward shifts never enter that set. In the lexicographic formulation, which is central to double-base expansions, the hole is the open interval $]a,b[$ with $a\in 0\{0,1\}^\infty$ and $b\in 1\{0,1\}^\infty$, and the survivor subshift is

$$\Omega_{a,b}:=\{i_1i_2\cdots\in\{0,1\}^\infty: i_ni_{n+1}\cdots\notin ]a,b[\ \text{for all }n\ge 1\}.$$

In related settings, the hole is a cylinder $H_w=[w]$ determined by a finite word $w$, or an interval in a one-dimensional expanding map whose itineraries are coded by binary sequences. Across these formulations, the subject connects symbolic dynamics, Hausdorff dimension, thermodynamic formalism, $\beta$-expansions, open dynamical systems, and escape-rate theory (Lu et al., 4 Sep 2025).

1. Symbolic formulation and hole conventions

The common ambient space is the one-sided binary shift $X=\{0,1\}^{\mathbb N}$ with shift $\sigma:(i_1i_2\cdots)\mapsto(i_2i_3\cdots)$. A “hole” is a subset of $]a,b[$0, and the survivor set is the set of sequences whose forward iterates under $]a,b[$1 never enter that hole. In the lexicographic framework, the hole is typically an open interval in symbol space; in the escape-rate framework, it is a cylinder determined by a finite forbidden prefix; in geometric realizations, it is an interval in phase space whose symbolic itineraries form a lexicographic exclusion region (Lu et al., 4 Sep 2025).

Setting	Hole	Survivor set
Lexicographic symbolic model	$]a,b[$2	$]a,b[$3
Word-defined shift	$]a,b[$4	$]a,b[$5 and its asymptotics
Geometric interval map	$]a,b[$6 or $]a,b[$7	Symbolically coded survivor subshift

For the lexicographic model, the open interval is

$]a,b[$8

and the associated survivor subshift is

$]a,b[$9

This is a closed, shift-invariant set, hence a subshift. When the hole is defined by lexicographic constraints, the resulting survivor set is often a subshift of finite type or a sofic shift determined by forbidding the words associated to the hole.

A distinct but related convention fixes a finite word $a\in 0\{0,1\}^\infty$0 and defines the hole by the cylinder

$a\in 0\{0,1\}^\infty$1

The survival set after $a\in 0\{0,1\}^\infty$2 iterates is

$a\in 0\{0,1\}^\infty$3

For the shift, this is equivalent to requiring that the first $a\in 0\{0,1\}^\infty$4 symbols contain no occurrence of $a\in 0\{0,1\}^\infty$5 as a contiguous sub-word.

A basic structural point is that “binary shift with a hole” is therefore not a single model but a family of closely related open systems. This suggests that statements about entropy, dimension, or escape rate depend strongly on the type of hole being used.

2. Entropy, Hausdorff dimension, and kneading equations

For lexicographic survivor subshifts, the central invariants admit explicit formulas. Given an admissible kneading pair $a\in 0\{0,1\}^\infty$6, define the projection map

$a\in 0\{0,1\}^\infty$7

with $a\in 0\{0,1\}^\infty$8 if $a\in 0\{0,1\}^\infty$9 and $b\in 1\{0,1\}^\infty$0 if $b\in 1\{0,1\}^\infty$1. The kneading invariant is

$b\in 1\{0,1\}^\infty$2

so that $b\in 1\{0,1\}^\infty$3 (Lu et al., 4 Sep 2025).

The topological entropy of $b\in 1\{0,1\}^\infty$4 is

$b\in 1\{0,1\}^\infty$5

where $b\in 1\{0,1\}^\infty$6 is the maximal solution of

$b\in 1\{0,1\}^\infty$7

For unequal contraction factors, the Hausdorff dimension of the projection is

$b\in 1\{0,1\}^\infty$8

where $b\in 1\{0,1\}^\infty$9 is the maximal solution of

$$\Omega_{a,b}:=\{i_1i_2\cdots\in\{0,1\}^\infty: i_ni_{n+1}\cdots\notin ]a,b[\ \text{for all }n\ge 1\}.$$0

The same parameter $$\Omega_{a,b}:=\{i_1i_2\cdots\in\{0,1\}^\infty: i_ni_{n+1}\cdots\notin ]a,b[\ \text{for all }n\ge 1\}.$$1 is characterized as the unique zero of the subadditive pressure-like relation

$$\Omega_{a,b}:=\{i_1i_2\cdots\in\{0,1\}^\infty: i_ni_{n+1}\cdots\notin ]a,b[\ \text{for all }n\ge 1\}.$$2

where $$\Omega_{a,b}:=\{i_1i_2\cdots\in\{0,1\}^\infty: i_ni_{n+1}\cdots\notin ]a,b[\ \text{for all }n\ge 1\}.$$3 is the set of $$\Omega_{a,b}:=\{i_1i_2\cdots\in\{0,1\}^\infty: i_ni_{n+1}\cdots\notin ]a,b[\ \text{for all }n\ge 1\}.$$4-letter words appearing in $$\Omega_{a,b}:=\{i_1i_2\cdots\in\{0,1\}^\infty: i_ni_{n+1}\cdots\notin ]a,b[\ \text{for all }n\ge 1\}.$$5.

When $$\Omega_{a,b}:=\{i_1i_2\cdots\in\{0,1\}^\infty: i_ni_{n+1}\cdots\notin ]a,b[\ \text{for all }n\ge 1\}.$$6 is of finite type or sofic, one may build a finite labeled graph or automaton whose language coincides with $$\Omega_{a,b}:=\{i_1i_2\cdots\in\{0,1\}^\infty: i_ni_{n+1}\cdots\notin ]a,b[\ \text{for all }n\ge 1\}.$$7. If $$\Omega_{a,b}:=\{i_1i_2\cdots\in\{0,1\}^\infty: i_ni_{n+1}\cdots\notin ]a,b[\ \text{for all }n\ge 1\}.$$8 is the adjacency matrix of this graph, then

$$\Omega_{a,b}:=\{i_1i_2\cdots\in\{0,1\}^\infty: i_ni_{n+1}\cdots\notin ]a,b[\ \text{for all }n\ge 1\}.$$9

where $H_w=[w]$0 is the spectral radius of $H_w=[w]$1. This gives a finite-state realization of the same entropy that appears through the kneading equation.

Two continuity statements are especially important. First, the dimension function

$H_w=[w]$2

is continuous in $H_w=[w]$3. Second, the map

$H_w=[w]$4

is continuous for $H_w=[w]$5. In the equal-base case $H_w=[w]$6, the dimension formula reduces to

$H_w=[w]$7

which is the uniform-slope specialization of the general theory.

3. Double-base expansions and the univoque set

A principal source of binary shifts with a hole is the theory of double-base expansions. For $H_w=[w]$8, the projection

$H_w=[w]$9

maps $w$0 to the attractor

$w$1

which is the attractor of the iterated function system $w$2. The univoque set is

$w$3

the set of points having a unique $w$4-expansion (Lu et al., 4 Sep 2025).

For $w$5 with $w$6, the unique-expansion set is characterized symbolically by two extremal kneading sequences:

• $w$7, the quasi-greedy expansion of $w$8, starting with $w$9;
• $\beta$0, the quasi-lazy expansion of $\beta$1, starting with $\beta$2.

Up to a countable set of endpoints,

$\beta$3

and the difference between $\beta$4 and $\beta$5 is countable. Consequently,

$\beta$6

The general dimension theorem yields several threshold regimes. The paper introduces generalized thresholds $\beta$7 and $\beta$8 and states:

• $\beta$9 is trivial for $X=\{0,1\}^{\mathbb N}$0;
• $X=\{0,1\}^{\mathbb N}$1 for $X=\{0,1\}^{\mathbb N}$2;
• $X=\{0,1\}^{\mathbb N}$3 for $X=\{0,1\}^{\mathbb N}$4.

More precisely:

• If $X=\{0,1\}^{\mathbb N}$5, then $X=\{0,1\}^{\mathbb N}$6.
• If $X=\{0,1\}^{\mathbb N}$7, then $X=\{0,1\}^{\mathbb N}$8 is the maximal root of

$X=\{0,1\}^{\mathbb N}$9

and $\sigma:(i_1i_2\cdots)\mapsto(i_2i_3\cdots)$0.

• If $\sigma:(i_1i_2\cdots)\mapsto(i_2i_3\cdots)$1, then $\sigma:(i_1i_2\cdots)\mapsto(i_2i_3\cdots)$2.
• If $\sigma:(i_1i_2\cdots)\mapsto(i_2i_3\cdots)$3, then $\sigma:(i_1i_2\cdots)\mapsto(i_2i_3\cdots)$4 solves

$\sigma:(i_1i_2\cdots)\mapsto(i_2i_3\cdots)$5

and $\sigma:(i_1i_2\cdots)\mapsto(i_2i_3\cdots)$6.

An explicit worked example is also given. Let $\sigma:(i_1i_2\cdots)\mapsto(i_2i_3\cdots)$7 be the real root of $\sigma:(i_1i_2\cdots)\mapsto(i_2i_3\cdots)$8, and let $\sigma:(i_1i_2\cdots)\mapsto(i_2i_3\cdots)$9. Then

$]a,b[$00

the extremal elements are $]a,b[$01 and $]a,b[$02, the entropy satisfies

$]a,b[$03

and the Hausdorff dimension is the number $]a,b[$04 solving

$]a,b[$05

giving $]a,b[$06.

4. Doubling maps, linear Lorenz maps, and greedy systems with a hole

The lexicographic survivor subshift $]a,b[$07 has direct realizations in one-dimensional dynamics. For the doubling map

$]a,b[$08

with a hole $]a,b[$09, binary coding identifies the geometric survivor set with $]a,b[$10, where $]a,b[$11 and $]a,b[$12 are determined by the binary expansions of $]a,b[$13 and $]a,b[$14. Its entropy is

$]a,b[$15

and because the doubling map has uniform slope $]a,b[$16,

$]a,b[$17

For the central hole $]a,b[$18, the endpoints have binary expansions $]a,b[$19 and $]a,b[$20, the survivor subshift is $]a,b[$21, and

$]a,b[$22

(Lu et al., 4 Sep 2025).

Linear Lorenz maps fit the same framework. Their left and right branches have constant slopes $]a,b[$23, the discontinuity itineraries define kneading sequences $]a,b[$24, and the symbolic hole is again $]a,b[$25. The resulting entropy and Hausdorff dimension are

$]a,b[$26

and

$]a,b[$27

A further realization comes from intermediate $]a,b[$28-transformations. For $]a,b[$29, the piecewise linear map

$]a,b[$30

has upper and lower symbolic codings $]a,b[$31 and associated subshifts $]a,b[$32. The central conjugacy result states that for every $]a,b[$33, there exist $]a,b[$34 and $]a,b[$35 such that

$]a,b[$36

where

$]a,b[$37

is the survivor set for a hole at zero (Langeveld et al., 2022).

The correspondence is not one-to-one. The paper constructs a value of $]a,b[$38 with minimal polynomial $]a,b[$39 and a sequence $]a,b[$40 showing that some greedy-with-hole systems do not arise from an intermediate system. This is a precise obstruction, not merely a technical artifact.

For the binary map, the hole-at-zero formalism becomes particularly concrete. If $]a,b[$41, then the kneading word is

$]a,b[$42

and the condition $]a,b[$43 for all $]a,b[$44 is equivalent to forbidding the word $]a,b[$45. The survivor subshift is therefore the SFT with adjacency matrix

$]a,b[$46

so

$]a,b[$47

5. $]a,b[$48-transformations with interval holes and devil’s staircase structure

For $]a,b[$49, the map

$]a,b[$50

generates a binary symbolic coding constrained by Parry’s quasi-greedy expansion $]a,b[$51. The associated $]a,b[$52-shift is

$]a,b[$53

Given an interval hole $]a,b[$54, the survivor set is

$]a,b[$55

and symbolically it is the set of sequences in $]a,b[$56 whose every shift avoids the lexicographic interval between the greedy expansions of $]a,b[$57 and $]a,b[$58 (Clark, 2014).

The paper studies three parameter sets: $]a,b[$59

$]a,b[$60

$]a,b[$61

where $]a,b[$62 is the set of bad periods, meaning those $]a,b[$63 for which every $]a,b[$64-cycle intersects the hole. The inclusions

$]a,b[$65

hold.

A central organizing mechanism is the combinatorics of balanced words, Sturmian limits, and maximal extremal pairs. Rational slopes $]a,b[$66 determine cyclically balanced words $]a,b[$67, and from these one forms pairs $]a,b[$68 by taking the lexicographically largest cyclic permutation starting with $]a,b[$69 and the lexicographically smallest cyclic permutation starting with $]a,b[$70. The function $]a,b[$71, which selects the maximal admissible balanced word, is a devil’s staircase: it is continuous, non-decreasing, and has derivative zero almost everywhere.

Inside the nontrivial region

$]a,b[$72

the boundaries of $]a,b[$73, $]a,b[$74, and $]a,b[$75 are described by maximal extremal pairs and their Farey descendants. For maximal pairs, the survivor set at the boundary hole is essentially a single periodic orbit and its allowable preimages; for descendant pairs it is countable; after shrinking the hole away from the boundary by $]a,b[$76, one obtains uncountable survivor sets and, under the coprime-length condition $]a,b[$77, only finitely many bad periods.

The paper also identifies an “unbalanced” region

$]a,b[$78

when $]a,b[$79. In this regime, balanced words alone do not produce all maximal extremal pairs. Additional pairs are built from a Farey-like tree with roots $]a,b[$80 and a suitable minimal cyclic permutation $]a,b[$81. This extends the doubling-map picture to general $]a,b[$82 and introduces a genuine admissibility phenomenon coming from the Parry constraint $]a,b[$83.

6. Escape rates, maximal holes, and ordering phenomena

When the hole is a cylinder $]a,b[$84 specified by a finite word $]a,b[$85, the relevant invariant is the escape rate. For Bernoulli measure $]a,b[$86, let

$]a,b[$87

The escape rates are

$]a,b[$88

and the paper focuses on $]a,b[$89. The weighted autocorrelation polynomial $]a,b[$90 and the polynomial

$]a,b[$91

determine the escape rate by

$]a,b[$92

where $]a,b[$93 is the smallest positive root of $]a,b[$94 (Bonanno et al., 2021).

For a prime hole, meaning a word whose autocorrelation vector is $]a,b[$95, the formula simplifies to

$]a,b[$96

For an all-one-symbol hole $]a,b[$97,

$]a,b[$98

The maximization problem is especially explicit in the binary Bernoulli case. Let $]a,b[$99 be the larger symbol probability and $a\in 0\{0,1\}^\infty$00 the smaller, and fix a length $a\in 0\{0,1\}^\infty$01. There are two distinguished candidates:

• $a\in 0\{0,1\}^\infty$02: prime holes of length $a\in 0\{0,1\}^\infty$03 with maximal prime measure, such as $a\in 0\{0,1\}^\infty$04, of measure $a\in 0\{0,1\}^\infty$05;
• $a\in 0\{0,1\}^\infty$06: holes of maximal measure, namely $a\in 0\{0,1\}^\infty$07, of measure $a\in 0\{0,1\}^\infty$08.

The maximal escape rate over all holes of length $a\in 0\{0,1\}^\infty$09 is achieved either by a prime hole in $a\in 0\{0,1\}^\infty$10 or by a maximal-measure hole in $a\in 0\{0,1\}^\infty$11. In the binary case,

$a\in 0\{0,1\}^\infty$12

Moreover, on the subinterval $a\in 0\{0,1\}^\infty$13,

$a\in 0\{0,1\}^\infty$14

Two comparison principles follow. First, if two holes have the same length and the same measure, then a prime hole has larger escape rate than a non-prime hole. Second, for prime holes of the same length, larger measure implies larger escape rate. These statements give a clean classification of maximizers, but they do not support a universal ordering principle.

Indeed, a major negative result is that, for non-equiprobable symbols, ordering holes by escape rate corresponds to neither the order by their measure nor by the length of the shortest periodic orbit they contain. The paper exhibits explicit counterexamples. This sharply distinguishes the non-equiprobable case from the equiprobable case, where classical periodic-orbit ordering phenomena do hold.

The Markov-measure case is more intricate. The escape polynomial acquires additional factors involving

$a\in 0\{0,1\}^\infty$15

and the sign of $a\in 0\{0,1\}^\infty$16 affects comparisons. For $a\in 0\{0,1\}^\infty$17, prime holes remain preferable in the same-measure comparison; for $a\in 0\{0,1\}^\infty$18, non-prime holes can dominate in certain regions. A plausible implication is that “binary shifts with a hole” support several distinct extremal theories, depending not only on the hole but also on the background invariant measure.

7. Structural themes and scope

Several themes recur across the literature. One is the equivalence between symbolic survivor sets and geometric survivor sets: the same lexicographic exclusion mechanism appears in univoque expansions, the doubling map with a hole, linear Lorenz maps, greedy and intermediate $a\in 0\{0,1\}^\infty$19-transformations, and the $a\in 0\{0,1\}^\infty$20-transformation with a general interval hole (Lu et al., 4 Sep 2025).

A second theme is the coexistence of exact formulas and highly singular parameter dependence. Continuity of entropy and Hausdorff dimension coexists with devil’s staircase behavior in parameter selections such as $a\in 0\{0,1\}^\infty$21 and the dimension function $a\in 0\{0,1\}^\infty$22, which is decreasing and constant Lebesgue almost everywhere. The bifurcation set

$a\in 0\{0,1\}^\infty$23

is Lebesgue null but has full Hausdorff dimension $a\in 0\{0,1\}^\infty$24 (Langeveld et al., 2022).

A third theme is the role of finite-type and sofic approximations. When kneading invariants are periodic or eventually periodic, finite automata and adjacency matrices give explicit computations of entropy and dimension. For non-finite-type systems, the same quantities are recovered through root equations, pressure, and limiting approximations.

Taken together, these results position binary shifts with a hole as a unifying framework for open symbolic dynamics. The framework is simultaneously combinatorial, metric, and geometric: holes are specified by forbidden words or forbidden lexicographic intervals; survivor sets are subshifts, attractors, or repellers; and the principal invariants are entropy, Hausdorff dimension, and escape rate. The resulting theory extends from the full two-shift to constrained $a\in 0\{0,1\}^\infty$25-shifts, from uniform to non-uniform contractions, and from deterministic symbolic exclusions to measure-dependent leakage.