[論文レビュー] Bounds on the quantum satisfiability threshold

Sergey Bravyi, Cristopher Moore+1 more|arXiv (Cornell University)|Jul 7, 2009

Quantum Computing Algorithms and Architecture参考文献 8被引用数 9

ひとこと要約

この論文は、ハイパーグラフのガジェットベースの分解と微分方程式解析を用いて、満たされる部分空間の一般ランクを計算することで、ランダムな量子3-SAT式における量子充足可能性閾値の上界として3.594を確立している。さらに、$k \geq 4$ に対して、量子閾値が古典的閾値より厳密に小さいことを示しており、$2^k b$（$b \approx 0.573$）という上界を示しており、古典的および量子 $k$-SAT 閾値の相違する相転移挙動に根本的な違いがあることを示している。

ABSTRACT

Quantum k-SAT is the problem of deciding whether there is a n-qubit state which is perpendicular to a set of vectors, each of which lies in the Hilbert space of k qubits. Equivalently, the problem is to decide whether a particular type of local Hamiltonian has a ground state with zero energy. We consider random quantum k-SAT formulas with n variables and m = αn clauses, and ask at what value of αthese formulas cease to be satisfiable. We show that the threshold for random quantum 3-SAT is at most 3.594. For comparison, convincing arguments from statistical physics suggest that the classical 3-SAT threshold is α\approx 4.267. For larger k, we show that the quantum threshold is a constant factor smaller than the classical one. Our bounds work by determining the generic rank of the satisfying subspace for certain gadgets, and then using the technique of differential equations to analyze various algorithms that partition the hypergraph into a collection of these gadgets. Our use of differential equation to establish upper bounds on a satisfiability threshold appears to be novel, and our techniques may apply to various classical problems as well.

研究の動機と目的

• ランダムな量子 $k$-SAT 式が高確率で充足可能から充足不能に遷移する密度閾値 $\alpha_c^q$ を特定すること。
• 特に $k=3$ および一般の $k$ に対して、$k \geq 3$ の量子 $k$-SAT 閾値に対する厳密な上界を確立すること。
• 量子閾値が $k \geq 4$ に対して古典的 $k$-SAT 閾値より厳密に小さいことを示し、比較すること。
• 構造的ガジェットへのハイパーグラフ分解を用いて、ランダムな量子 $k$-SAT 式における満たされる部分空間の一般ランク $R_{\rm sat}^{\rm gen}$ を分析すること。
• ランダムハイパーグラフにおける次数分布に微分方程式を適用することで、一般ランクを上界で評価する手法を開発すること。

提案手法

• 太陽の花（sunflowers）やノーズゲイ（nosegays）などの構造的ガジェットへのランダム $k$-一様ハイパーグラフの分割により、満たされる部分空間の一般ランク $R_{\rm sat}^{\rm gen}$ を正確に計算可能にする。
• 構成モデルを用いてハイパーグラフの次数分布に条件付け、ランダムグラフ過程を連立微分方程式系でモデル化する。
• 式 $R_{\rm sat}^{\rm gen} \leq 2^n \left(1 - \frac{1}{2^{k-1}}\right)^m \prod_d \left(\frac{d}{2^k - 2} + 1\right)^{n_d}$ を用いて、満たされる部分空間の一般ランクを計算する。ここで $n_d$ は次数 $d$ の頂点数である。
• 対数期待値の上界を求めるためにジャンセンの不等式を適用し、平均次数 $\alpha$ の関数に簡略化する。
• 対数ランク式をゼロに設定し、$\alpha$ について解くことで $\alpha$ の上界を導出し、$\alpha \leq 2^k b$（$b \approx 0.573$）が得られる。ここで $b$ は $\ln 2 - 2b + \ln(b+1) = 0$ を満たす唯一の正の解である。
• 対数関数 $\ln(1-x)$ のテイラー展開を用いて漸近的挙動を分析し、$b < \ln 2$ であるため、$k$ が大きいとき $\alpha_c^q < \alpha_c$ であることが確認され、$k \geq 6$ に対して $\alpha_c^q / \alpha_c < 1$ が成り立つ。

実験結果

リサーチクエスチョン

• RQ1 ランダム式で $m = \alpha n$ 個の節を持つ場合、量子3-SAT閾値 $\alpha_c^q$ の上界は何か？
• RQ2 $k \geq 4$ の場合、量子 $k$-SAT 閾値 $\alpha_c^q$ は古典的 $k$-SAT 閾値 $\alpha_c$ よりどう異なるか？
• RQ3 ガジェットへのハイパーグラフ分解を用いて、ランダムな量子 $k$-SAT 式における一般ランク $R_{\rm sat}^{\rm gen}$ を上界で評価できるか？
• RQ4 量子 $k$-SAT 閾値は $2^k$ に比例するか？ もしそうなら、漸近定数 $b = \lim_{k \to \infty} \alpha_c^q / 2^k$ は何か？
• RQ5 ハイパーグラフに消えない2コア（2-core）が存在する場合、$\alpha_c^q$ に対する非自明な下界を導けるか？

主な発見

• 量子3-SAT閾値は $\alpha_c^q \leq 3.594$ であると上界が示され、古典的3-SAT閾値（約4.267）より顕著に低い。
• 一般の $k \geq 4$ に対して、量子 $k$-SAT 閾値は $\alpha_c^q \leq 2^k b$ で上界が与えられ、ここで $b \approx 0.573$ は $\ln 2 - 2b + \ln(b+1) = 0$ を満たす唯一の正の根である。
• $b < \ln 2$ であるため、量子閾値は古典的閾値より厳密にゆっくりと増加し、漸近的に $2^k \ln 2$ に達するため、$k \geq 6$ に対して $\alpha_c^q / \alpha_c < 1$ が成り立つ。
• 量子3-SATの上界3.594は、次数優先の太陽の花とノーズゲイへの洗練されたガジェット分解を用いて得られ、以前の上界を改善している。
• ベクトル成分の代数的独立性のため、ランダムな節ベクトルに対して、満たされる部分空間の一般ランク $R_{\rm sat}^{\rm gen}$ はほとんど確実に実際のランクと等しい。
• 改善された定理6の結果を用いると、$k \geq 5$ に対して、量子閾値が古典的閾値より厳密に小さいことが示され、定理8の一般的上界を用いると $k \geq 6$ に対しても同様の結果が得られる。