О некоторых предположительных суперсравнениях, связанных с последовательностью $t_n(x)$

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

• ID статьи: 2510.11338
• Название: On some conjectural supercongruences involving the sequence $t_n(x)$
• Авторы: Hui-Li Han, Chen Wang
• Классификация: math.NT (Теория чисел), math.CO (Комбинаторика)
• Дата публикации: 13 октября 2025 г.
• Ссылка на статью: https://arxiv.org/abs/2510.11338

Аннотация

В данной работе исследуются суперсравнения, связанные с последовательностью $t_n(x)=\sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{x+k}{k}2^k$, и решаются некоторые открытые проблемы. Для произвольного нечётного простого числа $p$ и $p$-адического целого $x$ авторы определяют значения $\sum_{n=0}^{p-1}t_n(x)^2$ и $\sum_{n=0}^{p-1}(n+1)t_n(x)^2$ по модулю $p^2$. В частности, доказано:

$\sum_{n=0}^{p-1}t_n(x)^2\equiv\begin{cases} \left(\dfrac{-1}{p}\right)\pmod{p^2},&\text{если }2x\equiv-1\pmod{p},\\[8pt] \\ (-1)^{\langle x\rangle_p}\dfrac{p+2(x-\langle x\rangle_p)}{2x+1}\pmod{p^2},&\text{в остальных случаях,} \end{cases}$

где $\langle x\rangle_p$ обозначает наименьший неотрицательный остаток $x$ по модулю $p$. Это подтверждает одно из предположений Чжи Вэя Суня.

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

1. Источник проблемы: Исследование берёт начало в работе Кимото и Вакаямы 2006 года по изучению специальных значений спектральных дзета-функций, в которой были введены числа типа Апери: $J̃_2(n) := \sum_{k=0}^n \binom{n}{k}(-1)^k\binom{-1/2}{k}^2$
2. Теоретическая значимость: Суперсравнения являются важным объектом исследования в теории чисел, особенно суперсравнения, связанные с биномиальными коэффициентами, имеют глубокие связи с теорией специальных функций, модулярными формами и другими разделами математики.
3. Ограничения существующих работ: Хотя Лонг, Осборн и Свишер в 2016 году подтвердили гипотезу Кимото-Вакаямы, для более общих полиномиальных последовательностей $S_n(x,y)$ остаётся много нерешённых проблем, связанных со свойствами суперсравнений.
4. Исследовательская мотивация: Чжи Вэй Сунь ввёл полиномиальную последовательность $S_n(x,y) := \sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{-1-x}{k}y^k$ и выдвинул несколько гипотез о частном случае $t_n(x) = S_n(x,-2)$. Данная работа направлена на решение этих открытых проблем.

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

1. Доказательство основной гипотезы Суня: Полностью определены значения $\sum_{n=0}^{p-1}t_n(x)^2$ по модулю $p^2$ (теорема 1.1)
2. Установление суперсравнений для взвешенных сумм: Получены точные формулы для $\sum_{n=0}^{p-1}(n+1)t_n(x)^2$ по модулю $p^2$ (теорема 1.2)
3. Решение четырёх конкретных гипотез о суперсравнениях: Подтверждены гипотезы 1.1 Суня, связанные со специальными значениями параметров (следствие 1.1)
4. Открытие важных комбинаторных тождеств: Установлены замкнутые формулы для двух двойных сумм, которые имеют самостоятельную ценность

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

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

Исследовательская задача состоит в определении точных значений по модулю $p^2$ сумм $\sum_{n=0}^{p-1}t_n(x)^2$ и $\sum_{n=0}^{p-1}(n+1)t_n(x)^2$, связанных с последовательностью $t_n(x) = \sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{x+k}{k}2^k$, где $p$ — нечётное простое число, а $x$ — $p$-адическое целое.

Основные технические методы

1. Техника $p$-адического разложения

Ключевая лемма 2.1 даёт $p$-адическое разложение $\binom{x}{k}\binom{x+k}{k}$:

Для $m = \langle x \rangle_p \leq (p-1)/2$:

• При $0 \leq k \leq m$: $\binom{x}{k}\binom{x+k}{k} \equiv \binom{m}{k}\binom{m+k}{k}(1 + ptH_{m+k} - ptH_{m-k}) \pmod{p^2}$
• При $p-m \leq k \leq p-1$: $\binom{x}{k}\binom{x+k}{k} \equiv 0 \pmod{p^2}$

2. Установление комбинаторных тождеств

Посредством интегрального представления через бета-функцию и преобразования Пфаффа доказаны ключевые формулы двойных сумм:

Лемма 2.2: $\sum_{k=0}^n\sum_{l=0}^n\binom{n}{k}\binom{n+k}{k}\binom{n}{l}\binom{n+l}{l}\frac{(-2)^{k+l}}{(k+l+1)\binom{k+l}{k}} = \frac{(-1)^n}{2n+1}$

Лемма 3.2: $\sum_{k=0}^n\sum_{l=0}^n\binom{n}{k}\binom{n+k}{k}\binom{n}{l}\binom{n+l}{l}\frac{(-2)^{k+l}}{\binom{k+l+2}{k+1}} = \frac{1}{4} - \frac{(-1)^n(2n^2+2n-1)}{8n+4}$

3. Стратегия разбора случаев

В зависимости от соотношения $m = \langle x \rangle_p$ и $(p-1)/2$ доказательство разделяется на три случая:

• Случай 1: $m < (p-1)/2$
• Случай 2: $m > (p-1)/2$
• Случай 3: $m = (p-1)/2$

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

1. Искусное разложение сумм: Сложная двойная сумма разлагается на девять подсумм $\sigma_1, \ldots, \sigma_9$, упрощаемых с использованием симметрии и $p$-адических свойств
2. Метод интегрального представления через бета-функцию: Инновационное применение интегрального представления через бета-функцию для обработки сумм, содержащих обратные биномиальные коэффициенты
3. Искусная обработка гармонических чисел: Введение гармонических чисел $H_n = \sum_{k=1}^n 1/k$ в $p$-адическое разложение для эффективного контроля членов высшего порядка

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

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

Поскольку это чистое математическое теоретическое исследование, «эксперименты» проявляются в следующем:

1. Верификация специальных значений: Проверка общих формул путём вычисления конкретных случаев для малых простых чисел
2. Проверка граничных условий: Верификация корректности формул при граничных условиях
3. Согласованность с известными результатами: Обеспечение соответствия новых результатов известным связанным суперсравнениям

Установка ключевых параметров

• Простое число $p$: нечётное простое число ($p \geq 3$)
• $p$-адическое целое $x$: представляется как $x = m + pt$, где $m = \langle x \rangle_p \in \{0,1,\ldots,p-1\}$
• Специальные значения: $x = -1/2, -1/3, -1/4, -1/6$

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

Результаты основных теорем

Теорема 1.1 (Доказательство гипотезы Суня): $\sum_{n=0}^{p-1}t_n(x)^2 \equiv \begin{cases} \left(\dfrac{-1}{p}\right) \pmod{p^2}, & \text{если } 2x \equiv -1 \pmod{p} \\ (-1)^{\langle x\rangle_p}\dfrac{p+2(x-\langle x\rangle_p)}{2x+1} \pmod{p^2}, & \text{в остальных случаях} \end{cases}$

Теорема 1.2 (Формула для взвешенной суммы): Для $x \not\equiv -1/2 \pmod{p}$: $\sum_{n=0}^{p-1}(n+1)t_n(x)^2 \equiv \frac{p}{4} - \frac{(-1)^{\langle x\rangle_p}(2x^2+2x-1)(p+2(x-\langle x\rangle_p))}{8x+4} \pmod{p^2}$

Для $x \equiv -1/2 \pmod{p}$: $\sum_{n=0}^{p-1}(n+1)t_n(x)^2 \equiv \frac{p}{4} + \frac{3}{8}\left(\dfrac{-1}{p}\right) \pmod{p^2}$

Верификация конкретных приложений

Следствие 1.1 подтверждает четыре конкретных случая гипотезы 1.1 Суня:

1. $\sum_{n=0}^{p-1}(8n+5)t_n(-1/2)^2 \equiv 2p \pmod{p^2}$
2. $\sum_{n=0}^{p-1}(32n+21)t_n(-1/4)^2 \equiv 8p \pmod{p^2}$
3. $\sum_{n=0}^{p-1}(18n+7)t_n(-1/3)^2 \equiv 0 \pmod{p^2}$ (при $p > 3$)
4. $\sum_{n=0}^{p-1}(72n+49)t_n(-1/6)^2 \equiv 18p \pmod{p^2}$

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

Историческое развитие

1. Исследование чисел типа Апери: Начало положено Кимото и Вакаямой (2006) при изучении спектральных дзета-функций неккоммутативного гармонического осциллятора
2. Теория суперсравнений: Лонг, Осборн и Свишер (2016) доказали исходную гипотезу Кимото-Вакаямы
3. Вклад Чжи Вэя Суня: Введение более общей полиномиальной последовательности и систематическое выдвижение гипотез
4. Недавний прогресс: Ван-Ван доказали суперсравнения по модулю $p^3$ для последовательности $s_n(x)$, Лю доказал расширения по модулю $p^4$

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

1. Первое полное решение основной проблемы суперсравнений для последовательности $t_n(x)$
2. Установление единой теоретической базы, охватывающей множество специальных случаев
3. Разработка новых технических методов, особенно техник обработки двойных сумм

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

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

1. Полное определение базовых суперсравнений: Получены точные формулы для $\sum_{n=0}^{p-1}t_n(x)^2$ по модулю $p^2$
2. Установление теории взвешенных сумм: Решены суперсравнения, связанные с весом $(n+1)$
3. Верификация множества конкретных гипотез: Предоставлены новые примеры для теории чисел типа Апери

Теоретическая значимость

1. Обогащение теории суперсравнений: Добавлены важные новые результаты в активно развивающуюся область исследований
2. Развитие вычислительных техник: Методы интегрального представления через бета-функцию и техники $p$-адического разложения имеют широкую применимость
3. Связь различных разделов математики: Органическое объединение комбинаторики, теории чисел и теории специальных функций

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

1. Расширение на высшие порядки модуля: Исследование суперсравнений по модулям $p^3, p^4$
2. Рассмотрение более общих параметров: Изучение других специальных значений $S_n(x,y)$
3. Алгоритмическая реализация: Разработка эффективных вычислительных методов для верификации случаев больших простых чисел

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

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

1. Значительный теоретический вклад: Полное решение важной гипотезы Суня, продвижение развития теории суперсравнений
2. Сильная методологическая инновационность: Методы интегрального представления через бета-функцию и искусные техники разложения сумм демонстрируют высокий уровень математического мастерства
3. Строгое и полное доказательство: Посредством тщательного разбора случаев и точного $p$-адического анализа предоставлено полностью строгое доказательство
4. Универсальность результатов: Установленные формулы применимы ко всем нечётным простым числам и общим $p$-адическим целым параметрам

Технические достижения

1. Замкнутые формулы для двойных сумм: Доказательства лемм 2.2 и 3.2 демонстрируют глубокие комбинаторные идеи
2. Искусное использование симметрии: Применение симметрии $t_n(x) = t_n(-1-x)$ упрощает обработку случая $m > (p-1)/2$
3. Точный контроль гармонических чисел: Обработка членов с гармоническими числами в $p$-адическом разложении отражает высокий технический уровень

Ограничения

1. Ограничение на нечётные простые числа: Методы неприменимы к простому числу 2, требуется отдельная обработка
2. Ограничение модулем $p^2$: Хотя решена основная проблема, случаи высших порядков модуля остаются предметом будущих исследований
3. Вычислительная сложность: Для больших простых чисел практическая верификация остаётся сложной

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

1. Высокая академическая ценность: Решение важной открытой проблемы в этой области несомненно привлечёт широкое внимание
2. Переносимость методов: Разработанные технические методы имеют значение для решения связанных проблем
3. Теоретическая полнота: Предоставлено важное теоретическое дополнение к теории суперсравнений для чисел типа Апери

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

1. Исследования в теории чисел: Предоставлены новые инструменты и примеры для изучения суперсравнений биномиальных коэффициентов
2. Комбинаторная математика: Методы обработки двойных сумм имеют справочную ценность для исследований комбинаторных тождеств
3. Теория специальных функций: Потенциальные связи с исследованиями гипергеометрических функций и модулярных форм

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

Статья цитирует 16 важных источников, включая:

1. Andrews, Askey, Roy: «Special Functions» — классический учебник по теории специальных функций
2. Kimoto, Wakayama (2006): Исходная работа, вводящая числа типа Апери
3. Long, Osburn, Swisher (2016): Важная статья, доказывающая гипотезу Кимото-Вакаямы
4. Sun (2017): Исходная статья, содержащая гипотезы, решённые в данной работе
5. Wang, Wang (2025): Последние исследования связанных суперсравнений

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