Идеальная теория. Битва за общую теорию относительности

Чарльз Мизнер, один из учеников Джона Уиллера, еще в 1957 году на конференции в Чапел-Хилл предупреждал о коварстве этих уравнений. В попытках распутать этот жуткий нелинейный клубок, оставленный в наследство Эйнштейном, нужно было проявлять большую осторожность, потому что, по словам Мизнера, было всего два возможных исхода: «либо программист застрелится, либо компьютер взорвется». В итоге случилось второе. В 1964 году, когда один из бывших учеников Уиллера Роберт Линдквист попытался провести компьютерное моделирование, в программе возникла критическая ошибка. По мере приближения черных дыр друг к другу ошибки в решении нарастали, и очень быстро компьютер начал выдавать мусорные данные — с ним случилось числовое недержание. Ошибки были столь труднопреодолимыми, что Линдквист предпочел отступить.

В 1970-х попытку с помощью компьютера понять, что происходит при столкновении двух черных дыр, предпринял Брайс Девитт. Квантовая гравитация всегда была его страстью, а во время работы с Эдвардом Теллером в рамках проекта по созданию бомбы в Ливерморской национальной лаборатории имени Лоуренса в Калифорнии он научился моделировать на компьютере сложные уравнения. В Техасе он поставил перед своим учеником Ларри Смарром задачу рассчитать, какова величина гравитационного излучения, возникающего после столкновения двух черных дыр. Написанную программу запустили на большом компьютере Техасского университета и смогли приблизительно представить себе, на что может быть похожа гравитационная волна. Затем снова возникла критическая ошибка, и пошел поток бессмысленной информации. Это был проблеск волны, но слишком слабый, чтобы им можно было воспользоваться. Сингулярности пространства-времени подняли свои уродливые головы и уничтожили результат.

Следующие три десятилетия команды программистов продолжали безуспешно работать над моделированием двойных систем. Дело двигалось, но, как вспоминал Франс Преториус, релятивист из Принстонского университета, «простые подходы не срабатывали, никто точно не знал почему, люди пытались что-то нащупать в темноте. Дело осложнялось недостатком вычислительных ресурсов, которые требовались для решения задачи в полной форме». В 1990-х проблема столкновения черных дыр считалась в США одной из фундаментальных задач вычислительной физики, и различным группам выделялись миллионы долларов на покупку суперкомпьютеров и запуск их программ. Время от времени там наблюдались улучшения, и результаты немного двигались вперед, пока снова не возникала ошибка. В итоге родилась отдельная область знаний — численные методы в общей теории относительности.

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

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

Вспоминая эти мрачные времена, Преториус сказал: «Была большая вероятность, что задача окажется достаточно сложной и к моменту ввода в эксплуатацию [детектора гравитационных волн] она решена не будет». Экспериментальные данные могли начать накапливаться до того, как компьютерная модель даст приемлемый прогноз.