回答:
定義
2キュービット状態場合エンタングル状態であり、そこ場合のみではない 2つの1量子ビットの状態を存在およびように、ここで示しテンソル積をと。
だから、ベルの状態を示すために、我々は単に何の2つの1量子ビットの状態が存在しないことを示すために、エンタングル状態持っていますとように。
証明
仮定
分配プロパティを単純に適用して取得することができます
これは1に等しくなければなりませんで、我々は、係数を見つける必要があり、α、β、γ及びλ、そのようにします
式の中で、以下のことを守って、我々は両方を維持したいです| 00 ⟩と| 11 ⟩。したがって、αおよびγは、|の係数です。00 ⟩、ゼロにすることはできません。つまり、α ≠ 0およびγ ≠ 0でなければなりません。同様に、と λは複素数で、 | 11 ⟩ゼロ、すなわちすることはできません β ≠ 0と λ ≠ 0。したがって、すべての複素数 α、 β、 γおよび λはゼロとは異なる必要があります。
しかし、ベルの状態を取得するには、私たちは取り除きたい| 01 ⟩と| 10 ⟩。そのため、数値の1つ(または両方)を乗算| 01 ⟩(および| 10 ⟩表現で)αのγ | 00 ⟩ + α λ | 01 ⟩ + β γ | 10 ⟩ + β λ | 11 ⟩、すなわちαおよびλ(および、それぞれ、及びγ)、ゼロに等しくなければなりません。しかし、α、β、γ、λはすべてゼロとは異なる必要があることが。だから、私たちは、複雑な数字の組み合わせを見つけることができない 、β、γおよびλように
つまり、表現することができません2つの1キュービット状態のテンソル積としてのΦ + ⟩。したがって、| Φ + ⟩はもつれた状態です。
他のベルの状態、または一般に、状態がもつれていることを証明したい場合、同様の証明を実行できます。
2キューディットの純粋な状態は、次の形式で記述できる場合にのみ分離可能です
純粋な状態が絡み合っているかどうかを判断するには、満足のいく状態を見つけようとする総当たりの方法を試すことができますとのように、この答え。これはエレガントではなく、一般的なケースでは大変な作業です。この純粋な状態が絡み合っているかどうかを証明するより簡単な方法は、クディットの1つに対して密度行列を計算することです。がランク1の場合にのみ、状態は分離可能です。それ以外の場合は、もつれます。数学的には、あなたは、単に評価してランク条件をテストすることができます。この値が1の場合にのみ、元の状態は分離可能です。それ以外の場合、状態はもつれます。
たとえば、純粋に分離可能な状態があると想像してください。上で還元密度行列である
一方、我々が取る場合、次いで
混合状態(純粋な状態ではない)でのエンタングルメントの検出について知りたい場合、これはそれほど単純ではありませんが、2つのキュービットには分離可能性に必要かつ十分な条件があります。