WikiDer > Сильная субаддитивность квантовой энтропии

Strong subadditivity of quantum entropy

В квантовой теории информации Сильная субаддитивность квантовой энтропии. (SSA) касается отношения между энтропии фон Неймана различных квантовых подсистем более крупной квантовой системы, состоящей из трех подсистем (или одной квантовой системы с тремя степенями свободы). Это основная теорема современного квантовая теория информации. Это было предположено Д.В. Робинсон и Д. Рюэль[1] в 1966 г. и О. Э. Лэнфорд III и Д. В. Робинсон[2] в 1968 г. и доказано в 1973 г. E.H. Либ и М.Б. Рускай.[3] В 2010 году Рускай узнал, что Дж. Кифер доказал это еще в 1959 году.[4][5]

Классическая версия SSA была давно известна и ценилась в классической теории вероятностей и теории информации. Доказательство этого соотношения в классическом случае довольно просто, но квантовый случай труден из-за некоммутативности уменьшенные матрицы плотности описание квантовых подсистем.

Вот некоторые полезные ссылки:

  • «Квантовые вычисления и квантовая информация»[6]
  • «Квантовая энтропия и ее использование»[7]
  • Следовые неравенства и квантовая энтропия: вводный курс[8]

Определения

В дальнейшем мы используем следующие обозначения: A Гильбертово пространство обозначается , и обозначает ограниченные линейные операторы на .Тензорные произведения обозначаются надстрочными индексами, например, . След обозначается .

Матрица плотности

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

Энтропия

Фон Нейман квантовая энтропия матрицы плотности является

.

Относительная энтропия

Умегаки[9] квантовая относительная энтропия двух матриц плотности и является

.

Совместная вогнутость

Функция двух переменных называется совместно вогнутый если для любого следующее имеет место

Субаддитивность энтропии

Обычная субаддитивность [10] касается только двух пробелов и матрица плотности . В нем говорится, что

Это неравенство справедливо, конечно, в классической теории вероятностей, но последняя также содержит теорему о том, что условные энтропии и оба неотрицательны. Однако в квантовом случае оба могут быть отрицательными, например может быть нулевым, а . Тем не менее, верхняя граница субаддитивности продолжает держаться. Самое близкое, что нужно является неравенством треугольника Араки – Либа [10]

который получен в [10] от субаддитивности математическим методом, известным как «очистка».

Сильная субаддитивность (SSA)

Предположим, что гильбертово пространство системы является тензорное произведение из трех пространств: . Физически эти три пространства можно интерпретировать как пространство трех различных систем или как три части или три степени свободы одной физической системы.

Учитывая матрицу плотности на , определим матрицу плотности на как частичный след: . Точно так же мы можем определить матрицы плотности: , , , , .

Заявление

Для любого трехстороннего государства следующее имеет место

,

куда , Например.

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

.

Это также можно переформулировать с точки зрения квантовая взаимная информация,

.

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

Сильное неравенство субаддитивности было улучшено Карленом и Либом следующим образом. [11]

,

с оптимальной константой .

Как упоминалось выше, SSA была впервые доказана Дж. Кифером.[4][5] в 1959 г. и независимо Э. Х. Либом и М. Б. Рускаем[3] в 1973 г. по теореме Либа.[12]Расширение от настройки гильбертова пространства к настройке алгебры фон Неймана, где состояния не задаются матрицами плотности, было сделано Нарнхофером и Тиррингом.[13]

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

Гипотеза Вигнера – Янасе – Дайсона

Э. П. Вигнер, М. М. Янасе [14] предложил другое определение энтропии, которое было обобщено Ф.Д. Дайсоном.

Вигнер – Янасе – Дайсон п- искаженная информация

Вигнер – Янасе – Дайсон - искаженная информация матрицы плотности . по отношению к оператору является

куда коммутатор, примыкает к и фиксированный.

Вогнутость п- искаженная информация

Это было высказано Э. П. Вигнером и М. М. Янасе в [15] который - информация о перекосе является вогнутой как функция матрицы плотности для фиксированного .

Поскольку срок вогнутая (линейная), гипотеза сводится к задаче вогнутости . Как отмечено в[12] эта гипотеза (для всех ) следует SSA и доказано для в,[15] и для всех в [12]в следующем более общем виде: Функция двух матричных переменных

 

 

 

 

(1)

совместно вогнута в и когда и .

Эта теорема является важной частью доказательства SSA в.[3]

В своей статье [15] Э. П. Вигнер и М. М. Янасе также предположили субаддитивность -скидная информация для , что было опровергнуто Хансеном[16] приведя контрпример.

Первые два оператора эквивалентны SSA

На это указывалось в [10] что первое утверждение ниже эквивалентно SSA и A. Ulhmann в [17] показал эквивалентность второго утверждения ниже и SSA.

  • Обратите внимание, что условные энтропии и не обязательно должны быть одновременно неотрицательными.
  • Карта выпуклый.

Оба эти утверждения были прямо доказаны в.[3]

Совместная выпуклость относительной энтропии

Как отмечает Линдблад [18] и Ульманн,[19] если в уравнении (1), берется и и и отличается в человек получает Совместная выпуклость относительной энтропии : то есть, если , и , тогда

 

 

 

 

(2)

куда с .

Монотонность квантовой относительной энтропии

Относительная энтропия монотонно убывает при полностью положительный след сохраняющие (CPTP) операции по матрицам плотности,

.

Это неравенство называется Монотонность квантовой относительной энтропии. Благодаря Теорема факторизации Стайнспринга, это неравенство является следствием конкретного выбора карты CPTP - частичной карты трассировки, описанной ниже.

Самый важный и базовый класс карт CPTP - операция частичной трассировки. , данный . потом

 

 

 

 

(3)

который называется Монотонность квантовой относительной энтропии по частичному следу.

Чтобы увидеть, как это следует из совместной выпуклости относительной энтропии, заметим, что можно записать в представлении Ульмана как

для некоторых конечных и некоторый набор унитарных матриц на (альтернативно, интегрировать по Мера Хаара). Поскольку след (а значит, и относительная энтропия) унитарно инвариантен, неравенство (3) теперь следует из (2). Эта теорема принадлежит Линдбладу. [18]и Ульманн,[17] чье доказательство приведено здесь.

SSA получается из (3) с заменен на и заменены . Брать .Потом (3) становится

Следовательно,

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

Отношения между неравенством

Все перечисленные выше важные неравенства эквивалентны друг другу и также могут быть доказаны напрямую. Следующие варианты эквивалентны:

  • Монотонность квантовой относительной энтропии (МОНО);
  • Монотонность квантовой относительной энтропии по частичному следу (MPT);
  • Сильная субаддитивность (SSA);
  • Совместная выпуклость квантовой относительной энтропии (JC);

Следующие выводы показывают эквивалентность этих неравенств.

  • МОНОНУКЛЕОЗ MPT: следует, поскольку MPT является частным случаем MONO;
  • MPT МОНО: показал Линдблад,[20] использование представления стохастических карт как частичного следа над вспомогательной системой;
  • MPT SSA: следует путем выбора конкретного трехчастичного состояния в MPT, описанного в разделе выше «Монотонность квантовой относительной энтропии»;
  • SSA MPT: по выбору чтобы быть блочной диагональю, можно показать, что SSA подразумевает, что отображение

выпуклый. В [3] было замечено, что эта выпуклость дает MPT;

  • MPT JC: как было сказано выше, выбрав (и аналогично, ) быть блочно-диагональной матрицей с блоками ) частичный след представляет собой сумму по блокам, так что , поэтому из MPT можно получить JC;
  • JC SSA: используя «процесс очистки», Араки и Либ,[10][21] заметил, что из известных можно получить новые полезные неравенства. Очищая к можно показать, что SSA эквивалентно

Более того, если чисто, тогда и , значит, в указанном неравенстве выполняется равенство. Поскольку крайние точки выпуклого множества матриц плотности являются чистыми состояниями, SSA следует из JC;

Видеть,[21][22] для обсуждения.

Случай равенства

Равенство в монотонности квантового неравенства относительной энтропии

В,[23][24] Д. Петц показал, что единственный случай равенства в соотношении монотонности - наличие собственного канала «восстановления»:

Для всех штатов и в гильбертовом пространстве и все квантовые операторы ,

тогда и только тогда, когда существует квантовый оператор такой, что

и

Более того, можно явно задать формулой

куда это сопряженная карта из .

Д. Петц поставил еще одно условие [23] когда выполняется равенство в Монотонности квантовой относительной энтропии: первое утверждение ниже. Различая это в у нас есть второе условие. Более того, М. Рускай привел еще одно доказательство второго утверждения.

Для всех штатов и на и все квантовые операторы ,

тогда и только тогда, когда выполняются следующие эквивалентные условия:

  • для всех реальных .

куда является сопряженным отображением .

Равенство в сильном неравенстве субаддитивности

П. Хайден, Р. Йожа, Д. Петц и А. Зима описали состояния, для которых выполняется равенство в SSA.[25]

Штат в гильбертовом пространстве удовлетворяет сильной субаддитивности с равенством тогда и только тогда, когда существует разложение второй системы как

в прямую сумму тензорных произведений, такую ​​что

с государствами на и на , и распределение вероятностей .

Расширение Карлена-Либа

Э. Х. Либ и E.A. Карлен нашли явный член ошибки в неравенстве SSA,[11] а именно,

Если и , как это всегда бывает для классической энтропии Шеннона, это неравенство не о чем говорит. С другой стороны, для квантовой энтропии вполне возможно, что условные энтропии удовлетворяют или же (но не оба сразу!). Затем в этом «высококвантовом» режиме это неравенство дает дополнительную информацию.

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

Операторное расширение сильной субаддитивности

В своей статье [26] И. Ким изучил операторное расширение сильной субаддитивности, доказав следующее неравенство:

Для трехчастного состояния (матрица плотности) на ,

Доказательство этого неравенства основано на Теорема Эффроса,[27] для каких конкретных функций и операторов выбираются, чтобы получить неравенство выше. М. Б. Рускай подробно описывает эту работу в [28] и обсуждает, как доказать большой класс новых матричных неравенств в трехчастном и двудольном случаях, проводя частичный след по всем пространствам, кроме одного.

Расширения сильной субаддитивности с точки зрения восстанавливаемости

Значительное усиление сильной субаддитивности было доказано в 2014 г.[29] который впоследствии был улучшен в [30] и.[31] В 2017 г.[32] было показано, что канал восстановления можно принять за исходную карту восстановления Petz. Эти улучшения сильной субаддитивности имеют физическую интерпретацию с точки зрения восстанавливаемости, что означает, что если условная взаимная информация трехчастного квантового состояния почти равно нулю, то можно выполнить восстановление канала (из системы E в AE) такую, что . Таким образом, эти результаты обобщают упомянутые выше условия точного равенства.

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

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

  1. ^ Робинсон, Дерек У .; Руэлль, Дэвид (1967). «Средняя энтропия состояний в классической статистической механике». Коммуникации по математической физике. ООО "Спрингер Сайенс энд Бизнес Медиа". 5 (4): 288–300. Дои:10.1007 / bf01646480. ISSN 0010-3616.
  2. ^ Лэнфорд, Оскар Э .; Робинсон, Дерек В. (1968). «Средняя энтропия состояний в квантовой статистической механике». Журнал математической физики. Издательство AIP. 9 (7): 1120–1125. Дои:10.1063/1.1664685. ISSN 0022-2488.
  3. ^ а б c d е Либ, Эллиотт Х.; Рускай, Мэри Бет (1973). «Доказательство сильной субаддитивности квантово-механической энтропии» (PDF). Журнал математической физики. Издательство AIP. 14 (12): 1938–1941. Дои:10.1063/1.1666274. ISSN 0022-2488.
  4. ^ а б Кифер, Дж. (Июль 1959 г.). «Оптимальные экспериментальные проекты». Журнал Королевского статистического общества: серия B (методологическая). 21 (2): 272–310.
  5. ^ а б Рускай, Мэри Бет. «Эволюция фундаментальной теоремы о квантовой энтропии». youtube.com. Всемирный научный. Получено 20 августа 2020. Приглашенный доклад на конференции в честь 90-летия Фримена Дайсона, Институт перспективных исследований, Технологический университет Наньян, Сингапур, 26-29 августа 2013 г. Примечание о Кифере (1959 г.) находится на отметке 26:40.
  6. ^ М. Нильсен, И. Чуанг, Квантовые вычисления и квантовая информация, Cambr. У. Пресс, (2000)
  7. ^ М. Охя, Д. Петц, Квантовая энтропия и ее использование, Springer (1993)
  8. ^ Э. Карлен, Следовые неравенства и квантовая энтропия: вводный курс, Contemp. Математика. 529 (2009).
  9. ^ Умегаки, Хисахару (1962). «Условное ожидание в операторной алгебре. IV. Энтропия и информация». Отчеты математического семинара Кодай. Токийский технологический институт, факультет математики. 14 (2): 59–85. Дои:10,2996 / kmj / 1138844604. ISSN 0023-2599.
  10. ^ а б c d е Араки, Хузихиро; Либ, Эллиотт Х. (1970). «Энтропийные неравенства». Коммуникации по математической физике. 18 (2): 160–170. Дои:10.1007 / BF01646092. ISSN 0010-3616.
  11. ^ а б Карлен, Эрик А .; Либ, Эллиотт Х. (2012). «Границы запутанности через расширение сильной субаддитивности энтропии». Письма по математической физике. 101: 1–11. arXiv:1203.4719. Дои:10.1007 / s11005-012-0565-6.
  12. ^ а б c Либ, Эллиотт H (1973). «Выпуклые функции следа и гипотеза Вигнера-Янасе-Дайсона». Успехи в математике. 11 (3): 267–288. Дои:10.1016 / 0001-8708 (73) 90011-X. ISSN 0001-8708.
  13. ^ Нарнгофер, Х. (1985). «От относительной энтропии к энтропии». Физика. 17: 258–262.
  14. ^ Wigner, E. P .; Янасэ, М. М. (1 мая 1963 г.). «Информационное содержание рассылок». Труды Национальной академии наук. 49 (6): 910–918. Дои:10.1073 / пнас.49.6.910. ISSN 0027-8424.
  15. ^ а б c Wigner, Eugene P .; Янасэ, Муцуо М. (1964). "О положительной полуопределенной природе определенного матричного выражения". Канадский математический журнал. Канадское математическое общество. 16: 397–406. Дои:10.4153 / cjm-1964-041-x. ISSN 0008-414X.
  16. ^ Хансен, Франк (18 января 2007 г.). «Энтропия Вигнера-Янасе не является субаддитивной». Журнал статистической физики. Springer Nature. 126 (3): 643–648. arXiv:math-ph / 0609019. Дои:10.1007 / s10955-006-9265-х. ISSN 0022-4715.
  17. ^ а б A. Ulhmann, Endlich Dimensionale Dichtmatrizen, II, Wiss. Z. Karl-Marx-University Leipzig 22 Jg. Н. 2., 139 (1973).
  18. ^ а б Линдблад, Горан (1974). «Ожидания и энтропийные неравенства для конечных квантовых систем». Коммуникации по математической физике. 39 (2): 111–119. Дои:10.1007 / BF01608390. ISSN 0010-3616.
  19. ^ Ульманн, А. (1977). «Относительная энтропия и вогнутость Вигнера-Янасе-Дайсона-Либа в теории интерполяции». Коммуникации по математической физике. 54 (1): 21–32. Дои:10.1007 / BF01609834. ISSN 0010-3616.
  20. ^ Линдблад, Горан (1975). «Полностью положительные отображения и энтропийные неравенства». Коммуникации по математической физике. ООО "Спрингер Сайенс энд Бизнес Медиа". 40 (2): 147–151. Дои:10.1007 / bf01609396. ISSN 0010-3616.
  21. ^ а б Либ, Э. Х. (1975). «Некоторые свойства выпуклости и субаддитивности энтропии». Бык. AMS. 81: 1–13. Дои:10.1090 / с0002-9904-1975-13621-4.
  22. ^ Рускай, Мэри Бет (2002). «Неравенства для квантовой энтропии: обзор с условиями равенства». Журнал математической физики. Издательство AIP. 43 (9): 4358–4375. arXiv:Quant-ph / 0205064. Дои:10.1063/1.1497701. ISSN 0022-2488. ошибка 46, 019901 (2005)
  23. ^ а б Петц, Денес (1986). «Достаточные подалгебры и относительная энтропия состояний алгебры фон Неймана». Коммуникации по математической физике. ООО "Спрингер Сайенс энд Бизнес Медиа". 105 (1): 123–131. Дои:10.1007 / bf01212345. ISSN 0010-3616.
  24. ^ Д. Петц, Достаточность каналов над алгебрами фон Неймана, Quart. J. Math. Oxford 35, 475–483 (1986).
  25. ^ П. Хайден, Р. Йожа, Д. Петц, А. Зима, Структура состояний, удовлетворяющих сильной субаддитивности квантовой энтропии с равенством, Comm. Математика. Phys. 246. С. 359–374 (2003).
  26. ^ Ким И. Операторное расширение сильной субаддитивности энтропии. arXiv:1210.5190 (2012).
  27. ^ Эффрос, Э. Г. (2009). «Матричный подход к некоторым знаменитым квантовым неравенствам». Proc. Natl. Акад. Sci. Соединенные Штаты Америки. 106 (4): 1006–1008. Дои:10.1073 / pnas.0807965106.
  28. ^ М. Б. Рускай, Замечания о сильном матричном неравенстве Кима: расширения и условия равенства, arXiv:1211.0049 (2012).
  29. ^ О. Фаузи, Р. Реннер. Квантовая условная взаимная информация и приближенные цепи Маркова. Сообщения по математической физике: 340, 2 (2015)
  30. ^ М. М. Уайльд. Восстанавливаемость в квантовой теории информации. Труды Королевского общества A, vol. 471, нет. 2182, стр. 20150338 Октябрь 2015 г.
  31. ^ Мариус Юнге, Ренато Реннер, Дэвид Саттер, Марк М. Уайлд, Андреас Винтер. Карты универсального восстановления и приблизительная достаточность квантовой относительной энтропии. Анналы Анри Пуанкаре, т. 19, нет. 10, страницы 2955--2978, октябрь 2018 г. arXiv:1509.07127
  32. ^ Карлен, Эрик А .; Вершинина, Анна (06.10.2017). «Восстановление стабильности карты при неравенстве обработки данных». arXiv:1710.02409 [math.OA].