ВНУТРЕННЯЯ НЕЗАВИСИМАЯ ПРОВЕРКА ВЕТВИ83
Дата: 18 октября 2026 года.
Проверяемый файл: 83_chebyshev_ground_edge_filter.txt.
Проверку выполнил другой агент, не автор ветви83. Это внутреннее
прочтение математического доказательства и отдельные точные вычисления,
не внешняя научная рецензия и не формальная машинная верификация.

ИТОГ
В основном аналитическом доказательстве ошибки не обнаружены. Проверены
кванторы, независимость достаточной степени от max A, перенос фазовой
клетки, экспоненциальная оценка Чебышёва, константы и порядок роста.
Найдена одна формальная ошибка в описании рационального выбора степени:
не был указан положительный знак s. Она исправлена в итоговом файле83.
Ни общий результат Чоулы, ни оптимальность полученной достаточной
степени этим аудитом не подтверждаются: таких утверждений в ветви нет.

1. ПОСТАНОВКА И СУЩЕСТВОВАНИЕ МИНИМУМА ПО ПОЛИНОМАМ
N>=1, частоты положительные, целые и различные. Поэтому f непрерывна,
2pi-периодична, f(0)=N и integral f=0. Отсюда m=min f<0 и -N<=m.
Поскольку образ связной окружности под непрерывной непостоянной f
равен целому отрезку [m,N], ненулевой полином p не может занулить p(f)
тождественно. Более того, p(f) ненулев на некотором открытом множестве,
так что integral p(f)^2>0.

Следовательно, моментная матрица G=(integral f^(i+j))_(0<=i,j<=d)
положительно определена. Условие c^T G c=1 задаёт компактный эллипсоид
коэффициентов. Непрерывный числитель достигает на нём минимума;
в определении B_d допустимо писать min, не только inf. Постоянный
полином даёт Rayleigh=0, а f>=m даёт Rayleigh>=m. Поэтому0<=B_d<=K.

2. КВАНТОРЫ И ОБЩНОСТЬ ПО ЧАСТОТАМ
Заявленная степень d_*(N,epsilon) зависит только от N и epsilon,
0<epsilon<=N. Для каждого конкретного A допускается свой пробный
полином p, но оценка степени одинакова для всех A. Это именно
«для каждого N,epsilon существует d, для всех A размера N»,
а не перестановка, разрешающая степени зависеть от A.

3. МАССА ОКОЛО МИНИМУМА
У M^N фазовых клеток измеримые прообразы, образующие разбиение окружности.
Поэтому хотя бы один прообраз E имеет меру>=M^(-N). Для x,x_0 из одной
клетки фазовые разности всех координат имеют представителей с модулем
<=2pi/M. При общем переносе времени x -> x+x_*-x_0 эти разности
прибавляются к фазам минимизирующей точки x_*.

Здесь действительно выполняется один общий перенос по окружности;
независимые фазы не назначаются. Периодичность косинуса снимает выбор
представителя, а 1-Lipschitz оценка каждого косинуса даёт суммарную
ошибку<=2pi N/M. При M=ceil(8pi N/epsilon) она<=epsilon/4.
Перенос сохраняет нормированную меру. Получено
mu{f<=m+epsilon/4}>=M^(-N) без производной f и без max A.
Прообраз клетки может быть несвязным; доказательство этого не запрещает.

4. ЛИНЕЙНАЯ КАРТА И ФИЛЬТР
D=N-m-epsilon/2 удовлетворяет D>N/2>0 и D<=2N.
Для u(t)=[2t-(N+m+epsilon/2)]/D непосредственно проверены:

 u(m+epsilon/2)=-1,  u(N)=1,
 u(m+epsilon/4)=-1-epsilon/(2D)<=-1-epsilon/(4N).

Поэтому |T_d(u(f))|<=1 на плохом множестве f>=m+epsilon/2, поскольку
там всегда f<=N. Хорошее множество выходит за левый край [-1,1]
минимум на s=epsilon/(4N), причём0<s<=1/4.

5. ГИПЕРБОЛИЧЕСКАЯ КОНСТАНТА
Интегральная формула
arcosh(1+s)=integral_0^s [v(v+2)]^(-1/2)dv
даёт нижнюю границу2sqrt(s)/sqrt(2+s)>=sqrt(s) при s<=2.
Она применяется к s<=1/4, так что ограничение выполнено с запасом.
Из T_d(-cosh gamma)=(-1)^d cosh(d gamma) следует

 W=integral p(f)^2 >= (1/4)M^(-N)exp[d sqrt(epsilon/N)].

Коэффициент1/4 возникает после возведения в квадрат границы
cosh(d gamma)>=exp(d gamma)/2; показатель экспоненты также удвоен.
Оба множителя в файле указаны правильно.

6. ОШИБКА RAYLEIGH И ЧИСЛА8,16
Ниже порога m+epsilon/2 имеем f-m<=epsilon/2. Выше порога
f-m<=2N и p(f)^2<=1. Поэтому

 Rayleigh(p)-m <= epsilon/2+2N/W
 <=epsilon/2+8N M^N exp[-d sqrt(epsilon/N)].

При d>=sqrt(N/epsilon)[N log M+log(16N/epsilon)] последний член
не больше epsilon/2. Следовательно B_d>=K-epsilon. Проверены знак
перехода от минимума Rayleigh к B_d и обратная граница B_d<=K.

7. НЕИЗВЕСТНЫЙ m НЕ ИСПОЛЬЗУЕТСЯ КРУГОВЫМ ОБРАЗОМ
Пробный p может зависеть от m в доказательстве существования.
Определение B_d оптимизирует по всем полиномам степени<=d и не требует
знать этот пробный p заранее. Сам m не подставляется в вычисление
моментов. Здесь нет доказательства эффективного выписывания данного
пробного полинома с известными коэффициентами без знания m, и автор
корректно не заявляет такого алгоритма.

8. НАЙДЕННАЯ И ИСПРАВЛЕННАЯ ОШИБКА РАЦИОНАЛЬНОГО ВЫБОРА
В прочитанной первой редакции предлагались просто «целые M_0,s,q,p»
с четырьмя неравенствами, включая s²epsilon>=N. Это не исключает
отрицательное s. Например,

 N=1, epsilon=1, M_0=32, s=-1, q=5, p=4

удовлетворяют всем четырём записанным неравенствам, но d_0=-9.
Более того, требуемое d_0 sqrt(epsilon/N)>=Nq+p тогда неверно.

Замечание передано основному агенту. В итоговом файле подтверждено
исправление: «положительные целые M_0,s и неотрицательные целые q,p».
Код автора и до исправления выбирал положительный s через ceil_sqrt_f;
вычислительные сертификаты от текстового пропуска не пострадали.

После исправления:
s sqrt(epsilon/N)>=1, M_0>=8pi N/epsilon из pi<4,
exp(Nq+p)>=2^(Nq+p)>=M_0^N(16N/epsilon).
Поэтому тот же аналитический контроль ошибки действует для d_0.

9. НЕЗАВИСИМЫЕ ТОЧНЫЕ ПРИМЕРЫ ВЫБОРА СТЕПЕНИ
Отдельным кодом, не импортирующим функции автора, использованы простые
циклы поиска положительных целых. Все исходные неравенства и итоговое
2^(Nq+p)*epsilon>=16N M_0^N проверены Fraction/целыми числами:

 N    epsilon    M_0    s    q    p    d_0
 1    1          32     1    5    4    9
 1    1/100      3200   10   12   11   230
 2    1          64     2    6    5    34
 3    3          32     1    5    4    19
 17   1/4        2176   9    12   11   1935
 100  10         320    4    9    8    3632

Порядок d=O(N^(3/2)epsilon^(-1/2)log(2N/epsilon)) проверен подстановкой
M=O(N/epsilon). Округления при N/epsilon>=1 меняют лишь абсолютные
множители. При epsilon=alpha sqrt(N), фиксированном0<alpha<=1,
получается O_alpha(N^(5/4)log(2N)). Это достаточная, не оптимальная степень.

10. НЕЗАВИСИМАЯ ПРОВЕРКА ЧИСЛОВОЙ ИЛЛЮСТРАЦИИ
Для A={1,2}, epsilon=1/4 действительно u(t)=(2t-1)/3.
В отдельном вычислении T_d(u(f)) строился непосредственно как Laurent-
полином по рекурсии, без импортирования кода автора и без оптимизации
моментной матрицы. Постоянные коэффициенты p(f)^2 и f p(f)^2 дали:

 d=1:  -Rayleigh=1/5;
 d=4:  -Rayleigh=4656/7201;
 d=8:  -Rayleigh=601297088/564810049;
 d=12: -Rayleigh=84674399485872/76148427919201.

Эти рациональные числа удовлетворяют четырём соответствующим интервалам
из branches_78_83_results.json, поле chebyshev_filter_pair. В сохранённом
воспроизводимом коде интервалы читаются именно из этого JSON, а не
из буквального текста файла83. Все знаменатели положительны,
все значения не превышают известное K=9/8. Использована только точная
рациональная арифметика; сеточная минимизация не выполнялась.

СОХРАНЕНИЕ ВОСПРОИЗВОДИМОЙ ПРОВЕРКИ
Первые два независимых вычисления были выполнены короткими Python-
ячейками exec. После аудита их исходник восстановлен в отдельном файле
audit_83_quantum_checks.py; шесть сертификатов степени и четыре значения
фильтра повторно проверены, область тестирования не расширялась.
Результат сохранён в audit_83_quantum_results.json. Код автора не
импортируется; его JSON используется лишь как источник сравниваемых
интервалов. Факт восстановления исходника отмечен также внутри кода.

ГРАНИЦЫ ПРОВЕРКИ
Аудит проверяет конкретное аналитическое доказательство и перечисленные
точные иллюстрации. Огромные матрицы на достаточной степени d_* не
построены; вычислительная эффективность не установлена. Не выполнены
поиск научного приоритета, внешняя рецензия или доказательство Чоулы.
Улучшение относится к достаточной степени в сравнении с прежней ветвью62.
