[論文レビュー] The ABC of Deutsch-Hayden Descriptors

Charles Alexandre Bédard|arXiv (Cornell University)|Dec 21, 2020

Quantum Mechanics and Applications参考文献 10被引用数 14

ひとこと要約

この論文は、ハイゼンベルク図式におけるデュイッチ＝ヘイデン記述子形式を自己完結的かつ分かりやすく解説し、もつれ系ですら量子力学が本質的に局所的で完全であることを示している。観測量の時間発展を記述子（パウリ行列のユニタリ変換）によって追跡することで、量子理論における非局所性はシュレーディンガー図式に起因する誤りであり、超密度符号化を局所的かつ情報論的プロトコルとして再解釈する。ここでビット情報は非局所相関に符号化されるが、第二の系と同時に測定されない限り局所的にはアクセス不可能なままとなる。

ABSTRACT

It has been more than 20 years since Deutsch and Hayden proved the locality of quantum theory, using the Heisenberg picture of quantum computational networks. Of course, locality holds even in the face of entanglement and Bell's theorem. Today, most researchers in quantum foundations are still convinced not only that a local description of quantum systems has not yet been provided, but that it cannot exist. The main goal of this paper is to address this misconception by re-explaining the descriptor formalism in a hopefully accessible and self-contained way. It is a step-by-step guide to how and why descriptors work. Finally, superdense coding is revisited in the light of descriptors.

研究の動機と目的

• もつれや非局所的相関が原因で、量子力学が局所的に記述できないという広く見られる誤解を解きほぐすこと。
• ハイゼンベルク図式の量子基礎における理解が不十分な研究者向けに、デュイッチ＝ヘイデン記述子形式について明確で自己完結的なチュートリアルを提供すること。
• 記述子を用いることで、もつれ系が完全かつ局所的に記述可能であることを示し、量子理論の局所性を裏付けること。
• 記述子を用いて超密度符号化を再分析し、非局所性ではなく局所的操作と局所的にはアクセス不可能な情報に依存していることを示すこと。

提案手法

• 状態ベクトルではなく、時間発展する観測量によって量子系を記述するハイゼンベルク図式を用いる。
• 記述子をパウリ演算子のユニタリ変換として定義：1キュービットに対して q(t) = U^† σ U。
• nキュービット系への拡張にはテンソル積と su(2)^{⊟ n} の代数的構造を用いる。
• ハダマードゲート、CNOTゲート、パウリゲートなどのユニタリゲートによる記述子変換で観測量の時間発展を追跡する。
• 状態を時間発展させず、参照ベクトル |0⌈^n を用いて測定確率を計算する。
• 超密度符号化に記述子を適用し、ビット情報が非局所相関に符号化されているが、二つの系を同時に測定しない限り局所的にはアクセス不可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 もつれ量子系を非局所的隠れ変数を導入せずに、完全かつ局所的に記述することは可能か？
• RQ2 ハイゼンベルク図式における記述子形式は、ベル不等式違反における顕在的な非局所性をどのように解消するか？
• RQ3 なぜシュレーディンガー図式では超密度符号化が非局所的に見えるが、記述子を用いることで本質的に局所的であることが示せるのか？
• RQ4 超密度符号化のような量子通信プロトコルにおいて、局所的にはアクセス不可能な情報の役割は何か？
• RQ5 ユニタリ時間発展における記述子変換が、分離可能で局所的な方法で完全な量子情報をどのように保存するか？

主な発見

• 記述子はパウリ行列のユニタリ変換による観測量の時間発展を追跡することで、量子系を完全かつ局所的に記述する。
• 記述子形式により、アインシュタイン的意味での局所実在性が量子理論に成立することが証明される：1つの系の状態は、空間的に分離された他の系に対する操作に依存しない。
• 超密度符号化において、2ビットの情報はキュービット間の非局所的相関に符号化されるが、局所的にはアクセス不可能であり、結合測定によってのみ明らかになる。
• 最初のキュービットでビット i を測定する確率は δ_{ii'} であり、2番目のキュービットで j を測定する確率は δ_{jj'} である。これにより、局所的操作による決定的情報伝送が証明される。
• プロトコルの成功は、ボブのキュービットがアリスのキュービットに符号化された情報を解錠する「鍵」として機能するためであり、これはもつれと結合測定によってのみ可能になる。
• ハイゼンベルク図式により、非局所性は必要ではなく、すべての操作が局所的であり、シュレーディンガー図式における非局所性の外見は状態ベクトル形式の結果に起因する。