Ever since we went hunting for tiles for our first remodeling, I've been thinking about why not Wang tiles[1][2] were available.
I mean obviously it'd be too much cost and hassle, since you need at least 5 different tiles to tile a plane, but I'm still curious how it would actually turn out on a real floor or wall, with an interesting pattern on the tiles.
While you need multiple Wang tiles, at least they can be square rather than a rather awkward polygonal shape. So there's that...
Purely from an aesthetics standpoint, I'm guessing its because they have a tendency to form quasi-repeating patterns and long rivers which are generally unsightly (which is subjective):
Yeah. I wonder how the tilesetters actually did the concrete tile-laying part. There are "quasiperiodic" Penrose tilings that are composed of fairly regular "macroblocks", but this Keskuskatu tiling looks pretty random to me. Did they just have huge printouts of the pattern? Did they develop an intuition of which tile goes where after a while? Were they happy to do something different for a chance, or annoyed by the convoluted task? :D
The Salesforce center in SF looks like it's Penrose tiles, but I suspect they are cheating and are using a large segment repeated on each section of the skirt.
Maybe, but Penrose himself was involved, so I'd be very bummed if that were true.
SAN FRANCISCO--(BUSINESS WIRE)--The Transbay Joint Powers Authority (TJPA) has received approval from Dr. Roger Penrose, the eminent British mathematical physicist, to incorporate his groundbreaking geometrical pattern in the design of the exterior walls of the future Transbay Transit Center (TTC) designed by Pelli Clarke Pelli Architects (PCPA). Dr. Penrose and PCPA are working in tandem to incorporate Dr. Penrose’s elegant design, known as the Penrose Rhombus Tiling, in the skin of the TTC. The design is remarkably simple but unique because it can be extended infinitely without repeating itself. The Penrose system is ideal for the perforations in the metal panels that will form the curved exterior of the Transit Center.
The reason why I'm skeptical is because it's cut out metal. Actual tiles would be easy to do it "correctly", but I don't imagine them I dunno, laser cutting? each skirt piece individually. I'd love to be proven wrong though
I think in the US that would colloquially be called an:
Outdoor mall
Mall alone being the 80s style indoor walkable variety. A 'strip mall' usually a single (often deformed to some degree) line of stores along a sidewalk next to a huge parking lot, also often with an island restaurant or small store that wants to stand out closer to the street edge of said lot.
Sometimes. “Mall” alone generally refers to a big indoor shopping space with many distinct stores; I'd probably call the outdoor version an... “outdoor mall”.
I don’t think this would be too much cost and hassle at all. People make all sorts of fancy tiles and patterns with them. Four colors as triangles is so simple I’m really surprised it doesn’t exist. Maybe a good niche online business for someone.
Yeah definitely not the colors used to highlight the pattern...
The way you construct a set of Wang tiles determines how many you'll need. The first link in my previous post shows how to construct them for various set sizes.
Then you might also like Spielberg being German for "play mountain" or "game mountain", Adelson being German for "son of nobility" (though the son ending is more common in Nordic countries, the meaning is likely the same), Zuckerberg being German for "sugar mountain", Rosenberg being German for "rose mountain" or Friedman being old German for "peaceful man" or "protecting man".
Also, it's pronounced neither "steen" nor "stayn", but "shtayn" or /ʃtaɪn/ in IPA.
(I was once hearing someone talk about privacy and how people like Tsucabuc are destroying it. I never heard about him but apparently he is one of the owners of a large social media company. Then he mentioned Facebook and I realized he was pronouncing Zuckerberg in German.)
The unique feature of the new tile isn't that it will tile aperiodically. It's that it will only tile aperiodically. If you just want an aperiodic tiling, you can achieve it with 2x1 rectangles. There's a big list of such patterns here:
It is the earliest German bit of net culture to take an offramp from the information superhighway into regular culture - at least the earliest I know of. Maybe that gives it its staying power, humorous value aside.
If I recall (previously-submitted article - https://cp4space.hatsya.com/2023/03/21/aperiodic-monotile/ ), the shape has to be flipped upside down some fraction of the time. So you'd either need two tile shapes for a real bathroom, or your tiles would be a compromise between "both faces are easily cleaned" and "both faces stick firmly to the mortar".
Having a white tile and a blue tile would be fine, though. I'm really tempted by this, but I think I should start by tiling the garage floor or something rather than my whole living area.
Sounds like a pretty tough job due to the lack of pattern. Either you have to follow a template or you run the risk of randomly tiling something that can't actually be extended further.
The tiles seem like they can only join at one spot to one spot so I don’t think it would even be possible to lay them incorrectly unless you straight were jamming incorrect sides together.
> First we produce a list of possible neighbours of the hat polykite in a tiling. There are 58 possible neighbours when we only require such a neighbour not to intersect the original polykite; these are shown in Figure B.1, with that original polykite shaded. The first 41 of these neighbours remain in consideration for the enumeration of 1-patches. The final 17 are immediately eliminated (in the order shown) because they cannot be extended to a tiling: either there is no possible neighbour that can contain the shaded kite (without resulting in an intersection, or a pair of tiles that were previously eliminated as possible neighbours), or we eliminated Y as a neighbour of X and so can also eliminate X as a neighbour of Y.
From the preprint. It is definitely possible to lay the tiles so that they do not tile anymore.
The colors really distract me from trying to see the patterns the shape itself creates. For me, the beauty here is that each piece is exactly the same. Colorizing them differently takes away from that.
Penrose tilings have 5- or 10-fold symmetry right, what does this have? Maybe triangular symmetry? In their coloring I see lots of three-studded shuriken-like shapes.
Just the one? I have no idea how this is described mathematically, but just looking at the image in the article, the shape spans three hexagons, comprising 2/6 sectors of two of them and 4/6 of the third. I have no idea what I'm talking about, but it seems like it 'ought' to scale to larger (or at least some larger) polygons, or number of them spanned, even excluding trivial multiples (or 6/6 covered ones inserted in the middle) that are effectively the same shape.
There probably are countless others, but this is the first that we know of.
And I wouldn’t know whether trivial multiples that still tile the plane non-periodically exist. Once you pick a multiple, even the claim that any of these basic structures in the plane is part of the multiple you picked doesn’t seem to have an obvious, trivial (1) proof to me, let alone the additional requirement that you can find non-overlapping ones.
In 1D you can't have a single shape tile aperiodically, since there is no room for variation.
You could make a 2D diagram of the integers with they prime factorizations, which is aperiodic, but nearly periodic, but requires an infinite set of different "tiles".
Perhaps you could take an irrational or transcendebtal number, and take its multiples or powers mod 1, to get an aperiodic nearly periodic sequence.
My kids and I geeked out over the Veritasium video on Penrose tiles (https://www.youtube.com/watch?v=48sCx-wBs34). It is pretty exciting to see approachable math like this being discovered before our eyes.
What a fantastically enjoyable read. I really want to understand how this question arises and what's actually being tested and invented in coming to the solution to this. And, side note, this is absolutely going to be the strategy I use to paint one of my office walls.
I’m not a mathematician, but it’s interesting to think about this as a projection onto 2d. What can be said about the multi-dimensional shape that creates this projection, or even if that is possible?
Something tells me if one was to look closely you'd find this tile in Clark Richert's work, probably while he was living in an artist commune in South Colorado in the 60's (like they did with the Penrose Tile, which he got sued for - and won, since he showed prior art).
I wonder what applications there are for this in video games. Many games that attempt to show the outside world often suffer from repeating patterns in things like terrain, which would never happen in real life. Everything from 2D isometric games like Command & Conquer to 3D open worlds like Skyrim have this problem. Could that problem be solved by tile shapes that never produce repeating patterns?
There are already techniques for removing the repeating textures(sometimes this is called texture bombing). Maybe this can be used to improve them, but only if it can be cheaply calculated on the fly.
My immediate thought was how soon do I see this in a board game. Hexs are often used to create the game board. This could add a lot of variability to board setup.
I notice that each tile has 5 or 6 neighbors. This reminds me of "football" tiling[1] so I wonder how would this hat tiling look on non-euclidean geometry, e.g. on a spehere
I'm confused - I see multiple repeating patterns. three light blue hats in triangle around dark blue. grey boomerang pattern. two white tiles with same rotation and layout. I'm sure I misunderstand what is meant by "pattern that never repeats", but please dumb this down for me.
Those configurations appear often, but they don't appear with a period. Look at a chessboard.. i can make it out of individual black and white tiles, or out of pre-assembled units of 1 white and one black tile (or a strip of length 4 or squares of size 4, etc). I can make a chess board by grouping the base units into a pattern, then only using that pattern. I can put that pattern on a wheel and roll it along a surface forever to get an infinite chessboard pattern.
There's not a way to do that sort of grouping for these tiles.
Compare pi. I can find the numbers representing my name in ascii an infinite number of times in the digits of pi, but if i find it once, there's no information in where to find it again, i can't just move forward n digits to find it, then another n digits to find it again, and ao on.
If you were to make two copies of the pattern and superimpose them on each other, they would never match perfectly no matter how you rotated them and shifted them around.
However, they might match in small patches, just never across the entire infinite plane.
wait, you must mean if you created a copy on top of another copy, they would match like that, but there's no combination of shifting, rotation, mirroring, etc that would also match? (unless it you shifted it back to the starting orientation)
cuz it would be mind blowing if you made a copy and it wasn't a copy... pauli whackamole exclusion tiling
For example, you can't replace these tiles with just rectangles. For regular shapes you can, for example if you tile your bathroom with squares there will be a repeating 2x2 square pattern too. Similarly, hexagons and triangles can be replaced with rectangular tiles (where every tile is the same). You can't do this for this pattern.
I was about to ask the same question but it appears the repeats are not exactly identical at the edges.
Still, can one prove this is aperiodic from geometry alone? It seems rather difficult to actually prove that fact. Feels intuitive that there must be a period somewhere, however large it may be, on the infinite 2D plane.
For most sets of shapes a periodic tiling is possible, but by no means guaranteed.
For example, consider rectangles with sides of 1 and 3 units: they can cover the plane periodically (e.g. in a simple rectangular grid), but also aperiodically, because you can form a square grid of square 3 by 3 units "metatiles", each encoding one bit of information in the vertical or horizontal orientation of the narrow rectangles; then it's easy to break symmetry by orienting metatiles so that for all integers m and n some metatile differs from the metatile m rows and n columns away, so the period cannot be m rows and n columns.
I’m assuming the infinite sequence of segments along a straight vertical line at each “x-coordinate” (not sure how to say this, but you can see vertical lines made of blocks, mean those) were proved to be unique and non repeating
It looks to me like it repeats in 1 direction pretty quickly, but in other directions doesn't repeat at all... At least, as far as I can tell from the samples given.
Whatever the size of a pattern you find, you cannot tile the plane with translations (just translations) using that pattern: you need to rotate it. The definition is just that.
So, there are "patterns" (as a matter of fact, the elementary tile is repeated infinitely on the tiling) but you cannot fill the plane with mere translations of one.
But in one sense this is actually 2 shapes that are mirror images. It's still really cool, but I don't think it is ultimately what we've been looking for. As proof that it's not, we all know that a paper presenting one that doesn't need its mirror image to tile the plane aperiodically would still be a big dea.
It's not really a single shape since the tiling contains the shape's reflection which is normally considered a different shape since its handedness changes.
They didn't indicate they couldn't read the article due to a paywall. They just asked for an ELI5 on something that's covered in the 4th paragraph of the article. My reaction would be different if you said you couldn't read the article and asked the same question.
Ah, a proof for updating the busy beaver / Turing machine to include GPT:
the busy tiler -- 'walk this way, talk this way'[1]. Perhaps also improving computational users health with a python corollary[0].
As far as I know, the resemblance is superficial. (For one thing, the standard dragon curve is based on 90° angles, and this tile has a mixture of 90° and 120° angles, giving it a 6-fold pseudo-symmetry.) There are many other non-periodic or aperiodic tilings that are based on substitution rules, and many of them look totally different:
In addition, the dragon curve is a fractal -- mathematically, it's defined as the limit that the substitution process converges to as the details get "infinitely small", which means that in a sense, the true dragon curve (as opposed to the approximation that you can draw on a computer) has a boundary with no straight line segments at all. On the other hand, an aperiodic tiling is composed of finite, fixed-size tiles that extend outwards to infinity.
Funnily enough, the dragon curve is a space-filling curve that tiles the plane periodically.
That suggests that the layout at some radius R in the distance is unpredictable without "running" it, in the Wolfram computational-irreducible sense.
They say they have "a new kind of geometric incommensurability argument", and there are many statements about the related undecidability of related tiling classes.. but not really grokking this.
I wish it were a little more random in a sense... just enough so that the brain doesn't get "bored" of the evolution of the pattern, but not too much randomness that the randomness itself becomes like white noise (yet another pattern the brain can get "bored" of)
Would be extremely curious if patterns like the one described exist in math.
I feel Penrose P2 tiles are better in that sense. I think you could craft something with that kind of "fractal interestingness" by using color to emphasize the larger regular patterns that can occur in a Penrose tiling.
I dont't get it. In the picture, each tile is composed of 8 identical quadrilaterals. So why don't these quadrilaterals constitute a simpler shape that can tile a wall and never repeat?
The key point (often missed by these articles) is that aperiodic tilings do not have a (infinite) periodic pattern. This means that you cannot draw a shape on these tiles and say: "the tiling is based on infinite repetitions of this shape, and only this shape".
Of course individual tiles will repeat, but never in an infinite periodic pattern.
Edit: a novelty of this paper is that their shape is "truly" aperiodic, which means no matter how hard you try, you will end up with aperiodic tiling. Existing one-shape aperiodic tilings had to add constraints on how to put two shapes next to each other to ensure aperiodicity.
I meant "a given orientation of the tile will be present many times (or infinitely many)".
It's very probable (I did not read the paper, only their website page) that the tile only occupies a finite amount of orientations in the tiling and therefore at least (and probably more if not all) one orientation will also be present an infinite amount of times.
However this does not imply periodicity of the tiling.
Someone below mentioned that the important part isn't that it tiles aperiodically, but that it ONLY tiles aperiodically. There are simpler shapes that will tile both aperiodically and periodically.
This tile forces a pattern that does not repeat. If you use the simpler shape you can tile a wall such that it never repeats, but you can also make a repeating pattern.
I'd really like to see this applied to 3D world modeling. If a landscape were tiled with a textured material in this way, perhaps it would look more natural.
I would love this, but also it would be way more expensive to tile, because you can't manufacture a consistent sheet of tiles. No two sheets would be alike!
If you have access to a laser cutter, you can make them out of wood or acrylic. You may find a laser cutter at your local library or maker space. I'd be happy to make tiles for you at the cost of materials and shipping.
Is the proven? Aperiodic is not the same as "full measure".
101001000100001... is aperiodic but doesn't contain every finite string.
But you could say that becaus it contains an infinite set of distinct finite substrings, it can be put in bijection with any countable set of objects. That's not a "picture" in common parlance, via any sort of structured encoding, it's just an index.
Direct link to PDF on ArXiv (89 pages) https://arxiv.org/pdf/2303.10798.pdf