Эйнштейн не играет в кости с простыми числами

Этот материал появился на свет благодаря откликам на мою прошлую публикацию под названием «Осень. Срочно дайте телефон Перельмана — я доказал гипотезу Римана». Читатели справедливо отметили, что там «ничего не понятно, но невероятно интересно».

В рамках моей концепции простые числа выступают в роли независимых осей многомерного пространства, тогда как составные представляют собой координаты, образующиеся в результате произведений по этим осям. На числовой оси такие произведения формируют сплошное покрытие: занятые позиции соответствуют составным числам, а незащищенные промежутки в пределах строго доказанной безопасной границы содержат простые. Каждое вновь выявленное простое число привносит новую ось и раздвигает горизонты покрытия.

Миры. Под этим термином подразумеваются замкнутые пространства с ограниченным, строго конечным набором чисел — как простых, так и составных. В привычном нам бесконечном натуральном ряду за каждым числом $N$ неизменно следует $N + 1$. Здесь же каждый мир обладает собственным пределом. Финальное простое число установленной границы служит фундаментом для следующего мира — также ограниченного, но уже с расширенным рубежом. В базовой статье эти миры существенно упрощались: из рассмотрения исключалась ось двойки, то есть анализировались исключительно нечетные числа. Применялось и еще одно сильное упрощение — отбрасывались уже задействованные векторные составляющие простых из предыдущих миров, если их проекции в текущем окне перекрывались иными значениями. Данная трансформация не нарушает целостности покрытия, но значительно упрощает анализ конкретного мира и верификацию его границ.

(Многомерные) миры-вспышки представляют собой инструмент для масштабных и стремительных шагов сквозь последовательность простых чисел. На базе известного простого числа формируется мир с предварительно просчитанной границей: произведения уже известных множителей перекрывают составные позиции, а оставшиеся бреши указывают на расположение новых простых. Обнаружив крайнее из них, мы подтверждаем составной характер всех последующих чисел вплоть до установленной границы и используем найденное простое в качестве опорной точки для последующего мира. Подобный скачок позволяет миновать промежуточные ориентиры — отсюда и метафора «вспышки».

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

Миры-вспышки структурируют это поэтапное расширение крупными шагами: выявив крайнее простое число внутри заданного интервала, мы удостоверяемся в отсутствии других простых справа до самой границы и на основе нового базиса инициируют создание следующего мира. В совокупности они складываются в непрерывную цепочку проверяемых макропереходов. Такой подход предлагает элегантную геометрическую модель для осмысления природы и алгоритмов поиска простых чисел.

Что именно поддается прогнозированию. Опираясь на базовое простое число 673, мы заранее вычисляем гарантированную границу 2023 (которая является составным числом). Однако само простое число 2017 еще предстоит отыскать путем направленного перебора кандидатов или построения защитного покрытия. Специальные сертификаты впоследствии верифицируют тот факт, что правее и вплоть до границы иных простых чисел не существует. Речь идет о целевом поиске в строго обоснованной зоне, а не о механическом извлечении координат простого числа из некой универсальной формулы границы.

Альтернативные подходы также способны детерминировано находить новые простые числа. Если исчерпывающий перечень простых чисел до порога B известен, то простое просеивание их кратных позволяет безошибочно выявить все простые вплоть до B²: любой составной элемент в этом интервале гарантированно обладает простым делителем, не превышающим B. Этот фундаментальный принцип лежит в основе сегментированных решет.

Применительно к нашему примеру получаем следующие соотношения:

• конечный мир с ограничением множителя m ≤ B обеспечивает железобетонное покрытие вплоть до отметки 2023;

• известная база простых чисел до 673 дает возможность классифицировать числа вплоть до 452 929 с помощью классических алгоритмов.

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

В чем же заключается сильная сторона нашей концепции? Ее ценность кроется в оптимизации затрат на решение локальной задачи: отыскать предельное простое число в заданном окне, зафиксировать проверяемые доказательства для правого фланга и двигаться дальше, не растрачивая ресурсы на перебор всех промежуточных простых значений. Именно здесь требуется корректный бенчмаркинг временных затрат, потребления памяти и объема проверок при идентичности конечного результата.

Следовательно, на данный момент корректно использовать формулировку «точный метод переходов между опорными точками с применением сертификатов». Претендовать же на звание «абсолютно лучшего метода предсказания простых» пока преждевременно.

Однако ситуация отнюдь не безнадежна! Наш подход детерминированно очерчивает зону точного поиска, хотя и не выдает адрес следующего простого числа мгновенно, минуя вычисления. К примеру, базис 673 задает безопасный предел 2023, однако число 2017 внутри этого интервала еще предстоит обнаружить, а составную природу оставшихся справа чисел — документально подтвердить.

Существующие альтернативные методы также позволяют с абсолютной точностью вычислять новые простые на основе уже накопленной базы. Следовательно, практический профит кроется не в громких декларациях о «превосходстве над всеми», а в минимизации издержек для узкоспециализированных задач.

И на этом фронте у нас уже имеются эмпирически подтвержденные результаты. Мы сопоставили наш поисковый алгоритм с традиционным сегментным решетом на идентичной испытательной трассе: 28 переходов между опорными точками, 31 короткое окно, каждое из которых содержит не более 15 нечетных позиций. Задача стояла единая: обнаружить предельное простое число и доказать отсутствие других простых правее вплоть до границы окна. При этом наш алгоритм попутно сохраняет явные делители для всех составных чисел.

Медианное время прохождения всей дистанции по результатам 12 запусков каждого алгоритма распределилось следующим образом:

Алгоритм	Первый запуск, мс	Повторный запуск, мс
Наш кандидатный поиск candidate_prime	263,506	294,488
Сегментное решето segmented	713,200	826,170
Миллер—Рабин с 12 фиксированными основаниями mr12_candidates	2,035	2,219

В прямом сопоставлении наш поисковый механизм продемонстрировал превосходство над классическим сегментным решетом примерно в 2,8 раза: медианные показатели временных соотношений составили 2,788 и 2,760 соответственно. Методика расчета подразумевала предварительное вычисление пропорций для каждого отдельного раунда с последующим выведением медианы.

Тем не менее, третий участник тестирования — тест Миллера — Рабина — оказался на порядки быстрее обоих конкурентов. В исследованном диапазоне вплоть до 2⁶⁴ задействованная модификация работает в детерминированном режиме, не прибегая к вероятностным компромиссам ради прироста производительности.

Таким образом, зафиксированное ускорение справедливо исключительно для конкретной реализации на Python и для специфической задачи в рамках коротких окон. Оба движка функционируют под управлением единого контроллера переходов между мирами. Данное исследование не претендует на статус глобального сравнения со всеми существующими решетами или доказательство превосходства над высоко оптимизированными библиотеками на C/C++.

Программное обеспечение и исходники · Подробный протокол, результаты и команды воспроизведения.

Авторская геометрическая интерпретация распределения простых через модель покрытия и комплексную траекторию их накопления

Левая часть иллюстрации демонстрирует механику покрытия: произведения признанных простых осей занимают составные позиции, отмеченные зелеными ячейками. В границах проверенного рубежа незанятые участки, обозначенные синими контурами, в точности соответствуют простым числам.

Центральный блок отражает кумулятивное накопление простых чисел в разрезе миров. Каждая ступень символизирует переход к новому миру, а ее вертикальный размах отражает количество вновь прибывших простых чисел. Именно поэтому ступени имеют разную высоту: в приведенном примере прирост составляет последовательно 2, 5, 12 и 27 простых чисел.

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

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

Представленная конструкция позволяет исчерпывающе описать последствия замены гладкого эталона. Обозначим через H(N) совокупное количество сертифицированных пустот в интервале от 3 до N, учитывая каждую позицию ровно единожды. Если в формуле, сопряженной с гипотезой Римана (RH), подставить этот дискретный геометрический счетчик вместо классического логарифмического интеграла, результирующий остаток обращается в тождественный ноль:

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

Тем не менее, замена эталонного объекта модифицирует саму природу сравнительного анализа. Получение нулевого остатка при сопоставлении двух точных счетчиков ничего не говорит об их отклонении от логарифмического интеграла — а именно этот параметр критически важен для классической формулировки RH. Следовательно, результат этой подстановки представляет собой строго доказанное тождество для геометрического счетчика, нонюню не является доказательством самой гипотезы Римана.

Основная статья: «Осень. Срочно дайте телефон Перельмана — я доказал гипотезу Римана».

 

Источник