{"id":2969,"date":"2017-07-31T10:08:56","date_gmt":"2017-07-31T14:08:56","guid":{"rendered":"http:\/\/blogs.ams.org\/blogonmathblogs\/?p=2969"},"modified":"2017-08-01T10:10:06","modified_gmt":"2017-08-01T14:10:06","slug":"searching-for-einstein","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/blogonmathblogs\/2017\/07\/31\/searching-for-einstein\/","title":{"rendered":"Searching For Einstein"},"content":{"rendered":"<p>No, not Einstein. We&#8217;re searching for einstein.  Literally &#8220;ein Stein,&#8221; which translated from German means &#8220;one stone.&#8221;  The one stone we&#8217;re looking for is a very special type of tile which, when repeated, can cover an infinite floor without leaving any gaps and without admitting any sort of pattern.   <\/p>\n<p>We call an arrangement of tiles that covers the plane without any gaps or overlaps a <a href=\"https:\/\/en.wikipedia.org\/wiki\/Euclidean_tilings_by_convex_regular_polygons#Regular_tilings\">tiling<\/a>, and a tiling is called <a href=\"https:\/\/en.wikipedia.org\/wiki\/Aperiodic_tiling\">non-periodic<\/a> if it has no translational symmetry.  That means, if I pick the tiling up and move it in any direction, I won&#8217;t be able to fit it back down on itself.  A nice example of a non-periodic tiling where we allow two types of tiles is the <a href=\"https:\/\/en.wikipedia.org\/wiki\/Penrose_tiling\">Penrose tiling<\/a>.  And if we loosened our restrictions slightly to allow tiles which are not connected, <a href=\"https:\/\/www.technologyreview.com\/s\/418175\/first-aperiodic-tiling-with-a-single-shape\/\">Socolar and Taylor<\/a> found such a tiling in 2010.   So more formally, <a href=\"https:\/\/en.wikipedia.org\/wiki\/Einstein_problem\">the search for einstein<\/a> is the search for a single connected tile that tiles only non-periodically.  Recently, in the quest for einstein, some interesting progress has been made.<\/p>\n<p>First some basics. Let&#8217;s think about tilings that only use a single <a href=\"https:\/\/en.wikipedia.org\/wiki\/Convex_polygon\">convex polygon<\/a>, that is, a polygon whose angles all bulge out instead of in.  If we allow patterns and periodicity, then it&#8217;s easy to imagine how you could achieve a non-overlapping gap-free tiling that with a square, triangular, or even hexagonal tile.  Even though sometimes they can be <a href=\"https:\/\/blogs.scientificamerican.com\/roots-of-unity\/math-under-my-feet\/\">in disguise<\/a>. <\/p>\n<div id=\"attachment_2971\" style=\"width: 700px\" class=\"wp-caption aligncenter\"><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-2971\" src=\"https:\/\/i0.wp.com\/blogs.ams.org\/blogonmathblogs\/files\/2017\/07\/Document1.jpg?resize=640%2C217\" alt=\"\" width=\"640\" height=\"217\" class=\"size-full wp-image-2971\" srcset=\"https:\/\/i0.wp.com\/blogs.ams.org\/blogonmathblogs\/files\/2017\/07\/Document1.jpg?w=690&amp;ssl=1 690w, https:\/\/i0.wp.com\/blogs.ams.org\/blogonmathblogs\/files\/2017\/07\/Document1.jpg?resize=300%2C102&amp;ssl=1 300w\" sizes=\"auto, (max-width: 640px) 100vw, 640px\" \/><p id=\"caption-attachment-2971\" class=\"wp-caption-text\">We now know that these are the only three possible regular hexagonal tilings.  They were first discovered by Karl Reinhardt in 1918. Image via Wikimedia Commons.<\/p><\/div>\n<p>Things get a bit more interesting when we consider pentagons.  In the early 1900&#8217;s Karl Reinhardt found five examples of families of pentagonal tilings.  Several more were found by various people over the years, including 4 families which were found by housewife and mathematical enthusiast Marjorie Rice, <a href=\"https:\/\/www.quantamagazine.org\/marjorie-rices-secret-pentagons-20170711\/\">who recently passed away<\/a>.  And just last year, as <a href=\"http:\/\/blogs.ams.org\/blogonmathblogs\/2015\/09\/07\/theres-something-about-pentagons\/\">reported on this blog by Evelyn Lamb<\/a>, another pentagonal tiling was found, bringing the total number of known families of pentagonal tilings to 15. For some fun teachable moments involving pentagonal tilings, <a href=\"https:\/\/mikesmathpage.wordpress.com\/2017\/05\/04\/evelyn-lambs-pentagons-are-everything\/\">check out mikesmathpage<\/a>.<\/p>\n<div id=\"attachment_2982\" style=\"width: 1028px\" class=\"wp-caption aligncenter\"><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-2982\" src=\"https:\/\/i0.wp.com\/blogs.ams.org\/blogonmathblogs\/files\/2017\/07\/15_pentagonal_tiling_colored_by_edge-to-edge_sides.png?resize=640%2C382\" alt=\"\" width=\"640\" height=\"382\" class=\"size-full wp-image-2982\" srcset=\"https:\/\/i0.wp.com\/blogs.ams.org\/blogonmathblogs\/files\/2017\/07\/15_pentagonal_tiling_colored_by_edge-to-edge_sides.png?w=1018&amp;ssl=1 1018w, https:\/\/i0.wp.com\/blogs.ams.org\/blogonmathblogs\/files\/2017\/07\/15_pentagonal_tiling_colored_by_edge-to-edge_sides.png?resize=300%2C179&amp;ssl=1 300w, https:\/\/i0.wp.com\/blogs.ams.org\/blogonmathblogs\/files\/2017\/07\/15_pentagonal_tiling_colored_by_edge-to-edge_sides.png?resize=768%2C458&amp;ssl=1 768w\" sizes=\"auto, (max-width: 640px) 100vw, 640px\" \/><p id=\"caption-attachment-2982\" class=\"wp-caption-text\">These are the 15 families of tilings with convex pentagons.  Here colors indicate the number of edges touching each pentagon.  Image courtesy of Wikimedia Commons.<\/p><\/div>\n<p>In breaking news, mathematician Micha&euml;l Rao of France&#8217;s <a href=\"http:\/\/www.cnrs.fr\">CNRS<\/a> <a href=\"https:\/\/www.quantamagazine.org\/pentagon-tiling-proof-solves-century-old-math-problem-20170711\/\">proved that these are precisely all of the convex tilings of the plane<\/a>.  There are just the 15 known families of pentagonal tilings, 3 hexagonal tilings, and all triangular and quadrilateral tilings.  Of note, is that Rao&#8217;s work involves a <a href=\"https:\/\/perso.ens-lyon.fr\/michael.rao\/publi\/penta.pdf\">computer assisted proof<\/a>, which allowed him first to establish some bounds via theoretical methods and then do an exhaustive search. Rao&#8217;s conclusion: there are no convex polygons that admit only non-periodic tilings, that means, the einstein tile must not be a convex polygon. <\/p>\n<p>This means, if we want to find einstein, we need to start looking at <a href=\"https:\/\/en.wikipedia.org\/wiki\/Concave_polygon\">concave<\/a> tiles. <\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" ><\/div>","protected":false},"excerpt":{"rendered":"<p>No, not Einstein. We&#8217;re searching for einstein. Literally &#8220;ein Stein,&#8221; which translated from German means &#8220;one stone.&#8221; The one stone we&#8217;re looking for is a very special type of tile which, when repeated, can cover an infinite floor without leaving &hellip; <a href=\"https:\/\/blogs.ams.org\/blogonmathblogs\/2017\/07\/31\/searching-for-einstein\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" data-url=https:\/\/blogs.ams.org\/blogonmathblogs\/2017\/07\/31\/searching-for-einstein\/><\/div>\n","protected":false},"author":69,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[1],"tags":[716,715,181,717,466],"class_list":["post-2969","post","type-post","status-publish","format-standard","hentry","category-uncategorized","tag-hexagonal-tiling","tag-michael-rao","tag-mikesmathpage","tag-pentagonal-tiling","tag-tilings"],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p3tW3N-LT","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/posts\/2969","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/users\/69"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/comments?post=2969"}],"version-history":[{"count":25,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/posts\/2969\/revisions"}],"predecessor-version":[{"id":2999,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/posts\/2969\/revisions\/2999"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/media?parent=2969"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/categories?post=2969"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/tags?post=2969"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}