Searcharxiv⌕ Search

arXiv subjects

Michel Laurent

Publications and source records attributed to Michel Laurent.

16 recordsLinked to original sources
arXiv2022

Rotation number of 2-interval piecewise affine maps

We study maps of the unit interval whose graph is made up of two increasing segments and which are injective in an extended sense. Such maps $f_{\p}$ are parametrized by a quintuple $\p$ of real numbers satisfying inequations. Viewing $f_{\p}$ as a circle map, we show that it has a rotation number $ρ(f_{\p})$ and we compute $ρ(f_{\p})$ as a function of $\p$ in terms of Hecke-Mahler series. As a corollary, we prove that $ρ(f_{\p})$ is a rational number when the components of $\p$ are algebraic numbers.

math.DS↗
arXiv2022

Transcendence and continued fraction expansion of values of Hecke-Mahler series

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 the continued fraction expansion of the number $$ {(b-1)^2\over b} F_{θ, ρ} \left({1\over b}, {1\over a}\right)+{\lfloor θ+ρ\rfloor(b-1)\over b^2a}, $$ from which we derive a formula giving the irrationality exponent of $F_{θ, ρ} (1/b, 1/a)$.

math.NT↗
arXiv2021

Combinatorial structure of Sturmian words and continued fraction expansions of Sturmian numbers

Let $θ= [0; a_1, a_2, \dots]$ be the continued fraction expansion of an irrational real number $θ\in (0, 1)$. It is well-known that the characteristic Sturmian word of slope $θ$ is the limit of a sequence of finite words $(M_k)_{k \ge 0}$, with $M_k$ of length $q_k$ (the denominator of the $k$-th convergent to $θ$) being a suitable concatenation of $a_k$ copies of $M_{k-1}$ and one copy of $M_{k-2}$. Our first result extends this to any Sturmian word. Let $b \ge 2$ be an integer. Our second result gives the continued fraction expansion of any real number $ξ$ whose $b$-ary expansion is a Sturmian word ${\bf s}$ over the alphabet $\{0, b-1\}$. This extends a classical result of Böhmer who considered only the case where ${\bf s}$ is characteristic. As a consequence, we obtain a formula for the irrationality exponent of $ξ$ in terms of the slope and the intercept of ${\bf s}$.

math.NT↗
arXiv2019

Dynamics of 2-interval piecewise affine maps and Hecke-Mahler series

Let $f : [0,1)\rightarrow [0,1)$ be a $2$-interval piecewise affine increasing map which is injective but not surjective. Such a map $f$ has a rotation number and can be parametrized by three real numbers. We make fully explicit the dynamics of $f$ thanks to two specific functions $δ$ and $ϕ$ depending on these parameters whose definitions involve Hecke-Mahler series. As an application, we show that the rotation number of $f$ is rational, when the three parameters are algebraic numbers.

math.DS↗
arXiv2018

Rotation number of interval contracted rotations

Let $0<λ<1$. We consider the one-parameter family of circle $λ$-affine contractions $f_δ:x \in [0,1) \mapsto λx + δ\; {\rm mod}\,1 $, where $0 \le δ<1$. Let $ρ$ be the rotation number of the map $f_δ$. We will give some numerical relations between the values of $λ,δ$ and $ρ$, essentially using Hecke-Mahler series and a tree structure. When both parameters $λ$ and $δ$ are algebraic numbers, we show that $ρ$ is a rational number. Moreover, in the case $λ$ and $δ$ are rational, we give an explicit upper bound for the height of $ρ$ under an assumption on $λ$.

math.DS↗
arXiv2015

On Kronecker's density theorem, primitive points and orbits of matrices

We discuss recent quantitative results in connexion with Kronecker's theorem on the density of subgroups in R^n and with Dani and Raghavan's theorem on the density of orbits in the spaces of frames. We also propose several related problems. The case of the natural linear action of the unimodular group SL_2(Z) on the real plane is investigated more closely. We then establish an intriguing link between the configuration of (discrete) orbits of primitive points and the rate of density of dense orbits.

math.NT↗
arXiv2011

On inhomogeneous Diophantine approximation and Hausdorff dimension

Let $Γ= Z A +Z^n$ be a dense subgroup with rank $n+1$ in $R^n$ and let $ω(A)$ denote the exponent of uniform simultaneous rational approximation to the point $A$. We show that for any real number $v\ge ω(A)$, the Hausdorff dimension of the set $B_v$ of points in $R^n$ which are $v$-approximable with respect to $Γ$, is equal to $1/v$.

math.NT↗
arXiv2010

Approximation to points in the plane by SL(2,Z)-orbits

Let x be a point in R^2 with irrational slope and let Γdenote the lattice SL(2,Z) acting linearly on R^2. Then, the orbit Γx is dense in R^2. We give efective results on the approximation of a point y in R^2 by points of the form γx, where γbelongs to Γ, in terms of the size of γ.

math.NT↗
arXiv2007

On transfer inequalities in Diophantine approximation

Let $Θ$ be a point in ${\bf R}^n$. We split the classical Khintchine's Transference Principle into $n-1$ intermediate estimates which connect exponents $ω_d(Θ)$ measuring the sharpness of the approximation to $Θ$ by linear rational varieties of dimension $d$, for $0\le d \le n-1$. We also review old and recent results related to these $n$ exponents.

math.NT↗
arXiv2006

Exponents of Diophantine Approximation in dimension two

Let $Θ=(α,β)$ be a point in $\bR^2$, with $1,α,β$ linearly independent over $\bQ$. We attach to $Θ$ a quadruple $Ω(Θ)$ of exponents which measure the quality of approximation to $Θ$ both by rational points and by rational lines. The two ``uniform'' components of $Ω(Θ)$ are related by an equation, due to Jarn{\'ı}k, and the four exponents satisfy two inequalities which refine Khintchine's transference principle. Conversely, we show that for any quadruple $Ω$ fulfilling these necessary conditions, there exists a point $Θ\in \bR^2$ for which $Ω(Θ) =Ω$.

math.NT↗
arXiv2006

Exponents of Diophantine approximation

The paper is mostly a survey on recent results in Diophantine approximation, with emphasis on properties of exponents measuring various notions of Diophantine <approximation.

math.NT↗
arXiv2004

Exponents of Diophantine Approximation and Sturmian Continued Fractions

Let x be a real number and let n be a positive integer. We define four exponents of Diophantine approximation, which complement the exponents w_n(x) and w_n^*(x) defined by Mahler and Koksma. We calculate their six values when n=2 and x is a real number whose continued fraction expansion coincides with some Sturmian sequence of positive integers, up to the initial terms. In particular, we obtain the exact exponent of approximation to such a continued fraction x by quadratic surds.

math.NT↗
arXiv2004

Exponents of inhomogeneous Diophantine Approximation

In Diophantine approximation, inhomogeneous problems are linked with homogeneous ones by means of the so-called Transference Theorems. We revisit this classical topic by introducing new exponents of Diophantine approximation. We prove that the exponent of approximation to a generic point in R^n by a system of n linear forms is equal to the inverse of the uniform homogeneous exponent associated to the system of dual forms.

math.NT↗