Малые промежутки между простыми числами Гольдбаха

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

• ID статьи: 2508.02769
• Название: Small gaps between Goldbach primes
• Автор: Мизуки Акено (Университет Цукуба, факультет математики)
• Классификация: math.NT (теория чисел)
• Дата публикации: 25 ноября 2025 г. (arXiv v2)
• Ссылка на статью: https://arxiv.org/abs/2508.02769v2

Аннотация

В данной работе исследуется проблема малых промежутков в множестве простых чисел Гольдбаха $\mathcal{P}(N) = \mathbb{P} \cap (N - \mathbb{P})$ с использованием метода Бомбьери-Дэвенпорта и метода Мейнарда-Тао, а также проводится сравнение этих двух методов. Основные результаты включают: (1) с помощью метода Бомбьери-Дэвенпорта доказано, что для почти всех чётных чисел $N$ минимальный промежуток в $\mathcal{P}(N)$ не превышает $0.765\ldots$ раз среднего промежутка, что улучшает результат Цуды; (2) доказано, что прямое применение метода Мейнарда-Тао недостаточно для улучшения этой границы; (3) однако метод Мейнарда-Тао позволяет установить существование ограниченных промежутков между простыми числами Гольдбаха с ограниченной ошибкой для почти всех чётных чисел $N$.

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

Исследуемая проблема

Основной вопрос работы: для чётного числа $N$ определим множество простых чисел Гольдбаха как $\mathcal{P}(N) = \{p \leq N : \exists p' \in \mathbb{P}, p + p' = N\} = \mathbb{P} \cap (N - \mathbb{P})$ Исследуется, насколько малыми могут быть промежутки между простыми числами в этом множестве.

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

1. Уточнённое исследование гипотезы Гольдбаха: Классическая гипотеза Гольдбаха рассматривает представимость чётных чисел суммой двух простых, данная работа изучает распределение плотности простых чисел, удовлетворяющих этому свойству.
2. Новый взгляд на теорию промежутков между простыми числами: Это исследование промежутков между простыми числами при специальных ограничивающих условиях, связывающее две важные проблемы теории чисел.
3. Развитие методов решета: Путём сравнения двух важных методов решета (Бомбьери-Дэвенпорта и Мейнарда-Тао) углубляется понимание возможностей и ограничений методов решета.

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

1. Неопубликованная работа Микавы-Накамуры: Доказано, что $\Xi \leq 5/6 = 0.8333\ldots$
2. Цуда (2024): Доказано, что $\Xi \leq 0.8201\ldots$
3. Здесь $\Xi$ определяется как: для любых $\epsilon, \varepsilon > 0$ почти все чётные числа $N$ удовлетворяют $\min_{p,p' \in \mathcal{P}(N), N^{1-\epsilon} < p' < p} (p - p') \leq (\Xi + \varepsilon)S(N)^{-1}(\ln N)^2$ где $S(N)$ — сингулярный ряд.

Мотивация исследования

1. Улучшение известных границ: Путём простых наблюдений улучшить уровень распределения и повысить результаты метода Бомбьери-Дэвенпорта.
2. Сравнение методов: Систематически сравнить два метода, выявив ограничения метода Мейнарда-Тао в данной задаче.
3. Установление ограниченных промежутков: Несмотря на невозможность улучшить границу $\Xi$, доказать существование абсолютно ограниченных промежутков.

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

1. Улучшение верхней границы $\Xi$: Доказано, что $\Xi \leq \frac{7}{72}(4 + \sqrt{15}) = 0.76542\ldots$, что улучшает результат Цуды 0.8201 (теорема 1.2).
2. Выявление ограничений метода Мейнарда-Тао: Доказано, что прямое применение метода Мейнарда-Тао не может улучшить указанную границу и ограничено $\Xi \leq 0.826\ldots$ (раздел 5.1).
3. Установление существования ограниченных промежутков: Доказано существование $H = 56250000 = (7500)^2$ такого, что для почти всех чётных чисел $N$ в $\mathcal{P}_H(N)$ существует пара простых чисел с промежутком не превышающим $H$ (теорема 1.3).
4. Улучшение уровня распределения: Путём наблюдения возможности обращения ролей $f_1, f_2$ расширен уровень распределения с $[0,1/2] \times [0,1/3]$ на $([0,1/2] \times [0,1/3]) \cup ([0,1/3] \times [0,1/2])$ (улучшение теоремы 2.1).
5. Методологический вклад: Предложены методы оценки сумм весов, отличные от методов Мейнарда и Тао, избегающие трудностей, связанных с W-трюком.

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

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

Определение основных констант:

• $\Xi$: нижняя грань отношения минимального промежутка к среднему промежутку (относительная версия)
• $\Xi^*$: верхняя граница минимального промежутка в абсолютном смысле (если существует)

Цели:

1. Дать наименьшую возможную верхнюю границу для $\Xi$
2. Если возможно, доказать существование $\Xi^*$ и дать верхнюю границу

Основная техническая схема

В работе используются два основных метода:

1. Метод Бомбьери-Дэвенпорта

Основная идея: Анализ второго момента $M_2 = \sum_{m+n=N} \left(\sum_{h \leq H} \Lambda(m+h)\Lambda(n-h)\right)^2$ где $H = cS(N)^{-1}(\ln N)^2$.

Ключевое неравенство: Использование тривиального неравенства $0 \leq \sum_{m+n=N} \left(\sum_{h \leq H} \Lambda(m+h)\Lambda(n-h) - \sum_{h \leq H} (\Lambda(m+h)\Lambda(n-h))^\sharp\right)^2$

где $(\Lambda(m)\Lambda(n))^\sharp$ — надлежащее приближение $\Lambda(m)\Lambda(n)$: $(\Lambda(m)\Lambda(n))^\sharp = \Lambda_{X_2}(m)\Lambda_{X_3}(n) + \Lambda_{X_3}(m)\Lambda_{X_2}(n) - \Lambda_{X_3}(m)\Lambda_{X_3}(n)$ здесь $X_r = X^{(1-\varepsilon)/r}$.

Инновационное улучшение:

• Использование симметрии уровня распределения, расширение области $D$ с $[0,1/2] \times [0,1/3]$ на $D = ([0,1/2] \times [0,1/3]) \cup ([0,1/3] \times [0,1/2])$
• Это даёт $\text{meas}(D) = \frac{7}{9}$, что приводит к улучшению границы.

Комбинирование с верхним методом решета: Использование верхнего метода решета Россера-Иванца (лемма 4.3): $\sum_{m+n=N, N^{1-\epsilon} < m,n} \Omega(m+h)\Lambda(n-h)\Lambda(m+h')\Lambda(n-h') \leq 16NS(\{h,h'\}; N)(1+\varepsilon)$

Путём выбора $H_+ = \kappa S(N)^{-1}(\ln N)^2$ и $H_- = \lambda S(N)^{-1}(\ln N)^2$ оптимизируется получение $\lambda > \frac{7}{72}(4 + \sqrt{15})$ при котором неравенство выполняется.

2. Метод Мейнарда-Тао

Выбор весов: Рассмотрение весов $w(m,n;\mathcal{H}) = \left(\sum_{\substack{d_i | n+h_i, 1 \leq i \leq k \\ e_i | m-h_i, 1 \leq i \leq k}} \lambda_{d_1,\ldots,d_k,e_1,\ldots,e_k}\right)^2$

Использование выбора Тао: $\lambda_{d_1,\ldots,d_{2k}} = \mu(d_1)\cdots\mu(d_{2k})F\left(\frac{\ln d_1}{\ln X}, \ldots, \frac{\ln d_{2k}}{\ln X}\right)$

Ключевая лемма 3.2: Установление асимптотической формулы, для почти всех $N \in (X/2, X]$: $\sum_{m+n=N} \prod_{i=1}^k \Lambda_{Q_i}(m+g_i)\Lambda_{R_i}(n+h_i) = N(S(\mathcal{G}, \mathcal{H}; N) + o(1))$ когда $(\sum \alpha_i, \sum \beta_i) \in (1-\varepsilon) \cdot [0,1] \times [0,1]$.

Вариационная задача: Определение $M_k(D) = \sup_f \frac{\sum_{\ell=1}^k \sum_{\ell'=1}^k J_{\ell,\ell'}^{(2k)}(f)}{I_{2k}(f)}$ где интегральные функционалы определены на функциях $f$, удовлетворяющих $R + R \subseteq D_k$.

Анализ ограничений (предложение 5.4): Использование неравенства Коши-Шварца для доказательства $M_k(D) \leq \left(\frac{1}{2}\max_{(s,t) \in D}(s+t)\right)^2$

Для $D = ([0,1/2] \times [0,1/3]) \cup ([0,1/3] \times [0,1/2])$ это даёт $M_k(D) \leq \left(\frac{1}{2} \cdot \frac{5}{6}\right)^2 = \frac{25}{144} \approx 0.174$ следовательно $\Xi \leq 1 - 0.174 = 0.826\ldots$, что не может улучшить результат метода Бомбьери-Дэвенпорта.

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

1. Использование симметрии уровня распределения: Впервые замечено, что можно обменять роли $f_1, f_2$, расширив используемую область распределения (улучшение теоремы 2.1).
2. Избежание W-трюка: Разработаны методы оценки сумм весов, не зависящие от W-трюка (лемма 5.1), так как дискриминант $\Delta(\mathcal{H} \cup (\mathcal{H} - N))$ может иметь большие простые делители.
3. Сильно допустимые кортежи (определение 5.6): Введено новое понятие, требующее, чтобы для всех чётных $N$ множество $\mathcal{H} \cup (\mathcal{H} - N)$ было допустимым. Построены явные примеры (лемма 5.8): $\mathcal{H} = \{h^2 : 1 \leq h \leq H, (h, 30) = 1\}$
4. Асимптотическая формула для среднего сингулярного ряда (лемма 3.4): Обобщение результатов Галлахера и Цуды, доказательство того, что $\sum_{\substack{1 \leq h_1, \ldots, h_k \leq H(N) \\ h_i \text{ различны}}} S(\{h_1,\ldots,h_k\} + \{0,N\}) = (H(N)S(\{0,N\}))^k(1 + O(H(N)^{\varepsilon-1}))$

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

Теоретическая проверка вместо численных экспериментов

Данная работа — это чистая теоретическая работа по теории чисел, не включающая традиционные численные эксперименты, но содержащая следующие проверки:

1. Проверка выбора параметров (лемма 5.9):
   • Выбор $k = 2000$
   • Выбор параметров: $c = 0.96/\ln k$, $T = 0.97/\ln k$, $\tau = 1 - k\mu$
   • Использование Mathematica для численной проверки существования кусочно-непрерывной функции $F$ такой, что $\frac{\sum_{\ell=1}^k \int_0^1 \cdots \int_0^1 \left(\int_0^1 F(t_1,\ldots,t_k)dt_\ell\right)^2 dt_1\ldots dt_k}{\int_0^1 \cdots \int_0^1 F(t_1,\ldots,t_k)^2 dt_1\ldots dt_k} \geq 5.00958\ldots$
2. Оптимизация констант:
   • Путём решения $\kappa^2 - \frac{7}{9}\kappa > 16(\kappa - \lambda)^2$ получение оптимального $\lambda$
   • Минимум достигается при $\kappa = \kappa'$, дающий $\lambda > \frac{7}{72}(4 + \sqrt{15})$

Проверка асимптотических свойств

Все основные результаты верны для "почти всех" $N$, множество исключений имеет размер $O(X(\ln X)^{-A})$ для любого $A > 0$.

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

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

Теорема 1.2 (метод Бомбьери-Дэвенпорта): $\Xi \leq \frac{7}{72}(4 + \sqrt{15}) = 0.76542\ldots$

Сравнение:

• Микава-Накамура: $\Xi \leq 5/6 = 0.8333\ldots$
• Цуда (2024): $\Xi \leq 0.8201\ldots$
• Данная работа: $\Xi \leq 0.76542\ldots$
• Масштаб улучшения: Относительное улучшение по сравнению с Цудой примерно на $6.7\%$

Теорема 1.3 (метод Мейнарда-Тао): Существует $H = 56250000 = (7500)^2$ такое, что для любого $\epsilon > 0$ почти все чётные числа $N$ удовлетворяют $\min_{\substack{p,p' \in \mathcal{P}_H(N) \\ N^{1-\epsilon} < p' < p}} (p - p') \leq H$

где $\mathcal{P}_H(N) = \{p \leq N : \exists p' \in \mathbb{P}, |N - p - p'| \leq H\}$.

Результаты сравнения методов

Метод Бомбьери-Дэвенпорта:

• Преимущество: Даёт лучшую относительную границу $\Xi \leq 0.765\ldots$
• Используемая область: $D = ([0,1/2] \times [0,1/3]) \cup ([0,1/3] \times [0,1/2])$, $\text{meas}(D) = 7/9$

Метод Мейнарда-Тао:

• Ограничение: Вариационная задача ограничена $M_k(D) \leq (5/12)^2 \approx 0.174$
• Невозможно доказать $\Xi < 0.826\ldots$
• Преимущество: Может установить абсолютно ограниченные промежутки $\Xi^* \leq 56250000$

Теоретические находки

1. Верхняя граница вариационной задачи (предложение 5.4): $M_k(D) \leq \left(\frac{1}{2}\max_{(s,t) \in D}(s+t)\right)^2$ Это существенное препятствие для метода Мейнарда-Тао.
2. Симметрия уровня распределения: После расширения на $D$ константа 16 может быть улучшена до $144/7 = 20.57\ldots$ (замечание 4.4).
3. Граница для сильно допустимых кортежей (предложение 5.11): $H(k) \gg k^{4/3}$ где $H(k)$ — минимальная длина сильно допустимого $k$-кортежа.

Техническая проверка

Применение леммы 3.1: Для $|h_i| \leq X^2$ почти все $N$ имеют $\sum_{n \leq X} \prod_{i=1}^k \Lambda_{Q_i}(n+h_i)\Lambda_{Q_i'}(n+h_i)^{\varepsilon_i} = X\left(S(\mathcal{H}) \prod_{i=1}^k (\min(\ln Q_i, \ln Q_i'))^{\varepsilon_i} + o(1)\right)$

Теорема об уровне распределения 2.1: Для $d_i \leq X^{(1-\varepsilon)\alpha_i}$, $(\alpha_1, \alpha_2) \in D$, почти все $N$ имеют $\sum_{(d_1,d_2) \in X^{(1-\varepsilon) \cdot D}} f_1(d_1)f_2(d_2)E_R(l_1(d_1), l_2(d_2), d1, d_2; N) \ll \frac{X}{(\ln X)^B}$

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

Проблема промежутков между простыми числами

1. Классические результаты:
   • Бомбьери-Дэвенпорт (1966): $\min_{X < p' < p \leq 2X}(p - p') \leq (1/2 + \varepsilon)\ln X$
   • Чжан-Мейнард-Тао-Polymath (2014): $\min_{X < p' < p \leq 2X}(p - p') \leq 246$
2. Распределение в проблеме Гольдбаха:
   • Монтгомери-Воан (1975): Границы для множества исключений Гольдбаха
   • Майер-Поммеранс (1990): Распределение обобщённых близнецов в арифметических прогрессиях
   • Результаты данной работы — это уточнение этих работ для множества простых чисел Гольдбаха

Методы решета

1. Теорема Бомбьери-Виноградова (лемма 2.5): Уровень распределения $X^{(1-\varepsilon)/2}$
2. Метод Мейнарда-Тао:
   • Мейнард (2015): Малые промежутки между простыми числами
   • Polymath (2014): Вариант решета Сельберга
   • Данная работа: Выявление ограничений этого метода при ограничениях Гольдбаха
3. Принцип переноса:
   • Грин-Тао (2006), Матомяки-Мейнард-Шао (2017)
   • Матомяки-Шао (2017): Версия теоремы Виноградова для почти близнецов
   • Методы данной работы более прямые, дающие более острые границы для $H$

Связанные технические инструменты

1. Оценки экспоненциальных сумм:
   • Балог-Перелли (1985): Оценки на малых дугах (лемма 2.8)
   • Матомяки (2009): Экспоненциальные суммы типа Бомбьери-Виноградова
2. Сингулярные ряды:
   • Харди-Литтлвуд: Сингулярные ряды для гипотезы о $k$-кортежах простых чисел
   • Галлахер (1976): Распределение простых чисел в коротких интервалах
   • Данная работа: Обобщение на случай простых чисел Гольдбаха (лемма 3.4)

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

По сравнению со связанными работами, данная работа:

1. Впервые систематически сравнивает два основных метода решета в задаче о промежутках между простыми числами Гольдбаха
2. Выявляет препятствие вариационной задачи для метода Мейнарда-Тао
3. Вводит понятие сильно допустимых кортежей с явным построением
4. Разрабатывает техническую линию, избегающую W-трюка

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

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

1. Улучшенная относительная граница: Доказано, что $\Xi \leq 0.76542\ldots$, то есть для почти всех чётных чисел $N$ минимальный промежуток в множестве простых чисел Гольдбаха $\mathcal{P}(N)$ не превышает 76.5% среднего промежутка.
2. Сравнение методов: Метод Бомбьери-Дэвенпорта превосходит прямое применение метода Мейнарда-Тао в данной задаче, последний ограничен верхней границей вариационной задачи.
3. Абсолютно ограниченные промежутки: Хотя невозможно доказать $\Xi^* < \infty$, установлено существование ограниченных промежутков с ограниченной ошибкой ($H = 56250000$).
4. Технические идеи: Симметрия уровня распределения — ключевой момент улучшения; избежание W-трюка делает метод более надёжным.

Ограничения

1. Граница для $\Xi$ всё ещё далека от гипотетического значения:
   • Обобщённая гипотеза Харди-Литтлвуда предсказывает $\Xi = 0$
   • Текущий лучший результат $\Xi \leq 0.765\ldots$ всё ещё имеет значительный разрыв
   • Даже фольклорный результат $\Xi \leq 1/6 = 0.1666\ldots$ (предложение 1.4) не достигнут
2. Существенное препятствие метода Мейнарда-Тао:
   • Предложение 5.4 показывает $M_k(D) \leq (1/2 \max_{(s,t) \in D}(s+t))^2$
   • Даже при предположении $D = [0,1] \times [0,1]$ невозможно доказать существование $\Xi^*$
   • Требуется более общая установка (как в формуле (53)) для прорыва
3. Константа для ограниченных промежутков:
   • $H = 56250000$ очень велико, не оптимизировано численно
   • Не использована вторичная оптимизация для определения весов решета
   • Не проведён компьютерный поиск узких допустимых кортежей
4. Технические ограничения:
   • Уровень распределения ограничен теоремой Бомбьери-Виноградова до $X^{1/2-\varepsilon}$
   • Если удастся доказать оценку типа Бомбьери-Фридлендера-Иванца до $X^{4/7-\varepsilon}$, можно добиться дальнейшего улучшения
   • Результаты о хорошо факторизуемых весах верхнего метода решета 16, 21 могут дать небольшие улучшения

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

1. Улучшение методов:
   • Вопрос 5.5: Можно ли путём рассмотрения более общей установки (формула (53)) установить существование $\Xi^*$ при $D = [0,1] \times [0,1]$?
   • Полное использование уровня распределения, разработка модифицированной версии метода Мейнарда-Тао
2. Оптимизация констант:
   • Численная оптимизация $H(k)$ (минимальная длина сильно допустимого $k$-кортежа)
   • Вопрос 5.12: Какова величина $\lim_{k \to \infty} \frac{\ln H(k)}{\ln k}$?
   • Текущая граница: $H(k) \gg k^{4/3}$, $H(k) \leq (k \ln k)^2(1 + o(1))$
3. Условные результаты:
   • При обобщённой гипотезе Римана $\Xi' = 0$ (замечание 1.4)
   • Исследование результатов при других предположениях
4. Обобщения:
   • Расширение на трёхпростую задачу Гольдбаха (как аналогичные результаты Матомяки-Шао 14)
   • Исследование промежутков между простыми числами Гольдбаха в арифметических прогрессиях
5. Развитие техники:
   • Улучшение теоремы об уровне распределения (например, использование оценок экспоненциальных сумм Матомяки, замечание 2.2)
   • Разработка более общей схемы, не зависящей от W-трюка
   • Исследование точного асимптотического поведения вариационной задачи $M_k(D)$

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

Достоинства

1. Методологические инновации:
   • Наблюдение симметрии: Простое, но ключевое наблюдение (возможность обмена ролей $f_1, f_2$) приводит к существенному улучшению, отражая глубокое понимание
   • Избежание W-трюка: Разработка техники оценки, независимой от Мейнарда и Тао, более подходящей для ограничений Гольдбаха
   • Сильно допустимые кортежи: Новое понятие и явное построение (использование квадратов и условия взаимной простоты с 30) обладают оригинальностью
2. Теоретическая глубина:
   • Систематическое сравнение: Впервые глубокое сравнение двух основных методов решета в одной задаче, выявляющее существенные различия
   • Идентификация препятствий: Предложение 5.4 точно характеризует препятствие вариационной задачи для метода Мейнарда-Тао
   • Техническая полнота: От теоремы об уровне распределения (раздел 2) к асимптотике сингулярного ряда (раздел 3) и применению двух методов образуется полная техническая цепь
3. Значимость результатов:
   • Относительное улучшение на 6.7% по сравнению с Цудой — существенный прогресс в этом классе задач
   • Впервые установлено существование абсолютно ограниченных промежутков для простых чисел Гольдбаха (хотя константа велика)
   • Все результаты верны для "почти всех" чётных чисел с тщательно контролируемым множеством исключений ($O(X(\ln X)^{-A})$)
4. Качество изложения:
   • Ясная структура: введение, предварительные сведения, основные леммы, применение двух методов образуют чёткую иерархию
   • Достаточная мотивация: каждый технический выбор имеет ясное объяснение
   • Полный обзор литературы: отношения с близкими работами изложены подробно

Недостатки

1. Недостаточная численная оптимизация:
   • Авторы явно указывают, что $H = 56250000$ не оптимизировано
   • Не использована вторичная оптимизация весов решета
   • Не проведён компьютерный поиск, фактическое $H(k)$ должно быть значительно меньше
2. Решение вариационной задачи:
   • Предложение 5.4 даёт верхнюю границу, но не даёт значимой нижней границы $M_k(D)$
   • Аргументы типа Мейнарда (решение уравнения Эйлера-Лагранжа) дают только эвристический выбор
   • Отсутствует строгое доказательство монотонности $M_k$ (хотя утверждается $M_1 \leq M_2 \leq \cdots$)
3. Анализ ограничений методов:
   • Формула (53) предлагает более общую установку, но не развивается
   • Отсутствуют конкретные предложения по преодолению препятствия вариационной задачи
   • Не исследовано влияние барьера чётности при $k < 5$ (только ссылка на блог Тао)
4. Технические детали:
   • Замечание 5.2 упоминает, что аналогичные результаты для $\Lambda_{Q,\text{HB}}$ "слишком запутаны для представления", отсутствует полное доказательство
   • Некоторые леммы (например, лемма 2.8) просто ссылаются на литературу без изложения идей доказательства
   • Построение сильно допустимых кортежей (лемма 5.8) хотя и остроумно, но лишено систематического подхода

Влияние

1. Теоретический вклад:
   • Продвижение тонкой теории распределения простых чисел Гольдбаха
   • Предоставление образца для сравнительного исследования методов решета
   • Понятие сильно допустимых кортежей может иметь независимую ценность
2. Методологическое влияние:
   • Техника избежания W-трюка может применяться к другим задачам с ограничениями на простые числа
   • Использование симметрии уровня распределения может вдохновить другие улучшения
   • Идентификация препятствия вариационной задачи имеет руководящее значение для будущих исследований
3. Ограничения:
   • Результаты всё ещё далеки от гипотетического значения ($\Xi = 0$)
   • Константа для ограниченных промежутков слишком велика для практического применения
   • Методы, похоже, трудно развивать дальше (если не произойдёт существенного улучшения уровня распределения)
4. Воспроизводимость:
   • Теоретические доказательства полны и проверяемы
   • Численные вычисления (лемма 5.9) используют Mathematica, воспроизводимы
   • Отсутствует реализация кода, но для чистой математической работы это приемлемо

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

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

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

В работе цитируются следующие ключевые источники:

1. Бомбьери-Дэвенпорт (1966) 3: Пионерская работа по малым промежуткам между простыми числами
2. Голдстон-Пинц-Йылдырым (2009) 5: Метод GPY
3. Мейнард (2015) 15: Прорывной результат о малых промежутках между простыми числами
4. Polymath (2014) 22: Вариант решета Сельберга и ограниченные промежутки между простыми числами
5. Цуда (2024) 25: Предыдущая работа о малых промежутках между простыми числами Гольдбаха
6. Голдстон-Йылдырым (2007) 6: Упрощение метода Бомбьери-Дэвенпорта
7. Матомяки-Шао (2017) 14: Версия теоремы Виноградова для почти близнецов
8. Галлахер (1976) 4: Распределение простых чисел в коротких интервалах
9. Монтгомери-Воан (1975) 17: Множество исключений для задачи Гольдбаха

Общая оценка: Это высокого качества работа по аналитической теории чисел, достигающая существенного прогресса в задаче о промежутках между простыми числами Гольдбаха, с инновациями в методологии и глубоким теоретическим анализом. Основные вклады заключаются в улучшении известных границ, выявлении ограничений методов, установлении существования ограниченных промежутков. Хотя расстояние до конечной цели ($\Xi = 0$ или существование $\Xi^*$) всё ещё значительно, работа указывает направление и препятствия для будущих исследований. Рекомендуется специалистам по теории чисел, особенно работающим в области методов решета и распределения простых чисел.