Quantinuumの補集合サンプリング実験が示した、量子・古典間の指数的ギャップ

量子コンピュータ企業Quantinuumの実験は、「量子コンピュータがあらゆる計算で古典コンピュータを圧倒した」ことを示すものではありません。示したのはもっと限定的で、同時に明確な成果です。量子重ね合わせを保ったまま処理する能力が決定的になるよう設計されたサンプリングゲームで、厳密に導かれた古典戦略の上限を実機が超えた、というものです。34

Bernstein–Vazirani問題に基づくインスタンスでは、理想的な量子・古典の違反度比は問題サイズに対して指数的に伸びます。37ビットのケースでは、実験で採用された違反度の定義で、理論上の比較は1370億対1超と説明されています。4

補集合サンプリングとは何か

考えられるすべてのnビット文字列のうち、ちょうど半分からなる秘密の集合をSとします。審判は、その集合に含まれる文字列を等しい重みで重ね合わせた量子状態を用意します。プレーヤーの仕事は、Sには含まれない文字列、すなわち補集合S̄の要素を一つ出力することです。34

古典的なプレーヤーが受け取るのは、実質的にはSからの通常のサンプル1個です。その情報で分かるのは「今受け取った文字列がSに属する」ということにほぼ限られます。残る膨大な候補のどれがSに入り、どれがS̄に入るかを特定する手掛かりにはなりません。このため古典戦略には、ゲームの規則から導かれる上限があります。47

一方、量子側は、測定済みの1個の文字列ではなく、S全体についてのコヒーレントな重ね合わせを受け取ります。実験で用いた特別な構造を持つインスタンスでは、量子変換によってSに対応する状態を補集合S̄上にだけ支持を持つ状態へ移せます。理想的にノイズがなければ、測定結果は確実にS̄の要素になります。34

ここで試されている資源は、複数の可能性を一つの古典的観測値へと潰さずに変換できる量子コヒーレンスです。離れた場所での非局所性を調べるベルテストとは異なります。

なぜ差は指数的に広がるのか

比較対象は、単純な正答確率そのものではありません。論文は古典的な基準線をどれだけ上回ったかを表す、このゲーム固有の「違反度」を定義しています。Bernstein–Vazirani由来の問題族では、理想的な量子・古典比は2^(n−1)としてスケールします。4

n = 37なら、

2^36 = 68,719,476,736

です。報告で「1370億対1超」と表現されるのは、実験で使われた違反度の規約によるものです。いずれの表し方でも本質は同じです。理想的な量子戦略の信号は完全なままである一方、許される古典戦略の優位は文字列長とともに指数的に小さくなります。4

重要なのは、これはH2が商用価値のある仕事を古典機の1370億倍速で処理した、という主張ではないことです。この特定ゲームの入力条件と評価指標の下で、理想戦略間にそれだけの隔たりがある、という意味です。

H2実機で何を行ったのか

研究チームはQuantinuumのイオントラップ型H2プロセッサで数千本の回路を実行し、最大55個の物理量子ビット、最長37ビットの文字列までを試験しました。48

実機にはノイズがあるため、観測された量子性能は「常に成功する」という理想値には届かず、回路が大きくなるほど誤差の影響も大きくなります。それでも報告された結果は、該当する古典的しきい値を統計的に上回りました。つまり、デバイスが古典上限を破るのに十分な精度で量子戦略を実装できたことを裏付けます。4

これは「古典コンピュータが同じ有限個のビット列を出力できない」という主張ではありません。定められた入力モデルにおいて、観測された回答の確率分布が、許容される古典戦略の到達範囲を超えた、という主張です。4

従来の量子優位性テストと何が違うのか

従来の量子サンプリング実証の多くは、古典シミュレーションが難しいはずだという計算量理論上の仮定に依存します。補集合サンプリングは、その種の未証明の困難性仮定に頼らないよう設計されました。古典側の限界は、ゲームそのものについて導出されています。34

検証の分かりやすさも特徴です。審判は秘密集合の構成方法を知っているため、出力が補集合に属するかを確認できます。ランダム回路サンプリングでは、大規模な検証に高コストな古典シミュレーション、または非常に多数のサンプルが必要になる場合があります。34

こうした性質から補集合サンプリングは、現在のノイズを伴う量子ハードウェアで、検証可能な量子・古典の差を調べる基礎ベンチマークとして位置付けられます。

見出しだけでは分からない限界

実用アプリの高速化ではない

これは、サンプルに基づく情報処理で量子優位を引き出すために作られた特殊な課題です。化学計算、最適化、暗号、AI、あるいは汎用計算での実用的な高速化を立証したわけではありません。4

「無条件」は「デバイス非依存」ではない

古典上限が数学的なゲームの範囲内で無条件に導かれることと、実験装置を一切信頼しなくてよいことは別です。この実験プロトコルでは、審判が正しく状態を準備したという信頼が必要です。これは、装置の主要部分を信頼せず結論を出す完全なデバイス非依存型のテストとは異なります。4

審判とプレーヤーは別々の量子コンピュータではなかった

量子コンピュータ間を接続する実際の量子通信チャネルが利用できなかったため、実装では審判とプレーヤーのレジスタを1台の量子プロセッサ内に置き、テレポーテーションで量子通信チャネルを模擬しました。4

より強い実証には、独立に制御された別々のシステムを本物の量子リンクで接続し、理想的には誤り訂正を備えたフォールトトレラント量子計算機を使うことが望まれます。ただし、量子状態の転送とコヒーレンスの維持は、分散量子計算における大きなボトルネックでもあります。14

指数的差が最終的な上限とは限らない

今回確立されたのは、このゲーム族における指数的な分離です。これが量子・古典間で可能な最大の隔たりだとは証明しておらず、超指数的な分離を実証したわけでもありません。効率よく検証でき、物理的にも意味のある課題でさらに強い分離が可能かどうかは、提示された証拠の範囲では未解決です。

この実験が実際に確立したこと

Quantinuumの成果は、現在のイオントラップ型ハードウェアが、効率的に確認できる補集合サンプリングゲームにおいて、厳密な古典境界を超えたという実験的マイルストーンです。そして理想条件では、その差が問題サイズに対して指数的に拡大します。34

「量子超越」という曖昧な言葉だけで語るより、課題、評価方法、検証法、そして信頼の前提を明示できる点で、主張は精密です。同時に、その詳細こそが適用範囲を定めています。これは、量子重ね合わせがこのように設計された条件下で指数的優位をもたらし得る強い証拠であり、量子コンピュータがすでに幅広い実社会の仕事で古典計算を上回ったことの証明ではありません。