# Подход 30. Запрет бесконечного строгого спуска при фиксированном числе частот Дата: 18 октября 2026 UTC / 17 октября 2026 America/Chicago. Статус: доказано общее частичное утверждение; равномерная по N оценка Чоулы не получена. Новизна не заявляется. Это развитие компактностного результата подхода 8, с другим проверяемым механизмом — строгим спуском значений. ## 30.1. Точная идея При фиксированном N рассмотрим множество всех достижимых глубин V_N={K(A): A состоит из N различных положительных целых чисел}. Попытаемся доказать, что каждая цепочка строгих улучшений K(A_1)>K(A_2)>K(A_3)>... обязана закончиться. Затем проверим, следует ли из этого запрета бесконечного спуска равномерная оценка K(A)>=c sqrt(N). ## 30.2. Лемма об односторонней сходимости Лемма. Если A_j имеют одно и то же число частот N и K(A_j)->v, то существует подпоследовательность, вдоль которой K(A_j)<=v для всех достаточно больших j. Доказательство. Выпишем частоты каждого A_j в возрастающем порядке a^(j). В торе T^N=(R/2pi Z)^N рассмотрим замкнутую связную подгруппу H_j={t*a^(j) mod 2pi: t in R}. Компактность пространства непустых замкнутых подмножеств компактного метрического пространства даёт сходящуюся по Хаусдорфу подпоследовательность H_j->H. Предел H является подгруппой: для u,v in H приближаем их точками u_j,v_j in H_j и используем u_j-v_j in H_j. H замкнута. Её целочисленный аннулятор L(H)={h in Z^N: exp(i*h dot theta)=1 для каждого theta in H} конечно порождён как подгруппа Z^N. Выберем конечную базу h_1,...,h_s. По равномерной непрерывности характеров и сходимости Хаусдорфа образ exp(i*h_l dot H_j) при больших j лежит в малой дуге около единицы. Он одновременно является компактной связной подгруппой окружности, то есть либо всей окружностью, либо {1}; первый случай исключён малой дугой. Каждый h_l поэтому аннулирует H_j при больших j. Для конечного числа l можно взять общий порог j. Замкнутая подгруппа тора равна пересечению ядер своих аннулирующих целочисленных характеров. Следовательно, H_j subset H при больших j. Положим Phi(theta)=-sum_(i=1)^N cos(theta_i). Непрерывность Phi даёт max_H Phi = lim_j max_(H_j) Phi = v. Из включения следует K(A_j)=max_(H_j) Phi<=max_H Phi=v. Лемма доказана. Здесь не предполагается, что произвольная точка многомерного предельного тора достижима на одной исходной временной орбите. Используется только включение подгрупп и сходимость максимумов. ## 30.3. Теорема о строгом спуске Теорема. V_N вполне упорядочено обычным порядком вещественных чисел: каждое непустое его подмножество имеет наименьший элемент. В частности, бесконечной строго убывающей последовательности значений K при фиксированном N не существует. Доказательство. Предположим, что K(A_1)>K(A_2)>... . Значения ограничены снизу нулём и сходятся к v; каждый член строго больше v. Лемма даёт подпоследовательность с K(A_j)<=v при больших j, противоречие. Если непустое подмножество V_N не имело бы минимума, из каждого его элемента можно было бы выбрать строго меньший, получая запрещённую последовательность. Это доказывает вполне упорядоченность. QED. Следствие 1. Для любого непустого подкласса допустимых N-элементных наборов инфимум K внутри подкласса достигается некоторым его элементом. Подкласс не обязан быть замкнут по какой-либо топологии. Следствие 2. Если v in V_N и существуют большие значения из V_N, среди них есть наименьшее w>v. Поэтому существует положительный зазор над v, в котором других значений нет. Размер этого зазора данным доказательством не ограничен. Следствие 3. Любая процедура, делающая только строгие улучшения K при неизменном N, не может сделать бесконечно много таких улучшений. Это не даёт алгоритму способ узнать, что текущий рекорд глобально оптимален: очередной более хороший набор может ещё не быть найден, а гарантированной вычислимой длительности поиска из доказательства не следует. ## 30.4. Точная проверка ложного усиления «значений конечное число» Даже при N=3 возможны бесконечно многие различные значения, ограниченные константой строго меньше N. Рассмотрим A_D={1,2,D}, D>=3, L=17/8. Имеем точное тождество cos x+cos 2x = 2(cos x+1/4)^2 - 9/8. Поэтому K(A_D)<=17/8. Равенство потребовало бы одновременно cos x=-1/4 и cos(Dx)=-1. Второе условие означает, что exp(ix) — корень из единицы. Тогда 2cos x=exp(ix)+exp(-ix) — алгебраическое целое. Рациональное число -1/2 не может быть алгебраическим целым: если рациональное p/q в несократимом виде удовлетворяет моническому целочисленному уравнению, умножение на q^d показывает q|p^d, откуда q=1. Получено противоречие. Значит, K(A_D)<17/8 для каждого D>=3. Пусть alpha=arccos(-1/4). Выберем x_D=(2k+1)pi/D, ближайшее к alpha. Тогда |x_D-alpha|<=pi/D, cos(D*x_D)=-1. Из 1-липшицевости косинуса: f_(A_D)(x_D) = -17/8 + 2(cos x_D+1/4)^2 <= -17/8 + 2pi^2/D^2. Следовательно, 17/8 - 2pi^2/D^2 <= K(A_D) < 17/8. Значения стремятся к 17/8 снизу и не достигают его в этой семье; поэтому различных значений бесконечно много. Это не противоречит теореме: запрет касается приближения к пределу сверху, то есть строгого убывания. В частности, все эти значения лежат ниже 5/2<3. ## 30.5. Почему это всё ещё не общий ответ Чоуле Смысл теоремы — отдельное утверждение для каждого фиксированного N. Оно не даёт связи между минимумами kappa_N при разных N. Логический переход (для каждого N есть достигнутый минимум и положительные зазоры) => inf_N kappa_N/sqrt(N)>0 неверен без дополнительного математического аргумента. Точная контрмодель к этому логическому переходу: абстрактные множества W_N={N^(1/5), N}. Каждое W_N конечно, вполне упорядочено, имеет минимум и зазоры; его минимум даже стремится к бесконечности. Но min(W_N)/sqrt(N)=N^(-3/10)->0. Это абстрактные множества чисел, а не построенные косинусные суммы. Они опровергают только попытку получить равномерную константу из одних свойств порядка. Никакой контрсемьи к самой гипотезе здесь не получено. ## 30.6. Проверка, происхождение и научный статус Компактностная основа — лемма о подгруппах тора из подхода8; здесь она применена ко всем убывающим последовательностям значений, а не только к последовательности, приближающей глобальный инфимум. Все формулы контрсемьи A_D выведены выше точно. Никакой численный поиск не нужен для доказательства существования бесконечно многих значений. Исполнимый sanity-check отдельно помечается как дополнительная проверка, не заменяющая доказательство. Источники для математического контекста: - Idris Mercer, Finite searches, Chowla's cosine problem, and large Newman polynomials: https://arxiv.org/abs/1709.06612 . - D. Chatterjee, H. Lekharu, R. Shah, Dynamics of actions of automorphisms on the space of one-parameter subgroups of a torus and applications: https://arxiv.org/abs/2511.04111 . Эти источники не представлены как внешнее подтверждение нашей теоремы. Поиск приоритета ограничен; новое научное открытие не заявляется.