技術要約：量子ビット上におけるもつれ支援型準巡回量子低密度パリティ検査符号

1. 問題提起

量子情報は本質的にデコヒーレンスやゲート故障に対して脆弱であり、量子誤り訂正符号（QECC）を必要とする。古典的な低密度パリティ検査（LDPC）符号は、容量に近い性能と効率的な復号を提供しているが、その量子版（QLDPC）は重大な課題に直面している。具体的には、標準的なカルデバン・ショア・スティーン（CSS）フレームワークに基づく構成では、双対包含特性（dual-containment property）が必要となることが多く、これが必然的に結合タナーグラフに4サイクルを導入してしまう。これらの短周期（ショートサイクル）は、特に相関のある$X$エラーおよび$Z$エラーが発生する場合において、復号性能を低下させ、高いエラーフロアの原因となる。さらに、既存の量子もつれ支援型（EA）量子符号は、グラフの「もつれ非支援部分」において短周期を排除する構造化された設計を欠いていることが多い。あるいは、大規模なブロック長に対して計算複雑性が極めて高い、非構造化エンコーダに依存している。

2. 手法

著者らは、置換行列のタイリングを用いた、もつれ支援型準巡回量子LDPC（EA-QC-QLDPC）符号を構築するための構造化されたアプローチを提案している。この手法は、以下の3つのコアコンポーネントで構成される。

A. コード構成

本論文では、2つの異なる戦略を用いて、いくつかのEA-QC-QLDPC符号のファミリーを構築している。

1. 2種類の異なる古典符号アプローチ： 素数および合成数の次数を持つ置換行列から導出された2つの異なる古典QC-LDPC符号（$C_1$および$C_2$）を選択することにより、結合タナーグラフのもつれ非支援部分が4サイクルフリーとなるEA符号を構築する。これは、基礎となる古典符号の次数行列が特定の差条件を満たすようにすることで実現される（命題1）。特筆すべき点として、あるファミリーは送信者と受信者の間でわずか1つの共有ベルペア（ebit）のみを必要とする。
2. 単一古典符号アプローチ： 著者らはまた、単一の古典QC-LDPC符号から派生したファミリーも構築している。これらの構成では、基礎となる古典符号は、結果として得られる量子符号のタナーグラフのガース（girth）が6より大きくなるように設計されている。

これらの構成は、短周期（4サイクルおよび6サイクル）の不在を保証し、コードパラメータ（ランク、次元、必要なebit数$c$）を解析的に決定するために、特定のアルゴリズム（アルゴリズム1および2）によって生成された次数行列を利用している。

B. 効率的なエンコーディング・スキーム

エンコーディングの複雑さに対処するため、本論文では、生成子の準巡回性に適応した構造化エンコーディングアルゴリズムを提案している。

• 手順： この手法は、拡張パリティ検査行列（$H_{ex}$および$H_{ez}$）を、ガウス消去法を用いて行階段形（RREF）へと変換するプロセスを含む。
• ゲート複雑性： 著者らは、クリフォードゲート（CNOT、アダマール、フェーズ）で構成されるエンコーディング回路を導出している。ゲート複雑性は、解析的に$O(n(\rho_1 + \rho_2) - \rho_1^2)$であると決定されている。ここで、$n$は符号長、$\rho_1, \rho_2$は$H_x$および$H_z$のスタビライザー生成子の数である。これは、一般的なスタビライザーベースのエンコーダが通常持つ$O(n(\rho_1 + \rho_2))$の複雑さに対する改善を示している。
• アーキテクチャ： このスキームは、片方向通信（ベルペアを消費）、および2方向触媒通信（ベルペアを再利用）、さらにはEPRペアがペイロードの一部となる量子コンピューティングへの応用をサポートしている。

C. 復号戦略

著者らは、相関エラーの処理を重視しながら、4つの復号器構成を用いて性能を評価している。

1. バイナリ・レイヤード・サムプロダクト（BLSP）： $X$エラーと$Z$エラーを、別々のタナーグラフ上で独立して扱う。
2. クォータナリ・ミンサム（QMS）および正規化ミンサム（QNMS）： $\mathbb{F}_4$上の結合タナーグラフ上で動作し、$Y$エラーを単一のエンティティとして扱うことで相関を捉える。
3. クォータナリ・ブロック・レイヤード・正規化ミンサム（QBLNMS）： 提案されている最適復号器である。これは、クォータナリ処理とブロック・レイヤード・スケジューリング、および正規化（$\alpha$）とダンピング（$\beta$）パラメータのシンドローム駆動型適応を組み合わせたものである。このアプローチは収束を加速させ、振動を抑制するため、ハードウェア実装に適している。

3. 主な貢献

• サイクルフリー構成： 2種類の異なる古典符号を用いて構築された際、結合タナーグラフのもつれ非支援部分が明示的に4サイクルフリーとなる、初のEA-QC-QLDPC符号ファミリーを提示している。
• リソース効率： 提案されたファミリーの一つは、わずか1つの事前共有ベルペアでこれらの特性を実現しており、高いリソース効率を強調している。
• 高ガース符号： ガースが6より大きい単一の古典符号から2つのファミリーが導出されており、これによりエラー訂正能力がさらに向上している。
• 解析的パラメータ導出： 提案された構成に対して、正確なコードレートおよびパラメータ（次元、ebit数）を解析的に導出している。
• 効率的なエンコーディング： 既存の一般的な手法と比較して、ゲート複雑性を低減する低複雑度エンコーディング・スキームを開発した。
• 高度な復号： QBLNMS復号器の提案とシミュレーションを行い、これが相関のあるパウリエラーの処理においてバイナリ復号器よりも優れた性能を示すことを実証した。

4. シミュレーション結果

提案された符号の性能は、ランダムなデポラリゼーション・ノイズおよびマルコフ的なバーストエラーモデルの下で評価された。

• 復号器の性能： QBLNMS復号器は、BLSPおよび他のクォータナリ・バリアントを一貫して上回った。具体的には、デポラリゼーション・チャネルにおいて、BLSP復号器に対してほぼ1桁の改善を示した。
• 先行研究との比較：
  • $[[42, 4]_2$ CSS符号 [27] と比較して、提案された $[[42, 10; 6]_2$ 符号（4サイクルフリーの非支援グラフを持つ）は、$p_d = 10^{-3}$において論理エラー率（LER）で2桁以上の改善を達成した。
  • $[[128, 58; 18]_2$ EA符号 [40] と比較して、提案された $[[121, 70; 51]_2$ 符号（より高いレートと列重みを持つ）は、$p_d = 10^{-2}$において1桁以上の改善を示した。
• ガースと重みの影響： ガースが6より大きい符号は、ブロック長が短いにもかかわらず、ガースが4より大きい符号よりも優れた性能を示した。列重みを（3から8へ）増加させることは、コードレートを犠牲にするものの、エラー訂正性能を大幅に向上させた。
• バーストエラー訂正： これらの符号は、一定数のバーストエラーを訂正する能力を示し、置換行列のサイズが増加するにつれて性能が向上した。

5. 重要性と主張

著者らは、本研究が量子通信および量子コンピューティング・システムのためのスケーラブルで実用的なブループリントを提供すると主張している。その重要性は以下の点にある：

1. 相関エラーの緩和： タナーグラフの非支援部分から4サイクルを排除し、クォータナリ復号を利用することで、標準的なCSS符号の弱点である相関のある$X$および$Z$エラーを効果的に処理できる。
2. ハードウェアの実現可能性： 準巡回構造および提案された効率的なエンコーディング／復解ング・アーキテクチャ（QBLNMSハードウェアレイアウトを含む）により、これらの符号はハードウェア実装に適しており、量子LDPC符号の並列化とスパース性の課題に対処している。
3. リソースの最適化： 最小限の量子もつれリソース（例：1つのebit）で高性能な符号を構築できる能力、および触媒モードでそれらを再利用できる能力は、近未来の量子ネットワークにとって実行可能なアプローチである。
4. 性能向上： シミュレーション結果は、これらの構造化された構成が論理エラー率において既存のベンチマークを大幅に上回ることを示しており、より堅牢な量子情報処理への道筋を提示している。

本論文は、これらの構成が理論的に健全であるだけでなく、レート、複雑性、およびエラー訂正性能のバランスを取った量子符号を設計するための系統的なアプローチを提供し、実用的な関連性を持っていると結論付けている。