Related papers: Dynamics of $\lambda$-continued fractions and $\be…
The beta transformation is the iterated map $\beta x\,\mod1$; it generates the base-$\beta$ expansion of a real number x. Every iterated piece-wise monotonic map is topologically conjugate to the beta transformation. For all but a countable…
The $\beta$-shift is the transformation from the unit interval to itself that maps $x$ to the fractional part of $\beta x$. Permutations realized by the relative order of the elements in the orbits of these maps have been studied for…
For any beta-shift $(X_\beta,\sigma)$ on two symbols, i.e., the symbolic coding of the beta-map for $1<\beta\leq2$, we give an exact formula for the Hausdorff dimension $\dim_{H} \Lambda_{\alpha(t)}$ as a function of $t\in\mathbb{R}$, where…
In this work we provide alternative formulations of the concepts of lambda theory and extensional theory without introducing the notion of substitution and the sets of all, free and bound variables occurring in a term. We also clarify the…
Given $\beta>1$ and $\alpha\in[0,1)$, let $T_{\beta, \alpha}(x)=\beta x+\alpha\pmod 1$. Then under the map $T_{\beta,\alpha}$ each $x\in[0,1]$ has an \emph{intermediate $\beta$-expansion} of the form…
In this paper we consider a class of continued fraction expansions: the so-called $N$-expansions with a finite digit set, where $N\geq 2$ is an integer. These \emph{$N$-expansions with a finite digit set} were introduced in [KL,L], and…
Given a real number $ \beta > 1$, we study the associated $ (-\beta)$-shift introduced by S. Ito and T. Sadahiro. We compares some aspects of the $(-\beta)$-shift to the $\beta$-shift. When the expansion in base $ -\beta $ of $…
Delimited control operator shift0 exhibits versatile capabilities: it can express layered monadic effects, or equivalently, algebraic effects. Little did we know it can express lambda calculus too! We present $ \Lambda_\$ $, a call-by-value…
We introduce a family of maps generating continued fractions where the digit $1$ in the numerator is replaced cyclically by some given non-negative integers $(N_1,\ldots,N_m)$. We prove the convergence of the given algorithm, and study the…
Zaremba's conjecture concerns a formation of continued fraction expansions for rational numbers with partial quotient bounded by an absolute constant. We present asymptotic estimates for the size of $\epsilon$-thickening of certain fractal…
Consider $\beta > 1$ and $\lfloor \beta \rfloor$ its integer part. It is widely known that any real number $\alpha \in \Bigl[0, \frac{\lfloor \beta \rfloor}{\beta - 1}\Bigr]$ can be represented in base $\beta$ using a development in series…
The algebraic $\lambda$-calculus is an extension of the ordinary $\lambda$-calculus with linear combinations of terms. We establish that two ordinary $\lambda$-terms are equivalent in the algebraic $\lambda$-calculus iff they are…
This survey paper is aimed to describe a relatively new branch of symbolic dynamics which we call Arithmetic Dynamics. It deals with explicit arithmetic expansions of reals and vectors that have a "dynamical" sense. This means precisely…
This is a short description of graphic lambda calculus, with special emphasis on a duality suggested by the two different appearances of knot diagrams, in lambda calculus and emergent algebra sectors of the graphic lambda calculus…
We show that for a fixed integer $n \neq \pm2$, the congruence $x^2 + nx \pm 1 \equiv 0 \pmod{\alpha}$ has the solution $\beta$ with $0 < \beta < \alpha$ if and only if $\alpha/\beta$ has a continued fraction expansion with sequence of…
We describe a general method of arithmetic coding of geodesics on the modular surface based on a two parameter family of continued fraction transformations studied previously by the authors. The finite rectangular structure of the…
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 $\beta$ and the greedy $\beta$-transformation. In this paper, we consider different…
In this paper we construct a correspondence between the parameter spaces of two families of one-dimensional dynamical systems, the alpha-continued fraction transformations T_alpha and unimodal maps. This correspondence identifies…
We consider the distribution of the orbits of the number 1 under the $\beta$-transformations $T_\beta$ as $\beta$ varies. Mainly, the size of the set of $\beta>1$ for which a given point can be well approximated by the orbit of 1 is…
We show that for any $\lambda \in \mathbb{C}$ with $|\lambda|<1$ there exists an analytic expanding circle map such that the eigenvalues of the associated transfer operator (acting on holomorphic functions) are precisely the nonnegative…