SNOL: редукция к rank-1 соседу¶
← 17. Закон оплаты · Оглавление · 19. Old-peel →
В [17 Оплата] мы довели «двигатель не останавливается бесплатно» до точного закона дефекта: бесплатный проход к простому \(p\) требует делимости \(a-\theta\) на весь примориал малых простых, а как только примориал перерастает активный делитель, такой проход для нетривиального \(a\) невозможен.
Но там единственный распределительный вход — то есть именованное недостающее утверждение, гейт (см. словарь), — остался изолирован в скаляр — баланс shifted-charge и tax, тянущих в разные стороны и не закрывающихся одновременно без счёта. Настоящая глава меняет ракурс: мы не пытаемся победить этот скалярный бюджет счётом, а сводим всю программу к одному алгебраическому узлу и показываем, почему этот узел не счётный по построению.
Смена стратегии: от счётной стены к одному узлу¶
Все прежние финальные маршруты — four-corner (12, 14) и payment budget (17) — упирались в одну и ту же счётную стену: чтобы их замкнуть, требовалось контролировать распределение делителей сдвига (Мертенс, Brun/Сельберг), то есть переходить parity-барьер. Из интуиции естественно попытаться не пробивать эту стену, а обойти её структурно.
Наблюдение, лежащее в основе редукции: дефекты product-state организованы по рангу (числу простых \(>A\) в разложении активной стороны), и по рангу можно спускаться. Rank descent сводит всякий дефект к rank-1 — состоянию, где одна из сторон клина есть само активное простое \(a\). А rank-1, как мы покажем ниже чистой алгеброй, сводится к одной лемме о соседе:
Эту импликацию мы называем SNOL (Shifted-Neighbour Obstruction Lemma). Ключевое свойство SNOL — то, ради чего вся редукция и затевается: она по построению не счётная. Ниже мы докажем всю окружающую алгебру машинно и предъявим численное подтверждение того, что счёт здесь бессилен в обе стороны.
Примечание. Мы нигде не выдаём эту редукцию за доказательство гипотезы близнецов. Доказана алгебра rank-1 и условная теорема «SNOL \(\Rightarrow\) бесконечность близнецов». Сама SNOL — единственный открытый узел; глава честно локализует его, а не закрывает.
Доказуемая алгебра rank-1¶
Перенос двойки на противоположную сторону¶
Введём rank-1 конфигурацию: активное простое \(a\) занимает одну сторону клина с центром \(n\) и знаком \(\varepsilon\in\{-1,+1\}\), то есть
Тогда противоположная сторона того же центра вычисляется без остатка.
Теорема 18.1 (
rank1_opposite). Если \(6n+\varepsilon=a\), то\[ 6n-\varepsilon = a - 2\varepsilon. \]
Доказательство — чистая арифметика переноса двойки (omega): вычитая \(2\varepsilon\) из обеих сторон равенства \(6n+\varepsilon=a\), получаем \(6n-\varepsilon=a-2\varepsilon\). Содержательно это значит: как только одна сторона rank-1 клина есть активное простое, вторая сторона жёстко фиксирована как сдвинутый сосед \(a-2\varepsilon\). Именно этот сдвинутый сосед и становится ареной всей дальнейшей борьбы — не сам \(a\), а его сосед \(a-2\varepsilon\) (при \(\varepsilon=+1\) это \(a-2\), при \(\varepsilon=-1\) это \(a+2\)).
Насыщение соседского коридора¶
Пусть теперь активное простое лежит в neighbour-коридоре по конечному множеству \(Q\) попарно взаимно простых малых модулей: для каждого \(q\in Q\) выполнено \(a\equiv 2\varepsilon\pmod q\), эквивалентно \(q\mid a-2\varepsilon\). Тогда делимость поднимается до примориала.
Теорема 18.2 (
neighbour_saturation). Пусть \((Q)_{\mathrm{Set}}\) попарно взаимно просты и \(q\mid a-2\varepsilon\) для всех \(q\in Q\). Тогда\[ \Bigl(\prod_{q\in Q} q\Bigr)\ \Big|\ a-2\varepsilon, \]то есть \(a = k\!\cdot\!\prod_{q\in Q} q + 2\varepsilon\) для некоторого \(k\).
Доказательство поднимает попарную делимость до делимости на произведение через попарную взаимную простоту (Finset.prod_dvd_of_coprime, coprimality переводится в IsCoprime над \(\mathbb Z\)). Это ровно евклидов twin-neighbour сдвиг вида \(kP\pm 2\): активное простое, весь сосед которого «съеден» малыми простыми, обязано иметь форму \(a=kP+2\varepsilon\). Никакого распределения здесь нет — это тождество делимости.
Порог: коридор недостижим для малого \(a\)¶
Насыщение \(P\mid a-2\varepsilon\) вступает в конфликт с размером, как только примориал коридора перерастает величину сдвига.
Теорема 18.3 (
neighbour_corridor_bound). Если \(P\mid a-2\varepsilon\) и \(|a-2\varepsilon|<P\), то \(a=2\varepsilon\).
Доказательство разбирает два случая. Если \(a-2\varepsilon=0\), утверждение тривиально. Иначе \(a-2\varepsilon\neq 0\), и по \(P\mid a-2\varepsilon\) имеем \(P\le|a-2\varepsilon|\) (Int.le_of_dvd от ненулевого делимого) — противоречие с \(|a-2\varepsilon|<P\), так что оставшийся случай замыкает omega.
Содержательно: нетривиальное активное простое не может насытить весь коридор, чей примориал превзошёл его сдвиг. Это в точности тот же закон дефекта, что и в [17 Оплата] (shifted_primorial_bound, late_boundary_not_free), но для соседского сдвига \(2\varepsilon\) вместо compatibility-сдвига \(\theta\).
Примечание. Три теоремы выше — вся rank-1 алгебра — доказаны без единого распределительного предположения. Численно rank descent короткий: у old-free составных сторон \(6m\pm1\) наблюдается 100% rank 2 (ровно два простых \(>A\)), так что цепь \(4\to3\to2\to1\) на практике вырождается в один шаг \(2\to1\); а neighbour-коридор \(kP\pm2\) подтверждается точным тождеством (\(Q=\{5,7,11\}\), \(P=385\): \(a=385k\pm2\Rightarrow a\mp2\equiv0\pmod{385}\)).
Финальная условная теорема¶
Чтобы соединить rank-1 алгебру с гипотезой близнецов, зафиксируем SNOL-вход — тот же типизированный блочный предикат, что замыкает всю программу в 15 ToTwins.
Определение 18.4 (
SNOLInput). Утверждение\[ \forall N,\ \exists\,\text{carrier},\text{bad}:\ (\forall m\in\text{carrier},\ N<m)\ \wedge\ |\text{bad}|<|\text{carrier}|\ \wedge\ (\forall m\in\text{carrier},\ m\notin\text{bad}\Rightarrow \mathrm{IsTwinCenter}\,m). \]
То есть: на каждом масштабе \(N\) существует carrier выше \(N\), в котором «плохих» (носителей terminal shifted-neighbour obstruction) строго меньше, чем всех, и каждый выживший — twin-центр. SNOL как содержательное утверждение говорит ровно это: terminal shifted-neighbour current не может быть carrier-scale, то есть блочный вход выполнен.
Теорема 18.5 (
twin_primes_of_SNOL). Если выполненSNOLInput, тоTwinLowers.Infinite— простых-близнецов бесконечно много.
Доказательство — прямой мост twin_prime_conjecture_of_blocks: тот же капстоун-переход «блочное доминирование выживших \(\Rightarrow\) неограниченность twin-центров \(\Rightarrow\) бесконечность», что и в 15 ToTwins, только вход подан в форме SNOL, а не реального four-corner. Контрапозиция замыкает картину.
Теорема 18.6 (
finite_contradicts_SNOL). ЕслиTwinLowersконечно и выполненSNOLInput, тоFalse.
Доказательство: finite_contradicts_SNOL hfin H := hfin (twin_primes_of_SNOL H). Единственный открытый узел всей программы, таким образом, — именно SNOL: всё остальное машинно проверено.
Почему SNOL — не та же стена¶
Здесь принципиальная разница с прежними входами. Ранее вход \(H\) (four-corner) был переодетым распределением: его нельзя было проверить, не оценив плотность рангов. SNOL устроена иначе, и это подтверждается численно.
Аудит соседей (tools/RESULTS_snol.md, харнесс snol_harness.py) измеряет долю простых \(a\in(A,A^2]\), у которых сосед \(a\pm2\) уже имеет малый делитель \(\le A\) — то есть CRT «ловит» соседа:
| \(A\) | \(a-2\) пойман | \(a+2\) пойман |
|---|---|---|
| 50 | 0.617 | 0.628 |
| 200 | 0.705 | 0.706 |
| 1000 | 0.778 | 0.778 |
Доля большая и растёт с \(A\) по закону \(1-\prod_{q\le A}(1-1/q)\). Отсюда двусторонний вывод:
- Счётом/CRT-ёмкостью SNOL доказать нельзя. У 62–78% активных простых сосед уже пойман малым простым — это не аномалия, а норма. Значит, «catch \(p\mid a-2\varepsilon\)» сам по себе типичен, и никакой оценкой ёмкости его не запретишь.
- Следовательно, SNOL обязана опираться не на распределение, а на Euclidean-родословную активного \(a\): на тот факт, что \(a\) пришёл из descent клинового центра, а не был выбран из общей популяции простых.
Вывод. Маршрут не переходит красную линию именно потому, что там, где прежние входы тайно звали распределение, SNOL его запрещает (счёт бессилен в обе стороны) и требует вместо него структуру родословной.
Гипотеза (SNOL, открыто). Terminal shifted-neighbour obstruction не может быть carrier-scale: для каждого масштаба доля активных простых \(a\) (пришедших из descent), чей сосед \(a-2\varepsilon\) систематически пойман старым простым \(p\le A\) так, что \(a\) становится терминалом, строго меньше carrier — то есть выживших большинство.
План закрытия. Связать активное простое \(a\) с его descent-предком так, чтобы структура родословной запрещала систематическое попадание в neighbour-коридор \(p\mid a-2\varepsilon\). Поскольку счёт здесь по построению бессилен, аргумент должен быть о происхождении \(a\), а не о его арифметике по модулю малых простых. Первый шаг этого плана — показать, что «catch» \(p\mid a-2\varepsilon\) есть не терминал, а шаг спуска, регенерирующий меньший центр.
Где мы теперь¶
Вся программа сведена к одному машинно-зафиксированному узлу — SNOL. В отличие от прежних входов, он не счётный (мы проверили: счёт бессилен и за, и против) и указывает точное место будущей работы — родословную активного простого.
Естественно предположить, что и последний шаг плана закрытия — раскрытие «catch» в спуск — должен опереться не на распределение, а на уже доказанную невозможность двигателя Евклида — запрет бесконечного строго убывающего спуска (см. словарь). Именно это раскрытие мы и разбираем дальше: в [19 Old-peel] terminal shifted-neighbour obstruction перестаёт быть терминалом и оказывается очередным шагом строгого спуска, замыкающим финал на EPMI без единого счётного аргумента.