# Гипотеза Чоулы: результаты исследовательской попытки Дата: 18 октября 2026 года, UTC. ## Статус **Общая гипотеза не доказана и не опровергнута.** Получены и проверены конечный вычислительный результат, точное решение случая двух частот и несколько аналитических выводов для ограниченных классов. Новизна этих результатов в математической литературе не установлена. Моментная оценка ниже совпадает с уже известным следствием леммы Рота. Главный проверенный результат: найден единственный лучший набор среди всех 4 194 303 непустых подмножеств частот от 1 до 22. Его непрерывный минимум заключён между точными рациональными границами. Две независимо написанные программы подтвердили полный перебор; положительность соответствующего многочлена проверена двумя различными математическими методами. Это воспроизводимое вычислительное доказательство конечного утверждения. Внешняя экспертная рецензия и формальная проверка в Lean не проводились. ## 1. Какую именно задачу решали Пусть \(A\) — непустое конечное множество **различных положительных целых** чисел, \(N=|A|\). Определим \[ f_A(x)=\sum_{a\in A}\cos(ax),\qquad K(A)=-\min_{x\in\mathbb R}f_A(x). \] Все амплитуды равны единице, начальные фазы равны нулю. Нулевую частоту, повторения, отрицательные или произвольные коэффициенты добавлять нельзя. Гипотеза утверждает, что существует **одно абсолютное число \(c>0\)**, для которого \[ K(A)\ge c\sqrt{|A|}\qquad\text{для каждого допустимого }A. \] Простыми словами: сколько бы одинаковых по амплитуде гармоник мы ни сложили, у суммы должен возникнуть достаточно глубокий отрицательный пик. Вопрос — насколько неизбежно растёт этот пик при увеличении числа гармоник. Такая формулировка задачи и её открытый общий случай обсуждаются в [1, 2]. Чтобы опровергнуть гипотезу, нужна последовательность наборов с \[ |A_j|\to\infty,\qquad \frac{K(A_j)}{\sqrt{|A_j|}}\to0. \] Один удачный конечный набор этого не даёт. Доказательство для всех частот до фиксированного числа также не устанавливает утверждение для неограниченных частот. ## 2. Строгий конечный результат Обозначим \[ A_* = \{1,2,3,4,5,6,7,8,10,11,13,14,15,16,17,21\}. \] Это набор из 16 частот. Для него точно установлено: \[ 2.4548327530L\). Здесь используются рациональные числа без округления. Дополнительная программа проверяет положительность другим способом: переводит многочлен в базис Бернштейна и последовательно делит интервал пополам. Получены 29 интервалов, полностью покрывающих область определения, на каждом из которых все коэффициенты строго положительны. Этот метод не использует цепочку Штурма. Коэффициенты самого многочлена также выведены другим тождеством. ### Как доказана оптимальность среди 4 194 303 наборов Для каждого \(A\) достаточно предъявить хотя бы одну точку, где сумма достаточно отрицательна. Если \(u_{a,k}\) — гарантированная верхняя граница \(\cos(a x_k)\), то \[ K(A)\ge -f_A(x_k)\ge-\sum_{a\in A}u_{a,k}. \] Поэтому конечная сетка может строго исключать конкурентов. Для противоположной оценки минимума победителя нужна проверка всего непрерывного интервала; она выполнена выше. Первая программа строит интервалы косинусов через половинные углы и точную целочисленную арифметику. Она перебирает все подмножества кодом Грея на сетке из 4097 точек. Все наборы, кроме \(A_*\), получают достаточную нижнюю оценку отношения. Вторая программа строит границы через рациональную формулу Мэчина для \(\pi\) и остаток ряда Тейлора. Она перебирает все подмножества через две таблицы по 11 элементов. Уже сетка из 513 точек оставляет единственное исключение — тот же \(A_*\); дополнительная проверка исключения на сетке из 4097 точек согласуется с первой программой. Сравнения с квадратным корнем сведены к точным целым квадратам и округлению вверх. В решениях о прохождении порога числа с плавающей точкой не участвуют. Переполнение исключено: абсолютные значения сумм не превышают \(22\cdot2^{40}<2^{63}\). ### Что именно покрывает вычислительный поиск | Проверка | Объём | Подтверждённый вывод | |---|---:|---| | Полный точный перебор частот до 22 | 4 194 303 непустых набора | Единственный оптимальный набор доказан | | Независимый точный повтор того же перебора | Те же 4 194 303 набора | Конечное утверждение воспроизведено другим алгоритмом | | Численный полный поиск частот до 24 | 16 777 215 непустых наборов | Найден тот же кандидат; отдельного точного доказательства оптимальности до 24 нет | | Эвристические поиски с максимальной частотой до 128 | 4 560 000 предложенных замен, 60 перезапусков | Более низкого отношения не найдено; полноты поиска нет | Области полных переборов пересекаются, поэтому их количества нельзя складывать как число разных исследованных множеств. Дополнительно двумя методами подтверждены границы: | Набор \(A\) | Строгий интервал для \(K(A)\) | |---|---| | \(\{1,2,4,6,7,8\}\) | \((1.5918323293,\ 1.5918323294)\) | | \(\{1,2,3,4,5,6,8,9,10,11,14\}\) | \((2.1023812792,\ 2.1023812793)\) | ## 3. Полностью решённый случай двух частот Для любых различных положительных целых \(a,b\) \[ K(\{a,b\})\ge\frac98. \] Равенство достигается в точности для наборов \(\{d,2d\}\), где \(d\) — положительное целое. Это элементарный частный результат; новизна не заявляется. **Доказательство.** Деление частот на их наибольший общий делитель не меняет минимум. Можно считать \(\gcd(a,b)=1\). Если обе частоты нечётные, в точке \(x=\pi\) сумма равна \(-2\). Иначе одна частота нечётная, обозначим её \(o\), а другая чётная, обозначим её \(e\). При \(o\ge3\) рассмотрим \(x_j=(2j+1)\pi/o\), \(0\le j\sqrt{N/2}. \] Для этого класса нужный порядок \(\sqrt N\) доказан. Вообще, если \(T\le C N^{3/2}\) с фиксированным \(C\), то \[ K(A)\ge\frac{\sqrt{9C^2+8}-3C}{4}\sqrt N. \] **Оставшийся пробел:** при большом числе равенств \(a+b=c\) эта оценка слаба. Например, для \(A=\{1,\ldots,N\}\) имеем \(T=N(N-1)/2\), а правая часть стремится к \(2/3\). Это недостаток оценки: реальный отрицательный пик именно такого набора растёт гораздо быстрее. Перехода, который закрывает все наборы с большим \(T\), не получено. ## 5. Почему естественное размножение конечного примера не даёт контрпример Была проверена идея многократно повторять удачный набор на разных масштабах частот. Для фиксированного \(A\), \(D=\max A\), \(B\ge2D+1\) положим \[ S=\{0\}\cup A\cup(-A),\qquad q=2N+1, \] \[ C_m=\left\{\sum_{j=0}^{m-1}s_jB^j:s_j\in S\right\}\cap\mathbb Z_{>0}. \] Представления единственны: старшая ненулевая разность двух представлений не может быть погашена младшими. Поэтому \[ |C_m|=\frac{q^m-1}{2},\qquad 1+2f_{C_m}(x)=\prod_{j=0}^{m-1}(1+2f_A(B^jx)). \] Для всех \(m\ge2\) доказано \[ K(C_m)\ge\frac{(2K(A)-1)(1-\pi^2/64)q^{m-2}+1}{2}. \] Здесь \(K(A)>1/2\). Доказательство использует конкретную точку \(x=\theta_0/B^{m-1}\), где \(f_A(\theta_0)=-K(A)\): последний множитель отрицателен, а остальные близки к положительному максимуму. Погрешности их нормированных значений образуют суммируемый ряд. Следовательно, при фиксированном исходном наборе \[ \frac{K(C_m)}{\sqrt{|C_m|}}\longrightarrow\infty. \] Таким способом малый конечный коэффициент не превращается в коэффициент, стремящийся к нулю. Это доказанное препятствие для конкретной конструкции. Полное доказательство и его независимый аудит находятся в `counterexample/NOTES.md` и `lower/product_audit.md`. Новизна леммы не установлена. Другой эксперимент проверил 2 097 130 комбинаций слоёв гиперкуба при размерностях до 20. Благоприятного сертификата не найдено. Этот эксперимент не исключает контрпример во всей соответствующей семье: минимум по независимым фазам даёт только нижнюю границу одномерной функции. ## 6. Что остаётся открытым и как это связано с BassPlus В общей задаче остаётся разрыв между доказанными нижними оценками и желаемым порядком \(\sqrt N\). Работа [1] даёт показатель \(1/5-o(1)\); в октябрьской работе [2] приведена и оценка порядка \(N^{1/5}\) с абсолютной константой и указана связь с сентябрьским результатом Шанкара. Полное квадратнокоренное утверждение там остаётся гипотезой. В [2] заявлена асимптотическая конструкция с \[ \lambda(N)\le\tfrac12\sqrt N+O(N^{1/4}\sqrt{\log N}), \qquad\lambda(N)=\inf_{|A|=N}K(A). \] Наш конечный коэффициент 0.613708 не улучшает эту асимптотическую конструкцию. Полное доказательство нового препринта не было независимо формализовано в этой работе; результаты литературы следует отличать от наших точных сертификатов. В терминах звука числа в \(A\) можно понимать как номера гармоник: частоты \(a f_0\) при общем основном тоне \(f_0\). Изменение \(f_0\) меняет временной масштаб, но не найденные безразмерные минимумы. Это исследование формы суммы волн при одинаковых амплитудах и начальных фазах. Отрицательное значение волны не означает «плохой звук» или уменьшение воспринимаемого баса. Полученные математические результаты сами по себе не задают фильтр или улучшение качества звучания BassPlus. Практическая проверка обработки реальной музыки потребует своей постановки с различными амплитудами, фазами и критериями качества. ## 7. Как воспроизвести подтверждённые вычисления Распаковать архив, перейти в каталог `chowla_research` и выполнить: ```bash python3 -m pip install -r requirements.txt python3 run_verification.py ``` Не запускать Python с флагом `-O`: проверяющие программы используют `assert`. Интернет нужен только для установки отсутствующей зависимости NumPy; сами доказательные вычисления не обращаются к сети. Пакет содержит готовые полиномиальные сертификаты. Программа заново выводит многочлены и цепочки Штурма, проверяет рациональные свидетели, выполняет независимую проверку Бернштейна и оба полных точных перебора. Она не принимает итог сертификата на веру. Последний успешный прогон в этой среде занял около 15 секунд; время зависит от компьютера. Проверено с Python 3.12.14 и NumPy 2.3.5. SciPy нужен только для необязательного повторения исследовательских численных поисков. Эти поиски не используются для обоснования конечной теоремы. | Файл в архиве | Назначение | |---|---| | `run_verification.py` | Единая команда всех точных вычислительных проверок | | `verification_receipt.json` | Результат последнего прогона и версии среды | | `compute/certificate_N16.json` | Полный рациональный сертификат главного набора | | `compute/certify.py` | Точная полиномиальная арифметика и метод Штурма | | `verify_bernstein.py` | Независимое доказательство положительности | | `independent_bernstein_certificates.json` | Рациональные интервалы и коэффициенты Бернштейна | | `compute/exact_grid.py` | Первый точный полный перебор | | `counterexample/redteam_finite_check.py` | Второй точный полный перебор и независимая проверка цепочки Штурма | | `counterexample/FINITE_AUDIT.md` | Обоснование корректности конечного перебора | | `lower/lower_bound_audit.md` | Подробный вывод моментных оценок и их ограничений | | `counterexample/NOTES.md` | Доказательство препятствия для произведений и разбор других попыток | | `lower/product_audit.md` | Независимый аналитический аудит этого препятствия | Остальные файлы содержат исходный численный поиск, его результаты и журналы. Они сохранены для прозрачности исследовательской попытки. ## Источники 1. Benjamin Bedert. *Polynomial bounds for the Chowla Cosine Problem*, arXiv:2509.05260v3, 24 июля 2026 года. Постановка, известные оценки и лемма Рота: . 2. Bryan Bu и соавторы. *A half-constant upper bound for Chowla’s cosine problem*, arXiv:2610.17160v1, 12 октября 2026 года. Препринт: . Конечная теорема, её сертификаты, доказательство случая двух частот и анализ конструкции с цифрами представлены непосредственно в этом отчёте и коде. Подтверждённого решения общей гипотезы в результате этой попытки нет.