Задача об „одном камне“: как устроена 3D-фигура, способная заполнить все пространство без единого повтора

Если вымостить бесконечную плоскость стандартной квадратной плиткой, рисунок неизбежно начнет повторяться. Достаточно сместить всю сетку на ширину одного элемента вдоль любой из сторон, и узор идеально совместится сам с собой. Это свойство называют трансляционной симметрией, или периодичностью. По такому принципу устроены кирпичные стены, шахматные доски и кристаллы поваренной соли: у них всегда есть базовый шаг повторения.

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

Такую гипотетическую форму назвали монотайлом, или «айнштайном» — от немецкого словосочетания ein Stein, что переводится буквально как «один камень», а вовсе не в честь создателя теории относительности.

Весной 2023 года математический мир пережил сенсацию: группа исследователей открыла тринадцатиугольную плитку «шляпа», а затем фигуру «призрак». Они доказали, что на двухмерной плоскости замостить пространство без повторений одной-единственной деталью действительно возможно.

Однако трехмерное пространство оставалось непокоренным рубежом. В трех измерениях степени геометрической свободы резко возрастают, а математические требования к отсутствию повторений становятся гораздо жестче. Крейг Каплан, один из соавторов открытия двухмерной «шляпы», прямо заявлял, что сложность анализа трехмерных кандидатов на эту роль кажется ему непреодолимой.

В исследовании математика Иоанниса Циокоса представлена конструкция и машинное доказательство первого в истории строго апериодического трехмерного монотайла. Объект получил название Chair44.

Это цельный многогранник без сквозных отверстий, который заполняет трехмерный объем исключительно непериодическим способом. При этом многогранник заставляет пространство подчиняться этому правилу исключительно за счет своей формы: на нем нет меток, рисунков на гранях или внешних инструкций по сборке.

Ловушки третьего измерения: чем слабая непериодичность отличается от строгой

Чтобы оценить масштаб этого результата, нужно понять, почему трехмерное пространство создавало исследователям непреодолимые трудности.

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

Первый исторический претендент на трехмерный монотайл появился в конце 1980-х годов — выпуклая бипризма Шмитта — Конвея — Данцера. Этот многогранник заполняет пространство без параллельных смещений. Однако его слои укладываются вдоль винтовой оси: каждый следующий слой немного сдвинут и одновременно повернут на фиксированный угол.

В математике винтовое движение относят к бесконечным циклическим симметриям. По сути, это тот же самый периодический повтор, но свернутый в бесконечную спираль. Кроме того, если к этой бипризме добавить ее зеркальное отражение, она мгновенно складывается в тривиальную периодическую решетку.

Второй известный кандидат — пространственная плитка Соколара — Тейлора, найденная в 2011 году. Она заставляла плоскость собираться в неповторяющийся узор, однако полученные слои просто механически накладывались друг на друга вдоль вертикальной оси. Вдоль третьего направления структура повторялась через абсолютно равные расстояния. В геометрии такие системы называют слабо апериодическими.

Математикам требовалась строгая апериодичность. Это означает, что любое мыслимое заполнение пространства выбранной фигурой обязано отвечать жестким критериям:

1. Ни в одном направлении мозаику нельзя параллельно сдвинуть саму на себя так, чтобы она полностью совпала со своим исходным положением. Вектор трансляционного периода равен нулю.
2. Исключены любые винтовые движения произвольного шага и любые другие бесконечные симметрии.
3. Полная группа симметрий всей бесконечной структуры конечна: ее порядок не превышает двадцати четырех возможных пространственных поворотов.
4. Структура строго однородна по своей ориентации: если начать строить мозаику из правосторонних фигур, левосторонние зеркальные копии физически не смогут встроиться в общий массив.

Многогранник Chair44 стал первым трехмерным объектом, выполнившим все эти требования без исключений.

Форма Chair44: ступенчатый каркас и 192 микропирамиды

Конструктивно Chair44 состоит из двух уровней: крупного базового каркаса и сложнейшего микроскопического рельефа на его поверхности.

Базовая форма предельно проста. Представьте себе блок из восьми одинаковых единичных кубиков, сложенных в куб два на два на два. Теперь удалите один угловой кубик. Оставшиеся семь кубиков образуют ступенчатую фигуру, напоминающую кресло с вырезом. Объем этого тела равен в точности семи единицам.

Сам по себе такой семикубиковый каркас легко заполнит трехмерное пространство обычным периодическим способом. Чтобы лишить его этой возможности, Циокос превратил внешние грани фигуры в геометрическую систему взаимной блокировки.

У ступенчатого каркаса ровно 24 квадратные грани единичного размера. Математик называет их панелями: 21 панель находится на внешней стороне фигуры, а еще 3 — внутри выреза, оставшегося от удаленного кубика.

На каждой из 24 панелей размещены ровно восемь четырехугольных пирамид с квадратным основанием. Сторона основания каждой пирамиды составляет одну пятидесятую часть от длины ребра базовой панели. Всего по поверхности монотайла распределено 192 таких пирамидальных элемента.

Пирамиды делятся на два противоположных типа:

• Выступы: пирамиды направлены вершиной наружу от плоскости грани.
• Выемки: пирамидальные углубления точно такой же формы направлены вершиной внутрь тела.

Высоты выступов и глубины выемок строго фиксированы. Они не берутся произвольно, а рассчитываются по жесткой математической шкале. Высота каждого элемента составляет целое число десятитысячных долей от длины ребра базового куба — от одной десятитысячной до двенадцати десятитысячных.

Каждому из двенадцати значений высоты соответствуют строго определенные углы наклона граней пирамиды и углы ее ребер. Геометрия рассчитана так, что ни один из двадцати четырех возможных углов наклона не совпадает с другим.

Поэтому выступ определенной высоты способен без зазоров соприкоснуться только с выемкой точно такой же глубины. Если попытаться прижать выступ с коэффициентом пять к выемке с коэффициентом шесть или соединить их под неверным углом поворота, грани пирамид пересекутся.

В геометрии твердых тел действует закон: внутренние объемы двух фигур не могут занимать одну и ту же область пространства. Либо между гранями останется зазор, либо их объемы проникнут друг в друга. Оба сценария прямо запрещены правилами замощения пространства.

Рельеф из 192 пирамид нанесен на 24 грани асимметрично. Исходный семикубиковый каркас обладал шестью вращательными симметриями. Добавление пирамид полностью уничтожило внутреннюю симметрию: у готового монотайла нет ни единого поворота или отражения, которое совмещало бы фигуру с самой собой.

Принцип уполовинивания: почему узор никогда не повторится

Каким образом механическое сцепление крошечных пирамид заставляет бесконечную трехмерную вселенную быть непериодической?

В основе доказательства лежит геометрическое явление самовоспроизведения. Семикубиковый каркас принадлежит к классу так называемых «реп-тайлов» — самовоспроизводящихся плиток. Восемь таких ступенчатых тел, повернутых под определенными прямыми углами, можно сложить в точно такое же кресло, но увеличенное ровно в два раза по каждому из трех пространственных измерений. Его объем составит уже пятьдесят шесть единичных кубиков.

Этот процесс можно продолжать дальше: восемь увеличенных блоков складываются в гигантский блок масштаба четыре, восемь таких блоков — в блок масштаба восемь, и так до бесконечности.

Однако семикубиковый каркас без рельефа можно сложить тысячами других способов. Задача микрорельефа из 192 пирамид заключалась в том, чтобы оставить пространству только один вариант компоновки: сборку блоков удвоенного размера.

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

Компьютерный перебор всех вариантов показал: из этих 2388 взаимных положений высоты и углы микропирамид допускают ровно 44 способа контакта. Этот перечень допустимых соединений получил название «Атлас 44».

Далее Циокос перешел на следующий масштабный уровень:

1. Восемь элементарных плиток объединяются в укрупненную суперплитку первого уровня.
2. Внешняя поверхность этого укрупненного тела состоит из граней исходных плиток и несет на себе те же самые микропирамиды.
3. Проверка всех возможных способов контакта между укрупненными суперплитками первого уровня показала: они способны соединяться между собой исключительно теми способами, которые в точности повторяют 44 контакта исходного атласа, только на вдвое большем масштабе расстояний.

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

Именно здесь срабатывает математическое доказательство отсутствия повторов:

Допустим на мгновение, что замощение плиткой Chair44 все-таки периодично. Это означает, что существует некий фиксированный шаг — пространственный вектор сдвига, перемещение на который совмещает весь бесконечный узор с самим собой.

Поскольку все плитки лежат в узлах целочисленной кубической сетки, координаты этого шага обязаны выражаться целыми числами.

Но ведь вся мозаика разбивается на суперплитки удвоенного масштаба. Значит, наш шаг сдвига обязан совмещать между собой и систему этих крупных блоков. Но суперплитки стоят на сетке с шагом два. Чтобы совместить их, исходный шаг сдвига должен нацело делиться на два.

Однако суперплитки первого уровня точно так же объединяются в суперплитки второго уровня с шагом сетки четыре. Значит, этот же вектор сдвига обязан делиться нацело на четыре.

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

В евклидовой геометрии существует единственный целочисленный вектор, который можно делить на два бесконечное число раз так, чтобы результат оставался целым числом. Это нулевой вектор.

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

Чистая ориентация и предел симметрии

Конструкция Chair44 решает еще одну давнюю геометрическую проблему — проблему зеркальности.

Классические правила плиточных замощений разрешают свободно переворачивать детали обратной стороной, то есть использовать их зеркальные копии. Двумерная плитка «шляпа» держалась именно на этом: ее бесконечные узоры в обязательном порядке содержали как оригинальные детали, так и их зеркальные отражения. Без использования зеркальных деталей плоскость было невозможно заполнить.

Chair44 ведет себя иначе. Все 44 допустимых контакта из базового атласа требуют сохранения исходной системы координат. Повороты разрешены, но зеркальные отражения запрещены контактным рельефом. Если попытаться приложить к правильной конструкции зеркально отраженную плитку Chair44, ни один из ее выступов не совпадет с выемками.

Исследователь волен выбрать, из каких деталей собирать пространство — только из правосторонних или только из левосторонних. Но как только поставлена первая деталь, выбор сделан для всей вселенной. Пространство примет бесконечное число прямых копий, но полностью отвергнет зеркальные. В терминологии геометрии это свойство называют строгой хиральностью.

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

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

Точность без приближений: машинное доказательство в Lean 4

Доказательство статьи Циокоса примечательно тем, как именно оно получено и верифицировано. Трудность работы заключалась в колоссальном объеме комбинаторного перебора, который человек не способен проверить вручную.

Доказательство делится на два последовательных этапа:

1. Непрерывная геометрическая часть. Она строго доказывает, что плитки не могут встретиться со смещением на доли миллиметра или повернуться под косым углом. Несовпадение геометрии пирамид приводит к тому, что при любых попытках сдвига или наклона плитки пересекаются объемами. Это доказывает, что абсолютно все плитки в пространстве обязаны лежать строго в узлах регулярной сетки и иметь только допустимые прямые повороты.
2. Дискретная комбинаторная часть. Когда пространство сведено к сетке, начинается перебор всех вариантов взаимного расположения.

Масштаб вычислений огромен:

• Алгоритм проверил 6862 потенциальных положения двух соседних плиток;
• Из них 1545 вариантов отсеялись сразу из-за прямого наложения базовых семикубиковых тел;
• Из оставшихся вариантов алгоритм последовательно отбросил еще 5273 положения, доказав, что они создают непреодолимые противоречия в ближайшем окружении. В рамках этого шага было сгенерировано и математически подтверждено 299 975 конкретных зон объемных пересечений;
• В финальном списке осталось ровно 44 допустимых контакта.

Чтобы исключить любые сомнения в правильности расчетов, все этапы доказательства были полностью формализованы в программной среде Lean 4 — системе интерактивного доказательства теорем.

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

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

Происхождение этой геометрической формы не менее показательно: распределение высот для 192 пирамид помогла найти рассуждающая модель искусственного интеллекта от компании OpenAI.

Алгоритм решал сложнейшую задачу оптимизации: как расставить двенадцать дискретных высот по граням сложного тела так, чтобы результирующий язык контактов укрупненных блоков в точности замкнулся сам на себя. Человек сформулировал концептуальные ограничения, искусственный интеллект нашел числовую конфигурацию, а строгая среда математической верификации подтвердила истинность решения.

Физический смысл: предельная периодичность материи

Открытие Chair44 имеет фундаментальное значение для кристаллографии и физики твердого тела.

Обычно неповторяющиеся структуры связывают с квазикристаллами. Классические плоские квазикристаллы (например, двумерные мозаики Пенроуза) при облучении рентгеновскими лучами дают дифракционную картину с резкими точечными пиками, чье расположение связано с иррациональными числами — чаще всего с золотым сечением.

Пространственная структура на основе Chair44 устроена иначе. Она принадлежит к более редкому классу предельно-периодических структур.

Дифракционный спектр такой мозаики тоже состоит из четких точек, но длины волн этих отражений кратны не иррациональным числам, а обычным степеням двойки: одной второй, одной четвертой, одной восьмой, одной шестнадцатой и так далее. Внутреннюю организацию такого пространства математики описывают с помощью двух-адических чисел. Предельно-периодическую структуру можно описать как наложение бесконечного ряда регулярных сеток, шаг которых удваивается на каждом следующем уровне.

Chair44 доказал важнейший математический факт: строго заданная трехмерная форма способна самостоятельно навязать бесконечному объему предельно-периодический порядок.

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

Источник: arXiv