-
Dimension of Besicovitch-Eggleston sets for non-autonomous systems with countable symbolic dynamics
Authors:
Jonny Imbierski,
Charlene Kalle
Abstract:
In this article we derive a formula for the Hausdorff dimension of Besicovitch-Eggleston level sets associated with non-autonomous dynamics constructed from families of countable affine iterated function systems. The formula obtained shows that the universal-lower-bound phenomenon present in the autonomous case studied by Fan et al. (2010) persists in this non-autonomous setting.
In this article we derive a formula for the Hausdorff dimension of Besicovitch-Eggleston level sets associated with non-autonomous dynamics constructed from families of countable affine iterated function systems. The formula obtained shows that the universal-lower-bound phenomenon present in the autonomous case studied by Fan et al. (2010) persists in this non-autonomous setting.
△ Less
Submitted 2 June, 2025;
originally announced June 2025.
-
A finiteness condition for complex continued fraction algorithms
Authors:
Charlene Kalle,
Fanni M. Sélley,
Jörg M. Thuswaldner
Abstract:
It is desirable that a given continued fraction algorithm is simple in the sense that the possible representations can be characterized in an easy way. In this context the so-called finite range condition plays a prominent role. We show that this condition holds for complex $\boldsymbolα$-Hurwitz algorithms with parameters $\boldsymbolα\in\mathbb{Q}^2$. This is equivalent to the existence of certa…
▽ More
It is desirable that a given continued fraction algorithm is simple in the sense that the possible representations can be characterized in an easy way. In this context the so-called finite range condition plays a prominent role. We show that this condition holds for complex $\boldsymbolα$-Hurwitz algorithms with parameters $\boldsymbolα\in\mathbb{Q}^2$. This is equivalent to the existence of certain finite partitions related to these algorithms and lies at the root of explorations into their Diophantine properties. Our result provides a partial answer to a recent question formulated by Lukyanenko and Vandehey.
△ Less
Submitted 10 December, 2024; v1 submitted 26 June, 2024;
originally announced June 2024.
-
Dimensions of infinitely generated self-affine sets and restricted digit sets for signed Lüroth expansions
Authors:
S. van Golden,
C. Kalle,
S. Kombrink,
T. Samuel
Abstract:
For countably infinite IFSs on $\mathbb R^2$ consisting of affine contractions with diagonal linear parts, we give conditions under which the affinity dimension is an upper bound for the Hausdorff dimension and a lower bound for the lower box-counting dimension. Moreover, we identify a family of countably infinite IFSs for which the Hausdorff and affinity dimension are equal, and which have full d…
▽ More
For countably infinite IFSs on $\mathbb R^2$ consisting of affine contractions with diagonal linear parts, we give conditions under which the affinity dimension is an upper bound for the Hausdorff dimension and a lower bound for the lower box-counting dimension. Moreover, we identify a family of countably infinite IFSs for which the Hausdorff and affinity dimension are equal, and which have full dimension spectrum. The corresponding self-affine sets are related to restricted digit sets for signed Lüroth expansions.
△ Less
Submitted 16 April, 2024;
originally announced April 2024.
-
Constructions of normal numbers with infinitely many digits
Authors:
Aafko Boonstra,
Charlene Kalle
Abstract:
Let $L=(L_d)_{d \in \mathbb N}$ be any ordered probability sequence, i.e., satisfying $0 < L_{d+1} \le L_d$ for each $d \in \mathbb N$ and $\sum_{d \in \mathbb N} L_d =1$. We construct sequences $A = (a_i)_{i \in \mathbb N}$ on the countably infinite alphabet $\mathbb N$ in which each possible block of digits $α_1, \ldots, α_k \in \mathbb N$, $k \in \mathbb N$, occurs with frequency…
▽ More
Let $L=(L_d)_{d \in \mathbb N}$ be any ordered probability sequence, i.e., satisfying $0 < L_{d+1} \le L_d$ for each $d \in \mathbb N$ and $\sum_{d \in \mathbb N} L_d =1$. We construct sequences $A = (a_i)_{i \in \mathbb N}$ on the countably infinite alphabet $\mathbb N$ in which each possible block of digits $α_1, \ldots, α_k \in \mathbb N$, $k \in \mathbb N$, occurs with frequency $\prod_{d=1}^k L_{α_d}$. In other words, we construct $L$-normal sequences. These sequences can then be projected to normal numbers in various affine number systems, such as real numbers $x \in [0,1]$ that are normal in GLS number systems that correspond to the sequence $L$ or higher dimensional variants. In particular, this construction provides a family of numbers that have a normal Lüroth expansion.
△ Less
Submitted 22 February, 2024;
originally announced February 2024.
-
Birkhoff spectrum for diagonally self-affine sets and digit frequencies for GLS systems with redundancy
Authors:
Jonny Imbierski,
Charlene Kalle,
Reza Mohammadpour
Abstract:
In this article, we calculate the Birkhoff spectrum in terms of the Hausdorff dimension of level sets for Birkhoff averages of continuous potentials for a certain family of diagonally affine IFS's. Also, we study Besicovitch-Eggleston sets for finite GLS number systems with redundancy. The redundancy refers to the fact that each number $x \in [0,1]$ has uncountably many expansions in the system. W…
▽ More
In this article, we calculate the Birkhoff spectrum in terms of the Hausdorff dimension of level sets for Birkhoff averages of continuous potentials for a certain family of diagonally affine IFS's. Also, we study Besicovitch-Eggleston sets for finite GLS number systems with redundancy. The redundancy refers to the fact that each number $x \in [0,1]$ has uncountably many expansions in the system. We determine the Hausdorff dimension of digit frequency sets for such expansions along fibres.
△ Less
Submitted 24 November, 2024; v1 submitted 23 October, 2023;
originally announced October 2023.
-
Rational approximation with generalised $α$-Lüroth expansions
Authors:
Yan Huang,
Charlene Kalle
Abstract:
For a fixed $α$, each real number $x \in (0,1)$ can be represented by many different generalised $α$-Lüroth expansions. Each such expansion produces for the number $x$ a sequence of rational approximations $(\frac{p_n}{q_n})_{n \ge 1}$. In this paper we study the corresponding approximation coefficients $(θ_n(x))_{n \ge 1}$, which are given by \[ θ_n (x): = q_n \left|x-\frac{p_n}{q_n}\right|.\] We…
▽ More
For a fixed $α$, each real number $x \in (0,1)$ can be represented by many different generalised $α$-Lüroth expansions. Each such expansion produces for the number $x$ a sequence of rational approximations $(\frac{p_n}{q_n})_{n \ge 1}$. In this paper we study the corresponding approximation coefficients $(θ_n(x))_{n \ge 1}$, which are given by \[ θ_n (x): = q_n \left|x-\frac{p_n}{q_n}\right|.\] We give the cumulative distribution function and the expected average value of the $θ_n$ and we identify which generalised $α$-Lüroth expansion gives the best approximation properties. We also analyse the structure of the set $\mathcal M_α$ of possible values that the expected average value of $θ_n$ can take, thus answering a question from \cite{Barrionuevo-Burton-Dajani-Kraaikamp-1994}.
△ Less
Submitted 21 June, 2023;
originally announced June 2023.
-
Pseudo-random number generation with $β$-encoders
Authors:
Charlene Kalle,
Evgeny Verbitskiy,
Benthen Zeegers
Abstract:
The $β$-encoder is an analog circuit that converts an input signal $x \in [0,1]$ into a finite bit stream $\{b_i\}$. The bits $\{b_i\}$ are correlated and therefore are not immediately suitable for random number generation, but they can be used to generate bits $\{a_i\}$ that are (nearly) uniformly distributed. In this article we study two such methods. In the first part the bits $\{a_i\}$ are def…
▽ More
The $β$-encoder is an analog circuit that converts an input signal $x \in [0,1]$ into a finite bit stream $\{b_i\}$. The bits $\{b_i\}$ are correlated and therefore are not immediately suitable for random number generation, but they can be used to generate bits $\{a_i\}$ that are (nearly) uniformly distributed. In this article we study two such methods. In the first part the bits $\{a_i\}$ are defined as the digits of the base-2 representation of the original input $x$. Under the assumption that there is no noise in the amplifier we then study a question posed by Jitsumatsu and Matsumura on how many bits $b_1, \ldots, b_m$ are needed to correctly determine the first $n$ bits $a_1,\ldots,a_n$. In the second part we show this method fails for random amplification factors. Nevertheless, even in this case, nearly uniformly distributed bits can still be generated from $b_1,\ldots,b_m$ using modern cryptographic techniques.
△ Less
Submitted 23 March, 2023;
originally announced March 2023.
-
Rational approximations, multidimensional continued fractions and lattice reduction
Authors:
Valerie Berthé,
Karma Dajani,
Charlene Kalle,
Ela Krawczyk,
Hamide Kuru,
Andrea Thevis
Abstract:
We first survey the current state of the art concerning the dynamical properties of multidimensional continued fraction algorithms defined dynamically as piecewise fractional maps and compare them with algorithms based on lattice reduction. We discuss their convergence properties and the quality of the rational approximation, and stress the interest for these algorithms to be obtained by iterating…
▽ More
We first survey the current state of the art concerning the dynamical properties of multidimensional continued fraction algorithms defined dynamically as piecewise fractional maps and compare them with algorithms based on lattice reduction. We discuss their convergence properties and the quality of the rational approximation, and stress the interest for these algorithms to be obtained by iterating dynamical systems. We then focus on an algorithm based on the classical Jacobi--Perron algorithm involving the nearest integer part. We describe its Markov properties and we suggest a possible procedure for proving the existence of a finite ergodic invariant measure absolutely continuous with respect to Lebesgue measure.
△ Less
Submitted 14 March, 2023;
originally announced March 2023.
-
Iterated function systems of affine expanding and contracting maps on the unit interval
Authors:
Ale Jan Homburg,
Charlene Kalle
Abstract:
We analyze the two-point motions of iterated function systems on the unit interval generated by expanding and contracting affine maps, where the expansion and contraction rates are determined by a pair $(M,N)$ of integers.
This dynamics depends on the Lyapunov exponent. For a negative Lyapunov exponent we establish synchronization, meaning convergence of orbits with different initial points. For…
▽ More
We analyze the two-point motions of iterated function systems on the unit interval generated by expanding and contracting affine maps, where the expansion and contraction rates are determined by a pair $(M,N)$ of integers.
This dynamics depends on the Lyapunov exponent. For a negative Lyapunov exponent we establish synchronization, meaning convergence of orbits with different initial points. For a vanishing Lyapunov exponent we establish intermittency, where orbits are close for a set of iterates of full density, but are intermittently apart. For a positive Lyapunov exponent we show the existence of an absolutely continuous stationary measure for the two-point dynamics and discuss its consequences.
For nonnegative Lyapunov exponent and pairs $(M,N)$ that are multiplicatively dependent integers, we provide explicit expressions for absolutely continuous stationary measures of the two-point motions. These stationary measures are infinite $σ$-finite measures in the case of zero Lyapunov exponent. For varying Lyapunov exponent we find here a phase transition for the system of two-point motions, in which the support of the stationary measure explodes with intermittent dynamics and an infinite stationary measure at the transition point.
△ Less
Submitted 20 July, 2022;
originally announced July 2022.
-
Decay of correlations for critically intermittent systems
Authors:
Charlene Kalle,
Benthen Zeegers
Abstract:
For a family of random intermittent dynamical systems with a superattracting fixed point we prove that a phase transition occurs between the existence of an absolutely continuous invariant probability measure and infinite measure depending on the randomness parameters and the orders of the maps at the superattracting fixed point. In case the systems have an absolutely continuous invariant probabil…
▽ More
For a family of random intermittent dynamical systems with a superattracting fixed point we prove that a phase transition occurs between the existence of an absolutely continuous invariant probability measure and infinite measure depending on the randomness parameters and the orders of the maps at the superattracting fixed point. In case the systems have an absolutely continuous invariant probability measure, we show that the systems are mixing and that the correlations decay polynomially even though some of the deterministic maps present in the system have exponential decay. This contrasts other known results, where random systems adopt the best decay rate of the deterministic maps in the systems.
△ Less
Submitted 15 June, 2022;
originally announced June 2022.
-
Random Lochs' Theorem
Authors:
Charlene Kalle,
Evgeny Verbitskiy,
Benthen Zeegers
Abstract:
In 1964 Lochs proved a theorem on the number of continued fraction digits of a real number $x$ that can be determined from just knowing its first $n$ decimal digits. In 2001 this result was generalised to a dynamical systems setting by Dajani and Fieldsteel, where it compares sizes of cylinder sets for different transformations. In this article we prove a version of Lochs' Theorem for random dynam…
▽ More
In 1964 Lochs proved a theorem on the number of continued fraction digits of a real number $x$ that can be determined from just knowing its first $n$ decimal digits. In 2001 this result was generalised to a dynamical systems setting by Dajani and Fieldsteel, where it compares sizes of cylinder sets for different transformations. In this article we prove a version of Lochs' Theorem for random dynamical systems as well as a corresponding Central Limit Theorem. The main ingredient for the proof is an estimate on the asymptotic size of the cylinder sets of the random system in terms of the fiber entropy. To compute this entropy we provide a random version of Rokhlin's formula for entropy.
△ Less
Submitted 27 October, 2021;
originally announced October 2021.
-
Invariant densities for random continued fractions
Authors:
Charlene Kalle,
Valentin Matache,
Masato Tsujii,
Evgeny Verbitskiy
Abstract:
We continue the study of random continued fraction expansions, generated by random application of the Gauss and the Rényi backward continued fraction maps. We show that this random dynamical system admits a unique absolutely continuous invariant measure with smooth density.
We continue the study of random continued fraction expansions, generated by random application of the Gauss and the Rényi backward continued fraction maps. We show that this random dynamical system admits a unique absolutely continuous invariant measure with smooth density.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
-
Critical intermittency in random interval maps
Authors:
Ale Jan Homburg,
Charlene Kalle,
Marks Ruziboev,
Evgeny Verbitskiy,
Benthen Zeegers
Abstract:
Critical intermittency stands for a type of intermittent dynamics in iterated function systems, caused by an interplay of a superstable fixed point and a repelling fixed point. We consider critical intermittency for iterated function systems of interval maps and demonstrate the existence of a phase transition when varying probabilities, where the absolutely continuous stationary measure changes be…
▽ More
Critical intermittency stands for a type of intermittent dynamics in iterated function systems, caused by an interplay of a superstable fixed point and a repelling fixed point. We consider critical intermittency for iterated function systems of interval maps and demonstrate the existence of a phase transition when varying probabilities, where the absolutely continuous stationary measure changes between finite and infinite. We discuss further properties of this stationary measure and show that its density is not in $L^q$ for any $q > 1$. This provides a theory of critical intermittency alongside the theory for the well studied Manneville-Pomeau maps, where the intermittency is caused by a neutral fixed point.
△ Less
Submitted 6 July, 2021;
originally announced July 2021.
-
On approximation by random Lüroth expansions
Authors:
Charlene Kalle,
Marta Maggioni
Abstract:
We introduce a family of random $c$-Lüroth transformations $\{L_c\}_{c \in [0, \frac12]}$, obtained by randomly combining the standard and alternating Lüroth maps with probabilities $p$ and $1-p$, $0 < p < 1$, both defined on the interval $[c,1]$. We prove that the pseudo-skew product map $L_c$ produces for each $c \le \frac25$ and for Lebesgue almost all $x \in [c,1]$ uncountably many different g…
▽ More
We introduce a family of random $c$-Lüroth transformations $\{L_c\}_{c \in [0, \frac12]}$, obtained by randomly combining the standard and alternating Lüroth maps with probabilities $p$ and $1-p$, $0 < p < 1$, both defined on the interval $[c,1]$. We prove that the pseudo-skew product map $L_c$ produces for each $c \le \frac25$ and for Lebesgue almost all $x \in [c,1]$ uncountably many different generalised Lüroth expansions that can be investigated simultaneously. Moreover, for $c= \frac1{\ell}$, for $\ell \in \mathbb{N}_{\geq 3} \cup \{\infty\}$, Lebesgue almost all $x$ have uncountably many universal generalised Lüroth expansions with digits less than or equal to $\ell$. For $c=0$ we show that typically the speed of convergence to an irrational number $x$, of the sequence of Lüroth approximants generated by $L_0$, is equal to that of the standard Lüroth approximants; and that the quality of the approximation coefficients depends on $p$ and varies continuously between the values for the alternating and the standard Lüroth map. Furthermore, we show that for each $c \in \mathbb Q$ the map $L_c$ admits a Markov partition. For specific values of $c>0$, we compute the density of the stationary measure and we use it to study the typical speed of convergence of the approximants and the digit frequencies.
△ Less
Submitted 6 January, 2021;
originally announced January 2021.
-
Matching for random systems with an application to minimal weight expansions
Authors:
Karma Dajani,
Charlene Kalle,
Marta Maggioni
Abstract:
We extend the notion of matching for one-dimensional dynamical systems to random matching for random dynamical systems on an interval. We prove that for a large family of piecewise affine random systems of the interval the property of random matching implies that any invariant density is piecewise constant. We further introduce a one-parameter family of random dynamical systems that produce signed…
▽ More
We extend the notion of matching for one-dimensional dynamical systems to random matching for random dynamical systems on an interval. We prove that for a large family of piecewise affine random systems of the interval the property of random matching implies that any invariant density is piecewise constant. We further introduce a one-parameter family of random dynamical systems that produce signed binary expansions of numbers in the interval [-1,1]. This family has random matching for Lebesgue almost every parameter. We use this to prove that the frequency of the digit 0 in the associated signed binary expansions never exceeds 1/2.
△ Less
Submitted 10 August, 2020;
originally announced August 2020.
-
Matching for a family of infinite measure continued fraction transformations
Authors:
Charlene Kalle,
Niels Langeveld,
Marta Maggioni,
Sara Munday
Abstract:
As a natural counterpart to Nakada's $α$-continued fraction maps, we study a one-parameter family of continued fraction transformations with an indifferent fixed point. We prove that matching holds for Lebesgue almost every parameter in this family and that the exceptional set has Hausdorff dimension 1. Due to this matching property, we can construct a planar version of the natural extension for a…
▽ More
As a natural counterpart to Nakada's $α$-continued fraction maps, we study a one-parameter family of continued fraction transformations with an indifferent fixed point. We prove that matching holds for Lebesgue almost every parameter in this family and that the exceptional set has Hausdorff dimension 1. Due to this matching property, we can construct a planar version of the natural extension for a large part of the parameter space. We use this to obtain an explicit expression for the density of the unique infinite $σ$-finite absolutely continuous invariant measure and to compute the Krengel entropy, return sequence and wandering rate of the corresponding maps.
△ Less
Submitted 23 December, 2019;
originally announced December 2019.
-
Invariant densities for random systems of the interval
Authors:
Charlene Kalle,
Marta Maggioni
Abstract:
For random piecewise linear systems T of the interval that are expanding on average we construct explicitly the density functions of absolutely continuous T-invariant measures. In case the random system uses only expanding maps our procedure produces all invariant densities of the system. Examples include random tent maps, random W-shaped maps, random $β$-transformations and random Lüroth maps wit…
▽ More
For random piecewise linear systems T of the interval that are expanding on average we construct explicitly the density functions of absolutely continuous T-invariant measures. In case the random system uses only expanding maps our procedure produces all invariant densities of the system. Examples include random tent maps, random W-shaped maps, random $β$-transformations and random Lüroth maps with a hole.
△ Less
Submitted 10 August, 2020; v1 submitted 29 May, 2018;
originally announced May 2018.
-
The $β$-transformation with a hole at 0
Authors:
Charlene Kalle,
Derong Kong,
Niels Langeveld,
Wenxia Li
Abstract:
For $β\in(1,2]$ the $β$-transformation $T_β: [0,1) \to [0,1)$ is defined by $T_β( x) = βx \pmod 1$. For $t\in[0, 1)$ let $K_β(t)$ be the survivor set of $T_β$ with hole $(0,t)$ given by \[K_β(t):=\{x\in[0, 1): T_β^n(x)\not \in (0, t) \textrm{ for all }n\ge 0\}.\] In this paper we characterise the bifurcation set $E_β$ of all parameters $t\in[0,1)$ for which the set valued function…
▽ More
For $β\in(1,2]$ the $β$-transformation $T_β: [0,1) \to [0,1)$ is defined by $T_β( x) = βx \pmod 1$. For $t\in[0, 1)$ let $K_β(t)$ be the survivor set of $T_β$ with hole $(0,t)$ given by \[K_β(t):=\{x\in[0, 1): T_β^n(x)\not \in (0, t) \textrm{ for all }n\ge 0\}.\] In this paper we characterise the bifurcation set $E_β$ of all parameters $t\in[0,1)$ for which the set valued function $t\mapsto K_β(t)$ is not locally constant. We show that $E_β$ is a Lebesgue null set of full Hausdorff dimension for all $β\in(1,2)$. We prove that for Lebesgue almost every $β\in(1,2)$ the bifurcation set $E_β$ contains both infinitely many isolated and accumulation points arbitrarily close to zero. On the other hand, we show that the set of $β\in(1,2)$ for which $E_β$ contains no isolated points has zero Hausdorff dimension. These results contrast with the situation for $E_2$, the bifurcation set of the doubling map. Finally, we give for each $β\in (1,2)$ a lower and upper bound for the value $τ_β$, such that the Hausdorff dimension of $K_β(t)$ is positive if and only if $t< τ_β$. We show that $τ_β\le 1-\frac1β$ for all $β\in (1,2)$.
△ Less
Submitted 20 March, 2018;
originally announced March 2018.
-
Singular non-Pisot Bernoulli convolutions
Authors:
Karma Dajani,
Charlene Kalle
Abstract:
We identify a family of numbers for which the Bernoulli convolution is singular. Within this family we find two countable collections of Salem numbers in the interval $(1,2)$, and another Salem number and an algebraic integer that is neither Pisot nor Salem in $(1,2)$. It also contains a non-Pisot, non-Salem algebraic number bigger than 3. Hence, we provide the first new explicit examples of singu…
▽ More
We identify a family of numbers for which the Bernoulli convolution is singular. Within this family we find two countable collections of Salem numbers in the interval $(1,2)$, and another Salem number and an algebraic integer that is neither Pisot nor Salem in $(1,2)$. It also contains a non-Pisot, non-Salem algebraic number bigger than 3. Hence, we provide the first new explicit examples of singular Bernoulli convolutions since the work of Erdős in 1939.
△ Less
Submitted 21 August, 2017; v1 submitted 18 August, 2017;
originally announced August 2017.
-
Invariant measures, matching and the frequency of 0 for signed binary expansions
Authors:
Karma Dajani,
Charlene Kalle
Abstract:
We introduce a parametrised family of maps $\{S_η\}_{η\in [1,2]}$, called symmetric doubling maps, defined on $[-1,1]$ by $S_η(x)=2x-dη$, where $d\in \{-1,0,1 \}$. Each map $S_η$ generates binary expansions with digits $-1$, 0 and 1. We study the frequency of the digit 0 in typical expansions as a function of the parameter $η$. The transformations $S_η$ have a natural ergodic invariant measure…
▽ More
We introduce a parametrised family of maps $\{S_η\}_{η\in [1,2]}$, called symmetric doubling maps, defined on $[-1,1]$ by $S_η(x)=2x-dη$, where $d\in \{-1,0,1 \}$. Each map $S_η$ generates binary expansions with digits $-1$, 0 and 1. We study the frequency of the digit 0 in typical expansions as a function of the parameter $η$. The transformations $S_η$ have a natural ergodic invariant measure $μ_η$ that is absolutely continuous with respect to Lebesgue measure. The frequency of the digit 0 is related to the measure $μ_η([-\frac12,\frac12])$ by the Ergodic Theorem. We show that the density of $μ_η$ is piecewise smooth except for a set of parameters of zero Lebesgue measure and full Hausdorff dimension and give a full description of the structure of the maximal parameter intervals on which the density is piecewise smooth. We give an explicit formula for the frequency of the digit 0 in typical signed binary expansions on each of these parameter intervals and show that this frequency depends continuously on the parameter $η$. Moreover, it takes the value $\frac23$ only on the interval $\big[ \frac65, \frac32\big]$ and it is strictly less than $\frac23$ on the remainder of the parameter space.
△ Less
Submitted 11 March, 2019; v1 submitted 18 March, 2017;
originally announced March 2017.
-
On the bifurcation set of unique expansions
Authors:
Charlene Kalle,
Derong Kong,
Wenxia Li,
Fan Lü
Abstract:
Given a positive integer $M$, for $q\in(1, M+1]$ let ${\mathcal{U}}_q$ be the set of $x\in[0, M/(q-1)]$ having a unique $q$-expansion with the digit set $\{0, 1,\ldots, M\}$, and let $\mathbf{U}_q$ be the set of corresponding $q$-expansions. Recently, Komornik et al.~(Adv. Math., 2017) showed that the topological entropy function $H: q \mapsto h_{top}(\mathbf{U}_q)$ is a Devil's staircase in…
▽ More
Given a positive integer $M$, for $q\in(1, M+1]$ let ${\mathcal{U}}_q$ be the set of $x\in[0, M/(q-1)]$ having a unique $q$-expansion with the digit set $\{0, 1,\ldots, M\}$, and let $\mathbf{U}_q$ be the set of corresponding $q$-expansions. Recently, Komornik et al.~(Adv. Math., 2017) showed that the topological entropy function $H: q \mapsto h_{top}(\mathbf{U}_q)$ is a Devil's staircase in $(1, M+1]$. Let $\mathcal{B}$ be the bifurcation set of $H$ defined by
\[
\mathcal{B}=\{q\in(1, M+1]: H(p)\ne H(q)\quad\textrm{for any}\quad p\ne q\}.
\]
In this paper we analyze the fractal properties of $\mathcal{B}$, and show that for any $q\in \mathcal{B}$,
\[
\lim_{δ\rightarrow 0} \dim_H(\mathcal{B}\cap(q-δ, q+δ))=\dim_H\mathcal{U}_q,
\] where $\dim_H$ denotes the Hausdorff dimension. Moreover, when $q\in\mathcal{B}$ the univoque set $\mathcal{U}_q$ is dimensionally homogeneous, i.e., $
\dim_H(\mathcal{U}_q\cap V)=\dim_H\mathcal{U}_q $ for any open set $V$ that intersect $\mathcal{U}_q$.
As an application we obtain a dimensional spectrum result for the set $\mathcal{U}$ containing all bases $q\in(1, M+1]$ such that $1$ admits a unique $q$-expansion. In particular, we prove that for any $t>1$ we have \[
\dim_H(\mathcal{U}\cap(1, t])=\max_{ q\le t}\dim_H\mathcal{U}_q. \] We also consider the variations of the sets $\mathcal{U}=\mathcal{U}(M)$ when $M$ changes.
△ Less
Submitted 11 July, 2018; v1 submitted 23 December, 2016;
originally announced December 2016.
-
Matching for generalised $β$-transformations
Authors:
Henk Bruin,
Carlo Carminati,
Charlene Kalle
Abstract:
We investigate matching for the family $T_α(x) = βx + α\pmod 1$, $α\in [0,1]$, for fixed $β> 1$. Matching refers to the property that there is an $n \in \mathbb N$ such that $T_α^n(0) = T_α^n(1)$. We show that for various Pisot numbers $β$, matching occurs on an open dense set of $α\in [0,1]$ and we compute the Hausdorff dimension of its complement. Numerical evidence shows more cases where matchi…
▽ More
We investigate matching for the family $T_α(x) = βx + α\pmod 1$, $α\in [0,1]$, for fixed $β> 1$. Matching refers to the property that there is an $n \in \mathbb N$ such that $T_α^n(0) = T_α^n(1)$. We show that for various Pisot numbers $β$, matching occurs on an open dense set of $α\in [0,1]$ and we compute the Hausdorff dimension of its complement. Numerical evidence shows more cases where matching is prevalent.
△ Less
Submitted 6 October, 2016;
originally announced October 2016.
-
The random continued fraction transformation
Authors:
Charlene Kalle,
Tom Kempton,
Evgeny Verbitskiy
Abstract:
We introduce a random dynamical system related to continued fraction expansions. It uses random combination of the Gauss map and the Rényi (or backwards) continued fraction map. We explore the continued fraction expansions that this system produces as well as the dynamical properties of the system.
We introduce a random dynamical system related to continued fraction expansions. It uses random combination of the Gauss map and the Rényi (or backwards) continued fraction map. We explore the continued fraction expansions that this system produces as well as the dynamical properties of the system.
△ Less
Submitted 21 July, 2015;
originally announced July 2015.
-
Natural extensions for piecewise affine maps via Hofbauer towers
Authors:
Henk Bruin,
Charlene Kalle
Abstract:
We use canonical Markov extensions (Hofbauer towers) to give an explicit construction of the natural extensions of various measure preserving endomorphisms, and present some applications to particular examples.
We use canonical Markov extensions (Hofbauer towers) to give an explicit construction of the natural extensions of various measure preserving endomorphisms, and present some applications to particular examples.
△ Less
Submitted 23 June, 2013;
originally announced June 2013.
-
Local dimensions for the random beta-transformation
Authors:
Karma Dajani,
Charlene Kalle
Abstract:
The random beta-transformation K is isomorphic to a full shift. This relation gives an invariant measure for K that yields the Bernoulli convolution by projection. We study the local dimension of the invariant measure for K for special values of beta and use the projection to obtain results on the local dimension of the Bernoulli convolution.
The random beta-transformation K is isomorphic to a full shift. This relation gives an invariant measure for K that yields the Bernoulli convolution by projection. We study the local dimension of the invariant measure for K for special values of beta and use the projection to obtain results on the local dimension of the Bernoulli convolution.
△ Less
Submitted 2 November, 2012;
originally announced November 2012.
-
Isomorphisms between positive and negative beta-transformations
Authors:
Charlene Kalle
Abstract:
We compare a piecewise linear map with constant slope beta>1 and a piecewise linear map with constant slope -beta. These maps are called the positive and negative beta-transformations. We show that for a certain set of beta's, the multinacci numbers, there exists a measurable isomorphism between these two maps. We further show that for for all other values of beta between 1 and 2 the two maps cann…
▽ More
We compare a piecewise linear map with constant slope beta>1 and a piecewise linear map with constant slope -beta. These maps are called the positive and negative beta-transformations. We show that for a certain set of beta's, the multinacci numbers, there exists a measurable isomorphism between these two maps. We further show that for for all other values of beta between 1 and 2 the two maps cannot be isomorphic.
△ Less
Submitted 21 March, 2012;
originally announced March 2012.
-
Transformations generating negative $β$-expansions
Authors:
Karma Dajani,
Charlene Kalle
Abstract:
We introduce a family of dynamical systems that generate negative $β$-expansions and study the support of the invariant measure which is absolutely continuous with respect to Lebesgue measure. We give a characterization of the set of digit sequences that is produced by a typical member of this family of transformations. We discuss the meaning of greedy expansions in the negative sense, and show th…
▽ More
We introduce a family of dynamical systems that generate negative $β$-expansions and study the support of the invariant measure which is absolutely continuous with respect to Lebesgue measure. We give a characterization of the set of digit sequences that is produced by a typical member of this family of transformations. We discuss the meaning of greedy expansions in the negative sense, and show that there is no transformation in the introduced family of dynamical systems that generates negative greedy. However, if one looks at random algorithms, then it is possible to define a greedy expansion in base $-β$.
△ Less
Submitted 25 August, 2010;
originally announced August 2010.
-
Beta-expansions, natural extensions and multiple tilings associated with Pisot units
Authors:
Charlene Kalle,
Wolfgang Steiner
Abstract:
From the works of Rauzy and Thurston, we know how to construct (multiple) tilings of some Euclidean space using the conjugates of a Pisot unit $β$ and the greedy $β$-transformation. In this paper, we consider different transformations generating expansions in base $β$, including cases where the associated subshift is not sofic. Under certain mild conditions, we show that they give multiple tilin…
▽ More
From the works of Rauzy and Thurston, we know how to construct (multiple) tilings of some Euclidean space using the conjugates of a Pisot unit $β$ and the greedy $β$-transformation. In this paper, we consider different transformations generating expansions in base $β$, including cases where the associated subshift is not sofic. Under certain mild conditions, we show that they give multiple tilings. We also give a necessary and sufficient condition for the tiling property, generalizing the weak finiteness property (W) for greedy $β$-expansions. Remarkably, the symmetric $β$-transformation does not satisfy this condition when $β$ is the smallest Pisot number or the Tribonacci number. This means that the Pisot conjecture on tilings cannot be extended to the symmetric $β$-transformation. Closely related to these (multiple) tilings are natural extensions of the transformations, which have many nice properties: they are invariant under the Lebesgue measure; under certain conditions, they provide Markov partitions of the torus; they characterize the numbers with purely periodic expansion, and they allow determining any digit in an expansion without knowing the other digits.
△ Less
Submitted 29 January, 2010; v1 submitted 15 July, 2009;
originally announced July 2009.
-
A natural extension for the greedy beta-transformation with three deleted digits
Authors:
Karma Dajani,
Charlene Kalle
Abstract:
We give an explicit expression for the invariant measure, absolutely continuous with respect to the Lebesgue measure, of the greedy beta-transformation with three deleted digits. We define a version of the natural extension of the transformation to obtain this expression. We get that the transformation is exact and weakly Bernoulli.
We give an explicit expression for the invariant measure, absolutely continuous with respect to the Lebesgue measure, of the greedy beta-transformation with three deleted digits. We define a version of the natural extension of the transformation to obtain this expression. We get that the transformation is exact and weakly Bernoulli.
△ Less
Submitted 25 February, 2008;
originally announced February 2008.
-
Two versions of a specific natural extension
Authors:
Karma Dajani,
Charlene Kalle
Abstract:
We give two versions of the natural extension of a specific greedy beta-transformation with deleted digits. We use the natural extension to obtain an explicit expression for the invariant measure, equivalent to the Lebesgue measure, of this beta-transformation.
We give two versions of the natural extension of a specific greedy beta-transformation with deleted digits. We use the natural extension to obtain an explicit expression for the invariant measure, equivalent to the Lebesgue measure, of this beta-transformation.
△ Less
Submitted 1 February, 2008;
originally announced February 2008.
