We give the first transcendence results for the Rosen continued fractions. Introduced over half a century ago, these fractions expand real numbers in terms of certain algebraic numbers.
We study a family of generalized continued fractions, which are defined by a pair of substitution sequences in a finite alphabet. We prove that they are stammering sequences, in the sense of Adamczewski and Bugeaud. We also prove that this family consists of transcendental numbers which are not Liouvillian. We explore the partial quotients of their regular continued fraction expansions, arriving at no conclusion concerning their boundedness.
We extend a result of Hančl, Kolouch and Nair on the irrationality and transcendence of continued fractions. We show that for a sequence $\{α_n\}$ of algebraic integers of bounded degree, each attaining the maximum absolute value among their conjugates and satisfying certain growth conditions, the condition $$ \limsup_{n \rightarrow \infty} \vertα_n\vert^{\frac{1}{Dd^{n-1} \prod_{i=1}^{n-2}(Dd^i + 1)}} = \infty $$ implies that the continued fraction $α= [0;α_1, α_2, \dots]$ is not an algebraic number of degree less than or equal to $D$.
We study the values of the recently introduced involution J (jimm) of the real line, which is equivariant with the action of the group PGL(2,Z). We test our conjecture that this involution sends algebraic numbers of degree at least three to transcendental values. We also deduce some theoretical results concerning the continued fraction statistics of the generic values of this involution and compare them with the experimental results.
Euler gave recipes for converting alternating series of two types, I and II, into equivalent continued fractions, i.e., ones whose convergents equal the partial sums. A condition we prove for irrationality of a continued fraction then allows easy proofs that $e,\sin1$, and the primorial constant are irrational. Our main result is that, if a series of type II is equivalent to a simple continued fraction, then the sum is transcendental and its irrationality measure exceeds $2$. We construct all $\aleph_0^{\aleph_0}=\mathfrak{c}$ such series and recover the transcendence of the Davison--Shallit a…
Let $θ$ and $ρ$ be real numbers with $0 \le θ, ρ< 1$ and $θ$ irrational. We show that the Hecke-Mahler series $$ F_{θ, ρ} (z_1, z_2) = \sum_{k_1 \ge 1} \, \sum_{k_2 = 1}^{\lfloor k_1 θ+ ρ\rfloor} \, z_1^{k_1} z_2^{k_2}, $$ where $\lfloor \cdot \rfloor$ denotes the integer part function, takes transcendental values at any algebraic point $(β, α)$ with $0 < |β|, |βα^θ| < 1$. This extends earlier results of Mahler (1929) and Loxton and van der Poorten (1977), who settled the case $ρ=0$. Furthermore, for positive integers $b$ and $a$, with $b \ge 2$ and $a$ congruent to $1$ modulo $b-1$, we give t…
In this article, first we generalize the Thue-Morse sequence $(a(n))_{n=0}^\infty$ (the generalized Thue-Morse sequences) by a cyclic permutation and $k$ -adic expansion of natural numbers, and consider the necessary-sufficient condition that it is non-periodic. Moreover we will show that, if the generalized Thue-Morse sequence is not periodic, then all equally spaced subsequences $(a(N+nl))_{n=0}^\infty$ (where $N \ge 0$ and $l >0$) of the generalized Thue-Morse sequences are not periodic. Finally we apply the criterion of [ABL], [Bu$1$] on transcendental numbers, to find that , for a non per…
In this paper we introduce a generalization of palindromic continued fractions as studied by Adamczewski and Bugeaud. We refer to these generalized palindromes as $m$-palindromes, where $m$ ranges over the positive integers. We provide a simple transcendence criterion for $m$-palindromes, extending and slightly refining an analogous result of Adamczewski and Bugeaud. We also provide methods for constructing examples of $m$-palindromes. Such examples allow us to illustrate our transcendence criterion and to explore the relationship between $m$-palindromes and stammering continued fractions, ano…
The Rosen fractions are an infinite set of continued fraction algorithms, each giving expansions of real numbers in terms of certain algebraic integers. For each, we give a best possible upper bound for the minimum in appropriate consecutive blocks of approximation coefficients (in the sense of Diophantine approximation by continued fraction convergents). We also obtain metrical results for large blocks of ``bad'' approximations.
We describe how to represent Rosen continued fractions by paths in a class of graphs that arise naturally in hyperbolic geometry. This representation gives insight into Rosen's original work about words in Hecke groups, and it also helps us to identify Rosen continued fraction expansions of shortest length.
We establish a new transcendence criterion of $p$-adic continued fractions which are called Ruban continued fractions. By this result, we give explicit transcendental Ruban continued fractions with bounded $p$-adic absolute value of partial quotients. This is $p$-adic analogy of Baker's result. We also prove that $p$-adic analogy of Lagrange Theorem for Ruban continued fractions is not true.
We use the Schmidt Subspace Theorem to establish the transcendence of a class of quasi-periodic continued fractions. This improves earlier works of Maillet and of A. Baker. We also improve an old result of Davenport and Roth on the rate of increase of the denominators of the convergents to any real algebraic number.
A continued fractions based verification of the Hurwitz values for the Hecke triangle groups is given, completing a program of Lehner's. Ergodic theory shows that Diophantine approximation by mediant convergents of the Rosen continued fractions is sufficient to determine the values that Haas and Series found by hyperbolic geometry.
The purpose of this paper is to describe the relation between the Legendre and the Lenstra constants. Indeed we show that they are equal whenever the Legendre constant exists; in particular, this holds for both Rosen continued fractions and $α$-continued fractions. We also give the explicit value of the entropy of the Rosen map with respect to the absolutely continuous invariant probability measure.
We establish new combinatorial transcendence criteria for continued fraction expansions. Let $α= [0; a_1, a_2,...]$ be an algebraic number of degree at least three. One of our criteria implies that the sequence of partial quotients $(a_{\ell})_{\ell \ge 1}$ of $α$ cannot be generated by a finite automaton, and that the complexity function of $(a_{\ell})_{\ell \ge 1}$ cannot increase too slowly.
We give 50 digits values of the simple continued fractions whose denominators are formed from a) prime numbers, b) twin primes, c) generalized $d$-twins, d) primes of the form $m^2+n^4$, e)primes of the form $m^2+1$, f) Mersenne primes and g) primorial primes. All these continued fractions belong to the set of measure zero of exceptions to the theorems of Khinchin and Levy. We claim that all these continued fractions are transcendental numbers. Next we propose the conjecture which indicates the way to deduce the transcendence of some continued fractions from transcendence of another ones.
We give continued fraction algorithms for a particular class of Fuchsian triangle groups. In particular, we give an explicit form of each such group that is a subgroup of the Hilbert modular group of its trace field and provide an interval map that is piecewise linear fractional, given in terms of group elements. Using natural extensions, we find an ergodic invariant measure for the interval map. We also study diophantine properties of approximation in terms of the continued fractions; and furthermore show that these continued fractions are appropriate to obtain transcendence results.
Adolf Hurwitz proposed in 1887 a continued fraction algorithm for complex numbers: Hurwitz continued fractions (HCF). Among other similarities between HCF and regular continued fractions, quadratic irrational numbers over $\mathbb{Q}(i)$ are precisely those with periodic HCF expansions. In this paper, we give some necessary as well as some sufficient conditions for pure periodicity of HCF. Then, we characterize badly approximable complex numbers in terms of HCF. Finally, we prove a slightly weaker complex analogue of a theorem by Y. Bugeaud on the transcendence of certain continued fractions.
It is widely believed that the continued fraction expansion of every irrational algebraic number $α$ either is eventually periodic (and we know that this is the case if and only if $α$ is a quadratic irrational), or it contains arbitrarily large partial quotients. Apparently, this question was first considered by Khintchine. A preliminary step towards its resolution consists in providing explicit examples of transcendental continued fractions. The main purpose of the present work is to present new families of transcendental continued fractions with bounded partial quotients. Our results are de…
We put forward several general conjectures concerning the algebraicity or transcendence of continued fractions and Stieltjes continued fractions defined by the Thue-Morse and period-doubling sequences in characteristic $2$. We present our Guess'n'Prove method, in which we exploit the structure of automata, for proving some of our conjectures in special cases.
We give natural extensions for the alpha-Rosen continued fractions of Dajani et al. for a set of small alpha values by appropriately adding and deleting rectangles from the region of the natural extension for the standard Rosen fractions. It follows that the underlying maps have equal entropy.
In this article we generalize Borel's classical approximation results for the regular continued fraction expansion to the alpha-Rosen fraction expansion, using a geometric method. We give a Haas-Series-type result about all possible good approximations for the alpha for which the Legendre constant is larger than the Hurwitz constant.
The Rosen fractions form an infinite family which generalizes the nearest-integer continued fractions. In this paper we introduce a new class of continued fractions related to the Rosen fractions, the $α$-Rosen fractions. The metrical properties of these $α$-Rosen fractions are studied. We find planar natural extensions for the associated interval maps, and show that these regions are closely related to similar region for the 'classical' Rosen fraction. This allows us to unify and generalize results of diophantine approximation from the literature.
We consider continued fractions with partial quotients in the ring of integers of a quadratic number field $K$ and we prove a generalization to such continued fractions of the classical theorem of Lagrange. A particular example of these continued fractions is the $β$-continued fraction introduced by Bernat. As a corollary of our theorem we show that for any quadratic Perron number $β$, the $β$-continued fraction expansion of elements in $\mathbb Q(β)$ is either finite of eventually periodic. The same holds for $β$ being a square root of an integer. We also show that for certain 4 quadratic Per…
We adjust Arnoux's coding, in terms of regular continued fractions, of the geodesic flow on the modular surface to give a cross section on which the return map is a double cover of the natural extension for the α-continued fractions, for each $α$ in (0,1]. The argument is sufficiently robust to apply to the Rosen continued fractions and their recently introduced α-variants.