# Подходы 37–39: точное устранение aliasing, разреженный автомат и случайное кодирование тора 18 октября 2026 года, UTC. Это проверяемые математические записи для исследовательского журнала. Общее доказательство Чоулы и контрсемья с K/sqrt(N)->0 не получены. Новизна утверждений не установлена. Для конечного непустого множества различных положительных целых частот A используются f_A(x)=sum cos(ax), N=|A| и K(A)=-min f_A. Все интегралы по окружности и торам нормированы до вероятностной меры. ## 37. Сначала вычислить ошибку подъёма циклического спектра, затем контролировать весь круг ### 37.1 Что изменено по сравнению с предыдущими попытками Ранее уже установлено, что значений на корнях единицы недостаточно. Здесь проверяются два дополнительных механизма: точная алгебраическая формула поправки между циклической и обычной группой частот и алгоритм, который превращает достаточно частую сетку в **сертификат непрерывного минимума** с явно доказанной погрешностью. Дополнительно прочитан первичный препринт Bu et al., *A half-constant upper bound for Chowla's cosine problem*, 12 October 2026: https://arxiv.org/html/2610.17160v1 . Его лемма 3.2 уже содержит корректный подъём взвешенного Singer-спектра через ядро Фейера с равномерной ошибкой sqrt(q). Это результат авторов препринта, а не новый вывод настоящего исследования. Проверка данной леммы изложена в 37.5; весь препринт здесь независимо не верифицирован. ### 37.2 Точная Laurent-поправка Пусть S subset {0,...,v-1}, |S|=k — совершенное циклическое разностное множество: каждый ненулевой остаток modulo v имеет ровно одно представление s-t, s,t in S. Тогда v=k(k-1)+1 нечётно. Положим \[ P_S(z)=\sum_{s\in S}z^s,\qquad A=\{|s-t|:s,t\in S,\ s\ne t\},\qquad J_v(z)=\sum_{r=0}^{v-1}z^r. \] Разности A попарно различны как неориентированные положительные разности; |A|=k(k-1)/2=(v-1)/2. Более точно, A содержит ровно один элемент из каждой пары {a,v-a}, 1<=aN_m/20\qquad\text{для каждого }m\ge20.} \] Следовательно, K(A_m)/sqrt(N_m)->infinity. Это исключает всю данную бесконечную семью как контрпример к Чоуле, хотя плотность частот нулевая. ### 38.3 Префиксные вероятности Рассмотрим равномерное число a из B_m и нормированное X_m=a/2^m. Пусть задан допустимый префикс длины r, рассматриваемый от старшего бита к младшему; его числовое значение равно b, а последний бит e равен 0 или 1. Число допустимых продолжений равно F_{m-r+2-e}. Поэтому \[ \Pr(\text{префикс }b)=\frac{F_{m-r+2-e}}{F_{m+2}}. \] Положим phi=(1+sqrt(5))/2 и tau=phi^{-2}. По формуле Бине предельная вероятность этого префикса равна \[ p_b=\phi^{-r-e},\qquad \sum_b p_b=1. \] При m>=r действительные вероятности удовлетворяют \[ \sum_b|\Pr_m(b)-p_b|\le4\tau^{m-r+1}. \] Действительно, F_n=phi^n(1-(-tau)^n)/sqrt(5). После деления дроби на p_b её отклонение от 1 не больше (tau^{m-r+1}+tau^{m+2})/(1-tau^{m+2})<=4 tau^{m-r+1}; затем суммируем с весами p_b. Не используется независимость битов. ### 38.4 Точная отрицательная точка Берём r=10 и настоящий одномерный аргумент x_m=6/2^m. После фиксации префикса b остающийся хвост X_m отличается от b/2^r не больше чем на 2^{-r}. Так как |cos u-cos v|<=|u-v|, \[ \frac{\Re P_m(e^{ix_m})}{F_{m+2}} \le \sum_b p_b\cos(6b/2^{10}) +\frac6{1024}+4\tau^{m-9}. \] Для 144 допустимых десятибитовых префиксов вычислен **рациональный интервальный сертификат** \[ \sum_b p_b\cos(6b/1024) \in[-0.05914652,-0.05914651] \subset(-\infty,-59/1000). \] Сертификат ограничивает sqrt(5) двумя рациональными числами, проверяя их квадраты, затем возводит интервалы phi в отрицательные целые степени и ограничивает каждый косинус рядом Тейлора с остатком. Ни одна приближённая десятичная оценка не используется как предположение. Поскольку tau<2/5, при m>=20 получаем \[ \frac{\Re P_m(e^{ix_m})}{F_{m+2}} < -\frac{59}{1000}+\frac6{1024}+4(2/5)^{11} =-\frac{1324321321}{25000000000}<-\frac1{20}. \] Наконец f_{A_m}(x_m)=Re P_m(e^{ix_m})-1 и N_m=F_{m+2}-1. Следовательно, f_{A_m}(x_m)<-N_m/20, что доказывает заявленное утверждение для всех m>=20. Отдельный поиск всех минимумов не требуется. ### 38.5 Ограничение вывода Причина неудачи здесь установлена для конкретного фрактального распределения частот: его косинусное преобразование отрицательно при масштабированном аргументе 6. Это не доказывает, что все разреженные автоматы или все положительные transfer-рекурсии имеют линейный провал. Тем более это не общий результат для всех множеств A. ## 39. Случайное целочисленное кодирование многомерных волн с контролем ошибки ### 39.1 Точный смысл многомерной постановки Пусть a_1,...,a_N — ненулевые векторы Z^d, попарно различные с точностью до знака. Рассматривается действительная функция на полном торе \[ F(t)=\sum_{j=1}^N\cos\langle a_j,t\rangle,\qquad K_d=-\min_{t\in\mathbb T^d}F(t). \] Для целого вектора v берём b_j=||. Если b_j положительны и попарно различны, это допустимый одномерный набор, причём его сумма точно равна F(vx). Поэтому всегда K_1<=K_d. Свободные фазы вдоль одномерного движения этим равенством не назначаются. Проверяемая дополнительная цель — получить количественную гарантию K_1>=K_d-eps для случайного **целого** кодирующего вектора. Доказательство ниже развивает моментное приближение из подхода 8 в другом направлении; преемственность отмечена, новой независимой теорией оно не объявляется. ### 39.2 Теорема о вероятности и диапазоне частот Пусть 0| состоит из N различных положительных целых чисел и удовлетворяет \[ \boxed{K_d-\mathrm{eps}\le K(\{b_j\})\le K_d.} \] Если D=max_j||a_j||_1, то max b_j<=D ceil B. Оценка B огромна; практическая эффективность не утверждается. ### 39.3 Доказательство: исключить только конечное число гиперплоскостей Для любого h in Z^N с ||h||_1<=r положим s_h=sum_j h_j a_j. Если s_h!=0, вероятность =0 не больше 1/ceil B: при фиксации всех координат v, кроме одной с ненулевым коэффициентом, остаётся не больше одного допустимого значения этой координаты. Всего h не больше (2r+1)^N. Оценка объединения даёт вероятность отсутствия всех таких новых отношений не меньше 1-delta. На этом событии не возникают нулевые частоты или совпадения со знаком: они соответствовали бы отношениям ||h||_1<=2. Имеются также ровно те же постоянные коэффициенты в r-й степени \[ g(t)=N-F(t)\ge0 \] на многомерном торе и её одномерном ограничении. Следовательно, их нормы L^r в степени r совпадают точно. Остаётся равномерное приближение максимума через L^r. Разобьём каждую из N фаз на M полуинтервалов. В прообразе некоторой из M^N ячеек лежит множество E меры не меньше M^{-N}. Выберем t_0 in E и перенесём E на t_*-t_0, где g(t_*)=G=max g. Все фазовые отклонения от t_* теперь не больше 2*pi/M, поэтому g>=G-eps/2 на множестве той же меры. Отсюда \[ (G-\mathrm{eps}/2)M^{-N/r}\le\|g\|_r\le G, \] а поскольку G<=2N, \[ 0\le G-\|g\|_r \le\mathrm{eps}/2+2N^2\log M/r\le\mathrm{eps}. \] Это верно и для многомерной функции, и для одномерного ограничения. Общая L^r-норма помещает два максимума в один интервал длины eps; разность максимумов равна разности K. Включение одномерного движения в тор даёт второе неравенство и завершает доказательство. ### 39.4 Точный тест, обнаруживающий ошибку «любой код сохраняет минимум» Возьмём векторы (1,0),(0,1),(1,1). На полном торе \[ 3+2(\cos x+\cos y+\cos(x+y))=|1+e^{ix}+e^{-iy}|^2, \] поэтому K_2=3/2, с равенством при x=y=2*pi/3. Проекция v=(1,m), m>=2, даёт допустимый набор {1,m,m+1}. Для всех m \[ \frac32-\frac{2\pi^2}{9m^2}\le K(\{1,m,m+1\})\le\frac32. \] Чтобы проверить нижнюю оценку, выберем x=(2*pi/3+2*pi*k)/m так, чтобы его круговое расстояние от 2*pi/3 было минимальным. Оно равно нулю, если m=1 modulo 3, и равно 2*pi/(3m) иначе. При x=2*pi/3+eta и mx=2*pi/3 modulo 2*pi сумма точно равна -1/2-cos eta. Используем cos eta>=1-eta^2/2. Равенство K=3/2 имеет место точно при m=1 modulo 3, что следует из условия равностороннего треугольника для трёх единичных векторов в квадратной идентичности. Например, m=2 даёт {1,2,3}, для которого непрерывный минимум из сертификата 37 строго меньше по глубине 3/2. Моментный тест также видит потерю: третий момент полной двумерной суммы равен 3/2, а третий момент её ограничения {1,2,3} равен 9/4. Это следствие нового короткого отношения 2*1-2=0, которого не было между векторами (1,0) и (0,1). Значения проверены точным извлечением постоянных коэффициентов. ### 39.5 Почему этот перенос не превращает конечную группу в тор Теорема применяется к векторам Z^d и интегрированию по непрерывному тору. Она не переносит без изменений отношения конечной группы. Пусть один характер конечной группы имеет порядок p>=2. Для Haar-меры его p-й косинусный момент отличается от момента cos(bx), b — любое положительное целое, ровно на \[ \boxed{2^{1-p}.} \] Доказательство: раскрываем cos^p=((z+z^{-1})/2)^p. На непрерывном торе выживает только нулевая степень; в конечной группе дополнительно выживают степени +p и -p, каждая с коэффициентом 2^{-p}. Например, при p=3 моменты равны 1/4 и 0. Поэтому сохранение всех моментов до порядка p при замене нетривиального torsion-характера одной целой ненулевой частотой невозможно. Это ограничение переноса, а не контрпример Чоуле. Оно объясняет, почему Singer-сетку из 37 нельзя объявить полным тором в доказательстве 39. **Итог 39:** количественное кодирование настоящих торических конструкций доказано; произвольный код может уменьшить глубину минимума, а отношения конечной группы требуют отдельного контроля. Источник общего sqrt-bound или контрсемьи самим кодированием не создан. ## Воспроизводимость и границы проверки Выполнен `constructions_37_39.py`; результаты сохранены в `constructions_37_39_results.json`. Все точные assertions прошли. Проверены Laurent-коэффициенты, интервальные сеточные сертификаты, 144 взвешенных префикса, точные рекурсии Фибоначчи и моменты проекций. Общие утверждения о всех m в 38 и вероятности в 39 опираются на приведённые доказательства, а не на конечную выборку. Внешняя научная рецензия и проверка в Lean/Coq не проводились.