-
Ergodicity of cocyles over 2-dimensional rotations
Authors:
Nicolas Chevallier,
Jean-Pierre Conze
Abstract:
We study recurrence and ergodicity of cocycles with values in R d , d $\ge$ 1, over rotations by badly approximable irrational numbers on T $ρ$ , $ρ$ \> 1. The discontinuities of the functions generating the cocycles also satisfy a Diophantine condition. For simplicity of notation we mainly consider the cases $ρ$ = 2, d = 1 and 2.
We study recurrence and ergodicity of cocycles with values in R d , d $\ge$ 1, over rotations by badly approximable irrational numbers on T $ρ$ , $ρ$ \> 1. The discontinuities of the functions generating the cocycles also satisfy a Diophantine condition. For simplicity of notation we mainly consider the cases $ρ$ = 2, d = 1 and 2.
△ Less
Submitted 27 January, 2025;
originally announced January 2025.
-
A dynamical view of Tijdeman's solution of the chairman assignment problem
Authors:
Valérie Berthé,
Olivier Carton,
Nicolas Chevallier,
Wolfgang Steiner,
Reem Yassawi
Abstract:
In 1980, R. Tijdeman provided an on-line algorithm that generates sequences over a finite alphabet with minimal discrepancy, that is, such that the occurrence of each letter optimally tracks its frequency. In this article, we define discrete dynamical systems generating these sequences. The dynamical systems are defined as exchanges of polytopal pieces, yielding cut and project schemes, and they…
▽ More
In 1980, R. Tijdeman provided an on-line algorithm that generates sequences over a finite alphabet with minimal discrepancy, that is, such that the occurrence of each letter optimally tracks its frequency. In this article, we define discrete dynamical systems generating these sequences. The dynamical systems are defined as exchanges of polytopal pieces, yielding cut and project schemes, and they code tilings of the line whose sets of vertices form model sets. We prove that these sequences of low discrepancy are natural codings of toral translations with respect to polytopal atoms, and that they generate a minimal and uniquely ergodic subshift with purely discrete spectrum. Finally, we show that the factor complexity of these sequences is of polynomial growth order $n^{d-1}$, where $d$ is the cardinality of the alphabet.
△ Less
Submitted 17 January, 2025; v1 submitted 14 May, 2024;
originally announced May 2024.
-
About the value of the two dimensional Levy's constant
Authors:
Yitwah Cheung,
Nicolas Chevallier
Abstract:
We give a numerical approximation of the Lévy constant on the growth of the denominators of the best Diophantine approximations in dimension 2 with respect to the euclidean norm. This constant is expressed as an integral on a surface of dimension 7. We reduce the computation of this integral to a triple integral, whose numerical evaluation was carried out in \cite{Xieu}.
We give a numerical approximation of the Lévy constant on the growth of the denominators of the best Diophantine approximations in dimension 2 with respect to the euclidean norm. This constant is expressed as an integral on a surface of dimension 7. We reduce the computation of this integral to a triple integral, whose numerical evaluation was carried out in \cite{Xieu}.
△ Less
Submitted 5 July, 2021;
originally announced July 2021.
-
The natural extension of the Gauss map and Hermite best approximations
Authors:
Nicolas Chevallier
Abstract:
Hermite best approximation vectors of a real number $θ$ were introduced by Lagarias. A nonzero vector (p, q) $\in$ Z x N is a Hermite best approximation vector of $θ$ if there exists $Δ$ > 0 such that (p -- q$θ$) 2 + q 2 /$Δ$ $\le$ (a -- b$θ$) 2 + b 2 /$Δ$ for all nonzero (a, b) $\in$ Z 2. Hermite observed that if q > 0 then the fraction p/q must be a convergent of the continued fraction expansion…
▽ More
Hermite best approximation vectors of a real number $θ$ were introduced by Lagarias. A nonzero vector (p, q) $\in$ Z x N is a Hermite best approximation vector of $θ$ if there exists $Δ$ > 0 such that (p -- q$θ$) 2 + q 2 /$Δ$ $\le$ (a -- b$θ$) 2 + b 2 /$Δ$ for all nonzero (a, b) $\in$ Z 2. Hermite observed that if q > 0 then the fraction p/q must be a convergent of the continued fraction expansion of $θ$ and Lagarias pointed out that some convergents are not associated with a Hermite best approximation vectors. In this note we show that the almost sure proportion of Hermite best approximation vectors among convergents is ln 3/ ln 4. The main tool of the proof is the natural extension of the Gauss map x $\in$]0, 1[$\rightarrow$ {1/x}.
△ Less
Submitted 2 March, 2021;
originally announced March 2021.
-
Gauss lattices and complex continued fractions
Authors:
Nicolas Chevallier
Abstract:
Our aim is to find a complex continued fraction algorithm finding all the best Diophantine approximations to a complex number. Using the sequence of minimal vectors in a two dimensional lattice over Gaussian integers, we obtain an algorithm defined on a submanifold of the space of unimodular two dimensional Gauss lattices. This submanifold is transverse to the diagonal flow. Thanks to the correspo…
▽ More
Our aim is to find a complex continued fraction algorithm finding all the best Diophantine approximations to a complex number. Using the sequence of minimal vectors in a two dimensional lattice over Gaussian integers, we obtain an algorithm defined on a submanifold of the space of unimodular two dimensional Gauss lattices. This submanifold is transverse to the diagonal flow. Thanks to the correspondence between minimal vectors and best Diophantine approximations, the algorithm finds all the best approximations to a complex number. A byproduct of the algorithm is the best constant for the complex version of Dirichlet Theorem about approximations of complex numbers by quotients of Gaussian integers.
△ Less
Submitted 4 October, 2021; v1 submitted 14 January, 2021;
originally announced January 2021.
-
Levy-Khintchin Theorem for best simultaneous Diophantine approximations
Authors:
Yitwah Cheung,
Nicolas Chevallier
Abstract:
We extend two results about the ordinary continued fraction expansion to best simultaneous Diophantine approximations of vectors or matrices. The first is Levy-Khintchin Theorem about the almost sure growth rate of the denominators of the convergents. The second is a Theorem of Bosma, Hendrik and Wiedijk about the almost sure limit distribution of the sequence of products $q_n d(q_nθ, Z)$ where th…
▽ More
We extend two results about the ordinary continued fraction expansion to best simultaneous Diophantine approximations of vectors or matrices. The first is Levy-Khintchin Theorem about the almost sure growth rate of the denominators of the convergents. The second is a Theorem of Bosma, Hendrik and Wiedijk about the almost sure limit distribution of the sequence of products $q_n d(q_nθ, Z)$ where the $q_n$'s are the denominators of the convergents associated with the real number $θ$ by the ordinary continued fraction algorithm. Beside these two main results, we show that when $d\ge2$, for almost all vectors $θ\in R^d$, $\liminf_{n\to\infty} q_{n+k}d(q_nθ, Z^d)=0$ for all positive integers $k$, where $(q_n)_{n\in N}$ is the sequence of best approximation denominators of $θ$.
△ Less
Submitted 6 April, 2022; v1 submitted 26 June, 2019;
originally announced June 2019.
-
Dynamic of generalized transvections
Authors:
Guido Ahumada,
Nicolas Chevallier
Abstract:
Given an increasing odd homeomorphism $σ$ : R $\rightarrow$ R, the two bijective maps h $σ$ , v $σ$ : R 2 $\rightarrow$ R 2 dened by h $σ$ (x, y) = (x + $σ$ --1 (y), y) and v $σ$ (x, y) = (x, $σ$(x) + y). are called generalized transvections. We study the action on the plane of the group $Γ$($σ$) generated by these two maps. Particularly interesting cases arise when $σ$(x) = sgn(x)|x| $α$. We prov…
▽ More
Given an increasing odd homeomorphism $σ$ : R $\rightarrow$ R, the two bijective maps h $σ$ , v $σ$ : R 2 $\rightarrow$ R 2 dened by h $σ$ (x, y) = (x + $σ$ --1 (y), y) and v $σ$ (x, y) = (x, $σ$(x) + y). are called generalized transvections. We study the action on the plane of the group $Γ$($σ$) generated by these two maps. Particularly interesting cases arise when $σ$(x) = sgn(x)|x| $α$. We prove that most points have dense orbits and that every nonzero point has a dense orbit when $σ$(x) = sgn(x)|x| 2. We also look at invariant measures and thanks to Nogueira's work about SL(2, Z)-invariant measure, we can determine these measures when $σ$ is linear in a neighborhood of the origin.
△ Less
Submitted 18 June, 2019;
originally announced June 2019.
-
Fixating Group Actions
Authors:
Guido Ahumada,
Bernard Brighi,
Nicolas Chevallier,
Augustin Fruchard
Abstract:
A group of bijections G acting on a set X is said with fixed points (abbreviated as gaf from the french "groupe {à} points fixes") if any element of G has at least one fixed point in X. The G group is said with a common fixed point (abbreviated as gag for "groupe {à} point fixe global") if there is x $\in$ X fixed by all elements of G. The group G is said fixating if any subgroup of G which is a g…
▽ More
A group of bijections G acting on a set X is said with fixed points (abbreviated as gaf from the french "groupe {à} points fixes") if any element of G has at least one fixed point in X. The G group is said with a common fixed point (abbreviated as gag for "groupe {à} point fixe global") if there is x $\in$ X fixed by all elements of G. The group G is said fixating if any subgroup of G which is a gaf is automatically a gag. The article explores which groups are fixating. The situation depends on the assumptions made on the group of bijections and on the support set X. For example the group of isometries of the Euclidean space R n is fixating for n 3 but not for n 4. The case of isometries of elliptic and hyperbolic spaces is also considered, as well as that of isometries of some discrete sets. As we will see, the situation depends upon the fact whether the so-called median inequality is satisfied in the ambient space or not. Besides, some of our constructions of nonfixating groups rely on the existence of free subgroups of certain linear groups.
△ Less
Submitted 25 January, 2019;
originally announced January 2019.
-
Hausdorff dimension and uniform exponents in dimension two
Authors:
Yann Bugeaud,
Yitwah Cheung,
Nicolas Chevallier
Abstract:
In this paper we prove the Hausdorff dimension of the set of (nondegenerate) singular two-dimensional vectors with uniform exponent $μ$ $\in$ (1/2, 1) is 2(1 -- $μ$) when $μ$ $\ge$ $\sqrt$ 2/2, whereas for $μ$ \textless{} $\sqrt$ 2/2 it is greater than 2(1 -- $μ$) and at most (3 -- 2$μ$)(1 -- $μ$)/(1 + $μ$ + $μ$ 2). We also establish that this dimension tends to 4/3 (which is the dimension of the…
▽ More
In this paper we prove the Hausdorff dimension of the set of (nondegenerate) singular two-dimensional vectors with uniform exponent $μ$ $\in$ (1/2, 1) is 2(1 -- $μ$) when $μ$ $\ge$ $\sqrt$ 2/2, whereas for $μ$ \textless{} $\sqrt$ 2/2 it is greater than 2(1 -- $μ$) and at most (3 -- 2$μ$)(1 -- $μ$)/(1 + $μ$ + $μ$ 2). We also establish that this dimension tends to 4/3 (which is the dimension of the set of singular two-dimensional vectors) when $μ$ tends to 1/2. These results improve upon previous estimates of R. Baker, joint work of the first author with M. Laurent, and unpublished work of M. Laurent. We also prove a lower bound on the packing dimension that is strictly greater than the Hausdorff dimension for $μ$ $\ge$ 0.565. .. .
△ Less
Submitted 20 October, 2016;
originally announced October 2016.
-
What is the minimal cardinal of a family which shatters all d-subsets of a finite set?
Authors:
N. Chevallier,
A. Fruchard
Abstract:
What is the minimal cardinal of a family which shatters all d-subsets of a finite set?
What is the minimal cardinal of a family which shatters all d-subsets of a finite set?
△ Less
Submitted 7 September, 2015;
originally announced September 2015.
-
Envelopes of $α$-sections
Authors:
Nicolas Chevallier,
Augustin Fruchard,
Costin Vîlcu
Abstract:
Let $K$ be a planar convex body af area $|K|$, and take $0 \textless{} α\textless{} 1$.An $α$-section of $K$ is a line cutting $K$ into two parts, one of whichhas area $α|K|$. This article presents a systematic study of the envelope of $α$-sectionsand its dependence on $α$. Several open questions are asked, one of themin relation to a problem of fair partitioning.
Let $K$ be a planar convex body af area $|K|$, and take $0 \textless{} α\textless{} 1$.An $α$-section of $K$ is a line cutting $K$ into two parts, one of whichhas area $α|K|$. This article presents a systematic study of the envelope of $α$-sectionsand its dependence on $α$. Several open questions are asked, one of themin relation to a problem of fair partitioning.
△ Less
Submitted 7 September, 2015;
originally announced September 2015.
