Секрет калейдоскопа: рекордный подсчёт невидимых сетей ✛

Оригинал: "Counting Unlabeled Chordal Graphs by Equivariant Evaporation"
· Matthew Sun
arXiv:2607.02613 · 2026-07-01 · CC BY 4.0 · 1 мин
Новый метод позволяет быстро узнать точное число особых сетей, построенных из одинаковых точек.

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

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

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

Так удалось впервые точно подсчитать число узоров для 16, 17, 18, 19 и 20 точек. Результат для 20 точек — колоссальное число 7 278 601 292 779 396 715. За этим числом — не хаос, а стройная архитектура отражений. Метод пригодится не только для чистых узоров, но и для перебора лекарств и новых материалов, а также может ускорить машинное обучение при поиске лучших конфигураций нейросетей.

Симметрия сохраняет нечто фундаментальное: в физике — законы сохранения, в комбинаторике — порядок счёта. Теорема Эмми Нётер вдохновляет этот трюк.

Для подсчёта всех вариантов для 20 точек потребовалось учесть 627 разных типов симметрии.

Идея перебора всех возможных структур напоминает «Вавилонскую библиотеку» Борхеса — книгу всех мыслимых книг.

a(n) = \frac{1}{n!} \sum_{\pi \in S_n} \mathrm{fix}(\pi)
число непомеченных объектов равно среднему числу помеченных объектов, неподвижных при каждой перестановке
\mathrm{BUNDLE}(\mu) = \mathrm{cfix}(\mu) + \sum_{d>1,\, d\mid\gcd(\mu)} d^{|\mu|-1} \mathrm{cfix}^{\langle N/d \rangle}(\mu/d)
компонента-пучок либо не имеет внутренней симметрии, либо раскладывается на d меньших копий с кратностью d^{|μ|-1}
Учёные
Emmy Noether
Понятия
графы число Черна топологический инвариант