Continued fractions have been introduced in the field of $p$--adic numbers $\mathbb{Q}_p$ by several authors. However, a standard definition is still missing since all the proposed algorithms are not able to replicate all the properties of continued fractions in $\mathbb{R}$. In particular, an analogue of the Lagrange's Theorem is not yet proved for any attempt of generalizing continued fractions in $\mathbb{Q}_p$. Thus, it is worth to study the definition of new algorithms for $p$--adic continued fractions. The main condition that a new method needs to fulfill is the convergence in $\mathbb Q_p$ of the continued fractions. In this paper we study some convergence conditions for continued fractions in $\mathbb{Q}_p$. These results allow to define many new families of continued fractions whose convergence is guaranteed. Then we provide some new algorithms exploiting the new convergence condition and we prove that one of them terminates in a finite number of steps when the input is rational, as it happens for real continued fractions.
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 give a new class of multidimensional $p$-adic continued fraction algorithms. We propose an algorithm in the class for which we can expect that multidimensional $p$-adic version of Lagrange's Theorem holds.
The classical theory of continued fractions has been widely studied for centuries for its important properties of good approximation, and more recently it has been generalized to $p$-adic numbers where it presents many differences with respect to the real case. In this paper we investigate periodicity for the $p$-adic continued fractions introduced by Browkin. We give some necessary and sufficient conditions for periodicity in general, although a full characterization of $p$-adic numbers having purely periodic Browkin continued fraction expansion is still missing. In the second part of the pap…
In this paper we study the properties of an algorithm for generating continued fractions in the field of p-adic numbers $\mathbb{Q}_p$. First of all, we obtain an analogue of the Galois' Theorem for classical continued fractions. Then, we investigate the length of the preperiod for periodic expansions of square roots. Finally, we prove that there exist infinitely many square roots of integers in $\mathbb{Q}_p$ that have a periodic expansion with period of length four, solving an open problem left by Browkin.
We develop a theory of $p$-adic continued fractions for a quaternion algebra $B$ over $\mathbb Q$ ramified at a rational prime $p$. Many properties holding in the commutative case can be proven also in this setting. In particular, we focus our attention on the characterization of elements having a finite continued fraction expansion. By means of a suitable notion of quaternionic height, we prove a criterion for finiteness. Furthermore, we draw some consequences about the solutions of a family of quadratic polynomial equations with coefficients in $B$.
Unlike the real case, there are not many studies and general techniques for providing simultaneous approximations in the field of $p$--adic numbers $\mathbb Q_p$. Here, we study the use of multidimensional continued fractions (MCFs) in this context. MCFs were introduced in $\mathbb R$ by Jacobi and Perron as a generalization of continued fractions and they have been recently defined also in $\mathbb Q_p$. We focus on the dimension two and study the quality of the simultaneous approximation to two $p$-adic numbers provided by $p$-adic MCFs, where $p$ is an odd prime. Moreover, given algebraical…
On $\mathfrak{P}$-adic continued fractions with extraneous denominators: some explicit finiteness results
Dipartimento di Matematica e Fisica, Università degli Studi di Roma Tre（罗马第三大学数学与物理系）；Univ. Grenoble Alpes, CNRS, IF（格勒诺布尔阿尔卑斯大学）；Research Institute CODE, Universität der Bundeswehr München（慕尼黑联邦国防军大学CODE研究所）；Dipartimento di Informatica, Università di Torino（都灵大学计算机科学系）
p-Adically convergent loci in varieties arising from periodic continued fractions
Dipartimento di Matematica e Fisica, Università degli Studi Roma Tre（罗马第三大学数学与物理系）；Research Institute CODE, University of the Bundeswehr Munich（慕尼黑联邦国防军大学CODE研究所）；Dipartimento di Informatica, Università degli Studi di Torino（都灵大学计算机系）；Dipartimento di Matematica, Università degli Studi di Genova（热那亚大学数学系）
Multidimensional continued fractions (MCFs) were introduced by Jacobi and Perron in order to generalize the classical continued fractions. In this paper, we propose an introductive fundamental study about MCFs in the field of the $p$--adic numbers $\mathbb Q_p$. First, we introduce them from a formal point of view, i.e., without considering a specific algorithm that produces the partial quotients of a MCF, and we perform a general study about their convergence in $\mathbb Q_p$. In particular, we derive some conditions about their convergence and we prove that convergent MCFs always strongly co…
The $p$-adic Littlewood conjecture (PLC) states that $\liminf_{q\to\infty} q\cdot |q|_p \cdot ||qx|| = 0$ for every prime $p$ and every real $x$. Let $w_{CF}(x)$ be an infinite word composed of the continued fraction expansion of $x$ and let $\mathrm{T}$ be the standard left shift map. Assuming that $x$ is a counterexample to PLC we get several restrictions on limit elements of the sequence $\{\mathrm{T}^n w_{CF}(x)\}_{n\in\mathbb{N}}$. As a consequence we show that for any such limit element $w$ we must have $\lim_{n\to\infty} P(w,n) - n = \infty$ where $P(w,n)$ is a word complexity of $w$. W…
In this part we show that the diophantine equation $X^5+Y^5=\varepsilon^5(1-X^5Y^5)$, where $\varepsilon=\frac{-1+\sqrt{5}}{2}$, has solutions in specific abelian extensions of quadratic fields $K=\mathbb{Q}(\sqrt{-d})$ in which $-d \equiv \pm 1$ (mod $5$). The coordinates of these solutions are values of the Rogers-Ramanujan continued fraction $r(τ)$, and are shown to be periodic points of an algebraic function.
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…
Periodicity and Period-Length Bounds for Browkin $p$-Adic Continued Fractions
Dipartimento di Matematica, Università di Trento（特伦托大学数学系）；Dipartimento di Scienze Matematiche ”Giuseppe Luigi Lagrange”, Politecnico di Torino（都灵理工学院朱塞佩·路易吉·拉格朗日数学科学系）
Multidimensional continued fractions (MCFs) were introduced by Jacobi and Perron in order to obtain periodic representations for algebraic irrationals, as it is for continued fractions and quadratic irrationals. Since continued fractions have been also studied in the field of $p$--adic numbers $\mathbb Q_p$, also MCFs have been recently introduced in $\mathbb Q_p$ together to a $p$--adic Jacobi--Perron algorithm. In this paper, we address th study of two main features of this algorithm, i.e., finiteness and periodicity. In particular, regarding the finiteness of the $p$--adic Jacobi--Perron al…
This paper continues the author's previous studies on continued fractions and Heron's algorithm, as from his former JMM2017 presentation (see \cite{CF.HA}).\par\medskip Extending the notion of continued fraction to the $p$-adic fields, one can find continued fractions which converge in both real and $p$-adic topologies to the `same' quadratic irrational number, some of which are given by the Heron's algorithm using a generalized version of an author's theorem from the cited JMM presentation. The definition can be possibly generalized to other global fields, as left as an open question. We will…
The purpose of this paper is to construct p-adic analytically continued function which interpolates q-Euler numbers at negative integer Finally, we give an explicit p-adic expansion as a power series in n.
We study $p$-adic Euler's series $E_p(t) = \sum_{k=0}^{\infty}k!t^k$ at a point $p^a$, $a \in \mathbb{Z}_{\ge 1}$, and use Padé approximations to prove a lower bound for the $p$-adic absolute value of the expression $cE_p\left(\pm p^a\right)-d$, where $c, d \in \mathbb{Z}$. It is interesting that the same Padé polynomials which $p$-adically converge to $E_p(t)$, approach the Hardy integral $\mathcal{H}(t) = \int_{0}^{\infty} \frac{e^{-s}}{1-ts}ds$ on the Archimedean side. This connection is used with a trick of analytic continuation when deducing an Archimedean bound for the numerator Padé pol…
This paper investigates integer multiplication of continued fractions using geometric structures. In particular, this paper shows that integer multiplication of a continued fraction can be represented by replacing one triangulation of an orbifold with another triangulation. This method is used to show that eventually periodic continued fractions have partial quotients which have exponential growth when iteratively multiplied by $n$, for $n$ any fixed, natural number.
In this paper we define "a continued fraction expansion of the exponential integral $E_{1}(x)$ at infinity", which is analogous to the regular continued fraction expansion of real numbers, and prove that this expansion gives the same continued fraction. Moreover, we give concrete representations of rational functions which are obtained by truncating the continued fraction.
We construct a class of quadratic irrationals having continued fractions of period $n\geq2$ with "small" partial quotients for which certain integer multiples have continued fractions of period $1$, $2$ or $4$ with "large" partial quotients. We then show that numbers in the period of the new continued fraction are simple functions of the numbers in the periods of the original continued fraction. We give generalizations of some of the continued fractions and show that polynomials arising from the generalizations are related to Chebyshev and Fibonacci polynomials. We then show that some of these…
We give continued fraction expansions of the generating functions of Bernoulli numbers, Cauchy numbers, Euler numbers, harmonic numbers, and their generalized or related numbers. In particular, we focus on explicit forms of the convergents of these continued fraction expansions. Linear fractional transformations of such continued fractions are also discussed. We show more continued fraction expansion for different numbers and types, in particular, on Cauchy numbers.
If a machine did it, it is probably transcendental (even $p$-adically)
Dipartimento di Matematica e Fisica, Univ. degli Studi Roma Tre（罗马三大学数学与物理系）；Univ. Grenoble Alpes, CNRS, IF（格勒诺布尔阿尔卑斯大学）；Research Institute CODE, Univ. of the Bundeswehr Munich（慕尼黑联邦国防军大学CODE研究所）；Dipartimento di Informatica, Univ. di Torino（都灵大学计算机系）
We prove that the formula giving the exact value of the irrationality exponent of regular continued fractions remains valid for semi-regular continued fractions satisfyiong certain conditions.
The classical continued fraction is generalized for studying the rational approximation problem on multi-formal Laurent series in this paper, the construction is called m-continued fraction. It is proved that the approximants of an m-continued fraction converge to a multi-formal Laurent series, and are best rational approximations to it; conversely for any multi-formal Laurent series an algorithm called m-CF transform is introduced to obtain its m-continued fraction expansions; moreover, strict m-continued fractions, which are m-continued fractions imposed with some additional conditions, and …
We show, for each $q$-continued fraction $G(q)$ in a certain class of continued fractions, that there is an uncountable set of points on the unit circle at which $G(q)$ diverges in the general sense. This class includes the Rogers-Ramanujan continued fraction and the three Ramanujan-Selberg continued fraction. We discuss the implications of our theorems for the general convergence of other $q$-continued fractions, for example the Göllnitz-Gordon continued fraction, on the unit circle.
In this paper, we investigate the monotone property of the continued fractions $G(m,λ)$ as a function of $m$ and $λ$. In particular, we obtain new inequality for the relative continued fractions.
Fundamental to the theory of continued fractions is the fact that every infinite continued fraction with positive integer coefficients converges; however, it is unknown precisely which continued fractions with integer coefficients (not necessarily positive) converge. Here we present a simple test that determines whether an integer continued fraction converges or diverges. In addition, for convergent continued fractions the test specifies whether the limit is rational or irrational. An attractive way to visualise integer continued fractions is to model them as paths on the Farey graph, which is…
In this work we prove a criterion for an algebraic continued fraction to have a proper palindromic symmetry in dimension $4$. As a multidimensional generalization of continued fractions, we consider Klein polyhedra.
We study continued logarithms as introduced by Bill Gosper and studied by J. Borwein et. al.. After providing an overview of the type I and type II generalizations of binary continued logarithms introduced by Borwein et. al., we focus on a new generalization to an arbitrary integer base $b$. We show that all of our so-called type III continued logarithms converge and all rational numbers have finite type III continued logarithms. As with simple continued fractions, we show that the continued logarithm terms, for almost every real number, follow a specific distribution. We also generalize Khinc…
We state and prove three general formulas allowing to transform formal finite sums into formal continued fractions and apply them to generalize certain expansions in continued fractions given by Hone and Varona.
We prove an analog of Lagrange's Theorem for continued fractions on the Heisenberg group: points with an eventually periodic continued fraction expansion are those that satisfy a particular type of quadratic form, and vice-versa.
A Sturmian sequence is an infinite nonperiodic string over two letters with minimal subword complexity. In two papers, the first written by Morse and Hedlund in 1940 and the second by Coven and Hedlund in 1973, a surprising correspondence was established between Sturmian sequences on one side and rotations by an irrational number on the unit circle on the other. In 1991 Arnoux and Rauzy observed that an induction process (invented by Rauzy in the late 1970s), related with the classical continued fraction algorithm, can be used to give a very elegant proof of this correspondence. This process, …
For $α_0 = \left[a_0, a_1, \ldots\right]$ an infinite continued fraction and $σ$ a linear fractional transformation, we study the continued fraction expansion of $σ(α_0)$ and its convergents. We provide the continued fraction expansion of $σ(α_0)$ for four general families of continued fractions and when $\left|\det σ\right| = 2$. We also find nonlinear recurrence relations among the convergents of $σ(α_0)$ which allow us to highlight relations between convergents of $α_0$ and $σ(α_0)$. Finally, we apply our results to some special and well-studied continued fractions, like Hurwitzian and Taso…
This work is devoted to the proof of the statement about the existence of palindromic continued fractions in an arbitrary dimension. In addition, it is proved the criterion that an algebraic continued fraction has proper cyclic palindromic symmetry in the case $n = 4$. Klein polyhedra are considered as a multidimensional generalization of continued fractions.
In this paper we prove in detail a criterion for an algebraic continued fraction to have a proper palindromic symmetry in dimension $4$. We also present a new proof of the criterion for an algebraic continued fraction to have a proper cyclic palindromic symmetry in dimension $4$. As a multidimensional generalization of continued fractions, we consider Klein polyhedra.
The study of combinatorial properties of mathematical objects is a very important research field and continued fractions have been deeply studied in this sense. However, multidimensional continued fractions, which are a generalization arising from an algorithm due to Jacobi, have been poorly investigated in this sense, up to now. In this paper, we propose a combinatorial interpretation of the convergents of multidimensional continued fractions in terms of counting some particular tilings, generalizing some results that hold for classical continued fractions.
Ramanujan recorded four reciprocity formulas for the Roger-Ramanujan continued fraction. Two reciprocity formulas each are also associated with the Ramanujan--Göllnitz--Gordon continued fraction and a level-13 analog of the Roger-Ramanujan continued fraction. We show that all eight reciprocity formulas are related to a pair of quadratic equations. The solution to the first equation generalizes the golden ratio and is used to set the value of a coefficient in the second equation; and the solution to the second equation gives a pair of values for a continued fraction. We relate the coefficients …
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.
In this paper we show how to apply various techniques and theorems (including Pincherle's theorem, an extension of Euler's formula equating infinite series and continued fractions, an extension of the corresponding transformation that equates infinite products and continued fractions, extensions and contractions of continued fractions and the Bauer-Muir transformation) to derive infinite families of in-equivalent polynomial continued fractions in which each continued fraction has the same limit. This allows us, for example, to construct infinite families of polynomial continued fractions for f…
Hurwitz (1887) defined a continued fraction algorithm for complex numbers which is better behaved in many respects than a more "natural" extension of the classical continued fraction algorithm to the complex plane would be. Although the Hurwitz complex continued fraction algorithm is not "reducible" to another complex continued fraction algorithm, over the reals the story is different. In this note we make clear the relation between the restriction of Hurwitz's algorithm to the real numbers and the classical continued fraction algorithm. As an application we reprove the main result of Choudhur…
This paper is devoted to a detailed exposition of geometry of continued fractions. We pay particular interest to the case of quadratic irrationalities and use the technique described to prove a criterion for the continued fraction of a quadratic surd to have a symmetric period.
Multidimensional continued fractions generalize classical continued fractions with the aim of providing periodic representations of algebraic irrationalities by means of integer sequences. However, there does not exist any algorithm that provides a periodic multidimensional continued fraction when algebraic irrationalities are given as inputs. In this paper, we provide a characterization for periodicity of Jacobi--Perron algorithm by means of linear recurrence sequences. In particular, we prove that partial quotients of a multidimensional continued fraction are periodic if and only if numerato…
We present a general introduction to continued fractions, with special consideration to the function fields case. These notes were prepared for a summer class given this year in Beijing at Beihang university.
