β-Transformation Dynamical System

• β-transformation-driven dynamical systems are non-integer base expansion models with chaotic, ergodic, and spectral properties.
• They utilize a piecewise linear map to produce greedy expansions, yielding explicit invariant densities and effective transfer operator analyses.
• Extensions to random and open systems reveal complex symbolic structures, quantifiable decay rates, and fractal survivor sets.

A $\beta$-transformation-driven dynamical system is a paradigmatic example of a non-integer base expansion system, central to ergodic theory, symbolic dynamics, and the spectral analysis of transfer operators. The deterministic and random $\beta$-transformations model a range of phenomena from number-theoretic expansions to chaotic statistical properties and explicit computation of invariant measures. Especially in the quadratic Parry case or under randomization, transfer operator asymptotics and symbolic structures show sharp spectral and ergodic phenomena.

1. Definition and Structure of the $\beta$-Transformation System

Let $\beta > 1$ be real. The classical $\beta$-transformation is defined by

$$T_\beta : [0,1) \rightarrow [0,1),\quad T_\beta(x) = \beta x - \lfloor \beta x \rfloor.$$

This map is piecewise linear with uniform slope $\beta$, expanding on a Markov partition into fundamental intervals $I_k = [k/\beta, (k+1)/\beta)$, $k = 0,\dots,\lfloor\beta\rfloor$. $T_\beta$ generates the greedy $\beta$0-expansion of $\beta$1: $\beta$2 For particular algebraic $\beta$3 (e.g., quadratic Parry numbers, satisfying $\beta$4 for $\beta$5), every $\beta$6 admits an eventually periodic $\beta$7-expansion, generalizing the theory of shift spaces.

The system extends naturally to random $\beta$8-transformations by allowing $\beta$9 to vary according to some stochastic process, resulting in a skew-product

$\beta$0

where $\beta$1 is ergodic and $\beta$2 is a random variable, producing i.i.d. or non-i.i.d. random systems (Suzuki, 2023).

2. Transfer Operator and Spectral Theory

The Perron–Frobenius (transfer) operator $\beta$3 for $\beta$4 is defined weakly via

$\beta$5

For $\beta$6 in the quadratic Parry case ($\beta$7), $\beta$8 has $\beta$9 inverse branches, yielding: $\beta > 1$0 (Cornean et al., 24 Feb 2025). In the integer case ($\beta > 1$1), this reduces to the averaging operator.

$\beta > 1$2 has a unique invariant density $\beta > 1$3 ($\beta > 1$4). In the quadratic Parry case, $\beta > 1$5 is explicit and piecewise-affine. The second-largest eigenvalue and eigenfunctions, especially at $\beta > 1$6, dictate relaxation rates. For smooth $\beta > 1$7 with $\beta > 1$8,

$\beta > 1$9

where $\beta$0 is the explicitly-constructed eigenfunction with $\beta$1 and $\beta$2 (Cornean et al., 24 Feb 2025). In the integer case, a complete asymptotic expansion using Bernoulli polynomials is available, but for non-integer $\beta$3 only a two-term expansion exists due to the operator's continuous spectrum.

3. Random Beta-Systems and Invariant Measures

In the random setting, for sequences of randomly chosen $\beta$4 (i.i.d. or more generally ergodic), with a mean-expansion condition such as

$\beta$5

one establishes a unique absolutely continuous invariant measure (acim) for the skew product. In the i.i.d. case, the invariant density $\beta$6 is given by (Suzuki, 2023): $\beta$7 In the Bernoulli finite-map setting, $\beta$8 and its derivatives with respect to probabilities depend analytically (linear response) on the randomization.

For non-i.i.d. or perturbed deterministic settings (e.g., strongly expanding or small perturbations of a non-simple base), existence and uniqueness results are deduced via operator invertibility and explicit series representations (Suzuki, 2023).

4. Dynamical and Symbolic Properties

The orbit structure of $\beta$9 is determined by admissibility of greedy expansions, governed by the lexicographical constraint relative to the expansion of 1. The $$T_\beta : [0,1) \rightarrow [0,1),\quad T_\beta(x) = \beta x - \lfloor \beta x \rfloor.$$0-shift $$T_\beta : [0,1) \rightarrow [0,1),\quad T_\beta(x) = \beta x - \lfloor \beta x \rfloor.$$1 is the set of all allowed sequences, and $$T_\beta : [0,1) \rightarrow [0,1),\quad T_\beta(x) = \beta x - \lfloor \beta x \rfloor.$$2 is isomorphic to the left shift restricted to $$T_\beta : [0,1) \rightarrow [0,1),\quad T_\beta(x) = \beta x - \lfloor \beta x \rfloor.$$3 (Glazunov, 2011).

For $$T_\beta : [0,1) \rightarrow [0,1),\quad T_\beta(x) = \beta x - \lfloor \beta x \rfloor.$$4 of integer value, $$T_\beta : [0,1) \rightarrow [0,1),\quad T_\beta(x) = \beta x - \lfloor \beta x \rfloor.$$5 is the full shift; for non-integer Pisot numbers or Parry numbers, $$T_\beta : [0,1) \rightarrow [0,1),\quad T_\beta(x) = \beta x - \lfloor \beta x \rfloor.$$6 often has sofic or finite-type properties. Periodic points of $$T_\beta : [0,1) \rightarrow [0,1),\quad T_\beta(x) = \beta x - \lfloor \beta x \rfloor.$$7 are precisely points with eventually periodic greedy expansions.

Coding and combinatorial complexity are dictated by $$T_\beta : [0,1) \rightarrow [0,1),\quad T_\beta(x) = \beta x - \lfloor \beta x \rfloor.$$8. The number of admissible $$T_\beta : [0,1) \rightarrow [0,1),\quad T_\beta(x) = \beta x - \lfloor \beta x \rfloor.$$9-blocks in $\beta$0 grows asymptotically like $\beta$1 (exponentially), with polynomial deviation in certain Pisot cases. This structure forms the basis for symbolic bifurcations and for studying open systems with holes, escape rates, and dimension theory.

5. Open Systems, Survivor Sets, and Holes

For $\beta$2-transformations with a hole, i.e., removal of an interval $\beta$3, the survivor set

$\beta$4

defines the points whose orbits never visit the hole.

The Hausdorff dimension function $\beta$5 is a Devil's staircase: non-increasing, constant on many intervals, with discontinuities at a Cantor-like set. The critical value $\beta$6, marking the threshold above which no survivor set has positive dimension, has a canonical symbolic description via extended Farey words and substitutions, and is given, in almost all intervals, by explicit periodic expansions (Allaart et al., 2024, Allaart et al., 2021). The structure of $\beta$7, the bifurcation set, and the corresponding dimension phenomena admit full combinatorial classification.

For open systems with holes not at zero, or with more general holes, similar combinatorial techniques using extremal pairs of balanced words and Farey descendants characterize the minimal condition for the existence and cardinality (countable, uncountable) of the survivor sets, as well as the set of "bad periods" (periods with no surviving orbits) (Clark, 2014).

6. Extensions: Random Walks, Alternate Bases, and Sierpiński Dynamics

Random-walk adic extensions of $\beta$8-transformations involve skew-products with group-valued cocycles. These systems are infinite-measure-preserving, conservative, ergodic, and exhibit distributional stability and bounded-rational ergodicity, as established via asymptotics of local-limit theorems and explicit combinatorics of cylinder-sets (Bromberg, 2015).

Alternate-base greedy and lazy $\beta$9-transformations, where the digit expansion alternates between multiple bases $I_k = [k/\beta, (k+1)/\beta)$0, admit unique absolutely continuous invariant measures relative to the $I_k = [k/\beta, (k+1)/\beta)$1-fold Lebesgue measure, are ergodic, and have metric entropy $I_k = [k/\beta, (k+1)/\beta)$2. Frequency formulas for digits and explicit isomorphism constructions connect these systems to standard $I_k = [k/\beta, (k+1)/\beta)$3-shifts (Charlier et al., 2021).

Dynamical systems on Sierpiński gaskets driven by $I_k = [k/\beta, (k+1)/\beta)$4-transformations (for $I_k = [k/\beta, (k+1)/\beta)$5) exhibit rich random, greedy, and lazy expansion behaviors in higher dimensions, unique maximal-entropy measures, and explicit phase transitions in topological structure as $I_k = [k/\beta, (k+1)/\beta)$6 varies (Zhang et al., 2022).

7. Applications and Asymptotics

Sharp asymptotics for $I_k = [k/\beta, (k+1)/\beta)$7 provide quantitative decay rates for correlations, determine statistical properties of $I_k = [k/\beta, (k+1)/\beta)$8-expansions, and establish the precise role of boundary data (e.g., $I_k = [k/\beta, (k+1)/\beta)$9) in first-order corrections for convergence to equilibrium (Cornean et al., 24 Feb 2025).

Absolutely continuous measures for random $k = 0,\dots,\lfloor\beta\rfloor$0-systems determine explicit digit statistics and error distributions in randomized expansions, with analytic dependence on parameters in the Bernoulli case, and explicit linear response (Suzuki, 2023).

The Devil's staircase and symbolic combinatorics in open $k = 0,\dots,\lfloor\beta\rfloor$1-systems connect with entropy plateaus, dimension theory, and bifurcation analysis. These results link the fine-scale symbolic and fractal structure to ergodic-theoretic and measure-theoretic phenomena.

---

Table: Invariant Measures in Deterministic and Random $k = 0,\dots,\lfloor\beta\rfloor$2-Systems

System Type	Invariant Density (acim)	Source
Deterministic	$k = 0,\dots,\lfloor\beta\rfloor$3, $k = 0,\dots,\lfloor\beta\rfloor$4 explicit (Parry), piecewise	(Cornean et al., 24 Feb 2025, Glazunov, 2011)
Random i.i.d.	$k = 0,\dots,\lfloor\beta\rfloor$5	(Suzuki, 2023)
Random Non-i.i.d.	$k = 0,\dots,\lfloor\beta\rfloor$6 via series with coefficients solving $k = 0,\dots,\lfloor\beta\rfloor$7	(Suzuki, 2023)
Quadratic Parry	Piecewise-affine $k = 0,\dots,\lfloor\beta\rfloor$8, eigenfunctions $k = 0,\dots,\lfloor\beta\rfloor$9	(Cornean et al., 24 Feb 2025)
Alternate Base	$T_\beta$0 on $T_\beta$1, density constant in each fiber	(Charlier et al., 2021)

The explicit construction of invariant densities underlies analysis of ergodic properties, statistical asymptotics, and the spectral profile of transfer operators.

---

References:

• (Cornean et al., 24 Feb 2025): Sharp iteration asymptotics for transfer operators induced by greedy $T_\beta$2-expansions
• (Suzuki, 2023): Absolutely continuous invariant measures for random dynamical systems of beta-transformations
• (Allaart et al., 2021, Allaart et al., 2024): Critical values and full theory for the $T_\beta$3-transformation with a hole
• (Glazunov, 2011): Transformations, Dynamics and Complexity
• (Bromberg, 2015): Ergodic Properties of the Random Walk Adic Transformation over the Beta Transformation
• (Charlier et al., 2021): Dynamical behavior of alternate base expansions
• (Zhang et al., 2022): Random $T_\beta$4-transformation on fat Sierpiński gasket