量子アルゴリズム「Decoded Quantum Interferometry」が問い合わせモデルで近似最適化に実証的優位を示す
この論文は、Decoded Quantum Interferometry(DQI)という量子アルゴリズムの枠組みが、ある問い合わせ(オラクル)モデルにおいて古典アルゴリズムよりも明確に優れていることを示します。扱う問題は「folded optimal polynomial intersection(folded OPI)」と呼ばれる近似最適化問題です。著者らは、各ブロックごとに受理集合(ある文字が集合に含まれるかを答える“メンバーシップ・オラクル”にアクセスする)を与える設定で、DQIが達成する近似率と任意の多項式時間古典アルゴリズムが達成できる近似率に厳密なギャップがあることを示しました。要点を先に示すと、ある具体的なパラメータ例でDQIは期待スコア約0.85、さらに改良版は約0.95を出しうる一方で、最良の古典的閾値は約0.65であり、この閾値を固定量上回るには超多項式個の古典問い合わせが必要になります。
研究の構成は次の通りです。まず著者らは「balanced(均衡な)folded-OPI」インスタンス族を定義します。ここでは各ブロックの受理集合はブロック符号のアルファベットのちょうど半分となるようにランダムに選ばれます。古典側ではPrangeの情報集合戦略が線形個の問い合わせで古典的閾値に到達しますが、それを上回るには超多項式個の問い合わせが必要であることを下限証明で示します。一方DQIは、各ブロックのメンバーシップ・オラクルに対して一回の「コヒーレント(量子的)問い合わせ」を行い、検証と定数回の繰り返しでエラーを抑えた有界誤差の量子アルゴリズムを実現します。論文は特にコード率(情報率)Rの固定した場合に、DQIが古典閾値より高い期待スコアへ収束することを示しています。例としてR=0.3では前述の数値が得られます。
手法の背後には符号理論と最適化の古くからの関係があります。DQIは線形符号の双対に対する復号器を量子的に利用し、有限体上のフーリエ変換を通じて最適化問題に帰着させます。具体的にはリード・ソロモン符号に対する標準的な一意復号(Berlekamp–Masseyアルゴリズム)を用いて、双対符号の最小距離の半分より小さい誤りまで訂正することで保証を出します。さらに著者らは、リスト復号(複数候補を返す復号法)と「コヒーレント・ファイバー和(fiber summation)」と呼ぶ手法を組み合わせることで、典型的にサンプリングされたオラクル上でDQIよりも高いスコア保証を得る変形アルゴリズムも示します。これにより同じモデルでさらに大きな量子と古典のギャップが得られます。
なぜこの結果が重要かというと、近似最適化問題に対する「量子的優位(provable quantum advantage)」を問い合わせ複雑度の観点で初めて明確に示した点にあります。DQIが単なる経験的改善ではなく、任意の多項式時間古典アルゴリズムが越えられない線を量子的に越えるという証明的な差を与えます。これは符号理論と量子アルゴリズムの結合が実際に計算上の利点を生むことを示す具体例であり、量子優位の実験的デモや理論的研究に向けた具体的指針を提供します。
重要な注意点もあります。まず本結果は「オラクル(問い合わせ)モデル」での問い合わせ数に関する分離であって、標準的な計算複雑度仮定だけに基づく実世界の難しさ(計算困難性)を直接証明するものではありません。改良アルゴリズムによるより強い保証は「典型的にサンプリングされたオラクル」に対するもので、すべての約束付きインスタンスに対して一様に成り立つわけではありません。また証明は折りたたまれたリード・ソロモン符号と「半分サイズの受理集合」という均衡設定に依存します。さらに古典側下限の証明はYamakawaとZhandryの手法を拡張し、条件付き二項分布の尾部評価を補うことで近似への拡張を可能にしていますが、スカラーOPI(標準的な設定)での計算難しさを示す問題は依然として未解決のままです。以上を踏まえると、本研究は問い合わせモデルでの明確な前進を示しますが、その一般化と実世界への適用にはまだ慎重な検討が必要です。