Something different here: ‘A 13-sided shape called ‘the hat’ forms a pattern that never repeats’, they say. We note an extra feature: each ‘hat’ contains 8 ‘kites’, and 13 and 8 are Fibonacci numbers.
– – –
After half a century, mathematicians succeed in finding an ‘einstein,’ a shape that forms a tiled pattern that never repeats, says Science News.
A 13-sided shape known as “the hat” has mathematicians tipping their caps.
It’s the first true example of an “einstein,” a single shape that forms a special tiling of a plane: Like bathroom floor tile, it can cover an entire surface with no gaps or overlaps but only with a pattern that never repeats.
“Everybody is astonished and is delighted, both,” says mathematician Marjorie Senechal of Smith College in Northampton, Mass., who was not involved with the discovery. Mathematicians had been searching for such a shape for half a century. “It wasn’t even clear that such a thing could exist,” Senechal says.
Although the name “einstein” conjures up the iconic physicist, it comes from the German ein Stein, meaning “one stone,” referring to the single tile. The einstein sits in a weird purgatory between order and disorder. Though the tiles fit neatly together and can cover an infinite plane, they are aperiodic, meaning they can’t form a pattern that repeats.
With a periodic pattern, it’s possible to shift the tiles over and have them match up perfectly with their previous arrangement. An infinite checkerboard, for example, looks just the same if you slide the rows over by two.
While it’s possible to arrange other single tiles in patterns that are not periodic, the hat is special because there’s no way it can create a periodic pattern.
Identified by David Smith, a nonprofessional mathematician who describes himself as an “imaginative tinkerer of shapes,” and reported in a paper posted online March 20 at arXiv.org, the hat is a polykite — a bunch of smaller kite shapes stuck together.
That’s a type of shape that hadn’t been studied closely in the search for einsteins, says Chaim Goodman-Strauss of the National Museum of Mathematics in New York City, one of a group of trained mathematicians and computer scientists Smith teamed up with to study the hat.
It’s a surprisingly simple polygon.
Full article here [includes brief video demo.]
– – –
Talkshop note: If we wanted to push the Fibonacci aspect further, each double kite has 5 sides.







The Fibonacci Resonance
by Clive N. Menhinick
[Reviewed by Underwood Dudley, on 02/16/2016]
– – –
Woody Dudley retired from teaching in 2004. He is old, and jaded, and when told that a^4=(7 + √5*3)/2
(page 182, 12.3) — the first four primes, in reverse order — says “So what?”
https://www.maa.org/press/maa-reviews/the-fibonacci-resonance
Jaded 😎
(NB in the equation a^4 means phi^4)
Sweet!
Today in the Guardian…
‘The miracle that disrupts order’: mathematicians invent new ‘Einstein’ shape
The discovery was largely the work of David Smith of the East Riding of Yorkshire, who had a longstanding interest in the question and investigated the problem using an online geometry platform.
https://www.theguardian.com/science/2023/apr/03/new-einstein-shape-aperiodic-monotile
https://www.jaapsch.net/puzzles/polysolver.htm
Image in colour…
https://i.guim.co.uk/img/media/c8b7d1cc84d28a578a069f6f3f79d82a5c221f91/0_18_1200_720/master/1200.jpg?width=570&quality=45&dpr=2&s=none
I don’t believe it can never repeat. Can they prove that?
[reply] linked article describes two proofs
[…] From Tallbloke’s Talkshop […]
Review
“They are the first known non-periodic tilings to each have the property that their tiles appear in infinitely many orientations.”
https://en.wikipedia.org/wiki/Pinwheel_tiling
[…] Mathematicians discover an elusive ‘einstein’ tile, with Fibonacci undertones […]
An einstein (German: ein Stein, one stone) is an aperiodic tiling that uses only a single shape. The first such tile was discovered in 2023, using a shape termed a “hat”
https://en.m.wikipedia.org/wiki/Aperiodic_tiling#History
A link given by oldbrew above gives a veiled hint about some supposed future announcement which appears related to the following:
63 = -1*28+3*43-3*67+1*163 = 10+13+18+22
5 = -1*11+3*19-3*28+1*43 = 18-3
4 = -1*3+3*7-3*11+1*19 = 22-18
3 = -1*19+3*28-3*43+1*67 = 13-10
3 = 1*7-3*11+3*19-1*28
3 = 1*2-3*3+3*7-1*11
3 = -1*1+3*2-3*3+1*7
Repeat differencing on an ordered set accounts for the Pascal coefficients.
partial elaboration:
261 = -1*1+9*2-36*3+84*7-126*11+126*19-84*28+36*43-9*67+1*163
261 = 37+43+53+61+67 = 639-378
595 = 129+265+201
639 = 316+323 = ΣΦ(595) ; 595 = δ(1186)
=
McKay “conveyed a vivid sense of mathematics as a great intellectual adventure.”[…] “In his world, mathematics abounded with cosmic conspiracies, and it was our mission to uncover them […]”
=
https://www.concordia.ca/cunews/main/stories/2022/05/25/remembering-john-mckay-he-was-a-source-of-much-inspiration.html
It’s not actually a conspiracy. It’s just simple math.
3 decades ago a Bostonian surveying engineering student tried to interest me in group theory. I decided to leave engineering for ecology soon thereafter.
clarification, review
28 = s(28)
{1, 2, 3, 7, 11, 19, 28, 43, 67, 163} is set union of
{1, 2, 3, 7, 11, 19, 43, 67, 163} (Heegner) &
{19, 28, 43, 67, 163} (744)
~example: NASA Standish (1992) anomalistic model (mentioned here)
6.84965749686418 = log(28^8,7^2)
6.84965749686418 ~= 2/(-3/V+5/E+2/J) ; 0.000303453455091926% error
R(2,1/2,28) = 553.01187441498 = ⌊(e^√28π)^(1/2)⌉^2 – e^√28π
R(3,1/2,28) = 744.01187441498 = ⌊(e^√28π)^(1/3)⌉^3 – e^√28π
744 = d(3,1/2,28) = R(3,1/2,28) – R(1,1/2,28)
553 = d(2,1/2,28) = R(2,1/2,28) – R(1,1/2,28)
anomalistic Jupiter-Earth-Venus (JEV)
4424 = 158*28 = 316*14
2212 = 158*14 = 553*4 = 316*7
1106 = 158*7 = 553*2
22.12 = 1/(3/V-5/E+2/J)
repeat difference
553 = – 1*1 + 8*2 – 28*3 + 56*12 – 70*17 + 56*28 – 28*32 + 8*72 – 1*108
553 = sum of divisor sums of Chen primes less than or equal to 71
σ(163) = 164 = Σφ(637) = φ(326)
326 = 2*41 + 3*13 + 5*6 + 7*2 + 11 + 13 + 17 + 19 + 23 + 31 + 47
637 = 2*46 + 3*20 + 5*9 + 7*6 + 11*2 + 13*3 + 17 + 19 + 23 + 29 + 31 + 41 + 47 + 59 + 71
637 = ΣΣφ(326) = δ(1106)
M & B primes are subset of Chen primes.
Demystification
Repeat-difference (ordered) Heegner no. functions:
f(n) = σ(n)
f(n) = n
f(n) = Φ(n)
Accumulate rows upwards & downwards and columns leftward & rightward.
Note equivalences with Pascal triangle variants (reflections, negations, combinations).
Some partitions are invariant with the functions listed above.
A few examples of resultant insights:
973 = 595+378
177 = 575-398
637 = (716-257)+(575-398)+1
example (clarification)
φ(326) = 164
φ(164) = 84
φ(84) = 60
φ(60) = 44
φ(44) = 24
φ(24) = 16
φ(16) = 8
φ(8) = 4
φ(4) = 2
φ(2) = 1
φ(1) = 0
407 = Σφ(326)
φ(407) = 47
φ(47) = 1
φ(1) = 0
48 = Σφ(407)
φ(48) = 32
φ(32) = 16
φ(16) = 8
φ(8) = 4
φ(4) = 2
φ(2) = 1
φ(1) = 0
63 = Σφ(48)
φ(63) = 27
φ(27) = 9
φ(9) = 3
φ(3) = 1
φ(1) = 0
40 = Σφ(63)
φ(40) = 24
φ(24) = 16
φ(16) = 8
φ(8) = 4
φ(4) = 2
φ(2) = 1
φ(1) = 0
55 = Σφ(40)
φ(55) = 15
φ(15) = 7
φ(7) = 1
φ(1) = 0
23 = Σφ(55)
φ(23) = 1
φ(1) = 0
1 = Σφ(23)
φ(1) = 0
0 = Σφ(1)
Σφ(326) = 407
Σφ(407) = 48
Σφ(48) = 63
Σφ(63) = 40
Σφ(40) = 55
Σφ(55) = 23
Σφ(23) = 1
Σφ(1) = 0
637 = ΣΣφ(326)
326 & 637: sum product factor*exponent B & M respectively
Notation
σ() = divisor sum
https://oeis.org/A000203
https://oeis.org/A000203/b000203.txt
s() = aliquot sum
https://oeis.org/A001065
https://oeis.org/A001065/b001065.txt
Φ() = euler’s totient
https://oeis.org/A000010
https://oeis.org/A000010/b000010.txt
φ() = cototient
http://oeis.org/A051953
http://oeis.org/A051953/b051953.txt
Δ(n) = Φ(n) – μ(n) = totient – möbius
http://oeis.org/A053139
http://oeis.org/A053139/b053139.txt
δ(n) = φ(n) + μ(n) = cototient + möbius
http://oeis.org/A228620
http://oeis.org/A228620/b228620.txt
clarifying a little further
1 = σ(1) = Φ(1)
637 = (716-257)+(575-398)+1 = δ(1106)
178 = 637-(716-257) = (575-398)+1
177 = 637-(716-257)-1 = 575-398
177 = 47 + 59 + 71
177=s(129)+s(265)+s(201)
595 = 129 + 265 + 201 = δ(1186)
378 = 973-595
525 = sum simply sporadic primes
114 = 639-525 = 53+61 = σ(37*2)*2
Δ(114) = 37
1369 = 37 * 37
1368 = Φ(37) * σ(37)
36 = Φ(37) ; σ(37) = 38 = Σs(37)
55 = ΣΦ(37) = 1^2 + 2^2 + 3^2 + 4^2 + 5^2 = 28^2 – 27^2 = 27 + 28
s(323) = 37
55 + 323 = 378
repeat sum
Φ(2) = 1 |
Φ(3) = 2 | 3
Φ(7) = 6 | 8 11
Φ(11) = 10 | 16 24 35
Φ(19) = 18 | 28 44 68 103
Φ(43) = 42 | 60 88 132 200 303
Φ(67) = 66 | 108 168 256 388 588 891
Φ(163) = 162 | 228 336 504 760 1148 1736 2627
1346 = 3 + 11 + 35 + 103 + 303 + 891
2627: 1 37 71 2627
R(1,1/2,12) = -0.29522210482537 = ⌊(e^√12π)^(1/1)⌉^1 – e^√12π
R(2,1/2,12) = 108.704777895175 = ⌊(e^√12π)^(1/2)⌉^2 – e^√12π
R(4,1/2,12) = -2627.29522210483 = ⌊(e^√12π)^(1/4)⌉^4 – e^√12π
109 = d(2,1/2,12) = R(2,1/2,12) – R(1,1/2,12) = 71 + 37 + 1
2627 = -d(4,1/2,12) = R(1,1/2,12) – R(4,1/2,12) = 71 * 37
2736 = 109 + 2627 = R(2,1/2,12) – R(4,1/2,12) = Φ(37) * σ(37) * 2
2736 = 108 + 2628
2736 = 71+37+1+2627 = σ(2627)
review: 216 = 107+109
5256 = -216 + 2736 * 2
twin prime balance
Φ(109) = 108 = σ(107) ; Φ(108) = 36 = Φ(37) ;
Φ(36) = 12 ; Φ(12) = 4 ; Φ(4) = 2 ; Φ(2) = 1 ; Φ(1) = 1
163 = ΣΦ(109)
55 = ΣΦ(37)
108 = 163 – ( 1^2 + 2^2 + 3^2 + 4^2 + 5^2 ) = 71 + 37
constant symmetry of {2,3,7,11,19,43,67} across f(n) = Φ(n), n, σ(n)
37 = -1*1+6*2-15*6+20*10-15*18+6*42-1*66
37 = -1*2+6*3-15*7+20*11-15*19+6*43-1*67
37 = -1*3+6*4-15*8+20*12-15*20+6*44-1*68
37 = -1*66+6*42-15*18+20*10-15*6+6*2-1*1
37 = -1*67+6*43-15*19+20*11-15*7+6*3-1*2
37 = -1*68+6*44-15*20+20*12-15*8+6*4-1*3
200 = 37+163 = 378-178
201 = 1+37+163 ; s(201) = 71
similarly repeat difference f(n) = Φ(n), n, σ(n) for {1,2,3,7,11,19,43,67,163}
find clusters with sum 595 (a triangular number) and 305 with differences 15 & 290
partitions fit 216 and cubes of 3, 4, & 5
some websites curiously treat this as a mystery but it’s simple (and amenable to strictly formal academic presentation by those with the right background)
noteworthy properties include (this is just a sample, not an exhaustive treatment) :
1024 = 32^2; 32 = Σs(3*5) = 1024-992; s(992) = 1024; s(1024) = 1023
1023+323 = 1346; ΣΦ(1346) = 991; σ(991) = 992
ΣΦ(992) = 735; Φ(735) = Φ(980) = 336; σ(336) = 992
order matters
repeat sum & difference 129, 265, 201 and aliquot sums, varying order criteria
When climate blogs became too creepy this remained interesting. Curiosity and an instinct that there must be some underlying order (turned out to be true in the strict logical sense) was enough to keep exploring. Paid academics can finish the job and create a mainstream website explaining the whole thing. Maybe it’s already in books (?) and the only reason it’s treated as a mystery on the web is because paid academics haven’t yet presented a clear, simple outline (a few concise pages at most).
clarification
https://en.wikipedia.org/wiki/Exotic_sphere#Order_of_%CE%98n
skip right to the 8:00 mark if you only have a minute:
JUNE 2, 2023
Close relative of aperiodic tile ‘the hat’ found to be a true chiral aperiodic monotile
Mathematicians from Yorkshire University, the University of Cambridge, the University of Waterloo and the University of Arkansas have one-upped themselves by finding a close relative of “the hat,” a unique geometric shape that does not repeat itself when tiled, that is a true chiral aperiodic monotile. David Smith, Joseph Samuel Myers, Craig Kaplan and Chaim Goodman-Strauss have published a paper outlining their new find on the arXiv preprint server.
https://phys.org/news/2023-06-aperiodic-tile-hat-true-chiral.html
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 center and right for example, we obtain strictly chiral aperiodic monotiles called “Spectres” that admit only non-periodic tilings even when reflections are permitted. Credit: arXiv (2023). DOI: 10.48550/arxiv.2305.17743
further clarification
2021 Amicable Heron Triangles
https://www.researchgate.net/publication/348756589_Amicable_Heron_triangles
David Smith does it again…
JUNE 10, 2023
UK hobbyist stuns math world with ‘amazing’ new shapes
While all agreed “the hat” was the first einstein, its mirror image was required one in seven times to ensure that a pattern never repeated.
But in a preprint study published online late last month, Smith and the three mathematicians who helped him confirm the discovery revealed a new shape—”the specter.”
It requires no mirror image, making it an even purer einstein.
. . .
All involved expressed amazement that the breakthrough was achieved by someone without training in math.
https://phys.org/news/2023-06-uk-hobbyist-stuns-math-world.html