# Независимая проверка подхода 30

Дата: 18 октября 2026 года, UTC.

Проверенный документ: `descent_30.md`.

**Заключение:** математической ошибки в изложенных утверждениях и доказательствах не обнаружено. Лемма об одностороннем пределе, вполне упорядоченность V_N, достижение минимума в произвольном непустом подклассе, правые зазоры и семейство {1,2,D} подтверждены в указанных пределах. Это отдельный внутренний математический аудит в рамках исследования с ИИ; внешняя экспертиза и формальная машинная верификация не выполнялись. Новизна не заявляется.

## 1. Подгруппы и их предел

Для каждого вектора положительных целых частот a^(j) множество

\[
H_j=\{t a^{(j)}\pmod {2\pi}:t\in\mathbb R\}
\]

является образом компактной окружности: отображение периодично с периодом 2π, даже если истинный период меньше. Следовательно, H_j — непустая компактная связная подгруппа T^N. Примитивность вектора частот, то есть gcd A_j=1, для этого не нужна.

Пространство непустых замкнутых подмножеств компактного метрического пространства компактно в метрике Хаусдорфа. Получив H_j→H вдоль подпоследовательности, видим, что H непусто и замкнуто. Если u,v∈H, существуют u_j,v_j∈H_j с u_j→u, v_j→v; тогда u_j−v_j∈H_j и u−v∈H. Поэтому H — подгруппа. Связность предела также сохраняется, но дальнейшему аргументу не требуется отдельно ею пользоваться.

## 2. Самый существенный переход: H_j⊂H при достаточно больших j

Пусть

\[
L(H)=\{h\in\mathbb Z^N:\ e^{i h\cdot\theta}=1\ \text{для всех }\theta\in H\}.
\]

Это подгруппа свободной абелевой группы Z^N, поэтому у неё есть конечный набор порождающих h_1,…,h_s. Избыточность набора не мешает; базис можно понимать как базис свободной абелевой группы L(H), а не как вещественный базис окружающего пространства.

Рассмотрим одно фиксированное h∈L(H). Для выбранной метрики тора отображение

\[
\chi_h(\theta)=e^{ih\cdot\theta}
\]

равномерно непрерывно. При H_j→H значения χ_h на H_j становятся равномерно близки к 1, поскольку χ_h тождественно равно 1 на H. В частности, при достаточно больших j образ χ_h(H_j) не содержит −1.

С другой стороны, для нашего конкретного H_j

\[
\chi_h(H_j)=\{e^{it(h\cdot a^{(j)})}:t\in\mathbb R\}.
\]

Если h·a^(j)≠0, этот образ равен всей окружности, в том числе содержит −1. Поэтому при достаточно больших j обязательно h·a^(j)=0.

Применяем это к КОНЕЧНОМУ набору порождающих h_1,…,h_s и выбираем общий порог j. Все порождающие, а значит, и все h∈L(H), аннулируют H_j. Для замкнутой подгруппы тора стандартная двойственность характеров даёт

\[
H=\bigcap_{h\in L(H)}\ker\chi_h.
\]

Следовательно,

\[
\boxed{H_j\subset H\quad\text{для всех достаточно больших }j.}
\]

Это не является неверным утверждением, будто Хаусдорфово сближение произвольных множеств автоматически даёт включение. Здесь включение обеспечивают целочисленные характеры, конечная порождённость аннулятора и свойство каждого H_j быть целой временной подгруппой.

Если L(H)={0}, предельная группа равна всему T^N и включение вообще автоматически. Поэтому случай пустого набора порождающих не создаёт исключения.

## 3. Предел максимумов и односторонняя лемма

Функция

\[
\Phi(\theta)=-\sum_{i=1}^N\cos\theta_i
\]

равномерно непрерывна на T^N. Если ω — её модуль непрерывности и δ_j=d_H(H_j,H), то

\[
\left|\max_{H_j}\Phi-\max_H\Phi\right|\le\omega(\delta_j)\to0.
\]

Поэтому из K(A_j)→v следует max_H Φ=v. Уже доказанное включение H_j⊂H даёт K(A_j)≤v вдоль выбранной подпоследовательности при больших j.

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

## 4. Вполне упорядоченность и произвольные подклассы

Бесконечная строго убывающая последовательность K(A_1)>K(A_2)>… при фиксированном N ограничена снизу и имеет предел v. Каждый её член строго больше v. Односторонняя лемма утверждает противоположное для некоторой подпоследовательности. Поэтому такой последовательности нет.

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

Для произвольного непустого подкласса C допустимых наборов можно также дать прямое доказательство достижения инфимума. Положим

\[
v=\inf_{A\in C}K(A)
\]

и выберем A_j∈C с K(A_j)→v. Односторонняя лемма даёт K(A_j)≤v для некоторой подпоследовательности при больших j. Но определение инфимума даёт K(A_j)≥v. Значит, эти члены равны v и принадлежат тому же подклассу C.

Таким образом, топологическая замкнутость C НЕ нужна. Не требуется и принадлежность предельной многомерной группы H классу C. Минимум достигается одним из исходных наборов A_j, а не вводимым при предельном переходе новым объектом.

## 5. Зазор над каждым достижимым значением

Для v∈V_N подмножество \(\{w\in V_N:w>v\}\), если оно непусто, имеет наименьший элемент w_*. Тогда w_*−v>0 и в интервале (v,w_*) значений V_N нет.

Утверждение касается правого зазора над отдельным v. Оно не даёт общего размера зазоров для всех значений или всех N. Оно также не запрещает предельные точки, к которым значения подходят снизу.

## 6. Проверка точного семейства A_D={1,2,D}

Для каждого целого D≥3 частоты различны. Тождество

\[
\cos x+\cos2x=2(\cos x+1/4)^2-9/8
\]

сразу даёт f_{A_D}(x)≥−17/8 и K(A_D)≤17/8.

Равенство возможно лишь одновременно при cos x=−1/4 и cos(Dx)=−1. Второе условие даёт ζ=e^{ix}, ζ^{2D}=1. Поэтому ζ+ζ^{-1} является алгебраическим целым. Оно должно было бы равняться рациональному нецелому числу −1/2, что невозможно. Следовательно, K(A_D)<17/8 для каждого D.

Для α=arccos(−1/4) сетка нечётных кратных π/D имеет шаг 2π/D. Найдётся x_D с cos(Dx_D)=−1 и |x_D−α|≤π/D. Глобальная 1-липшицевость косинуса даёт

\[
f_{A_D}(x_D)
=-17/8+2(\cos x_D+1/4)^2
\le-17/8+2\pi^2/D^2.
\]

Итак,

\[
\boxed{17/8-2\pi^2/D^2\le K(A_D)<17/8.}
\]

Все знаки и постоянная 2π²/D² корректны. Для малых D нижняя оценка может быть слабой, но остаётся верной.

Поскольку каждое значение строго ниже 17/8, а последовательность сходится к 17/8, различных значений бесконечно много. Из этой оценки НЕ следует монотонность K(A_D) по D, и исходный документ её не заявляет. Не установлено также, достигается ли число 17/8 какими-то другими наборами из трёх частот; утверждение о недостижении относится только к данной семье.

## 7. Алгоритмические и общие границы результата

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

Отдельно не выведены:

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

Доказательство использует выбор Хаусдорфовой подпоследовательности и конечной базы аннулятора предельной группы. Наличие этих объектов доказано, но эффективная процедура их получения с нужными оценками не предъявлена. Поэтому сформулированная в исходном документе осторожность относительно алгоритма оправданна.

Контрмодель W_N={N^{1/5},N} корректно показывает, что одни свойства порядка не влекут положительность inf_N κ_N/√N. Она является логической моделью, а не косинусной контрсемьёй.

## Итог аудита

Подход 30 даёт подтверждённое в рамках данного математического аудита общее структурное утверждение при фиксированном N. Он не доказывает конечность V_N, не завершает точный конечный поиск алгоритмом остановки и не решает общую гипотезу Чоулы. Обязательных математических исправлений в `descent_30.md` не требуется.