Mathematicians Have Found a Shape with a Pattern That Never Repeats(smithsonianmag.com) |
Mathematicians Have Found a Shape with a Pattern That Never Repeats(smithsonianmag.com) |
Edit - a visual explanation of this journey: https://www.youtube.com/watch?v=IfVwelta1fE
edit: and a live stream chat with the article's authors, worth a watch for the quirky tilings by Yoshiaki Araki alone: https://www.youtube.com/watch?v=OImGgciDZ_A
> David Smith, a retired printing technician and nonprofessional mathematician, was the first to come up with the shape that could be a solution to the long-standing “einstein problem.” He shared his ideas with scientists who took on the challenge of trying to mathematically prove his conjecture
Mathematicians discover shape that can tile a wall and never repeat (newscientist.com) - 488 points, 3 months ago, 160 comments
https://news.ycombinator.com/item?id=35242458 - 104 points, 3 months ago, 22 comments
https://news.ycombinator.com/item?id=35264965 - 222 points, 3 months ago, 52 comments
https://news.ycombinator.com/item?id=35265569 - 3 points, 3 months ago, 1 comment
The irony is palpable.
Most definitions I could find (I am not a mathematician) seems to imply one of: repetition, growth or shirking.
This shape appears to have none of these properties but they still call it a pattern.
Where do 13 sides come from? Is it related to a number of transformations?
Anyway, I agree that people like to focus on the elegant parts. Math popularization materials have too much kawaii math.
It has been proven using a computer. The problem was first reduced to a few hundred cases, then a brute force algorithm was used to solve each case.
Edit: I will say the coolest thing about this is the cross-disciplinary connection hints at a metapattern: https://youtu.be/48sCx-wBs34?t=1007
The way I intuit it, though I could be wrong, is that as you have a "ground level" or "close" measurement of white noise, it appears complex and varied. As you go up and up in the scale, you get the "eagle eye's view" of white noise, you realize "oh shit, it's all kinda the same!"
So it wouldn't necessarily prove anything, but if the entropy dropped as you scaled, it would show that the pattern isn't really that complex, and there's a lot of hidden redundancy. I mean it is called a "pattern" after all to be fair.
So we know the minimum number of sides is at least five.
Assuming 13 sides is established as the minimum, I suspect there is no 'nice' reason for it; its just that this may be the minimum number to give you sufficient degrees of freedom.
The monster: https://youtu.be/mH0oCDa74tE
Ideal packing of squares (some are elegant, 17 is not) https://kingbird.myphotos.cc/packing/squares_in_squares.html
The 4 color theorem was solved by reducing it down to 633 cases and just using a computer to find a coloring for each case: https://en.m.wikipedia.org/wiki/Four_color_theorem