Bounds for Pure Disjoint $(r,\delta)$-Quantum Locally Recoverable Codes

技術要約：純粋な離散的 $(r, \delta)$-量子局所回復可能符号の境界

問題設定
本論文は、量子局所回復可能符号（qLRC）の基礎的な限界、特に純粋な離散的 $(r, \delta)$-qLRCのクラスに焦点を当てて取り組んでいる。これまでの研究では、CSSフレームワークを通じて構築されたものや、スタビライザー形式式内に位置するものを中心としたqLRCの境界が確立されてきたが、基礎となる古典符号との関連性に依存しない非スタビライザー符号に関する一般的な境界は不足している。著者らは、重み列挙関数（weight-enumerator）に基づくアプローチを用いて、スタビライザー構造を仮定することなく、純粋な離散的qLRCの符号次元 $K$ の上界を導出することを目指している。具体的な設定は、回復集合が物理量子ビットの離散的な分割であり、サイズ $N = r + \delta - 1$ の各局所回復ブロック内において最大 $\delta-1$ 個の消失（erasure）を訂正できるコードである。

手法
著者らは、ブロック単位の量子重み列挙関数（blockwise quantum weight enumerators）および局所的なKnill–Laflamme (KL) 条件に基づいたフレームワークを開発した。

1. 局所構造とKL条件:
   本論文はまず、離散的qLRCにおいて、局所性の制約が符号空間にブロック単位の構造を誘導することを確立する。著者らは局所KL条件（定理1）を導出し、回復ブロック $J_\ell$ 内の消失の訂正可能性が、局所的な符号サポート $Q_\ell$ のみに依存することを証明した。具体的には、エラーがブロック上で訂正可能であるための必要十分条件は、局所射影作用素がエラー演算子に対して特定のスカラ条件を満たすことである。

2. ブロック単位の重み列挙関数:
   エラーの重みの分布を $s$ 個の回復ブロックにわたって捉えるために、著者らは2種類の新しい列挙関数を導入した：

   • ブロック単位のShor–Laflamme (SL) 列挙関数 ($A^{SL}_i, B^{SL}_i$): これらは $s$ 個の回復ブロックにわたるエラーの重み分布を追跡する。
   • ブロック単位のユニタリ列挙関数 ($A^U_i, B^U_i$): これらは、量子ビットの部分トレースを通じて定義され、組合せ論的な恒等式（系1）を通じてSL列挙関数と関連付けられる。

   著者らは、これらの列挙関数がマクウィリアムスの恒等式および不等式を満たすことを証明した（定理2および定理3）。決定的な点として、訂正可能な消失パターン（集合 $T_{d,\delta}$ によって定義される）に対して、ブロック単位の列挙関数が特定の等価条件 ($K B^U_i = A^U_i$) を満たすことを確立した。

3. 純粋性の仮定:
   解析は、ブロック単位のSL列挙関数がすべての非ゼロの訂正可能エラーパターンに対して消滅する（$i \in T_{d,\delta} \setminus \{0\}$ に対して $A^{SL}_i = 0$）という条件によって定義される**純粋な（pure）**符号に焦点を当てている。この仮定は、列挙関数の関係を簡略化し、よりタイトな境界の導出を可能にする。

4. 境界の導出:
   これらの列挙関数の特性と、古典符号理論および先行する量子研究から適応された**線形計画法（LP）**を用いて、多変数クラウチク多項式に基づく補助多項式を構成し、符号次元の上界を導出する。

主要な貢献と結果

• 離散的qLRCに対する局所KL条件: 本論文は、離散的qLRCにおける局所的なエラー訂正のための必要十分条件を定式化し、局所的な回復能力をグローバルな符号構造から分離させた。
• ブロック単位の列挙関数: ブロック単位のSLおよびユニタリ重み列挙関数の導入は、離散的な分割構造を尊重しながらqLRCを分析するための新しいツールを提供し、グローバルな量子境界と局所的な回復制約の間の溝を埋めるものである。
• Singleton型の境界（定理4）: 純粋な離散的 $(r, \delta)$-qLRCに対して、著者らは以下のSingleton型の境界を導出した：
  $$K \leq q^{n - 2(d-1) - 2\lfloor \frac{n-(d-1)}{N} \rfloor (\delta-1)}$$
  この境界は、純粋性の仮定の下では、既知の一般的な離散的 $(r, \delta)$-qLRCの境界（式7）よりも厳密に強いことが示されている。$\delta=2$ の特殊なケースでは、スタビライザー構造を必要とせずに既知のスタビライザー境界を回収する。
• 線形計画法による境界（定理5および6）: 著者らは、非負のクラウチク係数を持つ特定の多項式を構成することにより、LPベースの上界（式9）を導出した。これは、緩和されたSingleton型の境界や既存の文献にある他の境界よりも厳密にタイトである。
• 非スタビライザー・フレームワーク: これらの結果は、スタビライザー符号であることを仮定せずに導出されており、qLRCに対するより一般的な理論的視点を提供するという点が重要な貢献である。

意義と主張
本論文は、純粋な離散的 $(r, \delta)$-qLRCの研究に対して、非スタビライザー、重み列挙関数ベースのアプローチを提供することを主張している。その意義は以下の通りである：

1. 既知の境界の強化: 導出されたSingleton型の境界は、純粋性の条件が満たされる場合、既存の離散的qLRCの境界を改善する。
2. 汎用性: この手法は、スタビライザー構造やCSS符号を通じて構築されたものに限らず、一般的な量子符号に適用可能である。
3. 手法の進展: ブロック単位の列挙関数を使用することで、エラーの重みが回復集合にどのように分布しているかを精密に把握することが可能となり、LP法を通じたよりタイトな制約の導出が可能となった。

著者らは、彼らのLP境界がある領域において純粋なスタビライザー境界と一致し、かつ純粋な離散的境界と同等以上にタイトであることを述べている。彼らは、これらの結果が、古典的な設定における発展と同様に、不純な（impure）符号や重複する回復集合を持つ符号への将来的な拡張のための基礎を築くものであると結論付けている。