Раздавленное запутывание - Squashed entanglement

Раздавленное запутывание, также называемый CMI запутанность (CMI можно произносить как «увидеть меня»), это теоретико-информационная мера квантовая запутанность для двудольной квантовой системы. Если это матрица плотности системы состоит из двух подсистем и , то запутанность CMI системы определяется

,

 

 

 

 

Уравнение (1)

куда - множество всех матриц плотности для трехсторонней системы такой, что . Таким образом, запутанность CMI определяется как экстремум функциональный из . Мы определяем квантовая Условная взаимная информация (CMI), ниже. Более общая версия уравнения (1) заменяет "min" (минимум) в уравнении (1) на "inf" (инфимум ). Когда чистое состояние, , в соответствии с определением запутанность формации для чистых состояний. Здесь это Энтропия фон Неймана матрицы плотности .

Мотивация для определения запутанности CMI

Запутанность CMI имеет свои корни в классическая (неквантовая) теория информации, как мы объясним далее.

Учитывая любые два случайные переменные классическая теория информации определяет взаимная информация, мера корреляций, как

.

 

 

 

 

Уравнение (2)

Для трех случайных величин , он определяет CMI как

.

 

 

 

 

Уравнение (3)

Можно показать, что .

Теперь предположим - матрица плотности трехчастной системы . Мы будем представлять частичный след из по отношению к одной или двум его подсистемам со стертым символом отслеживаемой системы. Например, . Квантовый аналог уравнения (2) можно определить следующим образом:

,

 

 

 

 

Уравнение (4)

и квантовый аналог уравнения (3) формулой

.

 

 

 

 

Уравнение (5)

Можно показать, что . Это неравенство часто называют сильная субаддитивность свойство квантовой энтропии.

Рассмотрим три случайные величины с распределением вероятностей , который мы будем сокращать как . Для тех, кто особенный формы

,

 

 

 

 

Уравнение (6)

Рис.1: Байесовская сеть, представление уравнения (6)

можно показать, что . Распределения вероятностей вида (6) на самом деле описываются Байесовская сеть показано на рис.1.

Классическую запутанность CMI можно определить следующим образом:

,

 

 

 

 

Уравнение (7)

куда - это множество всех вероятностных распределений в трех случайных величинах , так что для всех . Потому что, учитывая распределение вероятностей , всегда можно продолжить его до распределения вероятностей который удовлетворяет уравнению (6)[нужна цитата ], следует, что классическая CMI-запутанность, , равна нулю для всех . Дело в том, что всегда исчезает - важная мотивация для определения . Нам нужна мера квантовой запутанности, которая исчезает в классическом режиме.

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

 

 

 

 

Уравнение (8)

удовлетворяет . Уравнение (8) является квантовым аналогом уравнения (6). Прослеживая матрицу плотности уравнения (8) по , мы получили , который является отделимое состояние. Следовательно, (1) обращается в нуль для всех сепарабельных состояний.

Когда чистое состояние, получается. Это согласуется с определением запутанность формации для чистых состояний, как указано в Ben96.

Далее предположим за некоторые состояния в гильбертовом пространстве, связанные с квантовой системой . Позволять - набор матриц плотности, определенных ранее для уравнения (1). Определять быть набором всех матриц плотности это элементы и иметь особую форму . Можно показать, что если в уравнении (1) заменить множество своим собственным подмножеством , то уравнение (1) сводится к определению запутанности образования для смешанных состояний, как это дано в Ben96. и представляют различные степени знания о том, как был создан. представляет собой полное невежество.

Поскольку запутанность CMI сводится к запутанность формации если свести к минимуму вместо можно ожидать, что запутанность CMI наследует многие желательные свойства от запутанности образования.

История

Важное неравенство был впервые доказан Либом и Рускаем в LR73.

Классический CMI, определяемый уравнением (3), впервые введен теория информации знания, вскоре после основополагающей статьи Шеннона 1948 г. и, по крайней мере, уже в 1954 г. McG54. Квантовый CMI, задаваемый уравнением (5), был впервые определен Серфом и Адами в Cer96. Однако, похоже, Серф и Адами не осознавали связь CMI с запутанностью или возможность получения меры квантовой запутанности на основе CMI; это можно вывести, например, из более поздней статьи, Cer97, где они пытаются использовать вместо CMI, чтобы понять запутанность. Первая статья, в которой явно указывается на связь между CMI и квантовой запутанностью, выглядит так: Tuc99.

Окончательное определение запутанности CMI (1) было впервые дано Туччи в серии из 6 статей. (См., Например, уравнение (8) Tuc02 и уравнение (42) Tuc01a). В Tuc00b, он указал на классическую вероятностную мотивацию уравнения (1) и его связь с определениями запутанности образования для чистых и смешанных состояний. В Tuc01a, он представил алгоритм и компьютерную программу, основанную на Метод Аримото-Блахута теории информации, для численного расчета запутанности CMI. В Tuc01b, он рассчитал запутанность CMI аналитически для смешанного состояния двух кубиты.

В Сено03, Хайден, Джозса, Петц и Винтер исследовали связь между квантовым CMI и отделимость.

Однако этого не произошло, пока Chr03, что было показано, что запутанность CMI на самом деле является мерой запутанности, т.е. что она не увеличивается при локальных операциях и классической коммуникации (LOCC). Доказательство адаптировано Ben96 аргументы о запутанности образования. В Chr03, они также доказали множество других интересных неравенств, касающихся запутанности CMI, в том числе то, что она аддитивна, и исследовали ее связь с другими мерами запутанности. Название сплющенное запутывание впервые появился в Chr03. В Chr05, Кристандл и Винтер аналитически вычислили CMI-запутанность некоторых интересных состояний.

В Ali03, Алики и Фаннес доказали непрерывность запутанности CMI. В BCY10, Брандао, Кристандл и Ярд показали, что запутанность CMI равна нулю тогда и только тогда, когда состояние разделимо. В Хуа14, Хуанг доказал, что вычисление сжатой запутанности NP-сложно.

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

  • Ali03 Alicki, R .; Фаннес, М. (2003). «Непрерывность квантовой взаимной информации». J. Phys. А. 37 (55): L55 – L57. arXiv:Quant-ph / 0312081. Bibcode:2004JPhA ... 37L..55A. Дои:10.1088 / 0305-4470 / 37/5 / L01.
  • BCY10 Brandao, F .; Christandl, M .; Ярд, Дж. (Сентябрь 2011 г.). «Верное раздавленное запутывание». Коммуникации по математической физике. 306 (3): 805–830. arXiv:1010.1750. Bibcode:2011CMaPh.306..805B. Дои:10.1007 / s00220-011-1302-1.
  • Ben96 Беннетт, Чарльз Х .; Ди Винченцо, Дэвид П .; Смолин, Джон А .; Wootters, Уильям К. (1996). «Смешанная запутанность состояний и квантовая коррекция ошибок». Физический обзор A. 54 (5): 3824–3851. arXiv:Quant-ph / 9604024. Bibcode:1996ПхРвА..54.3824Б. Дои:10.1103 / PhysRevA.54.3824. PMID  9913930.
  • Cer96 Cerf, N.J .; Адами, К. (1996). «Квантовая механика измерения». arXiv:Quant-ph / 9605002.
  • Cer97 Cerf, N.J .; Adami, C .; Гингрич, Р. М. (1999). «Квантовый условный оператор и критерий отделимости». Физический обзор A. 60 (2): 893–898. arXiv:Quant-ph / 9710001. Bibcode:1999PhRvA..60..893C. Дои:10.1103 / PhysRevA.60.893.
  • Chr03 Маттиас Кристандл; Андреас Винтер (2003). ""Сдавленное запутывание ": мера аддитивного запутывания". Журнал математической физики. 45 (3): 829–840. arXiv:Quant-ph / 0308088. Bibcode:2004JMP .... 45..829C. Дои:10.1063/1.1643788.
  • Chr05 Маттиас Кристандл; Андреас Винтер (2005). «Неопределенность, моногамия и блокировка квантовых корреляций». IEEE Transactions по теории информации. 51 (9): 3159–3165. arXiv:Quant-ph / 0501090. Дои:10.1109 / TIT.2005.853338.
  • Chr06 Матиас Кристандл (2006). «Структура двудольных квантовых состояний - выводы из теории групп и криптографии». arXiv:Quant-ph / 0604183. Кембриджская докторская диссертация.
  • Сено03 Патрик Хайден; Ричард Джозса; Денес Петц; Андреас Винтер (2004). «Структура состояний, удовлетворяющих сильной субаддитивности квантовой энтропии с равенством». Коммуникации по математической физике. 246 (2): 359–374. arXiv:Quant-ph / 0304007. Bibcode:2004CMaPh.246..359H. Дои:10.1007 / s00220-004-1049-z.
  • Хуа14 Хуан, Ичэнь (21 марта 2014 г.). «Вычислительный квантовый диссонанс является NP-полным». Новый журнал физики. 16 (3): 033027. arXiv:1305.5941. Bibcode:2014NJPh ... 16c3027H. Дои:10.1088/1367-2630/16/3/033027.
  • LR73 Эллиотт Х. Либ, Мэри Бет Рускай, "Доказательство сильной субаддитивности квантово-механической энтропии", Журнал математической физики 14 (1973) 1938-1941.
  • McG54 W.J. McGill, "Многомерная передача информации", IRE Trans. Информация. Теория 4 (1954) 93-111.
  • Tuc99 Туччи, Роберт Р. (1999). «Квантовая запутанность и условная передача информации». arXiv:Quant-ph / 9909041.
  • Tuc00a Туччи, Роберт Р. (2000). «Разделимость матриц плотности и условная передача информации». arXiv:Quant-ph / 0005119.
  • Tuc00b Туччи, Роберт Р. (2000). «Запутанность формирования и условной передачи информации». arXiv:Quant-ph / 0010041.
  • Tuc01a Туччи, Роберт Р. (2001). «Релаксационный метод расчета квантовой запутанности». arXiv:Quant-ph / 0101123.
  • Tuc01b Туччи, Роберт Р. (2001). «Сплетение колокольных смесей двух кубитов». arXiv:Quant-ph / 0103040.
  • Tuc02 Туччи, Роберт Р. (2002). «Запутанность дистилляции и условной взаимной информации». arXiv:Quant-ph / 0202144.

внешняя ссылка