— и картинка становится "кубиками" в трёхмерном пространстве (собранными в углу комнаты).

Тут уже можно и сделать аллюзию на диаграммы Юнга (такие же кубики в углу, но двумерной комнаты, они же число способов разбить число n в сумму натуральных слагаемых без учёта порядка) — и вспомнить формулу МакМагона для подсчёта числа таких "заполнений кубиками" в комнате размера axbxc (мне, опять-таки, вспоминается — другая — брошюра Е. Смирнова, https://www.mccme.ru/free-books/dubna/smirnov-asm.pdf , см. лекцию 3 ) — ну, в общем, я же уже говорил про годовой курс?

Но мне из этой картинки хочется вытащить "функцию высоты" и вообще трёхмерный взгляд на неё.

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

Пусть у нас есть разбиение на ромбики на треугольной решётке. Если в нём есть шестиугольник со стороной 1, разбитый на три ромбика одним способом — можно его переразбить другим. Назовём это "элементарной перестройкой".

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

"Доказательство". Трёхмерный взгляд позволяет посмотреть на картинку, как просто на добавление/убирание кубика. Будем убирать кубики "от самого верхнего", пока не дойдём от любого исходного разбиения до состояния "пустая комната".

От любого состояния дошли до одного и того же, минимального — значит, от любого можно дойти до любого другого.
(Я взял слово "доказательство" в кавычки — потому что это для настоящей комнаты легко сказать, что означает "пустая комната", а так нужно действовать чуть более аккуратно. Но давайте считать, что тут я всё заметаю под ковёр.)

То же самое можно сделать и для разбиений (опять таки, областей без дырок) на квадратной решётке — а в качестве элементарной перестройки выступает переразбиение квадрата 2x2.

Так вот, возвращаясь к ацтекскому бриллианту. Вообще, картинки, которые я показывал, нарисованы с использованием специфики именно ацтекского бриллианта. А именно, одно из доказательств теоремы о числе разбиений позволяет ещё и по честно-равномерному разбиению АБ порядка (n-1), дополнительно несколько раз подбросив монетку, получить честно-равномерное разбиение АБ порядка n. И завязано это как раз на функцию высоты (которая достраивает картинку до трёхмерной) — рассматриваемую в одном случае в чёрных, а в другом в белых вершинах. Но в эту технику я не пойду, именно потому, что она завязана на конкретику АБ.

Но можно себе представить другой способ порождать случайные разбиения — с помощью случайного блуждания.

А именно: рассмотрим граф, вершинами которого являются _все_ разбиения АБ, а рёбра соединяют разбиения, отличающиеся на элементарную перестройку.

Этот граф, конечно, объект чисто абстрактный: для порядка n=100 у него 2^{5050} вершин, что немного многовато.

Зато рёбер из каждой вершины выходит не так много — не больше 2n^2=20.000, что вполне компьютерно-реалистично.

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

Так вот — если так "побродить" достаточно долго, то получается (почти) равновероятное распределение на том, куда мы в принципе можем прийти. И это и есть один из способов генерации случайного разбиения. Но тут нужно быть аккуратным и в том, как генерировать, и в том, когда останавливаться (а ещё есть красивые слова "coupling from the past", которые позволяют гарантировать, что получаемое разбиение совсем честно случайно).

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

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

Воздушный шар с расслоением Хопфа —

Солнце, универсально накрывающее сферу без трёх точек —