2025-11-18T21:25:13.112993

On prime-producing sieves and distribution of $αp-β$ mod $1$

Li
The author proves that there are infinitely many primes $p$ such that $\| αp - β\| < p^{-\frac{28}{87}}$, where $α$ is an irrational number and $β$ is a real number. This sharpens a result of Jia (2000) and provides a new triple $(γ, θ, ν)=(\frac{59}{87}, \frac{28}{87}, \frac{1}{29})$ that can produce special primes in Ford and Maynard's work on prime-producing sieves. Our minimum amount of Type-II information required ($ν= \frac{1}{29}$) is less than any previous work on this topic using only traditional Type-I and Type-II information.
academic

О ситах, производящих простые числа, и распределении αpβ\alpha p-\beta mod 11

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

  • ID статьи: 2504.13195
  • Название: On prime-producing sieves and distribution of αpβ\alpha p-\beta mod 11
  • Автор: Runbo Li (International Curriculum Center, The High School Affiliated to Renmin University of China)
  • Классификация: math.NT (Теория чисел)
  • Дата публикации: 16 октября 2025 г. (версия arXiv)
  • Ссылка на статью: https://arxiv.org/abs/2504.13195

Аннотация

Автор доказывает существование бесконечного множества простых чисел pp таких, что αpβ<p2887\|\alpha p - \beta\| < p^{-\frac{28}{87}}, где α\alpha — иррациональное число, а β\beta — вещественное число. Этот результат улучшает работу Jia (2000) и предоставляет новую тройку параметров (γ,θ,ν)=(5987,2887,129)(\gamma, \theta, \nu)=(\frac{59}{87}, \frac{28}{87}, \frac{1}{29}) для исследований Ford и Maynard по ситам, производящим простые числа. Минимальное количество информации типа II, необходимое для этой работы, ν=129\nu = \frac{1}{29}, меньше, чем во всех предыдущих работах, использующих только традиционную информацию типа I и типа II.

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

Суть проблемы

Данное исследование решает классическую задачу в теории распределения простых чисел: для заданного иррационального числа α\alpha и вещественного числа β\beta, существует ли бесконечное множество простых чисел pp таких, что расстояние от αpβ\alpha p - \beta до ближайшего целого числа меньше некоторой отрицательной степени pp.

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

История исследования этой проблемы обширна:

  • 1954 год: Виноградов впервые доказал случай τ=15ε\tau = \frac{1}{5} - \varepsilon
  • 1977 год: Vaughan, используя его тождество, получил τ=14ε\tau = \frac{1}{4} - \varepsilon
  • 1983 год: Harman внедрил новые методы решета, улучшив результат до τ=310\tau = \frac{3}{10}
  • 1993 год: Jia улучшил до τ=413\tau = \frac{4}{13}
  • 1996 год: Harman, используя технику обращения ролей переменных, получил τ=722\tau = \frac{7}{22}
  • 2000 год: Jia получил τ=928\tau = \frac{9}{28}

Научное значение

  1. Теоретическая ценность: Задача связывает теорию распределения простых чисел с диофантовым приближением
  2. Развитие методов: Способствует прогрессу в теории решета
  3. Перспективы применения: Связана с рамками простых чисел, производящих решета Ford-Maynard

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

  1. Улучшение основной теоремы: Показатель улучшен с 928\frac{9}{28} (Jia) до 28870.3218\frac{28}{87} \approx 0.3218
  2. Оптимизация технических параметров: Предоставлена новая тройка (5987,2887,129)(\frac{59}{87}, \frac{28}{87}, \frac{1}{29}) для рамок Ford-Maynard
  3. Минимизация информации типа II: Требуемое количество информации типа II ν=129\nu = \frac{1}{29} достигает исторического минимума
  4. Расширенные приложения: Результаты обобщены на диофантово приближение для гауссовых простых чисел

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

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

Входные данные: иррациональное число α\alpha, вещественное число β\betaВыходные данные: доказательство существования бесконечного множества простых чисел pp, удовлетворяющих αpβ<p2887\|\alpha p - \beta\| < p^{-\frac{28}{87}}Ограничения: использование только традиционной информации типа I и типа II

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

1. Установка решета

Пусть aq\frac{a}{q} — подходящая дробь непрерывной дроби для α\alpha. Определим:

  • τ=2887\tau = \frac{28}{87}
  • x=q2/(1+τ)x = q^{2/(1+\tau)}
  • δ=(2x)τ\delta = (2x)^{-\tau}

Построим множества:

  • B={n:x<n2x}B = \{n : x < n \leq 2x\}
  • A={n:x<n2x,αnβ<δ}A = \{n : x < n \leq 2x, \|\alpha n - \beta\| < \delta\}

2. Ключевые леммы

Статья опирается на две основные леммы:

Лемма 2.1 (Информация типа I): Когда Mx5987M \ll x^{\frac{59}{87}} и a(m)=O(1)a(m) = O(1): mMa(m)S(Am,x129)=2δ(1+o(1))mMa(m)S(Bm,x129)\sum_{m \sim M} a(m)S(A_m, x^{\frac{1}{29}}) = 2\delta(1 + o(1))\sum_{m \sim M} a(m)S(B_m, x^{\frac{1}{29}})

Лемма 2.2 (Информация типа II): Когда x2887Mx3187x^{\frac{28}{87}} \ll M \ll x^{\frac{31}{87}} или x5687Mx5987x^{\frac{56}{87}} \ll M \ll x^{\frac{59}{87}}, имеют место соответствующие асимптотические формулы.

3. Разложение тождества Бухштаба

Используется тождество Бухштаба для разложения S(A,(2x)12)S(A, (2x)^{\frac{1}{2}}) на: S(A,(2x)12)=S1S2+S3S(A, (2x)^{\frac{1}{2}}) = S_1 - S_2 + S_3

где S3S_3 далее разлагается на шесть частей S31S_{31} до S36S_{36}.

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

1. Оптимизация асимптотических областей

Определяется асимптотическая область I(m,n)I(m,n) как: I(m,n):={2887m3187 или 5687m5987 или аналогичные условия на n}I(m,n) := \left\{\frac{28}{87} \leq m \leq \frac{31}{87} \text{ или } \frac{56}{87} \leq m \leq \frac{59}{87} \text{ или аналогичные условия на } n\right\}

2. Оценки многомерных интегралов

Для областей, где невозможно получить асимптотическую формулу, используются верхние и нижние границы функции Бухштаба для точных числовых оценок. Например: ω(u)ω0(u),ω(u)ω1(u)\omega(u) \geq \omega_0(u), \quad \omega(u) \leq \omega_1(u)

3. Обращение ролей переменных

В определённых условиях применяется техника обращения ролей, преобразующая некоторые члены в обрабатываемую форму.

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

Методы численных расчётов

Статья в основном опирается на точные вычисления численного интегрирования:

  1. Границы функции Бухштаба: используются точные верхние и нижние границы для оценки многомерных интегралов
  2. Разбиение области: интегральная область разделяется на обрабатываемые подобласти
  3. Оценка потерь: для каждой необработанной области вычисляется верхняя граница потерь

Выбор параметров

Ключевые установки параметров:

  • τ=2887\tau = \frac{28}{87}
  • Параметр решета z=x129z = x^{\frac{1}{29}}
  • Точные границы диапазона информации типа II

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

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

Теорема 1.1: Для иррационального числа α\alpha и произвольного вещественного числа β\beta существует бесконечное множество простых чисел pp таких, что: αpβ<p2887\|\alpha p - \beta\| < p^{-\frac{28}{87}}

Следствия

Теорема 1.2: Для 3187θ<1\frac{31}{87} \leq \theta < 1 и произвольного вещественного числа β\beta существует бесконечное множество простых чисел pp таких, что: pθβ<p1θ2+ε\|p^\theta - \beta\| < p^{-\frac{1-\theta}{2}+\varepsilon}

Теорема 1.3: Для гауссовых простых чисел существует бесконечное множество гауссовых простых чисел pp таких, что: αpβ<p2887\|\alpha p - \beta\| < |p|^{-\frac{28}{87}}

Теорема 1.4: Тройка (5987,2887,129)(\frac{59}{87}, \frac{28}{87}, \frac{1}{29}) может производить простые числа с требуемыми свойствами в рамках Ford-Maynard.

Численная верификация

Посредством точных вычислений многомерного интегрирования общие потери оцениваются как: Lвсего<0.397685+0.091383+0.07376+0.339222+0.093181<0.996<1L_{\text{всего}} < 0.397685 + 0.091383 + 0.07376 + 0.339222 + 0.093181 < 0.996 < 1

Это обеспечивает эффективность решета.

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

Исторический контекст

  1. Метод Виноградова: классический метод, основанный на оценках тригонометрических сумм
  2. Тождество Vaughan: важная техника разложения экспоненциальных сумм
  3. Решето Harman: современное решето, вводящее информацию типа I и типа II
  4. Обращение ролей переменных: продвинутая техника, разработанная Harman

Позиционирование данной работы

Статья работает в рамках традиции Harman-Jia, получая улучшения посредством тонкого технического анализа и численной оптимизации, избегая необходимости в более продвинутых методах, таких как оценки сумм Клостермана.

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

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

Статья успешно улучшает показатель для задачи распределения αpβ\alpha p - \beta mod 1 с 928\frac{9}{28} до 2887\frac{28}{87} и предоставляет оптимальное использование информации типа II в рамках Ford-Maynard.

Ограничения

  1. Ограничения метода: используется только традиционная информация типа I и типа II, не применяются более продвинутые арифметические методы
  2. Частные случаи: для специального случая β=0\beta = 0 существуют лучшие результаты
  3. Технические барьеры: в рамках текущего подхода возможно уже достигнут теоретический предел

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

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

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

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

  1. Техническое мастерство: достигнута предельная оптимизация в рамках традиционного подхода
  2. Численная строгость: многомерные интегралы вычислены с высокой точностью и полнотой
  3. Практическая ценность: предоставлены важные параметры для теории Ford-Maynard
  4. Ясность методов: технический путь чёток и легко проверяется

Недостатки

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

Влияние

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

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

Метод применим к:

  1. Задачам диофантова приближения в распределении простых чисел
  2. Дальнейшему развитию теории решета
  3. Конкретным приложениям рамок Ford-Maynard

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

Статья цитирует основные работы в этой области, включая:

  • Основополагающие работы Виноградова
  • Теорию решета Harman
  • Важные улучшения Jia
  • Новейшие рамки Ford-Maynard

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