Введение
Утверждение о том, что парадоксы путешествий во времени невозможны, поскольку события, приводящие к парадоксам, не могут произойти. Принцип самосогласованности Новикова, также известный как гипотеза самосогласованности Новикова и закон сохранения истории Ларри Нивена, — это принцип, разработанный российским физиком Игорем Дмитриевичем Новиковым в середине 1980-х годов. Новиков стремился решить проблему парадоксов во времени, которые теоретически допускаются в некоторых решениях общей теории относительности, содержащих так называемые замкнутые времениподобные кривые. Принцип утверждает, что если существует событие, которое вызвало бы парадокс или любое "изменение" прошлого, то вероятность его возникновения равна нулю. Следовательно, создание временных парадоксов невозможно.
The Novikov self consistency principle, also known as the Novikov self consistency conjecture and Larry Niven's law of conservation of history, is a principle developed by Russian physicist Igor Dmitriyevich Novikov in the mid 1980s. Novikov intended it to solve the problem of paradoxes in time travel, which is theoretically permitted in certain solutions of general relativity that contain what are known as closed timelike curves. The principle asserts that if an event exists that would cause a paradox or any "change" to the past whatsoever, then the probability of that event is zero. It would thus be impossible to create time paradoxes.
История
Физики давно знают, что некоторые решения общей теории относительности содержат замкнутые времениподобные кривые, например, метрика Гёделя. Новиков обсуждал возможность существования замкнутых времениподобных кривых (ЗВПК) в книгах, написанных им в 1975 и 1983 годах, высказывая мнение, что разрешены будут только самосогласованные путешествия во времени. В статье 1990 года, написанной Новиковым и другими, "Задача Коши в пространствах-временах с замкнутыми времениподобными кривыми", авторы утверждают:
Среди соавторов этой статьи 1990 года были Кип Торн, Майк Моррис и Ульви Юртсевер, которые в 1988 году вновь пробудили интерес к теме путешествий во времени в общей теории относительности своей статьей "Кротовые норы, машины времени и слабое энергетическое условие", в которой было показано, что новое решение общей теории относительности, известное как проходимая кротовая нора, может приводить к замкнутым времениподобным кривым. В отличие от предыдущих решений, содержащих ЗВПК, оно не требовало нереалистичных условий для Вселенной в целом. После обсуждения с ведущим автором статьи 1990 года, Джоном Фридманом, они убедились, что путешествие во времени не обязательно должно приводить к неразрешимым парадоксам, независимо от объекта, отправленного через кротовую нору. В ответ физик Джозеф Полчински написал им письмо, в котором утверждал, что можно избежать вопроса о свободе воли, используя потенциально парадоксальный мысленный эксперимент с бильярдным шаром, отправленным назад во времени через кротовую нору. В сценарии Полчински бильярдный шар направляется в кротовую нору под таким углом, что, если он продолжит движение, он выйдет в прошлое под правильным углом, чтобы столкнуться со своей более ранней версией, сбив её с траектории и предотвратив попадание в кротовую нору. Торн в 1994 году назвал этот сценарий "парадоксом Полчински". Рассмотрев этот сценарий, Фернандо Эчеверрия и Гуннар Клинкхаммер, два студента из Калтеха (где преподавал Торн), нашли решение проблемы, которое повторяет те же элементы, что и решение, которое Фейнман и Уилер назвали решением "скользящего удара", чтобы избежать противоречий, возникающих из-за причинных петель. В пересмотренном сценарии шар из будущего появляется под другим углом, не вызывающим парадокс, и наносит своему молодому "я" скользящий удар, вместо того чтобы полностью отбросить его от кротовой норы. Этот удар изменяет его траекторию на нужную величину, то есть он вернется в прошлое под углом, необходимым для нанесения молодому "я" необходимого скользящего удара. Эчеверрия и Клинкхаммер обнаружили, что существует более одного самосогласованного решения, с немного отличающимися углами скользящего удара в каждой ситуации. Последующий анализ Торна и Роберта Форварда показал, что для определенных начальных траекторий бильярдного шара может существовать бесконечное количество самосогласованных решений. Кроме того, они сообщили, что пытались найти какие-либо начальные условия для бильярдного шара, для которых не было бы самосогласованных продолжений, но не смогли этого сделать. Таким образом, вполне вероятно, что для каждой возможной начальной траектории существуют самосогласованные продолжения, хотя это и не доказано. Это может означать, что принцип самосогласованности Новикова на самом деле не накладывает никаких ограничений на системы за пределами области пространства-времени, где возможно путешествие во времени, а только внутри неё. Даже если самосогласованные продолжения можно найти для произвольных начальных условий за пределами горизонта Коши, то, что может существовать несколько различных самосогласованных продолжений для одного и того же начального условия – действительно, Эчеверрия и др. обнаружили бесконечное количество согласованных продолжений для каждой проанализированной начальной траектории.
Логика временной петли
Логика временной петли, разработанная робототехником и футуристом Гансом Моравеком, – это гипотетическая система вычислений, использующая принцип самосогласованности Новикова для вычисления ответов значительно быстрее, чем это возможно в стандартной модели вычислительной сложности с использованием машин Тьюринга. В этой системе компьютер отправляет результат вычисления в прошлое и полагается на принцип самосогласованности, чтобы обеспечить корректность отправленного результата, при условии, что машина способна надёжно принимать информацию из будущего и при условии формальной корректности алгоритма и базового механизма. Некорректный результат или его отсутствие возможны, если механизм путешествий во времени или алгоритм не гарантированно точны. Простым примером является алгоритм итерационного метода. Моравец утверждает:
Рецепт Ллойда
Позже Сет Ллойд представил альтернативное предложение, основанное на поствыборе и интегралах по траекториям. В частности, интеграл по траекториям вычисляется по однозначно заданным полям, что приводит к самосогласованным историям.
В популярной культуре
Финальный отсчет (1980): научно-фантастический фильм о путешествиях во времени, в котором авианосец USS Nimitz проходит через червоточину и оказывается накануне японской атаки на Перл-Харбор. Аномалия возвращает его в настоящее, не давая возможности повлиять на исход событий. Рассказ Теда Чанга «Компания купцов и алхимиков» (2007) исследует взаимосвязь между свободой воли и самосогласованными путешествиями во времени. Steins;Gate (2009): упоминается Макисе Курису во время её презентации о путешествиях во времени. Гарри Поттер и методы рациональности: в изложении Элиэзера Юдковского о рациональности, представленном в форме фанфика о Гарри Поттере, Гарри пытается использовать свой Поворот времени, чтобы изменить прошлое, и приходит к выводу, что применим принцип самосогласованности Новикова. Ортогональный: научно-фантастическая серия романов Грега Игана, в которой применяется этот принцип. Сериал «Тьма» (Dark) в значительной степени основан на идее, что возможность путешествий во времени искушает персонажей попытаться изменить прошлое, что в итоге приводит к тем самым событиям, которые они пытались предотвратить. Quantum Break (2016): видеоигра от Remedy Entertainment, в центре которой вопрос о том, возможно ли изменить прошлое. Некоторые персонажи стремятся к этому, в то время как другие, уже безуспешно попытавшиеся, смирились с тем, что, по-видимому, применим принцип самосогласованности Новикова. Outer Wilds (2019): видеоигра с путешествиями во времени, которая не следует этому принципу, что приводит к проигрышу, если игрок пытается его проверить. Все путешествия во времени в оригинальном сериале Hallmark Channel «Дорога домой» подчиняются принципу самосогласованности Новикова. Два главных героя могут перемещаться в прошлое, прыгая в пруд, но не могут ничего изменить. Все их действия становятся частью истории, и они в конечном итоге становятся причиной тех трагических событий, которые пытались предотвратить.