量子優位性、量子超越性、量子ユーティリティ:言葉の意味
3つの表現の由来(Preskill、2019年の Sycamore 実験、IBM の反論、2023年のユーティリティ論文)と、それぞれの主張の読み方。
このページは英語から翻訳されています。企業名・製品名・出典リンクは変更していません。 英語の原文を読む
量子コンピューティングの報道には、3つの表現が繰り返し登場します。量子超越性、量子優位性、そして量子ユーティリティです。これらは同義語として扱われることもあれば、進歩の段階として扱われることもあります。しかし、そのどちらでもありません。それぞれ異なる論文や講演に由来し、異なる比較を行うものであり、いずれも慎重にも、ずさんにも使われ得ます。
このガイドでは、これらの言葉の由来、責任ある主張が明示すべき事項、そして量子ビットや誤り訂正といったより基本的な概念と並べてどう読むかを説明します。量子コンピューティングの発表の読み方に関するチェックリストと対になるガイドです。
量子超越性
John Preskill は2012年の報告講演で「quantum supremacy(量子超越性)」という言葉を提唱し、その講演は後に「Quantum computing and the entanglement frontier」として公開されました。彼はこの言葉を、よく制御された量子系が通常のデジタルコンピュータの能力を超えるタスクを実行できるようになる、待望の瞬間を指して使いました。その講演では、説得力のある超越性の実証が、有用な産業上の問題を解く必要はありませんでした。古典的なシミュレーションが難しく、近い将来のハードウェアで実行可能だという理由で選ばれた、人為的なタスクでもよかったのです。
その意味、つまり量子デバイスが、妥当な古典シミュレーションの限界に迫るか、それを超える何かを行うこと(必ずしも誰かがお金を払って計算したいものである必要はない)が、研究文献に定着した意味です。
最もよく知られた主張は2019年10月に登場しました。Google と共同研究者が Nature に「Quantum supremacy using a programmable superconducting processor」を発表したときです。彼らは53量子ビットの Sycamore プロセッサでのランダム回路サンプリング実験を報告し、自分たちの量子デバイスで約200秒かかったタスクが、最先端のスーパーコンピュータでは約1万年かかると見積もりました。これらの数字は著者による推定であり、自然界の普遍定数ではありません。古典シミュレーションをどうモデル化するかに左右されます。
IBM の研究者たちは公に反論し、その中には「On ‘quantum supremacy’」と題したブログ記事もありました。より慎重な古典シミュレーション、特に二次記憶装置をうまく活用するものであれば、同じサンプリングタスクを数千年ではなく数日で終えられると主張したのです。意見の相違は、Sycamore が難しい回路を実行したかどうかではありませんでした。古典アルゴリズムとマシンモデルをより寛大に設定したとき、「古典コンピュータの手の届かない」とは何を意味するのか、という点にありました。
このやり取りが、その後のあらゆる超越性型の主張を読む際のひな形になります。タスクを特定し、量子デバイスを特定し、古典側のベースラインを特定し、古典アルゴリズムの改良に伴ってベースラインが動くことを想定しておくことです。
量子優位性
「量子優位性」は互いに重なる2つの意味で使われており、それが混乱の原因になっています。
一つ目の用法では、超越性の穏やかな同義語です。明確に定義されたタスクで、量子コンピュータが古典コンピュータを上回ることを指します。英語の「supremacy」には物理学とは無関係な政治的な含意があるため、「advantage」を好む研究者もいます。論文がその理由で supremacy という言葉を避けていると述べる場合、たいていは依然として計算上の比較について語っているのであり、ある製品が古典コンピュータより全般的に優れているという話ではありません。
もう一つの用法では、「advantage」は、比較のために考案されたサンプリングタスクではなく、人々がすでに関心を持っている問題、たとえば化学、材料、最適化、暗号における高速化(またはコストやエネルギーの改善)に限って使われます。このより厳格な用法では、ランダム回路サンプリング実験は、優位性ではないが超越性ではある、ということになり得ます。
何を何と比較したのかが書かれていなければ、発表がどちらの意味で言っているのかはわかりません。「量子優位性を達成」とだけ書かれた見出しは未完成です。
量子ユーティリティ
「ユーティリティ」という言葉が広く使われるようになったのは、IBM と学術パートナーの Youngseok Kim、Andrew Eddins、Abhinav Kandala らによる2023年の Nature 論文「Evidence for the utility of quantum computing before fault tolerance」の後です。この実験では、ノイズのある127量子ビットの超伝導プロセッサで回路を実行し、その中には最大60層の2量子ビットゲートを含む回路(彼らが強調した最大のケースでは2,880個の CNOT ゲート)もありました。著者らは、総当たりの古典計算を超える規模で正確な期待値を測定できたこと、そして強くもつれた領域では、一部のテンソルネットワーク手法を含む有力な近似古典手法が破綻する場面でも、自分たちの結果は信頼できるままだったと主張しました。
この論文そのものから、2つの注意点が直接導かれます。第一に、著者らはこれをフォールトトレラント以前の時代におけるユーティリティの証拠、すなわち近い将来の手法を探るための基盤として提示しており、商用アプリケーションがいまやあらゆる古典ソルバーに勝るという主張としてではありません。第二に、彼らは特定の古典手法と比較しています(総当たりシミュレーションが適用できる場合はそれと、適用できない場合は名前を挙げた近似手法と)。後に登場する古典アルゴリズムがその差を縮めたり埋めたりすることはあり得ます。ちょうど古典シミュレーションの研究が2019年の超越性の比較の一部に答えたのと同じです。
より緩いマーケティング用語では、「ユーティリティ」が「顧客が当社の量子システムから価値を得ている」という意味にまで拡大されることがあります。それはビジネス上の主張としては妥当かもしれません。しかし、2023年の論文と同じ主張ではありません。
これらの言葉と NISQ、フォールトトレランスとの関係
Preskill の後の NISQ 論考(2018年)は、数十から数百のノイズのある量子ビットを持ち、シミュレーションが難しい実験を行えるほど興味深いものの、完全なフォールトトレラント誤り訂正にはまだ守られていないデバイスの時代を描きました。超越性型のサンプリング実験は、自然とこの時代に位置づけられます。ノイズのあるデバイスが、特別に設計したタスクで古典シミュレーションを上回れるかを問うものだからです。
教科書で論じられるような有用で大規模なアルゴリズムは、一般にフォールトトレラントなマシン、つまり論理量子ビットと論理ゲートが深い回路を実行できるほど信頼できるマシンを前提としています。これは超越性、優位性、ユーティリティとは別のマイルストーンです。あるグループが優位性を主張せずに誤り訂正の進展を報告することも、論理量子ビットを持たずに超越性型の実験を報告することもあり得ます。
これらの層を混同すること、つまり「超越性を実証した。だから有用なアルゴリズムはもう来ている」と考えることは、一般向けの記事で最もよく見られる飛躍です。実験論文そのものがこの飛躍をすることはめったにありません。
3つの主張のいずれにも使える読解テスト
発表がどの言葉を選んでいても、同じ問いが当てはまります。
- タスク。何が入力され、何が出力され、その出力はなぜ古典的に難しいのか。
- 量子デバイス。量子ビットはいくつか、方式は何か、回路の深さはどれくらいか、どんな誤り抑制や誤り訂正を使ったのか。
- 古典側のベースライン。どのアルゴリズムを、どのマシンで、どれだけの時間とメモリで実行したのか。その実装を選んだのは量子チームか、独立した古典側のグループか。
- 検証。問題が大きすぎて厳密にシミュレーションできない場合、量子の出力が正しいことをどうやって確かめるのか。
- 主張の安定性。後の古典手法がすでに差を縮めていないか。元の実験に誤りがなくても、超越性や優位性の主張は縮小し得ます。
- 有用性。そのタスクは実験の外にいる利用者が解決を望んでいたものか、それとも比較のために作られたベンチマークか。
これらの答えが論文や技術ブログ記事に書かれていれば、見出しの言葉はそれほど重要ではありません。書かれていなければ、見出しの言葉がそれを補うことはできません。
DesignQuantum™ におけるこれらの用語の使い方
当サイトのニュース記事では、発表したグループが実際に行った比較を、出どころを明記した彼ら自身の言葉で繰り返し、そのうえで論文や記事へリンクすることを優先しています。当サイト自身の言葉として「超越性」「優位性」「ユーティリティ」を使うのは、どの比較を指しているかが明確な場合だけです。リリースが比較を示さずにこれらの言葉を使っている場合は、それを発言者の主張として扱い、当サイトが独自に評価した結果としては扱いません。
用語はこれからも変わり続けるでしょう。変わるべきでないのは、計算に関する主張がそのタスクとベースラインを明示すべきだという要求です。
出典
このページの情報は、以下の出典をもとにDesignQuantum™が収集したものです。
- Quantum computing and the entanglement frontier (Preskill, 2012) arxiv.org
- Quantum Computing in the NISQ era and beyond (Preskill, 2018) arxiv.org
- Quantum supremacy using a programmable superconducting processor (Arute et al., Nature 2019) nature.com
- On “quantum supremacy” (IBM, 2019) ibm.com
- Evidence for the utility of quantum computing before fault tolerance (Kim et al., Nature 2023) nature.com
- Quantum supremacy — Wikipedia en.wikipedia.org
- How to read a quantum computing announcement — DesignQuantum™ designquantum.com
- Quantum error correction and logical qubits, explained — DesignQuantum™ designquantum.com