We consider the geometric generalization of ordinary continued fraction to the multidimensional case introduced by F. Klein in 1895. A multidimensional periodic continued fraction is the union of sails with some special group acting freely on these sails. This group transposes the faces. In this article, we present a method of constructing "approximate" fundamental domains of algebraic multidimensional continued fractions and an algorithm testing whether this domain is indeed fundamental or not. We give some polynomial estimates on number of the operations for the algorithm. In conclusion we present an example of fundamental domains calculation for a two-dimensional series of two-dimensional periodic continued fractions.
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.
Most well-known multidimensional continued fractions, including the Mönkemeyer map and the triangle map, are generated by repeatedly subdividing triangles. This paper constructs a family of multidimensional continued fractions by permuting the vertices of these triangles before and after each subdivision. We obtain an even larger class of multidimensional continued fractions by composing the maps in the family. These include the algorithms of Brun, Parry-Daniels and Güting. We give criteria for when multidimensional continued fractions associate sequences to unique points, which allows us to d…
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.
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.
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…
The Lagrange theorem on continued fractions states that a number is a quadratic surd if and only if its continued fraction expansion is eventually periodic. The current paper is devoted to a multidimensional generalization of this fact. As a multidimensional analog of continued fractions so called Klein polyhedra are considered: given an irrational lattice in an n-dimensional Euclidean space, its Klein polyhedron is defined as the convex hull of nonzero lattice points with nonnegative coordinates.
We give a new algorithm of slow continued fraction expansion related to any real cubic number field as a 2-dimensional version of the Farey map. Using our algorithm, we can find the generators of dual substitutions (so-called tiling substitutions) for any stepped surface for any cubic direction.
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 …
The Gauss-Kuzmin statistics for the triangle map (a type of multidimensional continued fraction algorithm) are derived by examining the leading eigenfunction of the triangle map's transfer operator. The technical difficulty is finding the appropriate Banach space of functions. We also show that, by thinking of the triangle map's transfer operator as acting on a one-dimensional family of Hilbert spaces, the transfer can be thought of as a family of nuclear operators of trace class zero.
The Minkowski question mark function, maping the unit interval to itself, is a continuous, strictly increasing, one-to-one and onto function that has derivative zero almost everywhere. Key to these facts are the basic properties of continued fractions. Thus the question mark function is a naturally occurring number theoretic singular function. This paper generalizes the question mark function to the 216 triangle partition (TRIP) maps. These are multidimensional continued fractions which generate a family of almost all known multidimensional continued fractions. We show for each TRIP map that t…
It is known that the continued fraction expansion of a real number is periodic if and only if the number is a quadratic irrational. In an attempt to generalize this phenomenon to other settings, Jun-Ichi Tamura and Shin-Ichi Yasutomi have developed a new algorithm for multidimensional continued fractions (Algebraic Jacobi-Perron algorithm) that involves cubic irrationals, and proved periodicity in some cubic number fields, such as $\mathbb{Q}(\sqrt[3]{m^3+1})$ where $m\in\mathbb{Z}$, and $\mathbb{Q}(δ_m)$ where $δ_m$ is a root of $x^3-mx+1=0,\,\,m\in\mathbb{Z},\,\, m\geq3$ with the algorithm. …
A dual approach to defining the triangle sequence (a type of multidimensional continued fraction algorithm, initially developed in NT/9906016) for a pair of real numbers is presented, providing a new, clean geometric interpretation of the triangle sequence. We give a new criterion for when a triangle sequence uniquely describes a pair of numbers and give the first explicit examples of triangle sequences that do not uniquely describe a pair of reals. Finally, this dual approach yields that the triangle sequence is topologically strongly mixing, meaning in particular that it is topologically erg…
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…
In this paper we study the three-dimensional analogue of the relation between the irrationality exponent of a real number and the growth of its regular continued fraction partial quotients. As a multidimensional generalisation of continued fractions, we consider Klein polyhedra.
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…
We study the strong convergence of certain multidimensional continued fraction algorithms. In particular, in the two-dimensional case, we prove that the second Lyapunov exponent of Selmer's algorithm is negative and bound it away from zero. Moreover, we give heuristic results on several other continued fraction algorithms. Our results indicate that all classical multidimensional continued fraction algorithms cease to be strongly convergent for high dimensions. The only exception seems to be the Arnoux-Rauzy algorithm which, however, is defined only on a set of measure zero.
In the current paper we prove simplicity for the spectrum of Lyapunov exponents for triangle sequence and Selmer algorithm in dimension 3. We introduce a strategy that can be applied for a wide class of Markovian MCF.
The problem of investigation of the simplest n-dimensional continued fraction in the sense of Klein for n>2 was posed by V.Arnold. The answer for the case of n=2 can be found in the works of E.Korkina and G.Lachaud. In present work we study the case of n=3.
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.
In this paper we develop an integer-affine classification of three-dimensional multistory completely empty convex marked pyramids. We apply it to obtain the complete lists of compact two-dimensional faces of multidimensional continued fractions lying in planes with integer distances to the origin equal 2, 3, 4 ... The faces are considered up to the action of the group of integer-linear transformations. In conclusion we formulate some actual unsolved problems associated with the generalizations for n-dimensional faces and more complicated face configurations.
The Minkowski Question Mark function can be characterized as the unique homeomorphism of the real unit interval that conjugates the Farey map with the tent map. We construct an n-dimensional analogue of the Minkowski function as the only homeomorphism of an n-simplex that conjugates the piecewise-fractional map associated to the Monkemeyer continued fraction algorithm with an appropriate tent map.
The Stern diatomic sequence is closely linked to continued fractions via the Gauss map on the unit interval, which in turn can be understood via systematic subdivisions of the unit interval. Higher dimensional analogues of continued fractions, called multidimensional continued fractions, can be produced through various subdivisions of a triangle. We define triangle partition-Stern sequences (TRIP-Stern sequences for short), higher-dimensional generalizations of the Stern diatomic sequence, from the method of subdividing a triangle via various triangle partition algorithms. We then explore seve…
Continued fractions are linked to Stern's diatomic sequence 0,1,1,2,1,3,2,3,1,4,... (given by the recursion relation a_2n=a_n and a_{2n+1} = a_n + a_{n+1}, where a_0=0 and a_1=1), which has long been known. Using a particular multidimensional continued fraction algorithm (the Farey algorithm), we will generalize the diatomic sequence to a collection of numbers that quite naturally should be called the triatomic sequence (or a two-dimensional Pascal with memory sequence). As continued fractions and the diatomic sequence can be thought of as coming from systematic subdivisions of the unit interv…
This paper is a direct continuation of "Functional analysis behind a Family of Multidimensional Continued Fractions: Part I," in which we started the exploration of the functional analysis behind the transfer operators for triangle partition maps, a family that includes many, if not most, well-known multidimensional continued fraction algorithms. This allows us now to find eigenfunctions of eigenvalue 1 for transfer operators associated with select triangle partition maps on specified Banach spaces. We proceed to prove that the transfer operators, viewed as acting on one-dimensional families o…
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.
This paper is a short survey of the recent results on examples of periodic two-dimensional continued fractions (in Klein's model). In the last part of this paper we formulate some questions, problems and conjectures on geometrical properties concerning to this subject.
Triangle partition maps form a family that includes many, if not most, well-known multidimensional continued fraction algorithms. This paper begins the exploration of the functional analysis behind the transfer operator of each of these maps. We show that triangle partition maps give rise to two classes of transfer operators and present theorems regarding the origin of these classes; we also present related theorems on the form of transfer operators arising from compositions of triangle partition maps. In the next paper, Part II, we will find eigenfunctions of eigenvalue 1 for transfer operato…
For a given sequence of positive integers we make an explicit construction of a reduced hyperbolic operator in SL(2,z) with the sequence as a period of a geometric continued fraction in the sense of Klein. Further we experimentally study an algorithm to construct a period for an arbitrary operator of SL(2,z) (the Gauss Reduction Theory).
In this paper we describe the group of symmetries of a two-dimensional continued fraction. As a multidimensional generalization of continued fractions we consider Klein polyhedra. We distinguish two types of symmetries: the Dirichlet-type ones, that correspond to the multiplication by units of the corresponding number field, and so called palindromic ones. The main result of the paper is a criterion for a two-dimensional continued fraction to have a palindromic symmetry. This criterion is analogous to the criterion for the period of a quadratic irrationality to be symmetric.
We construct a countable family of multi-dimensional continued fraction algorithms, built out of five specific multidimensional continued fractions, and find a wide class of cubic irrational real numbers a so that either (a, a^2) or (a, a-a^2) is purely periodic with respect to an element in the family. These cubic irrationals seem to be quite natural, as we show that, for every cubic number field, there exists a pair (u,u') with u a unit in the cubic number field (or possibly the quadratic extension of the cubic number field by the square root of the discriminant) such that (u,u') has a perio…
A Lagrange Theorem in dimension 2 is proved, for a particular two-dimensional algorithm, with a very natural geometrical definition. Dirichlet-type properties for the convergence of the algorithm are also proved. These properties procced from a geometrical quality of the algorithm. Some refercences are given to the works of various authors, in the domain of multidimensional continued fractions algorithms.
The classical Gauss Map is a piecewise continuous map from the unit interval to itself. From this map we retrieve the continued fraction expansion of irrational numbers and its dynamical properties give information about some arithmetic and algebraic properties of irrational numbers. In this notes we will explore some generalizations of the Gauss Map to higher dimensions and pose some questions and conjectures about the arithmetic/algebraic information that these maps may carry.
It has been known that the Hosoya index of caterpillar graph can be calculated as the numerator of the simple continued fraction. Recently, the author \cite{Komatsu2020} introduces a more general graph called caterpillar-bond graph and shows that its Hosoya index can be calculated as the numerator of the general continued fraction. In this paper, we show how the Hosoya index of the graph with non-uniform ring structure can be calculated from the negative continued fraction. We also give the relation between some radial graphs and multidimensional continued fractions in the sense of the Hosoya …
We show that several monoids of non-negative integer matrices enjoy a Pisot property: each matrix in that monoid has only one eigenvalue with absolute value larger than one. These monoids come from multidimensional continued fractions, namely the fully subtractive and Brun continued fractions.
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…
There exists and is unique up to multiplication by a constant function a form of the highest dimension on the manifold of n-dimensional continued fractions in the sense of Klein, such that the form is invariant under the natural action of the group of projective transformations PGL(n+1). A measure corresponding to the integral of such form is called a Mobius measure. In the present paper we deduce an explicit formulae to calculate invariant forms in special coordinates. These formulae allow to give answers to some statistical questions of theory of multidimensional continued fractions. As an e…
We propose a new point of view on multidimensional continued fraction algorithms inspired by Rauzy induction. The generic behaviour of such an algorithm is described here as a random walk on a graph that we call simplicial system. These systems provide a family of examples for random walks with memory recorded by a finite dimensional vector. We introduce a general criterion on these graphs that induces ergodicity together with a bundle of many other dynamical properties. In particular, after computing the representation of Brun, Selmer and Arnoux-Rauzy-Poincare algorithm in this formalism, it …
