IonQの研究者らが、イオントラップ方式の耐故障量子コンピュータに向けた「Walking Cat」アーキテクチャをarXivで公開した。110論理量子ビットで1日あたり約100万個のTゲートを実行する構成を、合計2514物理量子ビットで見積もった点が中核だ。1万物理量子ビット級では、100サイトのハイゼンベルク模型シミュレーションを約1カ月で実行できる可能性も示した。これは実機の実証ではなく、量子LDPC符号、イオン輸送、誤り訂正、コンパイラ、マイクロアーキテクチャまでをつないだ設計図である。IonQが耐故障化に必要な物理性能、制御系、損失対策をどこまで明示したかが、今回の発表の読みどころになる。

AD

2514物理量子ビットの数字は、Tゲート工場まで含む総量だ

論文「Fault-Tolerant Quantum Computing with Trapped Ions: The Walking Cat Architecture」は4月21日にarXivへ投稿され、IonQは4月22日にブログと投資家向け発表で概要を説明した。著者はFelix Tripier氏、Nicolas Delfosse氏ら18人で、論文は110ページにわたり、コンパイラ、誤り訂正プロトコル、デコーダ、論理アーキテクチャ、QCCDチップ上のイオン移動までを一つの設計として扱っている。一部メディアは4月23日、この設計を「数千物理量子ビットで数百万ゲートを走らせる青写真」として報じた。

論文が「dense architecture」と呼ぶ構成では、新しい量子LDPC符号Q102、すなわち[[102, 22, 9]]符号を使い、1ブロックあたり22論理量子ビットを格納する。110論理量子ビットで1日あたり約100万個のTゲートを実行する設計は、2514物理量子ビットで成立すると見積もられている。この2514という数字には、メモリだけでなく、誤り訂正、漏れと損失の補正、マジック状態を作る工場、キャット状態を作る工場、リザーバ、ルーティング用量子ビットが含まれる。

速度を重視する「fast architecture」は、論文が導入する[[70, 6, 9]]符号とクリフォードフレーム追跡を使う。IonQのブログによれば、約1万物理量子ビットのWalking Cat構成にハイゼンベルク・ハミルトニアンシミュレーションをコンパイルした場合、化学精度に必要な反復を含めて、およそ1カ月で完了する見積もりである。対象は100サイトのランダム7正則グラフで、スピングラスのような乱れた磁性系に関係する材料科学計算の例として置かれている。

だが既存機がこの規模の耐故障計算に到達したわけではない。論文が示したのは、量子LDPC符号を中心にした資源見積もりと、トラップイオンが得意とするイオン移動を前提にした実装経路である。従来のNISQ機は数百の物理量子ビットで数千ゲートを動かせても、誤りが蓄積して長い計算に耐えにくい。Walking Catは、物理量子ビット数を増やすだけでなく、論理命令、誤り訂正、資源状態生成、物理制御を同時に設計すれば、数千から1万物理量子ビット級でも耐故障計算の入口を作れると主張している。

Walking Catの中核は、量子LDPC符号と移動するキャット状態である

Walking Catという名前は、量子計算で使うキャット状態を、QCCDチップ上で動かす構造から来ている。IonQの説明では、キャット状態は論理量子ビットを直接壊さずに誤りを調べるための資源状態であり、論文ではキャットファクトリーがこれを継続的に作り、機械全体へ配る。Tゲートのような非クリフォード操作にはマジック状態が必要になるため、別にマジックファクトリーも置く。メモリ、キャットファクトリー、マジックファクトリー、ベルファクトリー、失われたイオンを補う量子ビットファクトリーを分け、論理層では並列に動かせる構造を取る。

Walking Catは、表面符号中心の発想ではなく、量子LDPC符号を前面に出している。LDPC符号は、一つの検査が少数の量子ビットにだけ関わり、一つの量子ビットも少数の検査にだけ関わる疎な構造を持つ。うまく使えれば、表面符号より少ない物理量子ビットで多くの論理情報を保持できる。ただし、LDPC符号は近接結合だけのハードウェアでは実装しにくい。IonQは、トラップイオンを物理的に動かせるQCCD方式を使い、固定配線ではなくイオン輸送で接続性を作る。

IonQは、Walking Catが依存する主要なハードウェア能力として、99.99%を超える2量子ビットゲート忠実度と信頼できるイオン輸送を挙げている。ブログでは、これらは小規模なQCCDトラップイオン装置で実験的に示された能力だと説明している。論文も、設計が「小型デバイスで実証済みのハードウェア部品」に依存していると述べる一方、数千量子ビット級への拡張そのものを実証したとは言っていない。

耐故障機では、ゲート忠実度だけでなく、イオン損失、漏れ状態、測定、再装填、古典制御、デコーダ速度が同時に効く。論文は損失検出や漏れ補正の手順を含め、デコーダも誤りが蓄積する前に処理できることを設計要件に入れている。実機ではトラップ製造、レーザーやマイクロ波制御、チップ上の熱・電気的安定性、複数ゾーンの並列動作が資源見積もりを押し上げる可能性がある。

AD

IonQの2030年ロードマップを読むには、設計図と実証を分ける必要がある

IonQは今回の発表で、Walking Catを同社の耐故障時代に向けた設計図と位置づけた。ブログでは、この設計を2030年目標である200万物理量子ビット、8万論理量子ビットへつなげる枠組みだと説明している。IonQのロードマップも、2027年に1万物理量子ビットと800論理量子ビット、2030年に200万物理量子ビットと8万論理量子ビットを掲げる。今回の論文は、その途中段階で何を作るのかを、従来より細かく示した資料と読める。

IonQの投資家向け発表には、前向き見通しに関する注意書きが付いている。同社は「完全な設計仕様」「技術的透明性」を強調するが、arXiv投稿は査読済み論文ではない。論文中の資源見積もりも、物理エラー率、漏れ率、損失率、動作時間、デコーダ性能などの仮定に依存する。The Quantum Insiderも、arXivは迅速な共有の場であり査読誌ではない点を明記している。商用ロードマップとして読む場合、この区別は外せない。

量子コンピュータ企業の評価軸は、物理量子ビット数から、論理量子ビット、論理エラー率、実行できる回路の深さへ移りつつある。IonQのWalking Catは、トラップイオン方式が持つ高忠実度と可動性を、量子LDPC符号の実装に結びつける主張である。超伝導方式が配線や結合器で長距離接続を作ろうとするのに対し、IonQはイオンそのものを動かすことで接続性を作る。この違いが、少ない物理量子ビットで論理計算へ進めるという同社の訴求点になっている。

2514物理量子ビットや1万物理量子ビットの見積もりは、実際のチップ製造と制御系で保てるかが次の焦点になる。IonQが示す99.99%級の忠実度やイオン輸送も、単一実験ではなく大規模並列動作で維持する必要がある。ハイゼンベルク模型のようなベンチマークが、材料科学や化学の実利用にどこまで近い価値を持つかも残る論点である。今回のニュースは、耐故障量子コンピュータが完成したという話ではない。IonQが、数千量子ビット級から何を耐故障計算として数えるのかを、設計図と数値で市場に示し始めたことに意味がある。

論文

参考文献