# Подходы 24–26: квадратуры, сопряжённые числа и арифметика квадратов Дата: 18 октября 2026 года, UTC. Это проверяемые математические записи для исследовательского журнала. Они не являются доказательством гипотезы Чоулы; математический приоритет приведённых частичных утверждений не установлен. ## Постановка и обозначения Во всех трёх подходах исходный объект неизменен: \[ A\subset\mathbb Z_{>0},\qquad |A|=N,\qquad f_A(t)=\sum_{a\in A}\cos(at),\qquad K(A)=-\min_t f_A(t). \] Все частоты различны, амплитуды равны единице, фазы равны нулю. Цель — одна абсолютная постоянная \(c>0\), такая что \(K(A)\ge c\sqrt N\) для всех A. Меры, алгебраические числа и факторы ниже являются инструментами проверки; вспомогательные примеры с другими коэффициентами не называются контрпримерами к исходной гипотезе. ## 24. Адаптивная положительная квадратура с тяжёлым атомом ### Проверяемая идея Попытаться заменить непрерывную окружность малым числом адаптивно выбранных точек с положительными весами. Если все исходные гармоники интегрируются точно, то большой вес одной точки должен заставить остальные точки компенсировать положительный пик \(f_A(0)=N\). Проверялась конкретная универсальная лемма: для любого A существует вероятностная мера \(\mu\), удовлетворяющая \[ \int e^{iat}\,d\mu(t)=0\quad(a\in A), \] и имеющая атом веса хотя бы \(c/\sqrt N\), где c не зависит от A. Достаточно было бы квадратуры с \(O(\sqrt N)\) узлами. Узлы здесь не предписаны заранее, в отличие от прежней проверки фиксированных сеток. ### Верный перенос Пусть \(\mu\{t_0\}=w>0\). Обнуление комплексных гармоник даёт \[ 0=\int f_A(t_0-t)\,d\mu(t) =Nw+\int_{t\ne t_0}f_A(t_0-t)\,d\mu(t) \ge Nw-K(A)(1-w). \] Следовательно, \[ \boxed{K(A)\ge \frac{Nw}{1-w}.}\tag{24.1} \] Это утверждение верно для любого A, любой такой меры и любого её атома; ни ограничение исходных частот, ни равномерность узлов не требуются. Для полноты: квадратура с не более чем \(2N+1\) узлами существует. Нуль лежит в выпуклой оболочке кривой \(t\mapsto(\cos at,\sin at)_{a\in A}\subset\mathbb R^{2N}\), поскольку он является её средним. В конечной выпуклой комбинации более чем \(2N+1\) точек имеется аффинная зависимость. Изменяя веса вдоль этой зависимости, можно сохранить их сумму и барицентр, пока один вес не станет нулём; повторение уменьшает число узлов до \(2N+1\). Это даёт через (24.1) только оценку \(K\ge1/2\). ### Точное опровержение нужной универсальной леммы Возьмём допустимый набор \(A=\{1,\ldots,N\}\). Для любой меры, обнуляющей все эти гармоники, и любой точки \(t_0\) рассмотрим \[ Q(t)=\left|\sum_{j=0}^{N}e^{ij(t-t_0)}\right|^2\ge0. \] Его ненулевые частоты лежат в \(\pm A\), поэтому \[ \int Q(t)\,d\mu(t)=N+1. \] Если в \(t_0\) расположен атом веса w, то \[ N+1\ge wQ(t_0)=w(N+1)^2, \qquad\boxed{w\le\frac1{N+1}.}\tag{24.2} \] Граница достигается равномерной мерой на \((N+1)\)-х корнях единицы. Следовательно, минимальное число узлов равно \(N+1\), а максимально возможный вес атома точно равен \(1/(N+1)\). Условие \(w\ge c/\sqrt N\) для одной положительной c невозможно при больших N. Это не связано с малым реальным провалом: для того же набора формула Дирихле при \(t=3\pi/(2N+1)\) даёт \[ K(A)\ge\frac{1}{2\sin(3\pi/(4N+2))}+\frac12 \ge\frac{2N+1}{3\pi}+\frac12. \] Реальный провал имеет линейную нижнюю оценку, тогда как оптимизация тяжёлого атома в (24.1) даёт лишь единицу. ### Более общее препятствие для узлов Если множество целых чисел B обладает свойством \((B-B)\setminus\{0\}\subset A\cup(-A)\), то аналогичная проверка с \(\left|\sum_{b\in B}e^{ib(t-t_0)}\right|^2\) даёт для каждого атома \(w\le1/|B|\). Это точно указывает, какая структура частот препятствует построению квадратуры с тяжёлым атомом. ### Статус Перенос (24.1) доказан; универсальный тяжёлый атом и универсальные \(O(\sqrt N)\) узлов опровергнуты на допустимой бесконечной семье. Это исключает конкретный механизм, а не все методы квадратур. Первичный контекст общей теории положительных квадратур: C. Bayer, J. Teichmann, *The proof of Tchakaloff's Theorem*, https://arxiv.org/abs/math/0502473 . Доказательства (24.1)–(24.2) приведены полностью и от этой ссылки не зависят. ## 25. Полная орбита Галуа: следы, нормы и положительные единицы ### Проверяемая идея На корне единицы сумма с целыми коэффициентами становится алгебраическим целым числом. Если сдвинутая волна положительна на всей окружности, то положительны все его сопряжённые значения. Проверялось, удастся ли получить масштаб \(\sqrt N\) из целочисленной нормы и следов всей орбиты Галуа. ### Точные формулы на исходном классе Пусть \(D=\max A\), \(m\ge K(A)\) — положительное целое число, \(p>2D+1\) — простое, \(\zeta=e^{2\pi i/p}\), \[ H(z)=2m+\sum_{a\in A}(z^a+z^{-a}),\qquad \alpha_k=H(\zeta^k),\quad1\le k2r\) первые два средних равны \[ \mu_1=\frac{pr-r^2}{p-1},\qquad \mu_2=\frac{p(2r^3+r)/3-r^4}{p-1}.\tag{25.4} \] Если для каждого r выбрать простое \(p>r^4\), то \[ \frac{\mu_2}{\mu_1^2}\sim\frac{2r}{3}\longrightarrow\infty. \] Следовательно, положительность всех сопряжённых, циклотомичность, целочисленность и даже точная норма один не дают необходимого ограничения на относительную дисперсию. Во вспомогательном многочлене коэффициенты равны \(r-|a|\), а не единице. Пример опровергает только указанное арифметическое усиление и не опровергает гипотезу Чоулы. Для завершения пути пришлось бы существенно использовать точный плоский спектр коэффициентов исходного H; такое новое неравенство не доказано. ### Статус Формулы (25.1)–(25.4) и нормовое препятствие доказаны. Матрицы умножения в целочисленном базисе циклотомического поля независимо воспроизводят нормы, следы и следы квадратов в приложенном коде. Более сильная лемма для исходного класса 0/1 остаётся недоказанной. Этот подход использует арифметику всей орбиты, а не предполагает, что минимум лежит на сетке. ## 26. Квантовать коэффициенты спектрального фактора ### Проверяемая идея Неотрицательная тригонометрическая сумма допускает спектральную факторизацию. Необычное дополнительное требование — добиться, чтобы коэффициенты факторов лежали на одной фиксированной рациональной решётке. Тогда каждый ненулевой коэффициент расходует минимальное количество энергии, и число исходных частот можно ограничить. Это отличается от прежних проверок степеней SOS, рангов матриц или кратностей разностей: здесь ограничивается **арифметический знаменатель коэффициентов факторов**. Ни степень, ни число факторов заранее не ограничиваются. ### Лемма о фиксированном знаменателе: полный вывод Пусть m и q — положительные целые и на всей окружности имеется конечное разложение \[ H(z)=2m+\sum_{a\in A}(z^a+z^{-a}) =\sum_{j=1}^{s}|Q_j(z)|^2,\qquad Q_j\in q^{-1}\mathbb Z[i][z,z^{-1}].\tag{26.1} \] Допускаются любые конечные Laurent-многочлены и любые знаки. В частности, лемма включает факторы с действительными рациональными коэффициентами. Положим \(R_j=qQ_j=\sum_k r_{jk}z^k\), где \(r_{jk}\in\mathbb Z[i]\), \[ E_j=\sum_k|r_{jk}|^2,\qquad L_j=\sum_k|r_{jk}|,\qquad E=\sum_j E_j=2m q^2. \] Последнее равенство следует из постоянного коэффициента (26.1). Для каждого ненулевого гауссова целого \(|r|\ge1\), поэтому \(|r|\le|r|^2\) и \(L_j\le E_j\). Сумма модулей положительных Fourier-коэффициентов левой части \(q^2H\) равна \(q^2N\). Для правой части неравенство треугольника даёт \[ \begin{aligned} q^2N &\le\sum_j\sum_{k<\ell}|r_{jk}|\,|r_{j\ell}|\\ &=\frac12\sum_j(L_j^2-E_j)\\ &\le\frac12\left[\left(\sum_jE_j\right)^2-\sum_jE_j\right] =\frac{E^2-E}{2}. \end{aligned} \] Тем самым \[ \boxed{N\le2m^2q^2-m.}\tag{26.2} \] Все возможные компенсации между факторами учтены неравенством треугольника. Утверждение не требует положительных коэффициентов Q, ограниченной степени или ограничения на расстояние между частотами. Если бы для каждого A с \(m=\lfloor K(A)\rfloor+1\) разложение (26.1) существовало при одном ограниченном общем знаменателе \(q\le q_0\), то \(N\le2q_0^2(K+1)^2\). Из известной элементарной границы \(K\ge1\) следовало бы \[ K(A)\ge\frac{\sqrt N}{2\sqrt2\,q_0}. \] Граница \(K\ge1\) может быть получена из обычного фактора \(K+f_A=|P|^2\): произведение крайних коэффициентов P по модулю равно \(1/2\), поэтому их суммарная квадратичная энергия не меньше единицы. ### Проверка q=1: маленький строгий контрпример Для \[ A_7=\{1,2,3,5,6,7,8\} \] введём \(y=\cos t\). Тогда \[ 2+f_{A_7}(t)= 1-4y-12y^2+40y^3+112y^4-96y^5-224y^6+64y^7+128y^8. \tag{26.3} \] Его положительность на всём \([-1,1]\) подтверждена точными рациональными коэффициентами в базисе Бернштейна. На каждом интервале многочлен является выпуклой комбинацией своих коэффициентов Бернштейна; в таблице указан наименьший из девяти коэффициентов. | Интервал y | Минимальный коэффициент Бернштейна | |---|---:| | [-1,-3/4] | 3/8 | | [-3/4,-1/2] | 3/2 | | [-1/2,0] | 45/56 | | [0,1/4] | 253/2048 | | [1/4,1/2] | 87/512 | | [1/2,3/4] | 1163/512 | | [3/4,7/8] | 13997/131072 | | [7/8,1] | 25799/262144 | Все восемь интервалов покрывают область, и все указанные числа строго положительны. Кроме того, \[ f_{A_7}(t)\big|_{\cos t=7/8} =-\frac{248147}{131072}<-1. \] Таким образом, строго доказано \(12\sum_{a=1}^{d}|r_a|. \] Тогда точное тождество имеет вид \[ R=\left(r_0-2\sum_a|r_a|\right) +\sum_{a:r_a\ne0}|r_a|\,|1+\operatorname{sign}(r_a)z^a|^2. \] Все веса положительны и рациональны. Любой вес \(u/v>0\), u,v целые, можно поглотить в рациональные коэффициенты факторов, заменив один взвешенный квадрат \((u/v)|S|^2\) на uv одинаковых квадратов \(|S/v|^2\). То же относится к постоянному члену. Число слагаемых конечно, поэтому получается требуемое рациональное разложение. Его коэффициенты обладают конечным общим знаменателем. Доказательство завершено. Для исходной задачи достаточно взять \(m=\lfloor K\rfloor+1\), чтобы \(H=2m+2f_A\) был строго положителен. Таким образом, знаменатель существует для каждого A, но общей верхней границы не доказано. Если \(q_{\min}(A)\) — минимальный положительный общий знаменатель среди таких конечных рациональных разложений при выбранном m, то (26.2) даёт \[ \boxed{q_{\min}(A)\ge \sqrt{\frac{N+m}{2m^2}}.}\tag{26.4} \] В частности, гипотетическая последовательность контрпримеров \(K(A)/\sqrt N\to0\) потребовала бы \(q_{\min}(A)\to\infty\). Обратное утверждение не установлено: большой необходимый знаменатель сам по себе не опровергает Чоулу. ### Статус Доказаны условная граница (26.2), невозможность q=1 на конкретном допустимом наборе, существование рационального разложения для каждого строго положительного H и необходимое увеличение знаменателя у гипотетических контрпримеров. Новая достаточная лемма об абсолютной границе знаменателя остаётся недоказанной. Первичный источник использованной обычной спектральной факторизации: M. A. Dritschel, J. Rovnyak, *The Operator Fejér–Riesz Theorem*, введение, скалярная теорема и обсуждение внешнего фактора: https://uva.theopenscholar.com/files/james-rovnyak/files/p71.pdf . Источник гарантирует обычные факторы; дополнительное требование к знаменателям не приписывается этой теореме. ## Вычислительное подтверждение Файл `geometry_checks.py` выполнен успешно. Он: 1. точно проверяет коэффициентные тождества квадратурного препятствия; 2. вычисляет циклотомические нормы целочисленными матрицами умножения и методом Барейса, получая норму один у трёх проверенных примеров; 3. независимо сверяет следы и следы квадратов с (25.1), (25.2), (25.4); 4. строит (26.3) целочисленной рекурсией Чебышёва, а затем с нуля пересчитывает все 72 рациональных коэффициента Бернштейна; 5. проверяет точное отрицательное значение и противоречие 7>6. Полный результат с рациональными числами находится в `geometry_check_results.json`. Ни вычисление глобального минимума по сетке, ни арифметика с плавающей точкой в сертификатах не используются. Проверка кода дополняет общие доказательства, но не заменяет их и не является внешним рецензированием.