A superconducting surface-code processor with lattice-surgery logical operations

本論文は、超伝導表面符号プロセッサ上でのフォールトトレラントな格子手術演算の実験的実現を報告するものであり、高忠実度な論理ベル状態準備、論理ドイッチョフ・ジョサ・アルゴリズム、および非クリフォードゲートのテレポーテーションを実証することで、スケーラブルな量子計算のための多用途なパラダイムを確立するものである。

要約

壊れやすいメッセージを嵐の海へ送ろうとしている場面を想像してみてください。もし、たった一艘の紙の舟を送れば、一つの波で沈んでしまいます。しかし、もし多くの小さな舟を繋ぎ合わせて、巨大で補強されたいかだを作れば、いくつかの舟がダメージを受けたとしても、いかだは波を乗り越えて生き残ることができます。これが**量子誤り訂正（Quantum Error Correction）**の基本的な考え方です。つまり、多くの物理的な「舟」（量子ビット）を使って、単一の情報（論理量子ビット）を守るのです。

この論文は、その「いかだ」を構築するための大きな一歩、具体的には超伝導チップ上での**表面符号（Surface Code）**を用いた設計について述べています。研究成果を分かりやすく説明します。

1. セットアップ：いかだの構築

チームは、チップ上に125個の小さな超伝導「舟」（量子ビット）のグリッドを構築しました。彼らはこれらを、それぞれ17個の物理的な舟からなる2つの独立した「いかだ」（論理量子ビット）に整理しました。

• 課題: 現実の世界では、これらの舟は不安定です。漂流したり、エネルギーを漏らしたり、ミスを起こしたりします。
• 解決策: 彼らは常に「天候」（誤りシンドロームの測定）をチェックし、どの舟が漂流し始めているかを確認しました。もし舟が漂流し始めたら、いかだ全体が沈む前に修正することができます。彼らは、このチェックを何度も繰り返しても、メッセージ全体が破損する確率が非常に低い状態で、いかだが生き残れることを証明しました。

2. 魔法のトリック：いかだの結合と分離（格子手術 / Lattice Surgery）

この論文で最もエキサイティングな部分は、**格子手術（Lattice Surgery）**と呼ばれるテクニックです。これは、舟を物理的に動かすことなく、2つの別々のいかだに対して計算を行う方法です。

• 結合（Merging）: 2つの別々のいかだが並んで浮かんでいるところを想像してください。計算を行うために、それらを一時的に繋ぎ合わせ、一つの長く巨大ないかだにします。
• 測定: これらを繋ぎ合わせている間に、結合されたいだの特定の特性を測定します。これにより、元の2つのいかだの関係性についての情報が得られます。
• 分離（Splitting）: その後、それらを解き、再び2つの独立したいかだへと戻します。

量子力学の仕組み上、この「繋いで解く」プロセスは、単に測定を行うだけでなく、それらを**量子もつれ（Entanglement）**の状態にします。それは、2つの魔法の杖を取り、それらを触れ合わせ、その後引き離すようなものです。すると、それらは魔法によって結びつきます。片方を揺らせば、どれほど離れていても、もう片方も瞬時に揺れるのです。

3. 彼らが実際に成し遂げたこと

研究者たちは、この「繋いで解く」手法を用いて、具体的に以下の3つのことを行いました。

• 「量子の双子」の作成（ベル状態 / Bell State）: 彼らは2つの独立した論理いかだを用意し、それらを結合させ、再び分離させました。その結果、2つの論理量子ビットが完璧にリンク（量子もつれ）した状態になりました。彼らは、システム内のノイズがある状態でも、このリンクが現実的かつ強力であることを証明しました。
• 論理パズルの実行（ドイッチュ・ジョサ・アルゴリズム / Deutsch-Jozsa Algorithm）: 彼らは、このリンクされたいかだを使用して、特定の論理パズルを解きました。このパズルでは、隠された機械が常に同じ答えを出すのか、それとも混ぜこぜの答えを出すのかを見極める必要があります。彼らの量子いかだは、「未補正（raw）」のシステムよりもはるかに高い頻度で正解を導き出し、エラー訂正がコンピュータの思考を実際に助けていることを示しました。
• 「不可能」な回転（非クリフォード・ゲート / Non-Clifford Gates）: 標準的な量子コンピュータは、ある種の「回転」は容易に行えますが、「非クリフォード回転」と呼ばれる特定の種類の回転には苦労します。この回転を行うために、チームは特別なトリックを用いました。
  1. 一つのいかだに特別な「魔法の材料」（マジック状態）を準備します。
  2. いかだを結合させ、その魔法をもう一方のいかだへと転送します。
  3. いかだを分離させ、通常は非常に困難とされる複雑な回転を実質的に実行します。
     彼らは、エラーが検出された実行回を除外した場合、約94%の高い忠実度（Fidelity）でこれを行えることを示しました。

4. 結論

この論文は、**格子手術（Lattice Surgery）**が、量子コンピュータ上で複雑な計算を行うための実用的かつ機能的な手法であることを主張しています。

• 彼らは単にデータを保持するメモリースティックを作ったのではありません。そのデータに対して数学的な計算を行うことができるプロセッサを構築したのです。
• 彼らは、これらの「いかだ」を結合・分離させることで、量子もつれを作り出し、アルゴリズムを実行し、複雑な回転を行えることを証明しました。
• システムは依然として、現実世界の課題を解決するためにはより大規模でより完璧である必要がありますが、この実験は、スケーラブルでフォールトトレラント（耐故障性）な量子コンピュータの基礎となる構成要素が、意図通りに機能していることを証明しています。

要約すると、彼らは、2つの別々のエラー訂正された量子「いかだ」を取り、計算のためにそれらを繋ぎ合わせ、そして引き離して、有用で量子もつれた結果を得ることができることを、見事に実証したのです。これは、実際に問題を解決できる量子コンピュータの構築に向けた、極めて重要なマイルストーンです。

技術概要

技術要約：格子手術による論理演算を備えた超伝導表面符号プロセッサ

問題提起
スケーラブルな量子計算には、低重みの物理エラーが修正不可能な論理的失敗へと伝播するのを防ぐ、フォールトトレラントな論理演算が必要である。表面符号は、その高い閾値と平面レイアウトへの適合性から、量子誤り訂正（QEC）の有力な候補であるが、実験的な進展は、主に繰り返しされるシンドローム抽出サイクル（SEC）のデモンストレーションや、ブレークイーブンポイントを超える論理メモリ寿命の実現に焦点を当ててきた。極めて重要な残された課題は、静的な二次元超伝導アーキテクチャの厳格な制約内で、フォールトトレラント性を維持しつつ論理演算を実装することである。横断的（transversal）操作はフォールトトレラント性を備えているが、平面システムでは利用不可能な非局所的結合を必要とする。格子手術（lattice surgery）は、コードパッチを動的に変形して操作を行う手法であり、このようなプラットフォームのための解決策として提案されているが、完全に誤り訂正可能な表面符号パッチ間での直接的なデモンストレーション、および非クリフォード論理ゲートの実装は、依然として未解決の実験的課題である。

手法
著者らは、125個の調整可能なトランスモン量子ビットからなる平面超伝導プロセッサ上で、基礎的な格子手術操作を実験的に実現した。このシステムは、2つの論理量子ビット $L_1$ と $L_2$ をホストしており、それぞれが距離3の回転表面符号（1パッチあたり9個のデータ量子ビットと8個のシンドローム量子ビット）によって符号化されている。

コアとなる手法は以下の通りである：

1. 格子のマージ（結合）とスプリット（分離）： 2つの離れたコードパッチを、シンドローム抽出回路を動的に再構成することで、単一の細長い $7 \times 3$ 回転表面符号（$L_3$）へとマージする。これには、境界スタビライザーの拡張と、アンシラ・データ量子ビットおよびシンドローム量子ビットの導入が含まれる。論理パウリ演算子は、シンドローム記録のパリティを介して測定される。その後、パッチはアンシラ・データ量子ビットを $Z$ 基底で測定し、元のスタビライザー重みを復元することによって、$L_1$ と $L_2$ へと分割される。
2. 状態準備と補正： 論理ベル状態は、測定誘起エラーを補正するために中間測定結果に基づいたパウリ・フレームの更新を利用する格子分割プロトコルを通じて、決定論的に生成される。
3. アルゴリズムの実行： 2量子ビットのドイッチュ・ジョサ・アルゴリズムが論理レベルで実行される。量子オラクルは格子手術によって実装され、定数関数とバランス関数を区別する。
4. 非クリフォード演算： ユニバーサル制御は、マジック状態注入とゲート・テレポーテーションを通じて達成される。高フィデリティのマジック状態が $L_2$ 上に準備され、共同 $M_{XX}$ 測定（マージ/スプリット操作を通じて実現）を介して $L_1$ 上の任意の論理 $R_X(\theta)$ 回転を実行するために消費される。
5. エラーハンドリング： 本研究では、エラー訂正のために信念マッチング・デコーダを採用し、「検出されたエラーフリー」のポストセレクション（非自明なシンドロームまたはリークイベントが発生したランを破棄する）を用いて、性能の上限をベンチマークしている。

主な貢献

• 格子手術の実験的実現： 超伝導プロセッサ上における、2つの距離3表面符号論理量子ビット間の直接的な格子マージおよび格子スプリット操作の初の直接的なデモンストレーション。
• 論理的もつれ： 2つの表面符号パッチ間に決定論的な論理ベル状態（$|\Phi^+\rangle_L$）を準備し、ビット反転エラーと位相反転エラーの両方に対する同時保護を提供する。
• 論理アルゴリズムの実行： 論理レベルでのドイッチュ・ジョサ・アルゴリズムの成功した実装により、フォールトトレラントな枠組み内でのアルゴリズムの有用性を実証した。
• 非クリフォードゲートの実装： マジック状態注入とゲート・テレポーテーションを介した、論理 $X$ 軸周りの連続的な非クリフォード論理回転の実現。これはユニバーサル量子計算の必須要素である。

結果

• 論理メモリ性能： リークイベントを除外した後、論理量子ビットはサイクルあたりのエラー率 $\epsilon_{L1} = 0.0365(2)$ および $\epsilon_{L2} = 0.0282(1)$ を示した。
• ベル状態のフィデリティ： 生（raw）の状態フィデリティは $0.372$であった。信念マッチング・デコーダを使用すると、フィデリティの下限は$F_{dec} = 0.532$に向上し、真の二部グラフもつれを確認した。検出されたエラーフリーのポストセレクション下では、フィデリティは$F_{pst} = 0.925$ に達した。
• ドイッチュ・ジョサの精度： エラー訂正は分類精度を大幅に向上させた。定数関数の場合、精度は $0.886$（生データ）から$0.970$（デコード後）へと上昇した。バランス関数の場合、精度は$0.623$から$0.716$へと向上した。ポストセレクションはこれらをニア・ユニティ（1に近い値）まで高めたが、バランス関数のケースではデータのわずか$0.06%$ の保持という代償を伴った。
• 非クリフォードゲートのフィデリティ： 論理 $R_X(\pi/4)$ ゲートについて、エラー訂正後の結果は生データに対して緩やかな改善を示した。検出されたエラーフリーのポストセレクション下では、論理ゲートのフィデリティは $0.943^{+10}_{-9}$ に達した。

意義
著者らは、これらの結果が、近傍の表面符号アーキテクタにおける実用的かつ多用途なパラダイムとしての格子手術を確立するものであると主張している。メモリ保存、もつれ生成から、アルゴリズム実行およびユニバーサルゲートの実装に至るまでのフルスタックの操作を実証することで、本研究は、超伝導回路におけるスケーラブルなフォールトトレラント量子優位性への重要なマイルストーンを提示している。本論文は、これらの知見を、孤立した量子メモリからプログラム可能なフォールトトレラント・プロセッサへと移行するために必要な不可欠な構成要素として位置づけている。