Разбиение Пенроуза является примером апериодического разбиения . Здесь замощение — это покрытие плоскости непересекающимися многоугольниками или другими фигурами, а замощение является апериодическим, если оно не содержит сколь угодно больших периодических областей или участков. Однако, несмотря на отсутствие трансляционной симметрии , плитки Пенроуза могут обладать как отражательной симметрией , так и пятикратной вращательной симметрией . Плитки Пенроуза названы в честь математика и физика Роджера Пенроуза , который исследовал их в 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] Признавая вдохновение Кеплера, Пенроуз нашел правила сопоставления для этих форм, получив апериодический набор. Эти правила соответствия могут быть заданы украшением краев, как в случае с плитками Ванга. Мозаику Пенроуза можно рассматривать как завершение конечного шаблона Аа Кеплера . [20]
Впоследствии Пенроуз сократил количество прототипов до двух, открыв мозаику воздушного змея и дротика (плитка P2 ниже) и мозаику ромба (плитка P3 ниже). [21] Ромбическая мозаика была независимо открыта Робертом Амманном в 1976 году. [22] Пенроуз и Джон Х. Конвей исследовали свойства мозаик Пенроуза и обнаружили, что свойство замены объясняет их иерархическую природу; их результаты были опубликованы Мартином Гарднером в его колонке « Математические игры » в журнале Scientific American в январе 1977 года . [23]
В 1981 году Н.Г. де Брейн предложил два разных метода построения мозаик Пенроуза. «Многосеточный метод » Де Брёйна позволяет получить мозаику Пенроуза как двойственный граф расположения пяти семейств параллельных прямых. В его «методе разрезания и проектирования» плитки Пенроуза получаются как двумерные проекции пятимерной кубической структуры. В этих подходах мозаика Пенроуза рассматривается как набор точек, ее вершин, а плитки — это геометрические фигуры, полученные соединением вершин ребрами. [24]
Три типа мозаики Пенроуза, P1–P3, описаны отдельно ниже. [25] У них есть много общих черт: в каждом случае плитки построены из форм, связанных с пятиугольником (и, следовательно, с золотым сечением ), но основные формы плиток должны быть дополнены правилами сопоставления , чтобы плитка была апериодической. Эти правила можно описать с помощью помеченных вершин или ребер или узоров на гранях плитки; альтернативно, профиль края может быть изменен (например, с помощью углублений и выступов) для получения апериодического набора прототайлов. [9] [26]
Первая мозаика Пенроуза использует пятиугольники и три другие формы: пятиконечную «звезду» (пентаграмму), «лодку» (примерно 3/5 звезды) и «ромб» (тонкий ромб). [27] Чтобы все мозаики были непериодическими, существуютправила сопоставления , которые определяют, как плитки могут встречаться друг с другом, а для пятиугольных плиток существует три различных типа правил сопоставления. Если рассматривать эти три типа как разные прототипы, то в целом получится набор из шести прототипов. Обычно три разных типа пятиугольных плиток обозначаются тремя разными цветами, как на рисунке выше справа. [28]
Во второй мозаике Пенроуза используются четырехугольники, называемые «воздушный змей» и «дротик», которые можно объединить в ромб. Однако правила сопоставления запрещают такое сочетание. [29] И воздушный змей, и дротик состоят из двух треугольников, названных треугольниками Робинсона , по заметкам Робинсона 1975 года. [30]
Правила сопоставления можно описать несколькими способами. Один из подходов состоит в том, чтобы раскрасить вершины (в два цвета, например, черный и белый) и потребовать, чтобы соседние плитки имели совпадающие вершины. [31] Другой способ — использовать узор из дуг окружностей (как показано выше слева зеленым и красным цветом) для ограничения размещения плиток: когда две плитки имеют общий край в плитке, узоры должны совпадать на этих краях. [21]
Эти правила часто требуют размещения определенных плиток: например, вогнутая вершина любого дротика обязательно заполняется двумя воздушными змеями. Соответствующая фигура (центр верхнего ряда на нижнем изображении слева) Конвей называет «тузом»; хотя он выглядит как увеличенный воздушный змей, он не выглядит таким же образом. [32] Точно так же вогнутая вершина, образующаяся при встрече двух воздушных змеев вдоль короткого края, обязательно заполняется двумя дротиками (внизу справа). Фактически, существует только семь возможных способов пересечения плиток в вершине; две из этих фигур – а именно, «звезда» (вверху слева) и «солнце» (вверху справа) – имеют 5-кратную двугранную симметрию (за счет вращения и отражения), а остальные имеют единственную ось отражения (вертикальную в Изображение). [33] За исключением туза (вверху посередине) и солнца, все эти вершинные фигуры требуют размещения дополнительных плиток. [34]
Третья мозаика использует пару ромбов (часто называемых в этом контексте «ромбами») с равными сторонами, но разными углами. [9] Обычные плитки в форме ромба можно использовать для периодического замощения плоскости, поэтому необходимо ввести ограничения на то, как можно собирать плитки: никакие две плитки не могут образовывать параллелограмм, так как это позволило бы периодическое замощение мозаикой, но это ограничение не является достаточно, чтобы вызвать апериодичность, как показано на рисунке 1 выше.
Существует два вида плиток, оба из которых можно разложить на треугольники Робинсона. [30]
Правила сопоставления различают стороны плиток и предполагают, что плитки могут располагаться рядом определенными способами, но не другими. Два способа описания этих правил сопоставления показаны на изображении справа. В одной из форм плитки должны быть собраны так, чтобы кривые на гранях совпадали по цвету и положению по краю. В другом плитки необходимо собирать так, чтобы неровности на их краях совпадали. [9]
Существует 54 циклически упорядоченных комбинации таких углов, сумма которых в вершине составляет 360 градусов, но правила замощения допускают появление только семи таких комбинаций (хотя одна из них возникает двумя способами). [35]
Различные комбинации углов и лицевой кривизны позволяют создавать плитки произвольной сложности, такие как цыплята Пенроуза . [36]
Некоторые свойства и общие черты мозаик Пенроуза связаны с золотым сечением (приблизительно 1,618). [30] [31] Это отношение длин хорд к длинам сторон в правильном пятиугольнике и удовлетворяет условию φ = 1 + 1/ φ .
Следовательно, отношение длин длинных сторон к коротким сторонам в ( равнобедренных ) треугольниках Робинсона равно φ :1. Отсюда следует, что отношение длин длинных сторон к коротким как в плитках для змея, так и в дротиках также равно φ :1, как и отношение длин сторон к короткой диагонали в тонком ромбе t и длинной диагонали к сторонам в толстом ромбе. Т. _ Как в мозаике P2, так и в P3 отношение площадей большего треугольника Робинсона к меньшему составляет φ :1, следовательно, такими же являются отношения площадей воздушного змея к дротику и толстого ромба к тонкому. ромб. (Как большие, так и меньшие тупоугольные треугольники Робинсона можно найти в пятиугольнике слева: большие треугольники наверху – половинки толстого ромба – имеют линейные размеры, увеличенные на φ по сравнению с маленьким заштрихованным треугольником в основании, и поэтому соотношение площадей равно φ 2 :1.)
Любая мозаика Пенроуза обладает локальной пятиугольной симметрией в том смысле, что в мозаике есть точки, окруженные симметричной конфигурацией плиток: такие конфигурации имеют пятикратную вращательную симметрию относительно центральной точки, а также пять зеркальных линий симметрии отражения, проходящих через точку. , группа диэдральной симметрии . [9] Эта симметрия обычно сохраняет только участок плитки вокруг центральной точки, но этот участок может быть очень большим: Конвей и Пенроуз доказали, что всякий раз, когда цветные кривые на мозаиках P2 или P3 замыкаются в петлю, область внутри петля имеет пятиугольную симметрию, причем в любом замощении найдется не более двух таких кривых каждого цвета, которые не смыкаются. [37]
Может быть не более одной центральной точки глобальной пятикратной симметрии: если бы их было больше одной, то вращение друг друга привело бы к двум более близким центрам пятикратной симметрии, что приводит к математическому противоречию. [38] Существует только две мозаики Пенроуза (каждого типа) с глобальной пятиугольной симметрией: для мозаики P2 с помощью воздушных змеев и дротиков центральной точкой является либо вершина «солнце», либо «звезда». [39]
Многие общие черты плиток Пенроуза вытекают из иерархической пятиугольной структуры, заданной правилами замены : это часто называют инфляцией и дефляцией или композицией и разложением плиток или (коллекций) плиток. [9] [23] [40] Правила замены разлагают каждую плитку на более мелкие плитки той же формы, что и те, которые используются в мозаике (и, таким образом, позволяют «составлять» большие плитки из меньших). Это показывает, что мозаика Пенроуза обладает масштабным самоподобием, и поэтому ее можно рассматривать как фрактал , использующий тот же процесс, что и пентачешуйку . [41]
Первоначально Пенроуз открыл мозаику P1 таким способом, разложив пятиугольник на шесть меньших пятиугольников (половина сетки додекаэдра ) и пять полуромбов; Затем он заметил, что, когда он повторяет этот процесс, все промежутки между пятиугольниками могут быть заполнены звездами, ромбами, лодками и другими пятиугольниками. [27] Повторяя этот процесс бесконечно, он получил один из двух мозаик P1 с пятиугольной симметрией. [9] [20]
Метод замены для мозаик P2 и P3 можно описать с помощью треугольников Робинсона разных размеров. Треугольники Робинсона, возникающие в мозаике P2 (путем деления змеев и дротиков пополам), называются A-плитами, а треугольники, возникающие в мозаике P3 (путем разделения ромбов пополам), называются B-плитками. [30] Меньшая плитка A, обозначенная A S , представляет собой тупоугольный треугольник Робинсона, а большая плитка A, AL , является остроугольной ; Напротив, меньшая B-плитка, обозначенная BS , представляет собой остроугольный треугольник Робинсона, а большая B-плитка, BL , тупая.
Конкретно, если A S имеет длины сторон (1, 1, φ ), то AL имеет длины сторон ( φ , φ , 1). B-плитки могут быть связаны с такими A-тайлами двумя способами:
В этих разложениях, по-видимому, существует двусмысленность: треугольники Робинсона можно разложить двумя способами, которые являются зеркальными отражениями друг друга на (равнобедренной) оси симметрии треугольника. В мозаике Пенроуза этот выбор фиксируется правилами сопоставления. Кроме того, правила сопоставления также определяют, как меньшие треугольники в мозаике образуют более крупные. [30]
Отсюда следует, что мозаики P2 и P3 взаимно локально выводимы : мозаика одним набором плиток может использоваться для генерации мозаики другим набором плиток. Например, замощение воздушными змеями и дротиками можно разделить на A-плитки, и их можно скомпоновать каноническим способом, образуя B-плитки и, следовательно, ромбы. [15] Мозаики P2 и P3 также являются взаимно локально выводимыми с мозаикой P1 (см. рисунок 2 выше). [42]
Разложение B-плиток на A-плитки можно записать
(при условии, что B-плитки имеют больший размер), что можно резюмировать в уравнении матрицы замены : [43]
Объединение этого с разложением увеличенных φ A-плиток на B-плитки дает замену
так что увеличенная плитка φ A L распадается на две плитки AL и одну плитку A S. Правила сопоставления требуют особой замены: две плитки AL в плитке φ AL L должны образовывать воздушный змей, и, таким образом, воздушный змей распадается на два воздушных змея и два полудротика, а дротик распадается на воздушный змей и два полудротика. дартс. [44] [45] Увеличенные φ B-плитки разлагаются на B-плитки аналогичным образом (через φ A-плитки).
Композицию и декомпозицию можно повторять, так что, например,
Количество воздушных змеев и дротиков на n- й итерации построения определяется n- й степенью матрицы подстановки:
где F n — n -е число Фибоначчи . Таким образом, отношение количества воздушных змеев к дротикам в любом достаточно большом узоре мозаики Пенроуза P2 приближается к золотому сечению φ . [46] Аналогичный результат верен и для отношения числа толстых и тонких ромбов в мозаике Пенроуза P3. [44]
Начиная с набора плиток из заданной мозаики (которая может быть отдельной плиткой, мозаикой плоскости или любой другой коллекцией), дефляция происходит с помощью последовательности шагов, называемых поколениями. В одном поколении дефляции каждая плитка заменяется двумя или более новыми плитками, которые представляют собой уменьшенные версии плиток, использованных в исходной плитке. Правила замены гарантируют, что новые плитки будут расположены в соответствии с правилами сопоставления. [44] Повторные поколения дефляции создают мозаику исходной формы аксиомы с все меньшими и меньшими плитками.
Это правило разделения плиток является правилом подразделения .
Приведенную выше таблицу следует использовать с осторожностью. Сдувание полукайта и полудротика полезно только в контексте сдувания более крупного объекта, как показано на примере сдувания солнца и звезды. Они дают неправильные результаты при применении к одиночным воздушным змеям и дротикам.
Кроме того, простое правило подразделения создает дыры возле краев мозаики, которые едва заметны на верхнем и нижнем рисунках справа. Дополнительные правила принуждения могут оказаться полезными.
Инфляция и дефляция дают метод построения мозаики воздушного змея и дротика (P2) или ромба (P3), известный как генерация вверх-вниз . [32] [44] [45]
Мозаики Пенроуза, будучи непериодическими, не обладают трансляционной симметрией – узор нельзя сдвинуть так, чтобы он совпадал с самим собой по всей плоскости. Однако любая ограниченная область, независимо от ее размера, будет повторяться внутри мозаики бесконечное число раз. Следовательно, ни один конечный фрагмент не может однозначно определить полную мозаику Пенроуза и даже не определить, какая позиция внутри мозаики отображается. [47]
Это показывает, в частности, что число различных мозаик Пенроуза (любого типа) несчетно . Генерация сверху вниз дает один метод параметризации мозаики, но другие методы используют стержни Аммана, пентагриды или схемы разреза и проецирования. [44]
В 1996 году немецкий математик Петра Гуммельт продемонстрировала, что покрытие (так называемое, чтобы отличить его от непересекающихся мозаик), эквивалентное мозаике Пенроуза, может быть построено с использованием одной десятиугольной плитки, если разрешены два типа перекрывающихся областей. [49] Десятиугольная плитка украшена цветными пятнами, а правило покрытия допускает только те перекрытия, которые совместимы с окраской. Подходящее разложение десятиугольной плитки на воздушных змеев и дротики превращает такое покрытие в плитку Пенроуза (P2). Аналогично, мозаику P3 можно получить, вписав в каждый декагон толстый ромб; оставшееся пространство заполнено тонкими ромбами.
Эти покрытия рассматривались как реалистичная модель роста квазикристаллов : перекрывающиеся декагоны представляют собой «квазиэлементарные ячейки», аналогичные элементарным ячейкам , из которых построены кристаллы, а правила сопоставления максимизируют плотность определенных атомных кластеров. [48] [50] Апериодический характер покрытий может затруднить теоретические исследования физических свойств, таких как электронная структура, из-за отсутствия теоремы Блоха . Однако спектры квазикристаллов все еще можно рассчитать с контролем ошибок. [51]
Три варианта мозаики Пенроуза взаимно локально выводимы. Выбор некоторых подмножеств из вершин мозаики P1 позволяет создать другие непериодические мозаики. Если углы одного пятиугольника в P1 помечены последовательно цифрами 1,3,5,2,4 , то устанавливается однозначная маркировка во всех пятиугольниках в порядке либо по часовой стрелке, либо против часовой стрелки. Точки с одинаковой меткой определяют замощение треугольниками Робинсона, а точки с номерами 3 и 4 на них определяют вершины замощения Тай-и-Наветта. [52]
Существуют также другие родственные неэквивалентные мозаики, такие как мозаика шестиугольник-лодка-звезда и мозаика Микуллы-Рота. Например, если правила сопоставления для ромбовидной мозаики свести к определенному ограничению на углы, разрешенные в каждой вершине, получится бинарная мозаика. [53] Его основная симметрия также пятикратная, но это не квазикристалл. Его можно получить либо украшая ромбы исходной мозаики меньшими, либо применяя правила замены, но не методом разрезания и проецирования де Брейна. [54]
Эстетическая ценность черепицы уже давно оценена по достоинству и остается источником интереса к ней; следовательно, внимание привлек внешний вид (а не формальные определяющие свойства) мозаик Пенроуза. Отмечено сходство с некоторыми декоративными узорами, используемыми в Северной Африке и на Ближнем Востоке; [55] [56] физики Питер Дж. Лу и Пол Стейнхардт представили доказательства того, что плитка Пенроуза лежит в основе примеров средневековых исламских геометрических узоров , таких как плитки гирих (ремни) в храме Дарб-э Имам в Исфахане . [57]
Художник Drop City Кларк Ричерт использовал ромбы Пенроуза в своих произведениях искусства в 1970 году, полученные путем проецирования тени ромботриаконтаэдра на плоскость, наблюдая за встроенными «толстыми» и «тонкими» ромбами, которые складываются вместе, образуя непериодическую мозаику. Историк искусства Мартин Кемп заметил, что Альбрехт Дюрер нарисовал похожие мотивы ромбовидной плитки. [58]
В 1979 году Университет Майами использовал плитку Пенроуза, выполненную из терраццо , для украшения двора бакалавриата на своем факультете математики и статистики. [59]
В Индийском институте информационных технологий в Аллахабаде с момента первой фазы строительства в 2001 году учебные корпуса проектировались на основе «геометрии Пенроуза», стилизованной под мозаику , разработанную Роджером Пенроузом. Во многих местах этих зданий пол покрыт геометрическими узорами, выложенными плиткой Пенроуза. [60]
Пол атриума здания Бейлисс Университета Западной Австралии выложен плиткой Пенроуза. [61]
Здание Эндрю Уайлса , где по состоянию на октябрь 2013 года располагался математический факультет Оксфордского университета , [62] включает в себя участок плитки Пенроуза в качестве мощения входа. [63]
Пешеходная часть улицы Кескускату в центре Хельсинки вымощена плиткой Пенроуза. Работы были завершены в 2014 году. [64]
Транзитный центр Transbay в Сан-Франциско, построенный в 2018 году, имеет перфорацию на волнистой белой металлической обшивке внешней поверхности с узором Пенроуза. [65]