2025-11-30T01:52:18.972218

Arithmetic Properties of Partitions with 1-colored Even Parts and r-colored Odd Parts

Thejitha, Fathima
Recently, Hirschhorn and Sellers defined the partition function $a_r(n)$, which counts the number of partitions of $n$ wherein even parts come in only one color, while the odd parts may appear in one of $r$-colors for fixed $r\ge1$. The aim of this paper is to prove several new infinite families of congruences modulo 3 and 5 by employing a result of Newman and theory of modular forms.
academic

Арифметические свойства разбиений с одноцветными чётными частями и r-цветными нечётными частями

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

  • ID статьи: 2509.24324
  • Название: Arithmetic Properties of Partitions with 1-colored Even Parts and r-colored Odd Parts
  • Авторы: M. P. Thejitha и S. N. Fathima
  • Классификация: math.NT (Теория чисел)
  • Дата публикации: 18 ноября 2025 г. (arXiv v2)
  • Учреждение: Ramanujan School of Mathematical Sciences, Pondicherry University, Индия
  • Ссылка на статью: https://arxiv.org/abs/2509.24324

Аннотация

В данной работе исследуется функция разбиений ar(n)a_r(n), определённая Хиршхорном и Селлерсом, которая подсчитывает количество разбиений натурального числа nn, где чётные части имеют только один цвет, а нечётные части могут иметь rr цветов (при фиксированном r≥1r\ge1). Используя теорему Ньюмена и теорию модулярных форм, авторы доказывают несколько новых бесконечных семейств сравнений по модулям 3 и 5.

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

Исследуемые проблемы

Данная работа посвящена арифметическим свойствам целочисленных разбиений, в частности свойствам сравнений функций цветных разбиений. Конкретно:

  1. Исследование сравнений функции ar(n)a_r(n) на специфических арифметических прогрессиях
  2. Доказательство новых семейств сравнений по модулям 3 и 5
  3. Обобщение и расширение существующих результатов о сравнениях

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

  1. Естественное обобщение классической задачи: Целочисленные разбиения являются центральной проблемой комбинаторной теории чисел. Классические сравнения Рамануджана (такие как p(5n+4)≡0(mod5)p(5n+4)\equiv 0 \pmod{5}) положили начало исследованиям сравнений разбиений
  2. Теоретическая ценность цветных разбиений: a1(n)=p(n)a_1(n)=p(n) (классическая функция разбиений), a2(n)=pˉ(n)a_2(n)=\bar{p}(n) (сверхразбиения), a3(n)a_3(n) (разбиения с трёхцветными нечётными частями) и другие частные случаи связывают несколько важных комбинаторных объектов
  3. Методологическое значение: Комбинирование теоремы Ньюмена и теории модулярных форм предоставляет систематический метод для исследования подобных задач

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

  1. Хиршхорн и Селлерс 6 в основном использовали тета-функциональные тождества и qq-рядовые методы, доказав ограниченное количество сравнений по модулю 7
  2. Амдебергхан и Мерка 1 использовали компьютерную алгебраическую систему пакет RaduRK, но метод зависит от специфического программного обеспечения
  3. Отсутствует систематическая теоретическая база для доказательства бесконечных семейств сравнений

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

Авторы стремятся:

  1. Расширить известный список сравнений, особенно для случаев по модулям 3 и 5
  2. Применить классическую теорему Ньюмена для получения чисто теоретических доказательств
  3. Объединить теорию модулярных форм (теорему Штурма, операторы Гекке) для предоставления множественных методов доказательства

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

Основные вклады данной работы включают:

  1. Семейства сравнений по модулю 5 (a3(n)a_3(n)): Доказаны бесконечные семейства сравнений для a3(n)a_3(n), включая:
    • Основная теорема сравнения (теорема 3.1): для простого числа p≥5p\geq 5 на специфических арифметических прогрессиях a3(n)≡0(mod5)a_3(n)\equiv 0 \pmod{5}
    • Рекурсивные сравнения: самоподобные отношения сравнения при p=5p=5
  2. Семейства сравнений по модулю 3 (at(n)a_t(n)): для t∈{5,8,11,14,17,20,23,26}t\in\{5,8,11,14,17,20,23,26\} доказаны систематические сравнения по модулю 3 (теоремы 4.1-4.12)
  3. Метод модулярных форм: Использование теоремы Штурма и операторов Гекке для доказательства новых сравнений для a5(n)a_5(n) (теоремы 5.1-5.2):
    • a5(32α+3n+153⋅32α−18)≡0(mod3)a_5(3^{2\alpha+3}n + \frac{153\cdot 3^{2\alpha}-1}{8})\equiv 0 \pmod{3}
    • a5(5n+3)≡0(mod5)a_5(5n+3)\equiv 0 \pmod{5}
  4. Методологический вклад: Демонстрация систематического применения теоремы Ньюмена к сравнениям разбиений, предоставление обобщаемой схемы доказательства

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

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

Входные данные: натуральное число nn и параметр цвета rr
Выходные данные: определение того, удовлетворяет ли ar(n)a_r(n) отношению сравнения на специфической арифметической прогрессии
Ограничения: отношение сравнения должно выполняться для всех nn, удовлетворяющих условиям

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

1. Теорема Ньюмена (лемма 2.2)

Это основной инструмент данной работы. Для различных простых чисел pp и qq, а также целых чисел rr и ss, удовлетворяющих специфическим условиям, определим φ(τ)=∏n=1∞(1−xn)r(1−xnq)s=∑n=0∞c(n)xn\varphi(\tau) = \prod_{n=1}^{\infty}(1-x^n)^r(1-x^{nq})^s = \sum_{n=0}^{\infty}c(n)x^n

Теорема Ньюмена даёт трёхчленное рекуррентное соотношение: c(np2+Δ)−γc(n)+p2ϵ−2c(n−Δp2)=0c(np^2+\Delta) - \gamma c(n) + p^{2\epsilon-2}c\left(\frac{n-\Delta}{p^2}\right) = 0

где:

  • γ=p2ϵ−2α−(θp)Lpϵ−3/2(n−Δp)L\gamma = p^{2\epsilon-2}\alpha - \left(\frac{\theta}{p}\right)_L p^{\epsilon-3/2}\left(\frac{n-\Delta}{p}\right)_L
  • θ=(−1)1/2−ϵ2qs\theta = (-1)^{1/2-\epsilon}2^{qs}
  • Δ=t(p2−1)\Delta = t(p^2-1)
  • (⋅)L(\cdot)_L обозначает символ Лежандра

2. Теория модулярных форм

  • Функция Дедекинда эта: η(z)=q1/24∏n=1∞(1−qn)\eta(z) = q^{1/24}\prod_{n=1}^{\infty}(1-q^n), где q=e2πizq=e^{2\pi iz}
  • Критерий дискриминанта эта-частного (теорема 2.3): определение, когда эта-частное является модулярной формой
  • Теорема Штурма (теорема 2.4): предоставление конечной вычислительной границы для проверки сравнений по модулю
  • Операторы Гекке (определение 2.5): использование для извлечения коэффициентов на специфических арифметических прогрессиях

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

Инновация 1: Систематическое применение теоремы Ньюмена

Авторы применяют теорему Ньюмена к производящей функции: ∑n=0∞ar(n)qn=f2r−1f1r\sum_{n=0}^{\infty}a_r(n)q^n = \frac{f_2^{r-1}}{f_1^r}

Посредством тщательного выбора параметров они переписывают её в форме, пригодной для применения теоремы Ньюмена, затем:

  1. Устанавливают рекуррентное соотношение
  2. Вычисляют ключевой параметр ξ(p)\xi(p)
  3. Классифицируют обсуждение в соответствии с остатком ξ(p)\xi(p) по модулю простого числа
  4. Посредством математической индукции устанавливают бесконечные семейства сравнений

Определение ключевого параметра ξ(p)\xi(p) (на примере a3(n)a_3(n)): ξ(p):=c(5(p2−1)24)+(5(p2−1)/12p)L\xi(p) := c\left(\frac{5(p^2-1)}{24}\right) + \left(\frac{5(p^2-1)/12}{p}\right)_L

Определение периода рекуррентности ω(p)\omega(p): в соответствии со свойствами ξ(p)\xi(p) и pp, ω(p)∈{4,6,8,10,12}\omega(p)\in\{4,6,8,10,12\}

Инновация 2: Дополнение методом модулярных форм

Для случаев, которые метод Ньюмена не обрабатывает легко, авторы конструируют специфические эта-частные модулярные формы, используя:

  • Операторы Гекке для извлечения подпоследовательностей
  • Границу Штурма для проверки сравнений (посредством вычислений в Mathematica)
  • Самоподобие для установления бесконечных семейств

Например, для теоремы 5.1 конструируется: f1(z)=η4(2z)η5(z)η189(z)∈M94(Γ0(4),χ)f_1(z) = \frac{\eta^4(2z)}{\eta^5(z)}\eta^{189}(z) \in M_{94}(\Gamma_0(4),\chi)

Посредством применения оператора T3T_3 три раза и проверки границы Штурма (47) доказывается справедливость сравнения.

Инновация 3: Единая схема доказательства

Для восьми случаев t∈{5,8,11,14,17,20,23,26}t\in\{5,8,11,14,17,20,23,26\} авторы предоставляют единую стратегию доказательства:

  1. Идентификация подходящей производящей функции (из работы Селлерса 14)
  2. Применение теоремы Ньюмена для установления рекуррентности
  3. Определение соответствующего параметра ξi(p)\xi_i(p)
  4. Классификация обсуждения в соответствии с единой схемой

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

Вычислительные инструменты

  • Mathematica: для символических вычислений и проверки коэффициентов Фурье
  • Диапазон проверки: вычисления до границы Штурма для обеспечения справедливости сравнения

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

  1. Проверка методом Ньюмена: посредством алгебраического вывода рекуррентных соотношений
  2. Проверка методом модулярных форм:
    • Конструирование эта-частного и проверка его принадлежности к модулярным формам
    • Вычисление границы Штурма (например, 47 в теореме 5.1, 11 в теореме 5.2)
    • Проверка коэффициентов Фурье в Mathematica до границы Штурма на предмет сравнения

Конкретные примеры

Проверка теоремы 3.1 (замечание 3.2):

  • Выбор p=11p=11, k=0k=0
  • Вычисление ξ(11)≡1(mod5)\xi(11)\equiv 1 \pmod{5}
  • Когда n≡1,4,6,7,8(mod11)n\equiv 1,4,6,7,8 \pmod{11}, условие символа Лежандра выполняется
  • Получение конкретного сравнения: a3(6655n+605j+126)≡0(mod5)a_3(6655n+605j+126)\equiv 0 \pmod{5}, где j∈{1,4,6,7,8}j\in\{1,4,6,7,8\}

Проверка теоремы 4.12 (замечание 4.13):

  • ξ12(5)≡0(mod3)\xi_{12}(5)\equiv 0 \pmod{3}: a26(1875n+375j+624)≡0(mod3)a_{26}(1875n+375j+624)\equiv 0 \pmod{3}, j∈{1,2,3,4}j\in\{1,2,3,4\}
  • ξ12(7)≡2(mod3)\xi_{12}(7)\equiv 2 \pmod{3}: a26(1029n+147l+48)≡0(mod3)a_{26}(1029n+147l+48)\equiv 0 \pmod{3}, l∈{0,5}l\in\{0,5\}

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

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

Результат 1: Сравнения по модулю 5 для a3(n)a_3(n) (теорема 3.1)

Для простого числа p≥5p\geq 5 определим периодическую функцию ω(p)\omega(p):

4, & \text{если } \xi(p)\equiv 0 \pmod{5}\\ 6, & \text{если } \xi(p)\equiv \pm 1 \pmod{5}, p\equiv 1 \pmod{5} \text{ или } \xi(p)\equiv \pm 2, p\equiv 4\\ 8, & \text{если } \xi(p)\equiv \pm 2, p\equiv 2 \pmod{5} \text{ или } \xi(p)\equiv \pm 1, p\equiv 3\\ 10, & \text{если } \xi(p)\equiv \pm 2, p\equiv 1 \pmod{5} \text{ или } \xi(p)\equiv \pm 1, p\equiv 4\\ 12, & \text{если } \xi(p)\equiv \pm 1, p\equiv 2 \pmod{5} \text{ или } \xi(p)\equiv \pm 2, p\equiv 3 \end{cases}$$ **Основная теорема**: если $p\nmid n$, то $$a_3\left(5p^{\omega(p)(k+1)-1}n + \frac{25p^{\omega(p)(k+1)}-1}{24}\right) \equiv 0 \pmod{5}$$ **Частный случай** ($p=5$): $$a_3\left(\frac{25\cdot 5^{2(k+1)}n + 25\cdot 5^{2(k+2)}-1}{24}\right) \equiv 2^{k+1}a_3(25n+26) \pmod{5}$$ #### Результат 2: Сравнения по модулю 3 для $a_t(n)$ (теоремы 4.1-4.12) Для $t\in\{5,8,11,14,17,20,23,26\}$ доказаны бесконечные семейства сравнений аналогичной структуры. **Репрезентативный результат** (теорема 4.1, $a_5(n)$): $$a_5\left(3p^{\omega(p)(k+1)-1}n + \frac{9p^{\omega(p)(k+1)}-1}{8}\right) \equiv 0 \pmod{3}$$ где $\omega(p)\in\{4,6,8\}$ зависит от свойств $\xi_1(p)$ и $p$. #### Результат 3: Сравнения на основе модулярных форм (теоремы 5.1-5.2) **Теорема 5.1** (самоподобное сравнение): $$a_5\left(3^{2\alpha+3}n + \frac{153\cdot 3^{2\alpha}-1}{8}\right) \equiv 0 \pmod{3}$$ справедливо для всех $n,\alpha\geq 0$. **Теорема 5.2** (простое сравнение): $$a_5(5n+3) \equiv 0 \pmod{5}$$ ### Анализ результатов 1. **Систематичность**: все сравнения принадлежат бесконечным семействам, а не являются изолированными результатами 2. **Вычислимость**: для данного простого числа $p$ можно явно вычислить период и классы остатков сравнения 3. **Разнообразие**: значения периода $\omega(p)$ зависят от тонких свойств $p$ и $\xi(p)$, демонстрируя богатую арифметическую структуру ### Конкретные числовые примеры Из замечаний 3.2 и 4.13: - $a_3(6655n+606)\equiv 0 \pmod{5}$ (один из случаев $p=11$) - $a_{26}(1875n+624)\equiv 0 \pmod{3}$ (один из случаев $p=5$) - $a_{26}(1029n+48)\equiv 0 \pmod{3}$ (один из случаев $p=7$) ## Связанные работы ### Классические сравнения разбиений 1. **Сравнения Рамануджана**: - $p(5n+4)\equiv 0 \pmod{5}$ - $p(7n+5)\equiv 0 \pmod{7}$ - $p(11n+6)\equiv 0 \pmod{11}$ 2. **Спектр исследований цветных разбиений**: - $a_1(n)=p(n)$: классическая функция разбиений - $a_2(n)=\bar{p}(n)$: сверхразбиения (Кортель-Лавджой [3]) - $a_3(n)$: исследование Амдебергхана-Мерки [1] ### Непосредственно связанные работы 1. **Хиршхорн-Селлерс [6]**: - Определение семейства функций $a_r(n)$ - Использование тета-функций для доказательства пяти сравнений по модулю 7: * $a_1(7n+5)\equiv 0 \pmod{7}$ * $a_3(7n+2)\equiv 0 \pmod{7}$ * $a_4(7n+4)\equiv 0 \pmod{7}$ * $a_5(7n+6)\equiv 0 \pmod{7}$ * $a_7(7n+3)\equiv 0 \pmod{7}$ 2. **Амдебергхан-Мерка [1]**: - Использование пакета программного обеспечения RaduRK для доказательства $a_3(7n+2)\equiv 0 \pmod{7}$ - Предоставление сложной производящей функции для $a(7n+2)$ (теорема 1.1) 3. **Селлерс [14]**: - Предоставление восьми производящих функциональных сравнений в лемме 2.9 - Эти сравнения являются отправной точкой для теорем 4.1-4.12 4. **Гвадалупе [5]**: - Предоставление леммы 2.8: $\sum a_3(5n+1)q^n\equiv 3f_1f_2^2 \pmod{5}$ ### Методологически связанные работы 1. **Ньюман [10,11]**: - Установление теории мультипликативных свойств коэффициентов модулярных форм в 1959-1962 годах - Теорема 2.2 является основным инструментом данной работы 2. **Теория модулярных форм**: - Гордон-Хьюз [4], Лигозат [9]: критерий дискриминанта эта-частного - Штурм [17]: конечная граница для проверки сравнений - Оно [12]: комплексная теория модулярных форм и $q$-рядов ### Преимущества данной работы 1. **Метод доказательства**: чисто теоретические доказательства, не зависящие от чёрного ящика компьютерной алгебраической системы 2. **Диапазон результатов**: систематическая обработка случаев по модулям 3 и 5, в то время как предшественники сосредоточивались в основном на модуле 7 3. **Бесконечные семейства**: не изолированные сравнения, а параметризованные бесконечные семейства 4. **Множественные методы**: комбинирование теоремы Ньюмена и теории модулярных форм, демонстрирующее взаимодополняемость методов ## Заключение и обсуждение ### Основные выводы 1. **Теоретический вклад**: доказательство нескольких новых бесконечных семейств сравнений для функции $a_r(n)$, значительно расширяющих список результатов Хиршхорна-Селлерса 2. **Методологические результаты**: - Систематическое применение теоремы Ньюмена к цветным разбиениям - Метод модулярных форм (теорема Штурма + операторы Гекке) как дополнительный инструмент - Эффективное комбинирование двух методов 3. **Конкретные результаты**: - $a_3(n)$: полная теория сравнений по модулю 5 (теорема 3.1) - $a_t(n)$ ($t\in\{5,8,11,14,17,20,23,26\}$): систематические сравнения по модулю 3 (теоремы 4.1-4.12) - $a_5(n)$: новые сравнения по модулям 3 и 5 (теоремы 5.1-5.2) ### Ограничения 1. **Вычислительная зависимость**: - Доказательства теорем 5.1-5.2 требуют проверки границы Штурма в Mathematica - Хотя теоретически проверяемо, практически требуется инструмент символических вычислений 2. **Применимость метода**: - Теорема Ньюмена требует, чтобы производящая функция имела специфическую форму - Не все $a_r(n)$ могут быть непосредственно применены (например, при некоторых специальных значениях $r$) 3. **Ограничение модулей**: - Основное внимание сосредоточено на модулях 3 и 5 - Систематическая теория для модуля 7 и больших простых чисел ещё не разработана 4. **Явные формулы**: - Параметры арифметических прогрессий сравнений (такие как $\omega(p)$) требуют вычисления через $\xi(p)$ - Отсутствует замкнутая формула для $\omega(p)$ ### Направления будущих исследований Направления исследований, подразумеваемые статьёй: 1. **Большие модули**: - Исследование сравнений по модулям 7, 11 и другим большим простым числам - Хиршхорн-Селлерс уже имеют частичные результаты по модулю 7, которые можно систематизировать с использованием методов данной работы 2. **Дополнительные параметры цвета**: - Расширение на другие значения $r$ - Поиск общей связи между $r$ и свойствами сравнений 3. **Другие арифметические функции**: - Применение методов к связанным функциям разбиений (таким как ранг, ранг-кранк и т.д.) - Исследование более общих цветных разбиений 4. **Углубление теории**: - Понимание числотеоретического смысла $\omega(p)$ - Установление более глубокой связи между $\xi(p)$ и модульными свойствами $p$ ## Глубокая оценка ### Преимущества #### 1. Методологические инновации - **Искусное применение теоремы Ньюмена**: авторы систематически применяют классическую теорему Ньюмена к современным проблемам цветных разбиений, демонстрируя долговечную ценность классических инструментов - **Взаимодополняемость методов**: комбинирование метода Ньюмена (разделы 3-4) и метода модулярных форм (раздел 5) демонстрирует парадигму многоугольного подхода к решению проблем в теории чисел #### 2. Систематичность результатов - Не изолированные открытия сравнений, а параметризованные бесконечные семейства - Предоставление единой схемы для восьми различных функций $a_t(n)$ (теоремы 4.1-4.12) - Ясная классификация обсуждения (пять случаев для $\omega(p)$) #### 3. Техническая строгость - Полные и строгие доказательства, особенно трёхчастное доказательство теоремы 3.1 - Правильное применение математической индукции - Тонкий анализ символа Лежандра #### 4. Проверяемость - Предоставление конкретных числовых примеров (замечания 3.2, 4.13) - Явное указание диапазона вычислительной проверки (граница Штурма) - Результаты могут быть независимо проверены ### Недостатки #### 1. Представление и изложение - **Повторяемость**: формулировки теорем 4.2-4.12 высоко похожи, авторы выбрали "пропустить подробные доказательства", но полное изложение 12 теорем кажется избыточным - **Нагрузка символики**: введение большого количества обозначений ($\xi_1,\ldots,\xi_{12}$) влияет на читаемость - **Отсутствие визуализации**: нет диаграмм, показывающих распределение сравнений или закономерности в $\omega(p)$ #### 2. Теоретическая глубина - **Свойства $\omega(p)$**: отсутствует глубокое исследование причин, по которым $\omega(p)$ принимает специфические значения, недостаёт числотеоретического объяснения - **Единая теория**: хотя метод единообразен, не предложена общая теорема, охватывающая все $r$ - **Оптимальность**: не обсуждается, являются ли полученные семейства сравнений оптимальными в каком-либо смысле #### 3. Вычислительные аспекты - **Зависимость от Mathematica**: доказательства теорем 5.1-5.2 по сути являются "компьютерно-вспомогательными доказательствами" - **Эффективность алгоритма**: не обсуждается алгоритмическая сложность вычисления $\xi(p)$ и проверки сравнений - **Случай больших $p$**: для больших простых чисел $p$ вычислительная проверка может стать затруднительной #### 4. Приложения и обобщения - **Практические приложения**: отсутствует обсуждение применения этих сравнений в комбинаторике или других областях - **Связь с другими тождествами разбиений**: недостаёт связи с тождествами типа Роджерса-Рамануджана и т.д. - **Вероятностная интерпретация**: сравнения разбиений иногда имеют вероятностную или статистическую интерпретацию, которая не рассматривается ### Оценка влияния #### Вклад в область 1. **Расширение границ знаний**: значительное увеличение известных сравнений для $a_r(n)$ 2. **Методологическая ценность**: предоставление воспроизводимой схемы доказательства для последующих исследователей 3. **Связь классического и современного**: соединение работ Ньюмена 1960-х годов с исследованиями цветных разбиений XXI века #### Практическая ценность 1. **Теоретические инструменты**: доказанные сравнения могут служить леммами при исследовании связанных функций разбиений 2. **Алгоритмические приложения**: отношения сравнения могут ускорить некоторые алгоритмы подсчёта разбиений 3. **Образовательная ценность**: демонстрация конкретного применения теоремы Ньюмена и теории модулярных форм #### Воспроизводимость - **Высокая**: подробные доказательства, ясные методы - **Средняя** (вычислительная часть): требуется Mathematica или аналогичный инструмент - Ключевые производящие функциональные сравнения (леммы 2.8-2.9) зависят от других источников ### Применимые сценарии 1. **Прямое применение**: - Исследование свойств сравнений функции $a_r(n)$ и связанных функций цветных разбиений - Доказательство комбинаторных тождеств, включающих эти функции 2. **Методологическое заимствование**: - Другие функции разбиений с аналогичными производящими функциями (такие как $q$-гипергеометрические ряды) - Исследование арифметических свойств коэффициентов модулярных форм 3. **Направления обобщения**: - Многопараметрические цветные разбиения - Разбиения с ограничениями (такие как различные части, упорядоченные части и т.д.) - Статистики разбиений, такие как ранг, ранг-кранк и т.д. ### Технические особенности 1. **Установление рекуррентных соотношений** (доказательство теоремы 3.1): - От общей формы теоремы Ньюмена (3.7) - Через установку $n=0$ для определения $\alpha$ (3.9-3.10) - Переписывание в форму, пригодную для индукции (3.11-3.12) - Эта техника может быть обобщена на другие задачи 2. **Искусное использование символа Лежандра**: - Играет ключевую роль в классификации обсуждения - Связывает теорию чисел (квадратичные остатки) и комбинаторику (сравнения разбиений) 3. **Применение операторов Гекке** (теорема 5.1): - Через $T_3^3$ извлечение коэффициентов $a_5(27n+19)$ - Комбинирование с границей Штурма для реализации конечной проверки - Демонстрация вычислительной мощи теории модулярных форм ## Библиография Ключевые источники включают: 1. **[1] Амдебергхан и Мерка (2025)**: введение $a_3(n)$ и доказательство сравнений по модулю 7 2. **[6] Хиршхорн и Селлерс (2025)**: определение семейства функций $a_r(n)$ 3. **[11] Ньюман (1962)**: источник основного инструмента — теоремы 2.2 4. **[12] Оно (2004)**: *The Web of Modularity*, стандартный справочник по теории модулярных форм 5. **[14] Селлерс (2025)**: предоставление производящих функциональных сравнений леммы 2.9 6. **[17] Штурм (2006)**: оригинальная литература теоремы Штурма --- ## Резюме Данная работа является технически строгой статьёй по теории чисел, которая посредством искусного применения классической теоремы Ньюмена и современной теории модулярных форм систематически доказывает несколько бесконечных семейств сравнений для функций цветных разбиений $a_r(n)$. Основные преимущества — систематичность методов и полнота результатов, обеспечивающие значительный теоретический вклад в область разбиений и приложений модулярных форм. Основные недостатки — повторяемость некоторого содержания и недостаточная теоретическая глубина. В целом, это высококачественная профессиональная статья по теории чисел, обеспечивающая существенный прогресс как в теории разбиений, так и в приложениях модулярных форм.