BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We show the chess billiard map, which was introduced in [HM] in order to study a generalization of the n-Queens problem in chess, is a circle homeomorphism. We give a survey of some of the known results on circle homeomorphisms, and apply them to this map. We prove a number of new results which give answers to some of the open questions posed in [HM].
We prove that these Cantor sets are made up of transcendental numbers, apart from their endpoints 0 and 1, under some arithmetical assumptions on the data. To that purpose, we establish a criterion of linear independence over the field of algebraic numbers for the three numbers 1, a characteristic Sturmian number, and an arbitrary Sturmian number with the same slope.
Let −1<λ<1 and f:[0,1)→R be a piecewise λ-affine map, that is, there exist points 0=c0<c1<⋯<cn−1<cn=1 and real numbers b1,…,bn such that f(x)=λx+bi for every x∈[ci−1,ci). We prove that, for Lebesgue almost every δ∈R, the map fδ=f+δ(mod1) is asymptotically periodic. More precisely, fδ has at most 2n periodic orbits and the ω-limit set of every x∈[0,1) is a periodic orbit.
We refine metrical statements in the style of the Khintchine-Groshev Theorem by requiring certain coprimality constraints on the coordinates of the integer solutions.
Let ϕ1,…,ϕn:[0,1]→(0,1) be Lipschitz contractions. Let I=[0,1), x0=0 and xn=1. We prove that for Lebesgue almost every (x1,...,xn−1) satisfying 0<x1<⋯<xn−1<1, the piecewise contraction f:I→I defined by x∈[xi−1,xi)↦ϕi(x) is asymptotically periodic. More precisely, f has at least one and at most n periodic orbits and the ω-limit set ωf(x) is a periodic orbit of f for every x∈I.
We consider the iterates of a generic injective piecewise contraction of the interval defined by a finite family of contractions. Let ϕi:[0,1]→(0,1), 1≤i≤n, be C2-diffeomorphisms with supx∈(0,1)∣Dϕi(x)∣<1 whose images ϕ1([0,1]),…,ϕn([0,1]) are pairwise disjoint. Let 0<x1<⋯<xn−1<1 and let I1,…,In be a partition of the interval [0,1) into subintervals Ii having interior (xi−1,xi), where x0=0 and xn=1. Let fx1,…,xn−1 be the map given by x↦ϕi(x) if x∈Ii, for 1≤i≤n. Among other results we prove that for Lebesgue almost every (x1,…,xn−1), the piecewise contraction fx1,…,xn−1 is asymptotically periodic.
Homogeneous continued fraction algorithms are multidimensional generalizations of the classical Euclidean algorithm, the dissipative map $$ (x_1,x_2) \in \mathbb{R}_+^2 \longmapsto \left\{\begin{array}{ll} (x_1 - x_2, x_2), & \mbox{if $x_1 \geq x_2$} (x_1, x_2 - x_1), & \mbox{otherwise.} \end{array} \right. $$ We focus on those which act piecewise linearly on finitely many copies of positive cones which we call Rauzy induction type algorithms. In particular, a variation Selmer algorithm belongs to this class. We prove that Rauzy induction type algorithms, as well as Selmer algorithms, are ergodic with respect to Lebesgue measure.
We study the asymptotical behaviour of iterates of piecewise contractive maps of the interval. It is known that Poincaré first return maps induced by some Cherry flows on transverse intervals are, up to topological conjugacy, piecewise contractions. These maps also appear in discretely controlled dynamical systems, describing the time evolution of manufacturing process adopting some decision-making policies. An injective map f:[0,1)→[0,1) is a {\it piecewise contraction of n intervals}, if there exists a partition of the interval [0,1) into n intervals I1,..., In such that for every i∈1,...,n, the restriction f∣Ii is κ-Lipschitz for some κ∈(0,1). We prove that every piecewise contraction f of n intervals has at most n periodic orbits. Moreover, we show that every piecewise contraction is topologically conjugate to a piecewise linear contraction.
We consider homogeneous multidimensional continued fraction algorithms, in particular a family of maps which was introduced by F. Schweiger. We prove his conjecture regarding the existence of an absorbing set for those maps. We also establish that their renormalisations are nonergodic which disproves another conjecture due to Schweiger. Other homogeneous algorithms are also analysed including ones which are ergodic.
We describe various properties of continued fraction expansions of complex numbers in terms of Gaussian integers. Numerous distinct such expansions are possible for a complex number. They can be arrived at through various algorithms, as also in a more general way from what we call "iteration sequences". We consider in this broader context the analogues of the Lagrange theorem characterizing quadratic surds, the growth properties of the denominators of the convergents, and the overall relation between sequences satisfying certain conditions, in terms of nonoccurrence of certain finite blocks, and the sequences involved in continued fraction expansions. The results are also applied to describe a class of binary quadratic forms with complex coefficients whose values over the set of pairs of Gaussian integers form a dense set of complex numbers.
The two-dimensional homogeneous Euclidean algorithm is the central motivation for the definition of the classical multidimensional continued fraction algorithms, as Jacobi-Perron, Poincaré, Brun and Selmer algorithms. The Rauzy induction, a generalization of the Euclidean algorithm, is a key tool in the study of interval exchange transformations. Both maps are known to be dissipative and ergodic with respect to Lebesgue measure. Here we prove that they are exact.
We obtain variants of the classical Minkowski Theorem on inhomogeneous approximation where we require moreover that the solutions p,q be coprime integers. We link the subject with density exponents of lattice orbits in the real plane.
A sharp bound on the number of invariant components of an interval exchange transformation is provided. More precisely, it is proved that the number of periodic components n_per and the number of minimal components n_min of an interval exchange transformation of n intervals satisfy n_per+2 n_min\le n. Besides, it is shown that almost all interval exchange transformations are typical, that is, have all the periodic components stable and all the minimal components robust (i.e. persistent under almost all small perturbations). Finally, we find all the possible values for the integer vector (n_per, n_min) for all typical interval exchange transformation of n intervals.
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 γ.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.