[论文解读] Recovery of Sparse Matrices via Matrix Sketching

Thakshila Wimalajeewa, Yonina C. Eldar+1 more|arXiv (Cornell University)|Nov 11, 2013

Sparse and Compressive Sensing Techniques参考文献 18被引用 37

一句话总结

本文推导出两模式中三个全同玻色子纯态的规范形式，将其纠缠结构分类为类似于 qubit 的 GHZ 型与 W 型。利用该形式，计算了纠缠度量（concurrence 𝒞 和三体纠缠 𝜏）以及自旋压缩参数 𝜉，表明 𝜉 不能作为三玻色子系统的纠缠度量，而这一点在两体系统中是成立的。

ABSTRACT

In this paper, we consider the problem of recovering an unknown sparse matrix X from the matrix sketch Y = AX B^T. The dimension of Y is less than that of X, and A and B are known matrices. This problem can be solved using standard compressive sensing (CS) theory after converting it to vector form using the Kronecker operation. In this case, the measurement matrix assumes a Kronecker product structure. However, as the matrix dimension increases the associated computational complexity makes its use prohibitive. We extend two algorithms, fast iterative shrinkage threshold algorithm (FISTA) and orthogonal matching pursuit (OMP) to solve this problem in matrix form without employing the Kronecker product. While both FISTA and OMP with matrix inputs are shown to be equivalent in performance to their vector counterparts with the Kronecker product, solving them in matrix form is shown to be computationally more efficient. We show that the computational gain achieved by FISTA with matrix inputs over its vector form is more significant compared to that achieved by OMP.

研究动机与目标

• 建立两模式中三个全同玻色子纯态的规范形式，以实现纠缠结构的系统分类。
• 将此类态的纠缠结构分类为类似于三量子比特系统的 GHZ 型与 W 型。
• 计算并分析关键纠缠度量——concurrence 𝒞 与三体纠缠度量 𝜏。
• 通过自旋压缩参数 𝜉 研究自旋压缩特性，并评估其作为纠缠度量的有效性。

提出的方法

• 推导两模式中三玻色子态的广义 Schmidt 分解，将态表示为具有特定系数的基态叠加。
• 应用局部幺正变换以消除某些系数，将态简化为参数最少的标准形式。
• 利用代数基本定理证明系数消除方程的解的存在性，确保规范形式始终可实现。
• 直接从态的密度矩阵与自旋算符计算自旋压缩参数 𝜉。
• 分析成对纠缠（通过 𝒞）与自旋压缩（通过 𝜉）之间的关系，比较不同纠缠类型下的行为。
• 基于规范形式的结构及剩余参数的取值，对纠缠类型（GHZ 与 W）进行分类。

实验结果

研究问题

• RQ1 任意两模式中三个全同玻色子纯态的规范形式是什么？
• RQ2 此类态的纠缠结构如何分类为类似于三量子比特系统的 GHZ 型与 W 型？
• RQ3 这些态的 concurrence 𝒞 与三体纠缠度量 𝜏 的值是多少？它们在不同纠缠类型下如何变化？
• RQ4 自旋压缩参数 𝜉 是否可作为三玻色子系统中可靠的纠缠度量？其与成对纠缠相比有何表现？

主要发现

• 推导出两模式中三玻色子态的规范形式，表明任意此类纯态均可通过局部幺正变换转化为仅含五个独立参数的标准形式。
• 纠缠被分类为两类：GHZ 型（最大纠缠，对称）与 W 型（对粒子丢失更具鲁棒性），类似于三量子比特系统。
• 发现自旋压缩参数 𝜉 在 W 型态下达到最大值（最显著的反压缩），表明其不能作为该系统中的一般纠缠度量。
• 显式计算了 concurrence 𝒞 与三体纠缠度量 𝜏，显示其在 GHZ 与 W 态之间表现出不同行为，其中 𝜏 仅在真正三体纠缠态中非零。
• 成对纠缠与自旋压缩之间不存在定量关系；两者反映多体关联的不同方面。
• 规范形式存在性的证明依赖于从系数消除导出的多项式方程的求解，其解的存在性由代数基本定理保证。