A Width-Range Boundary Atlas for Fixed-Point Quantum LDPC Min-Sum Decoding

技術要約：固定小数点量子LDPC Min-Sumデコーディングのための幅・範囲境界アトラス

問題提起
実用的な量子低密度パリティ検査（qLDPC）デコーダは、有限精度で動作しなければならない。既存の文献では、これらのデコーダを単に語長（例：「8ビット」）によって特徴付けることが多いが、これはビット数のみがフォーマットの生存可能性を決定するという暗黙の仮定に基づいている。しかし、固定小数点フォーマットは、語長（$w$）と、表現可能な大きさの境界となるクリップレベル（$L$）という2つの量によって定義される。これら2つのパラメータは直接的にトレードオフの関係にある。すなわち、範囲を広げればクリッピングは減少するが解像度は粗くなり、範囲を狭めればその逆となる。本論文は、語長だけでは不十分な仕様であると主張している。なぜなら、デコーダの動作点は、メッセージの大きさの分布がクリップレベルに対してどこに位置するかという点に依存しており、その関係性は正規化ゲイン（$\alpha$）を持つ正規化Min-Sumデコーディングによってさらに調整されるからである。本研究は、異なるコード、CSSセクター、物理エラー率、および正規化レシピにおいて、固定幅フォーマットの性能とリソース効率が一定であるかどうかを判断することを目的としている。

手法
本研究は、3段階のフェーズで行われる事前登録された記述的研究である。終止点は、マッチングされた浮動小数点リファレンスと比較された、コード容量モデル下での論理エラー率（LER）である。

• 実験バンク: 本研究は、48個の凍結セルにわたって19個の実行可能な固定小数点フォーマットを評価する。セルは以下のカルテシアン積によって形成される：
  • コード: 4つの公開コード（1つのハイパーグラフ積[HGP]および3つの二変量バイシクル[BB]コード）。
  • セクター: CSS構成のXおよびZの両セクター。
  • エラー率: 3つの物理デポラリジング・エラー率（$p \in \{0.015, 0.020, 0.025\}$）。
  • レシピ: 2つの正規化レシピ（先行研究で適合された「コードごと」のレシピ、および $\alpha=0.75, \beta=0$ の「共通」レシピ）。
• フォーマット: フォーマットは $ww\_rr$（語長 $w \in \{5,6,7,8\}$ およびクリップレベル $r \in \{2,4,8,16,32\}$）としてインデックス付けされる。本研究では、round-half-away-from-zero（ゼロから遠い方への丸め）および飽和オーバーフローを用いた符号付き2の補数演算を使用する。
• 決定ルール:
  • 非劣性（Non-inferiority）: フォーマットが非劣であるとは、ペアのLER比（固定小数点 vs 浮動小数点）の95%ブートストラップ信頼区間の上限が $\le 1.10$ であることを指す。
  • リソース適格性: フォーマットが、非劣であり、かつ $8\text{-bit}, \text{clip}=8$ のベースラインに対してメッセージトラフィック（フレームあたりの移動ビット数）を少なくとも25%削減した場合、共同ターゲットを満たすものとする。
  • 未解決のセル: 不一致のペア（固定小数点デコーダと浮動小数点デコーダが異なる結果となったケース）が150未満のセルは、点推定値に関わらず「未解決（unresolved）」とマークされる。これは、非劣性または劣性を宣言するための統計的パワーが不足しているためである。
• コントロール: 正規化レシピの効果を分離するために、プレーンなMin-Sum（非正規化）コントロールを含む。

主な結果

1. 普遍的な勝者は存在しない: すべての48セルにおいて、リソース適格性と非劣性を同時に満たす単一の固定小数点フォーマットは存在しなかった。すべてのセルで共同ターゲットを満たすフォーマットの集合は空である。
2. 幅は不十分である: 語長を一定に保っても、一貫した性能は保証されない。
   • 8ビットの場合、フォーマット $w8\_r32$（クリップレベル32）は16個のセルで非劣であり、劣ったセルはゼロであった。
   • 対照的に、$w8\_r2$（クリップレベル2）は48個のセルすべてにおいて劣っていた。
   • これは、「8ビット」が十分な仕様ではないことを示している。クリップレベルと正規化レシピが極めて重要である。
3. クリップレベルの支配性: クリップレベル2は、すべての幅において、48セルすべてで劣っていた。良好な領域は、より広いクリップレベル（$L \ge 16$）に限定されているが、多くの領域が未解決のまま残っている。
4. トレードオフとリーダー:
   • フォーマット $w5\_r16$ は、最も多くの共同ターゲット成功数（48セル中10セル）を達成し、平均トラフィック削減率は30.6%であった。
   • しかし、$w5\_r16$ は10個のセルで劣っていた。これらはすべて「コードごと」のレシピ下であった。 「共通」レシピの下では、劣ったセルはゼロであった。
   • より広いフォーマット（例：$w8\_r32$）は、デコーディング品質の問題ではなく、ベースラインよりも速く収束しなかったために、リソース条件（トラフィック削減）に失敗することが多かった。
5. 未解決データ: アトラスの大部分（912個のフォーマットセル組み合わせのうち420個）は未解決である。セクション4.9では、これら（例：$w5\_r16$ の28個中25個）の多くは、信頼区間がマージンを跨いでいるのではなく、不一致の閾値を下回ったこと（リファレンスとの不一致が少なすぎること）によるものであると明確にしている。これは、本研究が、浮動小数点とほぼ同一の挙動を示す「安全な」フォーマットを証明できるのではなく、測定可能な形で失敗したもののみを証明できることを意味している。
6. 正規化の感度: 正規化レシピ（$\alpha, \beta$）の選択は、判定を大きく変える。例えば、$w5\_r16$ は「コードごと」のレシピ下では10個のセルで劣っていたが、「共通」レシピの下では劣ったセルはゼロであった。

意義と主張
本論文は、フォーマットの失敗と統計的パワーの限界を分離する「境界アトラス」を提供すると主張している。その主要な貢献は、語長は固定小数点qLDPC Min-Sumデコーディングにおける十分な仕様ではないという直接的な証拠である。動作点は、語長、クリップレベル、および正規化レシピの組み合わせによって決定される。

著者は、自らの主張の範囲について慎重である：

• 結果は記述的であり、確証的ではない。ホールドアウトによる検証は行われておらず（予測される限界のため事前検討段階で却下された）、一般化を主張するためのランダム効果モデルも使用されていない。
• 知見は、特定の「凍結された銀行」である4つのコードと、特定のコード容量レジーム（LER $6 \times 10^{-4}$ から $2.2 \times 10^{-2}$）に適用される。著者は、精度挙動が変化する可能性のある、より低いエラーレート（$<10^{-4}$）のレジームへ結果を外挿すべきではないと明記している。
• 本研究は「最適な」フォーマットを特定することを目的としていない。なぜなら、グリッドは最適値を囲い込んでおらず（例：$L=32$ で停止している）、リソース閾値（25%）は普遍的な展開要件ではなく、事前登録された曲線上の1点であるためである。
• 本研究は、「未解決」の結果が、近似的に同一の性能を示すことによる統計的パワーの欠如によるものであることが多く、安全性の証拠ではないことを強調している。

結論として、本論文は、再現可能な有限精度レポートには、幅だけでなく、正規化レシピとクリップレベルを含める必要があると主張している。なぜなら、幅だけではデコーダの動作点や、リソースと性能のトレードオフを捉えることができないからである。