В бесконечной реке целых чисел, где крутятся водовороты простых, математики веками просеивают песок в поисках золотых самородков — нулей L-функций. Эти загадочные объекты, открытые Риманом в 1859 году, словно невидимая рука управляют распределением простых чисел. Знаменитая гипотеза Римана утверждает, что все нетривиальные нули лежат на одной вертикальной прямой — критической линии. Однако для целых семейств L-функций можно уловить статистику: какая доля нулей точно попадает на эту золотую жилу? Именно на этот вопрос отвечает новая работа, применяя изощрённую технику спектроскопии — анализа распределения нулей через их усреднённое поведение.

Орудие лова — метод Левинсона, хитроумный способ «взвешивать» нули, добавляя к L-функции специальный сглаживатель (множитель, гасящий нежелательные колебания вблизи критической прямой). Но настоящий прорыв — в конструкции колоссального решета. Учёные усредняют L-функции не по отдельности, а по семейству характеров Дирихле, скручивающих функцию подобно доплеровскому сдвигу. Возникает асимптотическое большое решето: многократное применение интерференции характеров, подобно сложению радиоволн от множества антенн, позволяет выделить слабый сигнал критической прямой. Тонкость в том, что арифметические коэффициенты L-функций крайне нерегулярны, и без непроверенных гипотез классический подход рушится. Авторы преодолели это, вручную разобрав тончайшую структуру коэффициентов с помощью численного моделирования в Mathematica — настоящий телескоп в мир автоморфных представлений.

Итог ошеломляет: для самодвойственных представлений группы PGL(3) не менее 1/9 всех нулей попадают на критическую прямую. Пусть математики и не поймали всю золотую породу, но девятая часть — уже огромный улов! Для PGL(2) доля выше — 1/3, что в точности повторяет классический результат Левинсона для дзета-функции. Более того, доказана асимптотическая формула для скрученного среднего квадрата L-функций с беспрецедентной ошибкой порядка O($Q^{7/4+ε}$). Она работает в диапазоне Q^ε ≤ T ≤ $Q^{1/3–ε}$ и для сглаживающих полиномов длиной до 1/2. Это как если бы в реке с переменной глубиной мы научились просеивать песок с разной крупностью, не теряя золотинки.

Эта работа — первое безусловное свидетельство того, что даже для L-функций третьей степени гипотеза Римана «почти верна» в статистическом смысле. Она вливает кровь в обширную программу исследований семейств автоморфных L-функций, связывая их с моментами, субконвексити и распределением простых. Созданная техника асимптотического большого решета становится универсальным инструментом — теперь её можно прилагать к другим задачам, где требовались гипотезы о коэффициентах Фурье. А скрытая масса некритичных нулей — тёмная материя мира чисел — становится чуть менее загадочной.

Долю 1/9 можно улучшить, оптимизируя сглаживатель и точнее учитывая арифметику. Следующая цель — полностью убрать техническое предположение о моментах коэффициентов, доказав его безусловно. Выход за предел T=$Q^{1/3}$ потребует преодоления чудовищных трудностей с суммами свёрток, но откроет путь к доказательству гипотезы Линделёфа в среднем. Алгоритмы компьютерной алгебры, отточенные в работе, станут основой для автоматического анализа арифметических множителей в будущих проектах. Так, постепенно совершенствуя сито, математики приближаются к моменту, когда золотая прямая засияет целиком, а река простых откроет свою глубинную симметрию.