IBMと量子スタートアップPasqalは、arXivに新しいホワイトペーパー「A Framework for Quantum Advantage」を発表した。この文書は、量子優位性を定義、検証、達成するための包括的なフレームワークを提供している。その発表は量子コミュニティにとって重要な瞬間であり、急速な発見と厳密な議論の時期への舞台を整えるものである。
関連するブログにおいて、IBMは、NISQレベルのマシンで2026年末までに、そして耐故障性量子コンピュータ(FTQC)が利用可能になる前に、量子優位性を達成する最初のアプリケーションを実現するための明確な道筋があると述べている。彼らは量子優位性を、古典コンピュータよりも正確に、安価に、または効率的に量子コンピュータ上でタスクを実行できる能力と定義している。この定義は単純な「量子対古典」の比較ではなく、「量子と古典の組み合わせ」が古典計算単独を上回るという共生関係を強調している。さらに、エラー緩和技術の広範な使用も必要となる。
この定義の重要な要素は「量子分離」の概念であり、これはアルゴリズム性能における証明可能なギャップである。理想的な分離は「無条件」であり、計算量理論または最良の既知の古典アルゴリズムとの直接比較に基づいている。いくつかの潜在的な分離が特定されているが、論文は、既存の結果のほとんどが量子コンピューティングの究極の約束である指数関数的な性能向上をまだ実証していないと指摘している。
量子優位性の主張が有効と見なされるためには、2つの本質的な基準を満たす必要がある。量子出力の正確性が厳密に検証されなければならず、古典的手法よりも優れた性能指標を示さなければならない。この検証プロセスは、より広いコミュニティが初期の仮説を支持または反証しようと試みる、協調的で反復的な科学的プロセスになると予想される。このやり取りはコンセンサスが得られるまで続き、量子優位性は単一のイベントではなく、一連の検証された主張になることを強調している。
著者らは、量子優位性の最初の主張は、サンプリング問題、変分問題、観測可能量の期待値の計算という3つの主要な問題領域から生まれる可能性が高いと予測している。変分問題と期待値計算における結果を厳密に検証できる能力により、これらは最初に証明される優位性の特に有望な候補となっている。
これについての追加情報は、arXivに投稿された完全な論文、およびIBMの量子優位性に関する見解をさらに提供するブログ投稿で確認できる。
2025年7月26日
