我正在阅读Watrous在有关量子复杂性理论的论文方面的出色调查论文。他在书中指出，如果发现一个QMA完全问题具有虚假承诺（即成为一种语言），那将是令人惊讶的。为什么会这样呢？
它与k局部哈密顿问题是一个承诺问题有关吗？
此外，这还引出了一个相关的问题：是否存在QMA完全问题，这些问题本质上不是固有的“量子”？
3
我猜这将是一件有趣的事情，因为QMA被定义为语义类，所以这样一个完整的问题将给出语法表征。在cstheory / Mathoverflow上检查有关句法/语义复杂性类的相关问题。
—
卡夫
此外，这种现象并非特定于QMA。还不知道其他语义定义的类（如MA，BPP）具有完整的语言。
—
罗宾·科塔里
我想知道对于一个“不是量子的”问题，实际上有什么必要和充分的条件。我想，任何调用完全正图（例如，给定的CP图是可逆的，还是远离不可逆的？）或张量积结构（例如，在k局部表示中给出的正半定算子）的特征值均小于delta，或者它们都实质上大于delta？）将成为可疑量子问题的示例，无论它们是按照量子通道/演化还是聚合系统的状态空间表示的
—
Niel de Beaudrap