[论文解读] Quantum Matching Theory (with new complexity theoretic, combinatorial and topological insights on the nature of the Quantum Entanglement)

Leonid Gurvits|ArXiv.org|Jan 7, 2002

Quantum Computing Algorithms and Architecture参考文献 18被引用 14

一句话总结

本文提出量子匹配理论，建立了秩非减小的线性正定弱可分算子与量子信息中几何拟阵交集性质之间的等价关系。证明了此类算子当且仅当存在非奇异矩阵 A 时为完全正定，且其 Choi 矩阵的量子永久具有下界：QP(CH(T)) ≥ N!|Det(A)|² > 0。

ABSTRACT

Classical matching theory can be defined in terms of matrices with nonnegative entries. The notion of Positive operator, central in Quantum Theory, is a natural generalization of matrices with nonnegative entries. Based on this point of view, we introduce a definition of perfect Quantum (operator) matching . We show that the new notion inherits many "classical" properties, but not all of them . This new notion goes somewhere beyound matroids . For separable bipartite quantum states this new notion coinsides with the full rank property of the intersection of two corresponding geometric matroids . In the classical situation, permanents are naturally associated with perfects matchings. We introduce an analog of permanents for positive operators, called Quantum Permanent and show how this generalization of the permanent is related to the Quantum Entanglement. Besides many other things, Quantum Permanents provide new rational inequalities necessary for the separability of bipartite quantum states . Using Quantum Permanents, we give deterministic poly-time algorithm to solve Hidden Matroids Intersection Problem and indicate some "classical" complexity difficulties associated with the Quantum Entanglement. Finally, we prove that the weak membership problem for the convex set of separable bipartite density matrices is NP-HARD.

研究动机与目标

• 建立一个新颖的理论框架，通过密度矩阵上的线性算子将量子纠缠与组合及拓扑结构联系起来。
• 利用几何拟阵交集刻画线性正定弱可分算子 T 的秩非减小条件。
• 确定此类算子为完全正定的条件，特别是非奇异矩阵 A 存在时的情形。
• 推导出 T 的 Choi 矩阵的量子永久的下界，将其与矩阵 A 的行列式联系起来。
• 将复杂性理论、组合学与拓扑学的洞见统一于量子纠缠的结构之中。

提出的方法

• 通过一族秩一矩阵 {xiyi†} 定义线性正定弱可分算子 T: M(N) → M(N)，使得对所有 X ⪰ 0，有 Im(T(X)) = Im(∑i xi yi† X yi xi†)。
• 建立 T 秩非减小与两个几何拟阵 MI(X,Y) 交集的秩等于 N 的等价关系。
• 引入非奇异矩阵 A，使得对所有 X ⪰ 0，有 Im(AXA†) ⊆ Im(T(X))，将算子像的包含关系与矩阵结构联系起来。
• 对于完全正定的 T，证明 T′(X) = T(X) − AXA† 为完全正定当且仅当这样的 A 存在。
• 利用量子永久与行列式性质，推导出不等式 QP(CH(T)) ≥ N!|Det(A)|² > 0，其中 CH(T) 为 T 的 Choi 矩阵。
• 运用线性代数、拟阵理论与量子信息工具，统一关于纠缠与算子正定性的结构洞见。

实验结果

研究问题

• RQ1 在何种条件下，线性正定弱可分算子 T: M(N) → M(N) 为秩非减小？
• RQ2 两个几何拟阵 MI(X,Y) 的交集的秩如何与 T 的结构相关？
• RQ3 非奇异矩阵 A 的存在性在何种情况下可保证 T(X) − AXA† 为完全正定？
• RQ4 如何以 det(A) 表示 Choi 矩阵 CH(T) 的量子永久的定量下界？
• RQ5 拟阵理论中的组合与拓扑结构如何反映量子纠缠的本质？

主要发现

• 线性正定弱可分算子 T 秩非减小当且仅当两个几何拟阵 MI(X,Y) 交集的秩等于 N。
• 存在非奇异矩阵 A 使得对所有 X ⪰ 0 有 Im(AXA†) ⊆ Im(T(X))，当且仅当 T 为秩非减小。
• 若 T 为完全正定，则 T(X) − AXA† 为完全正定当且仅当存在这样的非奇异 A。
• T 的 Choi 矩阵的量子永久满足 QP(CH(T)) ≥ N!|Det(A)|² > 0，提供了非平凡的下界。
• 秩非减小行为与拟阵交集秩之间的等价性，建立了量子算子理论与组合学之间深刻的联系。
• 结果通过算子理论对偶性，统一了复杂性理论、组合学与拓扑学对量子纠缠的视角。