IBMとシカゴ大学、数学的に正しさが保証された『検証可能な量子優位性』を世界で初めて実証

技術詳細：Heronプロセッサ上の70論理量子ビット

主力実験はIBMの量子プロセッサ「Heron」で実行され、以下の注目すべき指標を達成しました ：

• 70個の論理量子ビットを新たな誤り訂正手法で符号化。これはこれまで報告された中で最大規模のフォールトトレラント論理量子ビット実証の一つです。
• 回路は2,415回の論理2量子ビット演算と468個の論理Tゲートを実行。これらは計算複雑性を定量化する標準的な指標です。
• 計算は約15分で完了。研究チームによれば、主要な古典的シミュレーション手法では非現実的な時間を要するタスクです。
• 論理エラーレートは、物理エラーレートと比較して約10分の1に抑制されました 。

今回解かれた問題は、古典的には困難ながら検証が可能なように設計されたサンプリングタスクです。チームは回路と結果をIBMの**「Quantum Advantage Tracker」**で公開しており、研究コミュニティからの反証や挑戦を明示的に呼びかけています 。

検証のブレークスルー：「時空符号」

検証を可能にした中核技術は、**「時空符号（Spacetime Code）」**と呼ばれる新しい手法です。これは、従来の量子優位性実験で使われてきたランダム回路サンプリング（RCS）に代わる、構造化されたアプローチです 。

• 研究者らは、まず回路全体をクリフォード（Clifford）ゲートで構成。クリフォードゲートは古典的にシミュレーションが効率的であり、自然にエラー検出をサポートします。
• そして、普遍的な量子計算に不可欠なTゲート（非クリフォード演算）を、**回路のエラー検出能力を維持できる特定の位置に注意深く「接ぎ木」**しました 。
• この設計により、計算中にエラーを検出することが可能になり、事後的な古典的検証に依存する必要がなくなりました 。

チームは95%の統計的信頼度で、忠実度（Fidelity）の下限を0.284と算出。これは、量子優位性実験において数学的に保証された正しさの範囲を初めて示したものです 。

ただし、この検証には大きなトレードオフがありました。実験の総試行回数は通常の860倍に膨れ上がり、エラー検出フィルターを通過したのはわずか**約28%**の試行のみでした 。このオーバーヘッドは、実用的なアプリケーションにスケールさせるための大きな工学的課題です。

広がる文脈：3本の論文、1つの発表

7月30日の発表では、7月27日から28日にかけてarXivに投稿された3本のプレプリントが連携して公開されました 。

• IBM + シカゴ大学: 上記で説明した旗艦的な論理回路の成果。
• IBM + Qedma Quantum Computing: Qedma社の誤り軽減ソフトウェア「QESEM」を使用し、最大74量子ビットの長寿命ダイナミクスを観測。理研（RIKEN）やBlueQubitによる古典シミュレーション、Quantinuumのハードウェアチェックと比較しました 。
• IBM + Algorithmiq: 不均一な量子材料のシミュレーションで量子優位性を実証。この問題は、Quantum Advantage Trackerに公開されてから8ヶ月間未解決でした 。

外部の研究者は、QedmaおよびAlgorithmiqの関連論文は自ら明示的に「量子優位性」を主張しているわけではなく、古典的シミュレーションが困難であることを示したと述べていると指摘しています。3論文すべて未査読のプレプリントです 。

懐疑論と注意点

主要な量子コンピューティングの主張には常に懐疑的な見方が存在します。長年の批評家であるGil Kalai氏は、ノイズが依然として結果を無効にする可能性があると主張しています 。860倍のエラー検出オーバーヘッドは大きな実用的制限であり、現実の商業的関心事にこの手法をスケールさせることは、依然として大きな未解決の課題です 。IBMはデータと手法を完全に公開し、独立した検証を明示的に呼びかけることで応じています 。

CEO Arvind Krishna氏：財務予測と投資計画

技術発表と同じ日、IBMのCEO Arvind Krishna氏はCNBCの「Mad Money」に出演し、商業的影響について語りました 。

• Krishna氏は、量子コンピューティングが2028年か2029年までにIBMのトップラインとボトムラインに「測定可能な影響」を与えると述べました 。
• また、**2030年代の終わりまでには量子コンピューティングが1兆ドルの価値を生み出す可能性があると「かなり確信している」**と語りました 。

これらの予測は、巨額の投資に裏付けられています。IBMは2026年6月、今後5年間で量子コンピューティングに100億ドル以上を投資する計画を発表しており、研究開発、ハードウェア製造、誤り訂正、ソフトウェア、エコシステムパートナーシップをカバーしています 。同社は2029年までに大規模なフォールトトレラント量子コンピューターを提供する計画を順調に進めています 。

計画されている独立した量子チップファウンドリは、米国商務省からの10億ドルのコミットメントによって部分的に支援されています 。

その意味するところ

もしこれらの結果が査読を通過すれば、これは量子ハードウェアが意味のある実用性の閾値を超えたという最も信頼性の高い証拠となるでしょう。古典的に困難な計算と統計的に保証された正しさの組み合わせは、Googleの2019年のSycamore実験以来、あらゆる量子優位性の主張に影を落としてきた中心的な信頼問題に対処するものです。オーバーヘッドの大きさや問題が検証可能に設計されていたこと、論文が未査読であることなど、注意点は確かにあります。しかし、量子コンピューティングは概念実証から、検証可能で信頼できる計算へと移行しつつあることは明らかです。