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

Аперіодична мозаїка — це неперіодичне замощення з додатковою властивістю, що замощення не містить нескінченно великих періодичних шматків. Множина типів плиток (або Шаблон:Не перекладено) є Шаблон:Не перекладено, якщо копії цих плиток можуть утворювати тільки аперіодичні мозаїки. Мозаїки Пенроуза Шаблон: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 році Шаблон:Нп знайшов аперіодичний набір, тим самим показавши, що завдання замощення, фактично, нерозв'язнеШаблон:Sfn. Це була перша така множина, що використовується в його доведенні нерозв'язності, і містила 20 426 плиток Вана. Берґер пізніше скоротив число плиток до 104, а Ганс Лейхлі (Hans Läuchli) знайшов аперіодичний набір із 40 плиток ВанаШаблон:Sfn. Навіть менший набір з шести аперіодичних плиток (на базі плиток Вана) виявив Рафаель Робінсон у 1971 роціШаблон:Sfn. Роджер Пенроуз знайшов три інших набори в 1973 і 1974 роках, скоротивши число необхідних плиток до двох, а Шаблон:Нп виявив кілька інших наборів у 1977 роціШаблон:Sfn. У 2010 році Соколаре і Тейлор знайшли набір з двох плиток однакового виду (правильні шестикутники), при цьому одна плитка симетрична інший Шаблон:Sfn.

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

Побудови

Відомо кілька способів побудови аперіодичних мозаїк. Кілька побудов ґрунтуються на нескінченних сімействах аперіодичних наборів плиток Шаблон:Sfn Шаблон:Sfn. Ці знайдені побудови працюють у більшості випадків декількома шляхами, головним чином за допомогою деякого виду аперіодичної ієрархічної структури. Попри це, нерозв'язність задачі доміно забезпечує, що має бути нескінченно багато різних побудов і, фактично, існують аперіодичні набори плиток, для яких не можна довести їхню аперіодичність.

Аперіодичні ієрархічні замощення

Досі не існує формального визначення, що описує, коли мозаїка має ієрархічну структуру. Проте ясно, що підстановка плиток таку структуру має, так само, як і мозаїки Берґера, Кнута, Лейхлі і Робінсона. Як і у випадку терміна «аперіодична мозаїка», термін «аперіодична ієрархічна мозаїка» є зручним скороченням, яке означає щось на зразок «набір плиток, які допускають тільки аперіодичні мозаїки з ієрархічною структурою».

Кожен з цих наборів плиток змушує будь-яку мозаїку з цих плиток мати ієрархічну структуру. (В багатьох наступних прикладах цю структуру можна описати як систему підстановки плиток, як це описано нижче). Ніяка мозаїка з цих наборів плиток не може бути періодичною просто тому, що ніяке паралельне перенесення не може залишити всю ієрархічну структуру незмінною. Розглянемо плитки Робінсона 1971 року:

Будь-яке замощення цими плитками може тільки дати ієрархію квадратних ґраток — кожен помаранчевий квадрат в кутку більшого квадрата, і так до нескінченності. Будь-яке паралельне перенесення повинне мати меншим від розміру будь-якого квадрата, а тому не може залишити таку мозаїку інваріантною.

Робінсон довів, що ці плитки повинні утворювати структуру індуктивно. Як наслідок, плитки повинні утворювати блоки, які разом представляють збільшені варіанти початкових плиток і так далі. Ця ідея знаходження набору плиток, які можуть складати лише ієрархічні структури, досі використовується для побудови більшості відомих аперіодичних наборів плиток.

Підстановки

Шаблон:Докладніше Системи підстановки плиток дають багате джерело аперіодичних мозаїк. Кажуть, що набір плиток, який змушує до виникнення структури підстановки, є змушеною структурою підстановки. Наприклад, плитки «стілець», показані нижче, допускають підстановку і фрагмент підстановки плиток показано на малюнку. Ці підстановки плиток обов'язково не є періодичними, але плитка «стілець» не є аперіодичною — легко знайти періодичне замощення цими плитками.

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

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

Метод виріж-і-спроєктуй

Мозаїки без періодів можна отримати шляхом проєктування багатовимірних структур у простір з меншою розмірністю і за певних умов можуть існувати плитки, які перешкоджають цим структурам мати період, а тому мозаїки будуть аперіодичними. Плитки Пенроуза є першим і найвідомішим прикладом таких плиток, як було відмічено в роботі де Брейна Шаблон:Sfn. Існує незакінчений (алгебричний) опис мозаїк «виріж і спроєктуй», які можна зробити вимушеними за допомогою правил з'єднання, хоча відомо багато необхідних і достатніх умовШаблон:Sfn.

Інші техніки

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

Фізика аперіодичних замощень

Аперіодичні мозаїки вважалися суто математичними об'єктами до 1984 року, коли фізик Дан Шехтман оголосив про відкриття різновиду алюмінієво-марганцевого сплаву, який давав чітку дифрактограму з недвозначною п'ятикратною симетрієюШаблон:Sfn. Таким чином, ця речовина повинна бути кристалічною субстанцією з ікосоедральною симетрією. В 1975 році Шаблон:Не перекладено вже розширив побудова Пенроуза на тривимірний ікосоедральний еквівалент. У таких випадках термін «замощення» набуває сенсу «заповнення простору». Фотонні пристрої зараз будуються як аперіодичні послідовності різних шарів, які аперіодичні в одному напрямку і періодичні у двох інших. Виявилося, що структура квазікристалів Cd-Te складається з атомних шарів, у яких розташування атомів плоске аперіодичне. Іноді енергетичний мінімум або максимум ентропії проявляється саме на таких аперіодичних структурах. Шаблон:Нп показав, що зчеплені десятикутники Гуммельта дозволяють застосувати принцип екстремуму і тим самим дають зв'язок між математичними неперіодичними мозаїками і структурою квазікристалівШаблон:Sfn. Спостерігалося явище, коли Шаблон:Не перекладено утворювали великі фрагменти аперіодичних мозаїкШаблон:Sfn. Фізика цього відкриття воскресила інтерес до непропорційних структур і частот і з'явилося припущення про зв'язок аперіодичних мозаїк з явищем інтерференції Шаблон:Sfn.

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

Термін аперіодичний використовується в математичній літературі про мозаїки багатьма способами (а також в інших галузях математики, таких як динамічні системи та теорія графів, у зовсім іншому сенсі). Для мозаїк термін аперіодична іноді використовується як синонім неперіодичності. Неперіодична мозаїка — це мозаїка, в якій немає нетривіального паралельного перенесення. Іноді термін використовується, явно чи неявно, для опису мозаїк, утворених аперіодичним набором протоплиток. Часто термін туманно використовувався для опису структур фізичних аперіодичних речовин, а саме, квазікристалів, або чогось неперіодичного з деякого роду глобальним порядком.

Використання слів «мозаїка» або «замощення» також проблематичне, навіть за явного визначення термінів. Наприклад, немає єдиної мозаїки Пенроуза — ромби Пенроуза охоплюють нескінченне число мозаїк (які не розрізняються локально). У технічній літературі зазвичай намагаються уникати цих термінів, але терміни поширені як неформальні.

Див. також

Примітки

Шаблон:Reflist

Література

Шаблон:Refbegin

Шаблон:Refend

Посилання

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

↑ Може здатися, що тут є тавтологія, проте відсутність періоду означає, що в цьому варіанті мозаїки періоду немає, а аперіодична мозаїка означає, що не можна за допомогою тих самих плиток створити періодичну мозаїку.

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

[1]

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

Зміст

Визначення та ілюстрація

Історія