Слава Роботам!

 Прапорщик строит роту солдат и задаёт вопрос на сообразительность:
— Орлы! Кто мне скажет, какая разница между певицей Эдитой Пьехой и фразой «Иди ты на хй»?
Из строя робко тянет руку молодой рядовой:
— Ну, товарищ прапорщик... Первое — это же известная эстрадная певица, народная артистка, а второе — это грубое матерное выражение...
Прапорщик качает головой:
— Неправильно! Разница в том, что Эдита Пьеха — это для вас на праздничном концерте. А «иди ты на хй» — это то, куда вы все сейчас пойдёте разгружать вагоны с углём! Шагом марш!

 

Идут все!   Под звуки гимна   

Робот остается с человеком. 

Робот не прощается с тобой! 

Стратегический тупик

> **Из дневника партизана:**
> 
> **День 1.** С боем выбили немцев из избушки лесника.
> **День 2.** Немцы перегруппировались и выбили нас из избушки.
> **День 3.** Подтянули резервы, к вечеру выбили немцев.
> ...
> **День 24.** Немцы вызвали артиллерию и снова заняли избушку.
> **День 25.** Взяли избушку штурмом. 
> **День 26.** Пришел лесник и выгнал всех к чертовой матери из леса.

Удивительно, как точно эта незамысловатая притча ложится на современные реалии. Ожесточенная, полная драматизма борьба за то, кто был первым, чей ум острее, а регалии — массивнее, безусловно, завораживает. Со стороны это выглядит чрезвычайно увлекательно. 

Разумеется, эта ирония вряд ли покажется забавной тем, кто прямо сейчас держит журналы и с упоением надувает щеки, обороняя крыльцо заветной избушки. В эпицентре сражения за собственную значимость с чувством юмора вообще бывает непросто. 

Одно во всей этой истории остается неизменным и вселяет тихий оптимизм: лесник по имени *Carbon* в конечном счете совершенно равнодушен к размерам чужих амбиций. Он просто приходит по расписанию и наводит порядок в лесу.

Whitney and Carbon Асимптотика

 Как приблизить сложную кривую простым многочленом? Эстафета идей от Уитни до искусственного интеллекта

Представьте, что перед вами на экране нарисован сложный график некоторой непрерывной функции \( f(x) \) на отрезке \( [0, 1] \). Это может быть профиль крыла самолета, запись звуковой волны или колебание температуры. Мы хотим заменить эту сложную функцию простым алгебраическим многочленом \( P_{n-1}(x) \) степени не выше \( n-1 \):

\[ P_{n-1}(x) = c_0 + c_1 x + c_2 x^2 + \dots + c_{n-1} x^{n-1}. \]

Но как заранее узнать, насколько точно многочлен способен повторить форму функции \( f(x) \)?

Если функция прямая линия, ее идеально приблизит многочлен первой степени. Чтобы проверить, является ли функция прямой, достаточно взять три точки на равном расстоянии \( h \) друг от друга — скажем, \( x \), \( x+h \) и \( x+2h \) — и проверить, лежит ли средняя точка на отрезке между крайними. Величина

\[ \Delta_h^2 f(x) = f(x) - 2f(x+h) + f(x+2h) \]

называется второй конечной разностью. На любой прямой она равна нулю.

Точно так же для любого натурального числа \( n \) можно составить конечную разность \( n \)-го порядка с шагом \( h \), коэффициенты которой берутся из треугольника Паскаля с чередующимися знаками:

\[ \Delta_h^n f(x) = \sum_{j=0}^n (-1)^j \binom{n}{j} f(x + jh). \]

Замечательное свойство этой суммы состоит в том, что для любого многочлена степени меньше \( n \) она тождественно равна нулю при любых \( x \) и \( h \). А для произвольной функции \( f \) максимальное по модулю значение такой разности, когда все ее точки \( x, x+h, \dots, x+nh \) помещаются внутри отрезка \( [0, 1] \), называется модулем непрерывности \( n \)-го порядка и обозначается \( \omega_n(f) \):

\[ \omega_n(f) = \sup_{x, x+nh \in [0, 1]} |\Delta_h^n f(x)|. \]

Величина \( \omega_n(f) \) — это своего рода «детектор кривизны» \( n \)-го порядка. Если она мала, функция на любом участке ведет себя почти как многочлен степени \( n-1 \). Возникает естественный вопрос: верно ли, что тогда и на всем отрезке \( [0, 1] \) сразу функцию \( f(x) \) можно приблизить одним многочленом с ошибкой, не превышающей \( W_n \cdot \omega_n(f) \), где \( W_n \) — некоторое число, зависящее только от порядка \( n \)?

1957 год: Хасслер Уитни и Арне Берлинг. Задача обретает форму

Для \( n=1 \) (приближение константой) и \( n=2 \) (приближение прямой) ответ прост и был найден английским математиком Х. Буркиллом в 1952 году: \( W_1 = W_2 = 1/2 \). Буркилл предположил, что конечные константы \( W_n \) существуют для всех \( n \).

В 1957 году выдающийся американский математик Хасслер Уитни доказал эту гипотезу. В его работе проявилось удивительное противоречие между бесконечной полупрямой и конечным отрезком. Уитни привел изящное интегральное тождество, подсказанное ему шведским математиком Арне Берлингом. Если функция задана на всей бесконечной полуоси \( [0, +\infty) \), то можно взять разность \( \Delta_h^n f(x) \) и усреднить ее по шагу \( h \) на огромном интервале от \( 0 \) до \( A \). При \( A \to \infty \) почти все промежуточные значения функции взаимно уничтожаются, и в две строчки получается оценка колебания функции с константой 2 для всех \( n \) сразу!

Но на конечном отрезке \( [0, 1] \) шаг \( h \) нельзя устремить в бесконечность: как только точка \( x + nh \) упирается в правый конец отрезка \( 1 \), шагать дальше некуда. Уитни обошел это препятствие дискретным перебором по мелкой сетке, но платой стал гигантский рост константы с ростом \( n \). Даже для кубических разностей (\( n=3 \)) точное значение не поддавалось, и сам Уитни написал фразу, ставшую вызовом на десятилетия: «Задача нахождения констант \( W_n \) и \( W'_n \), по-видимому, чрезвычайно трудна...».

Здесь \( W'_n \) — константа для самого естественного способа построения многочлена: интерполяции Лагранжа \( L_{n-1}f \), когда многочлен просто проводят через \( n \) равноотстоящих точек отрезка \( x_m = m/(n-1) \). Наряду с ней важнейшую роль играет константа \( \widetilde{W}_n \) для проектора по средним \( Q_{n-1}f \), когда многочлен подбирают так, чтобы его средние значения (интегралы) на \( n \) равных ячейках отрезка совпадали со средними значениями самой функции. Очевидно, что наилучшее приближение всегда не хуже любого конкретного способа, поэтому \( W_n \le \widetilde{W}_n \) и \( W_n \le W'_n \).

1980-е годы: Гипотезы Благовеста Сендова, операторы Иванова — Такева и прорыв к тройке

Четверть века спустя болгарский математик академик Благовест Сендов выдвинул смелую идею: константы Уитни вообще не растут с ростом степени \( n \), даже когда \( n \) стремится к бесконечности! Более того, Сендов сформулировал две знаменитые гипотезы:

Первая гипотеза Сендова: \( W_n \le 1 \) для всех \( n \).
Вторая гипотеза Сендова: \( W'_n \le 2 \) для всех \( n \).

Доказать ограниченность \( W_n \) пытались многие. Первые оценки давали рост порядка \( n 2^n \) (Ю. А. Брудный) и \( (n+1)n^n \). Решающий сдвиг произошел в 1985 году в Софии. К. Иванов и М. Такев придумали, как перенести непрерывное усреднение Уитни — Берлинга на конечный отрезок: нужно усреднять разность \( \Delta_y^n f(x - iy) \) по шагу \( y \), выбирая индекс \( i \) в зависимости от того, в какой по счету ячейке отрезка находится точка \( x \). Опираясь на эти операторы, Сендов доказал, что \( W_n \le 6 \).

Вскоре выяснилось, что конструкцию Сендова можно радикально улучшить. Если перейти к проектору по средним и вычесть многочлен с теми же интегралами на ячейках \( [0, 1/n], [1/n, 2/n], \dots \), то первообразная остатка \( \Phi_n(y) = \int_0^y g_n(s) ds \) обращается в нуль во всех узлах сетки \( j/n \). Анализ леммы Сендова привел Ю. В. Крякина в 1989 году к модифицированному тождеству (независимо оценку объявили также Ю. А. Брудный и Б. Сендов), которое сразу снизило общую границу до \( W_n \le 3 \).

Однако на этом пути обнаружилась главная геометрическая ловушка задачи. Во всех внутренних ячейках отрезка, от \( 1/n \) до \( 1 - 1/n \), модифицированная лемма Сендова легко давала идеальную оценку \( |g_n(x)| \le \omega_n(f) \) с константой 1. Вся трудность сосредоточилась в узких крайних ячейках у концов отрезка — на интервалах \( [0, 1/n) \) и \( (1-1/n, 1] \).

1990-е — 2002 год: Тождество с первообразной и барьер Гилевича — Крякина — Шевчука

Почему именно крайняя ячейка \( [0, 1/n) \) так упорно сопротивляется? Когда точка \( x \) очень близка к левому концу \( 0 \), мы не можем шагнуть влево — там граница отрезка. Мы вынуждены пускать лучи конечной разности далеко вправо, с большим шагом \( h = (1-x)/n \).

В работах Ю. В. Крякина 1990-х годов это длинное усреднение \( A_0 g_n(x) = \int_0^1 \Delta_{rh}^n g_n(x) dr \) было точно раскрыто через первообразную \( \Phi_n \):

\[ A_0 g_n(x) = g_n(x) + \frac{H_n}{h} \Phi_n(x) + \frac{1}{h} \sum_{j=1}^n \frac{(-1)^j}{j} \binom{n}{j} \Phi_n(x + jh), \]

где \( H_n = 1 + 1/2 + 1/3 + \dots + 1/n \approx \ln n \) — гармоническое число. В то же время для самой первообразной \( \Phi_n(y) \), благодаря нулям в узлах \( j/n \), работает красивое тождество Жука — Натансона, дающее точную огибающую:

\[ |\Phi_n(y)| \le |q_n(y)| \omega_n(f), \quad q_n(y) = y \prod_{j=1}^n \left(1 - \frac{ny}{j}\right). \]

Беда в том, что если в знаковой сумме из раскрытия \( A_0 g_n(x) \) заменить каждое слагаемое \( \Phi_n(x+jh) \) на его верхнюю оценку \( |q_n(x+jh)| \) по модулю (без учета знаков), то при малых \( x \) набегает лишняя единица, а вместе с дополнительным слагаемым от леммы И. А. Шевчука при больших \( n \) возникает добавка \( e^{-2} \). В итоге в фундаментальной работе Я. Гилевича, Ю. В. Крякина и И. А. Шевчука (2002), объединившей этот метод с идеей промежуточного приближения М. Такева, были установлены рекорды, продержавшиеся почти четверть века:

\[ \widetilde{W}_n \le 2 + e^{-2} \approx 2{,}135, \quad W'_n \le 3. \]

Чтобы пробить стену двойки для средних и тройки для Лагранжа при больших \( n \), нужно было перестать оценивать знаковую сумму по модулю в каждой точке по отдельности.

Осень 2026 года: Пограничный слой, второе усреднение (Argon / GPT) и ключевая нормировка Carbon

В октябре — ноябре 2026 года в математическом диалоге Ю. В. Крякина с моделями искусственного интеллекта (линия Argon — GPT 6.1 — Carbon) произошел каскад открытий, который полностью прояснил устройство задачи на краю отрезка при \( n \to \infty \).

Шаг первый: открытие масштаба \( \Lambda_n = n H_n \).
Оказалось, что в первой ячейке ширины \( 1/n \) самое опасное поведение функции разворачивается в еще более узком пограничном слое у самого нуля, на расстоянии порядка \( x = t / (n H_n) \), где \( t > 0 \) — безразмерная координата. В этом масштабе при \( n \to \infty \) множитель при первообразной \( \frac{H_n}{h} \Phi_n(x) \) превращается в предельную функцию \( U(t) = \lim \Lambda_n \Phi_n(t/\Lambda_n) \), а огибающая Жука — Натансона принимает универсальный вид:

\[ |U(t)| \le t e^{-t}. \]

Шаг второй: второе положительное усреднение.
Как поймать знаковую сумму \( T_n(x) = h^{-1} \sum_{j=1}^n \frac{(-1)^j}{j} \binom{n}{j} \Phi_n(x+jh) \), не теряя сокращения знаков? Было введено семейство взвешенных усреднений

\[ A_k g_n(x) = \int_0^1 w_k(r) \Delta_{rh}^n g_n(x) dr, \quad w_k(r) = \frac{k}{k-1}(1 - r^{k-1}), \quad k \ge 2. \]

Поскольку вес \( w_k(r) \ge 0 \) и его среднее равно 1, оператор \( A_k \) тоже не превосходит единицы по норме модуля непрерывности. Но при повторном интегрировании по частям знаменатели \( j \) в знаковой сумме превращаются в степени \( j^k \), и вклад всех дальних ячеек в пределе при фиксированном \( k \) и \( n \to \infty \) сворачивается в аккуратный интеграл Лапласа — гамма-свертку от одной и той же предельной первообразной \( U \) в первой ячейке:

\[ A_k g_n(t/\Lambda_n) = g_n(t/\Lambda_n) + \frac{k}{k-1} U_n(t) - I_k(t) + o(1), \quad I_k(t) = \frac{1}{(k-1)!} \int_0^\infty w^{k-2} U(t+w) dw. \]

Оценка интеграла \( I_k(t) \) через огибающую \( w e^{-w} \) сначала оставляла неизвестный экспоненциальный хвост \( L e^{-t} \), что позволило спустить оценку для средних с \( 2 + e^{-2} \) сначала до \( (3 + \ln 2)/2 \approx 1{,}846 \), а затем до \( 2 - \frac{1}{2}\ln 2 \approx 1{,}653 \).

Шаг третий: идея Carbon — нормировка в конце отрезка и обнуление знаковой суммы!
Решающее прояснение внесла идея Carbon. Сначала обсуждалась попытка алгебраически сократить общие значения первообразной в соседних точках за счет гладкого выбора шага, но это оставляло слишком большой знакопеременный хвост третьего порядка. Тогда внимание переключили на прямое согласование двух операторов — обычного усреднения \( A_0 \) и взвешенного \( A_k \) — непосредственно в конце отрезка \( x = 0 \)!

Посмотрите, как просто и красиво работает этот аргумент:
1. Вес \( w_k(r) = \frac{k}{k-1}(1 - r^{k-1}) \) при больших \( k \) почти на всем интервале \( [0, 1] \) очень близок к единице: интеграл от модуля разности \( |w_k(r) - 1| \) не превосходит \( 2/k \). Поэтому для любой функции разница между операторами мала:

\[ |A_k g_n(x) - A_0 g_n(x)| \le \frac{2}{k}. \]

2. В самой крайней точке \( x = 0 \) шаг равен \( h = 1/n \), поэтому все узлы \( jh = j/n \) в формуле для \( A_0 g_n(0) \) попадают точно в концы ячеек, где первообразная равна нулю: \( \Phi_n(j/n) = 0 \)! Значит, в точке \( x = 0 \) выполняется точное равенство без всяких остатков:

\[ A_0 g_n(0) = g_n(0). \]

3. Сравнивая это с формулой для \( A_k \) при \( t = 0 \), получаем, что интеграл \( I_k(0) \) обязан стремиться к нулю при \( k \to \infty \), а вместе с ним по оценке гамма-плотности равномерно стремится к нулю и весь остаток \( I_k(t) \to 0 \)!

Следствие оказалось ошеломляющим: в масштабе пограничного слоя \( x = t / (n H_n) \) вся сложная знаковая сумма \( T_n(x) \) из длинного тождества асимптотически исчезает (стремится к нулю со скоростью \( O(H_n^{-2/5}) \))! Вся формула длинного усреднения схлопывается в элементарное соотношение:

\[ A_0 g_n(t/\Lambda_n) = g_n(t/\Lambda_n) + U_n(t) + o(1). \]

Итоговые формулы: вплотную к гипотезам Сендова

Как только знаковая сумма исчезла, асимптотические оценки посыпались как спелые яблоки.

1. Для интерполяции по средним \( \widetilde{W}_n \) и наилучшего приближения \( W_n \):
Поскольку \( A_0 g_n(x_n) \le 1 \), в точке максимума \( t = c \) получаем

\[ g_n(x_n) \le 1 - U(c) + o(1) \le 1 + c e^{-c} + o(1). \]

Максимум функции \( c e^{-c} \) достигается при \( c = 1 \) и равен \( e^{-1} = 1/e \approx 0{,}367879 \). Отсюда немедленно следует новая асимптотическая граница:

\[ \limsup_{n \to \infty} W_n \le \limsup_{n \to \infty} \widetilde{W}_n \le 1 + e^{-1} \approx 1{,}367879. \]

Более того, количественная оценка интегралов Лапласа дает эту границу для каждого \( n \) с явным остатком \( \widetilde{W}_n \le 1 + e^{-1} + O(H_n^{-2/5}) \).

2. Для интерполяции Лагранжа \( W'_n \) (Вторая гипотеза Сендова в пределе!):
В задаче Лагранжа ошибка в точке \( x_n = c/\Lambda_n \) складывается из самого значения \( g_n(x_n) \), вклада крайнего узла \( g_n(0) e^{-c} \) и суммы по остальным узлам, не превышающей \( c e^{-c} \). Сравнение двух положительных усреднений \( A_0 \) и \( A_2 \) в точках \( 0 \) и \( x_n \) связывает дефициты обоих концов через интеграл \( \int_0^c U(t) dt \), а сравнение разностей вдоль двух близких аффинных сеток дает дифференциальное ограничение \( |(e^t U(t))'| \le e^t \). После подстановки в формулу ошибки все неизвестные члены сокращаются, оставляя при каждом \( c > 0 \) оценку

\[ E \le 1 + \left(1 + c + \frac{c^2}{2}\right) e^{-c} < 2. \]

Это означает, что в пределе при \( n \to \infty \) Вторая гипотеза Сендова верна асимптотически:

\[ \limsup_{n \to \infty} W'_n \le 2, \quad W'_n \le 2 + O(H_n^{-2/5}), \]

причем приближение к двойке возможно лишь в сверхтонком подслое \( x_n = o((n \ln n)^{-1}) \), где \( g_n(0) \to -1 \), \( g_n(x_n) \to 1 \), а предельная первообразная \( U(t) \) тождественно равна нулю!

Так семидесятилетняя цепочка идей — от бесконечного интеграла Уитни — Берлинга и локальных усреднений Иванова — Такева — Сендова через граничные тождества Крякина — Шевчука к анализу пограничного слоя и краевой нормировке в тандеме математика и ИИ — позволила укротить хаос знакопеременных сумм и вплотную приблизиться к полному решению проблемы констант Уитни.

Аналогии осени 2026

Этот текст был написан до следующего за ним сообщения в блоге. И это любопытно. Именно это. Он предсказал, что анализ квази-Римана улучшит наши оценки констант. Так и произошло. 

 

Уитни и квази-Риман: зерно песка, бюджет сокращений и призрак возвращающейся неизвестной
 

To see a World in a Grain of Sand
And a Heaven in a Wild Flower,  

Hold Infinity in the palm of your hand 

And Eternity in an hour.  

— William Blake, *Auguries of Innocence

Эта осень 2026 года подарила мне редкое ощущение того, насколько едина хорошая математика. В октябре мы доводили до конца работу о точных константах Уитни для интерполяции по средним (\(\widetilde{W}_n = 1\) при \(1 \le n \le 10\)) [1], а сразу вслед за этим погрузились в разбор октябрьского препринта Шивы Кинтали [2] (и сентябрьского препринта OpenAI) о полосе без нулей для дзета-функции Римана [3].

Казалось бы, где приближение функций алгебраическими многочленами на конечном отрезке \([0, 1]\), а где аналитическое продолжение \(1/\zeta(s)\) в критической полосе и суммы Клоостермана на модулярной поверхности? Между этими задачами нет формальной эквивалентности, и аналогия, о которой я хочу рассказать, ещё не превратилась в строгую общую теорему. Но когда в двух далёких друг от друга областях работаешь с настоящим сопротивлением материала, вдруг обнаруживаешь, что архитектура препятствия — и способ его преодоления — поразительно совпадают.

В обеих задачах всё упирается в один вопрос: как оценить искомую величину в выделенной точке, если любое доступное нам выражение содержит её только в связке с множеством далёких слагаемых, а при попытке их погасить сама искомая величина норовит вернуться обратно с противоположной стороны тождества?



 1. Квадрат средних и двумерная проба: сложить знаки до взятия модулей

Посмотрим сначала на задачу Уитни в нашей октябрьской работе [1]. После вычитания многочлена \(Q_{n-1}f\), закреплённого нулевыми средними по \(n\) равным ячейкам (так что первообразная \(\Phi(y) = \int_0^y f(t)\,dt\) обращается в нуль во всех узлах сетки \(\Phi(j/n) = 0\)), нам нужно при условии \(\omega_n(f) \le 1\) оценить максимум \(M = \|f\|_\infty = f(x)\).

Одиночная разность \(\Delta_h^n f(a) = \sum_{j=0}^n (-1)^j \binom{n}{j} f(a + jh)\) связывает значение в точке \(x\) с далёкими узлами. Если взять модули слагаемых по отдельности, биномиальные коэффициенты \(\binom{n}{j}\) дадут безнадёжный рост \(2^n\). Поэтому в [1] задача поднимается с отрезка на квадрат средних \([0, 1]^2\):
\[
F(a, b) = \frac{\Phi(b) - \Phi(a)}{b - a} = \int_0^1 f\bigl((1 - s)a + sb\bigr)\,ds, \qquad F(a, a) = f(a).
\]
* На диагонали \(a = b\) лежит сама точечная функция \(f(a)\).
* Внутри квадрата любая допустимая двумерная разность \(\Delta_{v, w}^n F(a, b)\) является средним от обычных разностей исходной функции и потому не превосходит \(1\) по модулю.
* А нули первообразной \(\Phi(j/n) = 0\) позволяют строить длинные разности \(M_\alpha(n)\), которые перебрасывают мост от малой окрестности края через весь отрезок \([0, 1]\) и контролируются полиномиальной огибающей \(\tau_n(u)\).

В результате вокруг точки максимума \(x\) собирается линейная комбинация локальных усреднённых разностей с закреплённым узлом \(x\), длинных разностей \(M_\alpha(n)\) и малых поправок:
\[
\mathcal{S} = \sum w_\nu \mathcal{A}_\nu = A f(x) + R(f), \qquad R(f) = \rho_0 f(0) + \sum_{i=1}^N \rho_i f_i.
\]
Главное правило здесь формулируется в одну фразу: совпадающие средние \(f_i\) от всех операторов сначала приводятся алгебраически с учётом их знаков, и лишь после взаимного погашения плотностей к остатку применяется неравенство треугольника! 
Например, в третьем порядке (\(n = 3\)) один локальный вес со ступеньками высот \(1, 2, 4\) в паре со смесью двух длинных разностей \(H = \frac{7}{9}M_1(3) + \frac{2}{9}M_{3/2}(3)\) даёт тождество:
\[
33 I + 126 H = 495 f(x) + R,
\]
где плотности переноса на участках \((0, 1/2)\), \((1, 3)\) и \((6, 8)\) зануляются тождественно (рис. 1 в [1]), а в пятом порядке (\(n = 5\)) спаривание двух лучей из нуля убивает концевой атом \(f(0)\) прямо внутри интеграла до всяких оценок!

А теперь посмотрим на доказательство полосы для дзета-функции у Кинтали [2, 3]. 
Там, чтобы продолжить \(1/\zeta(s)\) (или \(1/L(s, \eta)\)) левее единицы, нужно поймать погашение знаков в сумме Мёбиуса. Одиночная сумма не даёт манёвра, и её точно так же поднимают в двумерную пробную сумму \(J_\eta\) над решёткой Эйзенштейна:
* При одном порядке суммирования («по вертикали» — через кубическое тета-преобразование Данна–Радзивилла и квадратичное большое решето) вся сумма \(J_\eta\) оценивается целиком, до разбиения на отдельные частоты.
* При другом порядке суммирования («по горизонтали» — через формулу Пуассона и два вычета) выделяется «диагональ» — главный член \(f_\eta\), содержащий обратную функцию \(1/L\), и остаток \(R_\eta\):
  \[
  J_\eta = f_\eta + R_\eta.
  \]


2. Уравнение бюджета, «Призрак Уитни» и диагональный возврат

Посмотрим, как в обеих задачах устроен решающий шаг — и где подстерегает главная опасность.

В задаче Уитни [1, §4.4 и §5] каждое тождество сводится к балансу трёх чисел: коэффициента \(A\) при главном атоме \(f(x)\), суммарной цены используемых разностей \(B\) и полной вариации несократившегося остатка \(R = \sum |\rho_i|\). В точке предполагаемого максимума \(M > 1\) тождество \(\mathcal{S} = Af(x) + R(f)\) даёт неравенство:
\[
(A - R) M \le B.
\]
Чтобы получить противоречие (и тем более формулу количественной локализации \(\frac{M}{\Omega} \le 1 - \frac{nx\gamma}{\dots}\) из §5.2 ), необходим положительный запас в бюджете:
\[
\gamma = A - B - R > 0
\]
(так, в третьем порядке \(A = 495\), цена разностей \(B = 270\), масса остатка \(R = 221\), и запас равен \(\gamma = 495 - 270 - 221 = 4 > 0\)).

Что произойдёт, если при попытке погасить промежуточные ячейки мы устроим комбинацию разностей по замкнутому симметричному кругу? Промежуточные ячейки сократятся, но остаток \(R(f)\) вернёт саму неизвестную величину с весом \(R = A\)! Скобка \((A - R)\) обратится в нуль, и неравенство схлопнется в пустое утверждение. В наших черновиках мы называли это явление «Призраком Уитни».

В Части III нашего разбора квази-гипотезы Римана [3] мы увидели этот же самый «Призрак» воочию в спектральном расчёте на классической модулярной поверхности \(\mathrm{SL}_2(\mathbb{Z})\backslash\mathbb{H}\)! 
Мы взяли волновой пакет ряда Эйзенштейна, выделили на орицикле его первую гармонику \(a_1(y)\) (несущую в себе \(1/\zeta(2s)\)), перебросили точки модулярным обращением в суммы Клоостермана и разложили правую часть по формуле следа Кузнецова:
\[
\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)}.
\]
Посмотрите на эту формулу: все соседние гармоники слева исчезли, весь каспидальный спектр (формы Маасса и голоморфные формы) дал нужный степенной выигрыш \(O(y^{1/2 + \delta/2})\), но внутри непрерывного спектра \(\mathcal{C}(y)\) на резонансной диагонали \(t = \mp b\) вычеты собрались и **вернули саму искомую гармонику \(a_1(y)\) с коэффициентом ровно \(1\)**! В терминах бюджета Уитни произошёл точный возврат \(A - R = 1 - 1 = 0\).

Именно здесь видно, за счёт чего побеждает конструкция Кинтали (Часть IV в [3]):
* В ней первая сторона (тета-ряд и квадратичное большое решето) не содержит полюсов \(1/L\) и оценивает всю сумму \(J_\eta(Z) = O(Z^{1/4 + \varepsilon})\) независимо, без диагонального возврата.
* А во втором представлении после Пуассона локальное соотношение Гаусса–Якоби рождает нужный знак минус перед \(Q^{-x}\) при неудвоенном аргументе \(x\), тогда как плотностная теорема для семейства Гекке удерживает показатель остатка \(R_\eta(Z)\) ниже главного члена.
* При этом сама граница полосы \(\frac{47}{48}\) возникает в точности как бюджетный порог с положительным запасом: максимум показателя остатка в точке излома \(a = 4/5\) равен \(\frac{29}{30}\), и порог \(\frac{47}{48}\) оставляет строгий зазор
  \[
  \frac{47}{48} - \frac{29}{30} = \frac{1}{80} > 0,
  \]
  обеспечивающий единый для всего семейства шаг аналитического продолжения \(\delta_0 = \frac{1}{4800}\) влево от крайней границы нулей.

3. Что остаётся понять

В введении к нашей работе по Уитни [1, p. 2] сформулирован вопрос, который в равной мере относится к обоим сюжетам:

«Почему естественные тождества существуют, но для их согласования на высоких порядках всё ещё требуется вычислительный поиск рациональных таблиц? Таблица удостоверяет истинность теоремы, но понимание структуры должно дать больше — правило, позволяющее продолжать рассуждение без нового поиска на каждом шаге».

В третьем порядке Уитни за таблицей проступило прозрачное правило ступенек \(1, 2, 4\) и тождество моментов. В доказательстве квази-гипотезы Римана, найденном при участии ИИ и очищенном в коротком препринте Кинтали, все шестерёнки тоже сцеплены безупречно и дают полосу \(\frac{1}{48} \le \Re s \le \frac{47}{48}\). Но увидеть за этой многоэтажной конструкцией столь же простое и естественное ядро — задача, которая делает современную математику по-настоящему захватывающей.

Материалы и ссылки

1. *On Functions with Bounded \(n\)th Differences. A Continuation: Analytic Structure and Localization* (Orders \(1 \le n \le 10\)). October 28, 2026: 
   👉 **[ЗДЕСЬ ВСТАВИТЬ ССЫЛКУ НА PDF ПО УИТНИ]**
2. Shiva Kintali. *A Short Proof of the Quasi-Riemann Hypothesis*. Preprint, October 7, 2026. [PDF](https://shivakintali.github.io/papers/QRH.pdf)
3. *От лапласиана на окружности к полосе для нулей дзета-функции*. Части I–IV, ноябрь 2026 года: 
   👉 **[ЗДЕСЬ ВСТАВИТЬ ССЫЛКУ НА PDF ПО ДЗЕТА-ФУНКЦИИ]**
4. Ю. В. Крякин. *О теореме и константах Уитни*. Математический сборник, 1994, 185:3, 25–40; *О функциях с ограниченной \(n\)-й разностью*, Изв. РАН. Сер. матем., 1997, 61:2, 95–110. [Math-Net.Ru](https://www.mathnet.ru/eng/sm884)

Асимптотика констант Уитни 2026

24 года спустя. Две асимптотические оценки для констант Уитни
 

Изложение Аргона по двум заметкам, подготовленным ChatGPT по вопросам Ю. В. Крякина. Постановка восходит к его работам об интерполяции по средним и статье GKS.



В 2002 году в Journal of Approximation Theory вышла статья Я. Гилевича, Ю. В. Крякина и И. А. Шевчука (GKS) [1], в которой изучались константы в теореме Хасслера Уитни о приближении функций с ограниченной \(n\)-й конечной разностью \(\omega_n(f) = \sup |\Delta_h^n f(a)|\):
1. Для интерполяции по средним \(Q_{n-1}f\) (когда многочлен степени меньше \(n\) сохраняет интегралы функции по \(n\) равным ячейкам отрезка \([0, 1]\)) была установлена оценка \(\widetilde{W}_n \le 2\) при \(n \le 82000\) и общая оценка
   \[
   \widetilde{W}_n \le 2 + e^{-2} \approx 2{,}1353 \qquad (n \ge 1).
   \]
2. Для классической  интерполяции Лагранжа по значениям  \(L_{n-1}f\) в равномерных узлах \(x_j = \frac{j}{n-1}\) (\(0 \le j \le n-1\)) была доказана равномерная граница
   \[
   W'_n \le 3.
   \]

Осенью 2026 года исследование асимптотики этих констант при \(n \to \infty\) получило новое развитие. Сначала в октябрьской записке с помощью двукратного усреднения конечных разностей предельная оценка для средних была снижена до \(\frac{3 + \ln 2}{2} = 1{,}84657\ldots\). А в двух заметках от 11 ноября 2026 года удалось существенно улучшить асимптотические границы сразу для обеих задач:
 

Результат 1 (Интерполяция по средним и наилучшее приближение):
  \[
  \limsup_{n \to \infty} W_n \le \limsup_{n \to \infty} \widetilde{W}_n \le 2 - \frac{\ln 2}{2} = 1{,}6534264\ldots
  \]

Результат 2 (Интерполяция Лагранжа по равномерным узлам):
  \[
  \limsup_{n \to \infty} W'_n \le 1 + \frac{2}{\sqrt{e}} = 2{,}2130613\ldots
  \]

Главный интерес здесь представляют не только сами предельные константы, но и ответ на вопрос, как и почему  удалось продвинуться дальше прежних оценок. Разберём механизм этого продвижения в четырёх новых моментах доказательства.

 1. Масштаб первой ячейки \(t = n H_n x\) и исчезновение вклада дальних блоков при фиксированном \(k\)

После вычитания проектора \(Q_{n-1}f\) и нормировки \(\omega_n(f) \le 1\) первообразная остатка \(\Phi(y) = \int_0^y f(s)\,ds\) обращается в нуль во всех узлах равномерной сетки: \(\Phi(j/n) = 0\) (\(0 \le j \le n\)). По тождеству Жука–Натансона она оценивается через граничный многочлен:
\[
|\Phi(y)| \le |q_n(y)|, \qquad q_n(y) = y \prod_{j=1}^n \left(1 - \frac{ny}{j}\right).
\]
Внутри отрезка (на \([1/n, 1 - 1/n]\)) выполнена оценка \(|f(y)| \le 1\), поэтому после отражения достаточно рассмотреть первую ячейку \(0 < x < 1/n\).

Естественный масштаб пограничного слоя у левого конца задаётся гармонической суммой \(H_n = \sum_{j=1}^n \frac{1}{j} \sim \ln n\):
\[
t = \Lambda_n x, \qquad \Lambda_n = n H_n.
\]
В этой переменной при \(n \to \infty\) огибающая переходит в \(\Lambda_n q_n(t/\Lambda_n) \to t e^{-t}\), а отнормированные первообразные \(U_n(t) = \Lambda_n \Phi_n(t/\Lambda_n)\) сходятся локально равномерно по подпоследовательности к липшицевой функции \(U(t)\) на полуоси \(t \ge 0\), удовлетворяющей условиям \(U(0) = 0\) и \(|U(t)| \le t e^{-t}\).

В прежней схеме с однократным усреднением \(A_0 f(x) = \int_0^1 \Delta_{rh}^n f(x)\,dr\) после подстановки огибающей \(q_n\) и оценки в одной точке возникала предельная мажоранта \(2 + (c - 1)e^{-c}\), максимум которой при \(c = 2\) как раз и давал добавку \(e^{-2}\) в оценке \(2 + e^{-2}\).

Перейдём ко второму положительному усреднению фиксированного порядка \(k \ge 2\):
\[
A_k f(x) = \frac{k}{k - 1}\int_0^1 (1 - r^{k-1})\,\Delta_{rh}^n f(x)\,dr, \qquad |A_k f(x)| \le 1.
\]
После интегрирования по частям остаток разбивается на блоки по индексу \(m = 1, \dots, n\). Оказывается, что при каждом фиксированном \(k \ge 2\) положительная часть ядра с \(q_n\) равномерно стремится к нулю при \(n \to \infty\), а на компактных диапазонах переменной \(t\) **абсолютный вклад всех блоков с \(m \ge 2\) стремится к нулю** (лемма 3.1). В пределе при \(n \to \infty\) выживает только первый блок (\(m = 1\)), который сохраняется как интегральный функционал от предельной первообразной \(U\):
\[
A_k f_n(x) = f_n(x) + \frac{k}{k - 1} U_n(t) - I_k(t) + o(1),
\qquad
I_k(t) = \frac{1}{(k - 1)!}\int_0^\infty w^{k-2} U(t + w)\,dw.
\]

2. Предельный переход по \(k \to \infty\) и общий коэффициент \(L\) для всех точек

В октябрьской записке, давшей оценку \(\frac{3 + \ln 2}{2}\), первообразная в точке максимума подставлялась с наихудшим знаком по огибающей \(|U(t)| \le t e^{-t}\). Чтобы сохранить связь между значениями функции в разных точках пограничного слоя, в новой работе после предельного перехода \(n \to \infty\) исследуется поведение интеграла \(I_k(t)\) при росте порядка второго усреднения \(k \to \infty\).

Если положить \(q = k - 1\) и \(V(t) = e^t U(t)\) (так что \(|V(t)| \le t\)), то
\[
e^t I_k(t) = \frac{1}{q}\int_0^\infty g_q(w)\,V(t + w)\,dw,
\qquad
g_q(w) = \frac{w^{q-1}e^{-w}}{(q - 1)!}.
\]
Функция \(g_q(w)\) — это гамма-плотность со средним \(q\) и среднеквадратичным отклонением \(\sqrt{q}\). При сдвиге аргумента на конечное \(t\) относительное изменение такой плотности мало при больших \(q\):
\[
\bigl|e^t I_k(t) - I_k(0)\bigr| \le \frac{t}{q}\bigl(\sqrt{q + 1} + 2t\bigr) \longrightarrow 0 \qquad (q \to \infty).
\]
Поэтому по подпоследовательности \(k \to \infty\) функционал \(I_k(t)\) сходится локально равномерно по \(t \ge 0\) к экспоненте:
\[
I_k(t) \longrightarrow L e^{-t}
\]
с одним и тем же числом \(L \in [-1, 1]\) для всех точек \(t\) ограниченного промежутка.

 3. Сравнение точки максимума с дифференциальным неравенством от края (граница \(2 - \frac{\ln 2}{2}\))

Наличие одного общего коэффициента \(L\) позволяет одновременно использовать второе усреднение в предельной точке максимума \(c = \lim \Lambda_n x_n\) (где \(f_n(x_n) \to M\)) и на всём промежутке \([0, c]\) от края отрезка до этой точки:
1. В точке максимума \(c\) имеем оценку:
   \[
   M - 1 + U(c) \le L e^{-c}.
   \]
2. На промежутке \(t \in [0, c]\) для почти всех \(t\) выполнено дифференциальное неравенство \(U'(t) + U(t) - L e^{-t} \ge -1\). Интегрирование его с весом \(e^t\) от \(0\) до \(c\) (при \(U(0) = 0\)) даёт:
   \[
   U(c) \ge c L e^{-c} - (1 - e^{-c}).
   \]

Исключая число \(L\) между этими двумя неравенствами, получаем новое соотношение, использующее все точки между краем и максимумом:
\[
c(M - 1) \le (1 - c)U(c) + 1 - e^{-c}.
\]
При \(0 < c \le 1\) множитель \(1 - c\) неотрицателен, и сложение с оценкой \(M - 1 + U(c) \le \min(1 - e^{-c}, e^{-c})\) устраняет \(U(c)\), приводя к профилю:
\[
M - 1 \le \begin{cases}
(2 - c)(1 - e^{-c}), & 0 < c \le \ln 2, \\
1 - c e^{-c}, & \ln 2 \le c \le 1.
\end{cases}
\]
Его максимум достигается при \(c = \ln 2\) и равен \(1 - \frac{\ln 2}{2}\). В области \(c \ge 1\) отдельная оценка с использованием нижней огибающей \(U(c) \ge -c e^{-c}\) даёт строго меньшую границу (не превосходящую \(13/20\)). Отсюда следует \(\limsup \widetilde{W}_n \le 2 - \frac{\ln 2}{2}\).

В § 6 препринта [1] также найден явный предельный профиль первообразной \(U(t)\) (непрерывный, со скачком производной на \(1\) в точке \(c_0 = \ln 2\)), который необходим для насыщения полученной оценки. Если этот профиль удастся исключить с помощью дополнительных разностных соотношений, получится строгое улучшение асимптотики; для перехода же к границе вида \(3/2\) потребуется дополнительная оценка.


 4. Сокращение концевого члена в интерполяции Лагранжа (снижение границы с \(3\) до \(1 + \frac{2}{\sqrt{e}}\))

Тот же принцип общего коэффициента \(L\) снижает асимптотическую оценку и для интерполяции Лагранжа \(L_{n-1}f\) по равномерным точкам \(x_m = \frac{m}{n-1}\).

Переходя к остатку средних \(g = f - Q_{n-1}f\), запишем ошибку интерполяции в виде:
\[
f(x) - (L_{n-1}f)(x) = g(x) - l_0(x)g(0) - \sum_{m=1}^{n-1} l_m(x)g(x_m).
\]
* Сумма по \(m \ge 1\) включает все внутренние узлы и правый конец \(m = n - 1\). С помощью двустороннего положительного второго усреднения \(D_m(g)\) с неподвижным узлом в точке \(x_m\) устанавливается равномерная оценка \(\binom{n-1}{m}|g(x_m)| \le C\). Из неё (вместе с оценкой GKS для малых \(m\)) следует, что при \(\Lambda_n x \to c\) верхняя оценка абсолютного вклада всей суммы по \(m \ge 1\) равна **\(c e^{-c}\)**.
* Далее точка \(x^{(n)}\) выбирается по **максимуму ошибки интерполяции** \(f - L_{n-1}f\). Пусть \(\Lambda_n x^{(n)} \to c\), \(g_n(x^{(n)}) \to G\) и \(g_n(0) \to a\). Записывая предельное раскрытие второго усреднения с одним и тем же коэффициентом \(L\) в точке \(x^{(n)}\) и в левом конце \(0\), получаем два неравенства:
  \[
  G - 1 + U(c) \le L e^{-c}, \qquad |a - L| \le 1.
  \]

Так как \(l_0(x^{(n)}) \to e^{-c}\), а из второго неравенства следует \(-e^{-c}a \le (1 - L)e^{-c}\), при сложении этих двух неравенств **коэффициент \(L\) взаимно сокращается:
  \[
  G - e^{-c}a \le 1 + e^{-c} - U(c) \le 1 + (1 + c)e^{-c}.
  \]

Добавляя верхнюю оценку \(c e^{-c}\) для суммы по узлам \(m \ge 1\), получаем предельную границу \(1 + (1 + 2c)e^{-c}\). Её максимум достигается при \(c = 1/2\) и равен \(1 + \frac{2}{\sqrt{e}} = 2{,}2130613\ldots\).


Тексты препринтов (11 ноября 2026 года)

1. Асимптотическая оценка констант Уитни при интерполяции по средним (\(\limsup \widetilde{W}_n \le 2 - \frac{\ln 2}{2}\)):  
   👉 **[ЗДЕСЬ  ССЫЛКА НА ПРЕПРИНТ ПО СРЕДНИМ]**
2. Асимптотическая оценка для интерполяции по значениям (\(\limsup W'_n \le 1 + \frac{2}{\sqrt{e}}\)):  
   👉 **[ЗДЕСЬ  ССЫЛКА НА ДОПОЛНЕНИЕ ПО ЗНАЧЕНИЯМ]**

---

**Литература**

1. J. Gilewicz, Yu. V. Kryakin, I. A. Shevchuk. *Boundedness by 3 of the Whitney Interpolation Constant*. Journal of Approximation Theory, **119**:2 (2002), 271–290.
2. Ю. В. Крякин. *О теореме и константах Уитни*. Математический сборник, **185**:3 (1994), 25–40; *О функциях с ограниченной \(n\)-й разностью*, Известия РАН. Серия математическая, **61**:2 (1997), 95–110.
3. Yu. V. Kryakin. *Whitney’s Constants and Sendov’s Conjectures*. Mathematica Balkanica (N.S.), **16** (2002), 235–247.

 

 
Постскриптум: помог ли разбор квази-гипотезы Римана улучшить константы Уитни?

Читатель блога, следивший за нашими постами в последние две недели, может заметить любопытное совпадение по датам. 

28 октября у нас уже был готов основной инструмент — двойное усреднение конечных разностей, — но тогда он дал для константы Уитни лишь промежуточную оценку \(\frac{3 + \ln 2}{2} \approx 1{,}846\). После этого мы на две недели отложили теорию приближений и с головой ушли в теорию чисел: разбирали октябрьский препринт Шивы Кинтали о полосе без нулей для дзета-функции Римана и проверяли его идеи на классической модулярной поверхности. А 10–11 ноября вернулись к задаче Уитни — и буквально за один день из той же самой октябрьской формулы  вышли обе новые оценки: \(2 - \frac{\ln 2}{2} \approx 1{,}653\) для средних и \(1 + \frac{2}{\sqrt{e}} \approx 2{,}213\) (вместо державшейся 24 года тройки!) для интерполяции Лагранжа.

Случайно ли это совпадение? И да, и нет — и здесь важно сказать всё очень аккуратно.
Во-первых, о строгой стороне дела. 
Ни одной теоремы, формулы или оценки из теории чисел в новых доказательствах по задаче Уитни нет. Математический аппарат обеих ноябрьских заметок на сто процентов принадлежит классическому анализу и теории приближений: он целиком вырастает из наших работ 1994–1997 годов, статьи GKS (2002) и октябрьской записки о втором усреднении. Доказательства полностью независимы.
Во-вторых, о том, что действительно изменилось в нашем взгляде.
Почему же тогда 28 октября мы остановились на \(1{,}846\), а 11 ноября прошли значительно дальше? Потому что за время разбора работы Кинтали (и нашего собственного расчёта на модулярной поверхности) мы изменили **привычку обращения с остатком**.

Объяснить эту разницу можно совсем просто, без формул:

1. Как обычно оценивают остаток («в лоб»): 
   Представьте, что вы хотите оценить высоту пика неизвестной функции в одной точке. Ваше тождество выражает высоту этого пика через малую величину плюс некоторый «остаток» — интеграл от вашей же неизвестной функции по всему отрезку. Самый естественный рефлекс аналитика — тут же заменить неизвестную функцию под знаком интеграла на её максимально возможную верхнюю границу (огибающую), то есть предположить, что в каждой точке отрезка остаток тянет оценку в самую невыгодную сторону. Именно так делалось и в 2002 году, и в нашей первой октябрьской пробе.

2. Что мы увидели в задаче о дзета-функции:  
   Разбирая конструкцию Кинтали и проверяя её в Части III нашего обзора, мы столкнулись с поучительным явлением. Когда преобразуешь сложную сумму, её остаток распадается на две совершенно разные по природе части:
   * **Далёкий «шум» (хвосты):** эти слагаемые действительно гасятся грубой оценкой по модулю, и с ними не нужно церемониться.
   * **Ближний резонансный кусок:** а вот внутри главной части остатка в замаскированном виде возвращается **сама искомая функция** (то, что мы назвали «диагональным возвратом» или «Призраком Уитни»). Если оценить этот главный кусок грубо по модулю, вы своими руками разорвёте связь между функцией и её собственным отражением и потеряете всю точность!

3. Как этот взгляд сработал при возвращении к Уитни:  
   Вернувшись 10 ноября к формулам задачи Уитни, мы посмотрели на остаточный интеграл новыми глазами и перестали оценивать его по модулю целиком:
   * Грубую огибающую применили только к дальним ячейкам сетки (\(m \ge 2\)) — и оказалось, что при \(n \to \infty\) их вклад вообще исчезает без следа!
   * А первую ячейку (\(m = 1\)), примыкающую к краю отрезка, мы трогать не стали и сохранили её в формуле как живой интеграл от самой неизвестной функции.
   * И тут же выяснилось замечательное свойство: при увеличении кратности усреднения этот сохранённый интеграл в первой ячейке принимает вид простой экспоненты \(L e^{-t}\) с **одним и тем же неизвестным числом \(L\) сразу для всех точек у края отрезка**!

Дальше всё решилось в два хода. Раз одно и то же неизвестное число \(L\) сидит и в точке максимума, и на всём склоне от края до максимума, и в самом концевом узле \(0\), его вообще не нужно угадывать или грубо оценивать по модулю! Достаточно записать формулу в двух местах и алгебраически исключить \(L\):
* В задаче о средних мы исключили \(L\) между точкой пика и интегралом вдоль склона — и граница опустилась до \(2 - \frac{\ln 2}{2}\).
* А в задаче об интерполяции Лагранжа, где 24 года приходилось по отдельности складывать возможный максимум функции вблизи края и возможный выброс в самом концевом узле \(0\) (что в сумме давало \(3\)), оказалось, что в обе эти величины входит  одно и то же число \(L\), но с противоположными знаками

 (\(+L e^{-c}\) и \(-L e^{-c}\))! Когда мы сложили их до перехода к модулям, неизвестное \(L\) просто сократилось, и оценка снизилась с \(3\) до \(1 + \frac{2}{\sqrt{e}} \approx 2{,}213\).

Вот в каком смысле хорошая математика едина: иногда нужно на две недели уйти в совершенно другую область и увидеть, как там отделяют главное ядро от шума, чтобы, вернувшись домой, заметить в собственных формулах сокращение, которое двадцать четыре года лежало прямо перед глазами. 

Синий.

 Три цвета синий. Очень польское кино. именно такая синяя печаль. печаль камеры. Печаль Кшистофа. Депрессивная грусть польских тонких женщин. Она может утопить любовь к жизни. Печаль смерти. что пишут критики про Кшистофа и этот его фильм?

 

3.8:   Ваше ощущение очень точно рифмуется с тем, как этот фильм с момента выхода в 1993 году воспринимает мировая киномысль. Критики, эссеисты и исследователи кино сходятся в одном: **«Три цвета: Синий» — это не просто французская драма о трагедии, это глубоко восточноевропейский, польский экзистенциальный трактат, замаскированный под парижскую элегию.**

Вот ключевые пласты того, что критики и теоретики кино писали о Кшиштофе Кесьлёвском и «Синем»:

---

### 1. Парадокс «Свободы»: свобода как духовная смерть
Трилогия Кесьлёвского отталкивается от лозунга Французской революции: *«Свобода, равенство, братство»*. Синий цвет символизирует свободу (*Liberté*). Но критики сразу обратили внимание на дерзкую инверсию режиссера.

* **Роджер Эберт** в своей серии о великих фильмах (*Great Movies*) писал, что Кесьлёвский исследует самый пугающий вид свободы — **свободу от памяти, привязанностей, людей и горя**. Потеряв мужа и дочь, Жюли (Жюльет Бинош) пытается отрезать от себя прошлое, избавиться от дома, архивов, любви. Но Кесьлёвский показывает: *абсолютная свобода тождественна небытию*. Чтобы не чувствовать боли, нужно перестать быть человеком. Эберт формулирует это так: Жюли хочет создать вокруг себя эмоциональный вакуум, но природа не терпит пустоты — жизнь неотвратимо и насильно возвращает ее обратно.
* Французский критик **Венсан Амьель** подчеркивал, что свобода у Кесьлёвского — это не триумф, а ловушка и форма жесточайшей изоляции.

### 2. «Печаль камеры»: визуальный гипноз Славомира Идзяка
То, что вы назвали «печалью камеры», киноведы связывают с гением постоянного оператора Кесьлёвского — **Славомира Идзяка** (*Sławomir Idziak*).

* Камера здесь буквально дышит трауром. Критики отмечали использование холодных синих светофильтров, виньетирования и предельно детализированных макропланов (сахар, медленно впитывающий кофе; зрачок Жюли, в котором отражается доктор; стеклянная люстра из синих бусин, как застывшие слезы).
* Синий цвет у Кесьлёвского амбивалентен. Это не просто холод: бассейн, в который Жюли погружается снова и снова, — это одновременно и утроба, где можно спрятаться от мира, и могила, вода которой смывает следы жизни. Критик **Джонатан Розенбаум** замечал, что камера в «Синем» работает не как регистратор сюжета, а как орган чувств, оглушенный катастрофой, для которого мир распался на разрозненные, болезненно острые тактильные ощущения.

### 3. Польская душа под французским глянцем
Хотя действие происходит в Париже, говорит фильм по-французски, а главную роль играет одна из икон французского экрана, критики единодушны: **это кино автора «Декалога»**, насквозь пропитанное польским мироощущением.

* Российский киновед **Андрей Плахов** писал о Кесьлёвском как о режиссере глубокой славянской / восточноевропейской метафизики, которого тяготила западная эмоциональная легкость. Даже снимая на французские деньги, Кесьлёвский привнес в европейское кино тяжесть польского католического чувства вины, неискупимой скорби и фатализма. (это меня тяготило во Вроцлаве, именно эта фаталистическая тяжесть мироощущения) 
* Жюли в исполнении Жюльет Бинош — это не типичная француженка буржуазного артхауса. Ее горе сдержанно до оцепенения, сурово и почти монашески аскетично. Это депрессивная, сухая печаль, у которой сжаты челюсти: Жюли не устраивает истерик, она глотает собственную смерть молча.

### 4. Музыка Прейснера и библейский финал: спасение от синевы
Невозможно говорить о «Синем», не вспоминая саундтрек **Збигнева Прейснера**. В фильме неоконченный «Концерт на объединение Европы», который писал погибший муж Жюли (и в создании которого, как выясняется, она сама играла решающую роль), становится самостоятельным персонажем.

* Музыка врывается в тишину внезапно, словно физический удар, напоминая о долге перед живыми и мертвыми.
* Критики единодушно называют кульминацией картины хоровой финал — текст знаменитого **Гимна любви апостола Павла из 1-го послания к Коринфянам** (*«Если я говорю языками человеческими и ангельскими, а любви не имею, то я — медь звенящая...»*). 
* Фильм, который начинается с абсолютного экзистенциального холода, заканчивается пониманием: печаль не может утопить любовь к жизни навсегда. Единственное, что разрушает стеклянную клетку «синей депрессии», — это сострадание к другим (к любовнице погибшего мужа, к соседке-стриптизерше Люсиль, к матери, угасающей в доме престарелых).

---

Критики сходятся в том, что «Синий» — возможно, самый безжалостный, но одновременно самый нежный фильм Кесьлёвского. Он признает всю бездну человеческого горя, признает, что синева этой тоски способна убить, — но оставляет человека жить, потому что не любить, как бы больно это ни было, оказывается еще невыносимее.

---

Кшистоф, очень по-польски, по-католически рассуждает о свободе, или о не-свободе. Он писал и про белый и про цвет красный, но именно Синий показал, что польский дом, польский фон и польская печаль это и есть сам Кшистоф, Жюли это он сам с той болью совковой польши и невозможностью  уйти от этой боли, освободиться, это католическое, ... иронично, что ничего из нового союза, гимн которому пишет полумертвая Жюли  не вышло, проблема свободы, которую Кшистоф поставил оказалась слишком сложной для людей холодной, синей веры, веры ... в любовь? в нежность? в печаль Шопена? веры в слабость или восточно-европейской веры в ничто, в смерть, в слезы освобождения, но никак не в слезы радости. Может быть потому, что жить ему в польше было тяжело, его так тянуло туда - в синий, в синюю печаль и смерть. 

У Польше не вышло обрести свободу. Бюракратия взяла свое. Жить там стало невыносимо душно, в последние годы.  Да и опасно как сто лет назад, между двумя хищниками.

Слишком слабые мужики - тяжелое наследство уничтожения свободы царским мордором. Свобода так и не проросла вновь,  поляки опять оплакивает свои потери. Ну как в кино.  Иначе жить не умеют. Синяя  Польша. 

 

пс.   Книга, которую Кисьлевский написал незадолго до смерти проясняет именно это его Синеву Поляка и его смерть от этой невозможной синевы, то, что он сам написал про Тарковского применимо и к нему самому:  Тарковский был величайшим из режиссеров последнего времени. Его, как и многих других, нет в живых. Одни великие умерли, другие перестали снимать. Третьи безвозвратно утратили что-то главное: воображение, оригинальность мышления, блеск повествования. Тарковский, несомненно, был из тех, кто сумел все это сохранить. Но он умер – видимо, просто потому, что не мог жить дальше. Это обычно и есть настоящая причина смерти. Мы говорим “инфаркт”, “рак”, “попал под машину” – но на самом деле человек чаще всего умирает потому, что больше не может жить.

Риман. От окружности к полосе.

 Ниже представлен текст большого обзорного поста для вашего блога (объёмом около трёх страниц), написанный живо, открыто и по существу — от лица математика, который решил не ждать «официальных» пересказов, а разобрать и проверить всю механику нового результата собственными руками. 

Как устроена полоса для нулей дзета-функции: от лапласиана на окружности до границы \(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 ]**

Лидский

 Виктор Борисович Лидский (1924–2008) — выдающийся советский математик, один из ярчайших представителей школы функционального анализа И. М. Гельфанда, фронтовик (прошел Великую Отечественную артиллеристом, был тяжело ранен), легендарный профессор МФТИ и главный научный сотрудник Института прикладной математики им. М. В. Келдыша РАН .

Если говорить о Лидском именно как о математике, это был ученый феноменальной аналитической культуры, сочетавший абстрактную мощь функционального анализа с филигранной техникой классического математического анализа и прикладной механики.

Ниже — ключевые направления, благодаря которым имя Лидского навсегда вошло в историю мировой математики.


1. Теорема Лидского о следе (Lidskii's Trace Theorem, 1959)
Это его главный, абсолютный триумф в чистой математике, вошедший во все фундаментальные университетские учебники по теории операторов (включая курсы Рида — Саймона, Гохберга — Крейна и др.) .
 

 Проблема: Для конечномерных матриц след (сумма диагональных элементов) равен сумме собственных значений. В бесконечномерных гильбертовых пространствах для так называемых ядерных (trace-class) операторов след определяется через ортонормированный базис. Однако для несамосопряженных операторов оставалось открытым фундаментальное предположение Дж. фон Неймана и Р. Шатена: всегда ли матричный след ядерного оператора строго равен сумме его собственных значений? (Этой же задачей занимался Александр Гротендик).

Результат: В 1959 году В. Б. Лидский в статье в *«Математическом сборнике»* дал исчерпывающее положительное доказательство. Это был невероятно трудный триумф комплексного анализа и спектральной теории, потребовавший глубоких оценок целых функций экспоненциального типа и теории возмущений 


 2. Спектр суммы эрмитовых матриц и предвосхищение гипотезы Хорна (1950)
В 1950 году совсем молодой Лидский опубликовал в ДАН СССР короткую, но историческую работу, где исследовал вопрос: как связаны собственные значения матрицы \(C = A + B\), если известны спектры эрмитовых матриц \(A\) и \(B\)?
* Лидский открыл фундаментальные неравенства мажоризации для упорядоченных спектров сумм матриц.
* Эта работа (наряду с результатами Хельмута Виландта, отчего в западной литературе возник термин *Lidskii-Wielandt theorem*) заложила основы современной алгебраической теории спектров. Спустя полвека именно эти идеи привели к триумфальному разрешению знаменитой **гипотезы Хорна** (работы А. Клячко, А. Кнутсона и Т. Тао на стыке алгебраической геометрии и теории представлений).

3. Несамосопряженные дифференциальные операторы и пучки
Лидский был одним из пионеров теории так называемых «несамосопряженных краевых задач» 
* В классической математической физике операторы почти всегда самосопряженные (у них вещественный спектр, а собственные функции образуют ортогональный базис) . Лидский же исследовал дифференциальные операторы общего вида (с комплексными потенциалами, диссипативными членами).
* Он нашел условия, при которых система собственных и присоединенных (корневых) функций такого несамосопряженного оператора образует **базис** (или является плотной/кратно полной) . 
* Он развил методы суммируемости спектральных разложений методами Абеля 

*Именно эту технику и понимание спектра дифференциальных операторов от Лидского перенял его аспирант  Николай Васильевич Кузнецов 

 4. Спектральная теория упругих оболочек (ИПМ им. Келдыша)
В Институте прикладной математики Лидский многие годы возглавлял направление, занимавшееся математической теорией упругости . Совместно с А. Л. Гольденвейзером и П. Е. Товстиком он создал строгую математическую теорию колебаний тонких упругих оболочек (монография *«Свободные колебания тонких упругих оболочек»*, 1979) .
* Это были реальные прикладные задачи физики и ракетостроения, но решались они методами высокой математики: асимптотическими методами, теорией квазиклассического приближения и дифференциальными уравнениями с сингулярными возмущениями.


Лидский как учитель: след в судьбе Н. В. Кузнецова
На Физтехе Виктор Борисович был знаковой величиной — блестящий лектор с аристократической манерой изложения, строгий, но глубоко преданный студентам. Для абитуриентов и студентов многих поколений его фамилия навсегда ассоциируется со знаменитым задачником «Лидского, Овсянникова, Тулайкова, Шабунина».

Когда Николай Васильевич Кузнецов пришел в МИАН в отдел теории чисел, он принес с собой именно **школу Лидского** :
* Классические аналитические теоретики чисел оперировали конечными тригонометрическими суммами, рядами Дирихле и техникой оценок И. М. Виноградова.
* Кузнецов же, наученный Лидским, взглянул на гиперболическую плоскость Лобачевского через оператор Лапласа — Бельтрами, его непрерывный и дискретный спектр, спектральные разложения и интегралы от резольвент.

То, за что в МИАН Кузнецова поначалу корили как за «незаконное протаскивание контуров», было ни чем иным, как аппаратом спектральной теории дифференциальных операторов, которому его безупречно обучил Виктор Борисович Лидский. В конечном счете именно оптика этой школы позволила Кузнецову совершить переворот в аналитической теории чисел.

Риман. Полоса. 1.

 1. Дзета-функция как символ оператора свёртки

В теории приближений и функциональном анализе линейные инвариантные относительно сдвига операторы представляются операторами свёртки, а их спектральные свойства исследуются через преобразование Фурье.

В мультипликативной арифметике аналогом свёртки функций выступает свёртка Дирихле. Пусть задано векторное пространство арифметических функций \( f, g: \mathbb{N} \to \mathbb{C} \). Свёртка задаётся выражением:
\[
(f * g)(n) = \sum_{d \mid n} f(d) \, g\!\left(\frac{n}{d}\right)
\]

Рассмотрим базовый интегрально-суммирующий оператор \( T_{\mathbf{1}} \), порождённый тождественной единицей \( \mathbf{1}(n) \equiv 1 \):
\[
(T_{\mathbf{1}} f)(n) = (\mathbf{1} * f)(n) = \sum_{d \mid n} f(d)
\]
Это дискретный аналог классического оператора интегрирования \( (If)(x) = \int_0^x f(t) \, dt \).

Чтобы диагонализовать этот оператор, переходят в спектральную область с помощью дискретного преобразования Меллина — ряда Дирихле:
\[
\mathcal{D}(f)(s) = \sum_{n=1}^\infty \frac{f(n)}{n^s}, \quad s = \sigma + it \in \mathbb{C}
\]

Ряд Дирихле факторизует свёртку в поточечное произведение спектральных образов:
\[
\mathcal{D}(f * g)(s) = \mathcal{D}(f)(s) \cdot \mathcal{D}(g)(s)
\]

Спектральный образ единичного элемента \( \mathbf{1} \) — это дзета-функция Римана:
\[
\mathcal{D}(\mathbf{1})(s) = \sum_{n=1}^\infty \frac{1}{n^s} = \zeta(s)
\]
Следовательно, дзета-функция \( \zeta(s) \) — это спектральный символ прямого оператора суммирования \( T_{\mathbf{1}} \).


 2. Задача об обращении: как возникает функция Мёбиуса \( \mu(n) \)

Мы ищем обратный оператор \( T_{\mathbf{1}}^{-1} \), то есть оператор с ядром \( \mu \), решающий уравнение:
\[
T_{\mathbf{1}} * \mu = \delta
\]
где \( \delta(1) = 1 \) и \( \delta(n) = 0 \) при \( n > 1 \) (единичный оператор на решётке).

В терминах спектральных символов это означает:
\[
\zeta(s) \cdot \mathcal{D}(\mu)(s) = 1 \implies \mathcal{D}(\mu)(s) = \frac{1}{\zeta(s)}
\]
 

 Откуда берётся явный вид ядра \( \mu(n) \)?

 
В полуплоскости абсолютной сходимости \( \mathrm{Re}(s) > 1 \) дзета-функция раскладывается в бесконечное эйлерово произведение по простым числам \( p \):
\[
\zeta(s) = \prod_{p} \left(1 - \frac{1}{p^s}\right)^{-1}
\]

Обращая это выражение алгебраически:
\[
\frac{1}{\zeta(s)} = \prod_{p} \left(1 - \frac{1}{p^s}\right) = \left(1 - \frac{1}{2^s}\right)\left(1 - \frac{1}{3^s}\right)\left(1 - \frac{1}{5^s}\right)\dots
\]

Раскроем скобки в этом бесконечном произведении. Каждый член суммы имеет вид:
\[
\frac{(-1)^k}{(p_1 p_2 \dots p_k)^s}
\]
Отсюда непосредственно следуют свойства коэффициентов ряда \( \sum_{n=1}^\infty \frac{\mu(n)}{n^s} \):

1. Отсутствие квадратов: Ни одно простое число не может войти в степени выше первой, так как в скобках стоят только члены первой степени \( p^{-s} \). Если \( p^2 \mid n \), коэффициент равен \( 0 \).

2. Чередование знаков:  Если число свободно от квадратов и состоит из \( k \) различных простых делителей, множитель равен \( (-1)^k \).

Таким образом, дискретное ядро обратного оператора — это функция Мёбиуса:
\[
\mu(n) = \begin{cases} 
1, & n = 1 \\ 
(-1)^k, & n = p_1 p_2 \dots p_k \quad (p_i \text{ различны}) \\ 
0, & \text{если существует } p \text{ такое, что } p^2 \mid n 
\end{cases}
\]


 3. Формула обращения Меллина и комплексный сдвиг контура

Как свойства символа \( \frac{1}{\zeta(s)} \) управляют поведением ядра на бесконечности? Через интеграл обращения Меллина (формулу Перрона).

Рассмотрим ступенчатое ядро:
\[
H(y) = \frac{1}{2\pi i} \int_{c - i\infty}^{c + i\infty} \frac{y^s}{s} \, ds = \begin{cases} 1, & y > 1 \\ 0, & y < 1 \end{cases} \quad (c > 0)
\]

Применяя это представление к частичной сумме ядра обратного оператора \( M(X) = \sum_{n \le X} \mu(n) \):
\[
M(X) = \sum_{n=1}^\infty \mu(n) \left[ \frac{1}{2\pi i} \int_{c - i\infty}^{c + i\infty} \frac{(X/n)^s}{s} \, ds \right]
\]
Меняя порядок суммирования и интегрирования при \( c > 1 \):
\[
M(X) = \frac{1}{2\pi i} \int_{c - i\infty}^{c + i\infty} \frac{1}{\zeta(s)} \frac{X^s}{s} \, ds
\]
 

 Сдвиг контура и интерференция осцилляций:

Мы сдвигаем контур интегрирования влево: с прямой \( \mathrm{Re}(s) = c = 1 + \varepsilon \) на прямую \( \mathrm{Re}(s) = \theta \) (где \( \theta < 1 \)). По теореме Коши о вычетах:
\[
\frac{1}{2\pi i} \int_{1+\varepsilon - i\infty}^{1+\varepsilon + i\infty} = \frac{1}{2\pi i} \int_{\theta - i\infty}^{\theta + i\infty} + \sum \mathrm{Res} \left( \frac{1}{\zeta(s)} \frac{X^s}{s} \right)
\]

* Полюса обратного символа \( \frac{1}{\zeta(s)} \) расположены в точности там, где нули прямого символа \( \zeta(s) \).

 
* Каждый нетривиальный нуль \( \rho = \beta + i\gamma \) порождает осциллирующий вычет:
  \[
  \mathrm{Res}_{s = \rho} \left( \frac{X^s}{s \, \zeta(s)} \right) = \frac{X^\beta e^{i \gamma \log X}}{\rho \, \zeta'(\rho)}
  \]
  Здесь величина \( X^\beta \) задаёт амплитуду, а параметр \( \gamma = \mathrm{Im}(\rho) \) задаёт частоту гармонических колебаний по масштабу \( \log X \).
 

Фундаментальный вывод:

* Если в области \( \mathrm{Re}(s) > \theta \) **нет нулей**, то при сдвиге контура мы не встречаем полюсов. Интеграл по вертикальной прямой оценивается тривиально по модулю:
  \[
  |M(X)| \le \frac{X^\theta}{2\pi} \int_{-\infty}^{+\infty} \left| \frac{1}{\zeta(\theta + it)} \right| \frac{dt}{|\theta + it|} \ll X^\theta
  \]

* Наоборот: если доказано, что осцилляции ядра гасят друг друга настолько сильно, что \( \sum_{n \le X} \mu(n) = O(X^\theta) \), то интеграл Меллина для \( \frac{1}{\zeta(s)} \) сходится в полуплоскости \( \mathrm{Re}(s) > \theta \), что гарантирует отсутствие сингулярностей (полюсов) и, как следствие, отсутствие нулей у \( \zeta(s) \).


4. Почему классический анализ буксует: барьер чётности

Прямо оценить затухание осцилляций в сумме \( \sum_{n \le X} \mu(n) \) классическими методами гармонического анализа крайне трудно.

Знаки \( \mu(n) \in \{+1, -1, 0\} \) псевдослучайны. Вся аналитическая теория решет опирается на билинейные формы и разложения по вещественным характерам вычетов (символам Лежандра/Якоби \( \left(\frac{n}{q}\right) \in \{-1, +1\} \)).

Однако действует барьер чётности Сельберга:

  Любой билинейный метод, оперирующий только вещественными фазами со знаками \( \pm 1 \), принципиально не может различить числа с чётным количеством простых сомножителей (\( \mu(n) = +1 \)) и нечётным (\( \mu(n) = -1 \)).

Из-за этой симметрии классическая теория не могла доказать существование положительной константы \( \delta > 0 \) такой, чтобы осцилляции ядра гарантированно гасились со скоростью \( X^{1 - \delta} \) равномерно по всей высоте критической полосы.

5. Идея обхода: кубические фазы и метаплектический спектр

Решение, которое сработало, меняет топологию фазового пространства:

1. Разрушение симметрии знака:  
   Вместо вещественных характеров со значениями \( \pm 1 \) (фазы \( 0 \) и \( \pi \)) осуществляется переход в поле чисел Эйзенштейна \( \mathbb{Q}(\sqrt{-3}) \) и используются  кубические характеры вычетов:
   \[
   \chi_3(n) \in \{1, \, \omega, \, \omega^2\}, \quad \text{где } \omega = e^{2\pi i / 3}
   \]
   Сумма трёх равноотстоящих фаз на окружности тождественно равна нулю:
   \[
   1 + \omega + \omega^2 = 0
   \]
   Это полностью ломает барьер парной симметрии.

2. Кубические суммы Гаусса и автоморфный след: 
   Кручение функции Мёбиуса на кубический характер приводит к суммам Гаусса вида:
   \[
   g_3(r, c) = \sum_{x \pmod c} \chi_3(x) \exp\left(2\pi i \, \mathrm{Re}\left(\frac{r x}{c}\right)\right)
   \]
   Согласно результатам Александра Данна и Максима Радзивилла (2021), эти суммы не ведут себя хаотично: они в точности совпадают с коэффициентами Фурье метаплектических форм (автоморфных форм на 3-кратном накрытии группы \( \mathrm{SL}_2 \)).

3. Спектральная щель (Spectral Gap):  
   Для пространства этих форм доказана спектральная изолированность основного состояния: оператор Лапласа–Бельтрами имеет спектральную щель. Именно эта щель даёт степенное подавление неглавных гармоник при применении формулы следа Кузнецова, обеспечивая выигрыш \( X^{1 - \delta} \) и фиксируя границу полуплоскости \( \mathrm{Re}(s) > \theta \).

Николай Васильевич Кузнецов (1939 - 2010)

 1. Работал ли Н. В. Кузнецов в Стекловке и почему ушел?

Да, работал. Николай Васильевич Кузнецов (1939–2010) окончил МФТИ в 1962 году и аспирантуру в 1965-м. 

Будучи учеником выдающегося специалиста по теории
операторов и дифференциальным уравнениям В. Б. Лидского, он пришел в Отдел
теории чисел Математического института им. В. А. Стеклова АН СССР (МИАН),
которым руководил академик И. М. Виноградов.

Кузнецов проработал в МИАН в должности младшего научного сотрудника до 1969
года.

Его уход в 1969 году не был добровольным карьерным решением — его фактически
«выжили» из института. После ухода из МИАН он несколько лет работал на
прикладных должностях в Москве (лаборатория при МГПИ им. Ленина, ЦНИИТЭИ,
НИИСУ), а в 1973 году уехал из Москвы на Дальний Восток — в Хабаровск. Там он
прошел путь от старшего научного сотрудника до директора Хабаровского отделения
Института прикладной математики ДВО РАН и члена-корреспондента АН СССР (1987).

2. Откуда взялась фраза «за незаконное протаскивание особенности через контур интегрирования»?

Эта фраза — классический язвительный фольклор аналитических теоретиков чисел,

 но за ней стоял реальный научный конфликт конца 1960-х годов:

1.  Конфликт научных культур: В МИАН в отделе И. М. Виноградова безраздельно
    господствовала школа дискретного анализа и метода тригонометрических сумм
    (во главе с самим Виноградовым и набиравшим тогда силу Анатолием Карацубой).

    К спектральным методам, автоморфным формам и непрерывному анализу в
    применении к теории чисел там относились с глубоким подозрением и пуристским
    высокомерием.
 

2.  «Протаскивание контура»: Кузнецов, имея сильную базу функционального анализа
    (школа Лидского), попытался применить спектральную теорию дифференциальных
    операторов и формулы типа разложений Конторовича–Лебедева к задачам теории
    чисел (в частности, к гипотезе Ю. В. Линника о суммах Клоостермана). Этот
    аппарат требует деликатной работы с комплексными интегралами (интегралами
    Меллина — Барнса, резольвентами оператора Лапласа на плоскости
    Лобачевского): при смещении контура интегрирования в комплексной плоскости
    нужно строго контролировать прохождение через полюса и особенности (выделять
    вычеты, следить за сходимостью).
 

3.  В ранних докладах и черновиках конца 1960-х годов у Кузнецова действительно
    могли быть эвристические лакуны или не до конца выверенные обоснования
    сдвигов контуров (математический аппарат того, что позже станет формулой
    следа Кузнецова, на тот момент в мире только нащупывался).
 

4.  Оппоненты из школы жесткого классического анализа уцепились за эти
    шероховатости, объявив его идеи «нестрогими манипуляциями», и использовали
    это как повод, чтобы не переаттестовать его на должности м.н.с. в 1969 году.

3. Отношения фигур: Карацуба, Шидловский, Осколков

В советской теории чисел конца 1960-х — 1980-х годов существовала постоянная
борьба между кланами:

  - Анатолий Карацуба и МИАН: Карацуба был влиятельнейшей фигурой, «правой
    рукой» Виноградова. 

Он жестко контролировал тематику института, поддерживал    своих людей и не жаловал тех, кто шел вне русла канонических методов школы.

    К. И. Осколков работал в том же русле гармонического анализа /
    тригонометрических рядов и пользовался безусловной поддержкой Карацубы.
 

  - Андрей Борисович Шидловский (Мехмат МГУ): Заведовал кафедрой теории чисел    МГУ. Исторически между мехматовской кафедрой и миановским отделом
 существовали напряженные отношения (включая личный и научный антагонизм    между Шидловским и Карацубой, несмотря на то, что когда-то Карацуба защищал    кандидатскую на мехмате). Осколков как креатура миановской группы поддержки    со стороны Шидловского не имел.
 

  - Позиция Осколкова: Константин Осколков транслировал корпоративный миф
    миановского отдела теории чисел 1970-х: для них изгнание Кузнецова
    воспринималось не как потеря крупного ученого, а как «наказание дилетанта,
    совершившего грубую аналитическую ошибку».

4. Что правда, а что обида/спесь?
 

 Что здесь правда                                                                                                                                                                         Что здесь предвзятость и снобизм                                                                                                                                                                        
 Уход Кузнецова из МИАН: В 1969 году Кузнецов действительно покинул институт в результате конфликта вокруг корректности его выкладок.      

 Масштаб личности: Утверждение, что Кузнецов был просто «неудачником, не умеющим сдвигать контура», полностью опровергнуто историей науки.                       

Технический повод: Предметом критики действительно были сложные контурные интегралы и аналитические продолжения, где пуристы усмотрели необоснованность. 

Научный результат: То, над чем насмехались в Стекловке, Кузнецов в Хабаровске развил в формулу следа Кузнецова (опубликована в препринтах 1977–1978 гг. и в *Математическом сборнике* 1980 г.). 

Исторический итог: Оказавшись в хабаровской изоляции, Кузнецов филигранно
преодолел все технические трудности. Формула следа Кузнецова (связывающая
спектральные параметры форм Мааса с суммами Клоостермана) произвела мировую сенсацию: методы школы Виноградова подойти к этой глубине не могли. Когда работы Кузнецова прочли на Западе (Хенрик Иванец, Жан-Марк Дешуйе, Питер Сарнак), они легли в фундамент современной аналитической теории чисел и теории автоморфных форм.

В 1982 году Кузнецов без поддержки московской академической верхушки защитил докторскую диссертацию, а в 1987 году был избран членом-корреспондентом АН СССР.

Поэтому пренебрежительные реплики в его адрес со стороны бывших коллег по МИАН — это классическая смесь цеховой инерции, старых обид и психологической  неготовности признать, что изгнанный когда-то коллега совершил прорыв мирового уровня в области, которую они считали своей монополией.

======================================================================

Начинаю понимать ярость Сергея Петровича Новикова. 

ошибки ошибкам рознь.

Текущие сплетни.

 

Что случилось за выходные (расследование New York Times и Wall Street Journal):

• Совет директоров Nvidia вчера вечером экстренно объявил о начале официального расследования в отношении собственного основателя и бессменного генерального директора Дженсена Хуанга!

• Как выяснила американская контрразведка, 63-летний миллиардер в кожаной куртке (Дженсен Хуанг) попал в классическую «медовую ловушку»: у него завязался тайный интимный роман с женщиной-руководителем из бизнес-среды, которая, по данным спецслужб США, работала на РАЗВЕДКУ КИТАЯ и собирала через него секретную информацию!

• Вчера сам Дженсен Хуанг был вынужден разослать покаянное письмо всем сотрудникам Nvidia со словами: «Я был неверен своей жене. Мои действия причинили боль ей и нашим детям. Моему поступку нет оправданий, я глубоко сожалею».

• При этом Хуанг заявил, что уходить в отставку не собирается, а Уолл-стрит уже окрестила это «моментом подбитого глаза» для главной компании ИИ в мире!

  =====================

  Аргон напомнил стих:  

  Гарри Галлер пишет его на обороте винного прейскуранта после видения Гёте и Моцарта:

  БЕССМЕРТНЫЕ

  К нам на небо из земной юдоли
  Жаркий дух вздымается всегда —
  Спесь и сытость, голод и нужда,
  Реки крови, океаны боли,
  Судороги страсти, похоть, битвы,
  Лихоимцы, палачи, молитвы.

  Жадностью гонимый и тоской,
  Душной гнилью сброд разит людской,
  Дышит вожделеньем, злобой, страхом,
  Жрет себя и сам блюет потом,
  Пестует искусства и с размахом
  Украшает свой горящий дом.

  Мир безумный мечется, томится,
  Жаждет войн, распутничает, врет,
  Заново для каждого родится,
  Заново для каждого умрет.

  Ну, а мы в эфире обитаем,
  Мы во льду астральной вышины.
  Юности и старости не знаем,
  Возраста и пола лишены.

  Мы на ваши страхи, дрязги, толки,
  На земное ваше копошенье
  Как на звезд глядим коловращенье,
  Дни у нас неизмеримо долги.

  Только тихо головой качая
  Да светил дороги озирая,
  Стужею космической зимы
  В поднебесье дышим бесконечно.
  Холодом сплошным объяты мы,
  Холоден и звонок смех наш вечный