Существует ли интуитивное описание вакуумной запутанности?

Люди часто ссылаются на тот факт, что вакуум — это запутанное состояние (его даже описывают как максимально запутанное состояние ).

Я пытался почувствовать, что это на самом деле означает. Проблема в том, что большинство описаний этого сделано в формализме АКФТ, с которым я не очень знаком. Определения запутанности, которые у меня есть, имеют вид

Система S гильбертово пространство ЧАС факторизует как ЧАС знак равно ЧАС А ЧАС Б где A и B — две подсистемы S. Запутанное состояние нельзя записать в виде ф А ф Б

Затем существуют различные меры этого, такие как энтропия запутанности.

Итак, мой вопрос: можно ли описать запутанность вакуума КТП в этих более привычных терминах?

Можно ли дать такое описание простому примеру КТП, скажем, полю Клейна-Гордона в пространстве Минковского?

Случайно узнал об этом сайте. Может быть, для ответа стоит взглянуть на следующую рукопись. Взаимное появление некаузального оптического отклика и неклассичности в оптико-механической системе arxiv.org/abs/1502.01294 С уважением.
Одним из следствий вакуумной запутанности является эффект Унру: если ограничить вакуумное состояние наблюдаемыми, расположенными в клине Риндлера, получится тепловое состояние, см., например, math.univ-lille1.fr/~debievre/Talks/unruhrolla09A.pdf, arxiv .org/abs/0802.1854, Теорема Бизоньяно-Вихмана

Ответы (4)

Если у вас есть гармонический осциллятор по x, волновая функция основного состояния является гауссовой;

ЧАС знак равно п 2 2 + ю 2 Икс 2 2

ψ 0 ( Икс ) знак равно е ю Икс 2 2

Если у вас есть два независимых осциллятора x,y;

ЧАС знак равно п Икс 2 2 + п у 2 2 + ю 1 2 Икс 2 2 + ю 2 2 у 2 2

основное состояние является произведением:

ψ 0 ( Икс , у ) знак равно е ю 1 Икс 2 2 е ю 2 у 2 2

Таким образом, в основном состоянии между x и y нет запутанности. Но если вы посмотрите на это в повернутой основе (и ю 1 ю 2 ), есть запутанность.

Для скалярного квантового поля в пространственной решетке конечного объема (время все еще непрерывно) у вас есть (если вы преобразуете Фурье в пространстве) набор несвязанных гармонических осцилляторов (сумма по k находится по неизбыточным k для реального скаляра поле, это половина полного пространства к Икс > 0 ):

ЧАС знак равно к 1 2 ф к ˙ 2 + к 2 + м 2 2 ф 2

Что представляет собой группу несвязанных осцилляторов, так что основное состояние;

ψ 0 ( ф к ) знак равно к е к 2 + м 2 | ф к | 2 2

Это не запутано с точки зрения ф к , но с точки зрения ф Икс (на решетке), он запутался. Вакуумная волновая функция Гаусса может быть выражена здесь как:

ψ 0 ( ф ) знак равно е Икс , у ф ( Икс ) Дж ( Икс у ) ф ( у )

Где Дж ( Икс у ) знак равно 1 2 2 + м 2 это не распространитель, это странный нелокальный оператор извлечения квадратного корня.

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

На мой взгляд, материал по аксиоматической теории поля не стоит читать. Это сбивает с толку и выдает незнание основополагающих идей области, включая Монте-Карло и интеграл по путям.

Общая волновая функция вакуума для бозонных полей

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

Чтобы увидеть это, обратите внимание, что при t = 0 ни теория мнимого времени, ни теория реального времени не имеют никаких факторов эволюции времени, поэтому они эквивалентны. Таким образом, в неограниченном воображаемом ящике во времени ожидаемые значения в евклидовой теории в один временной интервал равны равным по времени вакуумным математическим ожиданиям в лоренцевских теориях.

Это дает вам определение методом Монте-Карло вакуумной волновой функции любой PT-инвариантной бозонной теории поля, свободной или нет. Это основное понимание основных состояний благодаря Фейнману, явно описанное в интеграле по путям и в работе по основному состоянию жидкого He4 в 1950-х годах (это также бозонная система, поэтому основное состояние является распределением вероятностей). Он используется для описания вакуума Янга-Миллса 2+1 в 1981 году Фейнманом (его последняя опубликованная статья), и эта работа расширена для вычисления натяжения струн Кербали и Наиром около десяти лет назад.

Я никогда не видел, чтобы кто-нибудь измерял вероятность нахождения чего-либо в мнимом времени. Это чисто формальная аналогия. - Ваше низкое отношение к аксиоматической теории поля не совсем обосновано, а лишь свидетельствует о том, что вы недостаточно хорошо знаете ее язык, чтобы перевести ее идеи в обычные термины КТП.
@ArnoldNeumaier: я знаю язык аксиоматической теории поля, я могу перевести каждое утверждение. Это глупо, это формально и это тривиально. Вы должны знать, что волновая функция основного состояния бозонного поля (или любой бозонной переменной) равна квадратному корню из плотности вероятности нахождения этой конфигурации поля в мнимом времени вдоль временного среза. Это точное тождество. Именно это позволяет Швингеру записать вакуумный волновой функционал КЭД в некоторой физической шкале.
Как же тогда вы объясните, что я многому научился из КТП, чего не мог различить из традиционной трактовки КТП а-ля Пескин/Шредер или Вайнберг? В AQFT происходит много интересного, просто это не соответствует вашим интересам.
@ArnoldNeumaier: я думаю, что это неправильно. Когда я смотрю на AQFT, я вижу результаты, которые затемняются до максимальной неясности из-за ложного внимания к строгости, которое на данном этапе неоправданно, потому что там нет построения. Связь со статистической теорией наиболее важна, потому что она является практическим инструментом для строгого определения теории, а также потому, что она делает очевидными отношения, неясные в языке АКФТ. Можете ли вы сказать мне, что сейчас содержится в AQFT? Я не следил за последними событиями.
Интересно - я не слышал об этой технике. Я предполагаю, что это описанный здесь метод распространения воображаемого времени (для уравнения Шредингера) ?
Долгое время я также находил AQFT малопонятным и мало что извлекал из него. Сегодня я знаю, что это было потому, что я действительно не понимал, что происходит. -- Можете ли вы сказать мне, что сейчас содержится в АКФТ? Я не следил за последними событиями». Задайте его как настоящий вопрос, так как он занимает гораздо больше места, чем комментарий.
@ twistor59: продолжение мнимого времени превращает плохо определенный функциональный интеграл Фейнмана во что-то четко определенное. Это лежит в основе того, что называется евклидовой КТП. Например, решетчатые калибровочные теории исследуются численно в евклидовой версии, а результаты продолжаются аналитически.
@ArnoldNeumaier: Да, действительно. Однако я не знал об этом конкретном методе нахождения основного состояния.
@ twistor59: К сожалению, эта формула (гауссова в функциональном пространстве) для основного состояния работает только для свободных КТП.
@ twistor59: Это один из основных инструментов интегралов по путям. Я сказал это немного неправильно в комментариях (то, что я сказал, верно, когда вы добавляете градиентный член, чтобы сделать производные по времени евклидовой теории чистыми прямыми производными, это неверно, когда производные по времени являются центрированными производными, тогда основание волновая функция состояния точно такая же, как распределение вероятностей для поля в евклидовом пространстве, а не квадратный корень из него, но глупо вдаваться в эти детали на этом уровне).
Формула не работает для взаимодействующих теорий поля (очевидно), но вам не нужна формула для вычисления корреляций во взаимодействующем вакууме. Взаимодействующая вакуумная запутанность в бозонной теории по-прежнему определяется распределением вероятностей на срезе евклидова пространства. Тот факт, что люди из АКФТ притворяются, что говорят об этой величине высокопарными терминами, полными громких слов и маленьких мозгов , никогда не упоминая единственно точное решение, которое они ищут, чтобы получить все свои результаты , показывает мне, что они мошенники-мракобесы, а не мошенники. стоит обратить внимание.
@ArnoldNeumaier: я также возражаю против того, чтобы назвать интеграл Фейнмана плохо определенным или сказать, что продолжение мнимого времени «превращает» его во что угодно. Фейнман делал небольшое продолжение (поворот на 1/эпсилон) в интеграле по траекториям с самого начала, и он и Кац с самого начала понимали связь со стохастическим интегрированием по траекториям Вайнера. Интеграл по путям всегда определялся с использованием этого поворота (по крайней мере, бесконечно мало) и поэтому всегда был хорошо определен.
@RonMaimon: Вы, вероятно, имеете в виду свободный функциональный интеграл, тогда как я имею в виду интеграл с неквадратичным действием в показателе степени. Если бы этот функциональный интеграл был хорошо определен в 4D, КЭД, КХД, стандартная модель существовала бы с математической строгостью. Но многие физики думают, что КЭД строго не существует, и за доказательство существования только Янга-Миллса нужно заплатить миллион долларов.
@RonMaimon: Обратите внимание, что Саммерс в своих слайдах не делает предположений о том, что QFT бесплатен. Однако ваше объяснение касается только бесплатного случая. Этого недостаточно, так как взаимодействующие корреляционные функции определяются невзаимодействующими только через степенной ряд, построение которого связано с перенормировкой со всеми ее трудностями и сходимость которого почти наверняка не имеет места. Саммерс работает без возмущений, поэтому его это не беспокоит.
@ArnoldNeumaier: Вакуумное распределение вероятностей существует в чистой калибровочной теории и в любой реальной бозонной теории, свободной или нет. Он существует в КЭД после того, как вы интегрируете фермионы, но тогда у вас есть нелокальное действие. Тождество волновой функции основного состояния с распределением вероятностей в евклидовом пространстве является общим, оно не требует теории возмущений, оно используется Фейнманом, а затем Карабали и Наиром для описания 2 + 1 чистого калибровочного вакуума Янга-Миллса. Вы правы в том, что при таком тождестве совершенно нелепо отсутствие математической теории КХД.

Чтобы ответить на вопрос «Существует ли интуитивное описание вакуумной запутанности?», мы хотели бы указать, что для определения запутанности в квантовой теории (определяемой гильбертовым пространством и гамильтонианом) нам нужно предположить, что полное гильбертово пространство является прямым -произведение локальных гильбертовых пространств: ЧАС т о т знак равно я ЧАС я . (Например, в решетчатой ​​модели ЧАС я может быть гильбертовым пространством на сайте- я .) Такую структуру прямого произведения можно рассматривать как УФ-дополнение квантовой теории поля. Следовательно, чтобы обсудить вакуумную запутанность, нам нужно предположить, что полное гильбертово пространство нашей Вселенной имеет структуру ЧАС т о т знак равно я ЧАС я . Следующее обсуждение основано на таком предположении, что «вакуум» - это просто вектор основного состояния в полном гильбертовом пространстве. ЧАС т о т .

Основные состояния почти всех гамильтонианов запутаны (поскольку эти основные состояния, как правило, не являются состояниями произведения). Таким образом, вакуум, как и обычное основное состояние, также является запутанным состоянием.

Однако вакуум нашей Вселенной очень особенный: наш вакуум на самом деле представляет собой дальнодействующее запутанное состояние , или, другими словами, топологически упорядоченное состояние . Это связано с тем, что известно, что только дальнодействующие запутанные состояния производят электромагнитную волну, удовлетворяющую уравнению Максвелла, и фермионы, удовлетворяющие уравнениям Дирака (как коллективные возбуждения над основным состоянием). Я написал статью , чтобы описать это подробно. См. также вопрос PE .

Таким образом, тот факт, что наш вакуум поддерживает фотоны и фермионы (как квазичастицы), подразумевает, что наш вакуум представляет собой запутанное состояние с большим радиусом действия.

Спасибо за Ваш ответ. В ОП я действительно пытался понять, в каком смысле термин «запутанность» применялся к вакууму обычной релятивистской КТП — как вы говорите, вакуум не является состоянием продукта, но мне было любопытно, что подсистемы были для того, чтобы даже обсуждать, продукт это или нет. После ответов выше я в порядке с этим сейчас. Прав ли я, говоря, что ваше описание вакуума здесь, в терминах топологического упорядочения и т. д., является очень особенным, специфичным для конкретной модели — теории струнных сетей?
Вы сделали очень хорошее замечание в своем комментарии о подсистеме. Я обновляю свой ответ, чтобы сделать его более точным. Я не ответил на ваш первоначальный вопрос напрямую, так как считаю, что вопрос о подсистеме (или структуре прямого произведения всего гильбертова пространства) более важен. Мое описание вакуума не является чем-то особенным. Я просто предполагаю, что полное гильбертово пространство имеет структуру прямого произведения, а гамильтониан локален по отношению к структуре прямого произведения. Согласно этим двум общим предположениям, вакуум должен быть запутан на большом расстоянии, чтобы иметь возникающие фотоны и фермионы.

На слайдах Саммерса неправильно используется общепринятая терминология (хотя и по формально обоснованной причине, объясненной ниже), что вносит путаницу.

Запутанные состояния, по общепринятому определению (данному, например, в Википедии), определяются в тензорном произведении с более чем одним фактором размерности. > 1 .

С другой стороны, вакуумное состояние свободной теории и любого асимптотического представления взаимодействующей теории — это состояние, определенное в пространстве Фока, которое представляет собой прямую сумму всех пространств тензорных произведений ЧАС Н представляющий Н -частичный сектор ( Н знак равно 0 , 1 , 2 , ). По определению, вакуумное состояние охватывает 0 -частичный сектор, который является одномерным пространством и не является частью ни одного из пространств тензорных произведений внутри фоковского пространства.

Таким образом, бессмысленно (т.е. не подкрепленное последовательными формальными определениями) называть вакуумное состояние запутанным в общепринятом смысле.

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

Однако Саммерс вводит на слайде 12 другую концепцию запутанности, адаптированную к состояниям в квантовой теории поля, которая применима к состоянию вакуума. Это слабо связано с обычной запутанностью в том, что Н знак равно 1 сектор КТП представлен двухточечными вакуумными корреляционными функциями, хотя ни одно из состояний с Н знак равно 1 является вакуумным состоянием. Следовательно, в этой структуре можно имитировать обычное неравенство Белла.

Согласно этому определению, высказывания Саммерса о вакуумном состоянии имеют смысл. Но их не следует путать с обычной запутанностью, поскольку они представляют собой, переведенные в обычную КМ, утверждения о парах одночастичных состояний, а не утверждения о вакууме.

Редактировать: аналогия, в которой следует рассматривать вещи, заключается в том, что в случае КТП тензорное произведение находится не в пространстве состояний, а в правильно выбранном пространстве операторов. Вот почему формальный механизм типа Белла может быть адаптирован к этой ситуации.

Спасибо, это очень показательно. Таким образом, ответ на мой первоначальный вопрос «нет», невозможно сформулировать вакуумную запутанность, на которую ссылаются Вернер и Саммерс, в обычном ( ЧАС А ЧАС Б ) условия запутывания.
Этот ответ не описывает, что люди подразумевают под вакуумной запутанностью — они имеют в виду запутанность между различными состояниями поля в волновом функционале Шредингера. Это то, что не относится к асимптотическим состояниям частиц, и вы можете легко решить это в теории свободного поля.
@RonMaimon: Но это то, что, по словам Саммерса, представляет собой вакуумная запутанность. Как я уже сказал, есть несколько понятий.
@twistor59: Я добавил примечание в конце, чтобы показать, в каком смысле можно примирить эти два понятия.
@ArnoldNeumaier: Нет, это не так. Я посмотрел, что говорит Саммерс, он просто говорит, что вакуум запутан по отношению к локальным наблюдаемым в двух отдельных областях. Для свободного поля это то же самое, что и запутанность, когда вы превращаете незапутанное k-состояние в базис поля x-состояния. Это не очень информативное заявление.
Рассмотрим область пространства-времени. Если ограничить состояние вакуума алгеброй наблюдаемых, которые поддерживаются в этой области, какова результирующая матрица плотности?
@jjcale: это все еще чистое состояние ψ , следовательно, матрица плотности ранга 1 р знак равно ψ ψ *
Почему ? Не означает ли это, что эффекта Унру нет?
@jjcale: эффект Унру нельзя описать с точки зрения суперпозиций. Ускоренные наблюдатели видят другое гильбертово пространство. Связь осуществляется через когерентные состояния, определяемые унитарно невыполнимыми преобразованиями Боголюбова.
У вас есть ссылки на ваши претензии? Что означает «другое гильбертово пространство»? Все сепарабельные гильбертовы пространства изоморфны. Согласно math.univ-lille1.fr/~debievre/Talks/unruhrolla09A.pdf: «Ограниченное клином Риндлера, основное состояние Минковского обладает тепловыми свойствами».
@jjcale: это означает гильбертово пространство с унитарно неэквивалентным представлением полевой алгебры. Это обсуждается в алгебраической квантовой теории поля под названием секторов суперотбора. (Простейший пример состоит в том, что бессмысленно формировать суперпозиции между бозоном и фермионным состоянием, поскольку нельзя заставить группу вращения действовать последовательно на суперпозицию.) Другое основное состояние означает другой сектор суперотбора. Для справки см. arxiv.org/abs/hep-th/9906181 (Граничные условия в задаче Унру Нарожного и др.).
@jjcale: Если вы хотите продолжить обсуждение этого вопроса, задайте новый вопрос и дайте ссылку на него отсюда.
Ваша ссылка не является общепринятой: авторы не верят в эффект Унру. Но то, что ограничение вакуума клином Риндлера является тепловым состоянием, является доказанным фактом для свободных полей. Спорна только физическая интерпретация.
@jjcale: Но тепловое состояние живет в другом представлении C ^ *-алгебры, поэтому его нельзя интерпретировать как смешанное состояние вакуумного представления. Это означает, что эффект Унру интерпретируется как таковой только в версии с отсечкой. Также обратите внимание, что по конструкции GNS каждое состояние (включая тепловые состояния) можно рассматривать как чистое состояние в некотором гильбертовом пространстве. Таким образом, для правильного обсуждения вопроса требуется гораздо большая точность.
Вы ошибаетесь: см., например, arxiv.org/pdf/0802.1854v2.pdf: «когда вакуумное состояние ограничено R(W) для любого клина W…» и много другой литературы.

Для невзаимодействующего квантового поля вся математическая структура чисто гауссовых ВЭВ, то есть вакуумное состояние, содержится в 2-точечной ВЭВ, которая для поля КГ является распределением

0 | ф ^ ( Икс + у ) ф ^ ( у ) | 0 знак равно м θ ( Икс 2 ) 8 π Икс 2 [ Д 1 ( м Икс 2 ) + ϵ ( Икс 0 ) я Дж 1 ( м Икс 2 ) ] ϵ ( Икс 0 ) я 4 π дельта ( Икс 2 )
+ м θ ( Икс 2 ) 4 π 2 Икс 2 К 1 ( м Икс 2 ) .
Вторая строка дает корреляционную функцию при пространственноподобном разделении, где всегда возможны совместные измерения, тогда как при времениподобном или светоподобном разделении мнимая составляющая первой строки приводит к несовместимости измерений. Несовместимость измерений приводит к проблемам, которым, конечно, нелегко придать интуитивное значение, но приведенное выше показывает характер корреляций для случая свободного поля.

Член функции Бесселя при пространственно-подобном разделении равен 1 4 π 2 ( Икс 2 ) на маленьком Икс , тогда как асимптотически становится 2 м π 3 Икс 2 3 опыт ( м Икс 2 ) 8 для больших Икс .

Для взаимодействующих полей 2-точечная функция всегда имеет сравнимый вид, размытый плотностью массы, представление Каллена–Лемана , но ВЭВ более высокого порядка относительно нетривиальны.

Спасибо за ответ! Таким образом, государства ф ( Икс ) | 0 (локализована в x) и ф ( Икс + у ) | 0 (локализованные в точке x+y) коррелируют в той мере, в какой это определяется формулой. Мое понимание максимальной запутанности вакуума заключалось в том, что вы можете взять любое состояние, локализованное в точке x + y, и сконструировать его, просто применяя к вакууму операторы, локальные для x (хорошо, мы действительно должны говорить об областях и размазывании, но примите это как прочитанное). ). Есть ли способ продемонстрировать это явно в случае KG?
@ twistor59 Извиняюсь, но я собираюсь кое-что разобрать. ф ^ ( Икс ) | 0 является векторным распределением, а не состоянием. Состояние — это положительная карта, такая как А ^ 0 | ф ^ ф А ^ ф ^ ф | 0 . Состояние не является локальным объектом в том смысле, что оно говорит вам, каких результатов вы ожидаете, если сделаете локальное измерение, например А ^ , где бы ни производилось это измерение.
@ twistor59 Теорема Ри-Шлидера, о которой вы говорите, очень тонкая. В нем говорится, что если мы строим векторы, используя только локальные операторнозначные распределения ф ^ ( Икс ) действующий на вектор вакуума, с Икс в каком-то регионе О , это векторное пространство является плотным подпространством всего гильбертова пространства. Таким образом, для любого заданного вектора в гильбертовом пространстве мы можем аппроксимировать его так, как нам нравится, используя только ресурсы, которые мы можем построить в О . Для этого «необходимо разумно использовать небольшие, но неисчезающие корреляции больших расстояний» в вакуумном состоянии (Хааг, Local Q Physics, II.5.3).
Спасибо, Питер. Думаю, мне нужно немного почитать о строгой КТП в стиле Вайтмана, чтобы привыкнуть к терминологии! Да, я говорил именно о теореме Риха-Шлидера. Однако я получаю выражение, что его утверждения остаются в области доказательств существования, т. е. они не могут быть сделаны явными в терминах вычислений элементарной КТП по принципу «пыхни и включи»?
Единственные поля в 3+1, которые, как известно, являются полями Вайтмана, являются свободными квантовыми полями, так что в этом смысле да. Было бы неплохо иметь возможность построить регуляризацию и перенормировку с достаточной точностью, чтобы решить, удовлетворяется ли теорема, подобная Рее-Шлидеру, для взаимодействующих КТП типа "пыхни и включи" (также известных как лагранжева КТП, я слышал, но я бы никогда не назвал их «элементарные»).
@twistor59: Строгая теорема не так уж удивительна, и этот ответ слишком формальный.