技術要約：量子ブロック・ターボ符号 (Quantum Block Turbo Codes)

問題提起

量子誤り訂正（QEC）は、スケーラブルな量子計算のための基本的な前提条件であるが、古典的な誤り訂正と比較して特有の課題に直面している。量子状態は脆弱であり、デコヒーレンスに対して感受性が高いため、符号化された状態を崩壊させることなく誤りを訂正できる符号が必要となる。表面符号（Surface codes）は高い誤り閾値を提供する一方で、漸近的に消失する符号率と高いオーバーヘッド（論理量子ビットあたり $O(d^2)$）という課題がある。対照的に、量子LDPC（qLDPC）符号は一定の符号率と優れたスケーラビリティを約束するが、多くの場合、複雑な復号の課題や非局所的な接続制約に直面する。

さらに、古典的な誤り訂正は、1990年代にターボ符号によって革命が起きた。これは、連結された符号（畳み込み符号または積符号）の反復復号を利用して、シャノン限界に接近するものである。量子シリアル・ターボ符号（畳み込み符号に基づくもの）は探索されてきたが、Pyndiahによる古典的ブロック・ターボ符号（BTC）の量子版としての**量子ブロック・ターボ符号（QBTC）**に関する正式な理論は、これまで欠如していた。課題は、古典的BTCの反復的なソフト情報交換メカニズムを、デコヒーレンス（異なる物理的誤りが同じシンドロームを生じさせる現象）や、受信した量子状態を直接観測できないという制約を考慮しながら、いかに量子ドメインに適応させるかにある。

手法

著者らは、2つの構成スタビライザー符号 $C_1$ および $C_2$（パラメータ $(n_1, k_1)$ および $(n_2, k_2)$）からなる積符号として定義されるQBTCのフレームワークを提案している。

1. 符号化構造

行と列が独立した符号語を形成する古典的積符号とは異なり、量子スタビライザー符号は制約を課す。すなわち、行と列のスタビライザーが反交換する可能性がある。著者らは、この問題に対処するため、特定の符号化/復号順序を確立した：

• 符号化: $k_1$ 個の論理量子ビットの行を構成符号 $C_2$ を用いて符号化する。得られた行列を転置し、$n_2$ 個の列を構成符号 $C_1$ を用いて符号化する。
• 制約: 符号化が行・列の順で行われる場合、スタビライザーの交換関係を尊重するために、復号は列・行の順で行われなければならない。

2. 反復復号アルゴリズム

QBTCフレームワークの中核は、行復号器と列復号器の間で確率情報を交換する反復的な**ソフト入力ソフト出力（SISO）**復号スキームである。

• SISOユニット: 復号には「内部（列）」および「外部（行）」のSISOブロックが含まれる。各ブロックはシンドロームと事前確率を入力として受け取り、更新された論理および物理的な誤り確率を出力する。
• 縮退の処理: アルゴリズムは、異なる物理的誤りが同じ論理演算子とシンドロームを生じさせる「縮退」を明示的に考慮する。これは、シンドローム $S_x$ が与えられたときの論理演算子 $L$ に関する最大尤度（ML）決定として定式化される：
  $$L_{ML}(S_x) = \arg \max_L P(L | S_x)$$
• 周辺化と再編成（M&R）: 決定的なステップとして、確率の「転置」が含まれる。内部復号器は列方向の論理確率を出力し、外部復号器は行方向の物理的確率を必要とするため、アルゴリズムは確率的な転置を実行する。これには、位置に関する周辺化を行い、外部情報（事前情報を除去したもの）を抽出し、それを次の半反復の入力として機能するように再編成するプロセスが含まれる。
• 復号フロー: プロセスは、SISO内部ブロックとSISO外部ブロックの間で反復される。固定された回数の反復の後、最も確率の高い論理誤り系列が推定され、対応するパウリ補正が適用される。

3. シミュレーション設定

著者らは、完全なシンドローム測定を伴うデポラリゼーション・チャネル上でQBTCをシミュレートした。モンテカルロ・シミュレーションにはC++を使用し、以下の様々な構成符号をテストした：

• [[5, 1, 3]] 符号（5量子ビット符号）。
• [[8, 3, 3]] 符号。
• [[5, 1, 3]] $\times$ [[5, 1, 3]] および [[8, 3, 3]] $\times$ [[8, 3, 3]] などの組み合わせ。

主な貢献

1. QBTCの定式化: 本論文は、スタビライザー符号を用いた量子ブロック・ターボ符号の理論を提示し、古典的ブロック・ターボ符号の正確な量子版を確立した。
2. 反復ML復号: 著者らは、小さな構成スタビライザー符号を用いた積符号のための反復的最大尤度（ML）復号技術を開発した。これには、SISOユニットの導出と、量子積符号に必要な確率的転置（M&R）手順が含まれる。
3. 構成符号の柔軟性: このフレームワークは、既知のシード変換を持つ任意のスタビライザー符号のペアを組み合わせることを可能にし、他の量子符号構成によく見られる厳格な制約なしに、符号率（$k/n$）や距離を選択できる柔軟性を提供する。
4. ターボ効果のデモンストレーション: 論文は、行復号器と列復号器の間でのソフト情報の反復的な交換が、単純な連結や最小重み（MW）復号を超える性能向上（「ターボ効果」）をもたらすことを示している。特に複数の論理量子ビットが関与する場合に顕著である。

結果

• 単一論理量子ビットの性能: [[5, 1, 3]] $\times$ [[5, 1, 3]] のQBTCにおいて、反復復号器は[[25, 1, 9]]コードの最小重み（MW）復号を上回った。デポラリゼーション率が $10^{-2}$ のとき、QBTCはMW [[25, 1, 9]] 復号器と比較して、単語誤り率（WER）において約6.25倍の改善を示した。その性能はトポロジカル符号やトーリック符号に対する強化学習手法に匹敵したが、偏ったノイズ下ではXZZX表面符号（距離9）の方が依然として優れていた。
• 多論理量子ビットの性能（ターボ効果）: [[8, 3, 3]] $\times$ [[8, 3, 3]] （[[64, 9, 9]]に相当）は、明確なターボ復号効果を示した。反復回数が増えるにつれて、WERは大幅に減少した。デポラリゼーション率 $10^{-2}$ において5回の反復を行った後、外挿されたWERは $6 \times 10^{-7}$ であった。
• スケーラビリティとオーバーヘッド: 1080個の論理量子ビットをターゲットとしたスケーラビリティ分析において、[[64, 9, 9]] のQBTCは、グローバルな論理誤り率 $7.2 \times 10^{-5}$ を達成するために7,680個の物理量子ビットを必要とした。これは、同等またはわずかに優れた誤り率を達成するために、ほぼ2倍または3倍の物理量子ビットを必要としたいくつかの比較対象のqLDPC符号よりも効率的であった。
• 連結との比較: 反復的なQBTC復号器は、参照された連結コード復号器（第1反復目ではQBTCの性能と一致した）を大幅に上回っており、反復的な交換の価値を裏付けている。

意義と主張

著者らは、QBTCが高符号率、高性能、および管理可能な複雑さのバランスをとる一般的な量子復号フレームワークを提供すると主張している。

• 効率性: 小さな構成ブロックを積構造で使用することで、QBTCは表面符号に典型的な膨大な物理量子ビットのオーバーヘッドや、一部のqLDPC符号に見られる複雑な復号要件を回避しつつ、高い符号率と強力な誤り訂正を実現できる。
• 並列性: その構造により、行と列の並列復号が可能となり、シンドローム計算のために量子ビットを物理的に近くに保ちつつ、処理速度を向上させることができる可能性がある。
• 将来の可能性: 論文では、「ターボ効果」は、より多くの論理量子ビット（より大きな構成符号 [[15, 7, 3]] など）を使用したり、多次元積符号へとフレームワークを拡張したりすることで、さらに強化できると述べている。
• 実用性: 著者らは、このフレームワークが、ノイズの多いシンドローム測定を扱うための測定回路（Shorコードから着想を得たもの）を用いた物理レベルの補正に適応可能であり、フォールトトレラントな実装への道を開くと示唆している。

本研究は、符号率、距離、および復号の複雑さの間の柔軟なトレードオフを提供する、QBTCが量子誤り訂正の展望における有力な選択肢であることを確立している。