Ацтекский бриллиант

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

Эти фигуры изучаются в связи со свойствами множества их замощений домино (разбиений на плитки размером  клеток).

История 

Ацтекский бриллиант впервые упомянут в работе Элкиса, Куперберга, Ларсена и Проппа.

Теорема о полярном круге (см. ниже) доказана У. Джокушем, Дж. Проппом и П. Шором в 1995 году.

Связанные понятия

Ранг разбиения 

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

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

Функция высоты 

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

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

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

Данное определение оказывается независимо от выбора пути, а зависит только от разбиения.

Стандартная нотация плиток в разбиении 

Для упрощения иллюстраций и формулировки доказательств часто используется условное деление всех плиток  конкретного рассматриваемого замощения на четыре класса. Для их описания удобно представить раскраску клеток ацтекского бриллианта по типу шахматной доски такую, что верхняя из двух самых левых клеток - чёрная. Тогда классы определяются так:
 N (north - север) - горизонтально ориентированная плитка, у которой левая клетка - чёрная;
 S (south - юг) - горизонтально ориентированная плитка, у которой левая клетка - белая;
 W (west - запад) - вертикально ориентированная плитка, у которой верхняя клетка - чёрная;
 E (east - восток) - вертикально ориентированная плитка, у которой верхняя клетка - белая.

Названия классов, как видно, соответствуют сторонам, в которых находятся клетки при двух тривиальных разбиениях (где каждая горизонталь или вертикаль - прямая линия из последовательных плиток). При иллюстрации бриллианта плитки разных классов иногда изображаются разными цветами.

Теорема о количестве разбиений 

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

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

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

Ниже мы будем обозначать количество таких разбиений через  (от английского "aztec diamond")

Доказательство через знакочередующиеся матрицы 

При доказательстве через  произвольному разбиению ацтекского бриллианта порядка  ставится в соответствие матрица размера , элементы которой соответствуют целым точкам, сравнимым по модулю 2 и лежащим внутри бриллианта (каждая диагональ воспринимается как строка или столбец матрицы). Если такая точка принадлежит границам двух доминошек, то соответствующий элемент матрицы принимается равным -1, если трём, то 0, если четырём, то 1.

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

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

В итоге из очевидного для знакочередующихся матриц размера  тождества  и полученного тождества  (где  - множество всех знакочередующихся матриц порядка ) легко получается, что

Доказательство через паросочетания 

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

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

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

Веса рёбер графа  полагаются равными единице (тогда количество паросочетаний равно статистической сумме), так же как и веса графа , а нетривиальные веса появляются только после применения леммы об удалении вершин. Однако в получившемся после всех возможных удалений вершин графе  все веса на рёбрах равны либо , либо , причём рёбра с весом  непременно входят в любое паросочетание. Кроме того,  после отбрасывания рёбер веса  оказывается равным графу  ацтекского бриллианта предыдущего порядка, только с уменьшенным в два раза весом каждого ребра (а в каждом паросочетании участвуют ровно  его рёбер). Это позволяет вывести рекуррентную формулу:

Доказательство через числа Шрёдера 

Ещё один способ доказательства - взаимо-однозначно сопоставить каждому разбиению ацтекского бриллианта порядка  набор из  непересекающихся путей Шрёдера. Тогда количество возможных разбиений оказывается равным количеству таких наборов.

Для этого достаточно отметить середины вертикальных отрезков нижней левой части границы бриллианта, а далее вести от них линии, каждый раз проводя новый отрезок симметрично относительно центра домино, в котором отрезок находится - горизонтально для горизонтально лежащих плиток и под наклоном для вертикальных плиток. Тогда, если продолжить вне бриллианта каждый путь наклонными линиями до единого уровня, то получится как раз  непересекающихся путей Шрёдера (каждый путь по бриллианту гарантированно закончится на той же горизонтали, где начался).

Более того, количество  таких наборов оказывается равным определителю матрицы Ганкеля, составленной из чисел Шрёдера. Рассматривая малые пути Шрёдера (то есть такие, где горизонтальные отрезки не лежат на уровне 0) и количество  их наборов без пересечений (оно тоже будет выражаться матрицей Ганкеля, но для другой последовательности), можно вывести соотношения  и , откуда легко получить рекуррентное выражение для :

Доказательство через сдвиг цепочки пересекающихся доминошек 

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

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

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

 

Тем же методом можно вывести короткую формулу для частного случая производящей функции (см. ниже):

Производящая функция разбиений 

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

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

В частности, из этого тождества следует и обычная формула для числа разбиений:

Случайные разбиения

Алгоритм генерации случайного разбиения 
Известен алгоритм равновероятного выбора случайного разбиения бриллианта заданного размера из всех разбиений такого размера.

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

Преобразование при переходе от размера  к  включает в себя три стадии:
 Разрушение. Из разбиения удаляются следующие пары плиток (если таковые присутствуют):
 плитка S, соприкасающаяся нижней гранью с клеткой типа N;
 плитка E, соприкасающаяся правой гранью с плиткой типа W.
 Сдвиг. Все оставшиеся плитки сдвигаются на одну клетку согласно своему типу в стандартной нотации - N вверх, S вниз, E вправо, W влево. Предшествующая стадия разрушения гарантирует, что при этом не возникнет наложений одной плитки на другую.
 Генерация. Доказано, что в результате двух предыдущих стадий все пустые клетки в области ацтекского бриллианта размера  можно разбить на квадраты размера 2x2. На стадии генерации каждый такой квадрат отдельно заполняется равновероятно либо двумя вертикальными, либо двумя горизонтальными плитками.

Теорема о полярном круге 

Рассмотрим окружность, вписанную в квадрат, ограничивающий ацтекский бриллиант. Она отрезает от квадрата четыре угла. Оказывается, что у случайно выбираемого замощения с очень большой вероятностью почти все доминошки, попадающие в эти углы, т. е. вне этой окружности, будут "заморожены": в нижнем и верхнем углу они все будут горизонтальными, а в левом и правом — вертикальными. Напротив, поведение замощения внутри этой окружности предсказать нельзя — оно является хаотичным. Все вышесказанное составляет утверждение теоремы о полярном круге, доказанной в 1995 году У. Джокушем, Дж. Проппом и П. Шором:

Пусть  - вероятность того, что при случайной раскраске бриллианта порядка  все плитки вне увеличенной в  раз вписанной в этот бриллиант окружности будут расположены детерминированным образом, то есть на верхнем краю все клетки будут из класса N, внизу - из класса S, справа - из класса W, слева - из класса E.

Тогда для любого  имеет место  при .

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

Примечания

Литература

Ссылки 
 
Комбинаторика
Замощения