You're reading: News

Now that’s what I call an aperiodic monotile!

Three versions of The Spectre tile: first with straight edges, then two variations with smooth curve edges.

Surely you didn’t expect news about aperiodic tilings to appear at regular intervals? You know how it is – you wait ages for a new aperiodic monotile discovery to come along, then two come in quick succession.

In March, we covered the discovery of an aperiodic monotile. The team of authors behind that discovery have been continuing their work and this week have an even bigger announcement.

The only slightly dissatisfying aspect of the previous discovery, as you may recall, was that in order to tile the plane, the Hat (and Turtle) tile each needed roughly one in every six tiles to be mirrored. This raised the question of whether a tiling using a single aperiodic tile would be possible without reflections.

It turns out the authors had kind of already found one – a tile they referred to in their previous paper as “Tile(1,1)” was the basis for a chiral aperiodic tile – one which doesn’t need mirroring in order to fully tile.

It’s actually the midpoint of the continuum of possible tile shapes that contains the hat and turtle, but had been previously considered uninteresting, since it can tile periodically if used along with its reflection. However, if you don’t use reflection, it gets more interesting.

A visualization of the continuum of aperiodic monotiles containing the hat and turtle.

Tile(1,1) has now been shown to be weakly chiral – meaning that if you use it without reflections, it must tile non-periodically.

This means we immediately have an infinite family of tiles with the property we’re looking for – by replacing each of the straight edges with anything that’s asymmetrical and oriented consistently, we can force the tiles to be oriented all the same way, producing an aperiodic monotile in the strong sense. (This is similar to what Edmund Harris shared in our math-off as a way to force Penrose tiles to be aperiodic.) The authors have used a simple curved line, creating a vaguely ghost-like shape they’ve christened The Spectre (because it doesn’t have a reflection, lol)

Construction of the curved Spectre tile: beginning with the polygon Tile(1,1), with vertices in alternating colours, each straight edge is replaced with a smooth curve.
Figure from the paper: “The 14-sided polygon Tile(1, 1), shown on the left, is a weakly chiral aperiodic monotile: if by fiat we forbid tilings that mix unreflected and reflected tiles, then it admits only non-periodic tilings. By modifying its edges, as shown in the centre and right for example, we obtain strictly chiral aperiodic monotiles called “Spectres” that admit only non-periodic tilings even when reflections are permitted.”

If you’d like more context and an idea of how the proof has been achieved you can check out Craig Kaplan’s webpage and his excellent Mastodon thread about it.

16 Responses to “Now that’s what I call an aperiodic monotile!”

  1. Avatar Tomas Pribyl

    Hello.
    Aperiodic monotiles are very interesting, but I can think of something else.
    I’m thinking of creating an aperiodic monoblock in 3D. The monoblocks should be shaped in such a way that, for example, a simple shake of a container (hollow body) filled with monoblocks will cause them to quickly arrange themselves into a solid shape. I can think of a whole range of applications here, perhaps it would have such strength that by simply “pouring” the monoblocks into a vibrating mould, concrete or other building materials could be replaced. In doing so, the monoblocks could be produced by 3D printing from virtually any suitable material with suitable physical properties.
    But I’m neither a mathematician nor a materials scientist, I’m just thinking.

    Translated with http://www.DeepL.com/Translator (free version)

    Reply
    • Avatar Adam Hamilton

      Blame your ancestry, or mathematical dogma, but some combination of ‘can we do it in 3d,’ or can we generalise for higher (or all) dimensions is virtuallly always among the first question asked.

      Reply
    • Avatar Jens

      Hello,
      this was exactly my thought. I created a tile that seems to tile 3D space aperiodically.
      It is very similar to the “hat” monotile in its construction.

      Reply
  2. Avatar Philip Mynott

    Is there a way of using the Spectre itself (obviously minus one edge where this connects on to the main mass) as the “asymmetrical” and “consistently oriented” replacement for the straight edges of the original form, so as to result in a shape which retains all of the properties of the basic Spectre?
    In other words, can a non-closed analogue of the Spectre’s edge be used to modify the Spectre’s edge in the iterative manner of arriving at Hilbert’s space filling lines, or fractals?
    Or is the answer to that self-evidently ‘yes’, on the basis that (technically) ‘Spectre’-shaped supersets of the aperiodic tesselation of Spectres could themselves be composed of smaller Spectres?

    Reply
  3. Avatar Paul

    Are the curved edges necessary for the non-periodicity if you are already restricted to using the tiles the same side up?

    To phrase it differently, would non-curved tiles allow periodic tiling *because* it would allow tiles to be mirrored?

    Reply
  4. Avatar Curt McDowell

    Thank you for this. Tile(1, 1) with keyed edges is the most magical part of these discoveries, yet it is hardly discussed on any of the web pages that one finds by searching for aperiodic monotile. They are all about Hat, Turtle, Hat, Turtle! While the Spectre is Tile(1, 1) with curved edges, Tile(1, 1) itself needs a catchy name.

    Reply
  5. Avatar Kurt Euler

    First of all, no relation.

    Second, are there guides, like are seen with some penrose tile examples, that can help one assemble the monotiles in the non-repeating manner without getting stuck. (Or, perhaps non-repeating is forced just by obvious pairing.)

    Thanks.

    Reply

(will not be published)

$\LaTeX$: You can use LaTeX in your comments. e.g. $ e^{\pi i} $ for inline maths; \[ e^{\pi i} \] for display-mode (on its own line) maths.

XHTML: You can use these tags: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>