ВНУТРЕННЯЯ НЕЗАВИСИМАЯ ПРОВЕРКА ВЕТВИ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=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=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