Fibonacci and Lucas Sequences in Aperiodic Monotile Supertiles

Shiying Dong

2024-04-30

Abstract:This paper first discusses the size and orientation of hat supertiles. Fibonacci and Lucas sequences, as well as a third integer sequence linearly related to the Lucas sequence are involved. The result is then generalized to any aperiodic tile in the hat family.

Combinatorics,Discrete Mathematics

What problem does this paper attempt to address?

Aperiodic monotiles: from geometry to groups

Thierry Coulbois,Anahí Gajardo,Pierre Guillon,Victor Lutfalla

2024-09-24

Abstract:<div><p>In 2023, two striking, nearly simultaneous, mathematical discoveries have excited their respective communities, one by Greenfeld and Tao, the other (the Hat tile) by Smith, Myers, Kaplan and Goodman-Strauss, which can both be summed up as the following: there exists a single tile that tiles, but not periodically (sometimes dubbed the einstein problem). The two settings and the tools are quite different (as emphasized by their almost disjoint bibliographies): one in euclidean geometry, the other in group theory. Both are highly nontrivial: in the first case, one allows complex shapes; in the second one, also the space to tile may be complex.</p><p>We propose here a framework that embeds both of these problems. We illustrate our setting by transforming the Hat tile into a new aperiodic group monotile, and we describe its symmetries.</p></div>

Discrete Mathematics,Combinatorics
Planar aperiodic tile sets: from Wang tiles to the Hat and Spectre monotiles

Tinka Bruneau,Michael F. Whittaker

2024-05-22

Abstract:A brief history of planar aperiodic tile sets is presented, starting from the Domino Problem proposed by Hao Wang in 1961. We provide highlights that led to the discovery of the Taylor--Socolar aperiodic monotile in 2010 and the Hat and Spectre aperiodic monotiles in 2023. The Spectre tile is an amazingly simple monotile; a single tile whose translated and rotated copies tile the plane but only in a way that lacks any translational periodicity. We showcase this breakthrough discovery through the 60$+$ years that aperiodic tile sets have been considered.

Metric Geometry
On the Fibonacci tiling and its modern ramifications

Michael Baake,Franz Gähler,Jan Mazáč

2024-04-10

Abstract:In the last 30 years, the mathematical theory of aperiodic order has developed enormously. Many new tilings and properties have been discovered, few of which are covered or anticipated by the early papers and books. Here, we start from the well-known Fibonacci chain to explain some of them, with pointers to various generalisations as well as to higher-dimensional phenomena and results. This should give some entry points to the modern literature on the subject.

Metric Geometry,Mathematical Physics
On the Lucas Property of Linear Recurrent Sequences

Hao Zhong,Tianxin Cai

DOI: https://doi.org/10.1142/s1793042117500920

2016-01-01

International Journal of Number Theory

Abstract:Let [Formula: see text] be an arithmetic function. [Formula: see text] has Lucas property if for any prime [Formula: see text] and [Formula: see text], where [Formula: see text], [Formula: see text] In this paper, we discuss the Lucas property of Fibonacci sequences and Lucas numbers. Meanwhile, we find some other interesting results.
Turtles, Hats and Spectres: Aperiodic structures on a Rhombic tiling

James Smith

2024-03-04

Abstract:These notes derive aperiodic monotiles (

Metric Geometry,Combinatorics
Direct Construction of Aperiodic Tilings with the Hat Monotile

Ulrich Reitebuch

2023-06-11

Abstract:In 2023, the quest for an aperiodic monotile was answered by the hat monotile. In this article, structures in this aperiodic tiling are discovered, which allow for a direct computation of the tiling, similar to well-known methods for the Penrose tilings.

Combinatorics
An aperiodic monotile

David Smith,Joseph Samuel Myers,Craig S. Kaplan,Chaim Goodman-Strauss

DOI: https://doi.org/10.5070/C64163843

2024-07-04

Abstract:A longstanding open problem asks for an aperiodic monotile, also known as an "einstein": a shape that admits tilings of the plane, but never periodic tilings. We answer this problem for topological disk tiles by exhibiting a continuum of combinatorially equivalent aperiodic polygons. We first show that a representative example, the "hat" polykite, can form clusters called "metatiles", for which substitution rules can be defined. Because the metatiles admit tilings of the plane, so too does the hat. We then prove that generic members of our continuum of polygons are aperiodic, through a new kind of geometric incommensurability argument. Separately, we give a combinatorial, computer-assisted proof that the hat must form hierarchical -- and hence aperiodic -- tilings.

Combinatorics,Discrete Mathematics,Metric Geometry
Proof of Aperiodicity of hat tile using the Golden Ratio

Saksham Sharma

2023-08-13

Abstract:The Einstein tile is a novel type of non-periodic tile that can cover the plane without repeating itself. It has a simple shape that resembles a fedora. This research paper unveils the aperiodicity of the newly discovered Einstein tile using the golden ratio, marking a paradigm shift in the field of geometric tiling. This Through rigorous analysis, mathematical modeling, and computational simulations, we provide compelling evidence that the Einstein tile defies conventional periodicity, lacking any repeating pattern or translational symmetry. The unique properties of the Einstein tile open up new avenues for exploring aperiodic tiling systems and their implications in various scientific and technological domains. From cryptography to materials science, the aperiodicity of the Einstein tile presents exciting opportunities for advancements in diverse fields, expanding our understanding of tiling theory and inspiring future explorations into aperiodic structures.

General Mathematics
Hexagonal and trigonal quasiperiodic tilings

Sam Coates,Akihisa Koga,Toranosuke Matsubara,Ryuji Tamura,Hem Raj Sharma,Ronan McGrath,Ron Lifshitz

2023-06-13

Abstract:Exploring nonminimal-rank quasicrystals, which have symmetries that can be found in both periodic and aperiodic crystals, often provides new insight into the physical nature of aperiodic long-range order in models that are easier to treat. Motivated by the prevalence of experimental systems exhibiting aperiodic long-range order with hexagonal and trigonal symmetry, we introduce a generic two-parameter family of 2-dimensional quasiperiodic tilings with such symmetries. We focus on the special case of trigonal and hexagonal Fibonacci, or golden-mean, tilings, analogous to the well studied square Fibonacci tiling. We first generate the tilings using a generalized version of de Bruijn's dual grid method. We then discuss their interpretation in terms of projections of a hypercubic lattice from six dimensional superspace. We conclude by concentrating on two of the hexagonal members of the family, and examining a few of their properties more closely, while providing a set of substitution rules for their generation.

Soft Condensed Matter
Some Fibonacci-Related Sequences

Benoit Cloitre,Jeffrey Shallit

2024-01-02

Abstract:We discuss an interesting sequence defined recursively; namely, sequence A105774 from the On-Line Encyclopedia of Integer Sequences, and study some of its properties. Our main tools are Fibonacci representation, finite automata, and the Walnut theorem-prover. We also prove two new results about synchronized sequences.

Combinatorics,Discrete Mathematics,Formal Languages and Automata Theory
Nonperiodic tilings related to Stern's diatomic series and based on tiles decorated with elements of $\mathbb{F}_p$

Rémy Sigrist

DOI: https://doi.org/10.48550/arXiv.2301.06039

2023-01-15

Abstract:This paper presents the construction and various properties of substitution tilings related to Stern's diatomic series and based on tiles decorated with elements of $\mathbb{F}_p$ for some odd prime number $p$. These substitution tilings are additive in a sense that will be clarified later and lead to new nonperiodic tilings in one and two dimensions.

Combinatorics,Number Theory
Sums or Products of Double Factorials in Lucas Sequences

Shaonan Zhang,Peng Yang,Tianxin Cai

DOI: https://doi.org/10.1142/s1793042124500957

2024-01-01

International Journal of Number Theory

Abstract:In this paper, we show that each non-degenerate Lucas sequence contains only finitely many terms which can be written as products of double factorials or as sums or differences of double factorials. In particular, we find all the solutions to the products of double factorials which are sums or differences of two Fibonacci numbers, and Fibonacci numbers which are sums or differences of two double factorials.
Metallic mean Wang tiles II: the dynamics of an aperiodic computer chip

Sébastien Labbé

2024-03-06

Abstract:We consider a new family $(\mathcal{T}_n)_{n\geq1}$ of aperiodic sets of Wang tiles and we describe the dynamical properties of the set $\Omega_n$ of valid configurations $\mathbb{Z}^2\to\mathcal{T}_n$. The tiles can be defined as the different instances of a square shape computer chip whose inputs and outputs are 3-dimensional integer vectors. The family include the Ammann aperiodic set of 16 Wang tiles and gathers the hallmarks of other small aperiodic sets of Wang tiles. Notably, the tiles satisfy additive versions of equations verified by the Kari--Culik aperiodic sets of 14 and 13 Wang tiles. Also configurations in $\Omega_n$ are the codings of a $\mathbb{Z}^2$-action on a 2-dimensional torus like the Jeandel--Rao aperiodic set of 11 Wang tiles. The family broadens the relation between quadratic integers and aperiodic tilings beyond the omnipresent golden ratio as the dynamics of $\Omega_n$ involves the positive root $\beta$ of the polynomial $x^2-nx-1$, also known as the $n$-th metallic mean. We show the existence of an almost one-to-one factor map $\Omega_n\to\mathbb{T}^2$ which commutes the shift action on $\Omega_n$ with horizontal and vertical translations by $\beta$ on $\mathbb{T}^2$. The factor map can be explicitely defined by the average of the top labels from the same row of tiles as in Kari and Culik examples. The proofs are based on the minimality of $\Omega_n$ (proved in a previous article) and a polygonal partition of $\mathbb{T}^2$ which we show is a Markov partition for the toral $\mathbb{Z}^2$-action. The partition and the sets of Wang tiles are symmetric which makes them, like Penrose tilings, worthy of investigation.

Dynamical Systems,Combinatorics,Metric Geometry,Number Theory
A tiling algorithm for the aperiodic monotile Tile(1,1)

Henning U. Voss

2024-11-02

Abstract:An algorithm is provided to tile the plane with the aperiodic monotile Tile(1,1) recently discovered by Smith et al. (2023). Their geometric construction guidelines are expanded into a numerical MATLAB algorithm. The intention is to remove a possible obstacle for researchers interested in applications of this fundamental tiling of the plane.

Mathematical Physics
Period patterns, entry points, and orders in the Lucas sequences: theory and applications

Morgan Fiebig,aBa Mbirika,Jürgen Spilker

2024-08-27

Abstract:The goal of this paper is twofold: (1) extend theory on certain statistics in the Fibonacci and Lucas sequences modulo $m$ to the Lucas sequences $U := \left(U_n(p,q)\right)_{n \geq 0}$ and $V := \left(V_n(p,q)\right)_{n \geq 0}$, and (2) apply some of this theory to a novel graphical approach of $U$ and $V$ modulo $m$. Upon placing the cycle of repeating sequence terms in a circle, several fascinating patterns which would otherwise be overlooked emerge. We generalize a wealth of known Fibonacci and Lucas statistical identities to the $U$ and $V$ settings using primary sources such as Lucas in 1878, Carmichael in 1913, Wall in 1960, and Vinson in 1963, amongst others. We use many of these generalized identities to form the theoretical basis for our graphical results. Based on the order of $m$, defined as $\omega(m) := \frac{\pi(m)}{e(m)}$, where $\pi(m)$ is the period of $m$ and $e(m)$ is the entry point of $m$, we describe behaviors shared by $U$ and $V$ with parameters $q = \pm 1$. In particular, we exhibit some tantalizing examples in the following three sequence pairs: Fibonacci and Lucas, Pell and associated Pell, and balancing and Lucas-balancing.

Number Theory,Combinatorics
An alternative proof for an aperiodic monotile

Shigeki Akiyama,Yoshiaki Araki

2024-09-21

Abstract:We give an alternative simple proof that the monotile introduced by Smith, Myers, Kaplan and Goodman-Strass is aperiodic.

Metric Geometry,Combinatorics,Dynamical Systems,Number Theory
Converting non-periodic tiling with Tile(1,1) to tilings with three types of pentagons

Teruhisa Sugimoto

2024-06-27

Abstract:Non-periodic tilings with Tile(1, 1) using the substitution method, as presented by Smith et al. in [2] or [3], can be converted to non-periodic tilings with three types of pentagons. When arbitrary replacements are excluded, non-periodic tilings with three types of pentagons exhibiting two patterns are obtained from the original non-periodic tilings.

Metric Geometry
An aperiodic tiling made of one tile, a triangle

Vincent Van Dongen

DOI: https://doi.org/10.48550/arXiv.2111.03979

2021-11-07

Abstract:How many different tiles are needed at the minimum to create aperiodicity? Several tilings made of two tiles were discovered, the first one being by Penrose in the seventies. Since then, scientists discovered other aperiodic tilings made of two tiles, including the square-triangle one, a tiling that has been particularly useful for the study of dodecagonal quasicrystals and soft matters. An open problem still exists: Can one tile be sufficient to create aperiodicity? This is known as the ein stein problem. We present in this paper an aperiodic tiling made of one single tile: an isosceles right triangle. The tile itself is not aperiodic and therefore not a solution to the ein stein problem but we present a set of substitution rules on the same tile that forces the tiling to be aperiodic. This paper presents its construction rules that proves its aperiodicity. We also show that this tiling offers an underlying dodecagonal structure close to the one of square-triangle tiling.

Metric Geometry
On the Penrose and Taylor-Socolar Hexagonal Tilings

Jeong-Yup Lee,Robert V. Moody

DOI: https://doi.org/10.48550/arXiv.1701.04314

2017-01-16

Abstract:We study the intimate relationship between the Penrose and the Taylor-Socolar tilings, within both the context of double hexagon tiles and the algebraic context of hierarchical inverse sequences of triangular lattices. This unified approach produces both types of tilings together, clarifies their relationship, and offers straightforward proofs of their basic properties.

Metric Geometry

Fibonacci and Lucas Sequences in Aperiodic Monotile Supertiles

Aperiodic monotiles: from geometry to groups

Planar aperiodic tile sets: from Wang tiles to the Hat and Spectre monotiles

On the Fibonacci tiling and its modern ramifications

On the Lucas Property of Linear Recurrent Sequences

Turtles, Hats and Spectres: Aperiodic structures on a Rhombic tiling

Direct Construction of Aperiodic Tilings with the Hat Monotile

An aperiodic monotile

Proof of Aperiodicity of hat tile using the Golden Ratio

Hexagonal and trigonal quasiperiodic tilings

Some Fibonacci-Related Sequences

Nonperiodic tilings related to Stern's diatomic series and based on tiles decorated with elements of $\mathbb{F}_p$

Sums or Products of Double Factorials in Lucas Sequences

Metallic mean Wang tiles II: the dynamics of an aperiodic computer chip

A tiling algorithm for the aperiodic monotile Tile(1,1)

Period patterns, entry points, and orders in the Lucas sequences: theory and applications

An alternative proof for an aperiodic monotile

Converting non-periodic tiling with Tile(1,1) to tilings with three types of pentagons

An aperiodic tiling made of one tile, a triangle

On the Penrose and Taylor-Socolar Hexagonal Tilings