Recall that the hat and the turtle belong to a continuum of shapes denoted Tile(a,b) for edge lengths a and b. The hat is Tile(1,sqrt(3)), and the "turtle" is Tile(sqrt(3),1). All members of that continuum are aperiodic except for the equilateral polygon Tile(1,1). Dave became curious about Tile(1,1) after seeing Yoshi Araki playing around visually with its close relative Tile(1,1.01). (2/n)
Conversation
Notices
-
Craig S. Kaplan (csk@mathstodon.xyz)'s status on Tuesday, 30-May-2023 15:32:37 UTC Craig S. Kaplan -
Craig S. Kaplan (csk@mathstodon.xyz)'s status on Tuesday, 30-May-2023 15:32:31 UTC Craig S. Kaplan After a couple of months of work, we cracked it: If you only allow yourself to tile by translations and rotations, then Tile(1,1) admits only non-periodic tilings! We call this a "weakly chiral aperiodic monotile" -- it's aperiodic in a reflection-free universe, but tiles periodically if you're allowed to use reflections.
The tiling is reminiscent of, but not identical to, hat tilings -- it contains a sparse population of "odd" tiles, which are rotated by odd multiples of 30 degrees relative to all other tiles. (5/n)
Katie Mack repeated this. -
Craig S. Kaplan (csk@mathstodon.xyz)'s status on Tuesday, 30-May-2023 15:32:33 UTC Craig S. Kaplan But what if we counterbalanced that extra freedom by, say, just forbidding reflections outright? Dave discovered that if he tried to place copies of Tile(1,1) by translation and rotation only, well, he didn't get stuck but he couldn't find a block of tiles that repeated by translation. Needless to say, the four of us began studying this shape more intensively. (4/n)
Katie Mack repeated this. -
Craig S. Kaplan (csk@mathstodon.xyz)'s status on Tuesday, 30-May-2023 15:32:36 UTC Craig S. Kaplan Because Tile(1,1) is equilateral, it permits a wider range of adjacencies, which then allow it to tile isohedrally using equal numbers of unreflected and reflected tiles. (3/n)
-
Craig S. Kaplan (csk@mathstodon.xyz)'s status on Tuesday, 30-May-2023 15:33:00 UTC Craig S. Kaplan Does that matter? Hang on, there's one more step! Because Tile(1,1) is equilateral, and because we're not using reflections, it's easy to modify its edges to *force* it to tile without reflections.
These shapes, which we call "Spectres", are "strict chiral aperiodic monotiles": shapes that are forced to tile aperiodically, and can't use reflections! If you objected to the hat because of its reflections, this is the shape for you. (6/n)
-