Кто хоть раз запускал генеративный цикл, знает это чувство. Пока цикл крутится, в нём одновременно живут все возможные продолжения. Стоит вмешаться — поставить print, дёрнуть return, прочитать значение, — и из всего множества ветвей остаётся одна. Остальные просто не записываются как «то, что было».
Картина настолько похожа на то, что физика называет коллапсом волновой функции, что напрашивается вопрос: метафора это или подсказка об устройстве мира?
Что говорит формализм
Уравнение Шрёдингера ведёт состояние унитарно. Это значит, что, пока никто «не смотрит», система пребывает в линейной комбинации возможных исходов с известными амплитудами. Измерение — единственный шаг, на котором амплитуды превращаются в вероятности и из множества ветвей остаётся одна.
Сам этот шаг уравнением не описан; это и называют проблемой измерения. Копенгагенская интерпретация (Бор, Гейзенберг) принимает коллапс как исходное понятие. Многомировая (Эверетт, 1957) утверждает, что коллапса нет вовсе, а ветвится сам наблюдатель. Теория декогеренции (Дитер Цее в 1970 году, затем Войцех Зурек) даёт количественный механизм: взаимодействие с окружением подавляет недиагональные элементы матрицы плотности и тем самым как бы «выбирает» базис измерения. На вопрос, что именно остаётся после, декогеренция не отвечает, зато объясняет, почему мы видим определённые состояния, а их суперпозиций не видим.
Инженер узнает здесь механику распределённых систем. Пока транзакция идёт, состояние не определено. Коммит фиксирует один срез, а все ветви, открытые по ходу, отбрасываются и в итоговую базу не попадают. Декогеренция похожа на потерю транзакционной изоляции: внешний наблюдатель видит одну ветвь, потому что промежуточные состояния стали ему недоступны.
Пока это метафора. Дальше интереснее.
Квантовый ластик с отложенным выбором
Есть эксперимент, в котором метафора смыкается с реальностью.
Схему предложили Скалли и Дрюль в 1982 году. Берут пары запутанных фотонов: один летит на основной экран, второй несёт «метку» — сведения о том, через какую щель прошёл первый. Пока метка существует, интерференции на основном экране нет. Если метку стереть, интерференция возвращается, причём стереть её можно уже после того, как основной фотон попал на экран.
Ким с коллегами (Physical Review Letters 84, 1, 2000) реализовали эту схему в лаборатории. Позже её повторяли во многих вариантах, в том числе на сверхпроводящих кубитах облачных квантовых компьютеров, где решение о стирании метки принимает сама программа уже после «измерения» главного кубита.
Информацию назад во времени эксперимент не отправляет, и популярные пересказы врут именно здесь. Стирание метки перегруппировывает уже записанные данные: оно меняет совместное распределение между основным экраном и каналом «какой путь», и интерференция проявляется в подмножестве, отобранном по новому условию.
Если говорить на языке машинного обучения, измерение — это функция потерь, а стирание метки — обратный проход. Ничего «из будущего» он не присылает, а пересчитывает совместную статистику по другому графу зависимостей. Прямой проход уже состоялся, и его результаты не меняются. Меняется то, как мы их группируем.
В этом и состоит инженерный смысл коллапса. Квантовая система ведёт себя как распределённая статистическая структура, в которой выбор измерения определяет, какие совместные распределения нам доступны. Образ «реальности, которая ждёт наблюдателя», здесь только мешает.
«It from bit»: чертёж вместо лозунга
В 1989 году Джон Уилер сформулировал тезис «it from bit»: каждая физическая величина в конечном счёте получает значение из двоичных ответов «да» или «нет», то есть из информационных событий. Много лет это звучало как философская реплика без технического содержания.
Голографические коды (Пастауски, Ёсида, Харлоу, Прескилл, 2015; так называемый HaPPY-код) дали первую конкретную модель: пространство-время как сеть тензоров, в которой «глубинные» степени свободы восстанавливаются из «граничных» по определённым унитарным правилам. Если эта картина верна, физика глубинных объектов буквально сводится к операциям над графом ссылок: добавить узел, переназначить ребро, перепаковать кодовое слово.
Голографические коды — уже конкретный математический объект, и на нём можно проверять предсказания о восстановлении, об устойчивости к ошибкам, о соотношениях энтропии. Разговор о подобии здесь заканчивается и начинается инженерная физика. Вопрос уже в другом: часть формализма Вселенной совпадает с формализмом определённого класса вычислений.
Где кончается метафора
Ваш while(true), конечно, буквально квантовых состояний не порождает. В обычном чипе декогеренция мгновенна, потому что окружение жёстко связано с ним через рассеяние тепла. Чтобы удержать когерентность достаточно долго для измеримого квантового эффекта, нужны криогенные температуры, изоляция, специально сконструированные степени свободы — всё то, чем заняты лаборатории квантовых компьютеров.
И никакая метафора не превращает измерение в магию. Эксперименты Белла (Делфт, Вена и NIST — все в 2015 году) показали, что локальный реализм мёртв, то есть квантовая корреляция устроена куда страннее, чем «скрытый параметр, спрятанный в системе». Образ генеративного цикла помогает уловить форму этой странности, но саму физику им не заменить.
Зачем эта параллель
Инженерный взгляд полезен тем, что впускает квантовую механику в разговор с людьми, у которых уже есть рабочая интуиция о распределённых системах, транзакциях и градиентном спуске. Объяснять её целиком он не берётся. А таких людей сегодня миллионы, и для фундаментальной физики это огромная новая аудитория.
Программа Pointer Architecture, на которой стоит этот сайт, работает как раз на этом стыке. Её тезис узкий и проверяемый: некоторые формальные структуры одновременно описывают и вычисление, и физику, и из этого следуют проверяемые предсказания. Лозунга «всё есть код» в нём нет.
Препринт встраивает этот цикл в работающий субстрат — язык Sixth. Сопутствующая книга, Небесный Код, ведёт читателя от while(true) до информационной геометрии. Это эссе — о самом дешёвом мосте между двумя языками. Пройти по нему в обе стороны стоит каждому, кто всерьёз хочет спорить о том, как устроена реальность.