Hacker News new | past | comments | ask | show | jobs | submit login

I am a layman, so I can’t actually answer your question properly, and others have given very excellent answers already. But if it interests you, here is why this is “surprising” to me, and in math, the most excellent feeling is often one of being surprised by a result and then figuring out why things are not the way you expected them to be.

I may be misusing the word, but it starts with “symmetry.” Symmetry is the general case of something remaining the same after being put through some sort of transformation. So a square is symmetrical when transformed by reflection along either of two axes. This generalizes in other ways. We are pretty sure that gravity works the same way on Earth as on the Sun, and the same on the Sun as on other starts in our galaxy, and the same way here as it does on galaxies far far away. So gravity is the same when transformed by being moved across any arbitrary distance in space.

Conway’s Game of Life has translational symmetry. If you take any cell and look at its neighbours, they are always arranged in the same grid, they look like each other. So you can say that if you take any point and “translate” it by moving it somewhere else, it will behave the same way. The same goes for any pattern or formation of cells: You can move them somewhere else and they will look the same way and behave the same way.

Thus, a glider that “moves” across the Life universe is constantly moving from one place that looks like everywhere else to another place that looks like everywhere else. Although you may not guess exactly what a glider or spaceship or puffer train or any other ‘moving’ formation looks like, you can guess that there is no special impediment to their existence, because if something were to move from place A to place B, it would automatically repeat all over again and move to point C and then D and so on because point B looks just like A and C looks just like B.

So yes, you have to solve how to move from A to B in such a way that you don’t leave any debris around so that the universe from the vantage of point B looks just like the universe from the vantage of point A. But then the thing will just keep going forever.

But what about a universe with Penrose tiling? Well, this is different. The defining characteristic of Penrose tiling is that it lacks translational symmetry:

https://en.wikipedia.org/wiki/Penrose_tiling

By definition, no two places in a Penrose-tiled universe look just like each other. If you have place A and place B, and they are different places, the exact arrangement of neighbours is going to be different. In a Penrose-tiled universe, you can figure out exactly where you are by looking at your neighbourhood.

For this reason, if we take some point A and construct a formation that replicates itself while moving to point B, we cannot assume that it will now replicate itself and move to point C, because we know that the neighbourhood around B is not the same as the neighbourhood around A. The pattern must somehow be specially crafted to deal with any and every possible arrangement of tiles within its neighbourhood.

Furthermore, if it is to ‘glide’ and not circle like a boomerang, it must be crafted not to turn in any arbitrary way, because it is deterministic, and if it ever returns to a place it has been, it will be trapped in a loop forever.

Obviously it is possible, you are looking at such a thing. But given the basic problem that no two places look like each other in a Penrose-tiled universe, it is very surprising to me that any glider exists, much less a small and simple one.

More importantly, the fact that a simple glider exists suggest that there is some translational symmetry going on even though the exact neighbourhood of cells is different everywhere you look in the Penrose-tiled universe. That’s interesting.




I just want to say what an excellent explanation that was.




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: