Плотность пар вычетов на кольце периодов КТО

[Morro-X]

Математическая заметка: Детерминированный комбинаторный подход к оценке глобальной и локальной плотности пар вычетов на кольце периодов

Автор: moromov.maks

1. Постановка задачи и конструктивный приём автора
Рассматривается замкнутое кольцо периодов (многомерный дискретный тор) вычетов по общему мультипликативному модулю M_n = P_1 \cdot P_2 \cdot \dots \cdot P_n, где P_i — последовательные простые числа (P_1 = 2, P_2 = 3, P_3 = 5 и т. д.).

Важное терминологическое уточнение: В рамках данного исследования под «числами в кольце» (или элементами) понимаются абстрактные вычеты, взаимно простые с базисом P_n. Эти числа не обязательно являются простыми. Это детерминированное комбинаторное множество элементов числовой оси, которые просто не делятся ни на одно из первых n простых чисел.

Автор вводит параметризованную конструкцию — число S, строящееся как линейная комбинация составных модулей кольца:
S = \pm A_1 \cdot \frac{M_n}{P_1} \pm A_2 \cdot \frac{M_n}{P_2} \pm \dots \pm A_n \cdot \frac{M_n}{P_n} = \sum_{i=1}^{n} \pm A_i \cdot \frac{M_n}{P_i}
где для каждого индекса коэффициент A_i гарантированно не делится на P_i.

Свойства числа S и строгое обоснование неделимости:
Каждое простое число P_k из набора (P_1, P_2, \dots, P_n) делит без остатка все слагаемые суммы S, кроме одного — именно того, где в знаменателе стоит P_k. Поскольку A_k также не делится на P_k, то и всё k-е слагаемое не делится на P_k.

Вывод: Сумма S принципиально не делится ни на одно из исходных простых чисел (P_1, P_2, \dots, P_n), то есть является взаимно простой с базисом решета:
S \not\equiv 0 \pmod{P_i} для всех i \le n

Теорема (Критерий простоты на старте): Если полученное число по модулю меньше квадрата следующего простого числа (|S| < P_{n+1}^2) и не равно единице, то S гарантированно является истинным простым числом.

Пример для n=4 (базис 2, 3, 5, 7): При подстановке коэффициентов (3, 2, 11, 17), не делящихся на свои P_i, получаем:
3 \cdot 105 + 2 \cdot 70 - 11 \cdot 42 + 17 \cdot 30 = 315 + 140 - 462 + 510 = 503
Число 503 строго взаимно просто с 2, 3, 5, 7.

2. Алгебраическая разность конструкций и формирование множеств
Пусть заданы два разные набора коэффициентов B_i и C_i, каждый из которых удовлетворяет условию неделимости на P_i. Если разность между ними для каждого индекса постоянна и равна B_i - C_i = m, то разность между двумя конструкциями S_B и S_C строго равна этому числу m:
S_B - S_C = \sum_{i=1}^{n} (B_i - C_i) \cdot A_i \cdot \frac{M_n}{P_i} = m \cdot \sum_{i=1}^{n} A_i \cdot \frac{M_n}{P_i} = m \cdot 1 = m
(при условии нормирования базовой линейной комбинации \sum A_i \frac{M_n}{P_i} = 1 по Китайской теореме об остатках).

Это доказывает существование на кольце периодических систем чисел (вычетов) с заданной фиксированной разностью m = 2k. Общее количество таких пар на всем периоде кольца M_n детерминировано и задается формулой:
G(k) = (P_1 - 1) \prod_{i=2}^{n} (P_i - \angle_i)
где \angle_i = 1, если разность 2k делится на P_i, и \angle_i = 2 в противном случае. Для близнецов (2k=2) всегда \angle_i = 2.

3. Обоснование гипотезы: Баланс детерминированных множеств
Фундаментальным объектом исследования в данной работе является распределение всех множеств пар вычетов G(k), взаимно простых с базисом P_n, по равным интервалам длины L = P_{n-1} \cdot P_n на пространстве всего гигантского кольца периодов M_n, а не только на его стартовом участке.

Общее количество «чисел в кольце» (допустимых вычетов) является численно конкретным и жестко задается функцией Эйлера:
N_1 = \varphi(M_n) = (P_1-1)(P_2-1)\dots(P_n-1)

С ростом n параллельно формируются различные множества пар с разностями 2k (где k = 1, 2, 3, \dots). Объемы этих множеств G(k) также являются численно конкретным инвариантами. Важнейшее комбинаторное свойство системы заключается в том, что суммарный объем всех работающих множеств разностей 2k с ростом n начинает лавинообразно превосходить общее количество самих чисел N_1 в кольце.

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

В силу этого координированного комбинаторного давления множества вынуждены распределяться по интервалам длины L на протяжении всего кольца периодов квазиравномерно. Любой локальный перекос плотности вызвал бы мгновенный разрыв связей в сопутствующих множествах, что математически запрещено неизменностью объемов G(k). Относительное отклонение факта от теории с ростом n асимптотически стремится к нулю, что доказывает: ошибка формулы падает с ростом n.

Специфика первого (начального) интервала:
В рамках численного эксперимента фокус внимания намеренно смещен на первый интервал числовой оси от 1 до P_{n-1} \cdot P_n. Локальное изучение этого участка обусловлено важнейшим свойством: поскольку длина интервала L < P_{n+1}^2, все свободные вычеты из комбинаторных множеств на этом отрезке гарантированно не имеют никаких других делителей. Следовательно, на первом интервале все числа из этих множеств автоматически являются чистыми, живыми простыми числами (и простыми близнецами), что позволяет напрямую сопоставить абстрактную геометрию кольца вычетов с реальным распределением простых чисел.

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

Суть модели: Представим кольцо периодов как круглый стол с фиксированным числом лунок, а допустимые вычеты — как «камни», которые необходимо разложить по этим лункам. Различные множества разностей 2k представляют собой жёсткие невидимые распорки (мостики) фиксированной длины, которыми камни должны быть соединены между собой. Количество мостиков каждой длины строго ограничено и задано величиной G(k). Каждый камень является одновременно и началом, и концом множества различных распорок.

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

Поскольку с ростом n количество распорок, сходящихся в одном камне, стремится к бесконечности, у камней физически исчезают свободные степени свободы для смещения. Чтобы все численно конкретные множества распорок G(k) одновременно замкнулись на кольце без разрывов, камни вынуждены занять псевдослучайные, максимально равномерные позиции. На этом геометрическом свойстве и держится сильная равномерность всей числовой системы.

5. Намеченный путь строгого аналитического доказательства
Для перевода данной эвристической модели в статус доказанной теоремы предлагается использовать три фундаментальные математические концепции:
- Инвариантность относительно сдвигов (Теория меры Хаара): Кольцо периодов КТО представляет собой многомерный дискретный тор. Операции сдвига элементов на разности 2k эквивалентны вращениям этого тора. Единственной вероятностной мерой на компактной топологической группе (тороидальном пространстве вычетов), которая остается абсолютно инвариантной относительно сдвигов, является равномерная ,мера Хаара.
- Теория жестких зацеплений (Сверхплотный гиперграф Бомбиери–Виноградова): Многократное участие одного вычета во множестве систем 2k математически описывается ростом степени вершин связывающего их гиперграфа. Согласно подходам, близким к теореме Бомбиери–Виноградова о распределении вычетов в среднем, лавинообразное уплотнение этих связей зажимает дисперсию локальной плотности в жесткие рамки.
- Метод тригонометрических сумм Виноградова и экспоненциальные суммы Клоостермана: Аналитическое доказательство предела \frac{\text{разрежение}}{L} \to 0 строится через разложение характеристической функции решета в ряд Фурье. Оценка возникающих сумм Клоостермана и тригонометрических сумм И. М. Виноградова доказывает, что все высшие гармоники (отвечающие за локальную неравномерность) взаимно гасят друг друга при n \to \infty.

6. Экспериментальные данные автора (Прежняя версия сводки)
Результаты точного подсчета, выполненного автором без округлений на калькуляторе больших чисел вплоть до n=40 (длина периода кольца M_{40} \approx 3.73 \cdot 10^{61}, длина отрезка L_{40} = 28891):

* n = 5 | Длина L = 77 | Теория = 5 | Практика = 5 | Разница = 0.00%
* n = 6 | Длина L = 143 | Теория = 7 | Практика = 8 | Разница = 14.29%
• n = 7 | Длина L = 221 | Теория = 10 | Практика = 11 | Разница = 10.00%
• n = 8 | Длина L = 323 | Теория = 13 | Практика = 16 | Разница = 23.08%
• n = 9 | Длина L = 437 | Теория = 16 | Практика = 19 | Разница = 18.75%
• n = 10 | Длина L = 667 | Теория = 22 | Практика = 25 | Разница = 13.64%
• n = 11 | Длина L = 899 | Теория = 28 | Практика = 30 | Разница = 7.14%
• n = 12 | Длина L = 1147 | Теория = 37 | Практика = 35 | Разница = -5.41%
• n = 13 | Длина L = 1517 | Теория = 42 | Практика = 44 | Разница = 4.76%
• n = 14 | Длина L = 1763 | Теория = 47 | Практика = 49 | Разница = 4.26%
• n = 15 | Длина L = 2021 | Теория = 52 | Практика = 55 | Разница = 5.77%
• n = 16 | Длина L = 2491 | Теория = 61 | Практика = 66 | Разница = 8.19%
• n = 17 | Длина L = 3127 | Теория = 74 | Практика = 76 | Разница = 2.70%
• n = 18 | Длина L = 3599 | Теория = 83 | Практика = 90 | Разница = 8.43%
• n = 19 | Длина L = 4087 | Теория = 91 | Практика = 99 | Разница = 8.79%
• n = 20 | Длина L = 4757 | Теория = 103 | Практика = 114 | Разница = 10.68%
• n = 21 | Длина L = 5183 | Теория = 109 | Практика = 121 | Разница = 11.01%
• n = 22 | Длина L = 5767 | Теория = 118 | Практика = 132 | Разница = 11.86%
• n = 23 | Длина L = 6557 | Теория = 131 | Практика = 143 | Разница = 9.16%
• n = 24 | Длина L = 7387 | Теория = 144 | Практика = 159 | Разница = 10.42%
• n = 25 | Длина L = 8633 | Теория = 165 | Практика = 177 | Разница = 7.27%
• n = 26 | Длина L = 9797 | Теория = 184 | Практика = 194 | Разница = 5.43%
• n = 27 | Длина L = 10403 | Теория = 191 | Практика = 204 | Разница = 6.80%
• n = 28 | Длина L = 11021 | Теория = 199 | Практика = 211 | Разница = 6.03%
• n = 29 | Длина L = 11663 | Теория = 207 | Практика = 219 | Разница = 5.80%
• n = 30 | Длина L = 12317 | Теория = 215 | Практика = 231 | Разница = 7.44%
• n = 31 | Длина L = 14351 | Теория = 246 | Практика = 262 | Разница = 6.50%
• n = 32 | Длина L = 16637 | Теория = 281 | Практика = 282 | Разница = 0.36%
• n = 33 | Длина L = 17947 | Теория = 299 | Практика = 301 | Разница = 0.67%
• n = 34 | Длина L = 19043 | Теория = 312 | Практика = 316 | Разница = 1.28%
• n = 35 | Длина L = 20711 | Теория = 335 | Практика = 335 | Разница = 0.00% (Идеальное совпадение)
• n = 36 | Длина L = 22499 | Теория = 359 | Практика = 368 | Разница = 2.51%
• n = 37 | Длина L = 23707 | Теория = 374 | Практика = 387 | Разница = 3.48%
• n = 38 | Длина L = 25591 | Теория = 398 | Практика = 403 | Разница = 1.26%
• n = 39 | Длина L = 27221 | Теория = 419 | Практика = 419 | Разница = 0.00% (Идеальное совпадение)
• n = 40 | Длина L = 28891 | Теория = 439 | Практика = 440 | Разница = 0.23%

7. Заключение
1. Теоремы детерминированного подсчета глобальных объемов множеств G(k) и свойства числа S доказаны автором строго.
2. Эксперимент наглядно подтверждает асимптотический рост точности: на шаге n=39 отклонение теории от практики падает до абсолютного нуля (0.00%), а на шаге n=40 составляет всего 0.23%.
3. Введение в теорию меры Хаара и тригонометрических оценок остатка математически доказывает закон псевдослучайной стабилизации под комбинаторным давлением сети гиперграфа связей.
4. Жёсткая увязка множеств G(k) по всему кольцу M_n гарантирует, что локальные «проплешины» на интервалах асимптотически исчезают, а на первом интервале это обеспечивает непрерывное существование новых пар чистых простых чисел-близнецов при n \to \infty.

[Morro-X]

Добрый день, коллеги!

Представленная заметка — это результат точного комбинаторного подсчета вычетов на замкнутом кольце периодов КТО. Хочу обратить внимание на масштаб верификации данных, приведенных в Приложении.

На финальном шаге n=40 мультипликативный модуль кольца составляет порядка 3.73*10^{61}. Если представить длину локального интервала L_40 (28891) в масштабе одного атома водорода, то само гигантское кольцо периодов в этом же масштабе превысит диаметр нашей наблюдаемой Вселенной примерно в 146 миллиардов миллиардов раз.

И на всем этом невообразимом пространстве детерминированное давление сети гиперграфа связей удерживает локальную плотность вычетов с абсолютной точностью до одной-единственной пары (Теория = 439, Практика = 440). Система буквально зажата в тиски инвариантностью.

При этом я четко осознаю внутреннее ограничение метода: комбинаторика тора КТО доказывает сильную природную квазиравномерность распределения кластеров, но "молчит" о конкретной локальной координате старта первого кортежа на натуральной оси.

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

[Morro-X]

О монотонном характере локальной погрешности теоретической плотности пар вычетов на периодах КТО.

Уважаемые участники форума!

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

Как показал точный подсчёт на больших массивах данных (вплоть до шага базиса $n = 10^7$), эвристическая гипотеза о квазиравномерности распределения плотности ПСВ на стартовом локальном интервале $L = P_{n-1}P_n$ ожидаемо не подтвердилась в строгом смысле. Наблюдается систематическое завышение теоретического значения (формула $G(1)/I_n$) относительно фактического количества пар простых близнецов на этом отрезке.

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

• При $P_n = 599$ завышение составляет 4%
• При $P_n = 8 629$ завышение составляет 11% (прирост +7%)
• При $P_n = 7 786 829$ завышение составляет 18% (прирост +7%)
• При $P_n = 179 424 673$ ($n = 10^7$) завышение составляет 19.34%

Очевидно, что здесь вступает в силу классический аналитический закон: фильтрация фиксированным базисом простых чисел от $P_1$ до $P_n$ на лавинообразно расширяющемся интервале $L$ становится «слепой» к составным числам старших порядков, чьи делители лежат за пределами текущего базиса. Скорость вхождения этих старших фаз решета в корзину подчиняется логарифмическому закону, что и обеспечивает такую идеальную плавность дуги завышения (для равного шага погрешности в 7% требуется экспоненциальное укрупнение масштаба $P_n$).

С точки зрения аналитической теории чисел, эту локальную систематическую ошибку можно компенсировать гладкой логарифмической поправкой масштаба интервала вида:

K_{kor}(n) = \frac{\ln^2 P_n}{(\ln P_{n-1} + \ln P_n)^2}

В асимптотическом пределе при $n \to \infty$ этот коэффициент, как известно из теоремы Мертенса, устремится к $1/4$ (что даёт завышение в 4 раза или предельную долю ложных срабатываний в 75%), сводя модель к классической оценке Харди — Литлвуда.

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

Буду рад услышать ваши соображения. Как, оставаясь в рамках дискретного комбинаторного анализа (без привлечения непрерывных логарифмических функций), можно строго описать закон этого масштабного сжатия плотности?

Заранее спасибо за конструктивную критику и идеи.

[Morro-X]

При P_n = 2\,038\,074\,743 (n = 10^8) завышение составляет 20.06\%

[Morro-X]

Уважаемые коллеги!

Хочу подвести промежуточный итог численного эксперимента и сместить фокус дискуссии с констатации самого факта погрешности на её фундаментальную **рекуррентную природу**.

Как показали данные вплоть до шага $n = 10^8$, эвристическая гипотеза о плоской квазиравномерности на стартовом интервале ожидаемо трансформировалась в аналитический закон. Наблюдаемый «дефект массы» теоретической плотности относительно практики — это не баг модели, а фундаментальное структурное свойство локальной окрестности нуля тора КТО. Малые простые числа ($2, 3, 5, 7 \dots$) выступают в роли «гравитационных тяжеловесов», создавая максимальную плотность пересечения координатных сеток делителей именно на первом интервале, что приводит к локальному разрежению выживших пар вычетов.

Однако ключевая ценность эксперимента заключается в характере этой погрешности. Динамика завышения «Теории» над «Практикой» демонстрирует идеальный монотонный характер с затуханием прироста (сдвиг от $19.34\%$ до $20.06\%$ потребовал укрупнения масштаба $P_n$ в $10$ раз). Физически это можно описать как процесс асимптотического «охлаждения» системы: с ростом $n$ лавина больших простых чисел, для которых дельта между вычитанием $1$ или $2$ становится ничтожной, мультипликативно подавляет буйство малых чисел, прижимает ошибку сверху и выводит траекторию на стабильное плато Мертенса.

Поскольку этот спуск к асимптотическому плато (предел в $25\%$ выживших пар от глобального объема) является строго гладким и детерминированным, мы имеем веские основания утверждать, что закон нарастания этой погрешности может быть интегрирован непосредственно внутрь рекурсии КТО.

Если динамический коэффициент коррекции будет обладать тем же **рекуррентным свойством**, что и базовые формулы объемов множеств $G$, мы получаем принципиально новый аналитический инструмент. Переход от шага $n$ к шагу $n+1$ будет описываться замкнутым разностным уравнением, учитывающим логарифмическое «остывание» системы нарастающим базисом.

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

1. Не только парных вычетов из комбинаторных множеств $G(2k)$ (включая простых близнецов).
2. Но и изолированных свободных вычетов из классического множества функции Эйлера $\varphi(M_n)$, что дает прямой выход на детерминированную оценку плотности единичных простых чисел на сверхдальних интервалах.

Таким образом, дискретная геометрия тора КТО не просто аппроксимируется непрерывными функциями сверху, а сама, изнутри своей рекурсивной структуры, генерирует гладкую логарифмическую поправку.

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

[Morro-X]

Добрый день, уважаемые коллеги!
Хочу поделиться с вами одним важным теоретическим соображением, к которому меня подтолкнули результаты сквозного численного эксперимента на больших размерностях тора КТО (вплоть до шага n = 10^8). Как показывают промежуточные данные, наблюдаемый «дефект массы» теоретической плотности на стартовом интервале ведет себя достаточно системно. Я попытался взглянуть на внутреннюю дискретную геометрию этой системы, чтобы нащупать возможную первопричину такой стабилизации.
Если мы введем некоторый условный пограничный параметр — малое простое число P_{m} (m \(\ll \) n), то весь базис решета можно условно разделить на «малые» простые числа (ниже этого порога) и «старшие» простые числа. Исходя из этого, все комбинаторные множества разностей G(2k) на полном периоде тора КТО можно концептуально разделить на два класса:
1. «Увеличенные» (возмущенные) множества: те разности, которые делятся на малые простые числа из базиса (в силу чего их объемы локально возрастают, создавая первичные «всплески» плотности).
2. «Почти равные» (однородные) множества: те разности, которые взаимно просты с малым базисом, а их деление (если оно есть) происходит только на гигантские старшие простые числа. Для достаточно больших простых чисел отношение \(\frac{P-1}{P-2}\) асимптотически стремится к единице, что делает объемы таких множеств геометрически почти неразличимыми.
В связи с этим возникает интересное комбинаторное предположение. С ростом размерности тора (n \(\to \infty\)) количество комбинаций и типов «почти равных» множеств на полном периоде M_{n} начинает лавинообразно и несоизмеримо превосходить фиксированную номенклатуру малых увеличенных множеств.
Возможно, именно это обстоятельство — численное превосходство почти равных множеств — и является скрытой причиной сильной квазиравномерности всей системы. Огромная однородная сеть этих симметричных связей может выступать в роли своеобразного геометрического стабилизатора. Локальные флуктуации и «перекосы», вносимые малыми числами, как предположительно кажется, полностью демпфируются и растворяются в этом бескрайнем изотропном каркасе старших порядков. В результате мы, возможно, и наблюдаем на графиках не хаотический шум, а плавно затухающую логарифмическую дугу погрешности, характер которой еще предстоит строго изучить.
Буду очень рад услышать ваши соображения по поводу такой комбинаторной картины. Насколько жизнеспособной вам кажется данная модель внутренней стабилизации тора за счет доминирования однородного класса множеств?