Апериодичная мозаика

Апериодичная мозаика — это непериодичное замощение с дополнительным свойством, что замощение не содержит бесконечно больших периодических кусков. Множество типов плиток (или Шаблон:Не переведено 5) является Шаблон:Не переведено 5, если копии этих плиток могут образовать только апериодичные мозаики. Мозаики Пенроуза Шаблон:Sfn Шаблон:Sfn являются наиболее известными примерами апериодичных мозаик.

Апериодичные мозаики служат математическими моделями для квазикристаллов, физических тел, которые открыты в 1982 году Даном Шехтманом Шаблон:Sfn, получившим в 2011 году Нобелевскую премию Шаблон:Sfn. Однако специфическая локальная структура этих материалов остаётся плохо понимаемой.

Некоторые методы построения апериодичных мозаик известны.

Определение и иллюстрация

Рассмотрим периодическую мозаику из единичных квадратов (она выглядит как бесконечная миллиметровка). Теперь разделим один квадрат на два прямоугольника. Мозаика, полученная таким образом, не является периодической — не существует сдвига, оставляющего эту мозаику неизменной. Ясно, что этот пример существенно менее интересен, чем мозаика Пенроуза. Чтобы исключить такие примеры, апериодическая мозаика определяется как не содержащая произвольно больших периодических частей.

Мозаика называется апериодической, если её оболочка содержит только апериодичные мозаики. Оболочка замощения $T \in ℝ^{d}$ содержит все переносы T+x замощения T вместе со всеми замощениями, которые могут быть приближены переносом T. Формально, это замыкание множества ${T + x : x \in ℝ^{d}}$ в локальной топологииШаблон:Sfn. В локальной топологии (соответствующей метрике) две плитки $ε$ -близки, если они одинаковы в круге радиуса $1 / ε$ вокруг начала координат (возможно, после сдвига одной из плиток на расстояние, меньшее $ε$ ).

Чтобы привести даже более простой пример, рассмотрим одномерное замощение T прямой, которое выглядит как …aaaaaabaaaaa… где a представляет интервал единичной длины, а b представляет интервал длины два. Тогда замощение T состоит из бесконечного числа копий a и одной копии b (скажем, с центром в точке 0). Теперь все переносы T являются мозаиками с одним b где-то и a в других местах. Последовательность мозаик, в которых b имеет центр в точках $1, 2, 4, \dots, 2^{n}, \dots$ сходится (в локальной топологии) к периодической мозаике, состоящей только из плиток a. Таким образом, T не является апериодичной мозаикой, поскольку её замыкание содержит периодическую мозаику …aaaaaa….

Для многих «хороших» замощений (к примеру, подстановок плиток с конечным числом локальных узоров) выполняется утверждение: если мозаика не содержит периода и повторяющаяся (то есть каждая плитка встречается с одинаковой вероятностью по мере замощения) то она апериодична^[1]Шаблон:Sfn.

История

Первый раз вопрос о непериодичных мозаиках возник в 1961 году, когда логик Хао Ван попытался выяснить, может ли задача о домино быть разрешимой, то есть существует ли алгоритм определения, что заданный конечный набор протоплиток замощает плоскость. Ван нашёл алгоритмы перечисления наборов плиток, которые не могут быть уложены на плоскость, и наборов плиток, которые замощают плоскость периодично. Тем самым он показал, что такой алгоритм существует, если для любого конечного набора протоплиток, позволяющего замостить плоскость, также существует периодическое замощение.

В 1964 году Шаблон:Не переведено 5 нашёл апериодический набор, тем самым показав, что задача замощения, фактически, неразрешимаШаблон:Sfn. Это было первое такое множество, используемое в его доказательстве неразрешимости, и содержало 20 426 плиток Вана. Бергер позднее сократил число плиток до 104, а Ганс Лёйхли нашёл апериодический набор из 40 плиток ВанаШаблон:Sfn.

Даже меньший набор из шести апериодичных плиток (на базе плиток Вана) обнаружил Рафаэль Робинсон в 1971 годуШаблон:Sfn. Роджер Пенроуз нашёл три других набора в 1973 и 1974 годах, сократив число необходимых плиток до двух, а Шаблон:Не переведено 5 обнаружил несколько других наборов в 1977 годуШаблон:Sfn.

В 2010 году Соколар и Тейлор нашли набор из двух плиток одинакового вида (правильные шестиугольники), при этом одна плитка симметрична другойШаблон:Sfn.

В 2023 году Д. Смит, Дж. С. Майерс, К. С. Каплан и Х. Гудман-Штраусс нашли семейство протоплиток, окончательно решающих задачу одной плитки, в том числе плитку простой 13-угольной формы^[2].

Построения

Известно несколько способов построений апериодичных мозаик. Несколько построений основываются на бесконечных семействах апериодичных наборов плитокШаблон:Sfn Шаблон:Sfn. Эти найденные построения работают в большинстве случаев несколькими путями, главным образом с помощью некоторого вида апериодичной иерархической структуры. Не смотря на это, неразрешимость задачи домино обеспечивает, что должно быть бесконечно много различных построений и, фактически, существуют апериодичные наборы плиток, для которых нельзя доказать их апериодичность.

Апериодические мозаики Пенроуза могу быть образованы не только апериодическими наборами протоплиток, но и также с помощью подстановки и метода «вырежь-и-спроецируй». После обнаружения квазикристаллов апериодичные мозаики начинают интенсивно изучаться физиками и математиками. Метод «вырежь-и-спроецируй» Н. Г. де Брёйна для мозаик Пенроуза в конечном счёте превратился в часть теории множеств Мейера Шаблон:Sfn Шаблон:Sfn. В настоящее время существует большое число литературы об апериодичных мозаикахШаблон:Sfn.

Апериодичные иерархические замощения

К настоящему времени не существует формального определения, описывающего, когда мозаика имеет иерархическую структуру. Тем не менее, ясно, что подстановки плиток такую структуру имеет, так же, как и мозаики Бергера, Кнута, Лёйхли и Робинсона. Как и в случае термина «апериодичная мозаика», термин «апериодичная иерархическая мозаика» является удобным сокращением, означающим нечто вроде «набор плиток, допускающих только апериодичные мозаики с иерархической структурой».

Каждый из этих наборов плиток вынуждает любую мозаику из этих плиток иметь иерархическую структуру. (Во многих последующих примерах эта структура может быть описана как система подстановки плиток, как это описано ниже). Никакая мозаика из этих наборов плиток не может быть периодической просто потому, что никакой параллельный перенос не может оставить всю иерархическую структуру неизменной. Рассмотрим плитки Робинсона 1971 года:

Любое замощение этими плитками может только дать иерархию квадратных решёток — каждый оранжевый квадрат в углу большего квадрата, и так до бесконечности. Любой параллельный перенос должен быть меньше размера какого-либо квадрата, а потому не может оставить такую мозаику инвариантной.

Робинсон доказал, что эти плитки должны образовывать структуру индуктивно. В результате плитки должны образовывать блоки, которые вместе представляют увеличенные варианты исходных плиток и так далее. Эта идея нахождения набора плиток, которые могут составлять только иерархические структуры, к настоящему времени используется для построения большинства известных апериодических наборов плиток.

Подстановки

Шаблон:Main

Системы подстановки плиток дают богатый источник апериодичных мозаик. Говорят, что набор плиток, который вынуждает к возникновению структуры подстановки, является принуждённой структурой подстановки. Например, плитки «стул», показанные ниже, допускают подстановки и фрагмент подстановки плиток показан на рисунке. Эти подстановки плиток обязательно не являются периодическими, но плитка «стул» не является апериодичной — легко найти периодическое замощение этими плитками.

Однако плитки, показанные ниже, вынуждает возникновение структуры подстановки плитки «стул», а потому являются апериодичнымиШаблон:Sfn.

Плитки Пенроуза, а вскоре после этого некоторые наборы плиток АмманаШаблон:Sfn были первыми примерами, основанными на вынужденных структурах подстановки плиток. Джошуа СоколарШаблон:Sfn Шаблон:Sfn, Пенроуз, Роджер Шаблон:Sfn, Людвиг ДанцерШаблон:Sfn и Чайм Гудман-ШтраусШаблон:Sfn нашли несколько дополнительных наборов. Шахар Мозес дал первое общее построение, показав, что любое произведение одномерных систем подстановки может быть сделано вынужденным путём правил подстановкиШаблон:Sfn. Шаблон:Не переведено 5 нашёл вынуждающие правила для системы подстановки плиток для мозаики Конвея «Вертушка»Шаблон:Sfn. В 1998 Гудман-Штраус показал, что локальные правила соединения могут быть найдены для любой структуры подстановки плиток, удовлетворяющей некоторым мягким условиямШаблон:Sfn.

Метод вырежь-и-спроецируй

Мозаики без периодов могут быть получены путём проекции многомерных структур в пространство с меньшей размерностью и при некоторых обстоятельствах могут существовать плитки, которые препятствуют этим структурам иметь период, а потому мозаики будут апериодичными. Плитки Пенроуза являются первым и наиболее известным примером таких плиток, как было замечено в новаторской работе де Брёйна Шаблон:Sfn. Существует незаконченное (алгебраическое) описание мозаик «вырежь и спроецируй», которые могут быть сделаны вынужденными путём правил соединения, хотя известно множество необходимых и достаточных условийШаблон:Sfn.

Другие техники

Было найдено лишь несколько других видов построений. В частности, Яркко Кари дал апериодичный набор плиток Вана, основанный на произведениях на 2 или на 2/3 вещественных чисел, закодированных рядами плиток (кодировка связана с Шаблон:Не переведено 5, полученными как разности последовательных элементов последовательности Битти), с апериодичностью, главным образом связанной с фактом, что 2ⁿ/3^m никогда не равно 1 для любого из положительных целых чисел n и mШаблон:Sfn. Этот метод позднее был приспособлен Гудманом-Штраусом для получения строго апериодичного набора плиток на гиперболической плоскостиШаблон:Sfn. Шахар Мозес нашёл много альтернативных построений апериодичных наборов плиток, некоторые в более экзотичном окружении, например в полупростых группах Ли Шаблон:Sfn. Блок и Вайнбергер использовали гомологические методы для построения апериодичных наборов плиток для всех неаменабельных многообразийШаблон:Sfn. Джошуа Соколар также дал другой способ вынуждения непереодичности в терминах альтернирующих условийШаблон:Sfn. Это в общем случае ведёт к много меньшим наборам плиток, чем набор, полученный из подстановок.

Физика апериодичных замощений

Шаблон:Main Апериодичные мозаики считались чисто математическими объектами до 1984 года, когда физик Дан Шехтман объявил об открытии разновидности алюминиево-марганцевого сплава, который давал чёткую дифрактограмму с недвусмысленной пятикратной симметриейШаблон:Sfn. Таким образом, эта субстанция должна быть кристаллической субстанцией с икосоэдральной симметрией. В 1975 году Шаблон:Не переведено 5 уже расширил построение Пенроуза на трёхмерный икосоэдральный эквивалент. В таких случаях термин «замощение» принимает смысл «заполнение пространства». Фотонные устройства сейчас строятся как апериодичные последовательности различных слоёв, которые апериодичны в одном направлении и периодичны в двух других. Структура квазикристаллов Cd-Te оказалась состоящей из атомных слоёв, в которых атомы расположены в плоском апериодичном виде. Иногда энергетический минимум или максимум энтропии проявляется именно на таких апериодичных структурах. Стейнхардт показал, что сцеплённые десятиугольники Гуммельт позволяют применение принципа экстремума и тем самым дают связь между математическими непериодичными мозаиками и структурой квазикристалловШаблон:Sfn. Наблюдалось явление, когда Шаблон:Не переведено 5 образовывали большие фрагменты апериодичных мозаикШаблон:Sfn. Физика этого открытия воскресила интерес к непропорциональным структурам и частотам и появилось предположение о связи апериодичных мозаик с явлением интерференции Шаблон:Sfn.

Путаница в терминологии

Термин апериодичный используется в математической литературе о мозаиках многими способами (а также в других областях математики, таких как динамические системы и теория графов, в совершенно другом смысле). Для мозаик термин апериодичный иногда используется как синоним непериодичности. Непериодичная мозаика — это мозаика, у которой нет нетривиального параллельного переноса. Иногда термин используется, явно или неявно, для описания мозаик, образованных апериодичным набором протоплиток. Часто термин туманно использовался для описания структур физических апериодических веществ, а именно, квазикристаллов, или чего-то непериодичного с некоторого рода глобальным порядком.

Использование слов «мозаика» или «замощение» также проблематично, даже при явном определении терминов. Например, нет единой мозаики Пенроуза — ромбы Пенроуза подразумевают бесконечное число мозаик (которые не различить локально). Обычно пытаются избежать применения этих терминов в технической литературе, но термины широко распространены как неформальные.

См. также

Примечания

Шаблон:Примечания

Литература

Шаблон:Refbegin

Шаблон:Refend

Ссылки

Шаблон:Геометрические мозаики

↑ Может показаться, что здесь присутствует тавтология, однако отсутствие периода означает, что в данном варианте мозаики периода нет, а апериодичность мозаики означает, что нельзя с помощью тех же плиток создать периодическую мозаику.
↑ Шаблон:Cite web

[1] Может показаться, что здесь присутствует тавтология, однако отсутствие периода означает, что в данном варианте мозаики периода нет, а апериодичность мозаики означает, что нельзя с помощью тех же плиток создать периодическую мозаику.

[2] Шаблон:Cite web

[1]

[2]

Апериодичная мозаика

Содержание

Определение и иллюстрация

История