Задача одной плитки
Задача одной плитки (англ. einstein problem) — решённая геометрическая проблема поиска одной протоплитки, которая образует непериодическое множество плиток, то есть фигуры, копиями которой можно замостить пространство, но только непериодичным способом. В источниках на английском языке такие фигуры называют «einsteins» — игра слов, нем. ein stein означает «один камень»[1], и так же записывается фамилия физика Альберта Эйнштейна.
Задачу одной плитки можно рассматривать как естественное продолжение второй части восемнадцатой проблемы Гильберта, в которой задаётся вопрос о многограннике, копиями которого можно заполнить трёхмерное евклидово пространство, причём никакое заполнение пространства копиями этого многогранника не должно быть изоэдральным[2]. Такие неизоэдральные тела были найдены Карлом Райнхардом в 1928 году, но эти тела заполняют пространство периодическим образом.
Частичные решения[править | править код]
В 1988 году Петер Шмитт обнаружил непериодическую протоплитку для трёхмерного евклидова пространства. Хотя никакое заполнение этим телом не допускает параллельный перенос, некоторые заполнения имеют винтовую симметрию. Операция винтовой симметрии имеет вид композиции параллельного переноса и вращения на угол, несоизмеримый с π, так что никакое число повторений этих операций не приведёт к простому параллельному переносу. Эта конструкция была позднее использована Джоном Конвеем и Людвигом Данцером для построения выпуклой непериодической плитки, плитки Шмитта — Конвея — Данцера. Наличие винтовой симметрии явилось следствием требования непериодичности[3]. Хаим Гудман-Штраусс предложил считать мозаики строго апериодичными, если для них не существует бесконечной циклической группы движений евклидова пространства, являющихся симметриями мозаики, и называть строго апериодичными только те наборы плиток, которые приводят к строго апериодичным мозаикам, остальные наборы плиток тогда называются слабо апериодичными[4].
В 1996 году Петра Гуммельт построила десятиугольную плитку с рисунком и показала, что при разрешении двух типов перекрытия пар плиток ими можно замостить плоскость, причём только апериодичным образом[5]. Обычно под мозаикой понимается заполнение без перекрытия, так что плитку Гуммельт нельзя считать апериодической протоплиткой.
В начале 2010-х годов Джошуа Соколар и Джоан Тейлор предложили апериодическое множество плиток на евклидовой плоскости, которое состоит только из одной плитки[6]. Конструкция плитки Соколара — Тейлор вовлекает правила соединения, правила, ограничивающие относительную ориентацию двух плиток, и правила соединения рисунков на плитках, и эти правила применяются к парам несмежных плиток. Можно использовать плитки без рисунков и без правил ориентации, но тогда плитки не будут связными. Построение можно распространить на трёхмерное пространство с использованием связных плиток и без правил соединения, но эти плитки могут быть выложены с периодичностью в одном направлении, так что это лишь слабо непериодическая мозаика. Более того, плитки не односвязны.
«Шляпа»[править | править код]
В 2022 году математик-любитель Дэвид Смит обнаружил плитку в форме 13-угольной «шляпы» (англ. hat), состоящую из восьми копий дельтоида с углами 60°–90°–120°–90°, склеенных встык, которые, как казалось, могли непериодически замощать плоскость[7]. Смит обратился за помощью к профессиональным математикам Дж. С. Майерсу, К. С. Каплану и Х. Гудман-Штрауссу, и в 2023 году они совместно опубликовали доказательство, что «шляпа» вместе с её зеркальным отражением образуют набор плиток, который замощает плоскость исключительно непериодически, тем самым окончательно решив задачу одной плитки[8]. Более того, они нашли целое семейство протоплиток с таким свойством. Хотя работа ещё не прошла рецензирование, эксперты, которых опросил Science News, сообщили, что результат, вероятно, выдержит тщательную проверку[9].
Вскоре Смит с соавторами опубликовали описание ещё одной плитки, названной ими spectre (с англ. — «привидение»), которая допускает только апериодическое замощение плоскости без использование зеркально отражённой плитки[10].
Примечания[править | править код]
- ↑ Newly discovered 'einstein' tile is a 13-sided shape that solves a decades-old math problem | Live Science
- ↑ Senechal, 1996, pp. 22–24.
- ↑ Radin, 1995, pp. 3543–3548.
- ↑ Goodman-Strauss, 2000.
- ↑ Gummelt, 1996, pp. 1–17.
- ↑ Socolar, Taylor, 2011, pp. 2207–2231.
- ↑ Hobbyist Finds Math’s Elusive ‘Einstein’ Tile // Quanta Magazine
- ↑ David Smith, Joseph Samuel Myers, Craig S. Kaplan, and Chaim Goodman-Strauss. An aperiodic monotile (2023). Дата обращения: 21 марта 2023.
- ↑ Mathematicians have finally discovered an elusive ‘einstein’ tile (амер. англ.) (24 марта 2023). Дата обращения: 29 марта 2023.
- ↑ David Smith, Joseph Samuel Myers, Craig S. Kaplan, and Chaim Goodman-Strauss. A chiral aperiodic monotile (2023). Дата обращения: 30 мая 2023.
Ссылки[править | править код]
- Petra Gummelt. Penrose Tilings as Coverings of Congruent Decagons // Geometriae Dedicata. — 1996. — Vol. 62. — Вып. 1. — doi:10.1007/BF00239998.
- Marjorie Senechal. Quasicrystals and Geometry. — corrected paperback. — Cambridge University Press, 1996. — ISBN 0-521-57541-9.
- Charles Radin. Aperiodic tilings in higher dimensions // Proceedings of the American Mathematical Society. — American Mathematical Society, 1995. — Vol. 123. — Вып. 11. — doi:10.2307/2161105. — .
- Chaim Goodman-Strauss. Open Questions in Tiling. — 2000. Архивировано 18 апреля 2007 года. Архив:
- Joshua E. S. Socolar, Joan M. Taylor. An Aperiodic Hexagonal Tile // Journal of Combinatorial Theory, Series A. — 2011. — Vol. 118. — doi:10.1016/j.jcta.2011.05.001. — arXiv:1003.4279.
 | Для улучшения этой статьи желательно:
|
