量子もつれ

量子もつれ（りょうしもつれ、英: quantum entanglement）は、一般的に「量子多体系において現れる、古典確率では説明できない相関やそれに関わる現象」を漠然と指す用語である。しかし、量子情報理論においては、より限定的に「LOCC（局所量子操作及び古典通信）で増加しない多体間の相関」を表す用語である。後者は前者のある側面を緻密化したものであるが、捨象された部分も少なくない。例えば典型的な非局所効果であるベルの不等式の破れなどは後者の枠組みにはなじまない。 どちらの意味においても、複合系の状態がそれを構成する個々の部分系の量子状態の積として表せないときにのみ、量子もつれは存在する（逆は必ずしも真ではない）。この複合系の状態をエンタングル状態という。量子もつれは、量子絡み合い（りょうしからみあい）、量子エンタングルメントまたは単にエンタングルメントともよばれる。 部分系Aと部分系Bから構成される複合系を考える。部分系Aの純粋状態を | ϕ A ⟩ {\displaystyle |\phi _{A}\rangle } 、部分系Bの純粋状態を | ϕ B ⟩ {\displaystyle |\phi _{B}\rangle } と表すことにする。どのような | ϕ A ⟩ {\displaystyle |\phi _{A}\rangle } 、 | ϕ B ⟩ {\displaystyle |\phi _{B}\rangle } を用いても複合系の純粋状態 | ψ ⟩ {\displaystyle |\psi \rangle } を | ψ ⟩ = | ϕ A ⟩ ⊗ | ϕ B ⟩ {\displaystyle |\psi \rangle =|\phi _{A}\rangle \otimes |\phi _{B}\rangle } の形で表すことができないとき、 | ψ ⟩ {\displaystyle |\psi \rangle } はエンタングル状態であるという。ここで、 ⊗ {\displaystyle \otimes } はテンソル積である。 純粋状態の場合と同様に、部分系Aと部分系Bから構成される複合系を考える。A、Bの混合状態を密度行列 ρ ^ A {\displaystyle {\hat {\rho }}_{A}} 、 ρ ^ B {\displaystyle {\hat {\rho }}_{B}} で表すことにする。複合系の混合状態 ρ ^ A B {\displaystyle {\hat {\rho }}_{AB}} が、 ρ ^ A B = ∑ i p i ρ ^ A ( i ) ⊗ ρ ^ B ( i ) {\displaystyle {\hat {\rho }}_{AB}=\sum _{i}p_{i}{\hat {\rho }}_{A}^{(i)}\otimes {\hat {\rho }}_{B}^{(i)}} の形で表すことができないとき、混合状態 ρ ^ A B {\displaystyle {\hat {\rho }}_{AB}} はエンタングル状態であるという。 説明のため、スピン1/2をもつ2つの粒子A、Bから成る系を考える。粒子A、Bはある時刻 t 0 {\displaystyle t_{0}} から t 1 {\displaystyle t_{1}} の間に相互作用し、時刻 t 1 {\displaystyle t_{1}} に系全体の状態が | ψ ⟩ = | ↑ A ⟩ | ↓ B ⟩ + | ↓ A ⟩ | ↑ B ⟩ 2 {\displaystyle |\psi \rangle ={\frac {|\uparrow _{A}\rangle |\downarrow _{B}\rangle +|\downarrow _{A}\rangle |\uparrow _{B}\rangle }{\sqrt {2}}}} になったとする。ただし、 | ↑ ⟩ {\displaystyle |\uparrow \rangle } 、 | ↓ ⟩ {\displaystyle |\downarrow \rangle } はスピンのz成分 s z {\displaystyle s_{z}} の固有値1/2、-1/2に属する固有ベクトルである。時刻 t 1 {\displaystyle t_{1}} 以降は2つの粒子が離れていって相互作用が無くなり、以降は系全体の状態は | ψ ⟩ {\displaystyle |\psi \rangle } のままであったとする 。 | ψ ⟩ {\displaystyle |\psi \rangle } は、エンタングル状態であることが容易に証明できる。すなわち、時刻 t 1 {\displaystyle t_{1}} 以降の系全体の状態は、粒子Aの状態と粒子Bの状態とのテンソル積として表すことができない。 t 1 < t 2 {\displaystyle t_{1}<t_{2}} となる時刻 t 2 {\displaystyle t_{2}} に、粒子Aのスピンのz成分を測定するとしよう。量子力学が教えるところによれば、測定結果として1/2と-1/2がそれぞれ確率1/2で得られる。そして、測定結果が1/2であれば系の状態は | ↑ A ⟩ | ↓ B ⟩ {\displaystyle |\uparrow _{A}\rangle |\downarrow _{B}\rangle } に収縮し、測定結果が-1/2であれば系の状態は | ↓ A ⟩ | ↑ B ⟩ {\displaystyle |\downarrow _{A}\rangle |\uparrow _{B}\rangle } に収縮する。したがって、粒子Aに対する測定を行う以前には粒子Bのスピンz成分は不確定であるが、粒子Aのスピンz成分を測定したとき、同時に、離れた位置にある、粒子Bのスピンz成分は100%の確率で粒子Aの測定結果と逆向きの値になると判明する。 粒子A、Bは時刻 t 2 {\displaystyle t_{2}} には離れた場所にあるのだから、粒子Aに対する測定が瞬時に粒子Bの測定結果に影響を与えるということを、2粒子間の相互作用に帰することはできない。むしろこの結果は状態 | ψ ⟩ {\displaystyle |\psi \rangle } が持つ性質として理解されるべきである。このようなエンタングル状態が持つ非局所的な相関という性質が、すなわち量子もつれである。 量子もつれを利用すると様々な量子情報的なタスクを行うことができる。代表例は量子テレポーテーションである。量子テレポーテーションは、量子もつれと（2ビットの）古典情報の通信を用いて離れた場所に（1量子ビットの）量子状態を転送するタスクである。逆に、スーパーデンス・コーディングは量子もつれと1量子ビットの通信を用いて2ビットの古典情報を離れた場所に転送するタスクである。 イギリスのグラスゴー大学の研究チームが画像に記録するのに成功した。 これは、量子コンピューターなどの研究・開発を発展させるのに役に立つとされている。 自発的パラメトリック下方変換によって、光子をもつれ状態にしビームスプリッター で光子対を分割し、光子Aの通路には通過するとランダムに位相が決まるフィルター（0°、45°、90°、135°）を設置し、光子2はフィルターを通過させずに進ませる。そして両方が同じタイミングで来たときに超高感度カメラにより記録に成功した。 ^ より正確には、相互作用表示で見て不変。すなわち、相互作用が切れたのち、 全系のハミルトニアンは粒子A及びBのハミルトニアン H A {\displaystyle H_{A}} 、 H B {\displaystyle H_{B}} の和になっているので、 e i ( t − t 1 ) H A {\displaystyle e^{i(t-t_{1})H_{A}}} 及び e i ( t − t 1 ) H B {\displaystyle e^{i(t-t_{1})H_{B}}} で回転している座標系で見れば状態は変わらない。 ^ 「同時に」という概念は、特殊相対性理論では注意が必要である。ある観察者 a にとって事象 E1 と事象 E2 が同時に起こったとしても、異なる慣性系にいる観察者 b にとっては同時ではない。しかしながら、特殊相対性理論においても、2つの時空点の間が空間的に離れているか時間的に離れているかという概念は異なる慣性系から見ても変わらない。前者では直接の因果関係はありえず、後者では因果関係がありうる。よって、ここでは「同時に離れた」と書くのではなく、「空間的に離れた位置にある」と書いておけば特殊相対論の枠内でも問題がないが、簡便のため本文では「同時」という表現を使った。 ^ “「量子もつれ」の瞬間を世界で初めて画像に記録、英研究チームが成功”. wired. 2019年7月17日閲覧。 量子力学 アインシュタイン＝ポドルスキー＝ローゼンのパラドックス 量子コンピュータ 量子テレポーテーション 非局所性