[论文解读] Simpler semidefinite programs for completely bounded norms

John Watrous|arXiv (Cornell University)|Jul 24, 2012

Advanced Optimization Algorithms Research参考文献 11被引用 14

一句话总结

本文提出了两种简化版的半定规划公式，用于计算有限维算子空间之间线性映射的完全有界迹范数和谱范数。通过利用Choi-Jamiołkowski同构和基于保真度的表征，新公式在保持计算效率的同时降低了结构复杂度，使得在量子信息理论和算子空间分析中实现更直观、更易处理的优化成为可能。

ABSTRACT

The completely bounded trace and spectral norms, for finite-dimensional spaces, are known to be efficiently expressible by semidefinite programs (J. Watrous, Theory of Computing 5: 11, 2009). This paper presents two new, and arguably much simpler, semidefinite programming formulations of these norms.

研究动机与目标

• 简化现有用于完全有界迹范数和谱范数的半定规划公式。
• 提升这些范数在量子信息和算子空间理论中的概念与计算可及性。
• 提供更易于实现和分析的公式，同时保持与先前方法相同的计算效率。
• 建立对偶可行性边界，以支持这些范数的多项式时间近似算法。

提出的方法

• 利用Choi-Jamiołkowski同构将线性映射表示为更大希尔伯特空间中的算子，从而能够应用标准的半定规划技术。
• 通过基于保真度的完全有界迹范数表征，推导出一种新且更简单的半定规划，其变量和约束更少。
• 通过分析约束映射的伴随映射，推导出对偶可行性条件，确保多项式时间可解性。
• 建立对偶可行解的迹和弗罗贝尼乌斯范数的上界，这对内点法中的收敛性保证至关重要。
• 利用伴随映射的谱范数界，推导出对偶可行性参数ε的下界，确保对偶可行集非空。
• 应用半定规划中的已知复杂度结果（例如，来自 [GLS93] 和 [Lov03]）以证明在精度δ内进行多项式时间近似是可行的。

实验结果

研究问题

• RQ1 完全有界迹范数和谱范数能否以比以往已知更简单的半定规划公式表达？
• RQ2 在不牺牲计算效率的前提下，这些SDP公式的结构可实现哪些简化？
• RQ3 这些范数的对偶可行解大小的紧致、可高效计算的边界是什么？
• RQ4 如何以支持多项式时间近似算法的方式保证对偶可行性？
• RQ5 能否从其他表征（例如保真度或Choi矩阵）出发推导出新公式，以提升可解释性？

主要发现

• 本文提出了两种新的半定规划，用于完全有界迹范数和谱范数，其复杂度显著低于 [Wat09] 中的公式。
• 对于基于保真度的公式，当 ε = 1 / (4(1 + ||Ψ₀*||∞ + ||Ψ₁*||∞)) 时，对偶可行性得到保证，该值为输入规模的多项式。
• 对于基于Choi-Jamiołkowski的公式，当 ε = 1 / (2 dim(𝒴)) 时，对偶可行性成立，同样为输入规模的多项式。
• 对于基于保真度的SDP，对偶可行解的迹有一个上界 R = ||Ψ₀*(𝕀)||∞ + ||Ψ₁*(𝕀)||∞ + 2 dim(𝒵)，确保解的大小有界。
• 对于基于Choi的SDP，任意最优对偶解的迹至多为 R = 2 ||J(Φ)||∞ dim(𝒳) dim(𝒴)，该界控制了对偶解的弗罗贝尼乌斯范数。
• 对ε和R的这些界确保了根据标准SDP复杂度理论，多项式时间近似算法可以以精度δ计算出这些范数。