2キュービット状態がもつれ状態であることをどのように示しますか?


18

ベル州|Φ+=12(|00+|11)エンタングル状態です。しかし、なぜそうなのでしょうか?どうすれば数学的に証明できますか?

回答:


18

定義


2キュービット状態|ψC4場合エンタングル状態であり、そこ場合のみではない 2つの1量子ビットの状態を存在|a=α|0+β|1C2および|b=γ|0+λ|1C2ように|a|b=|ψ、ここで示しテンソル積をα,β,γ,λC

だから、ベルの状態を示すために|Φ+=12(|00+|11)、我々は単に何の2つの1量子ビットの状態が存在しないことを示すために、エンタングル状態持っています|a|bように|Φ+=|a|b

証明


仮定

|Φ+=|a|b=(α|0+β|1)(γ|0+λ|1)

分配プロパティを単純に適用して取得することができます

|Φ+==(αγ|00+αλ|01+βγ|10+βλ|11)

これは1に等しくなければなりませんで、我々は、係数を見つける必要があり、αβγ及びλ、そのようにします12(|00+|11)αβγλ

12(|00+|11)=(αγ|00+αλ|01+βγ|10+βλ|11)

式の中で、以下のことを守って、我々は両方を維持したいです| 00 | 11 。したがって、αおよびγは、|の係数です00 、ゼロにすることはできません。つまり、α 0およびγ 0でなければなりません。同様に、αγ|00+αλ|01+βγ|10+βλ|11|00|11αγ|00α0γ0 λは複素数で、 | 11 ゼロ、すなわちすることはできません β 0 λ 0。したがって、すべての複素数 α β γおよび λはゼロとは異なる必要があります。βλ|11β0λ0αβγλ

しかし、ベルの状態を取得するには、私たちは取り除きたい| 01 | 10 。そのため、数値の1つ(または両方)を乗算| 01 (および| 10 表現で)αのγ | 00 + α λ | 01 + β γ | 10 + β λ | 11 、すなわちαおよびλ|Φ+|01|10|01|10αγ|00+αλ|01+βγ|10+βλ|11αλ(および、それぞれ、及びγ)、ゼロに等しくなければなりません。しかし、αβγλβγαβγλはすべてゼロとは異なる必要があることが。だから、私たちは、複雑な数字の組み合わせを見つけることができない βγおよびλようにαβγλ

12(|00+|11)=(αγ|00+αλ|01+βγ|10+βλ|11)

つまり、表現することができません2つの1キュービット状態のテンソル積としてのΦ +。したがって、| Φ +はもつれた状態です。|Φ+|Φ+

他のベルの状態、または一般に、状態がもつれていることを証明したい場合、同様の証明を実行できます。


2
美しく、わかりやすい証拠であなた自身の質問に答えました。毎日目にするものではありません。これは私に感謝しました。
ヨンガン

11

2キューディットの純粋な状態は、次の形式で記述できる場合にのみ分離可能です

|Ψ=|ψ|ϕ
任意の単一qudit状態について|ψ|ϕ。それ以外の場合は、絡まります。

純粋な状態が絡み合っているかどうかを判断するには、満足のいく状態を見つけようとする総当たりの方法を試すことができます|ψ|ϕのように、この答え。これはエレガントではなく、一般的なケースでは大変な作業です。この純粋な状態が絡み合っているかどうかを証明するより簡単な方法は、クディットの1つに対して密度行列ρを計算することです。ρがランク1の場合にのみ、状態は分離可能です。それ以外の場合は、もつれます。数学的には、あなたは、単に評価してランク条件をテストすることができますTr(ρ2)。この値が1の場合にのみ、元の状態は分離可能です。それ以外の場合、状態はもつれます。

たとえば、純粋に分離可能な状態があると想像してください|Ψ=|ψ|ϕ。上で還元密度行列Aである

ρA=TrB(|ΨΨ|)=|ψψ|,
および
Tr(ρA2)=Tr(|ψψ||ψψ|)=Tr(|ψψ|)=1.
したがって、我々は分離可能な状態を持っています。

一方、我々が取る場合|Ψ=12(|00+|11)、次いで

ρA=TrB(|ΨΨ|)=12(|00|+|11|)=12I
及び
Tr(ρA2)=14Tr(II)=12
この値は1ではないため、絡み合った状態になります。

混合状態(純粋な状態ではない)でのエンタングルメントの検出について知りたい場合、これはそれほど単純ではありませんが、2つのキュービットには分離可能性に必要かつ十分な条件があります


+1これは、ブルートフォースアルゴリズムに比べてはるかにエレガントな方法です。
Sanchayan Dutta

Bとは何ですか?これらはクディットそのものですか?AB
Dohleman

@Dohlemanはい、これらはシステムの2つの部分のラベルにすぎません。1つはA(アリス)、もう1つはB(ボブ)が保持しています。この場合、2つのクディットです。
DaftWullie
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.