explore | Grilled Cheese

新規の困難性ブートストラップ定理がタルスキ不動点問題に対する量子クエリ下限を増幅する。結果は次元k≥4に対してΩ(k log²n)下限を確立し、指数幅格子に対して超多項式的下限を示し、古典複雑性と量子複雑性間のギャップを解決する。

量子複雑性における基本的なギャップを解決します。重み付きクリーク複体のホモロジーの決定は、逆多項式的スペクトラルギャップを有するQMA₁-困難です。位相的ガジェット符号化とフィルタード・ホッジ理論を用いて、完全な困難性の証明を提供します。

共有される量子/古典力学における時間的制約下で、正確な局所最適性が合成されないことを確立する。時間的実現可能性のPromiseNP困難性を証明し、順序付き状態圧縮における固有状態コストを定量化する。