🔬 НЕЛИНЕЙНАЯ АЛГЕБРА И МОЙ ДЕМОН. О Валерии Долотине

Наконец-то могу об этом написать. Я на связи с Валерием Долотиным - математиком из ИТЭФ. Имя знают немногие, а стоило бы многим.

Родословная.

Долотин учился в аспирантуре у Израиля Гельфанда в Rutgers. Сам он формулирует это так: Колмогорову внук.

Потому что Гельфанд - ученик Колмогорова. Попал к нему в аспирантуру в 1932-м, не имея ни диплома, ни школьного аттестата. Первую научную статью написал с Колмогоровым в соавторстве. Позже Колмогоров говорил, что есть только два математика, в разговоре с которыми он ощущал присутствие высшего разума, и один из них - Гельфанд.

Держите это в голове в следующий раз, когда услышите, что без диплома в науку не пускают.

Что он сделал.

31 год публикаций. Nuclear Physics B, JHEP, IJMPA, Известия РАН.

- «О дискриминантах полилинейных форм» (Известия РАН, 62:2, 1998)
- «QFT's with action of degree 3 and higher and degeneracy of tensors» (1997)
- «Introduction to Non-Linear Algebra», с А. Морозовым (World Scientific, 2007)
- «The Universal Mandelbrot Set», с ним же (2006)
- серия «Introduction to Khovanov Homologies» (2012-2013)
- и последние годы - ML с теоретического угла: «A new Uncertainty Principle in Machine Learning» (2026)

В чём мякотка.

Вся линейная алгебра - в конечном счёте теория одного объекта: определителя. det A = 0 говорит, когда оператор вырожден. На этом стоит половина вычислительной математики.

Вопрос Долотина: что играет роль определителя для нелинейных объектов - тензоров, полилинейных форм, отображений степени 3 и выше?

Ответ: дискриминант. И дальше строится вся теория заново - собственные подпространства нелинейных операторов, правило Крамера, экспоненциальное отображение. Всему, что мы делаем с матрицами, есть нелинейный аналог. А значит - приложения везде, где до сих пор прилагались матрицы.

Он делал это в 1995-1997. Тензорные методы стали центральными в ML и квантовой информации лет через пятнадцать. Гипердетерминант Кэли 2x2x2 - это буквально мера запутанности трёх кубитов, и это поняли позже, чем он написал свои работы.

Его собственные слова о книге: её никто не читает. Это, кажется, его почти перестало бесить.

Моя часть.

Моя статья - о цене предсказания. Два способа предсказать систему по одному сигналу: ждать, пока она повторится (метод аналогов, Лоренц, 1969), или настроить наблюдателя, который подстроится за десяток шагов. Доказано и измерено: ожидание дорожает как степень, наблюдатель - как логарифм. При точности одна миллионная разрыв - миллиард раз.

DEMON - про вторую дорогу. Наблюдатель, который смотрит не на всё, а туда, где есть структура, и платит за знание ровно столько, сколько оно стоит.

Где стыковка.

Граница моей теоремы - условие вырождения. Ускорение законно там, где объект вырожден, и запрещено там, где он полноранговый.

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

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

Статья уходит на arXiv. О результатах напишу.

Павел Техножнец / PPRFNK Tech

🦆🦆🦆
Поддержать канал ₽ / $ / ₿

Запостил статью о демоне, называется: Сжатие против рекуррентности

Хорошее, недолгое чтиво по делу. + скрипты для воспроизведения.
1-3 дня на модерацию. В понедельник уже выложу для всех статью, чтобы почитали.

arxiv.org

🦆🦆🦆
Поддержать канал ₽ / $ / ₿

🔬 ДЕМОН ПОЛУЧИЛ ТЕОРЕМУ. Препринт на arXiv, статья ушла в Physica D

14 месяцев и ~2500 экспериментов DEMON был инженерным фактом: якоря, Такенс, Риккати, ускорения от матмула до астрофизики. Не хватало доказательства: почему работает и где граница.

Теперь есть.

arXiv: https://arxiv.org/abs/2607.14885 (math.DS)
Код: https://github.com/barometech/contraction-vs-recurrence
На рецензии: Physica D: Nonlinear Phenomena (PHYSD-D-26-01611)

Сначала отступление и ретроспектива:

Про фильтр, который я себе сделал. У меня был период: вспышки, чёрные дыры, белки, полимеры, ЭЭГ, сердце — я лез везде, где мерцала структура, и каждый раз находил её. Проблема в том, что её находили все и всегда — в восьмидесятых поле сошло с ума ровно на этом: инструмент выдавал красивое маленькое число на чём угодно, включая чистый шум, и пошёл вал открытий. Климатический аттрактор, размерность мозга, детерминированный хаос в ЭЭГ, предсказание эпилепсии по ляпуновским показателям, низкоразмерная динамика сердечного ритма. Всё это отозвали. Не потому что люди были глупые — потому что инструмент врал, а проверить было нечем: возьми обычный 1/f-шум, прогони через стандартный конвейер, получи «размерность 2.5» и статью в Nature. Крыша ехала капитально и системно, целым поколением. Сейчас та же болезнь возвращается с ИИ: модель что-то выдала, число красивое, значит открытие — и никто не спрашивает, отличается ли оно от того, что выдаст та же модель на перемешанных данных. Так вот, теперь у меня есть гейт: он берёт мой сигнал, делает из него подделку с той же статистикой, но убитой внутренней механикой, и сравнивает. Оригинал предсказывается лучше подделки — структура настоящая. Одинаково — я просто любовался шумом. Я прогнал через него собственную гипотезу про универсальную восьмёрку — она сдохла.

Суть без формул.

Один датчик, одна кривая - станок, сердце, звезда. Надо понять скрытое состояние и предсказать следующий шаг. Способов два.
Первый: ждать повторения. Система вернётся в похожее состояние - подсмотри продолжение. Метод аналогов, Лоренц, 1969.
Второй: настроить наблюдателя. Модель за десяток шагов подстраивается и дальше ведёт систему сама. DEMON - это он.
Доказано и измерено: ожидание дорожает как степень (точность в 10 раз выше - жди в 100 раз дольше для двумерной системы), наблюдатель - как логарифм (плюс пара шагов). На аттракторе Лоренца при точности одна миллионная разрыв: 19 000 000 000 раз.

Вторая половина - прививка от самообмана.

Типовой конвейер анализа "находит" порядок даже в чистом шуме: белый шум на входе - красивая "размерность 8" на выходе. На звуке, котировках, чём угодно. Это подпись размера датасета, не вселенной - на этой иллюзии в 80-х погорели "климатические аттракторы".
В статье - гейт Каца-Риккати из трёх проверок, ловящий подделку до "открытия". Проверен на реальных данных: лазер Santa Fe пропущен (D2=2.01), солнечные пятна отвергнуты - хотя красивое число там есть до сих пор. Один допуск, один отказ, оба совпали с устоявшейся литературой.
Я прогнал через гейт собственную гипотезу о восьмёрке. Она не выжила. Теорема выжила.

Что это даёт.

Инструменту - границу: где ускорение законно, а где запрещено. Это экономит месяцы: сегодня я за вечер получил три честных "нет" на реальных задачах, и каждое стоило бы недель вслепую.
Полю - детектор ложных открытий. Бороться с самообманом в анализе сигналов приходится каждому поколению заново.
Всем - кнопку: python3 scripts/demon_observer_verify.py → 17/17 PASSED за две минуты. Каждое число статьи перегоняется одним скриптом. Не верь мне - нажми.

Честно про вклад.

Цена аналогов известна: Кац 1947, ван ден Доол 1994, Вульпиани 2012. Сходимость Риккати - классика теории управления. Моё: двусторонняя постановка (обе цены на одной оси), конечновыборочная граница без предположений о перемешивании, и гейт, проверенный на живых данных.

Кирпичи чужие. Стена моя. И к стене приложен инструмент, которым каждый может её простучать.

Павел Попович / PPRFNK Tech

🦆🦆🦆
Поддержать канал ₽ / $ / ₿