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

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

• ID статьи: 2207.07513
• Название: Enumeration of Odd Dimensional Partitions modulo 4
• Автор: Aditya Khanna
• Классификация: math.CO (комбинаторика)
• Время публикации: Первая подача в июле 2022 г., последняя версия (v3) от 15 ноября 2025 г.
• Ссылка на статью: https://arxiv.org/abs/2207.07513

Аннотация

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

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

Основная исследуемая проблема

Центральная задача работы состоит в точном подсчёте количества целочисленных разбиений, размерность которых сравнима с 1 или 3 по модулю 4. Определяется $\delta(n) = a_1(n) - a_3(n)$, и целью исследования является нахождение явной формулы для δ(n) при конкретных значениях n.

Значимость проблемы

1. Связь с теорией представлений симметрической группы: Разбиения целого числа n индексируют неприводимые представления симметрической группы $S_n$, а размерность разбиения соответствует размерности представления. Свойства по модулю 4 напрямую связаны с классификацией спинорных представлений симметрической группы.
2. Углубление известных результатов: Макдональд, используя теорию p-ядер, вычислил $m_2(n)$ (число нечётномерных разбиений). Для $n = 2^{k_1} + \cdots + 2^{k_\ell}$ имеет место $m_2(n) = 2^{k_1+\cdots+k_\ell}$. Данная работа уточняет этот результат до уровня модуля 4.
3. Применение в теории представлений: Известно, что неприводимые представления, соответствующие нечётным разбиениям, обладают специальными свойствами при ограничении. Плотность нечётных значений характеров равна нулю. Тонкая структура по модулю 4 способствует пониманию глубинных свойств этих представлений.

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

• Результаты Макдональда дают только общее число нечётномерных разбиений, не различая случаи остатков 1 и 3 по модулю 4
• Работы Амруты П. и Т. Гиты вычисляют $m_4(2^\ell)$ и $m_8(2^\ell)$, но не дают полной характеризации для общего n
• Отсутствует систематический метод для обработки рекурсивной структуры подсчёта по модулю 4

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

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

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

1. Полное решение для разреженных чисел (теорема 2): Для разреженных чисел (двоичное разложение не содержит последовательных единиц) даётся явная формула для $\delta(n)$:
   • $\delta(2) = 2$
   • $\delta(n) = 0$ (для чётных n > 2)
   • $\delta(n) = 4^{\nu(n)-1}$ (для нечётных n), где ν(n) — количество единиц в двоичном разложении n
2. Рекурсивная формула (теорема 1): Для $n = 2^R + m$ и $2^{R-1} > m$ устанавливается рекурсивное соотношение: $\delta(n) = \begin{cases} 0, & \text{если } n \text{ чётно} \\ 4\delta(m), & \text{если } n \text{ нечётно} \end{cases}$
3. Случай двоичной суммы, равной 2 (теорема 3): Для $n = 2^R + 2^{R-1}$ доказывается: $\delta(n) = \begin{cases} 2, & R=1 \\ 8, & R=2 \\ 0, & \text{иначе} \end{cases}$
4. Технические инновации:
   • Введение функции Od для систематической обработки нечётной части размерности по модулю 4
   • Установление "рабочей формулы" (теорема 36), связывающей размерности разбиения и его $2^R$-родительского разбиения
   • Унифицированная обработка операций удаления крючков с помощью β-множеств

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

Постановка задачи

Вход: Положительное целое число n Выход: $\delta(n) = a_1(n) - a_3(n)$, то есть разность между количеством разбиений с размерностью ≡ 1 (mod 4) и количеством разбиений с размерностью ≡ 3 (mod 4) Ограничения: Работа сосредоточена на случаях, когда n имеет специфическую двоичную структуру

Система основных концепций

1. β-множества и операции с крючками

Для разбиения λ определяется множество длин крючков первого столбца $H(\lambda) = \{h_{i,1} | 1 \leq i \leq \ell(\lambda)\}$, где $h_{i,1} = \lambda_i + k - i$.

β-множество определяется как $H(\lambda)^{+r} = \{x+r | x \in H(\lambda)\} \cup \{0,\ldots,r-1\}$.

Предложение 15: Разбиение λ содержит t-крючок тогда и только тогда, когда существует $h \in H(\lambda)$ такой, что $h \geq t$ и $h-t \notin H(\lambda)$. После удаления получается разбиение μ, удовлетворяющее $H(\mu) \sim_\beta H(\lambda)[h \to h-t]$.

2. Характеризация нечётных разбиений

Предложение 21 (Макдональд): Пусть $n = 2^R + m$ и $m < 2^R$. Тогда λ ⊢ n является нечётным разбиением тогда и только тогда, когда λ содержит ровно один $2^R$-крючок и $\text{core}_{2^R}(\lambda)$ также является нечётным разбиением.

Определение 22: Если $\text{core}_{2^R}(\lambda) = \mu$, то λ называется $2^R$-родительским разбиением для μ.

3. Классификация родительских разбиений

Предложение 23: $2^R$-родительские разбиения для μ разделяются ровно на два класса:

• Тип I: $H(\lambda) = H(\mu)[x \to x+2^R]$ для некоторого $x \in H(\mu)$
• Тип II: $H(\lambda) = H(\mu)^{+r}[0 \to 2^R]$, где $1 \leq r \leq 2^R$ и $2^R \notin H(\mu)^{+r}$

Родительских разбиений типа I имеется $\ell(\mu)$ штук, типа II — $2^R - \ell(\mu)$ штук, всего $2^R$ штук.

4. Функция Od

Определение 27: Для $n \in \mathbb{N}$ пусть $v_2(n)$ — наибольшая степень двойки, делящая n. Определяется $\text{Od}(n) = \begin{cases} 1, & \text{если } n/2^{v_2(n)} \equiv 1 \pmod{4} \\ -1, & \text{если } n/2^{v_2(n)} \equiv 3 \pmod{4} \end{cases}$

Лемма 28: Функция Od мультипликативна, то есть $\text{Od}(mn) = \text{Od}(m)\text{Od}(n)$.

Лемма 33: Для факториалов имеется явная формула $\text{Od}(n!) = (-1)^{D(n)+\nu(\lfloor n/4 \rfloor)}$ где $D(n)$ — количество пар последовательных единиц в двоичном разложении n.

Центральная техника: рабочая формула

Определение статистики η

Определение 34: Пусть λ — $2^R$-родительское разбиение для μ, $h_\mu^\lambda$ — затронутая длина крючка. Определяется $(-1)^{\eta_\mu^\lambda} = \prod_{\substack{x \in H(\lambda) \\ x \neq h_\mu^\lambda}} \frac{\text{Od}(|h_\mu^\lambda - x|)}{\text{Od}(|h_\mu^\lambda - 2^R - x|)}$

Предложение 39: Явная формула для вычисления η: $\eta_\mu^\lambda = N_\lambda(h_\mu^\lambda) - I_{H(\lambda)}(h_\mu^\lambda - 2^{R-1}) + I_{H(\lambda)}(h_\mu^\lambda + 2^{R-1}) + I_{H(\lambda)}(h_\mu^\lambda - 3 \cdot 2^{R-1})$ где $N_\lambda(h) = |\{y \in H(\lambda) | h-2^R < y < h\}|$.

Рабочая формула

Предложение 36: Пусть $n = 2^R + m > 3$ и $m < 2^R$. Для λ — $2^R$-родительского разбиения для μ имеет место: $\text{Od}(f^\lambda) = (-1)^{s_2(n)+s_2(h_\mu^\lambda)+\eta_\mu^\lambda} \text{Od}(f^\mu)$ где $s_2(n)$ — сумма первых двух цифр двоичного разложения n.

Схема доказательства:

1. Использование формулы Фробениуса для вычисления размерности из β-множеств: $f^\lambda = \frac{n! \prod_{1 \leq i < j \leq k}(h_i - h_j)}{\prod_{i=1}^k h_i!}$
2. Применение функции Od и леммы 33 для обработки факториалов
3. Анализ различий между $H(\lambda)$ и $H(\mu)^{+r}$, использование скачков $h_\mu^\lambda$ для получения изменений знака

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

Следствие 47: Когда $m < 2^{R-1}$ (соответствует разреженным числам), рабочая формула упрощается до $\text{Od}(f^\lambda) = (-1)^{\eta_\mu^\lambda} \text{Od}(f^\mu)$ так как $s_2(n) = s_2(h_\mu^\lambda) = 1$.

Следствие 48: В этом случае формула для η упрощается до $\eta_\mu^\lambda = N_\lambda(h_\mu^\lambda) - I_{H(\lambda)}(h_\mu^\lambda - 2^{R-1})$

Подсчёт родительских разбиений

Вводится символическое суммирование: $S_\Lambda(\mu) = \frac{1}{\text{Od}(f^\mu)} \sum_{\lambda \in \Lambda} \text{Od}(f^\lambda)$

Предложение 51 (Тип I): Для нечётного разбиения μ с $m < 2^{R-1}$, $S_{P_1(\mu)}(\mu) = \begin{cases} 0, & \text{если } \ell(\mu) \text{ чётно} \\ 1, & \text{если } \ell(\mu) \text{ нечётно} \end{cases}$

Предложение 53 (Тип II): $S_{P_2(\mu)}(\mu) = \begin{cases} 2 - 2(-1)^m, & \text{если } \ell(\mu) \text{ чётно} \\ 1 - 2(-1)^m, & \text{если } \ell(\mu) \text{ нечётно} \end{cases}$

Доказательство для типа II требует введения статистики чётности разрыва $G(X) = \sum_{x \in X} (-1)^x$ и анализа двух подмножеств $P_2(\mu)$: $P_2^\uparrow(\mu)$ (где $r \leq 2^{R-1}$) и $P_2^\downarrow(\mu)$ (где $r > 2^{R-1}$).

Лемма 59: Для нечётного разбиения λ, $G(H(\lambda)) = \begin{cases} 1-(-1)^n, & \text{если } \ell(\lambda) \text{ чётно} \\ (-1)^n, & \text{если } \ell(\lambda) \text{ нечётно} \end{cases}$

Установление рекурсивной формулы

Объединяя результаты для типов I и II: $S_{P(\mu)}(\mu) = S_{P_1(\mu)}(\mu) + S_{P_2(\mu)}(\mu) = 2 - 2(-1)^m$

Следовательно: $\delta(n) = \sum_{\mu \vdash m, \mu \text{ нечётно}} S_{P(\mu)}(\mu) \text{Od}(f^\mu) = (2-2(-1)^m) \delta(m)$

Это даёт рекурсивное соотношение теоремы 1.

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

Генерация данных

Данная работа — чистая теоретическая математическая статья, "эксперименты" означают численные проверки:

• Вычислены все значения $\delta(n)$ для $n=0$ до $n=127$ (см. таблицу в приложении)
• Использована формула длин крючков для вычисления размерности разбиений
• Применён алгоритм β-множеств для перечисления разбиений и их родительских разбиений

Методы проверки

• Для малых n (n ≤ 15) прямое перечисление всех разбиений и вычисление размерности
• Для больших n использование рекурсивной формулы с сравнением с прямыми вычислениями
• Проверка теоретических предсказаний специальных значений (например, правило $4^{\nu(n)-1}$ для разреженных чисел)

Результаты экспериментов

Проверка основных результатов

Проверка разреженных чисел

Из данных приложения можно проверить теорему 2:

• $\delta(1) = 1 = 4^{1-1}$ ✓
• $\delta(2) = 2$ ✓
• $\delta(5) = 4 = 4^{2-1}$ (5=101₂, ν(5)=2) ✓
• $\delta(9) = 4 = 4^{2-1}$ (9=1001₂, ν(9)=2) ✓
• $\delta(17) = 4 = 4^{2-1}$ (17=10001₂, ν(17)=2) ✓
• $\delta(21) = 16 = 4^{3-1}$ (21=10101₂, ν(21)=3) ✓
• $\delta(41) = 16 = 4^{3-1}$ (41=101001₂, ν(41)=3) ✓

Чётные разреженные числа:

• $\delta(4) = 0$, $\delta(8) = 0$, $\delta(16) = 0$, $\delta(32) = 0$ ✓

Проверка двоичной суммы, равной 2

Теорема 3 предсказывает для $n = 2^R + 2^{R-1}$:

• $n=3$ (R=1): $\delta(3) = 2$ ✓
• $n=6$ (R=2): $\delta(6) = 8$ ✓
• $n=12$ (R=3): $\delta(12) = 0$ ✓
• $n=24$ (R=4): $\delta(24) = 0$ ✓
• $n=48$ (R=5): $\delta(48) = 0$ ✓
• $n=96$ (R=6): $\delta(96) = 0$ ✓

Сложность нечётных разреженных чисел

Данные приложения раскрывают сложность случая $2^{R-1} < m < 2^R$:

Пример: $n=118 = 64 + 54 = 2^6 + 54$ ($54 > 2^5$)

• $\delta(118) = -384$, что не является ни степенью двойки, ни положительным числом

Резкие колебания в последовательных интервалах (n=122 до 127):

n=122: δ=-256
n=123: δ=-256
n=124: δ=768
n=125: δ=640
n=126: δ=168
n=127: δ=256

Это показывает, что в нерешённых случаях поведение δ(n) весьма нерегулярно и зависит от тонкой структуры разбиений.

Ключевые обнаруженные закономерности

1. Нарушение правила степеней двойки: Для нечётных разреженных чисел δ(n) больше не является степенью двойки и может быть даже отрицательным
2. Зависимость от структуры ядра: Вычисления показывают, что $S_{P(\mu)}(\mu)$ зависит не только от |μ|, но и от конкретной структуры μ
3. Увеличение глубины рекурсии: Нерешённые случаи могут потребовать рассмотрения $2^{R-1}$-ядер или даже более глубоких уровней рекурсии

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

Перечисление нечётных разбиений

1. Работа Маккея: Первое систематическое исследование нечётномерных разбиений
2. Макдональд 1: Использование теории p-ядер для получения элегантной формулы $m_2(n) = 2^{k_1+\cdots+k_\ell}$
3. Айер, Прасад, Спаллоне 5: Исследование структурных свойств нечётных разбиений в решётке Юнга

Исследования по модулям более высоких степеней

1. Амрута П. и Т. Гита 3:
   • Предоставление общих рекурсивных результатов для $m_{2^k}(n)$
   • Вычисление $m_4(2^\ell)$ и $m_8(2^\ell)$
   • Характеризация разбиений числа $2^\ell$ с размерностью ≡ 2 (mod 4)
2. Сравнение с данной работой: Более тонкое различие двух нечётных остаточных классов по модулю 4, но решение ограничено специфической двоичной структурой n

Теоретико-представленческий контекст

1. Ганголи и Спаллоне 2: Классификация спинорных представлений обеспечивает теоретико-представленческую мотивацию для исследования по модулю 4
2. Джаннелли и др. 4: Свойства ограничения нечётных характеров
3. Пелюз 6, Ганголи и др. 7: Результаты о плотности значений характеров по модулю

Комбинаторные инструменты

1. Олссон 8: Систематическое изложение теории p-ядер и факторов
2. Макдональд 9: Симметрические функции и многочлены Холла, техника β-множеств
3. Эгечиоглу и Реммель 12: Комбинаторная интерпретация обратных матриц Костки, концепция специальных граничных крючков

Инновации данной работы

• Первое систематическое вычисление разности $a_1(n)$ и $a_3(n)$
• Введение функции Od как технического инструмента
• Установление рабочей формулы, связывающей разбиения разных уровней
• Полное решение случая разреженных чисел

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

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

1. Полное решение для разреженных чисел: Для n с двоичным разложением без последовательных единиц δ(n) имеет явную формулу, для нечётных случаев это $4^{\nu(n)-1}$
2. Установление рекурсивного каркаса: Через теорию родительских разбиений и рабочую формулу устанавливается рекурсивная структура подсчёта по модулю 4
3. Обработка специальных случаев: При $n = 2^R + 2^{R-1}$ значение δ(n) ненулевое только при R=1,2

Ограничения

Автор честно обсуждает ограничения метода в разделе 6:

1. Нерешённые области: При $2^{R-1} < m < 2^R$ величина $S_{P(\mu)}(\mu)$ зависит от конкретной структуры μ, что не позволяет унифицировать обработку
2. Технические препятствия:
   • Инъективное отображение $h \mapsto r_h$ в лемме 58 больше не работает
   • Требуется проверка дополнительных условий типа $3 \cdot 2^{R-1} \in H(\mu)$
   • Вычисление родительских разбиений типа I также становится зависимым от элементов $H(\mu)$
3. Увеличение глубины рекурсии: Возможно потребуется рассмотрение $2^{R-1}$-ядер и более глубоких уровней, что значительно усложняет анализ
4. Численные свидетельства: δ(118) = -384 показывает, что значения больше не являются степенями двойки и могут быть отрицательными и большими по абсолютной величине

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

Статья предлагает три открытых вопроса:

1. Основной вопрос: Вычислить δ(n) для $n = 2^R + m$ при $2^{R-1} < m < 2^R$
2. Вопрос об оценках: Можно ли дать разумные верхние границы для $S_{P(\mu)}(\mu)$?
3. Вопрос о характеризации: Существует ли прямой способ характеризации нечётных разбиений по модулю 4 с помощью β-множеств?

Автор предлагает возможные направления:

• Развитие новых комбинаторных инструментов для обработки многоуровневой структуры ядер
• Поиск новых инвариантов β-множеств, захватывающих свойства по модулю 4
• Использование компьютерной поддержки для исследования закономерностей

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

Достоинства

1. Инновационность методов

• Введение функции Od: Элегантная формализация операции "нечётная часть по модулю 4", мультипликативное свойство (лемма 28) делает её мощным инструментом
• Рабочая формула: Предложение 36 устанавливает точную связь между размерностями разбиений разных уровней, это технический центр всей работы
• Систематическая классификация родительских разбиений: Классификация типов I/II (предложение 23) обеспечивает ясную комбинаторную структуру

2. Строгость доказательств

• Каждая техническая лемма имеет полное доказательство, логическая цепь ясна
• Лемма 33 (формула для Od(n!)) демонстрирует утончённую технику двоичного анализа
• Предложение 39 (явная формула для η) рассматривает три случая, тщательно продумано

3. Красота результатов

• Теорема 2 даёт формулу $\delta(n) = 4^{\nu(n)-1}$ (для нечётных разреженных чисел) в простой форме
• Образует красивое уточнение результата Макдональда $m_2(n) = 2^{k_1+\cdots+k_\ell}$
• Рекурсивная формула (теорема 1) имеет ясную структуру и легко применяется

4. Качество изложения

• Раздел 2 систематически рассматривает предпосылки (разбиения, крючки, ядра и т.д.), работа самодостаточна
• Многочисленные примеры (например, примеры 17, 25, 41) помогают понять абстрактные концепции
• Приложение содержит полные данные для n от 0 до 127, удобно для проверки и исследования

Недостатки

1. Ограниченная область применимости

• Решены только случаи разреженных чисел и $\nu(n)=2$, общий случай остаётся нерешённым
• Из данных видно, что нерешённые случаи составляют большинство (например, n=29,30,31 и т.д.)
• Раздел 6 признаёт, что случай $2^{R-1} < m < 2^R$ "настолько сложен, что ускользает от наших методов"

2. Высокая техническая сложность

• Доказательства лемм 58 и 61 включают многоуровневые суммирования и индексные функции, техника сложна, но трудно обобщается
• Введение статистики чётности разрыва G(X) выглядит временным решением (ad hoc)
• Вычисление η (предложение 39) требует разбора множества случаев, отсутствует унифицированный каркас

3. Недостаточное теоретическое объяснение

• Почему случай разреженных чисел особенно прост? Глубинные причины не полностью раскрыты
• Какой комбинаторный или теоретико-представленческий смысл имеют знак и величина δ(n)?
• Связь со спинорной классификацией представлений упомянута только во введении, не развита

4. Вычислительные аспекты

• Отсутствует анализ сложности алгоритма
• Как эффективно вычислить δ(n) для больших n?
• Численные данные приведены только до n=127, как ведёт себя δ(n) для больших n?

Оценка влияния

Вклад в область

• Комбинаторика: Предоставляет новые инструменты для исследования модульных свойств разбиений (функция Od, теория родительских разбиений)
• Теория представлений: Обеспечивает комбинаторный фундамент для тонкой классификации спинорных представлений симметрической группы
• Алгоритмика: Явная формула для разреженных чисел может быть использована для быстрого вычисления

Практическая ценность

• Разреженные числа часто встречаются в информатике (например, кодирование Фибоначчи), формула имеет потенциальное применение
• Обеспечивает ясный технический каркас для дальнейших исследований и открытых проблем

Воспроизводимость

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

Области применения

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

Углубленный анализ технических достижений

Мощь функции Od

Функция Od, хотя и выглядит просто, весьма хитроумна:

1. Мультипликативное свойство позволяет разложить вычисления: $\text{Od}(n!) = \prod_{r=1}^n \text{Od}(r)$
2. Формула леммы 33 сводит Od факториала к двоичным статистикам D(n) и ν(n)
3. Сочетание с формулой длин крючков: Формула Фробениуса (предложение 18) содержит произведения, каждый множитель может быть обработан через Od

Геометрическая интуиция рабочей формулы

Предложение 36 можно понимать как:

• Добавление $2^R$-крючка от μ к λ соответствует "скачку" в диаграмме Феррерса
• Член $s_2$ записывает информацию о двоичных префиксах n и $h_\mu^\lambda$
• Величина $\eta_\mu^\lambda$ точно измеряет изменения знака, возникающие при взаимодействии "скачка" с другими крючками
• При $m < 2^{R-1}$ геометрия упрощается, члены $s_2$ сокращаются, остаётся только η

Комбинаторика подсчёта родительских разбиений

Анализ родительских разбиений типа II (леммы 58, 61) раскрывает глубокие комбинаторные идеи:

• Разбиение $\{1,\ldots,2^R\}$ на $P_2^\uparrow$ и $P_2^\downarrow$ отражает критическую роль $2^{R-1}$
• Введение статистики чётности разрыва G захватывает глобальную информацию о чётности
• Лемма 59 связывает G с чётностью длины и размера разбиения, раскрывая глубинную структуру

Сравнение со смежными работами

Уникальный вклад данной работы:

• Не только подсчитывает разбиения по модулю 4, но различает два нечётных остаточных класса
• Вводит новые инструменты (функция Od, рабочая формула) вместо простого применения известной теории
• Даёт явные формулы для конкретных n, а не только асимптотику или рекурсию

Анализ сложности открытых проблем

Автор в разделе 6 анализирует трудность случая $2^{R-1} < m < 2^R$:

Центральное препятствие: $S_{P(\mu)}(\mu)$ больше не зависит только от |μ|, а зависит от тонкой структуры множества длин крючков H(μ).

Конкретный пример (приведённый автором):

• $\mu = (17,3,1) \vdash 21$: $S_{P(\mu)}(\mu) = 8$
• $\nu = (12,3,3,2,1) \vdash 21$: $S_{P(\nu)}(\nu) = 0$

Это показывает, что требуется развитие новых инвариантов для классификации нечётных разбиений числа 21.

Возможные направления:

1. Поиск тонких инвариантов H(μ) (например, некоторой "сигнатуры по модулю 4")
2. Рассмотрение многоуровневой структуры ядер ($2^R$-ядро, затем его $2^{R-1}$-ядро и т.д.)
3. Использование компьютерной алгебры для исследования малых n и поиска закономерностей

Итоговое резюме

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

Основная ценность работы заключается в:

1. Методологический вклад: Систематический каркас для обработки модульных свойств размерности разбиений
2. Конкретные результаты: Явные формулы для разреженных чисел и других специальных случаев
3. Проблемно-ориентированный подход: Ясное разграничение решённых и нерешённых областей

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

Избранные ссылки

1 I. G. Macdonald. "On the Degrees of the Irreducible Representations of Symmetric Groups". Bulletin of the London Mathematical Society, 1971. (Основополагающая работа по перечислению нечётных разбиений)

5 A. Ayyer, A. Prasad, S. Spallone. "Odd partitions in Young's lattice". arXiv:1601.01776, 2016. (Структурные свойства нечётных разбиений)

13 K. Davis, W. Webb. "Pascal's Triangle modulo 4". Fibonacci Quarterly, 1989. (Источник статистики D(n))

Рекомендуемые оценки:

• Инновационность: 8/10 (новые инструменты и методы, но сама проблема узкоспециализирована)
• Техническая глубина: 9/10 (строгие доказательства, сложная техника)
• Полнота: 7/10 (решены только частные случаи)
• Влияние: 7/10 (важно для специалистов, но узкое применение)
• Читаемость: 8/10 (ясное изложение, хорошие примеры)

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