[论文解读] Purification of two-qubit mixed states

E. Jané|ArXiv.org|May 17, 2002

Quantum Computing Algorithms and Architecture被引用 7

一句话总结

本文確立了利用局部操作與經典通訊（LOCC）將兩量子比特混合態純化為純最大糾纏態的必要且充分條件。論文證明，此類純化可行當且僅當該態的範圍無法由可分態張成，並提出一個具有封閉表達式的最佳協議，其最大成功機率依賴於輸入態的 Schmidt係數。

ABSTRACT

We find the necessary and sufficient condition under which two two-qubit mixed states can be purified into a pure maximally entangled state by local operations and classical communication. The optimal protocol for such transformation is obtained. This result leads to a necessary and sufficient condition for the exact purification of $n$ copies of a two-qubit state.

研究动机与目标

• 確定兩量子比特混合態透過 LOCC 轉化為純最大糾纏態的條件。
• 推導此類純化之最佳 LOCC 協議，以最大化成功機率。
• 建立將 n 組兩量子比特混合態精確純化為純糾纏態之必要且充分條件。
• 釐清有限組數純化與兩量子比特系統中漸近糾纏態提純之間的差異。

提出的方法

• 分析首先識別純化的一個必要條件：混合態的範圍不得由可分態張成。
• 作者利用態的範圍結構與局部算符的作用，推導出可能最終純糾纏態的約束條件。
• 他們構建了一個協議，包含對兩量子比特及其輔助系統的局部操作，並使用特定 Bell 态的投影算符以實現轉換。
• 最佳成功機率推導為 $ P = 2pq \min\{\alpha^2\beta'^2, \alpha'^2\beta^2\} $，其中 $ \alpha, \beta, \alpha', \beta' $ 為輸入態的 Schmidt 係數。
• 該方法利用僅當其範圍包含糾纏子空間的態才可被純化的事實，並以純態轉換協議的最優性作為基本構建模塊。
• 針對 n 組態的證明依賴於範圍在張量積下的不變性，並顯示當範圍無法由可分態張成時，需滿足 $ n \geq 2 $。

实验结果

研究问题

• RQ1 在何種條件下，可透過僅使用局部操作與經典通訊，將兩組兩量子比特混合態轉化為純最大糾纏態？
• RQ2 此類純化協議中可達成的最大成功機率為何？
• RQ3 對於多少組數 $ n $ 的兩量子比特混合態，可實現轉化為純糾纏態的精確純化？
• RQ4 為何某些糾纏兩量子比特態即使在漸近極限下具有非零的可提純糾纏度，卻在有限組數下無法被純化？

主要发现

• 兩組兩量子比特混合態可透過 LOCC 純化為純最大糾纏態，當且僅當它們的聯合範圍無法由任何可分態張成。
• 此類兩態純化的最佳成功機率為 $ P = 2pq \min\{\alpha^2\beta'^2, \alpha'^2\beta^2\} $，其中 $ \alpha, \beta, \alpha', \beta' $ 為輸入態的 Schmidt 係數。
• 對於單一兩量子比特混合態的 $ n $ 組，僅當 $ n \geq 2 $ 且態的範圍無法由可分態張成時，才可實現轉化為純糾纏態的純化。
• 結果顯示，僅有少數糾纏兩量子比特態可在有限組數下被精確純化，儘管所有此類態在漸近區域均具有非零的可提純糾纏度。
• 本文明確區分了有限組數純化（精確、機率性）與漸近提純（近似、高保真度），澄清了關於糾纏態濃縮極限的常見誤解。