Showing 1–32 of 32 results for author: Bedaride, N

Linear Flows on Translation Prisms

Authors: Jayadev S. Athreya, Nicolas Bédaride, W. Patrick Hooper, Pascal Hubert

Abstract: Motivated by the study of billiards in polyhedra, we study linear flows in a family of singular flat $3$-manifolds which we call translation prisms. Using ideas of Furstenberg and Veech, we connect results about weak mixing properties of flows on translation surfaces to ergodic properties of linear flows on translation prisms, and use this to obtain several results about unique ergodicity of these… ▽ More Motivated by the study of billiards in polyhedra, we study linear flows in a family of singular flat $3$-manifolds which we call translation prisms. Using ideas of Furstenberg and Veech, we connect results about weak mixing properties of flows on translation surfaces to ergodic properties of linear flows on translation prisms, and use this to obtain several results about unique ergodicity of these prism flows and related billiard flows. Furthermore, we construct explicit eigenfunctions for translation flows in pseudo-Anosov directions with Pisot expansion factors, and use this construction to build explicit examples of non-ergodic prism flows, and non-ergodic billiard flows in a right prism over a regular $n$-gons for $n=7, 9, 14, 16, 18, 20, 24, 30$. △ Less

Submitted 11 April, 2025; originally announced April 2025.

Comments: 57 pages, 6 figures, additional figures and a SageMath notebook included in ancillary files

MSC Class: 37C83 (Primary) 37E35; 37A25 (Secondary)

On balance properties of hypercubic billiard words

Authors: Nicolas Bédaride, Valérie Berthé, Antoine Julien

Abstract: This paper studies balance properties for billiard words. Billiard words generalize Sturmian words by coding trajectories in hypercubic billiards. In the setting of aperiodic order, they also provide the simplest examples of quasicrystals, as tilings of the line obtained via cut and project sets with a cubical canonical window. By construction, the number of occurrences of each letter in a facto… ▽ More This paper studies balance properties for billiard words. Billiard words generalize Sturmian words by coding trajectories in hypercubic billiards. In the setting of aperiodic order, they also provide the simplest examples of quasicrystals, as tilings of the line obtained via cut and project sets with a cubical canonical window. By construction, the number of occurrences of each letter in a factor (i.e., a string of consecutive letters) of a hypercubic billiard word only depends on the length of the factor, up to an additive constant. In other words, the difference of the number of occurrences of each letter in factors of the same length is bounded. In contrast with the behaviour of letters, we prove the existence of words that are not balanced in billiard words: the difference of the number of occurrences of such unbalanced factors in longer factors of the same length is unbounded. The proof relies both on topological methods inspired by tiling cohomology and on arithmetic results on bounded remainder sets for toral translations. △ Less

Submitted 25 February, 2025; originally announced February 2025.

Measure transfer and $S$-adic developments for subshifts

Authors: Nicolas Bédaride, Arnaud Hilion, Martin Lustig

Abstract: Based on previous work of the authors, to any $S$-adic development of a subshift $X$ a "directive sequence" of commutative diagrams is associated, which consists at every level $n \geq 0$ of the measure cone and the letter frequency cone of the level subshift $X_n$ associated canonically to the given $S$-adic development. The issuing rich picture enables one to deduce results about $X$ with unex… ▽ More Based on previous work of the authors, to any $S$-adic development of a subshift $X$ a "directive sequence" of commutative diagrams is associated, which consists at every level $n \geq 0$ of the measure cone and the letter frequency cone of the level subshift $X_n$ associated canonically to the given $S$-adic development. The issuing rich picture enables one to deduce results about $X$ with unexpected directness. For instance, we exhibit a large class of minimal subshifts with entropy zero that all have infinitely many ergodic probability measures. As a side result we also exhibit, for any integer $d \geq 2$, an $S$-adic development of a minimal, aperiodic, uniquely ergodic subshift $X$, where all level alphabets ${\cal A}_n$ have cardinality $d\,$, while none of the $d-2$ bottom level morphisms is recognizable in its level subshift $X_n \subset {\cal A}_n^\mathbb Z$. △ Less

Submitted 4 May, 2023; v1 submitted 21 November, 2022; originally announced November 2022.

Comments: A new section 3 has been added. The revised version is more self-contained.${}^{}$

MSC Class: 37B10 (Primary) 37A25; 37E25 (Secondary)

The measure transfer for subshifts induced by a morphism of free monoids

Authors: Nicolas Bédaride, Arnaud Hilion, Martin Lustig

Abstract: Every non-erasing monoid morphism $σ: \mathcal{A}^* \to \mathcal{B}^*$ induces a {\em measure transfer map} $σ_X^{\mathcal{M}}: \mathcal{M}(X) \to \mathcal{M}(σ(X))$ between the measure cones $\mathcal{M}(X)$ and $\mathcal{M}(σ(X))$, associated to any subshift $X \subset \mathcal{A}^{\mathbb{Z}}$ and its image subshift $σ(X) \subset \mathcal{B}^{\mathbb{Z}}$ respectively. We define and study this… ▽ More Every non-erasing monoid morphism $σ: \mathcal{A}^* \to \mathcal{B}^*$ induces a {\em measure transfer map} $σ_X^{\mathcal{M}}: \mathcal{M}(X) \to \mathcal{M}(σ(X))$ between the measure cones $\mathcal{M}(X)$ and $\mathcal{M}(σ(X))$, associated to any subshift $X \subset \mathcal{A}^{\mathbb{Z}}$ and its image subshift $σ(X) \subset \mathcal{B}^{\mathbb{Z}}$ respectively. We define and study this map in detail and show that it is continuous, linear and functorial. It also turns out to be surjective \cite{BHL2.8-II}. Furthermore, an efficient technique to compute the value of the transferred measure $σ_X^{\mathcal{M}(μ)}$ on any cylinder $[w]$ (for $w \in \mathcal{B}^*$) is presented. \smallskip \noindent {\bf Theorem:} If a non-erasing morphism $σ: \mathcal{A}^* \to \mathcal{B}^*$ is injective on the shift-orbits of some subshift $X \subset \mathcal{A}^\mathbb{Z}$, then $σ^{\mathcal{M}_X}$ is injective. \smallskip The assumption on $σ$ that it is ``injective on the shift-orbits of $X$'' is strictly weaker than ``recognizable in $X$'', and strictly stronger than ``recognizable for aperiodic points in $X$''. The last assumption does in general not suffice to obtain the injectivity of the measure transfer map $σ_X^{\mathcal{M}}$. △ Less

Submitted 21 November, 2024; v1 submitted 21 November, 2022; originally announced November 2022.

MSC Class: 37B10 (Primary) 37A25; 37E25 (Secondary)

Journal ref: 2025 Nonlinearity 38 025001

Piecewise rotations: limit set for the non -bijective maps

Authors: Nicolas Bédaride, Jean françois Bertazzon, Idrissa Kaboré

Abstract: We consider non-bijective piecewise rotations of the plane. These maps belong to a family introduced in previous papers by Boshernitzan and Goetz. We derive in this paper some upper bounds to the size of the limit set. This improves results of \cite{Bosh.Goet.03}. We consider non-bijective piecewise rotations of the plane. These maps belong to a family introduced in previous papers by Boshernitzan and Goetz. We derive in this paper some upper bounds to the size of the limit set. This improves results of \cite{Bosh.Goet.03}. △ Less

Submitted 26 February, 2022; originally announced February 2022.

Comments: 24 pages

Journal ref: Dyn. Syst. 38, No. 1, 52-78 (2023)

Cohomology groups for spaces of 12-fold tilings

Authors: Nicolas Bedaride, Franz Gahler, Ana G. Lecuona

Abstract: We consider tilings of the plane with 12-fold symmetry obtained by the cut and projection method. We compute their cohomology groups using the techniques introduced by the second author, Hunton and Kellendonk. To do this we completely describe the window, the orbits of lines under the group action and the orbits of 0-singularities. The complete family of generalized 12-fold tilings can be describe… ▽ More We consider tilings of the plane with 12-fold symmetry obtained by the cut and projection method. We compute their cohomology groups using the techniques introduced by the second author, Hunton and Kellendonk. To do this we completely describe the window, the orbits of lines under the group action and the orbits of 0-singularities. The complete family of generalized 12-fold tilings can be described using 2-parameters and it presents a surprisingly rich cohomological structure. To put this finding into perspective, one should compare our results with the cohomology of the generalized 5-fold tilings (more commonly known as generalized Penrose tilings). In this case the tilings form a 1-parameter family, which fits in simply one of two types of cohomology. △ Less

Submitted 14 April, 2021; v1 submitted 1 December, 2020; originally announced December 2020.

Comments: 64 pages. Article reviewed following the referee's suggestions. New final 'Discussion' section added. To appear in IMRN

MSC Class: 52C23

Invariant measures on finite rank subshifts

Authors: Nicolas Bédaride, Arnaud Hilion, Martin Lustig

Abstract: In this note we show that for any subshift $X$ of finite $S$-rank every invariant measure $μ$ is determined by its values on finitely many cylinders. Under mild conditions these cylinders are given by the letters of the alphabet in question. In this note we show that for any subshift $X$ of finite $S$-rank every invariant measure $μ$ is determined by its values on finitely many cylinders. Under mild conditions these cylinders are given by the letters of the alphabet in question. △ Less

Submitted 19 July, 2020; originally announced July 2020.

Comments: 3 pages

Density of Binary Disc Packings: The 9 Compact Packings

Authors: Nicolas Bédaride, Thomas Fernique

Abstract: A disc packing in the plane is compact if its contact graph is a triangulation. There are $9$ values of $r$ such that a compact packing by discs of radii $1$ and $r$ exists. We prove, for each of these $9$ values, that the maximal density over all the packings by discs of radii $1$ and $r$ is reached for a compact packing (we give it as well as its density). A disc packing in the plane is compact if its contact graph is a triangulation. There are $9$ values of $r$ such that a compact packing by discs of radii $1$ and $r$ exists. We prove, for each of these $9$ values, that the maximal density over all the packings by discs of radii $1$ and $r$ is reached for a compact packing (we give it as well as its density). △ Less

Submitted 3 May, 2021; v1 submitted 17 February, 2020; originally announced February 2020.

Comments: code (SageMath) included in the source archive. arXiv admin note: text overlap with arXiv:1912.02297

MSC Class: 52C15

Tower power for $S$-adics

Authors: Nicolas Bédaride, Arnaud Hilion, Martin Lustig

Abstract: We explain and restate the results from our recent paper arXiv:1503.08000.v3 in standard language for substitutions and $S$-adic systems in symbolic dynamics. We then produce as rather direct application an $S$-adic system (with finite set of substitutions $S$ on $d$ letters) that is minimal and has $d$ distinct ergodic probability measures. As second application we exhibit a formula that allows… ▽ More We explain and restate the results from our recent paper arXiv:1503.08000.v3 in standard language for substitutions and $S$-adic systems in symbolic dynamics. We then produce as rather direct application an $S$-adic system (with finite set of substitutions $S$ on $d$ letters) that is minimal and has $d$ distinct ergodic probability measures. As second application we exhibit a formula that allows an efficient practical computation of the cylinder measure $μ([w])$, for any word $w \in \cal A^*$ and any invariant measure $μ$ on the subshift $X_σ$ defined by any everywhere growing but not necessarily primitive or irreducible substitution $σ: \cal A^* \to \cal A^*$. Several examples are considered in detail, and model computations are presented. △ Less

Submitted 11 March, 2020; v1 submitted 13 February, 2019; originally announced February 2019.

Comments: 20 pages. See also arXiv:1503.08000.v3

MSC Class: 37B10; 37A25; 37E25

Journal ref: Math. Z. 297, No. 3-4, 1853-1875 (2021)

Canonical projection tilings defined by patterns

Authors: Nicolas Bédaride, Thomas Fernique

Abstract: We give a necessary and sufficient condition on a $d$-dimensional affine subspace of $\mathbb{R}^n$ to be characterized by a finite set of patterns which are forbidden to appear in its digitization. This can also be stated in terms of local rules for canonical projection tilings, or subshift of finite type. This provides a link between algebraic properties of affine subspaces and combinatorics of… ▽ More We give a necessary and sufficient condition on a $d$-dimensional affine subspace of $\mathbb{R}^n$ to be characterized by a finite set of patterns which are forbidden to appear in its digitization. This can also be stated in terms of local rules for canonical projection tilings, or subshift of finite type. This provides a link between algebraic properties of affine subspaces and combinatorics of their digitizations. The condition relies on the notion of {\em coincidence} and can be effectively checked. As a corollary, we get that only algebraic subspaces can be characterized by patterns. △ Less

Submitted 17 December, 2018; originally announced December 2018.

Comments: 24 pages, 12 figures

MSC Class: 52C23; 37B50

Journal ref: Geom. Dedicata 208, 157-175 (2020)

Symbolic dynamics of a piecewise rotation: case of the non symmetric bijective maps

Authors: Nicolas Bédaride, Idrissa Kaboré

Abstract: We consider a specific piecewise rotation of the plane that is continuous on two half-planes, as studied by some authors like Boshernitzan, Goetz and Quas. If the angle belongs to the set $\{\fracπ{2},\frac{2π}{3},\fracπ{4}\}$, we give a complete description of the symbolic dynamics of this map in the non symmetric bijective case. We consider a specific piecewise rotation of the plane that is continuous on two half-planes, as studied by some authors like Boshernitzan, Goetz and Quas. If the angle belongs to the set $\{\fracπ{2},\frac{2π}{3},\fracπ{4}\}$, we give a complete description of the symbolic dynamics of this map in the non symmetric bijective case. △ Less

Submitted 14 May, 2017; originally announced May 2017.

MSC Class: 37A05

Journal ref: Qualitative Theory of Dynamical Systems, 17(3), 651-664, 2018

Icosahedral Tilings Revisited

Authors: Nicolas Bédaride, Thomas Fernique

Abstract: Icosahedral tilings, although non-periodic, are known to be characterized by their configurations of some finite size. This characterization has also been expressed in terms of a simple alternation condition. We provide an alternative proof - shorter and arguably easier - of this fact. We moreover conjecture that the alternation condition can be weakened. Icosahedral tilings, although non-periodic, are known to be characterized by their configurations of some finite size. This characterization has also been expressed in terms of a simple alternation condition. We provide an alternative proof - shorter and arguably easier - of this fact. We moreover conjecture that the alternation condition can be weakened. △ Less

Submitted 13 August, 2016; originally announced August 2016.

Comments: 5 pages, 1 figure

MSC Class: 37B50; 52C20; 52C23; 37B10 ACM Class: F.1.1

Topological substitutions and Rauzy fractals

Authors: Nicolas Bédaride, Arnaud Hilion, Timo Jolivet

Abstract: We consider two families of planar self-similar tilings of different nature: the tilings consisting of translated copies of the fractal sets defined by an iterated function system, and the tilings obtained as a geometrical realization of a topological substitution (an object of purely combinatorial nature). We establish a link between the two families in a specific case, by defining an explicit to… ▽ More We consider two families of planar self-similar tilings of different nature: the tilings consisting of translated copies of the fractal sets defined by an iterated function system, and the tilings obtained as a geometrical realization of a topological substitution (an object of purely combinatorial nature). We establish a link between the two families in a specific case, by defining an explicit topological substitution and by proving that it generates the same tilings as those associated with the Tribonacci Rauzy fractal. △ Less

Submitted 19 January, 2017; v1 submitted 9 March, 2016; originally announced March 2016.

Comments: 29 pages, 13 figures.To appear. Bulletin de la Société Mathématiques de France. 2017

Weak local rules for planar octagonal tilings

Authors: Nicolas Bédaride, Thomas Fernique

Abstract: We provide an effective characterization of the planar octagonal tilings which admit weak local rules. As a corollary, we show that they are all based on quadratic irrationalities, as conjectured by Thang Le in the 90s. We provide an effective characterization of the planar octagonal tilings which admit weak local rules. As a corollary, we show that they are all based on quadratic irrationalities, as conjectured by Thang Le in the 90s. △ Less

Submitted 31 August, 2016; v1 submitted 15 December, 2015; originally announced December 2015.

Comments: 23 pages, 6 figures

MSC Class: 37B50; 52C20; 52C23; 37B10 ACM Class: F.1.1

Journal ref: Isr. J. Math. 222, No. 1, 63-89 (2017)

An example of PET. Computation of the Hausdorff dimension of the aperiodic set

Authors: Nicolas Bédaride, Jean-François Bertazzon

Abstract: We introduce a family of piecewise isometries. This family is similar to the ones studied by Hooper and Schwartz. We prove that a renormalization scheme exists inside this family and compute the Hausdorff dimension of the discontinuity set. The methods use some cocycles and a continued fraction algorithm. We introduce a family of piecewise isometries. This family is similar to the ones studied by Hooper and Schwartz. We prove that a renormalization scheme exists inside this family and compute the Hausdorff dimension of the discontinuity set. The methods use some cocycles and a continued fraction algorithm. △ Less

Submitted 31 March, 2016; v1 submitted 5 December, 2015; originally announced December 2015.

Comments: 39 pages. To appear Transactions of the AMS. 2016

Journal ref: Transactions of the AMS. 2018 VOL 370, 1, 357-391

Thermodynamic formalism and Substitutions

Authors: Nicolas Bedaride, Pascal Hubert, Renaud Leplaideur

Abstract: This paper studies properties of a Renormalization Operator for potentials in symbolic dynamics. These operators first appeared in \cite{BLL} and the link with substitutions was done in \cite{BL1}. Their fixed points are natural candidates to have pathologic behavior such as phase transitions. If $R$ is such an operator, we study the convergence of $R^{n}(\varphi)$ to the non-nul fixed point. We… ▽ More This paper studies properties of a Renormalization Operator for potentials in symbolic dynamics. These operators first appeared in \cite{BLL} and the link with substitutions was done in \cite{BL1}. Their fixed points are natural candidates to have pathologic behavior such as phase transitions. If $R$ is such an operator, we study the convergence of $R^{n}(\varphi)$ to the non-nul fixed point. We define the family of marked substitutions, which contains the Thue-Morse substitution, and show that the associated renormalization operators on potentials admits a unique non-nul continuous fixed point. Then, we show that $R^{n}(\varphi)$ converges to the fixed point as soon as $\varphi$ has the right germ close to $\mathbb K$. △ Less

Submitted 9 January, 2019; v1 submitted 10 November, 2015; originally announced November 2015.

Comments: The paper has beeen splitted in two parts. This is the first part

Graph towers, laminations and their invariant measures

Authors: Nicolas Bédaride, Arnaud Hilion, Martin Lustig

Abstract: In this paper we present a combinatorial machinery, consisting of a graph tower $\overleftarrow Γ$ and vector towers $\overleftarrow v$ on $\overleftarrow Γ$, which allows us to efficiently describe all invariant measures $μ= μ^{\overleftarrow v}$ on any given shift space over a finite alphabet. The new technology admits a number of direct applications, in particular concerning invariant measure… ▽ More In this paper we present a combinatorial machinery, consisting of a graph tower $\overleftarrow Γ$ and vector towers $\overleftarrow v$ on $\overleftarrow Γ$, which allows us to efficiently describe all invariant measures $μ= μ^{\overleftarrow v}$ on any given shift space over a finite alphabet. The new technology admits a number of direct applications, in particular concerning invariant measures on non-primitive substitution subshifts, minimal subshifts with many ergodic measures, or an efficient calculation of the measure of a given cylinder. It also applies to currents on a free group $F_N$, and in particular the set of projectively fixed currents under the action of a (possibly reducible) endomorphism $\varphi: F_N \to F_N$ is determined, when $\varphi$ is represented by a train track map. △ Less

Submitted 14 November, 2019; v1 submitted 27 March, 2015; originally announced March 2015.

Comments: 52 pages, 3 figures. This is rather a new paper than a new version of the old one. The setting is much more general, and also closer to a symbolic dynamics spirit. Also, some of the work from the original paper has been removed and will be taken up in a forthcoming paper. Accepted in Journal of London Mathematical society. To appear 2019

MSC Class: 20F65; 37B10; 37A25; 20E05; 37B05; 20E08

Journal ref: Journal of London mathematical society, 2020

No Weak Local Rules for the 4p-Fold Tilings

Authors: Nicolas Bédaride, Thomas Fernique

Abstract: On the one hand, Socolar showed in 1990 that the n-fold planar tilings admit weak local rules when n is not divisible by 4 (the n=10 case corresponds to the Penrose tilings and is known since 1974). On the other hand, Burkov showed in 1988 that the 8-fold tilings do not admit weak local rules, and Le showed the same for the 12-fold tilings (unpublished). We here show that this is actually the case… ▽ More On the one hand, Socolar showed in 1990 that the n-fold planar tilings admit weak local rules when n is not divisible by 4 (the n=10 case corresponds to the Penrose tilings and is known since 1974). On the other hand, Burkov showed in 1988 that the 8-fold tilings do not admit weak local rules, and Le showed the same for the 12-fold tilings (unpublished). We here show that this is actually the case for all the 4p-fold tilings. △ Less

Submitted 23 September, 2015; v1 submitted 31 August, 2014; originally announced September 2014.

Comments: 14 pages, 6 figures

MSC Class: 37B50; 52C23

Journal ref: Discrete and Computational Geometry 54 (2015), pp. 980--992

When periodicities enforce aperiodicity

Authors: Nicolas Bédaride, Thomas Fernique

Abstract: Aperiodic tilings are non-periodic tilings defined by local rules. They are widely used to model quasicrystals, and a central question is to understand which of the non-periodic tilings are actually aperiodic. Among tilings, those by rhombi can be easily seen as approximations of surfaces in higher dimensional spaces. In particular, those which approximate irrational planes are non-periodic. But w… ▽ More Aperiodic tilings are non-periodic tilings defined by local rules. They are widely used to model quasicrystals, and a central question is to understand which of the non-periodic tilings are actually aperiodic. Among tilings, those by rhombi can be easily seen as approximations of surfaces in higher dimensional spaces. In particular, those which approximate irrational planes are non-periodic. But which ones are also aperiodic? This paper introduces the notion of subperiod, which links algebraic properties of a plane with geometric properties of the tilings that approximate it. A necessary and sufficient condition is obtained for tilings that can be seen in the four dimensional Euclidean space. This result is then applied to some examples in higher codimensions, notably tilings with n-fold rotational symmetry. △ Less

Submitted 16 November, 2014; v1 submitted 14 September, 2013; originally announced September 2013.

Comments: 27 pages, 12 figures

MSC Class: 37B50; 52C23

Journal ref: Communications in Mathematical Physics 335 (2015), pp. 1099--1120

Symbolic dynamics for the piecewise rotations: Case of the bijective symmetric maps

Authors: Nicolas Bédaride, Idrissa Kaboré

Abstract: We consider a specific %piecewise rotation of the plane that is continuous on two half-planes, class of piecewise rotations of the plane that are continuous on two half-planes, as studied in \cite{Bosh.Goet.03}, \cite{Goet.Quas.09} and \cite{Che.Goe.Qua.12}. %If Assuming that the angle belongs to the set $\{\fracπ{2},\fracπ{3},\fracπ{6},\fracπ{4}\} %$ $, we give a description of the symbolic dynam… ▽ More We consider a specific %piecewise rotation of the plane that is continuous on two half-planes, class of piecewise rotations of the plane that are continuous on two half-planes, as studied in \cite{Bosh.Goet.03}, \cite{Goet.Quas.09} and \cite{Che.Goe.Qua.12}. %If Assuming that the angle belongs to the set $\{\fracπ{2},\fracπ{3},\fracπ{6},\fracπ{4}\} %$ $, we give a description of the symbolic dynamics of this map in the bijective symmetric case. △ Less

Submitted 30 April, 2020; v1 submitted 26 June, 2013; originally announced June 2013.

Comments: To appear in The African diaspora journal of mathematics

The Ammann-Beenker tilings revisited

Authors: Nicolas Bédaride, Thomas Fernique

Abstract: This paper introduces two tiles whose tilings form a one-parameter family of tilings which can all be seen as digitization of two-dimensional planes in the four-dimensional Euclidean space. This family contains the Ammann-Beenker tilings as the solution of a simple optimization problem. This paper introduces two tiles whose tilings form a one-parameter family of tilings which can all be seen as digitization of two-dimensional planes in the four-dimensional Euclidean space. This family contains the Ammann-Beenker tilings as the solution of a simple optimization problem. △ Less

Submitted 17 August, 2012; originally announced August 2012.

Comments: 7 pages, 4 figures

MSC Class: 52C23; 05B45; 37B50

Minoration of the complexity function associated to a translation on the torus

Authors: Nicolas Bédaride, Jean François Bertazzon

Abstract: We show that the complexity function $p_k(n)$ of a piecewise translation map conjugated to a minimal translation on the torus $\TT^k = \RR^k / \ZZ^k$ is at least $kn+1$ for every integer $n$. We show that the complexity function $p_k(n)$ of a piecewise translation map conjugated to a minimal translation on the torus $\TT^k = \RR^k / \ZZ^k$ is at least $kn+1$ for every integer $n$. △ Less

Submitted 17 February, 2013; v1 submitted 12 July, 2012; originally announced July 2012.

Comments: 10 pages. 4 figures

Journal ref: Monatshefte fur Mathematik. 2013 Volume 171, Issue 3, Page 291-304

Classification of rotations on the torus $\mathbb{T}^2$

Authors: Nicolas Bédaride

Abstract: We consider rotations on the torus $\mathbb{T}^2$, and we classify them with respect to the complexity functions. In dimension one, a minimal rotation can be coded by a sturmian word. A sturmian word has complexity $n+1$ by the Morse-Hedlund theorem. Here we make a generalization in dimension two. We consider rotations on the torus $\mathbb{T}^2$, and we classify them with respect to the complexity functions. In dimension one, a minimal rotation can be coded by a sturmian word. A sturmian word has complexity $n+1$ by the Morse-Hedlund theorem. Here we make a generalization in dimension two. △ Less

Submitted 23 May, 2012; originally announced May 2012.

Comments: 18 pages, 4 figures

Journal ref: Theoretical Computer science. 2007, volume 385, issues 1-3, pages 214-225

Entropy of polyhedral billiard

Authors: Nicolas Bédaride

Abstract: We consider the billiard map in a convex polyhedron of $\mathbb{R}^3$, and we prove that it is of zero topological entropy. We consider the billiard map in a convex polyhedron of $\mathbb{R}^3$, and we prove that it is of zero topological entropy. △ Less

Submitted 30 April, 2012; originally announced April 2012.

Comments: 18 pages, 3 figures

Journal ref: Discrete and continuous dynamical systems. 2007, volume 19, numéro 1, pages 89-102

Billiard complexity in rational polyhedra

Authors: Nicolas Bedaride

Abstract: We give a new proof for the directional billiard complexity in the cube, which was conjectured in \cite{Ra} and proven in \cite{Ar.Ma.Sh.Ta}. Our technique gives us a similar theorem for some rational polyhedra. We give a new proof for the directional billiard complexity in the cube, which was conjectured in \cite{Ra} and proven in \cite{Ar.Ma.Sh.Ta}. Our technique gives us a similar theorem for some rational polyhedra. △ Less

Submitted 20 March, 2012; originally announced March 2012.

Comments: 9 pages, 4 figures

Journal ref: Regular and chaotic dynamical systems (2003) volume 8, numero 1, pages 97-104

Regular simplices and periodic billiard orbits

Authors: Nicolas Bedaride, Michael Rao

Abstract: A simplex is the convex hull of $n+1$ points in $\mathbb{R}^{n}$ which form an affine basis. A regular simplex $Δ^n$ is a simplex with sides of the same length. We consider the billiard flow inside a regular simplex of $\mathbb{R}^n$. We show the existence of two types of periodic trajectories. One has period $n+1$ and hits once each face. The other one has period $2n$ and hits $n$ times one of th… ▽ More A simplex is the convex hull of $n+1$ points in $\mathbb{R}^{n}$ which form an affine basis. A regular simplex $Δ^n$ is a simplex with sides of the same length. We consider the billiard flow inside a regular simplex of $\mathbb{R}^n$. We show the existence of two types of periodic trajectories. One has period $n+1$ and hits once each face. The other one has period $2n$ and hits $n$ times one of the faces while hitting once any other face. In both cases we determine the exact coordinates for the points where the trajectory hits the boundary of the simplex. △ Less

Submitted 21 October, 2012; v1 submitted 11 December, 2011; originally announced December 2011.

Comments: To appear Proceedings of the American Mathematical Society

Report number: Proc. Amer. Math. Soc. 142 (2014), no. 10, 3511--3519

Billiard complexity in the hypercube

Authors: Nicolas Bedaride, Pascal Hubert

Abstract: We consider the billiard map in the hypercube of $\mathbb{R}^d$. We obtain a language by coding the billiard map by the faces of the hypercube. We investigate the complexity function of this language. We prove that $n^{3d-3}$ is the order of magnitude of the complexity. We consider the billiard map in the hypercube of $\mathbb{R}^d$. We obtain a language by coding the billiard map by the faces of the hypercube. We investigate the complexity function of this language. We prove that $n^{3d-3}$ is the order of magnitude of the complexity. △ Less

Submitted 29 September, 2011; originally announced September 2011.

Comments: 18 pages, 3 figures

MSC Class: 37A35; 37C35; 05A16; 11N37; 28D

Journal ref: Annales de l'institut Fourier. 2007, 57 (3) 719-738

Periodic billiard trajectories in polyhedra

Authors: Nicolas Bedaride

Abstract: We consider the billiard map inside a polyhedron. We give a condition for the stability of the periodic trajectories. We apply this result to the case of the tetrahedron. We deduce the existence of an open set of tetrahedra which have a periodic orbit of length four (generalization of Fagnano's orbit for triangles), moreover we can study completly the orbit of points along this coding. We consider the billiard map inside a polyhedron. We give a condition for the stability of the periodic trajectories. We apply this result to the case of the tetrahedron. We deduce the existence of an open set of tetrahedra which have a periodic orbit of length four (generalization of Fagnano's orbit for triangles), moreover we can study completly the orbit of points along this coding. △ Less

Submitted 6 April, 2011; originally announced April 2011.

Comments: 15 pages, 3 figures

Journal ref: Forum geometricorum Volume 8 (2008), pages 107-120

Geometric realizations of two dimensional substitutive tilings

Authors: Nicolas Bedaride, Arnaud Hilion

Abstract: We define 2-dimensional topological substitutions. A tiling of the Euclidean plane, or of the hyperbolic plane, is substitutive if the underlying 2-complex can be obtained by iteration of a 2-dimensional topological substitution. We prove that there is no primitive substitutive tiling of the hyperbolic plane $\mathbb{H}^2$. However, we give an example of substitutive tiling of $\Hyp^2$ which is no… ▽ More We define 2-dimensional topological substitutions. A tiling of the Euclidean plane, or of the hyperbolic plane, is substitutive if the underlying 2-complex can be obtained by iteration of a 2-dimensional topological substitution. We prove that there is no primitive substitutive tiling of the hyperbolic plane $\mathbb{H}^2$. However, we give an example of substitutive tiling of $\Hyp^2$ which is non-primitive. △ Less

Submitted 13 June, 2012; v1 submitted 20 January, 2011; originally announced January 2011.

Comments: 30 pages, 13 figures

MSC Class: 52C20; 52C23; 37B10

Journal ref: Quarterly Journal of Mathematics. 2013 Volume 4, 255-279

A characterization of quasi-rational polygons

Authors: Nicolas Bedaride

Abstract: The aim of this paper is to study quasi-rational polygons related to the outer billiard. We compare different notions introduced, and make a synthesis of those. The aim of this paper is to study quasi-rational polygons related to the outer billiard. We compare different notions introduced, and make a synthesis of those. △ Less

Submitted 27 March, 2012; v1 submitted 7 December, 2010; originally announced December 2010.

Comments: 15 pages, 9 figures

MSC Class: 37E99

Journal ref: Nonlinearity 25 (2012) 3099-3110

On the Number of Balanced Words of Given Length and Height over a Two-Letter Alphabet

Authors: Nicolas Bedaride, Eric Domenjoud, Damien Jamet, Jean-Luc Remy

Abstract: We exhibit a recurrence on the number of discrete line segments joining two integer points in the plane using an encoding of such segments as balanced words of given length and height over the two-letter alphabet $\{0,1\}$. We give generating functions and study the asymptotic behaviour. As a particular case, we focus on the symmetrical discrete segments which are encoded by balanced palindromes. We exhibit a recurrence on the number of discrete line segments joining two integer points in the plane using an encoding of such segments as balanced words of given length and height over the two-letter alphabet $\{0,1\}$. We give generating functions and study the asymptotic behaviour. As a particular case, we focus on the symmetrical discrete segments which are encoded by balanced palindromes. △ Less

Submitted 29 July, 2010; originally announced July 2010.

Comments: 24 pages

Journal ref: published in Discrete Mathematics & Theoretical Computer Science in 2010

Outer billiard outside regular polygons

Authors: Nicolas Bedaride, Julien Cassaigne

Abstract: We consider outer billiard outside regular convex polygons. We deal with the case of regular polygons with $\{3,4,5,6,10\}$ sides, and we describe the symbolic dynamics of the map and compute the complexity of the language. We consider outer billiard outside regular convex polygons. We deal with the case of regular polygons with $\{3,4,5,6,10\}$ sides, and we describe the symbolic dynamics of the map and compute the complexity of the language. △ Less

Submitted 7 February, 2011; v1 submitted 29 December, 2009; originally announced December 2009.

Comments: 53 pages, 12 figures

MSC Class: 37A05; 37E15

Journal ref: Journal of the London Mathematical Society, 2011. Number 83 volume 2, 301-323