Showing 1–28 of 28 results for author: Fernique, T

Bounding the density of binary sphere packing

Authors: Thomas Fernique, Daria Pchelina

Abstract: This paper provides the currently best known upper bound on the density of a packing in three-dimensional Euclidean space of two types of spheres whose size ratio is the largest one that allows the insertion of a small sphere in each octahedral hole of a hexagonal compact packing of large spheres. This upper bound is obtained by bounding from above the density of the tetrahedra which can appear in… ▽ More This paper provides the currently best known upper bound on the density of a packing in three-dimensional Euclidean space of two types of spheres whose size ratio is the largest one that allows the insertion of a small sphere in each octahedral hole of a hexagonal compact packing of large spheres. This upper bound is obtained by bounding from above the density of the tetrahedra which can appear in the additively-weighted Delaunay decomposition of the sphere centers of such packings. The proof relies on challenging computer calculations in interval arithmetic and may be of interest by their own. △ Less

Submitted 20 May, 2025; originally announced May 2025.

Comments: 45 pages, 15 figures, 10 accompanying computer programs

MSC Class: 68V05; 52C17; 65G30

Square-Triangle Tilings: Lift & Flip to Sample?

Authors: Thomas Fernique, Olga Mikhailovna Sizova

Abstract: We introduce an elementary transformation called flips on tilings by squares and triangles and conjecture that it connects any two tilings of the same region of the Euclidean plane. We introduce an elementary transformation called flips on tilings by squares and triangles and conjecture that it connects any two tilings of the same region of the Euclidean plane. △ Less

Submitted 24 June, 2024; originally announced June 2024.

Comments: In Proceedings GASCom 2024, arXiv:2406.14588

ACM Class: G.2.0; I.3.5

Journal ref: EPTCS 403, 2024, pp. 92-95

Shield tilings

Authors: Thomas Fernique, Olga Mikhailovna Sizova

Abstract: We provide a complete description of the edge-to-edge tilings with a regular triangle and a shield-shaped hexagon with no right angle. The case of a hexagon with a right angle is also briefly discussed. We provide a complete description of the edge-to-edge tilings with a regular triangle and a shield-shaped hexagon with no right angle. The case of a hexagon with a right angle is also briefly discussed. △ Less

Submitted 28 May, 2023; originally announced May 2023.

MSC Class: 05B45; 37B52; 52C20

Packing unequal disks in the Euclidean plane

Authors: Thomas Fernique

Abstract: A packing of disks in the plane is a set of disks with disjoint interiors. This paper is a survey of some open questions about such packings. It is organized into five themes: compacity, conjugacy, density, uniformity and computability. A packing of disks in the plane is a set of disks with disjoint interiors. This paper is a survey of some open questions about such packings. It is organized into five themes: compacity, conjugacy, density, uniformity and computability. △ Less

Submitted 2 September, 2024; v1 submitted 22 May, 2023; originally announced May 2023.

Comments: Survey

MSC Class: 52C15; 37B52; 52C23

Journal ref: Computational Geometry 124-125, 2025, 102134

Geometrical Penrose Tilings are characterized by their 1-atlas

Authors: Thomas Fernique, Victor Lutfalla

Abstract: Rhombus Penrose tilings are tilings of the plane by two decorated rhombi such that the decoration match at the junction between two tiles (like in a jigsaw puzzle). In dynamical terms, they form a tiling space of finite type. If we remove the decorations, we get, by definition, a sofic tiling space that we here call geometrical Penrose tilings. Here, we show how to compute the patterns of a given… ▽ More Rhombus Penrose tilings are tilings of the plane by two decorated rhombi such that the decoration match at the junction between two tiles (like in a jigsaw puzzle). In dynamical terms, they form a tiling space of finite type. If we remove the decorations, we get, by definition, a sofic tiling space that we here call geometrical Penrose tilings. Here, we show how to compute the patterns of a given size which appear in these tilings by two different method: one based on the substitutive structure of the Penrose tilings and the other on their definition by the cut and projection method. We use this to prove that the geometrical Penrose tilings are characterized by a small set of patterns called vertex-atlas, i.e., they form a tiling space of finite type. Though considered as folk, no complete proof of this result has been published, to our knowledge. △ Less

Submitted 2 August, 2023; v1 submitted 15 November, 2022; originally announced November 2022.

Density of triangulated ternary disc packings

Authors: Thomas Fernique, Daria Pchelina

Abstract: We consider ternary disc packings of the plane, i.e. the packings using discs of three different radii. Packings in which each ''hole'' is bounded by three pairwise tangent discs are called triangulated. There are 164 pairs $(r,s)$, $1{>}r{>}s$, allowing triangulated packings by discs of radii 1, $r$ and $s$. In this paper, we enhance existing methods of dealing with maximal-density packings in or… ▽ More We consider ternary disc packings of the plane, i.e. the packings using discs of three different radii. Packings in which each ''hole'' is bounded by three pairwise tangent discs are called triangulated. There are 164 pairs $(r,s)$, $1{>}r{>}s$, allowing triangulated packings by discs of radii 1, $r$ and $s$. In this paper, we enhance existing methods of dealing with maximal-density packings in order to find ternary triangulated packings which maximize the density among all the packings with the same disc radii. We showed for 16 pairs that the density is maximized by a triangulated ternary packing; for 15 other pairs, we proved the density to be maximized by a triangulated packing using only two sizes of discs; for 40 pairs, we found non-triangulated packings strictly denser than any triangulated one; finally, we classified the remaining cases where our methods are not applicable. △ Less

Submitted 5 November, 2022; originally announced November 2022.

Comments: 37 pages, SageMath code included in source (in 'code' directory)

MSC Class: 52C15

Ammann Bars for Octagonal Tilings

Authors: Thomas Fernique, Carole Porrier

Abstract: Ammann bars are formed by segments (decorations) on the tiles of a tiling such that forming straight lines with them while tiling forces non-periodicity. Only a few cases are known, starting with Robert Ammann's observations on Penrose tiles, but there is no general explanation or construction. In this article we propose a general method for cut and project tilings based on the notion of subperiod… ▽ More Ammann bars are formed by segments (decorations) on the tiles of a tiling such that forming straight lines with them while tiling forces non-periodicity. Only a few cases are known, starting with Robert Ammann's observations on Penrose tiles, but there is no general explanation or construction. In this article we propose a general method for cut and project tilings based on the notion of subperiods and we illustrate it with an aperiodic set of 36 decorated prototiles related to what we called Cyrenaic tilings. △ Less

Submitted 25 October, 2024; v1 submitted 27 May, 2022; originally announced May 2022.

Comments: sagemath code as an ancillary file

MSC Class: 37B52; 52C23

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Combinatorics (November 4, 2024) dmtcs:10764

Purely local growth of a quasicrystal

Authors: Thomas Fernique, Ilya Galanov

Abstract: Self-assembly is the process in which the components of a system, whether molecules, polymers, or macroscopic particles, are organized into ordered structures as a result of local interactions between the components themselves, without exterior guidance. In this paper, we speak about the self-assembly of aperiodic tilings. Aperiodic tilings serve as a mathematical model for quasicrystals - crystal… ▽ More Self-assembly is the process in which the components of a system, whether molecules, polymers, or macroscopic particles, are organized into ordered structures as a result of local interactions between the components themselves, without exterior guidance. In this paper, we speak about the self-assembly of aperiodic tilings. Aperiodic tilings serve as a mathematical model for quasicrystals - crystals that do not have any translational symmetry. Because of the specific atomic arrangement of these crystals, the question of how they grow remains open. In this paper, we state the theorem regarding purely local and deterministic growth of Golden-Octagonal tilings. Showing, contrary to the popular belief, that local growth of aperiodic tilings is possible. △ Less

Submitted 12 January, 2022; v1 submitted 3 January, 2022; originally announced January 2022.

Comments: typos corrected, revised argument in section 4, 24 pages, 12 figures

MSC Class: 52C23

Density of binary disc packings: lower and upper bounds

Authors: Thomas Fernique

Abstract: We provide, for any $r\in (0,1)$, lower and upper bounds on the maximal density of a packing in the Euclidean plane of discs of radius $1$ and $r$. The lower bounds are mostly folk, but the upper bounds improve the best previously known ones for any $r\in[0.11,0.74]$. For many values of $r$, this gives a fairly good idea of the exact maximum density. In particular, we get new intervals for $r$ whi… ▽ More We provide, for any $r\in (0,1)$, lower and upper bounds on the maximal density of a packing in the Euclidean plane of discs of radius $1$ and $r$. The lower bounds are mostly folk, but the upper bounds improve the best previously known ones for any $r\in[0.11,0.74]$. For many values of $r$, this gives a fairly good idea of the exact maximum density. In particular, we get new intervals for $r$ which does not allow any packing more dense that the hexagonal packing of equal discs. △ Less

Submitted 6 June, 2022; v1 submitted 29 July, 2021; originally announced July 2021.

Comments: C++ code and sagemath worksheet in ancillary files. Relies on results provided in arXiv:2002.07168

MSC Class: 52C15

Journal ref: Experimental mathematics, 2022

Compact Packings are not always the Densest

Authors: Thomas Fernique, Daria Pchelina

Abstract: We provide a counterexample to a conjecture by B. Connelly about density of circle packings We provide a counterexample to a conjecture by B. Connelly about density of circle packings △ Less

Submitted 27 April, 2021; v1 submitted 26 April, 2021; originally announced April 2021.

Comments: 2 pages, SageMath code included in source (file 110.sage)

MSC Class: 52C15

Density of Binary Disc Packings: Playing with Stoichiometry

Authors: Thomas Fernique

Abstract: We consider hard-disc mixtures with disc sizes within ratio $\sqrt{2}-1$, that is, the small disc exactly fits in the hole between four large discs. For each prescribed stoichiometry of large and small discs, the densest packings are rigorously determined via a computer-assisted proof. The density is maximal for the 1:1 stoichiometry: the large discs then form a square grid in each interstitial si… ▽ More We consider hard-disc mixtures with disc sizes within ratio $\sqrt{2}-1$, that is, the small disc exactly fits in the hole between four large discs. For each prescribed stoichiometry of large and small discs, the densest packings are rigorously determined via a computer-assisted proof. The density is maximal for the 1:1 stoichiometry: the large discs then form a square grid in each interstitial site of which a small disc nests. When there is an excess of large discs, the densest packings are made of a single phase which mixes the two types of discs in a chaotic way (it can be described by square-triangle tilings). When there is an excess of small discs, on the contrary, a phenomenon of phase separation appears: the large discs are involved in the densest 1:1 stoichiometry phases while the excess of small discs form compact hexagonal phases. △ Less

Submitted 20 January, 2022; v1 submitted 25 June, 2020; originally announced June 2020.

Comments: The code used in the proof can be found in ancillary file (check.cpp)

MSC Class: 52C15

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

A Densest ternary circle packing in the plane

Authors: Thomas Fernique

Abstract: We consider circle packings in the plane with circles of sizes $1$, $r\simeq 0.834$ and $s\simeq 0.651$. These sizes are algebraic numbers which allow a compact packing, that is, a packing in which each hole is formed by three mutually tangent circles. Compact packings are believed to maximize the density when there are possible. We prove that it is indeed the case for these sizes. The proof shoul… ▽ More We consider circle packings in the plane with circles of sizes $1$, $r\simeq 0.834$ and $s\simeq 0.651$. These sizes are algebraic numbers which allow a compact packing, that is, a packing in which each hole is formed by three mutually tangent circles. Compact packings are believed to maximize the density when there are possible. We prove that it is indeed the case for these sizes. The proof should be generalizable to other sizes which allow compact packings and is a first step towards a general result. △ Less

Submitted 4 December, 2019; originally announced December 2019.

MSC Class: 52C15

Compact packings of space with three sizes of spheres

Authors: Thomas Fernique

Abstract: A sphere packing of the three-dimensional Euclidean space is compact if it has only tetrahedral holes, that is, any local maximum of the distance to the spheres is at equal distance to exactly four spheres. This papers describes all the compact packings with spheres of three different sizes. They are close-compact packings of unit spheres with holes filled in four different ways by smaller spheres… ▽ More A sphere packing of the three-dimensional Euclidean space is compact if it has only tetrahedral holes, that is, any local maximum of the distance to the spheres is at equal distance to exactly four spheres. This papers describes all the compact packings with spheres of three different sizes. They are close-compact packings of unit spheres with holes filled in four different ways by smaller spheres. △ Less

Submitted 4 December, 2019; originally announced December 2019.

Comments: 11 pages

MSC Class: 52C17

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)

Compact packings of the plane with three sizes of discs

Authors: Thomas Fernique, Amir Hashemi, Olga Sizova

Abstract: A compact packing is a set of non-overlapping discs where all the holes between discs are curvilinear triangles. There is only one compact packing by discs of size $1$. There are exactly $9$ values of $r$ which allow a compact packing by discs of sizes $1$ and $r$. We prove here that there are exactly $164$ pairs $(r,s)$ allowing a compact packing by discs of sizes $1$, $r$ and $s$. A compact packing is a set of non-overlapping discs where all the holes between discs are curvilinear triangles. There is only one compact packing by discs of size $1$. There are exactly $9$ values of $r$ which allow a compact packing by discs of sizes $1$ and $r$. We prove here that there are exactly $164$ pairs $(r,s)$ allowing a compact packing by discs of sizes $1$, $r$ and $s$. △ Less

Submitted 8 February, 2020; v1 submitted 26 September, 2018; originally announced October 2018.

Comments: code (SageMath) included

MSC Class: 05B40; 52C15; 52C26; 11H31; 65D18; 68W30; 68U05

Empilements compacts avec trois tailles de disque

Authors: Thomas Fernique, Amir Hashemi, Olga Sizova

Abstract: Discs form a compact packing of the plane if they are interior disjoint and the graph which connects the center of mutually tangent discs is triangulated. There is only one compact packing by discs all of the same size, called hexagonal compact packing. It has been previously proven that there are exactly $9$ values of $r$ such that there exists a compact packing with discs of radius $1$ and $r$.… ▽ More Discs form a compact packing of the plane if they are interior disjoint and the graph which connects the center of mutually tangent discs is triangulated. There is only one compact packing by discs all of the same size, called hexagonal compact packing. It has been previously proven that there are exactly $9$ values of $r$ such that there exists a compact packing with discs of radius $1$ and $r$. This paper shows that there are exactly $164$ pairs $(r,s)$ such that there exists a compact packing with discs of radius $1$, $r$ and $s$. In all these $164$ cases, there exists a periodic packing. △ Less

Submitted 26 September, 2018; v1 submitted 31 August, 2018; originally announced August 2018.

Comments: In french

MSC Class: 05B40; 52C15; 52C26; 11H31; 65D18; 68W30; 68U05

Yet Another Proof of the Aperiodicity of Robinson Tiles

Authors: Thomas Fernique

Abstract: Short proof of the aperiodicity of the Robinson tile set. Short proof of the aperiodicity of the Robinson tile set. △ Less

Submitted 9 November, 2017; originally announced November 2017.

Comments: 2 pages

Brun expansions of stepped surfaces

Authors: Valérie Berthé, Thomas Fernique

Abstract: Dual maps have been introduced as a generalization to higher dimensions of word substitutions and free group morphisms. In this paper, we study the action of these dual maps on particular discrete planes and surfaces -- namely stepped planes and stepped surfaces. We show that dual maps can be seen as discretizations of toral automorphisms. We then provide a connection between stepped planes and th… ▽ More Dual maps have been introduced as a generalization to higher dimensions of word substitutions and free group morphisms. In this paper, we study the action of these dual maps on particular discrete planes and surfaces -- namely stepped planes and stepped surfaces. We show that dual maps can be seen as discretizations of toral automorphisms. We then provide a connection between stepped planes and the Brun multi-dimensional continued fraction algorithm, based on a desubstitution process defined on local geometric configurations of stepped planes. By extending this connection to stepped surfaces, we obtain an effective characterization of stepped planes (more exactly, stepped quasi-planes) among stepped surfaces. △ Less

Submitted 13 August, 2016; originally announced August 2016.

Comments: 37 pages, 15 figures

Journal ref: Discrete Mathematics 311 (2011), pp. 521-543

Weak colored local rules for planar tilings

Authors: Thomas Fernique, Mathieu Sablik

Abstract: A linear subspace $E$ of $\mathbb{R}^n$ has colored local rules if there exists a finite set of decorated tiles whose tilings are digitizations of $E$. The local rules are weak if the digitizations can slightly wander around $E$. We prove that a linear subspace has weak colored local rules if and only if it is computable. This goes beyond the previous results, all based on algebraic subspaces. We… ▽ More A linear subspace $E$ of $\mathbb{R}^n$ has colored local rules if there exists a finite set of decorated tiles whose tilings are digitizations of $E$. The local rules are weak if the digitizations can slightly wander around $E$. We prove that a linear subspace has weak colored local rules if and only if it is computable. This goes beyond the previous results, all based on algebraic subspaces. We prove an analogous characterization for sets of linear subspaces, including the set of all the linear subspaces of $\mathbb{R}^n$. △ Less

Submitted 1 August, 2017; v1 submitted 31 March, 2016; originally announced March 2016.

Comments: 30 pages, 10 figures

MSC Class: 37B50; 52C23; 03D80; 37B10

Journal ref: Ergod. Th. Dynam. Sys. 39 (2019) 3322-3346

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

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

Local Rules for Computable Planar Tilings

Authors: Thomas Fernique, Mathieu Sablik

Abstract: Aperiodic tilings are non-periodic tilings characterized by local constraints. They play a key role in the proof of the undecidability of the domino problem (1964) and naturally model quasicrystals (discovered in 1982). A central question is to characterize, among a class of non-periodic tilings, the aperiodic ones. In this paper, we answer this question for the well-studied class of non-periodic… ▽ More Aperiodic tilings are non-periodic tilings characterized by local constraints. They play a key role in the proof of the undecidability of the domino problem (1964) and naturally model quasicrystals (discovered in 1982). A central question is to characterize, among a class of non-periodic tilings, the aperiodic ones. In this paper, we answer this question for the well-studied class of non-periodic tilings obtained by digitizing irrational vector spaces. Namely, we prove that such tilings are aperiodic if and only if the digitized vector spaces are computable. △ Less

Submitted 13 August, 2012; originally announced August 2012.

Comments: In Proceedings AUTOMATA&JAC 2012, arXiv:1208.2498

ACM Class: F.1.1; F.1.2; F.1.3

Journal ref: EPTCS 90, 2012, pp. 133-141

Stochastic Flips on Dimer Tilings

Authors: Thomas Fernique, Damien Regnault

Abstract: This paper introduces a Markov process inspired by the problem of quasicrystal growth. It acts over dimer tilings of the triangular grid by randomly performing local transformations, called {\em flips}, which do not increase the number of identical adjacent tiles (this number can be thought as the tiling energy). Fixed-points of such a process play the role of quasicrystals. We are here interested… ▽ More This paper introduces a Markov process inspired by the problem of quasicrystal growth. It acts over dimer tilings of the triangular grid by randomly performing local transformations, called {\em flips}, which do not increase the number of identical adjacent tiles (this number can be thought as the tiling energy). Fixed-points of such a process play the role of quasicrystals. We are here interested in the worst-case expected number of flips to converge towards a fixed-point. Numerical experiments suggest a bound quadratic in the number n of tiles of the tiling. We prove a O(n^2.5) upper bound and discuss the gap between this bound and the previous one. We also briefly discuss the average-case. △ Less

Submitted 30 November, 2011; originally announced November 2011.

Comments: 13 pages, 10 figures; DMTCS Proceedings, 21st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10), 2010

MSC Class: 60J10; 60C05; 52C23; 37A25

Stochastic Flips on Two-letter Words

Authors: Olivier Bodini, Thomas Fernique, Damien Regnault

Abstract: This paper introduces a simple Markov process inspired by the problem of quasicrystal growth. It acts over two-letter words by randomly performing \emph{flips}, a local transformation which exchanges two consecutive different letters. More precisely, only the flips which do not increase the number of pairs of consecutive identical letters are allowed. Fixed-points of such a process thus perfectly… ▽ More This paper introduces a simple Markov process inspired by the problem of quasicrystal growth. It acts over two-letter words by randomly performing \emph{flips}, a local transformation which exchanges two consecutive different letters. More precisely, only the flips which do not increase the number of pairs of consecutive identical letters are allowed. Fixed-points of such a process thus perfectly alternate different letters. We show that the expected number of flips to converge towards a fixed-point is bounded by $O(n^3)$ in the worst-case and by $O(n^{5/2}\ln{n})$ in the average-case, where $n$ denotes the length of the initial word. △ Less

Submitted 6 October, 2010; originally announced October 2010.

Comments: ANALCO'10

MSC Class: 60J10; 60C05; 52C23; 37A25

Combinatorial substitutions and sofic tilings

Authors: Thomas Fernique, Nicolas Ollinger

Abstract: A combinatorial substitution is a map over tilings which allows to define sets of tilings with a strong hierarchical structure. In this paper, we show that such sets of tilings are sofic, that is, can be enforced by finitely many local constraints. This extends some similar previous results (Mozes'90, Goodman-Strauss'98) in a much shorter presentation. A combinatorial substitution is a map over tilings which allows to define sets of tilings with a strong hierarchical structure. In this paper, we show that such sets of tilings are sofic, that is, can be enforced by finitely many local constraints. This extends some similar previous results (Mozes'90, Goodman-Strauss'98) in a much shorter presentation. △ Less

Submitted 9 March, 2011; v1 submitted 27 September, 2010; originally announced September 2010.

Comments: 17 pages, 16 figures. In proceedings of JAC 2010

MSC Class: 52C23; 37B50; 05B45 ACM Class: H.1.1

Distances on Rhombus Tilings

Authors: Olivier Bodini, Thomas Fernique, Michael Rao, Eric Remila

Abstract: The rhombus tilings of a simply connected domain of the Euclidean plane are known to form a flip-connected space (a flip is the elementary operation on rhombus tilings which rotates 180° a hexagon made of three rhombi). Motivated by the study of a quasicrystal growth model, we are here interested in better understanding how "tight" rhombus tiling spaces are flip-connected. We introduce a lower bou… ▽ More The rhombus tilings of a simply connected domain of the Euclidean plane are known to form a flip-connected space (a flip is the elementary operation on rhombus tilings which rotates 180° a hexagon made of three rhombi). Motivated by the study of a quasicrystal growth model, we are here interested in better understanding how "tight" rhombus tiling spaces are flip-connected. We introduce a lower bound (Hamming-distance) on the minimal number of flips to link two tilings (flip-distance), and we investigate whether it is sharp. The answer depends on the number n of different edge directions in the tiling: positive for n=3 (dimer tilings) or n=4 (octogonal tilings), but possibly negative for n=5 (decagonal tilings) or greater values of n. A standard proof is provided for the n=3 and n=4 cases, while the complexity of the n=5 case led to a computer-assisted proof (whose main result can however be easily checked by hand). △ Less

Submitted 9 March, 2011; v1 submitted 14 November, 2009; originally announced November 2009.

Comments: 18 pages, 9 figures, submitted to Theoretical Computer Science (special issue of DGCI'09)

MSC Class: 52C30; 52C20; 52C23; 68T15 ACM Class: F.2.2; G.2.1; G.2.2; I.2.3; I.2.8

Journal ref: Theor. Comput. Sci. 412(36): 4787-4794 (2011)