1 概要
量子もつれとは、複数の量子系が一つの全体として記述され、各部分を別々に見ても状態を完全に定められない現象である。個々の系には独立した状態が与えられないことがあり、測定の結果には遠く離れた系どうしでも強い相関が現れる。
この概念は量子力学の特徴を端的に示すものであり、古典物理の枠組みでは直感的に理解しにくい。今日では、量子通信や量子計算を支える基本資源の一つとして扱われている。
1.1 定義
量子もつれは、複合系の状態が直積として表せず、部分系の状態だけでは全体を再構成できない場合を指す。たとえば二つの粒子が一つの波動関数を共有しているとき、どちらか一方の性質が他方と密接に結びつく。
重要なのは、単なる相関の存在ではなく、量子状態そのものが分離できない点にある。したがって、もつれは測定前の記述に関わる構造的な性質である。
1.2 量子相関との関係
量子相関は、量子系どうしに見られる一般的な結びつきを指す。量子もつれはその中核的な形態で、特に古典的な確率混合では説明できない相関を含む。
ただし、すべての量子相関が直ちにもつれと同義ではない。量子の特徴的な相関の中には、もつれ以外の非古典的な振る舞いも含まれる。
1.3 古典的相関との違い
古典的相関では、観測対象があらかじめ何らかの共通原因や共有情報を持つことで、結果の一致や連動が生じる。これに対し量子もつれでは、各部分系に個別の実在的性質を割り当てるだけでは十分でない。
そのため、もつれ状態の相関は、古典的な隠れた変数モデルでは再現できない場合がある。ここに量子論の非古典性が最もはっきり現れる。
2 歴史
量子もつれの概念は、量子力学の成立とともに徐々に明確化された。当初は奇妙な副作用のように見なされたが、後に理論と実験の両面から重要性が認識されるようになった。
2.1 量子力学の成立期
1920年代の量子力学の形成期には、原子や光の振る舞いを説明する新しい理論が整えられた。複数粒子系の記述が進むにつれて、全体状態が部分の単純な和では表せないことが明らかになった。
この段階では、もつれはまだ明確な名称で整理されていなかったが、複合系特有の非古典的構造として既に含まれていた。
2.2 アインシュタイン＝ポドルスキー＝ローゼンの議論
1935年、アインシュタイン、ポドルスキー、ローゼンは量子力学の完全性に疑問を投げかける議論を提示した。彼らは、遠隔地の測定結果が即座に結びつくように見える点を問題視し、量子論の記述が不十分ではないかと論じた。
この論文は、後にEPR議論として知られ、もつれと量子基礎論の発展を促す契機となった。
2.3 ベルの定理と実験的検証
1964年、ジョン・ベルは局所実在論に基づく理論が満たすべき不等式を導いた。量子論はこの制約を破る予測を与えるため、両者の違いを実験で調べる道が開かれた。
その後、多くの実験がベル不等式の破れを示し、量子もつれが単なる解釈上の問題ではなく、観測可能な物理現象であることが確認された。
3 理論的基礎
量子もつれの理解には、状態空間の構造と複合系の記述法が欠かせない。とくに、純粋状態と混合状態、そしてテンソル積による表現が基本となる。
3.1 純粋状態と混合状態
純粋状態は、量子系が最大限に情報づけられた理想的な状態であり、波動関数で表される。これに対して混合状態は、複数の純粋状態の確率的な組合せとして記述される。
もつれは純粋状態にも混合状態にも現れうるが、判断の仕方はそれぞれ異なる。複合系では、全体が純粋でも部分系は混合状態になることがある。
3.2 テンソル積による記述
複数の量子系を合わせると、状態空間はテンソル積で構成される。これにより、各部分の基底を組み合わせて全体の状態を表現できる。
しかし、テンソル積で記述できることと、状態が分離可能であることは別である。実際には、テンソル積空間の中に、部分系へ分解できない状態が多数存在する。
3.3 非分離状態
非分離状態は、複合系の状態が部分系の直積の確率混合として書けない状態である。量子もつれの中心的特徴は、この非分離性にある。
観測結果の相関が強くても、それだけではもつれと断定できない。定義上の基準は、状態が分離可能かどうかに置かれる。
3.3.1 分離可能状態
分離可能状態は、各部分系の状態の組合せを確率的に平均したものとして表せる。こうした状態は、量子的であってももつれを含まない。
実用上は、ノイズの多い系や熱平衡に近い系でしばしば現れる。部分系ごとの独立な説明が比較的容易である。
3.3.2 非分離状態の判定
非分離性の判定には、状態の行列表示や相関の評価が用いられる。低次元系では、正部分転置などの判定法がよく知られている。
高次元や多体系では、判定は一般に難しくなる。そのため、実験では近似的な証拠やエンタングルメント証明が用いられることが多い。
4 量子もつれの種類
量子もつれには、関与する系の数や自由度に応じてさまざまな形がある。構成の違いによって、性質や応用の仕方も変わる。
4.1 二体もつれ
二体もつれは、二つの量子系の間に生じる最も基本的な形である。ベル状態はその代表例で、理論と実験の両面で標準的に扱われる。
二体系は理解しやすく、測定相関や量子通信の原型を示すのに適している。
4.2 多体系もつれ
三つ以上の量子系が関与する場合、多体系もつれとなる。ここでは、単純な二者間相関の寄せ集めでは説明できない構造が現れる。
多体系では、どの部分を切り出しても残りとの関係が変わるため、解析が複雑になる一方で、情報処理への応用可能性も広がる。
4.3 高次元もつれ
量子ビットより大きな次元を持つ自由度を使うと、高次元もつれが得られる。これにより、一つの系が持つ情報量や表現力が増す。
高次元系は、通信容量の向上やノイズ耐性の改善に役立つ場合がある。
4.4 連続変数のもつれ
位置や運動量、電磁場のモードなど、連続的な自由度におけるもつれも重要である。とくに量子光学で広く研究されている。
この種のもつれは、実験的な生成と測定の手法が成熟しており、量子通信や精密測定にも利用される。
5 性質
量子もつれは、相関の強さだけでなく、測定による状態変化や資源としての扱いに特徴がある。いくつかの量でその性質を定量化できる。
5.1 非局所的な相関
もつれ状態では、離れた系の測定結果が古典的期待を超える相関を示す。これが非局所的と表現される理由である。
ただし、この非局所性は超光速通信を意味しない。得られるのは相関であり、任意の情報を即時に送れるわけではない。
5.2 測定と状態の収縮
一方の系を測定すると、全体状態の記述が更新され、他方の系についても条件付きの状態が定まる。これは状態の収縮と呼ばれる。
この変化は、遠隔系に物理的な信号が飛ぶというより、共同状態の記述が測定結果に応じて整理されることを意味する。
5.3 もつれの強さ
もつれは有無だけでなく、どの程度強いかも問題になる。定量指標によって、状態間の比較や資源量の評価が可能になる。
5.3.1 もつれ度
もつれ度は、状態に含まれるもつれの量を表す尺度の総称である。対象や文脈に応じて、複数の定義が使い分けられる。
単純な二体系では計算しやすいが、多体系では指標の選択自体が研究対象になる。
5.3.2 エンタングルメントエントロピー
エンタングルメントエントロピーは、純粋な複合系における部分系の混合度を測る量である。部分系が強く絡み合うほど、この値は大きくなる。
量子情報だけでなく、凝縮系や量子重力の文脈でも重要視されている。
5.3.3 もつれの単調量
もつれの単調量は、局所操作と古典通信の下で増えない量として定義される。これは、もつれを資源として扱う際の基本的条件である。
この性質により、ある状態から別の状態へ変換できるかどうかを整理しやすくなる。
6 生成と制御
量子もつれは自然に現れることもあれば、実験装置で意図的に作られることもある。応用の進展には、生成だけでなく保持と制御が欠かせない。
6.1 自然発生と人工的生成
相互作用する量子系では、時間発展の途中で自然にもつれが生じることがある。一方で、実験では特定の結合や操作を用いて狙って生成する。
人工的生成では、所望の状態を高い忠実度で作ることが重要になる。
6.2 光子系での生成
光子のもつれは、非線形光学過程や干渉装置を利用して作られる。偏光、経路、時間ビンなどの自由度がよく用いられる。
光子は外乱の影響を受けにくく、長距離伝送に適しているため、通信分野で特に有用である。
6.3 原子・イオン系での生成
冷却原子やトラップされたイオンでは、レーザー操作や相互作用制御によってもつれを生成できる。これらは高精度な量子制御に向く。
再現性の高い実験系として、基礎研究と量子計算の双方で重要である。
6.4 超伝導回路での生成
超伝導量子回路では、マイクロ波領域の制御を通じてもつれを作り出す。量子ビット間の結合を電気的に調整しやすい点が利点である。
この方式は、集積化しやすく、大規模な量子プロセッサの実装候補として注目されている。
6.5 ノイズと脱相関
現実の環境では、熱雑音や外部擾乱によってもつれが壊れやすい。これを脱相関またはデコヒーレンスの一部として捉える。
そのため、もつれの維持には遮蔽、誤り訂正、低温化などの対策が必要になる。
7 実験
実験研究は、量子もつれを理論上の概念から実在する物理資源へと位置づけた。観測技術の進歩により、状態の生成・検証・利用が広く行われている。
7.1 代表的な実験系
代表例としては、光子対、冷却原子、イオン、超伝導回路、半導体量子ドットなどがある。各系には、制御のしやすさや相互作用の強さに違いがある。
研究目的に応じて、短時間高精度の系と長距離伝送向きの系が使い分けられる。
7.2 ベル不等式の検証
ベル不等式の検証は、量子もつれの非古典性を示す代表的手法である。実験では測定設定を変えながら相関を集め、古典理論の上限を超えるかを調べる。
閉じ込めの不備や検出効率の問題を減らすため、精密な実験設計が必要になる。
7.3 量子状態トモグラフィー
量子状態トモグラフィーは、複数の測定結果から未知の状態を再構成する方法である。もつれの有無や程度を調べるために広く使われる。
ただし、系が大きくなると測定数が急増するため、部分的な推定法や圧縮的手法が併用される。
7.4 量子もつれの分配
もつれの分配とは、ある量子系が複数の相手とどのように相関を共有できるかを扱う問題である。二者間の関係を強めると、他との共有が制限される場合がある。
この性質は、量子ネットワーク設計や秘密分配の理解に役立つ。
8 応用
量子もつれは、基礎物理にとどまらず、情報処理の技術基盤としても活用される。特に通信、計算、計測の分野で中心的役割を果たす。
8.1 量子通信
量子通信では、もつれを利用して古典通信より高機能な情報処理を目指す。安全性や伝送方式の面で独自の利点がある。
8.1.1 量子テレポーテーション
量子テレポーテーションは、もつれと古典通信を組み合わせて未知の量子状態を別の場所へ再構成する手法である。物体そのものを移すわけではない。
この方法は、量子ネットワークや量子中継の基礎技術となる。
8.1.2 量子鍵配送
量子鍵配送では、量子状態の測定が状態を乱す性質を利用して、安全な鍵共有を目指す。もつれベースの方式では、第三者の介入を検出しやすい。
通信路の監視と鍵生成を一体化できる点が特徴である。
8.1.3 超密度符号化
超密度符号化は、あらかじめ共有されたもつれを用いて、限られた量の量子系で多くの古典情報を送る方法である。理論的には、通常より高い情報密度を実現できる。
これは、もつれが通信資源として機能することを示す典型例である。
8.2 量子計算
量子計算では、もつれが複数量子ビットの協調動作を可能にする。並列的な状態操作や干渉を活かすうえで欠かせない。
8.2.1 量子回路における役割
量子回路では、単一量子ビット操作だけでは得られない計算能力を、もつれを作るゲートが支える。代表的には制御NOTなどが用いられる。
これにより、複数の量子ビットが一つの計算単位として振る舞う。
8.2.2 もつれを用いるアルゴリズム
いくつかの量子アルゴリズムでは、途中で強いもつれが重要な役割を担う。探索、因数分解、シミュレーションなどで、計算の効率化に寄与する場合がある。
もっとも、すべての量子優位がもつれだけで説明できるわけではなく、干渉や測定も同様に重要である。
8.3 量子センシング
量子センシングでは、もつれを使って微小な変化の検出感度を高める。複数粒子の集団状態を整えることで、精密測定の限界を押し広げられる。
原理的には、位相推定や磁場計測、時間標準などへの応用が期待される。
8.4 量子ネットワーク
量子ネットワークは、複数の量子ノードをもつれで結び、分散的な量子情報処理を行う構想である。量子中継や量子ルーターの実現が課題となる。
将来的には、長距離の安全通信や分散型量子計算の基盤になると考えられている。
9 数学的記述
量子もつれは、数学的には線形代数と演算子論の言葉で整理される。密度行列や部分トレースは、その記述の中心である。
9.1 密度行列
密度行列は、純粋状態と混合状態を統一的に表す形式である。複合系の全体状態だけでなく、部分系の統計的性質も扱える。
もつれの判定や定量化は、多くの場合この表現を用いて行われる。
9.2 部分トレース
部分トレースは、複合系の一部を見ないことに対応する数学的操作である。これにより、残された部分系の状態を取り出せる。
もつれ状態では、全体が純粋でも部分トレース後の状態はしばしば混合になる。
9.3 シュミット分解
シュミット分解は、二体純粋状態を標準的な形に書き直す方法である。係数の個数や大きさから、もつれの程度を読み取れる。
この分解は、二体系の解析を大幅に簡単にする。
9.4 エンタングルメント証明
エンタングルメント証明とは、与えられた状態がもつれていることを示す判定手続きである。観測データから不等式を導いたり、特定の量を評価したりして行う。
実験では、完全な状態再構成が難しい場合でも、証拠を与える簡潔な証明法が重視される。
10 解釈と哲学的含意
量子もつれは、物理理論の解釈にも深い影響を与えてきた。局所性、実在、情報の関係をどう理解するかという問いと結びついている。
10.1 局所実在論との関係
局所実在論は、遠隔の出来事が直接影響しないことと、物理量が観測前から定まっていることを併せて想定する。ベル実験は、この考え方の制約を示した。
そのため、量子もつれは、自然界の記述において局所実在論が十分でない可能性を示唆する。
10.2 観測問題
観測問題は、測定によってなぜ一つの結果が現れるのかを問うものである。もつれは、観測前の重ね合わせと観測後の確定との落差を際立たせる。
このため、もつれは測定理論や量子状態の意味づけにおいて重要な手がかりとなる。
10.3 情報理論的解釈
情報理論的な見方では、量子状態は物理的実体であると同時に、観測者が持つ情報の表現でもある。もつれは、情報が個別の部分ではなく全体に分散している状況を示す。
この視点は、量子通信や量子計算の理解を統一的に支える。
11 関連概念
量子もつれは、他の量子現象と密接に結びついている。関連概念を区別することで、性質の違いが明確になる。
11.1 量子デコヒーレンス
量子デコヒーレンスは、環境との相互作用によって量子的重ね合わせが古典的に見える状態へ移る過程である。もつれの維持を妨げる主要因の一つである。
実用上は、デコヒーレンスを抑えることが高性能な量子技術に直結する。
11.2 量子非局所性
量子非局所性は、ベル不等式の破れとして表れる、古典理論では説明できない相関の性質である。もつれと深く関係するが、完全には同義ではない。
非局所性は、理論的概念としても実験的特徴としても重要である。
11.3 量子誤り訂正
量子誤り訂正は、環境雑音から量子情報を守る方法である。もつれた冗長構造を用いて、情報の損失を検出・回復する。
これにより、大規模量子計算に必要な安定性を高められる。
11.4 量子資源理論
量子資源理論は、もつれのような有用な性質を資源として分類し、変換可能性を調べる枠組みである。許される操作の下で、何がどれだけ価値を持つかを整理する。
この考え方は、通信や計算の性能を比較するうえで有効である。
12 代表的研究者と文献
量子もつれの研究は、複数世代の物理学者によって発展してきた。理論の整理、実験の実証、応用の展開が連続して進んでいる。
12.1 主要な研究者
初期にはアインシュタイン、ポドルスキー、ローゼン、ベルが基礎的な問題提起を行った。のちに、量子情報の分野では、もつれを資源として位置づける研究者たちが重要な役割を果たした。
また、光学、原子物理、情報理論の各分野から多くの貢献があった。
12.2 主要な論文
代表的文献としては、EPR論文とベルの定理に関する論文が挙げられる。加えて、量子テレポーテーション、量子鍵配送、量子誤り訂正に関する初期論文も重要である。
これらは、もつれが基礎概念から応用技術へ広がる流れを示している。
12.3 教科書と入門書
入門書では、量子力学の基礎から量子情報までを一貫して説明する書籍が広く読まれている。教科書は、数学的厳密さと応用の見通しを両立させる役割を持つ。
初学者には、線形代数と量子力学の基本を補いながら、もつれの具体例を丁寧に扱う資料が適している。