# Независимая внутренняя проверка подходов 21–23 18 октября 2026 года, UTC. Проверены `analysis_21_23.md`, `analysis_21_23_checks.py` и сохранённый `analysis_21_23_results.json`. Проверяющий не является автором этих файлов. Код повторно выполнен; все точные арифметические утверждения прошли. Это отдельная проверка внутри данного исследования с участием ИИ, а не внешняя экспертиза математиком, рецензирование или формальная верификация в системе доказательств. ## Вердикт Математических ошибок в заявленных выводах не найдено. Найдено одно уточнение формулировки: при обосновании граничного интеграла в 23.2 достаточно и гарантируется обращение K+f в ноль **порядка не ниже двух**; точный порядок два не следует из одной неотрицательности и не требуется. Это редакционное уточнение, не изменение доказательства или результата. Автору оно сообщено. ## 21. Свёрточные корни ### Конечность спектра корня Из равенства мер nu^{*m}=u dx/(2*pi) следует hat(nu)(n)^m=hat(u)(n) для каждого целого n. Если коэффициент u равен нулю, единственный его комплексный корень равен нулю. Поэтому корень имеет конечный спектр независимо от возможных фаз остальных коэффициентов. Единственность коэффициентов Фурье конечных мер действительно отождествляет nu с указанной тригонометрической плотностью v. Поскольку v непрерывна, её неотрицательность почти всюду автоматически означает неотрицательность в каждой точке. ### Строгая положительность свёртки Ненулевой тригонометрический полином имеет лишь конечное число нулей на окружности: после умножения на одну экспоненту это следует из конечной степени обычного комплексного полинома. Для каждого x произведение v(y)v(x-y) положительно вне объединения двух конечных множеств. Его интеграл строго положителен. Следовательно, v*v>0 всюду. Более высокие степени сохраняют строгую положительность. Равенство мер здесь является равенством непрерывных плотностей во всех точках; его нельзя спасти изменением значения u в одной точке. Наличие хотя бы одного нуля критической плотности u действительно исключает все одинаковые вероятностные корни m>=2. ### Ограничение rho<=2^{-m} Поскольку все частоты лежат между -D и D, усреднение по сдвигам 2*pi*j/D оставляет только частоты 0 и +/-D. Это верно также при D=1. Сохранившаяся плотность имеет вид 1+2 Re(c e^{iDx}), поэтому неотрицательность равносильна |c|<=1/2. Из |c|=rho^{1/m} следует ровно rho<=2^{-m}, с правильной нормировкой Fourier coefficient=cosine coefficient/2. Для одного D предъявленный корень неотрицателен при выполнении условия, а свёртка возводит его ненулевой коэффициент в степень m. Поэтому заявленная точность порога подтверждена. Существование корня при равенстве для одночастотной некритической плотности не противоречит неделимости критической плотности: при A={D} критическое rho равно 1/2, а не 2^{-m}. Оговорка про запрет только **одинаковых** корней существенна и сохранена. Доказательство не распространяется автоматически на свёртку двух разных мер с взаимодополняющими нулевыми коэффициентами. ## 22. Транспортная карта Проверены производная T'=u, степень один и обе нормированные L2-формулы. Хотя T' может обращаться в ноль, она имеет положительный интеграл на каждом непустом интервале. Поэтому T строго возрастает; существование гомеоморфизма не требует строгой положительности T' в каждой точке. Для нечётного q набор {q,q+2} действительно имеет gcd=1. В точке pi оба косинуса равны -1, а сумма нигде не меньше -2, следовательно, K=2 точно. Ортогональность даёт энергию производной 1/4, тогда как предъявленная верхняя оценка перемещения стремится к нулю. Тем самым опровергнут именно модуль непрерывности с omega(s)->0, а не гипотетическая абсолютная верхняя оценка энергии. Это различие в исходном документе проведено верно. Для T=x+sin x независимо проверено разложение T(pi+h)-pi=h^3/6+O(h^5). Локальная нелипшицевость обратного отображения следует непосредственно и не требует численного эксперимента. ## 23. Граничные производные и Pick-матрица ### Проверка знаков и нормировок Из f'(theta_j)=0 действительно следует, что zeta_j P'(zeta_j)=R_j вещественно. Дифференцирование S=P/(2K+P) даёт S'=2K P'/(2K+P)^2. В контакте (2K+P)P=(K+iY)(-K+iY)=-(K^2+Y^2), поэтому d=-2KR/(K^2+Y^2), с отрицательным знаком перед R, как в записи. Утверждение d>=min A следует из S=z^m B и граничной леммы Шварца; аналитичность у границы здесь обеспечена тем, что Re(2K+P)>=K>0. ### Положительные ядра Для положительной вещественной части H=K+P проверена нормировка ядра: (H(z)+conj(H(w)))/(1-z*conj(w)) =2 integral (K+f(t))/[(1-z*e^(-it))(1-conj(w)*e^(it))]. Радиальный предел на диагонали контакта равен -R, а не -2R. В точке 0 диагональ равна 2K, и связь с контактом равна K-iY. Соответствующий минор действительно даёт -R >= (K^2+Y^2)/(2K). Неотрицательная аналитическая функция K+f имеет у контакта нуль чётного порядка не ниже двух. Поэтому деление на квадрат расстояния в указанном граничном интеграле локально интегрируемо. Это уточняет фразу о «квадратичном обращении в ноль» без изменения вывода. Schur-ядро имеет граничную диагональ d и предъявленные внедиагональные элементы. Для общего значения alpha последние действительно равны нулю. После добавления 0 получаем положительную матрицу [[1, 1,...,1], [1, diag(d_1,...,d_s)]], откуда sum 1/d_j<=1 по дополнению Шура. Эта запись матрицы означает блочную структуру: нижний правый блок диагонален. ### Почему нельзя без доказательства суммировать по разным alpha Простой дополнительный тест самого общего Schur-аргумента: возьмём S(z)=z и любые s различных точек zeta_j окружности. Тогда alpha_j=zeta_j, d_j=1, а всё ядро, включая точку 0, равно 1. Матрица из единиц положительно полуопределена, но sum 1/d_j=s может быть сколь угодно большой. Это **не** контрпример в конечном классе Чоулы: соответствующее P здесь не является конечным полиномом нужного вида. Это точный контрпример к выводу sum 1/d<=1 из одного Schur-ядра без условия общего alpha. Исходный документ правильно не делает такого расширения. ### Контактная контрсемья и точный пример Для A={1,D}, D нечётно, min f=-2 достигается только при theta=pi. Проверены Y=0, R=-(D+1), d=D+1 и контактная масса 1/(D+1). Число частот и K остаются 2, а общий делитель равен 1. Поэтому предложенная нижняя оценка массы через cN/K^2 действительно невозможна. Для A={1,2} независимо пересчитаны: cos theta=-1/4, sin theta=+/-sqrt(15)/4, K=9/8, Y=+/-sqrt(15)/8, R=-2, d=3, alpha=(-11+/-3i sqrt(15))/16. Внедиагональный элемент Q равен (21+3i sqrt(15))/32 с точностью до комплексного сопряжения при перестановке контактов. Его модуль 3/4; после вычитания 1 модуль равен 1/2. Поэтому все четыре заявленных собственных значения матрицы и дополнения Шура подтверждены. ## Итоговая граница подтверждения Все три блока выдержали отдельную математическую проверку; точная арифметика скрипта воспроизведена. Никакой вывод об общей оценке K>=c sqrt(N) из этих блоков не получен. Структурная неделимость в 21, контрпример к транспортному модулю в 22 и контактная контрсемья в 23 подтверждают именно ограниченные утверждения, заявленные авторами.