Её отец умер от инсульта, когда ей было двадцать три. Через неделю после её поступления в аспирантуру. Это было не связано с математикой. Или было связано — в том смысле, что именно тогда она приняла решение, которое привело её сюда: мир не должен происходить с людьми, как хаотическая система. Должны быть границы предсказуемости. Должны быть горизонты, за которыми ещё можно что-то видеть.
— Мне важно, — сказала она, — чтобы это был настоящий результат. Не красивый нулевой результат.
Ватанабэ поставил перед ней чашку.
— Тогда работайте дальше, — сказал он просто. — Пока у вас нет доказательства того, что это невозможно, — это возможно.
Наоми взяла чашку. Чай был зелёный и очень горячий — она всегда забывала, что он заваривает его горячее, чем принято.
— Вы верите, что теорема верна? — спросила она.
Ватанабэ сел обратно за стол.
— Я верю, что вы её доказали, — сказал он. — Мне кажется, что вы тоже в это верите. Иначе вы бы не пришли в восемь утра — вы бы тихо выбросили третью лемму и начали переформулировать. Вы пришли потому, что хотите сохранить её в полном виде.
Это было точно. Наоми поставила чашку.
— Мне нужна другая конструкция для меры, — сказала она. — Не через монотонность.
— Тогда начните с определения того, что мера должна
делать, — без предположений о том, как она это делает.
Это заняло четыре месяца.
Не четыре месяца ровной работы — четыре месяца, в которые вошли два тупика, одно неверное доказательство, которое Наоми обнаружила сама через три недели после того, как решила, что оно верно, и один период в три недели, когда она вообще не могла смотреть на эту задачу. Ватанабэ не торопил. Иногда они говорили о другом — о его работах 1990-х годов, о конференции в Берлине, на которую он её отправил вместо себя, о том, как изменились вычислительные методы за тридцать лет.
В феврале она нашла конструкцию через квазиинвариантные меры на расслоённых пространствах. Это был не очевидный путь — он требовал инструментария из алгебраической геометрии, который в теории динамических систем практически не использовался. Но он работал. Третья лемма в новой форме была строже исходной: она не просто утверждала существование меры, она давала явную конструкцию для вычисления этой меры через спектральные свойства оператора переноса.
Наоми пришла к Ватанабэ в пятницу вечером с семью страницами доказательства.
Он читал сорок минут. Наоми сидела в своём кресле и смотрела в окно — снаружи уже стемнело, и в стекле отражался кабинет, книжные полки, оба они. Двойной мир, симметричный и немного неточный, как все отражения.
— Это верно, — сказал Ватанабэ наконец.
Не «хорошо», не «поздравляю». Просто констатация факта, который он проверил.
— Мне кажется, это верно, — осторожно сказала Наоми.
— Это верно. — Он отложил страницы. — И это значительно сильнее того, что вы планировали доказать изначально. Явная конструкция меры — это не просто теорема существования. Это алгоритм.
— Практически вычислимый алгоритм, — добавила она. — Для систем с конечным числом положительных показателей Ляпунова.
— Что покрывает почти всё, с чем работает прикладная математика.
Наоми кивнула. Она чувствовала что-то, что потребовало некоторого времени, чтобы опознать: удовлетворение. Не радость — радость была бы слишком громким словом. Просто: вещь, которая должна была существовать, существует, и теперь это доказано.
— Мы подаём на следующей неделе? — спросила она.
— Да. — Ватанабэ снова взял страницы. — Мне нужно ещё раз пройти по разделу три. Есть одно место, где переход немного быстрый — не неверный, но читатель может споткнуться.
— Я сделаю к понедельнику.
— Хорошо. — Он поднялся, чтобы поставить чайник, и Наоми начала собирать страницы — рефлекторный жест, за которым она не думала ни о чём конкретном. Потом она услышала звук.
Не громкий. Что-то среднее между вздохом и ударом — неправильный звук, который тело опознаёт раньше сознания. Она обернулась.
Ватанабэ стоял у чайного столика, но не прямо — он опирался о край, и это выглядело неправильно. Потом перестал опираться.
Наоми успела подхватить его до того, как он упал. Не полностью — она не смогла удержать, только замедлила падение. Потом опустилась рядом на колени и поняла, что уже говорит что-то в телефон — адрес, корпус, третий этаж, — хотя не помнила момента, когда достала телефон.
Ватанабэ был без сознания. Дышал — это она проверила трижды, потому что рука, которой она держала его запястье, дрожала, и она не доверяла своим ощущениям.
Скорая приехала через восемь минут. Это было хорошее время для университетского корпуса в пятницу вечером.
Ватанабэ умер через четыре часа в больнице. Инфаркт миокарда. Обширный. У него было, как выяснилось потом, сужение коронарных артерий, о котором он знал — не сказал никому. Это было его решение, и Наоми так и не смогла решить, злится ли она за него или понимает его.
Семь страниц с доказательством остались лежать на его
столе. Она забрала их через неделю, когда пришла разбирать его бумаги по
просьбе семьи. Они лежали так, как он их оставил: ровно, с закладкой на третьей
странице.
CERN, Женева. Вторник, 11:53
Статья вышла через шесть месяцев — с двумя авторами: Акияма Н. и Ватанабэ К. Рецензенты написали, что это один из наиболее значительных результатов в теории динамических систем за последние двадцать лет. Несколько коллег говорили Наоми, что она должна была подать статью только под своим именем — что Ватанабэ не писал её и большую часть ключевых идей разработала она. Наоми отвечала каждому из них одинаково: «Нет» — и больше к этому вопросу не возвращалась.
Через год теорему стали называть «теоремой Акияма». Это было неточно — Ватанабэ сформулировал исходную задачу и подсказал направление в критический момент. Но она понимала, почему так сложилось, и не возражала публично. Только иногда, когда кто-нибудь говорил «ваша теорема», она делала лёгкую паузу перед ответом — достаточно короткую, чтобы никто не заметил.
Публичный архив CERN за прошлую среду содержал агрегированные данные с временным разрешением в пятнадцать минут и урезанным спектральным анализом — достаточным, чтобы подтвердить наличие аномалии, но недостаточным, чтобы увидеть её структуру. Наоми провела два часа за этими данными и убедилась в том, что уже знала: совпадение трёх аномалий было реальным, не статистическим артефактом. Вероятность случайного совпадения трёх отклонений такой величины в семнадцатиминутном окне при независимых системах была исчезающе мала.
Но «реальное совпадение» ещё не означало «значимое» в каком-либо интересном смысле. Системы разделяли общую аппаратную архитектуру — это был наиболее очевидный кандидат. Гибридные чипы QH-7 были во всех трёх установках. Если в самой архитектуре существовал системный дефект, производящий коррелированный шум при определённых условиях нагрузки, — это объясняло всё.
Наоми написала в отдел аппаратного обеспечения CERN с запросом технической спецификации кластера GAIA-7. Это был публичный запрос — никакого допуска не требовалось.
Потом написала снова в отдел безопасности:
Уважаемая Каролин Мессье,
я понимаю протокол доступа и не прошу его обойти. Я прошу о следующем: можно ли мне получить агрегированные данные GAIA-7 с временным разрешением в одну секунду вместо пятнадцати минут? Это не требует доступа к необработанным логам — это выборка из публичного архива с другим параметром дискретизации.
— Профессор Н. Акияма
Ответ пришёл через двадцать минут:
Уважаемая профессор Акияма,
данные с временным разрешением менее пяти минут не входят в публичный уровень архива вне зависимости от метода получения. Причина: возможность реконструкции критических вычислительных параметров по высокочастотным данным. Протокол 7.4.2, раздел Б.
— К. Мессье
Наоми посмотрела на это письмо. Потом посмотрела на время: 11:58.
Она взяла маркер — всегда маркер, а не ручку; это было что-то сформировавшееся ещё в аспирантуре и так и не изменившееся — и написала на листе бумаги: Что я могу сделать с тем, что имею?
Под этим написала: Временное разрешение 15 мин. Спектральный анализ — урезанный. Три системы. Совпадение подтверждено. Структура паттерна — неизвестна.
Потом ещё ниже: Адитья. У него могут быть данные лучше, чем у меня.
Это было верно. Лаборатория в Пуне работала как независимая исследовательская единица — другие протоколы доступа, другая юрисдикция. И Адитья был человеком, который, если у него было что-то интересное, делился этим не через официальные каналы, а потому что ему было интересно.
Она написала ему снова:
Адитья, официальный запрос к данным заблокирован протоколом. У вас есть внутренние данные из Пуны с временным разрешением лучше пятнадцати минут? Интересует структура паттерна, не только статистика аномалии. Наоми.
Отправила. Взяла лист с записями и посмотрела на него.
Потом добавила внизу ещё одну строку, не потому что это было необходимо, а потому что привыкла записывать то, что думает, прежде чем понять, что именно она думает: Почему сейчас?
Гибридные чипы QH-7 существовали с 2028 года — три года в коммерческой эксплуатации. Если аномалии были следствием архитектурного дефекта, почему они появились только сейчас? Что изменилось?
За окном садовник закончил поливать газон и убирал шланг. Методично, без спешки, как будто у него был бесконечный запас времени. Наоми смотрела на него и думала: либо дефект активируется при определённых условиях нагрузки, которые возникли впервые — либо дефект не является дефектом.
Обе возможности были, строго говоря, одинаково корректными гипотезами на основании имеющихся данных.
Она убрала лист в папку. Открыла очередной раздел публичного архива — климатические данные за последний месяц. Начала смотреть, были ли другие аномалии, меньшие, которые могли не сработать систему самодиагностики.
Работа была медленной, не особенно захватывающей и требовала именно того рода внимания, которое легко спутать с отсутствием мысли, — равномерного, без заданного направления. Наоми умела так работать. Это была часть методологии: сначала смотреть на то, что есть, без теории, которую хочешь подтвердить. Теория потом сама найдёт, за что зацепиться.
Флуоресцентная лампа над её столом продолжала слегка мигать. Наоми перестала это замечать примерно через час.
О проекте
О подписке
Другие проекты
