Showing 1–10 of 10 results for author: Yasutomi, S

Periodic points in complex continued fractions by J. Hurwitz

Authors: Shin-ichi Yasutomi

Abstract: J. Hurwitz introduced an algorithm that generates a continued fraction expansion for complex numbers $α\in \mathbb{C}$, where the partial quotients belong to $(1+i)\mathbb{Z}[i]$. J. Hurwitz's work also provides a result analogous to Lagrange's theorem on periodic continued fractions, describing purely periodic points using the dual continued fraction expansion. S. Tanaka \cite{ST} examined the… ▽ More J. Hurwitz introduced an algorithm that generates a continued fraction expansion for complex numbers $α\in \mathbb{C}$, where the partial quotients belong to $(1+i)\mathbb{Z}[i]$. J. Hurwitz's work also provides a result analogous to Lagrange's theorem on periodic continued fractions, describing purely periodic points using the dual continued fraction expansion. S. Tanaka \cite{ST} examined the identical algorithm and constructed the natural extension of the transformation generating the continued fraction expansion and established its ergodic properties. In this paper, we aim to describe J. Hurwitz's insights into purely periodic points explicitly through the natural extension. △ Less

Submitted 22 October, 2024; originally announced October 2024.

Comments: 23pages

MSC Class: 11J70; 11Y65; 11A55

Simultaneous Convergent Continued Fraction Algorithm for Real and $p$-adic Fields with Applications to Quadratic Fields

Authors: Shin-ichi Yasutomi

Abstract: Let $p$ be a prime number and $K$ be a field with embeddings into $\mathbb{R}$ and $\mathbb{Q}_p$. We propose an algorithm that generates continued fraction expansions converging in $\mathbb{Q}_p$ and is expected to simultaneously converge in both $\mathbb{R}$ and $\mathbb{Q}_p$. This algorithm produces finite continued fraction expansions for rational numbers. In the case of $p=2$ and if $K$ is a… ▽ More Let $p$ be a prime number and $K$ be a field with embeddings into $\mathbb{R}$ and $\mathbb{Q}_p$. We propose an algorithm that generates continued fraction expansions converging in $\mathbb{Q}_p$ and is expected to simultaneously converge in both $\mathbb{R}$ and $\mathbb{Q}_p$. This algorithm produces finite continued fraction expansions for rational numbers. In the case of $p=2$ and if $K$ is a quadratic field, the continued fraction expansions generated by this algorithm converge in $\mathbb{R}$, and they are eventually periodic or finite. For an element $α$ in $K$, let $p_n/q_n$ denote the $n$-th convergent. There exist constants $u_1$ and $u_2$ in ${\mathbb R}_{>0}$ with $u_1 + u_2 = 2$, and constants $C_1$ and $C_2$ in ${\mathbb R}_{>0}$ such that $|α- p_n/q_n| < C_1/|q_n|^{u_1}$ and $|α- p_n/q_n|_2 < C_2/|q_n|^{u_2}$. Here, $|\cdot|_2$ represents the $2$-adic distance. For prime numbers $p > 2$, we present numerical experiences. △ Less

Submitted 17 September, 2023; originally announced September 2023.

Comments: 36 pages

MSC Class: 11J70; 11Y65; 11J61; 11D88

Arithmetical independence of certain uniform sets of algebraic integers

Authors: Asaki Saito, Jun-ichi Tamura, Shin-ichi Yasutomi

Abstract: We study four (families of) sets of algebraic integers of degree less than or equal to three. Apart from being simply defined, we show that they share two distinctive characteristics: almost uniformity and arithmetical independence. Here, ``almost uniformity'' means that the elements of a finite set are distributed almost equidistantly in the unit interval, while ``arithmetical independence'' mean… ▽ More We study four (families of) sets of algebraic integers of degree less than or equal to three. Apart from being simply defined, we show that they share two distinctive characteristics: almost uniformity and arithmetical independence. Here, ``almost uniformity'' means that the elements of a finite set are distributed almost equidistantly in the unit interval, while ``arithmetical independence'' means that the number fields generated by the elements of a set do not have a mutual inclusion relation each other. Furthermore, we reveal to what extent the algebraic number fields generated by the elements of the four sets can cover quadratic or cubic fields. △ Less

Submitted 23 August, 2023; originally announced August 2023.

Comments: 17 pages

MSC Class: 11J71; 11R11; 11R16

Star-shaped trajectories of certain billiards around a triangle

Authors: Takeo Noda, Shin-ichi Yasutomi, Masamichi Yoshida

Abstract: We explore the triangle outer billiards map in points at infinity in the hyperbolic plane, focusing on the rotation number. Building on Dogru and Tabachnikov's work, which established the conditions for triangles where the rotation number of the billiard map is $1/3$, we examine cases where the rotation number is $2/5$. We provide a sufficient condition for this rotation number and show its necess… ▽ More We explore the triangle outer billiards map in points at infinity in the hyperbolic plane, focusing on the rotation number. Building on Dogru and Tabachnikov's work, which established the conditions for triangles where the rotation number of the billiard map is $1/3$, we examine cases where the rotation number is $2/5$. We provide a sufficient condition for this rotation number and show its necessity for large isosceles triangles. The results are framed within the context of the Beltrami-Klein model. We concludes with a conjecture based on the findings. △ Less

Submitted 9 October, 2024; v1 submitted 17 April, 2023; originally announced April 2023.

Comments: 33 pages

MSC Class: 37E10; 37E45; 51M09; 51M04

Billiards in a circle with trajectories circumscribing a triangle

Authors: Takeo Noda, Shin-ichi Yasutomi

Abstract: Dogru and Tabachnikov in 2003 explored the polygonal outer billiard map in the hyperbolic plane and introduced a class of convex polygons called 'large'. They particularly sought conditions for a triangle to be classified as large. For a large triangle, there exist two triangles that are circumscribed around it and inscribed within the unit circle. In the Klein-Beltrami model of hyperbolic geometr… ▽ More Dogru and Tabachnikov in 2003 explored the polygonal outer billiard map in the hyperbolic plane and introduced a class of convex polygons called 'large'. They particularly sought conditions for a triangle to be classified as large. For a large triangle, there exist two triangles that are circumscribed around it and inscribed within the unit circle. In the Klein-Beltrami model of hyperbolic geometry, we reformulate the conditions for a triangle to be classified as 'large' in a more Euclidean geometric manner. A proposed measure of its Euclidean geometric size when the triangle is considered 'large' is introduced, and an evaluation of this measure is conducted. We also provide an explicit formula for an isosceles triangle. △ Less

Submitted 25 December, 2023; v1 submitted 8 November, 2021; originally announced November 2021.

Comments: 35pages

MSC Class: 37E10; 37E45; 51M09; 51M04

A remark on Chapple-Euler Theorem in non Euclidean geometry

Authors: Takeo Noda, Shin-ichi Yasutomi

Abstract: In non-Euclidean geometry, there are several known correspondings to Chapple-Euler Theorem. This remark shows that those results yield expressions corredponding to the well-known formula $d=\sqrt{R(R-2r)}$. In non-Euclidean geometry, there are several known correspondings to Chapple-Euler Theorem. This remark shows that those results yield expressions corredponding to the well-known formula $d=\sqrt{R(R-2r)}$. △ Less

Submitted 29 December, 2020; originally announced January 2021.

MSC Class: 51M09

Ergodicity for $p$-adic continued fraction algorithms

Authors: Hui Rao, Shin-ichi Yasutomi

Abstract: Following Schweiger's generalization of multidimensional continued fraction algorithms, we consider a very large family of $p$-adic multidimensional continued fraction algorithms, which include Schneider's algorithm, Ruban's algorithms, and the $p$-adic Jacobi-Perron algorithm as special cases. The main result is to show that all the transformations in the family are ergodic with respect to the Ha… ▽ More Following Schweiger's generalization of multidimensional continued fraction algorithms, we consider a very large family of $p$-adic multidimensional continued fraction algorithms, which include Schneider's algorithm, Ruban's algorithms, and the $p$-adic Jacobi-Perron algorithm as special cases. The main result is to show that all the transformations in the family are ergodic with respect to the Haar measure. △ Less

Submitted 8 June, 2021; v1 submitted 23 September, 2020; originally announced September 2020.

Comments: 24 pages

MSC Class: 11J70; 11S82

Multidimensional $p$-adic continued fraction algorithms

Authors: Asaki Saito, Jun-ichi Tamura, Shin-ichi Yasutomi

Abstract: 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. 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. △ Less

Submitted 14 May, 2019; v1 submitted 17 May, 2017; originally announced May 2017.

Comments: 27 pages, To appear in Math. Comp. 2019

Continued fraction algorithms and Lagrange's theorem in ${\mathbb Q}_p$

Authors: Asaki Saito, Jun-ichi Tamura, Shin-ichi Yasutomi

Abstract: We present several continued fraction algorithms, each of which gives an eventually periodic expansion for every quadratic element of ${\mathbb Q}_p$ over ${\mathbb Q}$ and gives a finite expansion for every rational number. We also give, for each of our algorithms, the complete characterization of elements having purely periodic expansions. We present several continued fraction algorithms, each of which gives an eventually periodic expansion for every quadratic element of ${\mathbb Q}_p$ over ${\mathbb Q}$ and gives a finite expansion for every rational number. We also give, for each of our algorithms, the complete characterization of elements having purely periodic expansions. △ Less

Submitted 17 January, 2017; originally announced January 2017.

A new multidimensional slow continued fraction algorithm and stepped surface

Authors: Maki Furukado, Shunji Ito, Asaki Saito, Jun-ichi Tamura, Shin-ichi Yasutomi

Abstract: 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. 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. △ Less

Submitted 29 October, 2013; originally announced October 2013.

Comments: 41 pages, 9 figures

MSC Class: 11A55 (Primary); 11Y16; 11Y65; 37B10 (Secondary)