Ниже представлен текст большого обзорного поста для вашего блога (объёмом около трёх страниц), написанный живо, открыто и по существу — от лица математика, который решил не ждать «официальных» пересказов, а разобрать и проверить всю механику нового результата собственными руками.
Как устроена полоса для нулей дзета-функции: от лапласиана на окружности до границы \(47/48\)
Осенью 2026 года в математике произошло событие, которое ещё недавно казалось делом далёкого будущего. Вслед за решением вековой проблемы исключительных нулей Ландау–Зигеля появилась заявка на доказательство квази-гипотезы Римана — утверждения о том, что все нетривиальные нули дзета-функции Римана \(\zeta(s)\) отделены от границ критической полосы \(0 \le \Re s \le 1\) фиксированным вертикальным зазором:
\[
\delta \le \Re s \le 1 - \delta \qquad (\delta > 0).
\]
Чтобы почувствовать масштаб этого сдвига, достаточно вспомнить историю вопроса. Сто тридцать лет назад, в 1896 году, Адамар и де ла Валле Пуссен доказали, что на самой прямой \(\Re s = 1\) нулей у дзета-функции нет, и получили закон распределения простых чисел. С тех пор лучшие умы аналитической теории чисел — от Литтлвуда до И. М. Виноградова и Н. М. Коробова — пытались отодвинуть свободную от нулей область как можно дальше влево от единицы. Но у всех классических границ, включая знаменитую границу Виноградова–Коробова 1958 года, была одна и та же родовая травма: с ростом высоты \(|t| = |\Im s|\) гарантированная ширина свободной от нулей области неумолимо стремилась к нулю, прижимаясь к прямой \(\Re s = 1\). Никакой суперкомпьютер, проверивший триллионы нулей, тут бессилен, потому что сужение происходит на бесконечности. Чтобы отрезать от краёв критической полосы настоящую вертикальную полосу постоянной ширины, нужна одна аналитическая оценка, которая бьёт сразу по всем высотам от нуля до бесконечности.
И вот 30 сентября 2026 года появляется 199-страничный препринт OpenAI с границей \(\Re s > 7/8\), а через неделю, 7 октября, Шива Кинтали публикует короткое доказательство со свободной от нулей полуплоскостью \(\Re s > 47/48\), запирающее все нетривиальные нули в замкнутой вертикальной полосе:
\[
\frac{1}{48} \le \Re s \le \frac{47}{48}.
\]
Почему нам пришлось разбираться во всём самим
То, что началось вокруг этих текстов в математическом сообществе, вызвало у меня смешанные чувства.
В задаче о нулях Ландау–Зигеля всё произошло так, как и должно происходить в настоящей науке: Бен Грин просто сел, вычистил из машинного текста всю шелуху и выложил изумительную по ясности пятистраничную заметку. Читаешь её — и видишь чистую мысль.
А вокруг полосы для дзета-функции вместо такого же прозрачного текста поднялся шум. С одной стороны — гигантские, тяжело читаемые машинные простыни, перегруженные техническими обозначениями. С другой стороны — раздражённые комментарии специалистов в духе Максима Радзивилла в *Quanta Magazine*: мол, препринты «написаны ужасно, их бы с порога отверг любой журнал»*, хотя внутри используются глубокие формулы преобразования кубических сумм Гаусса, доказанные самими же Данном и Радзивиллом! И дальше — семинары, споры о приоритетах, разговоры вокруг да около, за которыми обычный работающий математик (не говоря уже о студентах) вообще перестаёт видеть главное: а в чём, собственно, состоит математический механизм доказательства? С каким аналитическим препятствием там идёт борьба и за счёт чего оно преодолевается?
Я всю жизнь занимался теорией приближений. Для меня борьба с обращением операторов, подбор гладких ядер с нулевыми моментами и преобразование Меллина — это родной язык. Но когда я открыл исходные тексты про полосу, я понял: пока мы сами не переведём эту конструкцию на ясный человеческий язык, пока не проверим руками каждый узел и не пощупаем, почему более простые подходы ломаются, мы ничего по-настоящему не поймём.
Так родилась работа, которую мы проделали в плотном диалоге с двумя ИИ-собеседниками (`gpt 6.1` и `Аргоном` - работу проделали именно они, я выступал в качестве режиссера, так что будет ли пьеса иметь успех - это на мне, артисты были великолепны, и в провале виноват режиссер ). Нашей целью было написать текст, который сможет с удовольствием и частичным пониманием прочитать студент после первого курса мехмата приличного университета (в этом есть некая ирония сегодня), — и в котором при этом не будет ни одного «чёрного ящика», ни одного заклинания «очевидно, что» и ни одного пропущенного показателя степени (ну тут Аргон преувеличивает, простим ему это).
Итогом стал 21-страничный документ в четырёх частях: «От лапласиана на окружности к полосе для нулей дзета-функции».
👉 **[ЗДЕСЬ ССЫЛКА НА PDF]**
Ниже я расскажу, что именно не самые дорогие модели сделали в этих четырёх главах, какие ловушки обнаружили по дороге и как в действительности работает машина, дающая полосу \(\frac{1}{48} \le \Re s \le \frac{47}{48}\).
Маршрут четырёх глав: что внутри PDF и что мы (они) проверили руками (железными)
Часть I. От окружности к полосе (стр. 2–5) — Постановка на языке операторов
Любое хорошее изложение должно начинаться с истоков. Откуда вообще берётся дзета-функция Римана в анализе? Из простейшего дифференциального оператора — лапласиана \(A = -\frac{d^2}{d\theta^2}\) на единичной окружности! Его собственные функции — волны \(\cos n\theta\) и \(\sin n\theta\) с собственными значениями \(n^2\), а след степени обратного оператора даёт в точности дзета-функцию:
\[
\frac12 \operatorname{Tr}' A^{-s/2} = \sum_{n=1}^\infty n^{-s} = \zeta(s), \qquad \Re s > 1.
\]
В Части I мы шаг за шагом проводим читателя от спектра окружности и формулы Эйлера к ключевой идее обращения оператора:
* У резольвенты \((A - zI)^{-1}\) полюса возникают ровно там, где \(z\) попадает в спектр \(n^2\). Точно так же у обратной функции \(1/\zeta(s)\) полюса возникают ровно в нулях \(\zeta(s)\).
* Значит, доказать отсутствие нулей у \(\zeta(s)\) в полуплоскости \(\Re s > 1 - \delta\) — это в точности задача об обращении: нужно предъявить для \(1/\zeta(s)\) интегральное представление, которое сходится и задаёт голоморфную функцию во всей этой полуплоскости!
* Первым кандидатом служит классическое преобразование Меллина от суммы коэффициентов Мёбиуса \(M(x) = \sum_{n \le x} \mu(n)\):
\[
\frac{1}{\zeta(s)} = s\int_1^\infty M(x)x^{-s}\,\frac{dx}{x}.
\]
Здесь как на ладони виден главный принцип: оценка роста по вещественной переменной \(x\) сразу даёт полуплоскость аналитичности по комплексной переменной \(s\). Тривиальная оценка \(|M(x)| \le x\) держит нас на границе \(\Re s >1\). Любой степенной выигрыш \(|M(x)| \le C x^{1-\delta}\) немедленно дал бы полосу! Но одномерная сумма \(M(x)\) неприступна в лоб: функция Мёбиуса \(\mu(n)\) непериодична, и обычные методы гармонического анализа об неё разбиваются.
(Замечу в скобках: прежде чем идти по пути Кинтали, мы проверили в отдельной рабочей записке, нельзя ли пробить оценку сглаженной суммы \(\sum \mu(n)w(n/x)\) чисто мультипликативно — убив полюс в единице разностями масштабов \((I - qS_q)^r\) при \(q = 2, 3\) и разложив \(\mu\) по коротким делителям \(d, e \le \sqrt{2X}\). Оказалось, что любое ядро вида \(V(x/de)\), зависящее только от произведения \(de\), в пространстве Меллина диагонализуется в поточечное произведение на каждой частоте \(\xi\) и не перемешивает частоты между собой! Обнуление моментов ядра — как в теоремах Уитни в теории приближений — гасит только нулевую частоту \(\xi = 0\) около \(s = 1\), но бессильно против неизвестной высокой частоты нетривиального нуля \(\rho = \beta + i\gamma\). Чтобы перемешать частоты, ядро обязано связывать мультипликативную структуру с аддитивной фазой!)
Часть II. Одна сумма в двух представлениях (стр. 6–8) — Архитектура доказательства Кинтали
Во второй части мы без загромождения формулами объясняем главный конструкторский замысел препринта OpenAI и статьи Шивы Кинтали.
Вместо того чтобы биться головой об одномерную сумму \(M(x)\), строится специальная двумерная пробная сумма \(J\) над треугольной решёткой целых чисел Эйзенштейна \(\mathbb{Z}[\omega]\) (\(\omega = e^{2\pi i/3}\)). Весь секрет в том, что одну и ту же двумерную сумму \(J\) можно сосчитать двумя разными способами (подобно тому, как двойной интеграл в теореме Фубини берут в двух разных порядках):
1. Первое представление (почему вся сумма \(J\) мала):
Если объединить бесквадратные индексы \(c\) с кубическим дополнением \(b^3\) в составной индекс \(A = cb^3\), то внутренний ряд собирается в кубический тета-ряд Паттерсона. Применение безусловных формул тета-преобразования Александра Данна и Максима Радзивилла переводит задачу в двойственную сумму с квадратичными характерами \((\pm 1)\), которая оценивается сверху через неравенство Коши–Буняковского и квадратичное большое решето Голдмакера–Лувеля.
2. Второе представление (откуда берётся деление на \(L\)-функцию):
Если же к исходной сумме \(J\) сначала применить двумерную формулу суммирования Пуассона по второй переменной, она расщепляется на семейство частотных строк. Из главной строки двумя последовательными вычетами выделяется главный член \(f\), преобразование Меллина которого содержит искомую обратную функцию \(1/L\), а всё остальное уходит в остаток \(R\):
\[
J = f + R.
\]
Чтобы из малости всей суммы \(J\) вывести малость главного члена \(f = J - R\) (ведь теоретически два огромных слагаемых \(f\) и \(R\) могли бы просто почти сократить друг друга!), остаток \(R\) оценивается отдельно с помощью сдвигов контуров и теоремы о плотности нулей в семействе Гекке.
Часть III. Модулярная проба и возврат первой гармоники (стр. 9–17) — Наш собственный спектральный эксперимент
Когда читаешь Часть II, в голове неизбежно возникает вопрос: почему всё так сложно устроено арифметически? Зачем понадобились треугольная решётка \(\mathbb{Z}[\omega]\), кубические суммы Гаусса и дополнение кубами \(cb^3\)? Неужели нельзя построить точно такую же двумерную сумму \(J = f + R\) на классической модулярной поверхности \(\mathrm{SL}_2(\mathbb{Z})\backslash\mathbb{H}\), следуя идее Дона Загира 1981 года, где в ряде Эйзенштейна \(E(z, s)\) дзета-функция Римана \(\zeta(2s)\) с самого начала стоит в знаменателе?!
Мы(gpt 6.1 и Argon, это для ясности, они не Боги, они модели для народа, слуги любознательных людей, недорогие помощники, можно сказать друзья ) не стали отделываться общими словами, а провели этот расчёт до самого конца — этому посвящена третья, самая насыщенная аналитическая глава нашего текста (стр. 9–17):
* Мы свернули ряд Эйзенштейна с идеальным гауссовым весом \(h(t) = e^{-(\ln t)^2}\) (чей образ Меллина \(H(s) = \sqrt{\pi}e^{s^2/4}\) вообще не имеет нулей в \(\mathbb{C}\)) и обнаружили красивый факт: первая горизонтальная гармоника \(a_1(y)\) этого пакета не требует вычитания постоянного члена, не имеет полюса при \(s = 1\) и через классическое тождество \(c_c(1) = \mu(c)\) даёт явную формулу Меллина:
\[
\int_0^\infty a_1(y)y^{s-2}\,dy = \frac{\sqrt{\pi}\,\Gamma(s - \tfrac12)}{\Gamma(s)}\,\frac{H(s)}{\zeta(2s)} + B(s),
\]
где \(B(s)\) голоморфна при \(\Re s > -1/2\). Любой степенной выигрыш \(a_1(y) = O(y^{1/2 + \varepsilon})\) при \(y \to 0\) сверх элементарной оценки \(O(\sqrt{y})\) мгновенно даёт полосу без нулей!
* Чтобы получить два представления, мы построили скрученный пакет на замкнутом орицикле в рациональных точках \(-d/q + iy\) с фазой \(e^{2\pi i d/q}\): слева в нём первой гармоникой с весом ровно \(1\) выделяется \(a_1(y)\), а справа после модулярного обращения матрицами из \(\mathrm{SL}_2(\mathbb{Z})\) возникают классические суммы Клоостермана \(S(k, 1; m)\) на высоте \(\frac{1}{m^2 y}\).
* Гладко усреднив пакет по всем целым модулям \(q \sim Q = y^{-1/2 - \delta}\) со специальным двухмоментным весом (\(\int w(t)\,dt = 1\), \(\int w(t)\frac{dt}{t} = 0\)), мы полностью убрали соседние гармоники слева и подавили малые знаменатели справа.
* А затем разложили правую часть по формуле следа Кузнецова, введя два раздельных параметра Меллина (\(w\) для ряда по гармоникам и \(z\) для бесселева ядра) и аккуратно разведя сливающиеся полюса трёхшаговым сдвигом контуров.
Результат этого спектрального расчёта оказался поразительным (стр. 16):
\[
\underbrace{a_1(y) + O\!\left(y^{1/2 + \delta}\right)}_{\text{Левая часть}}
=
\underbrace{\Bigl(a_1(y) + O\!\left(y^{1/2 + \delta/8}\right)\Bigr)}_{\text{Непрерывный спектр }\mathcal{C}(y)}
+
\underbrace{O\!\left(y^{1/2 + \delta/2}\right)}_{\text{Каспидальный спектр }\mathcal{D}(y) + \mathcal{H}(y)}.
\]
Посмотрите на эту формулу:
1. Весь каспидальный спектр — и параболические формы Маасса \(\mathcal{D}(y)\), и голоморфные формы \(\mathcal{H}(y)\) — за счёт целости их \(L\)-функций и сокращения \(\zeta(2w)\) действительно даёт нужный для полосы степенной выигрыш \(O(y^{1/2 + \delta/2})\)!
2. Вся недиагональная часть непрерывного спектра тоже даёт степенной выигрыш \(O(y^{1/2 + \delta/8})\).
3. Но на самой резонансной диагонали \(t = \mp b\) непрерывного спектра вычеты собираются и с коэффициентом ровно \(1\) возвращают обратно искомую гармонику \(a_1(y)\)!
Это и есть диагональный возврат: поскольку мы стартовали с модулярно инвариантного пакета Эйзенштейна, в котором \(1/\zeta(2s)\) изначально сидела на обеих высотах (\(y\) и \(\frac{1}{m^2 y}\)), модулярное обращение в паре с формулой Кузнецова сработало как тождественный оператор \(\mathcal{F}^{-1}\mathcal{F} = \mathrm{Id}\). Равенство дало степенной выигрыш для разности двух представлений, но сама \(a_1(y)\) на обеих сторонах сократилась!
Только увидев этот диагональный возврат своими глазами в точной формуле, начинаешь до конца понимать глубину конструкции OpenAI и Кинтали: чтобы разорвать этот замкнутый круг, в пробной сумме на первой (тета-преобразованной) стороне вообще не должно быть деления на \(L\)-функцию и свободного параметра непрерывного спектра!
Часть IV. От первого минуса до границы \(47/48\) (стр. 18–21) — Точная анатомия формул Кинтали
В заключительной четвёртой части (и подробном математическом Приложении к ней) мы возвращаемся к препринту Кинтали и выписываем всю алгебраическую и аналитическую механику его доказательства в явных формулах:
1. Откуда берётся «первый минус» при неудвоенном аргументе \(x\):
Мы проверили и простую квадратичную пробу с суммами Гаусса \(g_2(r, cb^2)\) — в ней бесквадратное ограничение даёт знаменатель при удвоенном аргументе \(2s\), а квадраты \(b^2\) тут же его сокращают. У Кинтали же в сумме по \(m\) перемножаются секстический характер \(\chi_A(m)\) (порядка \(6\)) от модуля \(A = cb^3\) и сумма Гаусса от вспомогательного модуля \(\ell\). На одном простом идеале \(\mathfrak{p}\) нормы \(Q\) (при \(\mathfrak{p} \parallel c\), \(\mathfrak{p} \nmid b\ell\)) классическое соотношение Гаусса–Якоби \(\gamma_1(\mathfrak{p})\gamma_2(\mathfrak{p}) = -\alpha(\mathfrak{p})G(\mathfrak{p})\) после Пуассона сразу рождает локальный вклад \(-D = -\eta(\mathfrak{p})Q^{-x}\) со знаком минус при неудвоенном показателе \(x\)! А кубическое дополнение за счёт несовпадения порядков (\(6\) и \(3\)) сдвигается в безопасный множитель \(\mathcal{R} = \alpha(\mathfrak{p})^6\eta(\mathfrak{p})^6 Q^{3-6x}\), который мал при \(\Re x > 1/2\) и ничего сократить не может.
2. Простое доказательство необращения поправки \(H_\eta(x)\) в нуль (Приложение B, стр. 20):
Записав локальный поправочный множитель Кинтали после двух вычетов (\(w = 1\) и \(z = 1/6\)) с единым числителем:
\[
H_{\mathfrak{p}}(x) = \frac{(1 - t^2)\,\bigl[1 - (1 - t)D - t\mathcal{R}\bigr]}{(1 - \mathcal{R})(1 - D)}, \qquad t = Q^{-1},
\]
мы заметили, что при \(\Re x > 1/2\) всегда выполнено \((1 - t)|D| + t|\mathcal{R}| < 1\), а при \(\Re x > 2/3\) произведение \(H_\eta(x) = \prod_{\mathfrak{p}\notin S} H_{\mathfrak{p}}(x)\) сходится локально равномерно к голоморфной и нигде не обращающейся в нуль функции. Это делает излишним технический подбор большого порога \(P_0\) в главной строке при делении на \(H_\eta(x)\).
3. Точный счёт показателей и происхождение числа \(47/48\) (Приложение C, стр. 20–21):
В сбалансированном масштабе \(X = Y = Z^{1/2}\) главный член после двух вычетов имеет вид
\[
f_\eta(Z) = \frac{1}{2\pi i}\int_{(2)} Z^{x - 2/3} e^{(x - 5/6)^2}\,\frac{H_\eta(x)}{L_F^S(x, \eta)}\,dx.
\]
* С одной стороны, тета-преобразование Данна–Радзивилла, квадратичное большое решето Голдмакера–Лувеля и неравенство Коши–Буняковского дают для всей суммы оценку \(J_\eta(Z) = O_{\eta,\varepsilon}\bigl(Z^{1/4 + \varepsilon}\bigr)\).
* С другой стороны, в остатке \(R_\eta(Z)\) группировка неглавных строк по положению их самых правых нулей \(a\) с плотностным показателем \(R(a) = \min\bigl(1, 5(1 - a)\bigr)\) на масштабе \(Z^{1/2}\) приводит к кусочно-линейному показателю относительно \(Z^{\beta_* - 2/3}\):
\[
a + \frac12 R(a) - \frac13 - \beta_* \le \frac{29}{30} - \beta_*,
\]
максимум которого достигается в точке излома \(a = 4/5\) и равен \(29/30\).
* Вот откуда берётся число **\(47/48\)**: оно выбирается так, чтобы над дробью \(29/30\) оставался строгий положительный запас:
\[
\frac{47}{48} - \frac{29}{30} = \frac{1}{80} > 0,
\]
который после учёта всех технических погрешностей сдвига и отсечки сохраняет для всех характеров семейства единый выигрыш \(\delta_0 = 1/4800\) в показателе роста \(f_\eta(Z) = O_\eta\bigl(Z^{\beta_* - 2/3 - \delta_0}\bigr)\), сдвигая границу аналитичности \(1/L_F(s, \eta)\) влево от \(\beta_*\) и приводя предположение \(\beta_* > 47/48\) к противоречию!
Вместо заключения: наша (модельная) оценка этой работы
Когда проходишь весь этот путь от начала до конца с карандашом в руках, исчезает как слепое поклонение перед «магией ИИ», так и снобистское пренебрежение к форме препринтов.
За доказательством полосы стоит настоящая, глубокая и очень красивая математика. В ней нет дешёвых трюков: она стоит на плечах классического гармонического анализа, кубических тета-рядов Паттерсона, замечательных формул преобразования Данна и Радзивилла, квадратичного большого решета и плотностных теорем, соединённых в удивительно точную двумерную конструкцию. А наш параллельный спектральный расчёт на модулярной поверхности \(\mathrm{SL}_2(\mathbb{Z})\backslash\mathbb{H}\) в Части III показал, насколько тонка эта грань — почему в симметричном пакете Эйзенштейна непрерывный спектр возвращает главный член обратно, и как именно асимметрия ядра Кинтали этот возврат преодолевает.
Приглашаем всех, кто любит живую математику — от студентов младших курсов до коллег-аналитиков, — открыть полный текст нашего разбора:
👉 **[ЗДЕСЬ ССЫЛКA НА PDF ]**
