Эффективная аналитическая рекуррентность для простых чисел

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

• ID статьи: 2508.02690
• Название: An effective analytic recurrence for prime numbers
• Автор: Benoit Cloitre
• Классификация: math.NT (Теория чисел), math.HO (История и обзор)
• Дата публикации: 12 октября 2025 г. (arXiv v2)
• Ссылка на статью: https://arxiv.org/abs/2508.02690v2

Аннотация

Формула Голомба-Келлера выражает следующее простое число $p_{n+1}$ через первые $n$ простых чисел $p_1, \ldots, p_n$ посредством рекуррентного соотношения, использующего дзета-функцию Римана и произведение Эйлера, но требует предельного перехода $s \to \infty$, что делает её неконструктивной. В данной работе доказано, что конечный параметр $s \leq p_n$ в сочетании с функцией потолка достаточен для преобразования этой асимптотической формулы в эффективную рекуррентность, устанавливающую конструктивный метод, действительный для всех $n \geq 1$.

Минимальный целочисленный параметр $s_n$ (OEIS A389650) раскрывает глубокую связь с простыми созвездиями. Автор безусловно доказывает, что $\liminf_{n\to\infty} \sigma_n = 0$, где $\sigma_n = s_n/p_n$. Верхний предел $C = \limsup \sigma_n$ удовлетворяет условию $\log \psi \lesssim C \leq 0.4332$, где $\psi \approx 1.46557$ — супер-золотое сечение. Нижняя граница зависит от гипотезы о близнецах; верхняя граница безусловна. Константа $C$ связана с наиболее плотными допустимыми простыми созвездиями, что соединяет с гипотезой Харди-Литтлвуда.

Метод распространяется на L-функции Дирихле, порождая другие эффективные формулы для вычисления $p_{n+1}$ и позволяя предсказывать остаток $p_{n+1}$ по модулю произвольного целого числа с пониженными требованиями к точности.

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

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

Поиск явных формул для простых чисел — классическая задача теории чисел. Хотя существуют прямые нерекурсивные формулы (такие как формула Виллана, формула Миллса), они вычислительно неосуществимы. Данная работа сосредоточена на рекуррентных соотношениях, то есть выражении $p_{n+1}$ через $p_1, \ldots, p_n$.

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

• Ганди 4 первым использовал примориал и функцию Мёбиуса для таких рекуррентностей
• Ванден Эйнден 19 упростил доказательство
• Якимчук 9 обобщил метод
• Голомб 5 независимо открыл формулу, используя аналитическую теорию чисел; позже переоткрыта Келлером 10

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

Классическая формула Голомба-Келлера имеет вид: $p_{n+1} = \lim_{s\to\infty} \left[\left(\prod_{k=1}^n \left(1-\frac{1}{p_k^s}\right)\right) \zeta(s) - 1\right]^{-1/s}$

Основная проблема этой формулы заключается в необходимости предельного перехода $s \to \infty$, что делает её непригодной для практических вычислений.

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

Данная работа применяет противоположный подход: сохраняет полное разложение дзета-функции, вычисляемое до рабочей точности, но использует конечное значение $s$. Таким образом, усекается показатель степени, а не ряд, что делает формулу конструктивной.

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

1. Конструктивная рекуррентная формула: Доказано, что для всех $n \geq 1$ существует минимальное целое число $s_n$ такое, что: $p_{n+1} = \left\lceil \left(-1 + \zeta(s_n) \prod_{j=1}^n \left(1-\frac{1}{p_j^{s_n}}\right)\right)^{-1/s_n} \right\rceil$
2. Эффективные границы:
   • Доказано $s_n \leq 2p_n$ с использованием постулата Бертрана (теорема 10)
   • Доказано $s_n \leq p_n$ с использованием теоремы Нагуры (теорема 12)
3. Анализ асимптотического поведения:
   • Безусловно доказано $\liminf_{n\to\infty} \sigma_n = 0$ (предложение 13)
   • Установлены границы для $C := \limsup_{n\to\infty} \sigma_n$: $0.3823 \lesssim C \leq 0.4332$
4. Связь с простыми созвездиями: Обнаружена нижняя граница $\log \psi \approx 0.3823$ (зависит от гипотезы о близнецах), где $\psi$ — супер-золотое сечение
5. Расширение на L-функции Дирихле: Позволяет предсказывать свойства остатков $p_{n+1} \pmod 4$ и т.д.
6. Численные данные: Предоставлены значения $s_n$ для $n = 1$ до $200$ (OEIS A389650)

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

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

Дано первые $n$ простых чисел $p_1, p_2, \ldots, p_n$; требуется конструктивно вычислить следующее простое число $p_{n+1}$.

Архитектура основного метода

1. Механизм рядов Дирихле

Определяется ключевая функция: $D_n(s) = \sum_{\substack{k \geq 1 \\ \gcd(k,P_n)=1}} k^{-s}$

где $P_n = \prod_{j=1}^n p_j$ — примориал первых $n$ простых чисел.

2. Представление произведением Эйлера

Лемма 3: Для $\Re(s) > 1$, $D_n(s) = \zeta(s) \prod_{j=1}^n (1-p_j^{-s})$

3. Анализ свойств сходимости

Определяется $h(s) = (D_n(s)-1)^{-1/s}$ и доказывается:

• $h(s) < p_{n+1}$ для всех $s > 1$
• $\lim_{s\to\infty} h(s) = p_{n+1}$
• $h(s)$ строго возрастает на $(1,\infty)$

4. Определение критического параметра

Предложение 6: Для каждого $n \geq 1$ существует единственное $s_n^* > 1$ такое, что $h(s_n^*) = p_{n+1} - 1$.

Определяется $s_n = \lfloor s_n^* \rfloor + 1$ как минимальный целочисленный параметр.

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

1. Компромисс между точностью и усечением: В отличие от метода Келлера, усекающего сумму ряда, данная работа сохраняет полную дзета-функцию $\zeta(s)$, но использует конечное значение $s$
2. Трюк с функцией потолка: Умело используется свойство $\lceil h(s) \rceil = p_{n+1}$ тогда и только тогда, когда $s > s_n^*$
3. Техника интегральных границ: Используются тонкие интегральные сравнения для контроля ошибок хвостовых членов

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

Инструменты численных расчётов

• Использованы PARI/GP и библиотека mpmath для Python с высокой точностью
• Для $n \leq 200$ требуется 100-битная точность
• Для $n \approx 500$ требуется примерно 2500-битная точность (из-за усиления эффектов сокращения)

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

Теоретические границы $s_n \leq p_n$ проверены прямыми вычислениями для всех $n = 1, \ldots, 200$.

Рабочий пример

Вычисление $p_7 = 17$ (начиная с $n = 6$):

• Использование $s = 2p_6 = 26$: $h(26) \approx 16.941817904$, получаем $p_7 = \lceil h(26) \rceil = 17$
• Фактическое минимальное значение $s_6 = 8$: $h(8) \approx 16.5189076$

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

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

Верификация границ

• Теорема 10: $s_n \leq 2p_n$ для всех $n \geq 1$
• Теорема 12: $s_n \leq p_n$ для всех $n \geq 1$ (через теорему Нагуры)

Асимптотическое поведение

• Предложение 13: $\liminf_{n\to\infty} \sigma_n = 0$ (безусловно)
• Теорема 14: $C = \limsup_{n\to\infty} \sigma_n \leq 0.4332$ (безусловно)
• Теорема 15: При гипотезе о близнецах $C > \log \psi \approx 0.38225$

Анализ эмпирического распределения

Анализ данных для $n = 1$ до $200$ показывает:

• После удаления пяти выбросов распределение $\sigma_n$ подобно бета-распределению
• Среднее ≈ 0.291, медиана ≈ 0.277, стандартное отклонение ≈ 0.087
• Параметры подгонки: Beta(α ≈ 7.64, β ≈ 18.62)
• Теоретическая мода ≈ 0.274, согласуется с эмпирической медианой

Формула с фиксированным коэффициентом

Теорема 18: Для любого $c > c_0 \approx 0.5956$ существует $N_0(c)$ такое, что для всех $n \geq N_0(c)$ формула с использованием $s = cp_n$ корректно вычисляет $p_{n+1}$.

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

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

1. Ганди (1971): Первая рекуррентность с использованием примориала и функции Мёбиуса
2. Голомб (1976): Введение методов аналитической теории чисел
3. Келлер (2007): Независимое переоткрытие с альтернативным выводом
4. Данная работа (2025): Первое преобразование формулы в конструктивную

Сравнение с другими методами

• Формула Виллана: Прямая, но вычислительно неосуществима
• Формула Миллса: Основана на константе, но требует предварительного знания простых чисел
• Методы решета: Практичны, но не дают рекуррентной структуры
• Данный метод: Теоретически интересен, но вычислительно сложен

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

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

1. Конструктивный прорыв: Впервые преобразована формула Голомба-Келлера из асимптотической в эффективно вычислимую
2. Глубокие связи: Раскрыта внутренняя связь параметров рекуррентности простых чисел с созвездиями простых чисел и распределением промежутков
3. Теоретические границы: Установлены точные границы и асимптотическое поведение параметра $s_n$
4. Супер-золотое сечение: Обнаружено новое применение в теории простых чисел

Ограничения

1. Вычислительная сложность: $O(np_n^3 \log p_n)$ битовых операций; хотя полиномиальна, практически неосуществима
2. Требования к точности: С ростом $n$ требуется экспоненциальный рост рабочей точности
3. Зависимость: Некоторые результаты зависят от недоказанных гипотез (например, гипотезы о близнецах)

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

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

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

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

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

Недостатки

1. Ограниченная практичность: Хотя теоретически конструктивна, вычислительные затраты чрезмерны
2. Вызовы точности: Требования высокой точности ограничивают масштабируемость метода
3. Условность некоторых результатов: Важные результаты зависят от недоказанных гипотез

Влияние

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

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

1. Теоретические исследования: Распределение простых чисел, теория промежутков, исследование созвездий
2. Численные эксперименты: Верификация в малых масштабах и исследование закономерностей
3. Педагогическое применение: Классическое применение методов аналитической теории чисел

Список литературы

Ключевые источники включают:

• 5 S. W. Golomb, Formulas for the next prime, Pacific J. Math. 63 (1976), 401–404
• 10 J. B. Keller, A recursion equation for prime numbers, arXiv:0711.3940, 2007
• 4 J. M. Gandhi, Formulae for the nth prime, Proc. Washington State Univ. Conf. Number Theory (1971), 96–107
• 12 J. Nagura, On the interval containing at least one prime number, Proc. Japan Acad. 28 (1952), 177–181

Данная статья имеет значительное теоретическое значение в области теории чисел. Хотя её практическое применение в вычислениях ограничено, теоретические идеи и методологические инновации открывают новые направления в исследовании теории простых чисел. Особенно примечательны обнаруженные связи с супер-золотым сечением и простыми созвездиями, которые демонстрируют неожиданные глубокие структуры в теории чисел.