ولاية ويرنر

حالة فيرنر [ 1 ] هيد2{\displaystyle d^{2}}×د2{\displaystyle d^{2}}مصفوفة كثافة الحالة الكمومية ثنائية الأجزاء ذات الأبعاد n، والتي تظل ثابتة تحت جميع المؤثرات الوحدوية من الشكليويو{\displaystyle U\otimes U}أي أنها حالة كمومية ثنائية الأجزاءρأب{\displaystyle \rho _{AB}}ذلك يرضي

ρأب=(يويو)ρأب(يويو){\displaystyle \rho _{AB}=(U\otimes U)\rho _{AB}(U^{\dagger }\otimes U^{\dagger })}

لجميع المؤثرات الوحدوية U التي تعمل على فضاء هيلبرت ذي الأبعاد d . وقد طُوّرت هذه الحالات لأول مرة بواسطة راينهارد ف. فيرنر في عام 1989.

التعريف العام

كل ولاية ويرنردبليوأب(ص،د){\displaystyle W_{AB}^{(p,d)}}هو مزيج من المسقطات على الفضاءات الفرعية المتناظرة وغير المتناظرة، مع الوزن النسبيص[0،1]{\displaystyle p\in [0,1]}باعتبارها المعلمة الرئيسية التي تحدد الحالة، بالإضافة إلى البعدد2{\displaystyle d\geq 2}:

دبليوأب(ص،د)=ص2د(د+1)Pأبرمز+(1-ص)2د(د-1)Pأبمثل،{\displaystyle W_{AB}^{(p,d)}=p{\frac {2}{d(d+1)}}P_{AB}^{\text{sym}}+(1-p){\frac {2}{d(d-1)}}P_{AB}^{\text{as}},}

أين

Pأبرمز=12(أناأب+Fأب)،{\displaystyle P_{AB}^{\text{sym}}={\frac {1}{2}}(I_{AB}+F_{AB}),}
Pأبمثل=12(أناأب-Fأب)،{\displaystyle P_{AB}^{\text{as}}={\frac {1}{2}}(I_{AB}-F_{AB}),}

أجهزة العرض و

Fأب=أناج|أناج|أ|جأنا|ب{\displaystyle F_{AB}=\sum _{ij}|i\rangle \langle j|_{A}\otimes |j\rangle \langle i|_{B}}

هو عامل التبديل أو القلب الذي يبدل النظامين الفرعيين A و B.

تكون حالات فيرنر قابلة للفصل عندما يكون p1/2 ، ومتشابكة عندما يكون p < 1/2 . جميع حالات فيرنر المتشابكة تنتهك معيار قابلية الفصل PPT ، ولكن عندما يكون d ≥ 3 ، لا تنتهك أي حالة فيرنر معيار الاختزال الأضعف . يمكن تمثيل حالات فيرنر بطرق مختلفة. إحدى طرق كتابتها هي:

ρأب=1د2-دα(أناأب-αFأب)،{\displaystyle \rho _{AB}={\frac {1}{d^{2}-d\alpha }}(I_{AB}-\alpha F_{AB}),}

حيث تتراوح قيمة المعامل الجديد α بين -1 و1، ويرتبط بـ p كما يلي:

α=((1-2ص)د+1)/(1-2ص+د).{\displaystyle \alpha =((1-2p)d+1)/(1-2p+d).}

مثال على كيوبتين

حالات فيرنر ثنائية الكيوبت، المقابلة لـد=2{\displaystyle d=2}يمكن كتابة ما سبق بشكل صريح في شكل مصفوفة كما يلي:دبليوأب(ص،2)=ص6(2000011001100002)+(1-ص)2(000001-100-1100000)=(ص300003-2ص6-3+4ص600-3+4ص63-2ص60000ص3).{\displaystyle W_{AB}^{(p,2)}={\frac {p}{6}}{\begin{pmatrix}2&0&0&0\\0&1&1&0\\0&1&1&0\\0&0&0&2\end{pmatrix}}+{\frac {(1-p)}{2}}{\begin{pmatrix}0&0&0&0\\0&1&-1&0\\0&-1&1&0\\0&0&0&0\end{pmatrix}}={\begin{pmatrix}{\frac {p}{3}}&0&0&0\\0&{\frac {3-2p}{6}}&{\frac {-3+4p}{6}}&0\\0&{\frac {-3+4p}{6}}&{\frac {3-2p}{6}}&0\\0&0&0&{\frac {p}{3}}\end{pmatrix}}.}وبالمثل، يمكن كتابة هذه على شكل توليفة محدبة من الحالة المختلطة تمامًا مع (الإسقاط على) حالة بيل :دبليوأب(λ،2)=λ|Ψ-Ψ-|+1-λ4أناأب،|Ψ-12(|01-|10)،{\displaystyle W_{AB}^{(\lambda ,2)}=\lambda |\Psi ^{-}\rangle \!\langle \Psi ^{-}|+{\frac {1-\lambda }{4}}I_{AB},\qquad |\Psi ^{-}\rangle \equiv {\frac {1}{\sqrt {2}}}(|01\rangle -|10\rangle ),}أينλ[-1/3،1]{\displaystyle \lambda \in [-1/3,1]}(أو، الاقتصار على القيم الإيجابية،λ[0،1]{\displaystyle \lambda \in [0,1]}) مرتبط بـص{\displaystyle p}بواسطةλ=(3-4ص)/3{\displaystyle \lambda =(3-4p)/3}ثم، تكون حالات فيرنر ثنائية الكيوبت قابلة للفصل لـλ1/3{\displaystyle \lambda \leq 1/3}ومتشابكة لـλ>1/3{\displaystyle \lambda >1/3}.

قنوات فيرنر-هوليفو

قناة فيرنر-هوليفو الكموميةدبليوأب(ص،د){\displaystyle {\mathcal {W}}_{A\rightarrow B}^{\left(p,d\right)}}مع المعلماتص[0،1]{\displaystyle p\in \left[0,1\right]}وعدد صحيحد2{\displaystyle d\geq 2} يُعرَّف على النحو التالي: [ 2 ] [ 3 ] [ 4 ]

دبليوأب(ص،د)=صدبليوأبرمز+(1-ص)دبليوأبمثل،{\displaystyle {\mathcal {W}}_{A\rightarrow B}^{\left(p,d\right)}=p{\mathcal {W}}_{A\rightarrow B}^{\text{sym}}+\left(1-p\right){\mathcal {W}}_{A\rightarrow B}^{\text{as}},}

حيث القنوات الكموميةدبليوأبرمز{\displaystyle {\mathcal {W}}_{A\rightarrow B}^{\text{sym}}}و دبليوأبمثل{\displaystyle {\mathcal {W}}_{A\rightarrow B}^{\text{as}}}تُعرَّف بأنها

دبليوأبرمز(Xأ)=1د+1[Tr[Xأ]أناب+بطاقة تعريفأب(تيأ(Xأ))]،{\displaystyle {\mathcal {W}}_{A\rightarrow B}^{\text{sym}}(X_{A})={\frac {1}{d+1}}\left[\operatorname {Tr} [X_{A}]I_{B}+\operatorname {id} _{A\rightarrow B}(T_{A}(X_{A}))\right],}
دبليوأبمثل(Xأ)=1د-1[Tr[Xأ]أناب-بطاقة تعريفأب(تيأ(Xأ))]،{\displaystyle {\mathcal {W}}_{A\rightarrow B}^{\text{as}}(X_{A})={\frac {1}{d-1}}\left[\operatorname {Tr} [X_{A}]I_{B}-\operatorname {id} _{A\rightarrow B}(T_{A}(X_{A}))\right],}

وتيأ{\displaystyle T_{A}}يشير إلى خريطة النقل الجزئي على النظام A. لاحظ أن حالة تشوي لقناة فيرنر-هوليفودبليوأبص،د{\displaystyle {\mathcal {W}}_{A\rightarrow B}^{p,d}} هي ولاية ويرنر:

دبليوأب(ص،د)(ΦRأ)=ص2د(د+1)PRبرمز+(1-ص)2د(د-1)PRبمثل،{\displaystyle {\mathcal {W}}_{A\rightarrow B}^{\left(p,d\right)}(\Phi _{RA})=p{\frac {2}{d\left(d+1\right)}}P_{RB}^{\text{sym}}+\left(1-p\right){\frac {2}{d\left(d-1\right)}}P_{RB}^{\text{as}},}

أينΦRأ=1دأنا،ج|أناج|R|أناج|أ{\displaystyle \Phi _{RA}={\frac {1}{d}}\sum _{i,j}|i\rangle \langle j|_{R}\otimes |i\rangle \langle j|_{A}}.

دول فيرنر متعددة الأطراف

يمكن تعميم حالات فيرنر لتشمل الحالة متعددة الأطراف. [ 5 ] حالة فيرنر ذات N طرفًا هي حالة ثابتة تحتيويويو{\displaystyle U\otimes U\otimes \cdots \otimes U}لأي نظام وحدوي U على نظام فرعي واحد. لم تعد حالة فيرنر موصوفة بمعامل واحد، بل بـ N ! - 1 معامل، وهي عبارة عن توليفة خطية من N ! تبديل مختلف على N نظام.

مراجع

  1. راينهارد ف. فيرنر (1989). "الحالات الكمومية ذات ارتباطات أينشتاين-بودولسكي-روزن التي تسمح بنموذج المتغيرات الخفية". مجلة Physical Review A. 40 ( 8): 4277–4281 . Bibcode : 1989PhRvA..40.4277W . doi : 10.1103/PhysRevA.40.4277 . PMID 9902666 . 
  2. راينهارد ف. فيرنر وألكسندر س. هوليفو (2002). "مثال مضاد لفرضية الجمعية لنقاء خرج القنوات الكمومية". مجلة الفيزياء الرياضية . 43 (9): 4353-4357 . arXiv : quant-ph/0203003 . Bibcode : 2002JMP....43.4353W . doi : 10.1063/1.1498491 . S2CID 42832247 . 
  3. فانز، مارك؛ هيغمان، ب.؛ موسوني، ميلان؛ فانبيتغيم، د. (2004). "خاصية جمع الحد الأدنى لمخرجات الإنتروبيا لفئة من القنوات المتغيرة". غير منشور . arXiv : quant-ph/0410195 . Bibcode : 2004quant.ph.10195F .
  4. ديبي ليونغ وويليام ماثيوز (2015). "حول قوة الرموز الحافظة لـ PPT وغير المُشيرة". معاملات IEEE في نظرية المعلومات . 61 (8): 4486-4499 . arXiv : 1406.7142 . doi : 10.1109/TIT.2015.2439953 . S2CID 14083225 . 
  5. إيجلينج، تيلو؛ فيرنر، راينهارد (2001). "خصائص قابلية الفصل للحالات الثلاثية ذات التناظر UxUxU". مجلة Physical Review A. 63 042111. arXiv : quant -ph/0010096 . doi : 10.1103/PhysRevA.63.042111 . S2CID 119350302 .