
- Рейтинг Литрес:5
Полная версия:
Пол Черник Проект Древо
- + Увеличить шрифт
- - Уменьшить шрифт
Филип занялся теоретическим фронтом: составил список всех мыслимых «естественных» гипотез, способных объяснить аномалию. Список занял десять страниц, но он сразу разделил их на две категории.
«Первая — гипотезы, которые мы можем проверить математически, — пояснил он, постукивая маркером по доске. — Аппаратный сбой, ошибка в алгоритме генерации π, влияние космических лучей на память кластера, намеренная вставка данных, погрешность округления в математических библиотеках».
Он обвёл их в синий прямоугольник.
«Вторая — спекулятивные. Квантовая гравитация, топологические дефекты, тёмная материя. У нас нет рабочих моделей, чтобы проверить их количественно. Но мы можем оценить их априорную вероятность. Она исчезающе мала по сравнению с тривиальными техническими причинами».
Генри кивнул. «Значит, сначала проверяем железо и софт. Если там чисто — тогда уже будем думать о фундаментальной физике».
«Именно, — сказал Филип. — Научный метод: от простого к сложному. А не наоборот».
Филип протянул Генри первые три страницы своего списка.
«Вот, — сказал он, постучав пальцем по верхнему пункту. — Начни с этого. Гипотеза №1: систематическая ошибка в алгоритме генерации π на кластере „Квант-7“. Проверь все математические библиотеки, особенно те, что отвечают за работу с числами с плавающей точкой. Возможно, на определённых участках накапливается погрешность округления, дающая ложный паттерн».
Генри взял листок, пробежал глазами. «Это займёт дня три. Нужно прогнать данные через альтернативные реализации алгоритмов на разных системах».
«У нас есть столько, сколько потребуется. Но не затягивай. Если гипотеза не работает, мы должны знать это как можно быстрее. Параллельно я займусь гипотезой №2 — аппаратные сбои в ECC-памяти».
Генри, в свою очередь, превратился в машину по генерации и проверке симуляций. Он не строил вселенные — он создавал сложные статистические модели, которые проверяли: «Если бы в данных действовал вот этот гипотетический природный процесс, породил бы он статистическую картину, похожую на нашу?» Он написал десятки алгоритмов, которые качали открытые базы научных данных, искал малейшие аналоги, проверял на воспроизводимость. Университетский кластер «Квант-7» гудел днями и ночами, выполняя его запросы.
К вечеру первого дня Генри уже запустил первые симуляции. Филип подошёл к его столу, глянул через плечо на мелькающие на экране графики.
«Как успехи?»
«Пока ничего. Модель выдаёт равномерный шум. Никаких пиков».
«Хорошо. Значит, квантовая гравитация отпадает. Переходи к следующей. Гипотеза №2 — влияние тёмной материи на гравитационное линзирование. Там другой принцип расчёта. Я набросал основные уравнения, — Филип положил рядом ещё один лист, исписанный его аккуратным, каллиграфическим почерком. — Попробуй заложить вот эти параметры».
Генри взял лист, вчитался. «Ты уже всё расписал?»
«Я не мог сидеть сложа руки, пока ты гоняешь симуляции. Нужно двигаться параллельно. Если твоя модель ничего не даст, мы должны быть готовы сразу запустить следующую».
Первые два дня этой странной недели приносили лишь разочарования. Ни в каких других областях столь явного паттерна не было. Алгоритмы Филипа не находили изъянов в их собственном вычислительном конвейере. Аномалия стояла особняком — уникальная, одинокая, невозможная.
На третий день Генри, уставший от бесплодных прогонов, откинулся на спинку стула и потёр глаза.
«Филип, может, мы вообще не в ту сторону копаем? Если все эти гипотезы одна за другой отпадают…»
«Значит, мы становимся ближе к истине, — спокойно ответил Филип, не отрываясь от своих бумаг. — Исключая невозможное, мы приближаемся к тому, что остаётся. Каким бы невозможным оно ни казалось. Дай мне список. Я отмечу, что мы уже проверили».
Он взял у Генри распечатки, пробежал глазами, поставил галочки напротив нескольких пунктов.
«Теперь вот это, — он протянул новый лист. — Гипотеза №7: систематическая ошибка в международных эталонах времени. Если наши атомные часы где-то рассинхронизировались, это могло бы дать такой эффект. Проверь корреляцию с данными из разных метрологических центров».
Генри продолжил сосредоточенную работу.
«Это начинает раздражать, — признался как-то вечером Генри, развалившись на стуле. — Она как назойливая мушка, которую невозможно прихлопнуть. Все наши попытки только доказывают, что мушка — из титанового сплава.»
Филип кивнул, не отрываясь от экрана, где он строил сложнейшую модель, пытаясь «испортить» идеальное распределение π введением сотен видов шумов и ошибок. Ни одна симуляция не давала даже отдалённо похожего на их находку паттерна.
«Уникальность — это тоже данные, — пробормотал он. — Пока мы не найдём ей пару.»
На четвёртый день утром Филип подошёл к столу Генри с новой идеей.
«Слушай, — сказал он, присаживаясь на край стола. — Я думаю, мы слишком узко смотрим. Мы ищем прямые аналогии — там, где аномалия должна быть видна невооружённым глазом. А что, если она прячется в мета-данных? В истории измерений? В том, как менялись показания приборов во времени?»
Генри задумался. «Ты хочешь сказать, копать не сами цифры, а то, как их получали?»
«Именно. Возьми архивы. Все измерения α за последние пятьдесят лет. Не сами значения, а сопутствующие параметры: температуру, влажность, калибровки, даже имена операторов. Посмотри, нет ли там систематических смещений, привязанных к времени или месту».
«Это гигантский объём работы».
«Я знаю. Но если там что-то есть, мы должны это найти».
И Генри нашёл её. Не новую аномалию, а глубинное подтверждение старой. Он занялся не данными по α, а их мета-анализом — историей измерений, калибровками приборов, условиями экспериментов за полвека. И обнаружил, что то самое слабое смещение, найденное в пятницу, было систематическим. Оно не случайно «размазано» по данным, а привязано к определённым типам установок и периодам времени, образуя причудливую, но статистически значимую картину. Это было не «эхо», а отпечаток. Такой же чужеродный и точный, как код в π, только выраженный на языке погрешностей физических измерений.
Когда Генри показал ему первые результаты, Филип долго молчал, вглядываясь в графики. Потом медленно проговорил:
«Ты понимаешь, что это значит? Если смещение привязано не к месту и не к времени, а к типу установок… значит, дело не в приборах. Дело в том, что эти приборы измеряли. В самой α».
«Но α — фундаментальная константа. Она не может меняться».
«Не может. Но если она всё-таки меняется… или если её изменения — это отражение чего-то другого…» Филип не договорил, но оба понимали, куда он клонит.
Генри задумчиво побарабанил пальцами по столу, глядя на графики. Идея Филипа засела в голове, требуя немедленной проверки. Если α действительно "отражает что-то другое", тогда, где ещё может прятаться это "что-то"? Он вспомнил о странной особенности, которую заметил ещё несколько дней назад, но тогда не придал ей значения — в потоках псевдослучайных чисел, генерируемых на основе π для шифрования логов кластера, иногда возникали микроскопические аномалии. Он отмахивался от них, считая артефактами записи. Но теперь, после слов Филипа, эти мельчайшие сбои заиграли новым смыслом.
Он быстро переключил окна на своём компьютере, вызвал архивы логов и запустил старый, давно забытый скрипт, который когда-то написал для поиска паттернов в шумах. Минута ожидания — и на экране выстроилась новая последовательность данных. Генри вгляделся, и сердце его пропустило удар.
«Филип, — позвал он, стараясь, чтобы голос звучал ровно. — Подойди. Кажется, я кое-что нашёл».
Генри не стал кричать «Эврика!». Он тихо подозвал Филипа в лабораторию, соседний кабинет, где и производил симуляции.
«Посмотри. Это ничего не доказывает само по себе. Но… это странно. Слишком странно, чтобы быть совпадением. Наша мушка обзавелась сестрой.»
«Я запустил наш детектор аномалий не на визуальных данных, а на потоке псевдослучайных чисел, который генерируется на основе π для шифрования логов. И он нашёл сбой. В определённые моменты, совпадающие с появлением нашей «мушки», последовательность цифр π в 127-м знаке после запятой вместо вероятностного распределения даёт стабильную повторяющуюся шестизначную цепочку 050505. Вероятность этого в естественном ряду — исчезающе мала. Эта «сестра» — не в картинке. Она в фундаментальной константе, которая используется как источник энтропии. Кто-то или что-то «подкрутило» наш генератор случайности в моменты записи».
Филип изучил новые графики, потом повернулся к Генри:
«Ты проверил, нет ли корреляции с солнечной активностью? Или с магнитными бурями?»
«Всё проверил. Ничего».
«А с работой самого кластера? Может, в эти моменты на «Кванте-7» что-то перезагружали?»
«Тоже нет. Логи чистые».
«Ты проверил калибровку установок? Временные ряды? Возможные геомагнитные возмущения в дни измерений?»
«Всё проверено. Ничего не объясняет это смещение. Оно словно… вшито в саму логику архивов. В мета-уровень данных.»
Филип задумался, потом медленно кивнул. «Значит, это не наши ошибки. Это в данных. Теперь нужно понять, насколько глубоко».
Они просидели над этим до глубокого вечера. Это был не прорыв. Это было усиление сигнала. Одна аномалия могла быть ошибкой. Две, в разных, казалось бы, несвязанных областях, начинали выглядеть как система. А система ошибок — это уже не ошибка. Это новое свойство среды.
«Ты понимаешь иронию, Генри? — сказал Филип, глядя на бегущие строки кода. — Весь научный мир гонится за триллионами знаков, чтобы потестить свои процессоры и хвастаться рекордами суперкомпьютеров. А мы... мы используем эту же гонку, чтобы найти в их драгоценных триллионах единственную аномальную десятку. Мы проверяем не стабильность оперативной памяти. Мы ищем баг в операционной системе Вселенной. Для них π — это эталонная дистанция. Для нас — способ найти дефект вселенной.»
«Да, именно этим и отличается наше исследование.» - подытожил Фалленсон.
В ту ночь Филип снова не смог заснуть, лёжа рядом с Лизой. Он смотрел в темноту и думал не о страхе, а о масштабе. Если это не ошибка, то что? Свойство Вселенной? Но почему оно проявляется в виде машинного кода и систематического сдвига? Его разум, привыкший к аккуратным логическим цепочкам, метался в поисках ответа, натыкаясь на стены непонимания. Тревога была ещё тихой, фоновой, как далёкий гул непогоды за окном. Он гнал её прочь, цепляясь за науку: нужно больше данных. Нужен строгий анализ.
На следующее утро он созвал «военный совет». Разложил перед Генри все факты.
«Ситуация такова: у нас есть аномалия А1 (π) высочайшего уровня достоверности. И аномалия А2 (α) низкого уровня, но теперь доказанной систематичности. Они не связаны явно, но обе указывают на… неправильность. Наличие некого слоя, который не должен быть там, где он есть.»
«Что предлагаешь?» — спросил Генри, его глаза горели.
«Предлагаю перестать играть в адвокатов дьявола. Пора становиться обвинителями. Нам нужен формальный, количественный ответ. Не «похоже на код», а «вероятность естественного происхождения». Мы должны подойти к этому как к задаче проверки статистической гипотезы. С нулевой гипотезой: «Наблюдаемые аномалии являются продуктом естественных процессов во Вселенной». И посмотреть, насколько данные эту гипотезу отвергают.»
Генри понял. Это был переход от охоты за артефактами к судопроизводству. К построению дела.
«Байесовский подход? — уточнил он. — Оценить апостериорную вероятность?»
Филип кивнул. «Именно. Собрать все наши улики, все проверки, все альтернативные объяснения и пропустить через математическую мясорубку. Получить на выходе число. Простое, холодное число. Вероятность.»
Филип подошёл к доске и начал писать, комментируя каждую строчку:
«Сначала мы строим дерево гипотез. Вот наша нулевая гипотеза H₀: «все аномалии — результат естественных процессов». Вот альтернативная H₁: «аномалии имеют искусственное происхождение». Теперь Бейесовский метод...»
«У нас нет априорных вероятностей, — перебил его Генри. — Это субъективный элемент».
«Мы взяли самые консервативные, — ответил Филип. — Равные шансы для естественной и искусственной гипотез. И провели анализ чувствительности: даже если сместить априорную вероятность в пользу естественности в десять раз, апостериорная всё равно остаётся выше 0,99. Результат устойчив».
«…значит, природа здесь ни при чём», — закончил Генри.
Они замолчали, осознавая вес следующего шага. До сих пор они играли в великих исследователей, разгадывающих загадку. Теперь они собирались вынести ей приговор.
«С чего начнём?» — спросил Генри, и в его голосе звучала не детская радость, а сосредоточенная решимость взрослого человека, взявшего на себя ответственность.
«С составления полного каталога аномалий и всех возможных естественных причин, — сказал Филип. — А потом… потом мы построим модель. И посмотрим, выдержит ли реальность её проверку.»
Когда они уже собирались расходиться, Филип задержал Генри у двери.
«И вот ещё что, — сказал он тихо. — Все эти расчёты, все симуляции — держи в голове не только цифры. Подумай о том, что они могут значить в итоге. Не для науки — для нас. Для тебя. Для меня. Для людей. Просто я сам еще до конца не могу осознать весь итог открытия этой аномалии, если мы ее все-таки докажем».
Генри посмотрел на него долгим взглядом и кивнул. «Я понимаю».
Работа началась с новой силой, но теперь её двигал не азарт, а суровая необходимость докопаться до сути. Они стояли на пороге. За ним была либо величайшая ошибка в их карьере, либо открытие, которое перечеркнёт всё, что было до него.
А тревога Филипа, загнанная в дальний угол сознания, тихо ждала своего часа, питаясь сомнениями и нарастающим ощущением, что дверь, которую они собираются открыть, уже никогда не захлопнется.
ГЛАВА 10
Работа, которую они начали, не имела ничего общего с прежними исследованиями. Это была не охота за истиной, а её легализация. Они создавали суд, где подсудимой была сама реальность, а они — и следователи, и прокуроры, и, в конечном счёте, судьи.
Десятистраничный список гипотез, который Филип составил в начале, теперь лежал на столе, исчерканный красными пометками «отклонено».
Они работали как часы — методично, не пропуская ни одного пункта. Генри запускал симуляцию за симуляцией, а Филип сидел за своим столом, отмечая галочками отработанные варианты. К концу второго дня список начал стремительно таять.
«Филип, по спекулятивным гипотезам — квантовая гравитация, тёмная материя — мы даже не запускали проверку. Нет моделей. Но их априорная вероятность настолько низка, что они не конкурируют с техническим сбоем».
Филип кивнул. «Согласен. Сначала исключаем железо. Если оно чисто — тогда будем ломать голову над фундаментальной физикой».
Час спустя Генри снова поднял голову: «Симуляция 47 завершена. В модели с нелинейными поправками к электромагнетизму артефакты не воспроизводятся. Ни в одном из десяти тысяч прогонов».
«Хорошо. Ещё один кирпичик».
Генри продолжал гонять симуляции, проверяя всё новые и новые модели. Каждый новый прогон отсекал очередную «естественную» гипотезу.
Прошла неделя. Напряжение в кабинете росло, но теперь оно было другого рода — не тревожное, а сосредоточенное, как у хирургов на сложнейшей операции. Они почти не разговаривали, обмениваясь лишь краткими репликами и файлами.
К исходу недели на столе Филипа остался последний лист. Из десяти страниц первоначального списка уцелело всего три пункта — те, что ещё можно было проверить. Остальные были исчерканы красным, снабжены пометками «не подтверждено», «статистически незначимо», «противоречит данным».
Постепенно, шаг за шагом, список живых гипотез таял. Одни разбивались о жёсткость статистики. Другие оказывались неспособны объяснить оба артефакта сразу. Третьи требовали таких натяжек и допущений, что их априорная вероятность становилась исчезающе малой.
Филип вёл главный документ — гигантскую байесовскую модель, где каждый узел был фактом, гипотезой или кусочком данных. С каждым днём она обрастала связями, вероятностями, весами. И с каждым днём чаша весов всё заметнее кренилась в одну сторону.
Генри подошёл к столу Филипа и молча положил перед ним распечатку последней симуляции.
«Ничего, — тихо сказал он. — Я прогнал финальный пакет по оставшимся гипотезам. Всё чисто. Наши артефакты не воспроизводятся ни в одной модели, где нет… внешнего, целенаправленного вмешательства».
Профессор вписал последний коэффициент в уравнение, отступил на шаг. Левая часть сходилась с правой с точностью до третьего знака, но график остатков упрямо загибался на краях — верный признак систематики.
Перепроверил логарифмы. Нет. Посмотрел на показатели степеней. Тоже.
Тогда он взял чистый лист и начал заново, с нуля, выводя каждое преобразование вручную, без пропусков. На пятой строке он замер: в предпосылках теста он молчаливо предположил нормальность распределения. Но данные, присмотренные на исходных гистограммах, явно клонились к логнормальному — с длинным правым хвостом.
«Вот», — сказал он, обводя кружком значок дисперсии. «Здесь нужна не арифметическая, а геометрическая оценка. И поправка на скошенность».
Он быстро пересчитал, ввёл логарифмическое преобразование — и кривые сошлись идеально, без загибов.
Генри присвистнул. Ошибка в выборе распределения — классическая ловушка для спешащего статиста. Но Филип не выглядел смущённым. «Теперь можно верить», — сказал он.
Конец ознакомительного фрагмента.
Текст предоставлен ООО «Литрес».
Прочитайте эту книгу целиком, купив полную легальную версию на Литрес.
Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.