[论文解读] Requirements for compatibility between local and multipartite quantum states

Sergey Bravyi|arXiv (Cornell University)|Jan 6, 2003

Quantum Information and Cryptography被引用 11

一句话总结

本文建立了在 qubit 系统和 qubit-qudit 系統中，一組局部密度矩陣（即平均場態）與至少一個多體純態或混合態相容的必要與充分條件。通過幾何構造與參數化密度矩陣，推導出局部密度矩陣最低特徵值的明確約束，證明相容性由特徵值差異與參數化糾纏態所決定的不等式所確定，並對兩量子比特與三量子比特系統進行完整特徵分析，使用顯式態構造。

ABSTRACT

We consider a partial trace transformation which maps a multipartite quantum state to collection of local density matrices. We call this collection a mean field state. The necessary and sufficient conditions under which a mean field state is compatible with at least one multipartite pure state are found for the system of $n$ qubits and for the tripartite system with the Hilbert space of dimension 2x2x4. Compatibility of mean field states with more general classes of multipartite quantum states is discussed.

研究动机与目标

• 確定一組局部密度矩陣（即平均場態）能作為單一多體純量子態的部分跡的必要與充分條件。
• 將此相容性問題擴展至具有指定譜的混合態，特別是在具有固定特徵值的雙體系統中。
• 提供多體量子態的顯式構造——特別是在低維系統（如量子比特與 qubit-qudit 系統）中——以實現給定的局部密度矩陣。
• 利用特徵值差異與糾纏參數所定義的幾何區域，特徵化所有相容的平均場態集合。
• 透過正交基構造與參數化密度矩陣，解決具有固定譜的三量子比特與兩量子比特系統的相容性問題。

提出的方法

• 透過特徵值不等式推導相容性條件：對於 n 個量子比特，當且僅當每個量子比特的密度矩陣的最低特徵值不超過所有其他量子比特最低特徵值之和時，平均場態與純態相容。
• 使用幾何方法將參數空間（例如 α, β, φ）映射至 (λᴬ, λᴮ) 平面中的區域，顯示不同參數範圍對應於相容區域內的三個不同三角形區域（OCD, OAB, OBC）。
• 構造參數化為 α 和 β 的糾纏兩量子比特態的顯式正交基（|Ψ₁⟩, |Ψ₂⟩, |Ψ₃⟩, |Ψ₄⟩），實現具有指定譜與約化態的密度矩陣的直接構造。
• 引入含相位依賴的修正基（|~Ψ₁⟩, |~Ψ₂⟩, |~Ψ₃⟩, |~Ψ₄⟩），引入角度 φ 以覆蓋剩餘區域（三角形 OBC），從而實現相容區域的完整覆蓋。
• 透過部分跡計算約化密度矩陣，推導出最低特徵值 λᴬ 和 λᴮ 的閉式表達式，其以特徵值差異（λ₁−λ₄, λ₂−λ₃）與參數 α, β, φ 表示。
• 證明具有固定譜 λ 的兩量子比特系統的整個相容區域可由三種不同家族的密度矩陣覆蓋，每種家族對應於 (λᴬ, λᴮ) 平面中的一個三角形子區域。

实验结果

研究问题

• RQ1 多體量子系統的局部密度矩陣必須滿足何種約束，才能與至少一個純態相容？
• RQ2 如何特徵化與給定混合多體態譜相容的所有平均場態集合？
• RQ3 如何在低維系統（如量子比特與 qubit-qudit 系統）中，顯式構造多體量子態以實現任意相容的局部密度矩陣？
• RQ4 特徵值差異與糾纏參數（α, β, φ）如何決定兩量子比特系統中相容區域的邊界？
• RQ5 具有固定譜的兩量子比特系統的整個相容區域是否可由有限多個參數化家族的密度矩陣覆蓋？

主要发现

• 對於 n 個量子比特，平均場態 (ρ¹,…,ρⁿ) 與純態相容，當且僅當對每個 i，最低特徵值 λ⁽ⁱ⁾ 滿足 λ⁽ⁱ⁾ ≤ ∑ⱼ≠ⁱ λ⁽ʲ⁾，此結果將 Schmidt 分解條件推廣至 n ≥ 3 的情形。
• 在具有固定譜 λ = (λ₁, λ₂, λ₃, λ₄) 的兩量子比特情形下，(λᴬ, λᴮ) 平面中的相容區域為一個凸多邊形，由三個三角形組成：OCD、OAB 和 OBC，每個三角形對應於一個不同的參數化密度矩陣家族。
• 約化密度矩陣的最低特徵值由顯式公式給出：對於某一家族，λᴬ = ½{1 − |α(λ₁−λ₄) − β(λ₂−λ₃)|}，λᴮ = ½{1 − |α(λ₁−λ₄) + β(λ₂−λ₃)|}，其他兩家族亦有類似表達式。
• 第一家族（OCD）對應的參數範圍為 0 ≤ α ≤ 1 與 0 ≤ β ≤ α；第二家族（OAB）覆蓋 0 ≤ β ≤ 1 與 (λ₂−λ₄)/(λ₁−λ₃)β ≤ α ≤ β，假設 λ₁−λ₃ ≥ λ₂−λ₄。
• 第三家族引入相位 φ，透過參數化 |~Ψᵢ⟩ 覆蓋三角形 OBC，其中 λᴬ = ½(1 − |α|√(λ₁₂² + λ₃₄² + 2λ₁₂λ₃₄cosφ))，λᴮ = ½[1 − |α|(λ₁+λ₂−λ₃−λ₄)]，其中 λ₁₂ = λ₁−λ₂，λ₃₄ = λ₃−λ₄。
• 具有固定譜的兩量子比特系統的整個相容區域可由這三大家族完全覆蓋，證明集合 M(λ) 可由這三組參數區域的並集完全特徵化。