スーパーコンピュータが数日かかる計算を、量子チップが数秒で終えたと宣言する。この種の発表が過去数年間にわたって報じられるたび、計算機科学の現場には冷ややかな視線が向けられてきた。古典コンピュータで同じ結果を再現できる洗練されたアルゴリズムが後から考案されれば、実験によって示された優位性は短期間で覆ってしまうためだ。量子検証問題（quantum verification problem）と呼ばれるこの難問は、古典計算機にとって計算困難な結果を、より能力の劣る古典的な検証者がどうやって正当だと確かめるのか、という根本的な矛盾を突いている。検証作業そのものに膨大な計算時間がかかったり、計算量理論の未証明な仮定に頼ったりする限り、マシンの真の優位性を決定づけることは叶わない。
2026年9月5日、QuantinuumのMarcello Benedetti、Gabriel Marin-Sanchez、Jordi Weggemans、Matthias Rosenkranz、Harry Buhrmanを中心とする研究チームは、この膠着状態を打開する論文を学術誌『Nature Communications』に発表した（DOI: 10.1038/s41467-026-77413-3）。プレプリントはarXiv（arXiv:2511.11008）で公開されている。彼らが採用したのは、補集合サンプリング（complement sampling）と呼ばれる特定のタスクを模した対戦型のゲームである。このゲームには、どれほど優れた古典アルゴリズムを用いても絶対に超えられない数学的な成績の上限が厳密に証明されている。Quantinuumのイオントラップ型量子ハードウェア上で実行された実験では、問題の規模が拡大するにつれて、古典計算の上限値を大きく上回るスコアが一貫して記録された。
先行する非古典性の実証実験は、計算量理論の仮定への依存、ハードウェアノイズへの脆弱性、非効率な検証手順という3つの制約に縛られていた。今回の成果が際立っているのは、多項式時間での検証が可能でありながら、古典物理学に基づく情報処理の限界を無条件に破った点にある。
計算の難しさではなく情報の物理法則で古典機械を縛るゲームの仕組み
補集合サンプリングゲームの規則は極めて明快である。審判（referee）とプレイヤー（player）の2者が登場する。ある整数 $n$ に対して、長さ $n$ のビット列全体の空間には $2^n$ 個の候補が存在する。審判はそのちょうど半分、すなわち要素数が $2^{n-1}$ である部分集合 $S$ をランダムに選ぶ。審判はこの部分集合 $S$ を表す量子状態 $|S\rangle$ を生成し、プレイヤーに送信する。プレイヤーに課される課題は、部分集合 $S$ に含まれない要素、すなわち補集合の中から1つのビット列 $y$ を選び出して審判に送り返すことだ。
審判は受け取ったビット列 $y$ が実際に補集合に属していれば $+1$ 点、部分集合 $S$ の内部に含まれていれば $-1$ 点を与える。この試行を何度も繰り返し、合計スコアからプレイヤーが量子戦略を用いたのか、古典戦略にとどまっているのかを統計的に判定する。
古典コンピュータがこのゲームをプレイしようとすると、原理的な壁に衝突する。古典的な装置は量子状態の重ね合わせをそのまま保持して処理することができない。送信されてきた量子状態を測定し、部分集合 $S$ の中から無作為に選ばれた1つのビット列を取り出すことしか許されないのだ。古典プレイヤーが得られる情報は「この1つの値は $S$ に属している」という事実だけであり、残る膨大な数の候補のうち、どれが $S$ でどれが補集合なのかを見分ける手がかりを全く持たない。
ビット列の長さ $n$ が大きくなるほど、全体における1つのサンプルの情報量は希釈される。研究チームは、あらゆる古典アルゴリズムが達成しうる最高の成功確率を数学的に導き出した。その成功確率は、ビット数が増えるにつれて指数関数的に減衰し、当てずっぽうで選ぶ確率である $1/2$ へと急速に収束する。この上限は「未解決の数学的予想が正しいと仮定すれば」という条件付きのものではなく、情報理論的に証明された絶対的な限界である。
一方、理想的な量子コンピュータは全く異なる物理原理で問題を処理する。部分集合 $S$ の全要素が均等に重ね合わされた状態 を破壊することなく受け取った量子プレイヤーは、測定を行う前に「スワッパー回路」を適用する。ここで用いられるのは、グローバーの拡散演算子として知られるユニタリ変換 である。部分集合の要素数が全空間のちょうど半分である $2^{n-1}$ であるとき、この演算子は部分集合 $S$ の重ね合わせ状態を、寸分の狂いもなくその補集合の重ね合わせ状態へと入れ替える。変換を終えたあとに初めて測定を行えば、得られるビット列は必ず補集合の要素となる。理論上の成功確率は $1$、すなわち毎ラウンド確実に勝利を収めることができるのだ。
| 比較項目 | 量子プレイヤー（本手法） | 古典プレイヤー（理論的限界） |
|---|---|---|
| 入力情報の扱い | 重ね合わせ状態 を保持して演算 | |
| 演算メカニズム | グローバー拡散演算子による補集合への反転 | 得られた1要素を除外した上での推定、推測 |
| ビット長 $n$ 増加時の勝率 | 理想時は常に1（ノイズ環境でも有意差を維持） | 指数関数的に減少し $1/2$ へ急速に漸近 |
| 上限の論理的根拠 | 量子ユニタリ変換の線形性と重ね合わせの可制御性 | 情報理論的に導出された無条件の数学的境界 |
| 外部の計算量仮定 | 不要（検証も多項式時間で直接可能） | 不要（アルゴリズムの工夫による更新余地なし） |
基礎となる補集合サンプリングの概念自体は、先行研究（arXiv:2502.08721）で提案されていたものだ。そこでは部分集合のサイズが全空間の半分である場合に、サンプル複雑性が定数と線形で分離することが理論的に示されていた。今回の研究は、Bernstein-Vazirani問題に着想を得た具体的な回路構造を導入することで、この理論を実機で検証可能な対戦型ゲームへと昇華させた点に新規性がある。
シャトル移動する捕捉イオンが55量子ビットの大規模回路を走る
理論の整合性を確かめるため、研究チームはシミュレーションにとどまらず物理的なハードウェアを用意した。使用された装置は、Quantinuumの「System Model H2（H2-2）」イオントラップ型量子コンピュータである。
H2-2は、イオントラップ型量子計算機の中でも際立った集積度と制御精度を持つ。真空チャンバー内に設けられたレーストラック型のトラップ電極に、56個のイッテルビウム171イオン（\text{^{171}Yb^+}）を捕捉して量子ビットとして利用する。イオン同士の間にはバリウム138イオン（\text{^{138}Ba^+}）が冷媒として配置され、レーザー冷却によって系全体の熱振動を抑え込む。このアーキテクチャの構造的な強みは、捕捉されたイオンを電圧制御によって物理的にトラップ内を自在に移動させる「量子電荷結合素子（QCCD）」方式にある。離れた位置にある任意の量子ビット対を物理的に接近させて相互作用を起こせるため、超伝導方式のような平面格子の近接制約を受けず、全結合の接続性を備えている。
実験は、量子ビット数と回路規模を段階的に引き上げながら実施された。検証されたビット列の長さは $n = 5$ から $n = 37$ まで多岐にわたる。使用した総量子ビット数は最大で55個に達し、実行された回路の数は数千通りに及んだ。
統計的有意性を担保するためのプロトコルも厳格に定められた。ビット列の長さが の実験では試行回数を $r = 100$ ラウンドとし、最大規模となった $n = 37$ の実験では $r = 500$ ラウンドが設定された。すべての検証において有意水準は （信頼度99%）に固定された。
各ラウンドごとに、審判役のプログラムはランダムに新しい部分集合を選定し、異なる回路構成をその場で組み立てて実行した。最大規模である $n = 37$ の実験では、合計1200種類もの異なる回路が実機に投入された。これらの回路では、実機固有のネイティブ2量子ビットゲートが平均して約227.61回（標準偏差3.11）実行されている。深い回路深度と大量のもつれ合い操作を要求しながらも、全結合のイオントラップ回路は破綻することなく動作を継続した。
データを表で見る
| 回路あたりの平均ゲート数 (ゲート数（平均値）) | |
|---|---|
| n = 5 | 29.56 |
| n = 10 | 72.16 |
| n = 20 | 117.46 |
| n = 37 | 227.61 |
回路規模の拡大に伴い、ハードウェアが処理すべき演算負荷は増大していった。小規模な構成（$n = 5, 10, 15$）の実験においては、審判とプレイヤーの間の通信を模倣するため、同一チップ内で量子テレポーテーションを用いた状態転送プロトコルが実装された。審判役の量子ビット群で用意された重ね合わせ状態が、測定と古典通信、そしてフィードフォワード操作を経てプレイヤー役の量子ビット群へと転送され、その後にスワッパー演算が施された。
ノイズに侵食されながらも古典の天井を破り続けた実験データ
現実のハードウェアは、教科書に書かれた理想的な数式通りには動かない。量子ビットが周囲の微小な電磁場ノイズと相互作用して位相を失うデコヒーレンスや、レーザー照射の不完全さによるゲート操作エラーが蓄積するためだ。回路が深くなり、使用する量子ビット数が増えるほど、実機の出力は理論値から乖離していく。
しかし、得られた実験結果は、ノイズによる劣化が存在していてもなお、量子的な優位性が明白に保たれることを証明した。
研究チームが実施したすべての実験規模において、Quantinuum H2が記録したスコアは、いかなる古典戦略が達成しうる上限スコアとも統計的に両立し得ない領域に到達した。$n = 37$、使用量子ビット数55、試行回数500ラウンドという最大負荷の実験において、観測されたデータが古典的な偶然や戦略の産物である確率を示すp値の上限（）は、 を記録した。1万分の1を下回るこの極めて小さい確率は、得られた結果が古典物理の枠組みを決定的に逸脱している有力な証拠である。
論文のアブストラクトにおいて著者らは、観測されたスコアが「量子戦略の組織的な採用によってのみ説明できる」と明記している。信頼区間の推定には、統計学的に頑健なバイアス補正・加速ブートストラップ法（SciPyを用い、9,999回の再サンプリング、信頼水準99%）が適用された。測定データの揺らぎを厳格に見積もった上でも、古典の壁は依然として遠い下方にあった。
観測された実験スコアとビット列長 $n$ の関係を分析すると、実機が叩き出したアドバンテージは問題サイズの拡大に伴って指数関数的に増大していた。理論上の最適量子戦略が描く理想曲線にはわずかに届かなかったものの、その挙動は理論予測の曲線を忠実に追随した。ハードウェアノイズがスコアを押し下げる中でも、古典計算の上限値がそれ以上の急角度でゼロ近傍へと急降下していくため、両者の間の物理的な格差は規模が大きくなるほど逆に拡大していったのである。
この実験系がノイズに対して極めて頑強である理由も数学的に裏付けられている。理論計算によれば、多項式回数のラウンドにおいて、プレイヤーが 以上の確率で成功を収めさえすれば、その戦略は非古典的であると断定できる。ハードウェアの不完全性によって成功率が $1.0$ から大幅に低下したとしても、古典の上限である $1/2$ との間に有意な隙間を残している限り、量子性の証明は揺るがない。$n = 37$ の最大規模において、実機は理論上の完璧なスコアを達成できなかった。だが、そこで示されたのはノイズの存在を織り込み済みの上で成立する「古典性の指数関数的に巨大な破れ」である。
孤立した1台のマシンから真の分散ネットワーク検証へ残された宿題
本実験が達成した成果の輪郭を正確に捉えるには、何が証明され、何がまだ証明されていないのかを冷徹に切り分ける必要がある。この成果は、量子コンピュータが実用的な暗号解読や材料計算において古典機を打ち破ったことを意味しない。対象となったタスクは、ハードウェアの物理的動作を厳密にテストするために考案された補集合サンプリングゲームという人工的な設定である。
最大の物理的制約は、審判とプレイヤーが物理的に同一の量子コンピュータ筐体内に同居していた点にある。小規模実験において量子テレポーテーションによる状態転送が組み込まれたものの、両者の間を取り持ったのは同じ真空チェンバーの中を移動する捕捉イオンと内部制御レーザーであった。審判がプレイヤーに対して秘密裏に保持すべき情報が、ハードウェア内部のクロストークや制御系の共通化を通じて意図せず漏洩していないという完全な物理的隔離は、単一チップの構造上、厳密には担保しきれない。
研究チーム自身も、より厳格な検証を実現するためには、物理的に離れた場所に設置された2台の独立した量子コンピュータを準備し、それらを実際の量子通信ファイバーや光ネットワークで結ぶ実験が不可欠であると認めている。通信路を外部に露出させ、空間的に隔絶された環境下で同様のゲームを成立させて初めて、局所性の抜け穴を完全に塞いだ検証が完結する。
また、本研究が示した物理的挙動の性質についても注意深い理解が求められる。著者らは論文の中で「我々のテストは、量子もつれ（エンタングルメント）や非局所性に左右されない形で、量子重ね合わせの威力を実証している」と記している。量子超越性の議論ではベルの不等式の破れや巨視的なもつれ状態の検証が主題となることが多いが、今回の補集合サンプリングゲームが突いたのは、純粋な重ね合わせ状態を測定せずにユニタリ変換で操作するという、量子力学の極めて基本的な情報処理能力そのものである。
古典の限界を証明するにあたって、計算量理論の未解決問題に頼る必要がなかったという事実は、ハードウェア検証の信頼性を根底から変える力を持つ。従来のランダム回路サンプリングでは、古典シミュレーションの計算コストに関する見積もりが新たなアルゴリズムの登場によって覆されるリスクが常につきまとっていた。今回の補集合サンプリングは、どれほど賢いプログラマーが古典アルゴリズムを練り上げようとも、与えられた情報量そのものが不足しているため、物理的に絶対に上限を超えられない構造を持っている。
量子技術が開発の初期段階を抜け出し、ノイズを含む中規模量子（NISQ）デバイスから誤り訂正を備えた大規模システムへと歩みを進める中で、構築されたマシンが本物の量子物理に従って動作しているかを疑いなく確かめる測定プロトコルはますます重要になる。実機のノイズに耐え、多項式時間で判定を下せる今回のテスト手法は、次世代のハードウェア開発者が自らのマシンの真正性を証明するための、信頼に足る物差しとして役立つはずだ。
残された問いは明確である。真空チャンバーの壁を越え、独立した2つの極低温クライオスタットやイオントラップ間を飛翔する光子で結んだとき、この量子アドバンテージはどれほどの距離まで維持できるのか。そして、この無条件の分離をもたらす数学的構造を、実用的な計算タスクの検証へとどう拡張していくのか。古典の限界を数学的に縛り、量子の振る舞いを物理的に浮き彫りにする試みは、ようやく最初の強固な足場を手に入れた段階にある。
