量子情報科学の原理
量子物理学において、量子もつれの「一夫一婦制」とは、任意の数の当事者間で自由に共有することができないという基本的な特性を指します。
2つの量子ビットAとBが最大限にエンタングルメントされるためには、3つ目の量子ビットCとエンタングルメントされてはなりません。たとえAとBが最大限にエンタングルメントされていなくても、それらの間のエンタングルメントの度合いによって、どちらかがCとエンタングルメントできる度合いが制限されます。一般に、量子ビットの場合、一夫一婦制はコフマン・クンドゥ・ウッターズ(CKW)不等式によって特徴付けられ、次のように述べられます
。


ここで、は量子ビットとからなるサブステートの密度行列であり、は「タングル」であり、二部エンタングルメントの定量化であり、同時性の2乗に等しい。[1] [2]


一夫一婦制は、非クローン性の性質と密接に関連しており、[3] [4]純粋に量子相関の特徴であり、古典的類似物はありません。2 つの古典的なランダム変数XとYが相関していると仮定すると、 X をコピー、つまり「クローン」して、Yとまったく同じ相関を共有する任意の数のランダム変数を作成できます。代わりに、 XとY をエンタングルメントされた量子状態にすると、X をクローンすることはできず、このような「一夫多妻」の結果は不可能になります。
エンタングルメントの一夫一婦制は、ブラックホール物理学から量子暗号まで、量子力学の応用に幅広い影響を及ぼし、量子暗号では量子鍵配送のセキュリティにおいて極めて重要な役割を果たしている。[5]
証拠
2000年にコフマン、クンドゥ、ウッターズによって、三者システムにおける二者間エンタングルメントの一夫一婦制が同時発生の観点から確立されました。 [1] 2006年にオズボーンとヴェルストラエテはこの結果を多者システムにも拡張し、CKW不等式を証明しました。[2]
例
説明のために、量子ビットA、B、Cからなる3 量子ビット状態を考えます。AとB が(最大限にエンタングルされた) EPR ペアを形成すると仮定します。次のことを示します。


何らかの有効な量子状態の場合。エンタングルメントの定義により、これはC がAおよびBから完全に分離されている必要があることを意味します。

標準基底で測定すると、AとB はそれぞれ確率で状態と状態に崩壊します。したがって、次のようになります。




となるものに対して、 AとBの状態を対角基底ベクトルとで書き直すことができます。






AとB は最大限にエンタングルメントされているため、対角基底で測定すると、2 つの状態またはのいずれかに収束します。結果またはが観測される確率はゼロです。したがって、上記の式によれば、およびである必要があります。直ちに、および が導かれます。 の式を次のように書き直すことができます。












これは、元の状態がABの純粋状態とCの純粋状態の積として表すことができることを示し、これは量子ビットAとBの EPR 状態が量子ビットCとエンタングルされていないことを意味します。
参考文献
- ^ ab Coffman, Valerie; Kundu, Joydip; Wootters, William (2000). 「分散エンタングルメント」. Physical Review A. 61 ( 5): 052306. arXiv : quant-ph/9907047 . Bibcode :2000PhRvA..61e2306C. doi :10.1103/physreva.61.052306. S2CID 1781516.
- ^ ab Osborne, Tobias J.; Verstraete, Frank (2006). 「二部量子ビットエンタングルメントの一般的な一夫一婦制不等式」. Physical Review Letters . 96 (22): 220503. arXiv : quant-ph/0502176 . Bibcode :2006PhRvL..96v0503O. doi :10.1103/PhysRevLett.96.220503. hdl : 1854/LU-8588637 . PMID 16803293. S2CID 14366769.
- ^ Seevnick, Michael (2010). 「相関の一夫一婦制とエンタングルメントの一夫一婦制」.量子情報処理. 9 (2): 273–294. arXiv : 0908.1867 . doi : 10.1007/s11128-009-0161-6 .
- ^ Pawłowski, Jan Martin (2006). 「条件付き確率の類似体としての量子ダイナミクス」. Physical Review A. 74 ( 4): 042310. arXiv : quant-ph/0606022 . Bibcode :2006PhRvA..74d2310L. doi :10.1103/PhysRevA.74.042310. S2CID 56054135.
- ^ Leifer, Matthew (2010). 「ベル不等式違反の単一性のみに基づく暗号化プロトコルのセキュリティ証明」. Physical Review A. 82 ( 3): 032313. arXiv : 0907.3778 . Bibcode :2010PhRvA..82c2313P. doi :10.1103/PhysRevA.82.032313. S2CID 119078270.