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

What problem does this paper attempt to address?

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
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
A chiral aperiodic monotile

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

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

2024-09-28

Abstract:The recently discovered "hat" aperiodic monotile mixes unreflected and reflected tiles in every tiling it admits, leaving open the question of whether a single shape can tile aperiodically using translations and rotations alone. We show that a close relative of the hat -- the equilateral member of the continuum to which it belongs -- is a weakly chiral aperiodic monotile: it admits only non-periodic tilings if we forbid reflections by fiat. Furthermore, by modifying this polygon's edges we obtain a family of shapes called Spectres that are strictly chiral aperiodic monotiles: they admit only chiral non-periodic tilings based on a hierarchical substitution system.

Combinatorics,Discrete Mathematics,Metric Geometry
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
Turtles, Hats and Spectres: Aperiodic structures on a Rhombic tiling

James Smith

2024-03-04

Abstract:These notes derive aperiodic monotiles (

Metric Geometry,Combinatorics
Boundedness of the Period Maps and Global Torelli Theorem

KeFeng Liu,Yang Shen

DOI: https://doi.org/10.1007/s11425-015-0858-1

2017-01-01

Science China Mathematics

Abstract:Recently, we proved the Griffiths conjecture on the boundedness of the period maps, and then used it to prove global Torelli theorem on the Torelli space under certain natural conditions. This paper serves as a review of these results and an introduction to the main ideas behind the proofs.
Quasicrystalline structure of the Smith monotile tilings

Joshua E. S. Socolar

DOI: https://doi.org/10.1103/PhysRevB.108.224109

2023-11-23

Abstract:Tiling models can reveal unexpected ways in which local constraints give rise to exotic long-range spatial structure. The recently discovered Hat monotile (and its mirror image) has been shown to be aperiodic~[Smith et al., <a class="link-https" data-arxiv-id="2303.10798" href="https://arxiv.org/abs/2303.10798">arXiv:2303.10798</a> (2023)]; it can tile the plane with no holes or overlaps, but cannot do so periodically. We show that the structure enforced by the local space-filling constraints is quasiperiodic with hexagonal (C6) rotational symmetry. Although this symmetry is compatible with periodicity, the incommensurate ratio characterizing the quasiperiodicity stays locked to the golden mean as the tile parameters are continuously varied. We analyze a modification of the metatiles introduced by Smith et al. that yields a set of ``Key tiles'' that can be constructed as projections of a subset of six-dimensional hypercubic lattice points onto the two-dimensional tiling plane. We analytically compute the diffraction pattern of a set of unit masses placed at the tiling vertices, establishing the quasiperiodic nature of the tiling. We point out several unusual features of the family of Key tilings and associated Hat tilings, including the tile rearrangements associated with the phason degree of freedom associated with incommensurate density waves, which exhibit novel features that may influence the elastic properties of a material in which atoms or larger particles spontaneously exhibit the symmetries of the Hat tiling.

Materials Science
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
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
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
Yet Another Proof of the Aperiodicity of Robinson Tiles

Thomas Fernique

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

2017-11-09

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

Discrete Mathematics,Combinatorics
An aperiodic hexagonal tile

Joshua E. S. Socolar,Joan M. Taylor

DOI: https://doi.org/10.1016/j.jcta.2011.05.001

2010-09-09

Abstract:We show that a single prototile can fill space uniformly but not admit a periodic tiling. A two-dimensional, hexagonal prototile with markings that enforce local matching rules is proven to be aperiodic by two independent methods. The space--filling tiling that can be built from copies of the prototile has the structure of a union of honeycombs with lattice constants of $2^n a$, where $a$ sets the scale of the most dense lattice and $n$ takes all positive integer values. There are two local isomorphism classes consistent with the matching rules and there is a nontrivial relation between these tilings and a previous construction by Penrose. Alternative forms of the prototile enforce the local matching rules by shape alone, one using a prototile that is not a connected region and the other using a three--dimensional prototile.

Combinatorics,Other Condensed Matter
Tiling in some nonpositively curved groups

Joseph MacManus,Lawk Mineh

2024-01-18

Abstract:We prove that acylindrically hyperbolic groups are monotileable. That is, every finite subset of the group is contained in a finite tile. This provides many new examples of monotileable groups, and progress on the question of whether every countable group is monotileable. In particular, one-relator groups and many Artin groups are monotileable.

Group Theory
Physical properties of an Aperiodic monotile: Graphene-like features, chirality and zero-modes

Justin Schirmann,Selma Franca,Felix Flicker,Adolfo G. Grushin

DOI: https://doi.org/10.1103/PhysRevLett.132.086402

2024-03-15

Abstract:The discovery of the Hat, an aperiodic monotile, has revealed novel mathematical aspects of aperiodic tilings. However, the physics of particles propagating in such a setting remains unexplored. In this work we study spectral and transport properties of a tight-binding model defined on the Hat. We find that (i) the spectral function displays striking similarities to that of graphene, including six-fold symmetry and Dirac-like features; (ii) unlike graphene, the monotile spectral function is chiral, differing for its two enantiomers; (iii) the spectrum has a macroscopic number of degenerate states at zero energy; (iv) when the magnetic flux per plaquette ($\phi$) is half of the flux quantum, zero-modes are found localized around the reflected `anti-hats'; and (v) its Hofstadter spectrum is periodic in $\phi$, unlike for other quasicrystals. Our work serves as a basis to study wave and electron propagation in possible experimental realizations of the Hat, which we suggest.

Mesoscale and Nanoscale Physics
Periodicity of joint co-tiles in $\mathbb{Z}^d$

Tom Meyerovitch,Shrey Sanadhya,Yaar Solomon

2024-11-13

Abstract:An old theorem of Newman asserts that any tiling of $\mathbb{Z}$ by a finite set is periodic. A few years ago, Bhattacharya proved the periodic tiling conjecture in $\mathbb{Z}^2$. Namely, he proved that for a finite subset $F$ of $\mathbb{Z}^2$, if there exists $A \subseteq \mathbb{Z}^2$ such that $F \oplus A = \mathbb{Z}^2$ then there exists a periodic $A' \subseteq \mathbb{Z}^2$ such that $F \oplus A' = \mathbb{Z}^2$. The recent refutation of the periodic tiling conjecture in high dimensions due to Greenfeld and Tao motivates finding different generalizations of Newman's theorem and of Bhattacharya's theorem that hold in arbitrary dimension $d$. In this paper, we formulate and prove such generalizations. We do so by studying the structure of joint co-tiles in $\mathbb{Z}^d$. Our generalization of Newman's theorem states that for any $d \ge 1$, any joint co-tile for $d$ independent tiles is periodic. For a $(d-1)$-tuple of finite subsets of $\mathbb{Z}^d$ that satisfy a certain technical condition that we call property $(\star)$, we prove that any joint co-tile decomposes into disjoint $(d-1)$-periodic sets. Consequently, we show that for a $(d-1)$-tuple of finite subsets of $\mathbb{Z}^d$ that satisfy property $(\star)$, the existence of a joint co-tile implies the existence of periodic joint co-tile. Conversely, we prove that if a finite subset $F$ in $\mathbb{Z}^d$ admits a periodic co-tile $A$, then there exist $(d-1)$ additional tiles that together with $F$ are independent and admit $A$ as a joint co-tile, so that the first $(d-2)$ of these tiles together with $F$ satisfy property $(\star)$. Combined, our results give a new necessary and sufficient condition for a subset of $\mathbb{Z}^d$ to tile periodically. We also discuss tilings and joint tilings in other countable abelian groups.

Dynamical Systems,Combinatorics
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
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
An Alternative Proof of Steinhaus Theorem

Arpan Sadhukhan

DOI: https://doi.org/10.1080/00029890.2020.1711693

2019-03-21

Abstract:In measure theory, Steinhaus theorem is a result that deals with a property of the difference between two sets of positive measure. We give a simple elementary proof of the result.

Classical Analysis and ODEs
A short proof of Tomita's theorem

Jonathan Sorce

DOI: https://doi.org/10.1016/j.jfa.2024.110420

2024-10-23

Abstract:Tomita-Takesaki theory associates a positive operator called the "modular operator" with a von Neumann algebra and a cyclic-separating vector. Tomita's theorem says that the unitary flow generated by the modular operator leaves the algebra invariant. I give a new, short proof of this theorem which only uses the analytic structure of unitary flows, and which avoids operator-valued Fourier transforms (as in van Daele's proof) and operator-valued Mellin transforms (as in Zsidó's and Woronowicz's proofs). The proof is similar to one given by Bratteli and Robinson in the special case that the modular operator is bounded.

Operator Algebras,Mathematical Physics,Functional Analysis

An alternative proof for an aperiodic monotile

An aperiodic monotile

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

A chiral aperiodic monotile

Aperiodic monotiles: from geometry to groups

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

Boundedness of the Period Maps and Global Torelli Theorem

Quasicrystalline structure of the Smith monotile tilings

Direct Construction of Aperiodic Tilings with the Hat Monotile

Fibonacci and Lucas Sequences in Aperiodic Monotile Supertiles

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

Yet Another Proof of the Aperiodicity of Robinson Tiles

An aperiodic hexagonal tile

Tiling in some nonpositively curved groups

Physical properties of an Aperiodic monotile: Graphene-like features, chirality and zero-modes

Periodicity of joint co-tiles in $\mathbb{Z}^d$

Proof of Aperiodicity of hat tile using the Golden Ratio

An aperiodic tiling made of one tile, a triangle

An Alternative Proof of Steinhaus Theorem

A short proof of Tomita's theorem