Перечисление чётномерных разбиений по модулю 4

Основная информация

• ID статьи: 2511.11977
• Название: Enumeration of Even Dimensional Partitions modulo 4
• Автор: Aditya Khanna
• Классификация: math.CO (комбинаторика)
• Дата публикации: 15 ноября 2025 г. (препринт arXiv)
• Ссылка на статью: https://arxiv.org/abs/2511.11977

Аннотация

Размерность $f^λ$ целочисленного разбиения λ определяется как количество стандартных таблиц Юнга соответствующей формы. Маккей перечислил разбиения нечётной размерности, а Макдональд использовал теорию 2-ядерных башен для дальнейшей характеризации этих разбиений. В данной работе используется та же теория для обобщения результатов на разбиения, размерность которых сравнима с 2 по модулю 4, обозначаемые $a_2(n)$. Статья предоставляет явную формулу для $a_2(n)$ целых чисел $n$ без последовательных единиц в двоичном разложении и рекурсивную формулу вычисления для общего случая $n$.

Исследовательский контекст и мотивация

Постановка проблемы

1. Основной вопрос: Вычисление количества разбиений целого числа $n$, размерность которых удовлетворяет определённым модульным свойствам (в частности, сравнима с 2 по модулю 4)
2. Историческое развитие:
   • Маккей (1972) вычислил $m_2(n)$ (количество разбиений с нечётной размерностью)
   • Макдональд (1971) использовал теорию $p$-ядерных башен для полного решения $m_p(n)$
   • Для $n = 2^{k_1} + \cdots + 2^{k_\ell}$ ($k_1 > \cdots > k_\ell$) имеет место $m_2(n) = 2^{k_1+\cdots+k_\ell}$

Значимость

1. Теоретическое значение: Классификация по модулю 4 имеет важное значение для классификации спинорных представлений симметрической группы
2. Расширительная ценность: Обобщение от модуля 2 к модулю 4 является ключевым шагом в понимании более общих модульных свойств
3. Комбинаторная структура: Раскрывает глубокую связь между размерностью разбиений и двоичным разложением

Ограничения существующих методов

• Работа Амрутхи П. и Т. Гиты, хотя и предоставляет общее решение для $m_{2^k}(n)$ (уравнение (6)), даёт результаты, неудобные для перечисления
• Они предоставили явные результаты для $m_4(n)$ только в специальном случае $n = 2^\ell$
• Отсутствуют эффективные методы вычисления для общего $n$

Исследовательская мотивация

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

Основные вклады

1. Рекурсивная формула (теорема 1): Для $n = 2^R + m$ ($m < 2^R$) предоставляется кусочная рекурсивная формула для $a_2(n)$:
   • При $m < 2^{R-1}$: $a_2(n) = 2^R \cdot a_2(m) + \binom{2^{R-1}}{2} \cdot a(m)$
   • При $2^{R-1} \leq m < 2^R$: $a_2(n) = 2^R \cdot a_2(m) + \frac{1}{2^{R-1}}\left(\binom{2^{R-1}}{3} + 2^{R-1}\right) \cdot a(m)$
2. Замкнутая форма для разреженных чисел (следствие 2): Для разреженных чисел $n$ без последовательных единиц в двоичном разложении:
   • При чётном $n$: $a_2(n) = \frac{a(n)}{8}(n - 2\nu(n))$, где $\nu(n)$ — количество единиц в двоичном разложении
   • При нечётном $n$: $a_2(n) = a_2(n-1)$
3. Характеризация 2-ядерной башни (предложение 13): Предоставляются необходимые и достаточные условия для $v_2(f^\lambda) = 1$ через веса $w_i(\lambda)$ каждого уровня 2-ядерной башни
4. Комбинаторная интерпретация: Преобразование задачи подсчёта в комбинаторный подсчёт разметок узлов 2-ядерной башни с установлением ясного комбинаторного соответствия

Подробное описание методов

Определение задачи

Вход: Положительное целое число $n$
Выход: $a_2(n)$ — количество разбиений $n$, размерность которых $f^\lambda \equiv 2 \pmod{4}$
Ограничения: Использование комбинаторной структуры 2-ядерной башни для подсчёта

Основные математические структуры

1. Базовые понятия

• Разбиение: $\lambda = (\lambda_1, \ldots, \lambda_k)$ такое, что $\lambda_1 \geq \cdots \geq \lambda_k > 0$ и $|\lambda| = \sum \lambda_i = n$
• Размерность: $f^\lambda$ — количество стандартных таблиц Юнга (SYT) формы $\lambda$
• 2-ядро: Разбиение без удаляемых доминошек, имеющее форму $(n, n-1, \ldots, 2, 1)$

2. Конструкция 2-ядерной башни

Для разбиения $\lambda$ строится бесконечное двоичное дерево:

• Корневой узел помечен как $\text{core}_2(\lambda)$
• Рекурсивное определение: если узел $v$ помечен как $\text{core}_2(\lambda^{(b)})$, то его два потомка помечены как $\text{core}_2(\lambda^{(b0)})$ и $\text{core}_2(\lambda^{(b1)})$
• Здесь $\lambda^{(0)}, \lambda^{(1)}$ — 2-факторы разбиения $\lambda$

3. Весовая функция

Определяется вес $k$-го уровня: $w_k(\lambda) := \sum_{b \in \{0,1\}^k} |\text{core}_2(\lambda^{(b)})|$

Ключевые свойства:

• Предложение 12 (Макдональд): Разбиение $\lambda$ нечётно тогда и только тогда, когда $w_i(\lambda) = b_i$ ($i$-й бит двоичного разложения $n$)
• Предложение 13 (основной результат работы): $v_2(f^\lambda) = 1$ тогда и только тогда, когда существует $R \in \text{bin}'(n)$ такой, что:
  • $w_{R-1}(\lambda) = b_{R-1} + 2$
  • $w_R(\lambda) = 0$
  • $w_i(\lambda) = b_i$ для всех $i \neq R, R-1$

Технические инновации

1. Характеризация через последовательность весов

Введение последовательности весов $w^k(n) = (w^k_i(n))_{i \geq 0}$ путём указания "аномального" уровня $k$ (вес увеличивается на 2) для характеризации условия $v_2(f^\lambda) = 1$. Это ключевое обобщение характеризации нечётных разбиений Макдональда к разбиениям, сравнимым с 2 по модулю 4.

2. Комбинаторная функция подсчёта $T^k(w)$

Определяется $T^k(w)$ как количество способов, при которых на $k$-м уровне имеется $2^k$ узлов, помеченных 2-ядрами с суммой размеров, равной $w$:

• $T^k(0) = 1$
• $T^k(1) = 2^k$
• $T^k(2) = \binom{2^k}{2}$
• $T^k(3) = \binom{2^k}{3} + 2^k$

Это использует форму 2-ядер (лемма 6), где 2-ядра размеров 0, 1, 3 — это соответственно $\emptyset$, $(1)$, $(2,1)$.

3. Стратегия рекурсивного разложения

Представление $a_2(n)$ в виде: $a_2(n) = \sum_{k \in \text{bin}'(n)} T(w^k(n))$ где $T(w^k(n)) = \prod_{i \geq 0} T^i(w^k_i(n))$

Путём выделения члена $k = R$ и других членов, использования индукционного предположения для вычисления $a_2(m)$, получается рекурсивная формула.

4. Упрощение для разреженных чисел

Для разреженных чисел (без последовательных единиц) имеет место $b_{k-1} = 0$ для всех $k \in \text{bin}'(n)$, поэтому: $a_2(n) = a(n) \sum_{k \in \text{bin}'(n)} \frac{T^{k-1}(2)}{T^k(1)} = a(n) \sum_{k \in \text{bin}'(n)} \frac{2^k - 2}{8}$

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

Экспериментальная установка

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

Методы верификации

• Теоретические выводы основаны на фреймворке теории 2-ядерных башен Макдональда
• Верификация малых случаев ($w = 0, 1, 2, 3$) через лемму 15
• Рекурсивная формула может быть использована для компьютерной верификации (хотя статья не предоставляет численные эксперименты)

Проверка специальных случаев

• Разреженные числа предоставляют проверяемые замкнутые формы
• Согласованность с известными результатами $m_4(2^\ell)$ (замечание 17)

Экспериментальные результаты

Основные результаты

Применение теоремы 1

Рекурсивная формула позволяет вычислить $a_2(2^R + m)$ из меньшего значения $m$:

• Первый случай ($m < 2^{R-1}$): Главным образом зависит от $a_2(m)$, коэффициент поправочного члена равен $\binom{2^{R-1}}{2} = 2^{R-2}(2^{R-1}-1)$
• Второй случай ($m \geq 2^{R-1}$): Поправочный член более сложный, коэффициент равен $\frac{1}{2^{R-1}}\left(\binom{2^{R-1}}{3} + 2^{R-1}\right)$

Явная формула следствия 2

Для разреженных чисел формула чрезвычайно проста: $a_2(n) = \frac{a(n)}{8}(n - 2\nu(n)) \quad (\text{n чётно})$

Пример: $n = 42 = 2^5 + 2^3 + 2^1$ (разреженное), $\nu(42) = 3$

• $a(42) = 2^{5+3+1} = 512$
• $a_2(42) = \frac{512}{8}(42 - 6) = 64 \times 36 = 2304$

Теоретические открытия

1. Иерархичность структуры по модулю 4: Разбиения размерности, сравнимой с 2 по модулю 4, соответствуют 2-ядерной башне, в которой ровно один уровень имеет "аномалию" (вес превышает ожидаемое значение на 2 единицы)
2. Роль двоичного разложения:
   • Нечётные разбиения: каждый бит двоичного числа соответствует весу уровня
   • Разбиения, сравнимые с 2 по модулю 4: "заимствование" на определённом бите приводит к изменению весов соседних уровней
3. Особенность разреженных чисел: Отсутствие последовательных единиц означает, что все возможные "аномальные" позиции вносят одинаковый вклад в комбинаторную структуру, что приводит к замкнутой форме
4. Связь с $m_4(n)$ (замечание 17): $m_4(n) = a(n) + a_2(n)$ Количество разбиений с размерностью, делящейся на 4, равно $p(n) - a(n) - a_2(n)$

Связанные работы

Исторический контекст

1. Маккей (1972): Первое вычисление $m_2(n)$, перечисление разбиений нечётной размерности
   • Метод: прямые комбинаторные рассуждения
   • Результат: связь с двоичным разложением
2. Макдональд (1971): Систематическое рассмотрение $m_p(n)$ с использованием теории $p$-ядерных башен
   • Введение соответствия ядро-фактор
   • Установление связи между размерностью и весами ядерной башни (уравнения $(3.3), (3.4)$)
   • Предложение 12 является прямой основой данной работы
3. Амрутха П. и Т. Гита (2024): Исследование $m_{2^k}(n)$
   • Уравнение (6) даёт общее решение, но вычисление сложно
   • Явные результаты предоставлены только для $n = 2^\ell$
   • Данная работа показывает значительное улучшение в вычислимости
4. Связанные приложения:
   • Ganguly & Spallone (2020): Спинорные представления симметрической группы (источник мотивации данной работы)
   • Ghosh & Spallone (2019): Перечисление хиральных разбиений
   • Ayyer, Prasad & Spallone (2017): Представления с нетривиальным определителем

Позиционирование данной работы

• Теоретическое обобщение: Естественное расширение от модуля 2 к модулю 4
• Методологическая инновация: Введение последовательности весов $w^k(n)$ и функции подсчёта $T^k(w)$
• Практическая ценность: Предоставление вычислимых рекурсивных формул и замкнутых форм для специальных случаев

Заключение и обсуждение

Основные выводы

1. Полное решение случая модуля 4 с остатком 2: Через рекурсивную формулу теоремы 1 $a_2(n)$ вычислимо для всех $n$
2. Элегантная формула для разреженных чисел: Следствие 2 предоставляет замкнутую форму для большого класса целых чисел
3. Ясная комбинаторная интерпретация: Характеризация $v_2(f^\lambda) = 1$ через аномалии весов 2-ядерной башни
4. Согласованность с известными результатами: Специальные случаи совпадают с результатами Амрутхи-Гиты

Ограничения

1. Рекурсивный характер: Хотя теорема 1 полна, вычисление $a_2(n)$ всё ещё требует рекурсии к меньшим значениям, сложность зависит от структуры двоичного разложения
2. Отсутствие замкнутой формы в общем случае: За исключением разреженных чисел, не предоставлена замкнутая формула для общего $n$
3. Трудности обобщения на высшие порядки (признано в разделе 4):
   • Случай модуля $2^k$ ($k > 2$) имеет слишком много рекурсивных членов
   • Вычисление для модуля $p^2$ ($p$ — нечётное простое число) громоздко
   • Эти обобщения практически трудно реализуемы
4. Отсутствие численной верификации: Статья не предоставляет вычислительные примеры или численное сравнение с другими методами

Направления будущих исследований

Статья указывает в разделе 4 на следующие направления:

1. Более высокие модули: Вычисление случаев модуля $2^k$ ($k \geq 3$) или модуля $p^2$ ($p$ — нечётное простое число), но признаётся, что рекурсия будет ещё более сложной
2. Другие специальные классы: Поиск дополнительных классов целых чисел, допускающих замкнутые формы (аналогично разреженным числам)
3. Оптимизация алгоритмов: Разработка эффективных алгоритмов вычисления $a_2(n)$
4. Приложения в теории представлений: Применение результатов к конкретной классификации спинорных представлений

Глубокая оценка

Преимущества

1. Теоретическая строгость:
   • Все теоремы имеют полные доказательства
   • Логическая цепь ясна: лемма 15 → предложение 13 → теорема 1 → следствие 2
   • Использование зрелого фреймворка теории 2-ядерных башен
2. Методологическая инновативность:
   • Введение последовательности весов $w^k(n)$ хитроумно кодирует позицию "аномального" уровня
   • Функция подсчёта $T^k(w)$ разлагает задачу на управляемые подзадачи
   • Обработка случая разреженных чисел демонстрирует мощь метода
3. Вычислимость результатов:
   • Рекурсивная формула явна и программируема
   • Замкнутая форма для разреженных чисел элегантна и прямо применима
   • Связь с известными результатами ясна (замечание 17)
4. Ясность изложения:
   • Достаточное введение в контекст (раздел 1)
   • Подробные определения (раздел 2) с примерами
   • Ясная логика доказательств с выделением ключевых шагов

Недостатки

1. Ограниченная практическая применимость:
   • Хотя рекурсивная формула полна, эффективность вычисления для больших $n$ неясна
   • Отсутствует анализ сложности алгоритма
   • Не предоставлены реализация или численные таблицы
2. Узкий охват:
   • Решён только случай модуля 4 с остатком 2
   • Случаи модуля 4 с остатками 0 и 3 (т.е. $a_0(n), a_3(n)$) не обсуждаются
   • Хотя через $a(n) = a_1(n) + a_3(n)$ можно косвенно получить частичную информацию
3. Неясный путь обобщения:
   • Раздел 4 признаёт трудности высшего порядка обобщения, но не анализирует их суть
   • Не предложены возможные направления преодоления этих трудностей
   • Допускает ли замкнутая форма для разреженных чисел более общее обобщение?
4. Недостаток интуитивного объяснения:
   • Почему именно $w_{R-1} = b_{R-1} + 2$ соответствует $v_2(f^\lambda) = 1$?
   • Какой комбинаторный смысл коэффициентов $\binom{2^{R-1}}{2}$ и $\frac{1}{2^{R-1}}\left(\binom{2^{R-1}}{3} + 2^{R-1}\right)$ в рекурсивной формуле?
   • Хотя доказательства строги, не хватает интуитивной картины
5. Недоразвитые приложения:
   • Хотя упоминается мотивация из теории спинорных представлений, конкретное применение $a_2(n)$ в теории представлений не раскрыто
   • Связь с работой Ganguly-Spallone остаётся на уровне цитирования

Влияние

1. Вклад в область:
   • Заполняет пробел в теории Маккея-Макдональда до случая модуля 4
   • Предоставляет шаблон для последующих исследований более высоких модулей
   • Обогащает исследование модульных свойств размерности разбиений
2. Практическая ценность:
   • Формула для разреженных чисел может быть прямо применена
   • Рекурсивная формула предоставляет основу для реализации в системах компьютерной алгебры
   • Имеет справочную ценность для исследователей теории представлений
3. Воспроизводимость:
   • Математические доказательства верифицируемы
   • Рекурсивная формула явна и легко программируется
   • Однако отсутствие кода или численных примеров снижает воспроизводимость
4. Потенциальное влияние:
   • Может вдохновить исследования других модульных свойств
   • Дальнейшие приложения метода 2-ядерной башни
   • Интеграция с компьютерной алгеброй

Сценарии применения

1. Теоретические исследования:
   • Исследование модульных свойств в теории разбиений
   • Теория представлений симметрической группы (особенно спинорные представления)
   • Приложения двоичного разложения в комбинаторной теории чисел
2. Вычислительные приложения:
   • Ситуации, требующие вычисления количества разбиений с определёнными модульными свойствами
   • Библиотеки функций разбиений в системах символьных вычислений
   • Исследование производящих функций в перечислительной комбинаторике
3. Образовательная ценность:
   • Демонстрация приложений теории 2-ядерных башен
   • Пример рекурсивных методов в комбинаторном подсчёте
   • Иллюстрация связи между двоичным разложением и комбинаторными структурами

Библиография

Ключевые источники, цитируемые в статье:

1. J. McKay (1972): "Irreducible representations of odd degree", Journal of Algebra — пионерская работа по разбиениям нечётной размерности
2. I. G. Macdonald (1971): "On the Degrees of the Irreducible Representations of Symmetric Groups", Bulletin of the London Mathematical Society — установление фреймворка теории $p$-ядерных башен
3. P. Amrutha & T. Geetha (2024): "On the degrees of representations of groups not divisible by $2^k$", Journal of Algebra and Its Applications — недавняя связанная работа
4. J. Ganguly & S. Spallone (2020): "Spinorial representations of symmetric groups", Journal of Algebra — мотивация теории представлений данной работы
5. J. B. Olsson (1993): "Combinatorics and representations of finite groups" — ключевой технический справочник

Общая оценка

Это высококачественная теоретическая статья по комбинаторике, которая делает существенный вклад в развитие классической теории Маккея-Макдональда. Основные преимущества — полнота теории, строгость доказательств и вычислимость результатов; основные недостатки — недостаточная демонстрация приложений и неясный путь обобщения. Для исследователей в области теории разбиений и теории представлений симметрической группы это статья, достойная внимательного изучения. Замкнутая формула для разреженных чисел особенно элегантна и демонстрирует глубину теории. Рекомендуется, чтобы будущие работы дополнили численные эксперименты, исследовали замкнутые формы для большего числа специальных классов и раскрыли конкретные связи с теорией представлений.

Рекомендуемый рейтинг: ★★★★☆ (4/5)
Техническая сложность: Высокая
Практическая ценность: Средняя
Теоретический вклад: Значительный