Плитка Пенроуза является примером апериодической плитки . Здесь плитка — это покрытие плоскости неперекрывающимися многоугольниками или другими фигурами, и плитка является апериодической , если она не содержит произвольно больших периодических областей или участков. Однако, несмотря на отсутствие трансляционной симметрии , плитки Пенроуза могут иметь как симметрию отражения , так и пятикратную вращательную симметрию . Плитки Пенроуза названы в честь математика и физика Роджера Пенроуза , который исследовал их в 1970-х годах.
Существует несколько вариантов мозаик Пенроуза с различными формами плиток. Первоначальная форма мозаики Пенроуза использовала плитки четырех различных форм, но позже это было сокращено только до двух форм: либо два различных ромба , либо два различных четырехугольника, называемых воздушными змеями и дротиками. Мозаики Пенроуза получаются путем ограничения способов, которыми эти формы могут совмещаться таким образом, чтобы избежать периодической мозаики. Это можно сделать несколькими различными способами, включая правила соответствия, подстановочную мозаику или правила конечного подразделения , схемы разрезания и проекции и покрытия. Даже ограниченная таким образом, каждая вариация дает бесконечно много различных мозаик Пенроуза.
Мозаики Пенроуза самоподобны : их можно преобразовать в эквивалентные мозаики Пенроуза с плитками разных размеров, используя процессы, называемые инфляцией и дефляцией . Узор, представленный каждым конечным участком плиток в мозаике Пенроуза, встречается бесконечно много раз по всей мозаике. Они являются квазикристаллами : реализованная в виде физической структуры мозаика Пенроуза будет создавать дифракционные картины с пиками Брэгга и пятикратной симметрией, выявляя повторяющиеся узоры и фиксированные ориентации ее плиток. [1] Изучение этих мозаик было важно для понимания физических материалов, которые также образуют квазикристаллы. [2] Мозаики Пенроуза также применялись в архитектуре и декорировании, как в показанной напольной плитке.
Покрытие плоской поверхности («плоскости») некоторым узором из геометрических фигур («плиток») без наложений или зазоров называется мозаикой . Наиболее известные мозаики, такие как покрытие пола квадратами, совпадающими ребром к краю, являются примерами периодических мозаик . Если квадратную мозаику сдвинуть на ширину плитки параллельно сторонам плитки, результатом будет тот же узор из плиток, что и до сдвига. Сдвиг (формально, перенос ) , который сохраняет мозаику таким образом, называется периодом мозаики. Мозаика называется периодической, когда у нее есть периоды, которые сдвигают мозаику в двух разных направлениях. [3]
Плитки в квадратной мозаике имеют только одну форму, и для других мозаик обычно иметь только конечное число форм. Эти формы называются протоплитками , и говорят, что набор протоплиток допускает мозаику или замощение плоскости , если существует мозаика плоскости, использующая только эти формы. То есть, каждая плитка в мозаике должна быть конгруэнтна одной из этих протоплиток. [4]
Мозаика, не имеющая периодов, является непериодической . Набор протоплиток называется апериодическим, если все его плитки непериодические, и в этом случае его плитки также называются апериодическими плитками . [5] Плитки Пенроуза являются одними из простейших известных примеров апериодических плиток плоскости конечными наборами протоплиток. [3]
Тема апериодических мозаик получила новый интерес в 1960-х годах, когда логик Хао Ван заметил связи между проблемами принятия решений и мозаиками. [7] В частности, он ввел мозаики из квадратных пластин с цветными краями, теперь известные как домино Вана или плитки , и сформулировал « задачу домино »: определить, может ли заданный набор домино Вана замостить плоскость с соответствующими цветами на соседних ребрах домино. Он заметил, что если бы эта проблема была неразрешимой , то должен был бы существовать апериодический набор домино Вана. В то время это казалось неправдоподобным, поэтому Ван предположил, что такого набора не может существовать.
Студент Вана Роберт Бергер доказал, что проблема домино неразрешима (поэтому гипотеза Вана была неверной) в своей диссертации 1964 года [8] и получил апериодический набор из 20 426 домино Вана. [9] Он также описал сокращение до 104 таких протоплиток; последний не появился в его опубликованной монографии [10] , но в 1968 году Дональд Кнут подробно описал модификацию набора Бергера, требующую всего 92 домино. [11]
Соответствие цветов, необходимое при укладке плиток домино Вана, можно легко достичь, изменив края плиток, как кусочки головоломки, так, чтобы они могли совпадать друг с другом только так, как предписано раскраской краев. [12] Рафаэль Робинсон в статье 1971 года [13], которая упростила методы Бергера и доказательство неразрешимости, использовал эту технику для получения апериодического набора всего из шести прототипов плиток. [14]
Первая мозаика Пенроуза (мозаика P1 ниже) представляет собой апериодический набор из шести протоплиток, введенный Роджером Пенроузом в статье 1974 года [16] , основанный на пятиугольниках, а не квадратах. Любая попытка замостить плоскость правильными пятиугольниками обязательно оставляет пробелы, но Иоганн Кеплер показал в своей работе 1619 года Harmonices Mundi , что эти пробелы можно заполнить с помощью пентаграмм ( звездчатых многоугольников ), декагонов и связанных с ними фигур. [17] Кеплер расширил эту мозаику на пять многоугольников и не нашел периодических узоров, и уже предположил, что каждое расширение введет новую особенность [18], таким образом создав апериодическую мозаику. Следы этих идей можно также найти в работе Альбрехта Дюрера . [19] Признавая вдохновение от Кеплера, Пенроуз нашел правила соответствия для этих фигур, получив апериодический набор. Эти правила соответствия могут быть наложены путем украшения краев, как в случае с плитками Вана. Плитку Пенроуза можно рассматривать как завершение конечного шаблона Aa Кеплера . [20]
Пенроуз впоследствии сократил количество протоплиток до двух, открыв мозаику «змей и дротик» (мозаика P2 ниже) и мозаику «ромб» (мозаика P3 ниже). [21] Мозаика «ромб» была независимо открыта Робертом Амманном в 1976 году. [22] Пенроуз и Джон Х. Конвей исследовали свойства мозаик Пенроуза и обнаружили, что свойство подстановки объясняет их иерархическую природу; их выводы были опубликованы Мартином Гарднером в его колонке « Математические игры » в журнале Scientific American в январе 1977 года . [23]
В 1981 году Н. Г. де Брейн предложил два различных метода построения мозаик Пенроуза. «Многосеточный метод» де Брейна получает мозаики Пенроуза как двойственные графы расположений пяти семейств параллельных линий. В его «методе разрезания и проецирования» мозаики Пенроуза получаются как двумерные проекции из пятимерной кубической структуры . В этих подходах мозаика Пенроуза рассматривается как набор точек, ее вершин, в то время как плитки являются геометрическими фигурами, полученными путем соединения вершин с ребрами. [24] Конструкция 1990 года, разработанная Бааке, Крамером, Шлоттманном и Зейдлером, вывела мозаику Пенроуза и связанную с ней мозаику треугольников Тюбингена аналогичным образом из четырехмерных 5-клеточных сот . [25]
Три типа мозаики Пенроуза, P1–P3, описаны по отдельности ниже. [26] У них много общих черт: в каждом случае плитки построены из форм, связанных с пятиугольником (и, следовательно, с золотым сечением ), но основные формы плиток должны быть дополнены правилами соответствия , чтобы плитка была апериодической. Эти правила могут быть описаны с использованием помеченных вершин или ребер, или узоров на гранях плитки; в качестве альтернативы, профиль ребра может быть изменен (например, с помощью углублений и выступов), чтобы получить апериодический набор прототипов. [9] [27]
Первая мозаика Пенроуза использует пятиугольники и три другие фигуры: пятиконечную «звезду» (пентаграмму), «лодку» (примерно 3/5 звезды) и «ромб» (тонкий ромб). [28] Чтобы гарантировать, что все мозаики непериодичны, естьПравила сопоставления , которые определяют, как плитки могут встречаться друг с другом, и есть три различных типа правил сопоставления для пятиугольных плиток. Рассмотрение этих трех типов как различных протоплиток дает набор из шести протоплиток в целом. Обычно три различных типа пятиугольных плиток обозначаются тремя различными цветами, как на рисунке выше справа.[29]
Вторая мозаика Пенроуза использует четырехугольники, называемые «воздушный змей» и «дротик», которые можно объединить, чтобы получить ромб. Однако правила сопоставления запрещают такую комбинацию. [30] И «воздушный змей», и «дротик» состоят из двух треугольников, называемых треугольниками Робинсона , в честь заметок Робинсона 1975 года. [31]
Правила сопоставления можно описать несколькими способами. Один подход заключается в раскрашивании вершин (двумя цветами, например, черным и белым) и требовании, чтобы смежные плитки имели совпадающие вершины. [32] Другой подход заключается в использовании шаблона из дуг окружностей (как показано выше слева зеленым и красным) для ограничения размещения плиток: когда две плитки имеют общий край в мозаике, шаблоны должны совпадать на этих краях. [21]
Эти правила часто заставляют размещать определенные плитки: например, вогнутая вершина любого дротика обязательно заполнена двумя воздушными змеями. Соответствующая фигура (центр верхнего ряда на нижнем изображении слева) называется Конвеем «тузом»; хотя она выглядит как увеличенный воздушный змей, она не замощает тем же способом. [33] Аналогично вогнутая вершина, образованная при встрече двух воздушных змеев вдоль короткого края, обязательно заполнена двумя дротиками (внизу справа). Фактически, существует только семь возможных способов для плиток встретиться в вершине; две из этих фигур — а именно, «звезда» (вверху слева) и «солнце» (вверху справа) — имеют 5-кратную диэдральную симметрию (за счет вращений и отражений), в то время как остальные имеют одну ось отражения (вертикальную на изображении). [34] За исключением туза (вверху посередине) и солнца, все эти вершинные фигуры заставляют размещать дополнительные плитки. [35]
Третья мозаика использует пару ромбов (часто называемых «ромбами» в этом контексте) с равными сторонами, но разными углами. [9] Обычные плитки в форме ромба можно использовать для периодического заполнения плоскости, поэтому необходимо наложить ограничения на то, как могут быть собраны плитки: никакие две плитки не могут образовывать параллелограмм, поскольку это позволило бы создать периодическую мозаику, но этого ограничения недостаточно для принудительной апериодичности, как показано на рисунке 1 выше.
Существует два вида плиток, оба из которых можно разложить на треугольники Робинсона. [31]
Правила сопоставления различают стороны плиток и подразумевают, что плитки могут быть сопоставлены определенными способами, но не другими. Два способа описания этих правил сопоставления показаны на изображении справа. В одном виде плитки должны быть собраны таким образом, чтобы изгибы на гранях совпадали по цвету и положению на краю. В другом виде плитки должны быть собраны таким образом, чтобы выступы на их краях совпадали. [9]
Существует 54 циклически упорядоченных комбинации таких углов, которые в сумме дают 360 градусов в вершине, но правила мозаики допускают появление только семи из этих комбинаций (хотя одна из них возникает двумя способами). [36]
Различные комбинации углов и кривизны лица позволяют строить произвольно сложные плитки, такие как куры Пенроуза . [37]
Несколько свойств и общих черт мозаик Пенроуза включают золотое сечение (приблизительно 1,618). [31] [32] Это отношение длин хорд к длинам сторон в правильном пятиугольнике , удовлетворяющее условию φ = 1 + 1/ φ .
Следовательно, отношение длин длинных сторон к коротким сторонам в ( равнобедренных ) треугольниках Робинсона равно φ : 1. Из этого следует, что отношение длин длинных сторон к коротким в плитках воздушного змея и дротика также равно φ : 1, как и отношения длин сторон к короткой диагонали в тонком ромбе t и длинной диагонали к сторонам в толстом ромбе T. В плитках P2 и P3 отношение площади большего треугольника Робинсона к меньшему равно φ : 1, следовательно, таковы же отношения площадей воздушного змея к дротиковому и толстого ромба к тонкому ромбу. (В пятиугольнике слева можно найти как большие, так и меньшие тупоугольные треугольники Робинсона: большие треугольники наверху — половинки толстого ромба — имеют линейные размеры, увеличенные на φ по сравнению с маленьким заштрихованным треугольником у основания, поэтому отношение площадей равно φ 2 : 1.)
Любая мозаика Пенроуза имеет локальную пятиугольную симметрию, в том смысле, что в мозаике есть точки, окруженные симметричной конфигурацией плиток: такие конфигурации имеют пятикратную вращательную симметрию относительно центральной точки, а также пять зеркальных линий симметрии отражения, проходящих через точку, группу диэдральной симметрии . [9] Эта симметрия, как правило, сохраняет только участок плиток вокруг центральной точки, но участок может быть очень большим: Конвей и Пенроуз доказали, что всякий раз, когда цветные кривые на мозаиках P2 или P3 замыкаются в петлю, область внутри петли имеет пятиугольную симметрию, и, кроме того, в любой мозаике существует не более двух таких кривых каждого цвета, которые не замыкаются. [38]
Может быть максимум одна центральная точка глобальной пятикратной симметрии: если бы их было больше одной, то вращение каждого вокруг другого дало бы два более близких центра пятикратной симметрии, что приводит к математическому противоречию. [39] Существует только две мозаики Пенроуза (каждого типа) с глобальной пятиугольной симметрией: для мозаики P2 с воздушными змеями и дротиками центральная точка является либо вершиной «солнца», либо вершиной «звезды». [40]
Многие из общих черт мозаик Пенроуза следуют из иерархической пятиугольной структуры, заданной правилами подстановки : это часто называют инфляцией и дефляцией , или композицией и декомпозицией мозаик или (коллекции) плиток. [9] [23] [41] Правила подстановки разлагают каждую плитку на более мелкие плитки той же формы, что и те, которые используются в мозаике (и, таким образом, позволяют «составлять» более крупные плитки из более мелких). Это показывает, что мозаика Пенроуза имеет масштабируемое самоподобие, и поэтому может рассматриваться как фрактал , использующий тот же процесс, что и пентафлак . [42]
Первоначально Пенроуз открыл мозаику P1 таким образом, разложив пятиугольник на шесть меньших пятиугольников (половину развертки додекаэдра ) и пять полуромбов; затем он заметил, что при повторении этого процесса промежутки между пятиугольниками могут быть заполнены звездами, алмазами, лодками и другими пятиугольниками. [ 28] Повторяя этот процесс бесконечно, он получил одну из двух мозаик P1 с пентагональной симметрией. [9] [20]
Метод подстановки для мозаик P2 и P3 можно описать с помощью треугольников Робинсона разных размеров. Треугольники Робинсона, возникающие в мозаиках P2 (путем деления пополам воздушных змеев и дротиков), называются A-плитками, тогда как возникающие в мозаиках P3 (путем деления пополам ромбов) называются B-плитками. [31] Меньшая A-плитка, обозначаемая как A S , является тупоугольным треугольником Робинсона, в то время как большая A-плитка, A L , является остроугольной ; напротив, меньшая B-плитка, обозначаемая как B S , является остроугольным треугольником Робинсона, в то время как большая B-плитка, B L , является тупоугольной.
Конкретно, если A S имеет длины сторон (1, 1, φ ), то A L имеет длины сторон ( φ , φ , 1). B-плитки могут быть связаны с такими A-плитками двумя способами:
В этих разложениях, по-видимому, есть двусмысленность: треугольники Робинсона могут быть разложены двумя способами, которые являются зеркальными отражениями друг друга относительно (равнобедренной) оси симметрии треугольника. В мозаике Пенроуза этот выбор фиксируется правилами сопоставления. Более того, правила сопоставления также определяют, как меньшие треугольники в мозаике объединяются, чтобы дать большие. [31]
Из этого следует, что мозаики P2 и P3 взаимно локально выводимы : мозаика из одного набора плиток может быть использована для генерации мозаики из другого. Например, мозаика из воздушных змеев и дротиков может быть подразделена на A-плитки, и они могут быть составлены каноническим образом для формирования B-плиток и, следовательно, ромбов. [15] Мозаики P2 и P3 также взаимно локально выводимы с мозаикой P1 (см. рисунок 2 выше). [43]
Разложение B-плиток на A-плитки можно записать следующим образом:
(предполагая, что для B-плиток принят больший размер), что можно суммировать в уравнении матрицы подстановки : [44]
Объединение этого с разложением увеличенных φ A-плиток на B-плитки дает замену
так что увеличенная плитка φ A L распадается на две плитки A L и одну плитку A S. Правила сопоставления требуют определенной замены: две плитки A L в плитке φ A L должны образовывать воздушного змея, и, таким образом, воздушный змей распадается на два воздушных змея и два полудротика, а дротик распадается на воздушного змея и два полудротика. [45] [46] Увеличенные φ B-плитки распадаются на B-плитки аналогичным образом (через φ A-плитки).
Композицию и декомпозицию можно повторять, например, так:
Количество воздушных змеев и дротиков в n- й итерации построения определяется n- й степенью матрицы подстановки:
где F n — n- е число Фибоначчи . Отношение числа воздушных змеев к числу дротиков в любой достаточно большой мозаике Пенроуза P2, таким образом, приближается к золотому сечению φ . [47] Аналогичный результат справедлив для отношения числа толстых ромбов к тонким ромбам в мозаике Пенроуза P3. [45]
Начиная с набора плиток из заданной мозаики (которая может быть одной плиткой, мозаикой плоскости или любой другой коллекцией), дефляция продолжается с последовательностью шагов, называемых поколениями. В одном поколении дефляции каждая плитка заменяется двумя или более новыми плитками, которые являются уменьшенными версиями плиток, используемых в исходной мозаике. Правила замены гарантируют, что новые плитки будут расположены в соответствии с правилами сопоставления. [45] Повторные поколения дефляции создают мозаику исходной формы аксиомы с все меньшими и меньшими плитками.
Это правило деления плиток является правилом подразделения .
Приведенную выше таблицу следует использовать с осторожностью. Сдувание полукайтом и полудротиком полезно только в контексте сдувания более крупного рисунка, как показано в сдуваниях солнца и звезды. Они дают неверные результаты, если применяются к отдельным кайтам и дротикам.
Кроме того, простое правило подразделения создает отверстия около краев плитки, которые едва видны на верхней и нижней иллюстрациях справа. Дополнительные правила принуждения полезны.
Инфляция и дефляция дают метод построения мозаики «змей и дротик» (P2) или мозаики «ромб» (P3), известный как генерация «вверх-вниз» . [33] [45] [46]
Мозаики Пенроуза, будучи непериодическими, не имеют трансляционной симметрии — узор не может быть сдвинут так, чтобы соответствовать себе по всей плоскости. Однако любая ограниченная область, независимо от ее размера, будет повторяться бесконечное число раз внутри мозаики. Поэтому никакой конечный участок не может однозначно определить полную мозаику Пенроуза или даже определить, какая позиция внутри мозаики отображается. [48]
Это показывает, в частности, что число различных мозаик Пенроуза (любого типа) несчетно бесконечно . Генерация вверх-вниз дает один метод параметризации мозаик, но другие методы используют стержни Аммана, пентагриды или схемы разрезания и проецирования. [45]
В 1996 году немецкий математик Петра Гуммельт продемонстрировала, что покрытие (так его называют, чтобы отличить от неперекрывающейся мозаики), эквивалентное мозаике Пенроуза, может быть построено с использованием одной десятиугольной плитки, если допускаются два вида перекрывающихся областей. [50] Десятиугольная плитка украшена цветными пятнами, и правило покрытия допускает только те перекрытия, которые совместимы с раскраской. Подходящее разложение десятиугольной плитки на воздушных змеев и дротики преобразует такое покрытие в мозаику Пенроуза (P2). Аналогично, мозаику P3 можно получить, вписав толстый ромб в каждый десятиугольник; оставшееся пространство заполняется тонкими ромбами.
Эти покрытия рассматривались как реалистичная модель для роста квазикристаллов : перекрывающиеся декагоны являются «квазиэлементарными ячейками», аналогичными элементарным ячейкам, из которых построены кристаллы, а правила соответствия максимизируют плотность определенных атомных кластеров. [49] [51] Апериодическая природа покрытий может затруднить теоретические исследования физических свойств, таких как электронная структура, из-за отсутствия теоремы Блоха . Однако спектры квазикристаллов все еще можно вычислить с контролем ошибок. [52]
Три варианта мозаики Пенроуза взаимно локально выводимы. Выбор некоторых подмножеств из вершин мозаики P1 позволяет производить другие непериодические мозаики. Если углы одного пятиугольника в P1 помечены последовательно 1,3,5,2,4, то устанавливается однозначная маркировка во всех пятиугольниках, порядок которой может быть либо по часовой стрелке, либо против часовой стрелки. Точки с одинаковой меткой определяют мозаику треугольниками Робинсона, тогда как точки с числами 3 и 4 на них определяют вершины мозаики Tie-and-Navette. [53]
Существуют также другие связанные неэквивалентные мозаики, такие как мозаики гексагон-лодка-звезда и Микуллы–Рота. Например, если правила сопоставления для мозаики ромба сводятся к определенному ограничению на углы, разрешенные в каждой вершине, получается бинарная мозаика. [54] Ее базовая симметрия также пятикратная, но она не является квазикристаллом. Ее можно получить либо путем декорирования ромбов исходной мозаики меньшими, либо путем применения правил замены, но не методом разрезания и проецирования де Брейна. [55]
Эстетическая ценность мозаики давно оценена и остается источником интереса к ней; поэтому визуальный вид (а не формальные определяющие свойства) мозаики Пенроуза привлек внимание. Было отмечено сходство с некоторыми декоративными узорами, используемыми в Северной Африке и на Ближнем Востоке; [56] [57] физики Питер Дж. Лу и Пол Стейнхардт представили доказательства того, что мозаика Пенроуза лежит в основе примеров средневековых исламских геометрических узоров , таких как мозаика гирих (обвязка полосами) в святилище Дарб-и Имам в Исфахане . [58]
Художник из Drop City Кларк Ричерт использовал ромбы Пенроуза в своих работах в 1970 году, полученных путем проецирования тени ромбического триаконтаэдра на плоскость, наблюдая за вложенными «толстыми» ромбами и «тощими» ромбами, которые накладываются друг на друга, создавая непериодическую мозаику. Историк искусства Мартин Кемп заметил, что Альбрехт Дюрер набросал похожие мотивы мозаики ромбов. [59]
В 1979 году Университет Майами использовал плитку Пенроуза, выполненную в технике терраццо, для украшения внутреннего двора бакалавриата на кафедре математики и статистики. [60]
В Индийском институте информационных технологий в Аллахабаде , начиная с первой фазы строительства в 2001 году, учебные здания были спроектированы на основе «геометрии Пенроуза», стилизованной под мозаики, разработанные Роджером Пенроузом. Во многих местах в этих зданиях пол имеет геометрические узоры, составленные из плиток Пенроуза. [61]
Пол атриума здания Бейлисса в Университете Западной Австралии выложен плиткой Пенроуза. [62]
Здание Эндрю Уайлса , где по состоянию на октябрь 2013 года располагался математический факультет Оксфордского университета , [63] включает в себя часть плитки Пенроуза в качестве мощения у входа. [64]
Пешеходная часть улицы Keskuskatu в центре Хельсинки вымощена плиткой Пенроуза. Работа была завершена в 2014 году. [65]
Центр транзитных перевозок Salesforce 2018 в Сан-Франциско имеет перфорацию на волнистой белой металлической обшивке фасада в узоре Пенроуза. [66]