Mathematicians discover an elusive ‘einstein’ tile, with Fibonacci undertones

Posted: April 3, 2023 by oldbrew in Fibonacci, Maths, News

Image credit: D. SMITH, J.S. MYERS, C.S. KAPLAN AND C. GOODMAN-STRAUSS (CC BY 4.0)]


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.

Comments
  1. oldbrew says:

    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)

  2. oldbrew says:

    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

  3. Neil says:

    I don’t believe it can never repeat. Can they prove that?

    [reply] linked article describes two proofs

  4. Paul Vaughan says:

    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

  5. […] Mathematicians discover an elusive ‘einstein’ tile, with Fibonacci undertones […]

  6. oldbrew says:

    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

  7. Paul Vaughan says:

    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.

  8. Paul Vaughan says:

    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)

  9. Paul Vaughan says:

    =
    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.

  10. Paul Vaughan says:

    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.

  11. Paul Vaughan says:

    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

  12. Paul Vaughan says:

    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

  13. Paul Vaughan says:

    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

  14. Paul Vaughan says:

    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

  15. Paul Vaughan says:

    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).

  16. Paul Vaughan says:

    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:

  17. oldbrew says:

    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

  18. Paul Vaughan says:

    further clarification
    2021 Amicable Heron Triangles
    https://www.researchgate.net/publication/348756589_Amicable_Heron_triangles

  19. oldbrew says:

    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