米国南カリフォルニア大学とジョンズ・ホプキンス大学の合同チームは、IBM製の127量子ビット「Eagle」プロセッサを2台使い、問題が複雑になるほど量子計算と古典計算の速度差が倍々に開く現象――量子指数スケーリング優位――を初めて実証した。実験で扱ったのは「サイモンズ問題」という“隠し番号あてゲーム”を応用した課題で、理論上は量子アルゴリズムが古典手法を指数的にしのぐとされてきたが、現実の装置で確かめるのは困難だった。そこで研究陣は、回路を極力短く組み直し、制御パルスを最適化し、さらにダイナミカルデカップリングと呼ばれる高速パルス列で量子ビットを環境ノイズから遮断し、最後に測定誤差を数値的に補正する四段階の対策を重ねた。その結果、理論の裏付けを要する“条件付き”ではなく、古典側がいかに改良されても覆らない“無条件”の指数速度向上を示すことに成功した【出典：Physical Review X】。この成果により、量子計算は机上の可能性にとどまらず、実機でも古典計算を質的に引き離し始めたことが明らかになった。
ニュース詳細
実験設定とアルゴリズム
研究チームはIBMクラウド経由で二つのEagleチップを遠隔操作し、最大58量子ビットを動員して改良版サイモンズ問題に挑んだ。サイモンズ問題とは「ブラックボックスが隠している番号を当てる」ゲームに似た課題で、量子計算が抜群に得意とされるが、実際のハードウェアで指数的な速さを出すのは容易でない。そこで研究者はまず「秘密ビット列」に含まれる1の個数をあらかじめ上限で縛り、論理演算の数を劇的に削減する設計を施した。続いて、量子ゲートをチップ固有の命令セットに落とし込みつつ回路深さを最小化する“トランスパイル”を適用し、エラーを増幅させやすい余計な操作を排除した。計算が走っている最中には、数百ナノ秒ごとにπパルスを打ち込むダイナミカルデカップリングを実行し、量子ビットが外部環境の微細な揺らぎと絡み合わないようバリアを張った。演算が終わったあとも安心せず、読み出し段階で残るわずかなズレを統計的に見積もって補正する測定誤差補正をかけている。こうした多層的なノイズ対策を積み重ねた結果、問題サイズを増やすたびに量子計算と古典計算の時間差が倍々に広がる“指数スピードアップ”が、統計的にも有意に観測された。今回の設計思想は、限られた量子ハードウェアの性能をどこまで引き出せるかという実践的な指針を示した点でも意義が大きい。
無条件の指数スピードアップとは
量子コンピューターが古典コンピューターを上回ったと主張される実験はこれまでもあったが、多くは「もしかすると古典側にもっと巧妙なアルゴリズムが隠れているかもしれない」という逃げ道を残していた。今回の研究が“無条件”と呼ばれるゆえんは、その逃げ道を数学的にふさいだ点にある。チームはサイモンズ問題の変形版について、既知の最速古典アルゴリズムを徹底的に調べ上げ、その性能と量子アルゴリズムを真正面から比較した。その結果、問題のサイズを1ビット増やすたびに量子計算の所要時間はほぼ半分へ縮み、逆に古典計算はほぼ倍に膨らむため、両者の差は指数関数的に開くことが確かめられた。重要なのは、この結論がハードウェアの雑音や測定誤差をすべて込みにしても揺るがない点である。たとえ将来、古典側で新たなアイデアが発見されたとしても、数学的な下限を超えて追いつく余地が残されていないと示された以上、量子優位は理論の仮定ではなく現実の性能差として確立されたと言える。
ハードウェア最適化の核心
この指数的な差を現実の装置で引き出すうえで決定打となったのが、ダイナミカルデカップリングと呼ばれる防御策である。量子ビットはごく弱い振動や温度ゆらぎといった外界と常に干渉しやすいが、この手法では演算の合間に超短時間のレーザーパルスをリズミカルに打ち込み、外部から飛び込んでくる影響を平均化して打ち消す。たとえるなら、ゆっくり回転する独楽は小突かれれば簡単に傾くが、高速で回転させておけば小さな衝撃を受けても姿勢を保ちやすい――ダイナミカルデカップリングは量子ビットを高速回転させて鈍感にするイメージだ。しかも、このパルス列そのものを量子ゲートの一部として折り込めば、回路が無駄に長くならずエラー蓄積も増えない。研究チームは数あるノイズ対策を組み合わせた結果、この手法が最も劇的に忠実度を押し上げたと強調している。量子ハードウェアの基礎体力――すなわちコヒーレンス時間とゲート精度――を底上げできるため、今後さらに大規模な回路を動かす際にも欠かせない標準装備になると見込まれている。
課題と展望
今回実証された指数スケーリング優位はあくまで「秘密の番号を当てる」というゲーム型の課題で検証されたにすぎず、現実世界で役立つ分子設計や暗号解読にはまだ直接使えない。しかし、速度差が理論ではなく実機で確認できたことで、量子コンピューターが本当に役立つ領域へ橋を渡す足場が築かれたと言える。次の山場は、問題そのものが正解を知っている“オラクル”を必要としないアルゴリズムで同じような指数優位を示せるかどうかにある。そのためには量子ビットの数を現在の数百から数百万へ増やし、同時にエラー訂正を本格的に組み込んで計算を長時間安定させる技術が不可欠だ。IBMやGoogleが開発を進める大型量子プロセッサが実用段階に達すれば、今回の優位が化学反応の予測や公開鍵暗号の解読といった社会的インパクトの大きいタスクでも現れ、量子計算が産業のゲームチェンジャーになる可能性が一段と高まるだろう。
専門家解説
ポイント整理
今回の実験は、量子コンピューターが理論上もつ「問題を大きくすると計算速度の差が倍々に開く」という特徴を、現実の装置が抱える雑音や誤動作を抱えたままでも再現できることを示した点で画期的である。しかも、この優位性は“無条件”という厳しい基準を満たす──つまり将来どれほど古典アルゴリズムが改良されようとも、指数的な差が数学的に消え去る余地がない。これにより、量子計算は単なる理論的おとぎ話ではなく、ハードウェアの制約を含めても根本的に速い計算枠組みだと証明された。さらに、短いレーザーパルスで量子ビットを雑音から守るダイナミカルデカップリングと、読み取り誤差を数値的に修正する測定誤差補正を組み合わせる手法が、エラーが多発する現行世代（いわゆるNISQ時代）のマシンでも決定的な威力を発揮することが分かった。今後ビット数を増やしエラー訂正を本格導入しても、この二本柱は量子アルゴリズムを現実世界へ橋渡しする要となり続けるだろう。
さらに解説
量子指数スケーリング優位が実証されたことで、研究者は量子計算の「速さ」の次元が一段階上へ跳ね上がったと評価する。これまではランダム回路やボソン・サンプリングといった限られた実験で「この問題だけは量子のほうが速い」と局所的に示すにとどまっていた。しかし今回は、課題の規模を横軸、計算時間を縦軸に取ったとき、グラフの傾きそのものが量子側で急激に立ち上がる様子が実測された。言い換えれば、問題を1ステップ複雑にするたびに両者の時間差が倍、さらに倍と雪だるま式に開いていく未来図が現実のデータで描かれたのである。近い将来、量子エラー訂正が全面的に取り込まれれば、この傾きはさらに急になり、古典計算との差が桁を飛び越えて広がる可能性が高い。
キーワード解説
量子指数スケーリング優位
課題を一段階複雑にするごとに量子計算と古典計算の所要時間差がほぼ倍々で拡大し、問題規模が巨大になるほど古典機械では実質的に太刀打ちできなくなる現象である。
サイモンズ問題
隠れた周期をもつ関数の特徴を当てる“秘密番号あて”課題で、量子アルゴリズムが古典手法を指数関数的に上回ると証明されており、ショアの素因数分解アルゴリズム誕生の礎になった。
ダイナミカルデカップリング
量子ビットに超高速パルス列を連続で当て、外界ノイズとの相互作用を平均化して打ち消す技術で、コヒーレンス時間を延ばしながら追加の演算をほとんど増やさずに忠実度を底上げする。
トランスパイル
論理レベルで組んだ量子回路をハードウェア固有のゲート集合へ変換しつつ、不要な操作を削り回路深さを最小化する工程で、エラー蓄積を抑えて装置の性能を最大限に引き出す役割を担う。
測定誤差補正
量子ビット読み出し時に生じる統計的ずれを事前キャリブレーションで把握し、取得データを数値的に補正して正確な結果を復元する手法で、実験系の最終精度を左右する。
NISQデバイス
「ノイズの多い中規模量子コンピューター」を指す呼称で、完全な誤り訂正が未搭載ながら百～数千量子ビット規模を扱え、量子優位実証や新アルゴリズム開発の主力プラットフォームとなっている。
まとめ
量子指数スケーリング優位が実証されたことで、これまでは半ば伝聞にすぎなかった「量子コンピューターは本当に桁違いに速くなる」という主張が、具体的な数字を伴う性能差として初めてはっきりと示された。現段階では“秘密の番号当て”という研究向けの小規模課題での確認にとどまるが、量子ビットの数が百万規模へ拡大し、本格的なエラー訂正が組み込まれれば、分子設計で新薬候補を高速に探索したり、現在の公開鍵暗号を短時間で破ったりといった、社会インパクトの大きな応用へ急速に波及する可能性が高い。今回の成果はその序章にすぎず、量子計算が産業や安全保障のゲームルールを塗り替える未来を現実味あるものとして示した点で大きな意味を持つ。
参考文献
- 元記事 https://www.iotinsider.com/news/researchers-demonstrate-quantum-exponential-scaling-advantage/
- Physical Review X “Demonstration of Algorithmic Quantum Speedup for an Abelian Hidden Subgroup Problem” https://doi.org/10.1103/PhysRevX.15.021082
- SciTechDaily “Quantum Computers Just Reached the Holy Grail – No Assumptions, No Limits” https://scitechdaily.com/quantum-computers-just-reached-the-holy-grail-no-assumptions-no-limits/
