矩多面体中的成员资格属于 NP 和 coNP
计算复杂性
2017-06-27 v2 数学物理
math.MP
表示论
辛几何
量子物理
摘要
我们证明，判定与紧连通李群的有限维酉表示相关的矩多面体中的成员资格问题属于 NP 和 coNP。这是关于该问题计算复杂度的首个非平凡结果，该问题朴素地相当于一个二次约束规划。我们的结果特别适用于 Kronecker 多面体，因此也适用于判定拉伸 Kronecker 系数正性的问题。相比之下，最近已证明判定单个 Kronecker 系数正性在一般意义下是 NP-hard [Ikenmeyer, Mulmuley and Walter, arXiv:1507.02955]。我们讨论了我们的工作在复杂度理论和量子边缘问题背景下的后果。
引用
@article{arxiv.1511.03675,
title = {Membership in moment polytopes is in NP and coNP},
author = {Peter Bürgisser and Matthias Christandl and Ketan D. Mulmuley and Michael Walter},
journal= {arXiv preprint arXiv:1511.03675},
year = {2017}
}
备注
20 pages