凸体半正定秩的下界
最优化与控制
2017-12-06 v2 计算复杂性
符号计算
摘要
凸体 的半正定秩是其最小半正定表示的规模。我们证明,任意凸体 的半正定秩至少为 ,其中 为在 的极体边界上消失的多项式的最小次数。这改进了依赖于量词消去结果的现有界。该证明依赖于应用于 Karush-Kuhn-Tucker 最优性条件的 Bézout 界。我们讨论了其与半正定规划的代数次数的联系,并证明了对于具有适当维度的随机谱面体,该界是紧的(至多相差常数因子)。
引用
@article{arxiv.1705.06996,
title = {A lower bound on the positive semidefinite rank of convex bodies},
author = {Hamza Fawzi and Mohab Safey El Din},
journal= {arXiv preprint arXiv:1705.06996},
year = {2017}
}
备注
v2: 14 pages - minor changes following comments by referees; v1: 13 pages