Теорема об отсутствии связи - Википедия - No-communication theorem

Эта статья нужны дополнительные цитаты для проверка. Пожалуйста помоги улучшить эту статью к добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удален. Найдите источники: "Теорема о запрете общения"  – Новости  · газеты  · книги  · ученый  · JSTOR (Февраль 2018 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

В физика, то теорема о запрете общения или же принцип отсутствия сигналов это запретная теорема из квантовая теория информации в котором говорится, что во время измерения запутанное квантовое состояние, для одного наблюдателя невозможно передать информацию другому наблюдателю, производя измерение подсистемы общего состояния. Теорема важна, потому что в квантовая механика, квантовая запутанность - это эффект, с помощью которого можно коррелировать определенные широко разнесенные события таким образом, чтобы предполагать возможность мгновенной коммуникации. Теорема о запрете связи дает условия, при которых такая передача информации между двумя наблюдателями невозможна. Эти результаты могут быть применены для понимания так называемых парадоксов в квантовая механика, такой как Парадокс ЭПР, или нарушения местный реализм получено в ходе испытаний Теорема Белла. В этих экспериментах теорема отсутствия коммуникации показывает, что отказ от локального реализма не приводит к тому, что можно было бы назвать «жуткой коммуникацией на расстоянии» (по аналогии с обозначением Эйнштейном понятия квантовая запутанность как требующие «жутких действий на расстоянии» в предположении полноты QM).

Неофициальный обзор

Теорема отсутствия связи утверждает, что в контексте квантовой механики невозможно передавать классические биты информации с помощью тщательно подготовленных смешанный или же чистые состояния, ли запутанный или нет. Теорема запрещает любое общение, а не только общение со скоростью, превышающей скорость света, посредством общих квантовых состояний.^{[нужна цитата ]} Теорема запрещает передачу не только целых битов, но и даже частей битов. Это важно принять к сведению, поскольку существует множество классических методов кодирования радиосвязи, которые могут передавать сколь угодно малые доли бита через произвольно узкие, шумные каналы связи.^{[нужна цитата ]} В частности, можно представить, что есть некоторые ансамбль это может быть подготовлено с небольшими частями ансамбля, сообщающимися до долей бита; это тоже невозможно.

Теорема основана на основном предположении, что законы квантовой механики верны. Подобные теоремы могут или не могут быть верными для других связанных теорий,^[1] Такие как теории скрытых переменных. Теорема о запрете связи не предназначена для ограничения других, неквантово-механических теорий.

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

Важное предположение, входящее в теорему, состоит в том, что ни Алисе, ни Бобу не разрешается каким-либо образом влиять на подготовку начального состояния. Если бы Алисе было разрешено участвовать в подготовке начального состояния, для нее было бы тривиально легко закодировать в него сообщение; таким образом, ни Алиса, ни Боб не участвуют в подготовке начального состояния. Теорема не требует, чтобы начальное состояние было каким-то образом «случайным», «сбалансированным» или «однородным»: действительно, третья сторона, подготавливающая начальное состояние, может легко закодировать в нем сообщения, полученные Алисой и Бобом. Просто теорема утверждает, что при некотором начальном состоянии, подготовленном каким-либо образом, нет никаких действий, которые Алиса может предпринять, которые были бы обнаружены Бобом.

Доказательство продолжается с определения того, как полное гильбертово пространство ЧАС можно разделить на две части, ЧАС_А и ЧАС_B, описывающий подпространства, доступные Алисе и Бобу. Предполагается, что общее состояние системы описывается матрица плотности σ. Это кажется разумным предположением, поскольку матрицы плотности достаточно для описания как чистых, так и смешанных состояний в квантовой механике. Другая важная часть теоремы заключается в том, что измерение выполняется с применением обобщенного оператор проекции п в состояние σ. Это снова разумно, поскольку операторы проекции дают соответствующее математическое описание квантовые измерения. Говорят, что после измерения Алисой состояние всей системы имеет рухнул в состояние п(σ).

Цель теоремы - доказать, что Боб никаким образом не может отличить состояние до измерения σ от состояния после измерения. п(σ). Это достигается математически путем сравнения след σ и след п(σ), причем след ведется по подпространству ЧАС_А. Поскольку след проходит только над подпространством, технически он называется частичный след. Ключом к этому шагу является предположение, что (частичная) трассировка адекватно резюмирует систему с точки зрения Боба. То есть все, к чему Боб имеет доступ или может когда-либо иметь доступ, измерять или обнаруживать, полностью описывается частичной трассировкой ЧАС_А системы σ. Опять же, это разумное предположение, поскольку это часть стандартной квантовой механики. Тот факт, что этот след никогда не меняется, когда Алиса выполняет свои измерения, является заключением доказательства теоремы о запрете связи.

Формулировка

Доказательство теоремы обычно иллюстрируется на примере Белл тесты в котором два наблюдателя Алиса и Боб выполнять локальные наблюдения над общей двудольной системой и использовать статистический аппарат квантовой механики, а именно состояния плотности и квантовые операции.^[2]

Алиса и Боб проводят измерения в системе S чья основная Гильбертово пространство является

${ displaystyle H = H_ {A} otimes H_ {B}.}$

Также предполагается, что все конечномерно, чтобы избежать проблем сходимости. Состояние составной системы задается оператором плотности на ЧАС. Любой оператор плотности σ на ЧАС представляет собой сумму вида:

${ displaystyle sigma = sum _ {i} T_ {i} otimes S_ {i}}$

куда Т_я и S_я операторы на ЧАС_А и ЧАС_B соответственно. Для дальнейшего не требуется предполагать, что Т_я и S_я операторы проекции состояний: т.е. они не обязательно должны быть неотрицательными или иметь следы одного. То есть σ может иметь несколько более широкое определение, чем матрица плотности; теорема все еще верна. Отметим, что теорема тривиально выполняется для разделимые состояния. Если разделяемое состояние σ отделимо, очевидно, что любая локальная операция Алисы оставит систему Боба нетронутой. Таким образом, суть теоремы заключается в том, что общение невозможно через общее запутанное состояние.

Алиса выполняет локальное измерение своей подсистемы. В общем, это описывается квантовой операцией над состоянием системы следующего вида

${ displaystyle P ( sigma) = sum _ {k} (V_ {k} otimes I_ {H_ {B}}) ^ {*} sigma (V_ {k} otimes I_ {H_ {B}) }}),}$

куда V_k называются Матрицы Крауса которые удовлетворяют

${ displaystyle sum _ {k} V_ {k} V_ {k} ^ {*} = I_ {H_ {A}}.}$

Период, термин

${ displaystyle I_ {H_ {B}}}$

из выражения

${ displaystyle (V_ {k} otimes I_ {H_ {B}})}$

означает, что измерительный прибор Алисы не взаимодействует с подсистемой Боба.

Предположим, что комбинированная система подготовлена ​​в состоянии σ, и предположим, в целях аргументации, нерелятивистскую ситуацию, сразу (без временной задержки) после того, как Алиса выполнит свое измерение, относительное состояние системы Боба задается частичный след общего состояния по отношению к системе Алисы. В символах относительное состояние системы Боба после операции Алисы равно

${ Displaystyle OperatorName {tr} _ {H_ {A}} (P ( sigma))}$

куда ${ displaystyle operatorname {tr} _ {H_ {A}}}$ частичное отображение следов относительно системы Алисы.

Это состояние можно вычислить напрямую:

${ displaystyle operatorname {tr} _ {H_ {A}} (P ( sigma)) = operatorname {tr} _ {H_ {A}} left ( sum _ {k} (V_ {k} иногда I_ {H_ {B}}) ^ {*} sigma (V_ {k} otimes I_ {H_ {B}}) right)}$

${ displaystyle = operatorname {tr} _ {H_ {A}} left ( sum _ {k} sum _ {i} V_ {k} ^ {*} T_ {i} V_ {k} otimes S_ {Я прав)}$

${ displaystyle = sum _ {i} sum _ {k} operatorname {tr} (V_ {k} ^ {*} T_ {i} V_ {k}) S_ {i}}$

${ displaystyle = sum _ {i} sum _ {k} operatorname {tr} (T_ {i} V_ {k} V_ {k} ^ {*}) S_ {i}}$

${ displaystyle = sum _ {i} operatorname {tr} left (T_ {i} sum _ {k} V_ {k} V_ {k} ^ {*} right) S_ {i}}$

${ displaystyle = sum _ {i} operatorname {tr} (T_ {i}) S_ {i}}$

${ displaystyle = operatorname {tr} _ {H_ {A}} ( sigma).}$

Исходя из этого, утверждается, что статистически Боб не может отличить то, что сделала Алиса, от случайного измерения (или сделала ли она что-нибудь вообще).

Некоторые комментарии

• Если оператор плотности ${ Displaystyle P ( sigma)}$ может развиваться под влиянием нелокальных взаимодействий между A и B, то в целом вычисления в доказательстве больше не выполняются, если не предполагается подходящих коммутационных соотношений.^[3]
• Таким образом, теорема об отсутствии связи гласит, что одну только общую запутанность нельзя использовать для передачи какой-либо информации. Сравните это с теорема о запрете телепортации, в котором говорится классический информационный канал не может передавать квантовую информацию. (К передавать, мы имеем в виду передачу с полной точностью.) Однако квантовая телепортация схемы используют оба ресурса для достижения того, что невозможно ни для одного другого.
• Из теоремы о запрете связи следует теорема о запрете клонирования, который утверждает, что квантовые состояния не могут быть (полностью) скопированы. То есть клонирование является достаточным условием для передачи классической информации. Чтобы убедиться в этом, предположим, что квантовые состояния можно клонировать. Предположим, что части максимально запутанный Состояние колокола распространяются Алисе и Бобу. Алиса может посылать биты Бобу следующим образом: если Алиса желает передать «0», она измеряет спин своего электрона в z направление, сворачивая состояние Боба в ${ displaystyle | z + rangle _ {B}}$ или же ${ displaystyle | z- rangle _ {B}}$. Чтобы передать "1", Алиса ничего ей не делает. кубит. Боб создает множество копий состояния своего электрона и измеряет спин каждой копии в z направление. Боб будет знать, что Алиса передала «0», если все его измерения дадут одинаковый результат; в противном случае его измерения будут иметь результаты ${ displaystyle | z + rangle _ {B}}$ или же ${ displaystyle | z- rangle _ {B}}$ с равной вероятностью. Это позволило бы Алисе и Бобу передавать друг другу классические биты (возможно, через космический разлучения, нарушение причинность ).
• Версия теоремы об отсутствии связи, обсуждаемая в этой статье, предполагает, что квантовая система, совместно используемая Алисой и Бобом, является составной системой, т. Е. Что лежащее в ее основе гильбертово пространство является тензорным произведением, первый фактор которого описывает часть системы, с которой Алиса может взаимодействовать. with и чей второй фактор описывает часть системы, с которой может взаимодействовать Боб. В квантовая теория поля, это предположение можно заменить предположением, что Алиса и Боб пространственно разделенные.^[4] Эта альтернативная версия теоремы об отсутствии связи показывает, что сверхсветовая связь не может быть достигнуто с помощью процессов, подчиняющихся правилам квантовой теории поля.
• Доказательство теоремы об отсутствии связи предполагает, что все измеримые свойства системы Боба могут быть вычислены на основе ее приведенной матрицы плотности, что верно при условии Родившееся правило для расчета вероятности проведения различных измерений. Но эта эквивалентность правилу Борна также может быть по существу выведена в противоположном направлении, поскольку можно показать, что правило Борна следует из предположения, что пространственно-подобные разделенные события не могут нарушать причинность, влияя друг на друга.^[5]

Смотрите также

• Теорема без трансляции
• Теорема о запрете клонирования
• Теорема о запрете удаления
• Теорема о запрете телепортации

Рекомендации

• Холл, Майкл Дж. У. (1987). «Неточные измерения и нелокальность в квантовой механике». Письма о физике A. Elsevier BV. 125 (2–3): 89–91. Дои:10.1016/0375-9601(87)90127-7. ISSN  0375-9601.
• Гирарди, Г.С.; Грасси, Р. Римини, А; Вебер, Т. (1988-05-15). «Эксперименты типа EPR, связанные с CP-нарушением, не допускают связи между удаленными наблюдателями быстрее света». Письма Europhysics (EPL). IOP Publishing. 6 (2): 95–100. Дои:10.1209/0295-5075/6/2/001. ISSN  0295-5075.
• Флориг, Мартин; Саммерс, Стивен Дж. (1997). «О статистической независимости алгебр наблюдаемых». Журнал математической физики. Издательство AIP. 38 (3): 1318–1328. Дои:10.1063/1.531812. ISSN  0022-2488.