Important to note that the solution uses reflection. It uses the tile and a mirrored version of it. In my book, this means it is rather using two tiles than one.
So the journey is not over. The question if a nonperiodic tiling of the plane is possible with one (non-mirrored) tile is still open.
What do you mean? Flipping is same as reflection, one of the rigid transformations
> The rigid transformations include rotations, translations, reflections, or any sequence of these. [...] All rigid transformations are examples of affine transformations.
I think there's none. Flipping in 3d can reduce the shape to a line or a point or even make it disappear entirely from initial 2d space. Transformation in 4d would be capable of the same, but it could also remove the shape from 3d space that contains initial 2d space.
But as you transform 2d shape it remains embedded in it's own local 2d space. So you are not really transforming the shape but it's associated 2d space. And since the only thing can do to 2d space to transform it into another 2d space without deforming it is translation, rotation and flipping going into higher dimensions doesn't give you anything extra.
Apologies, I was thinking about 4D transformations of 3D shapes. Like, if I can transform a 3D cube in 4D space, can it produce a shape beyond what 3D transformations can, analogous to the way 3D space lets you flip a 2D shape.
I think using 4d transformation you could turn 3d object into mirror image of itself swapping chirality. For example changing left-handed molecule into right-handed one and vice versa.
> In my book, this means it is rather using two tiles than one.
I expected to see more about this. Are a given 2D shape and its mirror image generally considered the same shape by... the people who study this stuff? That would surprise me. So much so that calling this an "aperiodic monotile" doesn't feel right.
Yes, "same shape" in this context means "isometric". Rotations and reflections are considered differences in the way the shape is placed into the plane, not differences in the shape itself.
Fascinating. Rotation feels like it should be "allowed" to me, because you can continuously rotate a 2D shape to any other orientation, in 2D, without it ever becoming not the same shape.
Reflections feel like a totally different thing, because there's no continuous path to go from a shape to its reflection in 2 dimensions: you either have to have it instantaneously jump to its reflection, or introduce an extra imaginary "third dimension" for it to move through.
I'm not arguing with the definitions, because that's pointless. I'm just trying to explain why I find it so surprising as a lay person that reflections would be admitted in this way.
Annoying that the headline writer went for the cheap "Einstein" as reference to clever human, ignoring that the guy (his name is Smith) found an "ein stein" (German: "one shape") that tiles aperiodically.
Simplified for concise comment above, but translation taken from the article:
> (The term “einstein” comes from the German “ein stein,” or “one stone” — more loosely, “one tile” or “one shape.”)
I'm mostly reacting to the use of "Einstein" as a label, which I always dislike. The article seemed to hint at a reason for the pun/reference (Smith found a "one shape") but there no was justification for bringing Albert into the discussion.
...
Edit: In retrospect, there's another way to read the article headline. If you ignore the capital E (or forgive it because of German Noun capitalization Rules), you might argue that the "Elusive 'einstein' (tile) answers/resolves a longstanding question in tile geometry".
I think this would be too generous though. They did capitalize the E, and the verb makes more sense as a human action.
Might be the result of multiple edits. NYT headline telephone game.
> (The term “einstein” comes from the German “ein stein,” or “one stone” — more loosely, “one tile” or “one shape.”)
As I said, that "loose" meaning doesn't exist, but either way it would be "ein Stein". I guarantee that no one at the NYT bothered to ask a German speaker.
However, I did check the German Wikipedia entry on tilings, which to my surprise does confirm that the word "einstein" is an established synonym for an aperiodic monotile. It also states that this usage isn't widespread in Germany itself. I presume that's because it doesn't actually make any sense in German.
Actually, that was the way I read it -- was going to post something about that but then noticed you'd already brought up the idea. If every word in the title weren't capitalized (as titles usually are) then I think the title would have been
"Elusive 'einstein' solves long-standing math problem"
which is certainly true -- aperiodic monotiles have been _very_ elusive. Not sure if the author was trying for a double meaning... if so, it does seem like the incorrect secondary meaning has overtaken the primary meaning in a lot of people's minds.
30 comments
[ 3.0 ms ] story [ 67.6 ms ] threadhttps://news.ycombinator.com/item?id=35273707
Mathematicians discover shape that can tile a wall and never repeat - https://news.ycombinator.com/item?id=35273707 - March 2023 (156 comments)
So the journey is not over. The question if a nonperiodic tiling of the plane is possible with one (non-mirrored) tile is still open.
> The rigid transformations include rotations, translations, reflections, or any sequence of these. [...] All rigid transformations are examples of affine transformations.
https://en.wikipedia.org/wiki/Rigid_transformation
And now I’m curious: what additional transformations could we do with 3D shapes if we could move them in a 4D space?
But as you transform 2d shape it remains embedded in it's own local 2d space. So you are not really transforming the shape but it's associated 2d space. And since the only thing can do to 2d space to transform it into another 2d space without deforming it is translation, rotation and flipping going into higher dimensions doesn't give you anything extra.
I expected to see more about this. Are a given 2D shape and its mirror image generally considered the same shape by... the people who study this stuff? That would surprise me. So much so that calling this an "aperiodic monotile" doesn't feel right.
Reflections feel like a totally different thing, because there's no continuous path to go from a shape to its reflection in 2 dimensions: you either have to have it instantaneously jump to its reflection, or introduce an extra imaginary "third dimension" for it to move through.
I'm not arguing with the definitions, because that's pointless. I'm just trying to explain why I find it so surprising as a lay person that reflections would be admitted in this way.
Words you might use for these shapes instead would be Form (meaning shape) or Kachel (meaning tile).
Source: native speaker.
> (The term “einstein” comes from the German “ein stein,” or “one stone” — more loosely, “one tile” or “one shape.”)
I'm mostly reacting to the use of "Einstein" as a label, which I always dislike. The article seemed to hint at a reason for the pun/reference (Smith found a "one shape") but there no was justification for bringing Albert into the discussion.
...
Edit: In retrospect, there's another way to read the article headline. If you ignore the capital E (or forgive it because of German Noun capitalization Rules), you might argue that the "Elusive 'einstein' (tile) answers/resolves a longstanding question in tile geometry".
I think this would be too generous though. They did capitalize the E, and the verb makes more sense as a human action.
Might be the result of multiple edits. NYT headline telephone game.
As I said, that "loose" meaning doesn't exist, but either way it would be "ein Stein". I guarantee that no one at the NYT bothered to ask a German speaker.
However, I did check the German Wikipedia entry on tilings, which to my surprise does confirm that the word "einstein" is an established synonym for an aperiodic monotile. It also states that this usage isn't widespread in Germany itself. I presume that's because it doesn't actually make any sense in German.
By now, we've probably spent more time thinking about it than anyone at NYT did. Thanks for the authoritative view.
"Elusive 'einstein' solves long-standing math problem"
which is certainly true -- aperiodic monotiles have been _very_ elusive. Not sure if the author was trying for a double meaning... if so, it does seem like the incorrect secondary meaning has overtaken the primary meaning in a lot of people's minds.