[论文解读] Semidefinite programs for completely bounded norms

John Watrous|ArXiv.org|Jan 29, 2009

Advanced Optimization Algorithms Research参考文献 29被引用 38

一句话总结

本文展示了通过半定规划（SDP）可以高效计算超算符的完全有界迹范数和谱范数，提供了多项式时间算法并利用对偶性进行验证。关键贡献是提出了一种可证明高效且可实现的方法来计算这些范数，这些范数在量子信息理论中对于量化通道可区分性和纠错能力至关重要。

ABSTRACT

The completely bounded trace and spectral norms in finite dimensions are shown to be expressible by semidefinite programs. This provides an efficient method by which these norms may be both calculated and verified, and gives alternate proofs of some known facts about them.

研究动机与目标

• 提供一种可证明高效的超算符完全有界迹范数和谱范数的计算方法，这些范数在量子信息理论中至关重要。
• 解决以往方法缺乏高效且可验证算法的问题，因为先前的方法是迭代的且缺乏收敛性分析。
• 将这些范数表示为半定规划，从而可利用现有的多项式时间SDP求解器，并通过构造对偶证书实现验证。
• 提供完全有界迹范数的显式、通用SDP形式化表达，扩展并澄清了早期隐式形式的表述。
• 通过SDP形式化展示其分析能力，推导出量子保真度的新对偶表征，并证明乌尔曼定理与阿尔贝蒂定理之间的对偶性。

提出的方法

• 将完全有界迹范数表述为作用于复合系统上正半定算符上的原始半定规划，对子系统施加迹约束。
• 利用拉格朗日对偶性推导对偶半定规划，从而可通过构造证书来验证最优值。
• 利用乌尔曼定理证明原始最优值等于超算符纯化的约化密度算符之间保真度的平方。
• 利用阿尔贝蒂定理证明对偶最优值也等于保真度的平方，从而证明两个定理之间的对偶性。
• 提出第二种基于竞争性量子博弈框架的简化SDP形式化，该形式化仅适用于量子通道差值的超算符。
• 利用已知的多项式时间SDP求解算法，确保整体计算在确定性多项式时间内完成。

实验结果

研究问题

• RQ1 超算符的完全有界迹范数能否被高效计算，并具有可证明的运行时间保证？
• RQ2 如何利用半定规划来表达和计算完全有界范数？其结果优化问题的结构是什么？
• RQ3 乌尔曼定理与阿尔贝蒂定理在保真度方面的关系是什么？能否通过SDP对偶性明确揭示这种对偶性？
• RQ4 完全有界范数能否被高效验证？最优性证书的形式是什么？
• RQ5 当超算符是两个量子通道的差值时，是否存在完全有界范数的简化SDP形式化？

主要发现

• 超算符的完全有界迹范数可作为大小关于输入维数为多项式时间的半定规划的最优值来计算。
• 原始SDP的最优值等于超算符纯化约化密度算符之间保真度的平方。
• 对偶SDP形式化得到相同的最优值，且对偶间隙为零，确认了强对偶性，从而可高效验证范数值。
• 在有限维空间中，乌尔曼定理与阿尔贝蒂定理被证明为对偶陈述，前者刻画原始SDP，后者刻画对偶SDP。
• 通过竞争性量子博弈框架推导出第二种简化SDP形式化，适用于作为两个量子通道差值的超算符。
• 该方法提供了计算完全有界范数的确定性多项式时间算法，克服了以往迭代方法的局限性。