Related papers: Dynamics of $\lambda$-continued fractions and $\be…
The property of shadowing has been shown to be fundamental in both the theory of symbolic dynamics as well as continuous dynamical systems. A quintessential class of discontinuous dynamical systems are those driven by transitive piecewise…
Given a totally finite ordered alphabet $ A $, endowing the set of words over $ A $ with the alternating lexicographic order, we define a new class of Lyndon words. We study the fundamental properties of the associated symbolic dynamical…
We use precise asymptotic expansions for Jacobi functions $\phi^{(\alpha,\beta)}_\lambda$ parameters $\alpha$, $\beta$ satisfying $\alpha>1/2$, $\alpha>\beta>-1/2$, to generalizing classical H\"ormander-type multiplier theorem for the…
Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's…
It is formulated conditions on functions $Q(x)$ and boundaries of domains under which every $Q$-homeomorphism admits continuous or homeomorphic extension to the boundary in metric spaces with measures.
In this paper we calculate the metric and folding entropies for a family of non-invertible symbolic dynamical systems $(\Sigma_{m_-,m_+}, \sigma_\phi)$ which generalizes the standard bilateral Bernoulli shifts. The space $\Sigma_{m_-,m_+}$…
The inverse square force law admits a conserved vector that lies in the plane of motion. This vector has been associated with the names of Laplace, Runge, and Lenz, among others. Many workers have explored aspects of the symmetry and…
In this paper we establish properties of independence for the continued fraction expansions of two algebraic numbers. Roughly speaking, if the continued fraction expansions of two irrational algebraic numbers have the same long sub-word,…
We introduce the relation ${\rho}_{\lambda}$-orthogonality in the setting of normed spaces as an extension of some orthogonality relations based on norm derivatives, and present some of its essential properties. Among other things, we give…
We give an elementary geometric proof using Ford circles that the convergents of the continued fraction expansion of a real number $\alpha$ coincide with the rationals that are best approximations of the second kind of $\alpha$.
$\lambda$-Scale is an enrichment of lambda calculus which is adapted to emergent algebras. It can be used therefore in metric spaces with dilations.
We will introduce a notion of normal subshifts. A subshift $(\Lambda,\sigma)$ is said to be normal if it satisfies a certain synchronizing property called $\lambda$-synchronizing and is infinite as a set. We have lots of purely infinite…
The formal system $\lambda\delta$ is a typed lambda calculus derived from $\Lambda_\infty$, aiming to support the foundations of Mathematics that require an underlying theory of expressions (for example the Minimal Type Theory). The system…
Consider $m \in \mathbb{N}$ and $\beta \in (1, m + 1]$. Assume that $a\in \mathbb{R}$ can be represented in base $\beta$ using a development in series $a = \sum^{\infty}_{n = 1}x(n)\beta^{-n}$ where the sequence $x = (x(n))_{n \in…
We consider numbers of the form $S_\beta(\boldsymbol{u}):=\sum_{n=0}^\infty \frac{u_n}{\beta^n}$ for $\boldsymbol{u}=\langle u_n \rangle_{n=0}^\infty$ a Sturmian sequence over a binary alphabet and $\beta$ an algebraic number with…
We show a correspondence between simple continued fraction expansions of irrational numbers and irreducible permutative representations of the Cuntz algebra ${\cal O}_{\infty}$. With respect to the correspondence, it is shown that the…
We show that adding recursion does not increase the total functions definable in the typed $\lambda\beta\eta$-calculus or the partial functions definable in the $\lambda\Omega$-calculus. As a consequence, adding recursion does not increase…
Let $f$ be a non-invertible $C^{1+\beta}(\beta>0)$ map with zero Lyapunov exponents and singularities on a closed Riemannian manifold $M$. We consider the symbolic dynamics of $f$. Combining the techniques in recent works of Sarig, Ovadia…
Calculi with control operators have been studied as extensions of simple type theory. Real programming languages contain datatypes, so to really understand control operators, one should also include these in the calculus. As a first step in…
The Dirichlet-to-Neumann maps connect boundary values of harmonic functions. It is an amazing fact that the square of the non-local Dirichlet-to-Neumann map for the uniform conductivity 1 on the unit disc equals minus the local(!) Laplace…