量子メモリは大きくするほど、ついに性能が上がった — 本当の節目と、それがまだ量子コンピュータではないこと

曲線が正しい向きに曲がった瞬間

30年にわたり、量子誤り訂正は、これまで一度もきれいに果たされたことのない約束の上に成り立ってきた。理論はこう述べる。1単位の量子情報 — 1個の論理量子ビット — を、ノイズの多い多数の物理量子ビットに分散させ、その物理量子ビットが十分に良質でありさえすれば、それをさらに増やすほど論理量子ビットはより良くなるはずであり、符号が大きくなるにつれて誤りは指数関数的に減っていく、というものだ。問題は「もし」の部分にある。臨界的なノイズのしきい値を下回っていれば、量子ビットを増やすことは役に立つ。しかしそれを上回っていれば、量子ビットを増やしても、ただノイズが増えるだけだ。これまでの実験はすべて、この線の誤った側にとどまっていたか、その傾向をきれいに示すことができなかった。符号を大きくすると、良くなるどころか悪くなっていたのである。

2024年12月、Google Quantum AIは、もう一方の領域を初めて明確に実証したと報告した。最新世代の超伝導プロセッサであるWillowの上に、研究チームは符号距離3、5、7の表面符号メモリを構築し、符号を大きくするたびに論理誤り率が下がっていくのを観測した。距離が2段階上がるごとに、その低減率はΛ = 2.14 ± 0.02 だった。最大のものは101量子ビットの距離7メモリで、訂正1サイクルあたり 0.143% ± 0.003% の誤り率で1個の論理量子ビットを保持した。そして — 見出しの中の見出しとも言うべき点だが — それは自らを構成する最良の物理量子ビットよりも長く、2.4 ± 0.3倍の長さで生き延びた。これは「損益分岐点を超える(beyond breakeven)」と呼ばれる状態であり、誤り訂正という仕組み全体が、このハードウェア上で初めて「元を取った」事例である。

これは正真正銘の節目であり、それがどのような種類のものかを正確に述べておく価値がある。これは、スケーリングが今や正しい向きに進むことの証明である。これは動作する量子コンピュータではなく、論文もそう主張してはいない。

著者たちが行ったこと

• 2枚のWillowチップの上に表面符号メモリを構築した。1枚は、スケーリング試験を担った距離3、5、7の符号を動かす105量子ビットのプロセッサ(その最大のものが、101量子ビット・データ量子ビット49個の距離7メモリ)であり、もう1枚は、リアルタイムデコーダを備えた距離5のメモリと、高距離の反復符号を動かす72量子ビットのプロセッサである。
• 符号距離を3から5、7へと増やすにつれて1サイクルあたりの論理誤りがどう変化するかを測定し、抑制係数Λを求めた。
• 論理量子ビットの寿命を、同じチップ上で最良の個々の物理量子ビットと比較し、「損益分岐点(ブレークイーブン)」に達しているかを検証した。
• 距離5の符号を、リアルタイムデコーダ — 誤りチェックが生成されるのと同じ速さでそれを解釈する古典的なハードウェア — とともに最大100万サイクルにわたって動かし、誤り訂正が装置の速度に追いつけることを示した。
• より単純な反復符号を距離29まで押し広げ、性能の下限を決めている、稀で根深い誤りの発生源を探った。

分かったこと

• 符号はしきい値を下回っている。 1サイクルあたりの論理誤りは、距離が2ずつ増えるごとに Λ = 2.14 ± 0.02 という係数で減少した — きれいな指数関数的抑制であり、理論が約束しながら、どのプロセッサも決定的には示せていなかったふるまいである。
• 距離7のメモリは1サイクルあたり 0.143% ± 0.003% の誤り率に達し、最良の物理量子ビットよりも2.4 ± 0.3倍長く持ちこたえた — 損益分岐点を超えたのである。
• リアルタイムでの復号は速度に追いついた。 デコーダの遅延は距離5で平均63マイクロ秒であり、これに対しサイクル時間は1.1マイクロ秒だった。この状態が100万サイクルにわたって保たれた — 誤り訂正は、事後の分析としてだけでなく、リアルタイムで動いていたのである。
• 稀で根深い誤りの発生源が残っている。 反復符号の試験では、性能は最終的に、およそ1時間に1回(3 × 10⁹ サイクルに約1回)起きる相関のある誤りのバースト(集中的な発生)によって制限された。これが 10⁻¹⁰ 付近の誤りの下限を生んでおり、その起源はまだ解明されていないと著者たちは述べている。

これが証明していないこと

• これは計算を行う量子コンピュータではない。これは量子メモリであり、1個の論理量子ビットを蓄えて保護する。論理量子ビット間の論理演算(ゲート)は行わず、いかなるアルゴリズムも実行しない。
• これは、有用な機械まであと量子ビット1個、という段階ではない。距離7の論理量子ビットは約101個の物理量子ビットを費やす。1サイクルあたり0.1%という誤り率は、実際のアルゴリズムが必要とするおよそ 10⁻⁶ から 10⁻¹⁰ には依然としてはるかに及ばない。その差を埋めるには、はるかに大きな距離へと押し進める — 論理量子ビット1個あたりの物理量子ビットをさらに大幅に増やす — 必要があり、しかも有用なアルゴリズムには一度に数千個の論理量子ビットが必要となる。そのための物理量子ビットの見積もりは数百万個に達する。
• 「スケールさせれば」という条件が、大きな意味を担っている。 論文自身の結論は、この装置の性能はスケールさせれば大規模なアルゴリズムの要件を満たしうる、というものだ。1個の論理量子ビットで傾向が正しいことを示すのは、スケールした機械を実際に作ったことと同じではない。そして、その傾向がはるかに大きなサイズまで保たれる保証は、ここには何もない。
• 説明のつかない誤りの下限は、現に残された問題である。 反復符号の性能に上限を課している相関のあるバーストは、著者たちの言葉によれば、予想を桁違いに上回る大きさであり、解明されるまでは、より大規模な誤り耐性のある応用を妨げるだろう — きっぱりと述べられた未解決の欠陥であって、解決済みの細部ではない。
• これは、**暗号の解読や、有用なタスクにおける「量子超越性」**については、何も語っていない。それらには、完全な誤り耐性を備えた機械が必要であり、今回の成果はその礎石ではあっても、その実証ではない。

証拠はどれほど確かか

• 中心的な主張は堅実で重要である。 3つの符号距離にわたるきれいな指数関数的抑制を伴うしきい値以下での動作、それに損益分岐点を超える寿命と、実際に機能するリアルタイムデコーダ — これはまさに、この分野が到達しようとしてきた組み合わせであり、しかも推論ではなく直接に実証されている。これは誇大宣伝の産物ではなく、第一線の研究グループによる本物の工学的成果である。
• 著者たちは、その適用範囲について慎重である。 彼らはこれをしきい値以下のメモリと位置づけ、説明のつかない相関誤りの下限を自ら明示し、将来については目立つ「スケールさせれば」という条件つきで慎重に語っている。行き過ぎがあるとすれば、それは周辺の報道の側であり、「誤り訂正されたメモリ量子ビットは、大きくするほど良くなった」という事実を、「量子コンピューティングはもう実現した」へと切り上げてしまっている。
• 正直に言えば、その位置づけは、きれいに踏み出された基礎的な一歩である。 1個の論理量子ビットが、冗長性を加えることがついに役立つほど十分に保護された — とはいえ、スケーリング、論理ゲート、そして説明のつかない誤りという、長く、困難で、いまだ保証されていない道のりが、なお前方に控えている。

なぜ重要か

誤り耐性のある量子コンピューティングには、いつも「鶏が先か卵が先か」という趣があった。有用となるような機械は、どの物理量子ビットにも到達できない誤り率を必要とする。そしてその解決策 — 誤り訂正 — が働くのは、ハードウェアがすでにしきい値を下回るほど十分に良質である場合に限られるからだ。その線を、たとえ一度でも、たった1個の論理量子ビットの上ででも越えることは、問いを「そもそもこれは可能なのか?」から「どこまで、どれだけ速くスケールできるのか?」へと変える。これは現実的で意味のある転換であり、この成果が注目に値する理由である。

しかし、この成果を信頼に足るものにしているのと同じ慎重さこそが、その周囲で語られる物語を抑えるべきものだ。これはうまく据えられた基礎の、最初の一つのレンガである。それは建物ではないし、それを据えた人々こそ、真っ先にそう言っている。今後数年にわたって量子コンピューティングを追ううえで正しい姿勢は、まさにこの地味な曲線を見ることだ。すなわち、符号が大きくなっても抑制係数が保たれるかどうか、論理メモリと同じくらいきれいに論理ゲートが実現できるかどうか、そしてあの謎めいた「1時間に1回」の誤りが、いつか説明されるかどうか、である。

クリーンなまとめ

Google Quantum AIは、表面符号による量子メモリがしきい値を下回って動作しうることを、初めてきれいに示した。符号を距離3から5、7へと大きくするにつれて論理誤り率は指数関数的に減少し(2段階ごとに約2.14倍)、最大の101量子ビットの距離7メモリは、その誤り訂正がリアルタイムで動くなか、最良の物理量子ビットよりも長く持ちこたえた — 損益分岐点を超えたのである。これは、量子コンピュータの工学における、正真正銘の、長らく求められてきた節目である。同時にこれは、メモリとして働く1個の論理量子ビットにすぎず、その誤り率は実際のアルゴリズムが求める水準にはなお遠く、論理演算は一つも行われておらず、著者たち自身が指摘する説明のつかない誤りの下限を抱え、何桁にもわたるスケーリングの道のりが前方に控えている。現実に一つのしきい値が越えられたのであって、量子コンピュータが実現されたのではない。