Концепция квантовой теории информации
В квантовой теории информации и квантовой оптике теорема Шредингера -ХЮВ представляет собой результат о реализации смешанного состояния квантовой системы как ансамбля чистых квантовых состояний и связи между соответствующими очищениями операторов плотности . Теорема названа в честь физиков и математиков Эрвина Шредингера , [1] Лейна П. Хьюстона , Ричарда Джожи и Уильяма Вуттерса . [2] Результат был также независимо найден (хотя и частично) Николя Гизеном , [3] и Николасом Хаджисаввасом, основываясь на работе Эда Джейнса , [4] [5], тогда как значительная часть его была аналогичным образом независимо открыта Н. Дэвид Мермин . [6] Благодаря своей сложной истории, она также известна под другими названиями, такими как теорема GHJW , [7] теорема HJW и теорема очистки .
Очистка смешанного квантового состояния
Позвольте быть конечномерным комплексным гильбертовым пространством и рассмотрим общее (возможно, смешанное ) квантовое состояние , определенное на и допускающее разложение формы
для набора (не обязательно взаимно ортогональных) состояний и коэффициентов таких, что . Заметим, что любое квантовое состояние можно записать таким образом для некоторых и . [8]
![{\displaystyle \rho }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {H}}_{S}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \rho =\sum _{i}p_{i}|\phi _{i}\rangle \langle \phi _{i}|}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |\phi _{i}\rangle \in {\mathcal {H}}_{S}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p_{i}\geq 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle \sum _{i}p_{i}=1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{|\phi _{i}\rangle \}_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Любое такое состояние можно очистить , то есть представить как частичный след чистого состояния , определенного в большем гильбертовом пространстве. Точнее, всегда можно найти (конечномерное) гильбертово пространство и чистое состояние такое, что . Более того, все состояния, удовлетворяющие этому требованию, — это все и только состояния вида
некоторого ортонормированного базиса . Состояние тогда упоминается как «очищение ». Поскольку вспомогательное пространство и базис могут быть выбраны произвольно, очистка смешанного состояния не является однозначной; на самом деле существует бесконечно много очищений данного смешанного состояния. [9] Поскольку все они допускают разложение в указанном выше виде, при любой паре очисток всегда существует некоторая унитарная операция такая, что![{\displaystyle \rho }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {H}}_{A}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |\Psi _{SA}\rangle \in {\mathcal {H}}_{S}\otimes {\mathcal {H}}_{A}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \rho =\operatorname {Tr} _{A}{\big (}|\Psi _{SA} \rangle \langle \Psi _{SA}|{\big)}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |\Psi _{SA}\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |\Psi _{SA}\rangle =\sum _{i}{\sqrt {p_{i}}}|\phi _{i}\rangle \otimes |a_{i}\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{|a_{i}\rangle \}_{i}\subset {\mathcal {H}}_{A}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |\Psi _{SA}\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \rho }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |\Psi \rangle,|\Psi '\rangle \in {\mathcal {H}}_{S} \otimes {\mathcal {H}}_{A}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U:{\mathcal {H}}_{A}\to {\mathcal {H}}_{A}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |\Psi '\rangle = (I\otimes U)|\Psi \rangle.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Теорема
Рассмотрим смешанное квантовое состояние с двумя различными реализациями как ансамбль чистых состояний как и . Здесь оба и не предполагаются взаимно ортогональными. Будет два соответствующих очищения смешанного состояния :![{\displaystyle \rho }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle \rho =\sum _{i}p_{i}|\phi _{i}\rangle \langle \phi _{i}|}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle \rho =\sum _{j}q_{j}|\varphi _{j}\rangle \langle \varphi _{j}|}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |\phi _{i}\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |\varphi _{j}\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \rho }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Очистка 1: ;
![{\displaystyle |\Psi _{SA}^{1}\rangle =\sum _{i}{\sqrt {p_{i}}}|\phi _{i}\rangle \otimes |a_{i}\ звонить }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Очистка 2: .
![{\displaystyle |\Psi _{SA}^{2}\rangle =\sum _{j}{\sqrt {q_{j}}}|\varphi _{j}\rangle \otimes |b_{j}\ звонить }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Множества и представляют собой два набора ортонормированных базисов соответствующих вспомогательных пространств. Эти два очищения отличаются только унитарным преобразованием, действующим на вспомогательное пространство, а именно, существует унитарная матрица такая, что . [10] Следовательно, это означает, что мы можем реализовать различные ансамбли смешанного состояния, просто проводя разные измерения в очистительной системе.![{\displaystyle \{|a_{i}\rangle \}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{|b_{j}\rangle \}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U_{A}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |\Psi _{SA}^{1}\rangle =(I\otimes U_{A})|\Psi _{SA}^{2}\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle |\Psi _{SA}^{1}\rangle =\sum _{j}{\sqrt {q_{j}}}|\varphi _{j}\rangle \otimes U_{A}|b_ {j}\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Рекомендации
- ^ Шрёдингер, Эрвин (1936). «Вероятностные отношения между разделенными системами». Труды Кембриджского философского общества . 32 (3): 446–452. Бибкод : 1936PCPS...32..446S. дои : 10.1017/S0305004100019137.
- ^ Хьюстон, Лейн П.; Джожа, Ричард; Вуттерс, Уильям К. (ноябрь 1993 г.). «Полная классификация квантовых ансамблей, имеющих заданную матрицу плотности». Буквы по физике А. 183 (1): 14–18. Бибкод : 1993PhLA..183...14H. дои : 10.1016/0375-9601(93)90880-9. ISSN 0375-9601.
- ^ Гизин, Н. (1989). «Стохастическая квантовая динамика и теория относительности», Helvetica Physica Acta 62, 363–371.
- ^ Хаджисаввас, Николас (1981). «Свойства смесей в неортогональных состояниях». Письма по математической физике . 5 (4): 327–332. Бибкод : 1981LMaPh...5..327H. дои : 10.1007/BF00401481.
- ^ Джейнс, ET (1957). «Теория информации и статистическая механика. II». Физический обзор . 108 (2): 171–190. Бибкод : 1957PhRv..108..171J. дои : 10.1103/PhysRev.108.171.
- ^ Фукс, Кристофер А. (2011). Достижение совершеннолетия с квантовой информацией: заметки об идее Павла . Кембридж: Издательство Кембриджского университета . ISBN 978-0-521-19926-1. ОСЛК 535491156.
- ^ Мермин, Н. Дэвид (1999). «Что эти корреляции знают о реальности? Нелокальность и абсурд». Основы физики . 29 (4): 571–587. arXiv : Quant-ph/9807055 . Бибкод : 1998quant.ph..7055M. дои : 10.1023/А: 1018864225930.
- ^ Нильсен, Майкл А.; Чуанг, Исаак Л., «Разложение Шмидта и очистка», Квантовые вычисления и квантовая информация , Кембридж: Cambridge University Press, стр. 110–111..
- ^ Уотрус, Джон (2018). Теория квантовой информации. Кембридж: Издательство Кембриджского университета. дои : 10.1017/9781316848142. ISBN 978-1-107-18056-7.
- ^ Киркпатрик, Калифорния (февраль 2006 г.). «Теорема Шрёдингера-ХЮВ». Основы физики письма . 19 (1): 95–102. arXiv : Quant-ph/0305068 . Бибкод : 2006FoPhL..19...95K. дои : 10.1007/s10702-006-1852-1. ISSN 0894-9875.