ワトラスの量子複雑理論に関する優れた調査論文を読んでいます。その中で彼は、QMAの完全な問題が空虚な約束（つまり、言語であること）が見つかると驚くべきだと述べています。これはなぜですか？
これは、k局所ハミルトニアン問題が約束問題であることと関係がありますか？
また、これは関連する質問に私を導きます：本質的に本質的に「量子」ではないQMA完全な問題はありますか？
3
QMAはセマンティッククラスとして定義されているので、これは興味深いことだと思います。このような完全な問題は、構文上の特徴を与えることになります。cstheory / Mathoverflowで構文/意味論的複雑度クラスに関する関連質問を確認してください。
—
Kaveh
さらに、この現象は特にQMAに固有のものではありません。MAのような他の意味的に定義されたクラスはBPPでもあり、完全な言語を持っていることは知られていない。
—
ロビンKothari
問題が「量子的ではない」であるために実際に必要かつ十分な条件は何なのかと思います。完全に正のマップを呼び出す問題（たとえば、与えられたCPマップは可逆、または可逆から遠いですか？）またはテンソル積構造（たとえば、k局所表現で与えられる正の半定値演算子は、以下の固有値を持っていると思いますデルタ、またはそれらはすべてデルタよりも実質的に大きいですか？）は、量子チャネル/進化または集約システムの状態空間の観点から提示されているかどうかに関係なく、疑わしい量子問題の例でしょう...
—
Niel de Beaudrap