Singer-Difference-Set Qudit Stabilizer Codes from Non-Degenerate Quadrics in PG(d,q)PG(d,q): Construction, Structural Theorems, and Monte-Carlo Performance

技術要約：PG(d, q)における非退化二次形式からのSinger-Difference-Set クディット・スタビライザー符号

問題提起
本論文は、クディット（$q$ 個のレベルを持つ量子系、ここで $q$ は素数冪）のための、構造化された非CSS（Calderbank-Shor-Steane）量子誤り訂正符号の構成に取り組んでいる。有限幾何および差集合から導出されるスタビライザー符号は存在するが、以下の要素を同時に提供する構成は不足している：

1. 論理次元（$k$）に関する明示的かつ閉形式のパラメータ。
2. 距離および相互相関に関する証明可能な構造的定理。
3. 非直交マルチアクセス（NOMA）システムで使用される古典的な低密度拡散（LDS）シグネチャへの直接的な代数的架け橋。
4. バイナリ（$q=2$）または特定のパリティ駆動型レジームで見られる距離の天井を回避した、クディット・レジーム（$q \ge 3$）における高い性能。

著者らは、特に、差集合を分割する古典的な「ウォータールー分解（Waterloo decomposition）」の手法を量子スタビライザー符号に適用する際の限界を調査しており、整数格子による障害が $\mathbb{F}_p$ の標数で簡約される際に消失し、標準的なもつれ支援（EA）リフティング戦略が効果的でなくなることを指摘している。

手法
著者らは、射影幾何 $PG(d, q)$ 上に構成された、新しい符号の族 $Q(q, d)$ を提案する。この手法は、以下の代数的構成要素に基づいている：

1. Singer 差集合： 構成には、$PG(d, q)$ のSinger循環点・超平面包含行列 $A$ を利用する。点と超平面は、巡回群 $G = \mathbb{F}_{q^{d+1}}^* / \mathbb{F}_q^*$ によってインデックス付けされる。
2. 非退化二次形式： 正方和のトレースによる指標 $\tau_Q$ を形式的に定義する。$q$ が奇数の場合、$Q = \{z \in \mathbb{F}_{q^{d+1}}^* : \text{Tr}(z^2) = 0\}$ である。これは巡回行列 $M_Q$ を生成する。
3. 検査行列（PCM）： コアとなる構成では、PCM を $H = (A \mid M_Q A)$ と定義する。これにより、包含行列と二次形式由来の巡回行列が結合される。
4. 相殺補題（Cancellation Lemma）： 著者らは、差集合の次数 $(k-\lambda) = q^{d-1}$ が $p$ で割り切れるため、シンプレクティック欠損 $S = H_x H_z^T - H_z H_x^T$ が $\text{mod } p$ で消失することを証明する。これにより、$H$ はシンプレクティック同型（symplectic-isotropic）となり、事前にもつれを必要とせずに（すなわち $c=0$）、有効なスタビライザー符号を定義する。
5. 構造解析： 論文では、群環の中国剰余定理（CRT）分解、Hamada-Smith ランク公式、および二次形式のWitt指数理論を含む有限体論のツールを用いて、符号の特性を分析している。

主な貢献

1. 新しい符号族 $Q(q, d)$： 素数冪 $q$ および次元 $d \ge 2$ によってパラメータ化された、非CSS $\mathbb{F}_q$ 族のスタビライザー符号。
2. 5つの構造的定理：
   • 相互相関のモジュロ定数性： $q$ が奇数かつ $d \ge 3$ のとき、巡回的相互相関 $\nu[k] = |E \cap (k-Q)|$ は $1 \pmod q$ に合同である。
   • 2値パターン： 同様の条件下で、$\nu[k]$ は正確に2つの値を取り、その差は鋭く $q^{(d-1)/2}$ である。
   • CRT ゼロカウント定理： トレースゼロの指標が消失する $X^n-1$ の $\mathbb{F}_p$ 上の既約因子の数は、正確に $(|F|-1)/2$ である。
   • 明示的なClifford架け橋： $d=2$ の場合、著者らは、ZのみのCSS符号を $Q(q, 2)$ へ写像する明示的なCliffordゲート $U_M = H^{\otimes n} CZ(M) H^{\otimes n}$ を構成する。これにより、当該量子符号が古典的なSinger包含のグラフ状態符号化とClifford同値であることが特定される。
   • ペア・リジディティ・距離等価性： 最小距離は、正確に $d_{min} = R_P + 1$ である（ここで $R_P$ は中心化行列のペア列リジディティ指数である）。
3. 閉形式の論理次元： Hamada-Smith ランクの特殊化を用い、著者らは素数 $p$ に対して $k(p, d) = \theta_d(p) - \binom{p+d-1}{d} - 1$ を導出している。旗艦的な家族である $Q(p, 2)$ は、$1/2$ の漸近的レートを達成する。
4. 距離の境界と天井：
   • 2-トーション障害： $q$ が奇数かつ $d$ が奇数（$d \ge 3$）の場合、コードは重み2の論理演算子により、距離の天井 $d_{min} \le 2$ に苦しむことを証明している。
   • 旗艦的予想（Flagship Conjecture）： $d=2$ かつ奇素数 $p$ について、$d_{min}(Q(p, 2)) = p+1$ であると予想されている。これは $p=5$ ($d_{min}=6$) について正確に証明されており、$p=7$ ($d_{min} \ge 8$) については厳密な下限が示されている。
5. Waterloo リフティングに関する負の結果： 整数格子において（奇数の $d$ に対して）失敗する古典的なウォータールー分解を、もつれ支援量子符号へリフトしようとする試みが、整数による障害が $\text{mod } p$ で消失するため失敗することを実証している。「ウォータールー欠陥」は、標準的な $\mathbb{F}_p$ 上のPauliスタビライザー形式においては不可視である。

結果

• 具体的な事例：
  • $Q(3, 2) = [[13, 6, 3]]_3$：単一誤り訂正。
  • $Q(5, 2) = [[31, 15, 6]]_5$：二重誤り訂正（$d_{min}=6$）。
  • $Q(7, 2) = [[57, 28, d]]_7$（$d \ge 8$）。
  • $Q(3, 4) = [[121, 105, 3]]_3$：単一誤り訂正。
• 性能： 境界距離復号器を用いた $1.5 \times 10^6$ 回の試行によるモンテカルロ・シミュレーションにおいて、$Q(5, 2)$ は、デポラリゼーション率 $10^{-3}$ において、Steane $[[7, 1, 3]]_2$ 符号と比較して、論理クディットあたりの失敗率が約70倍改善されることを示した。
• 「消去・誤認なし（Erase-Don't-Mistake）」特性： $Q(5, 2)$ において、サイレントな論理誤りは観察されなかった。すべての復号失敗は、訂正不能として宣言された。これは、コードの距離と境界距離復号器の挙動に起因する。
• 比較： 提案された符号は、非CSS構造、クディットのサポート、および明示的な構造的定理を組み合わせることで、従来のSinger差集合構成（Gandhi [5] など）や射影幾何QLDPC符号（Tang-Bai-Feng [6] など）を凌駕している。

意義と主張
本論文は、Singer 差集合と非退化二次形式グラム行列を量子スタビライザー構成に組み合わせた最初の例であると主張している。その意義は以下の点にある：

1. 統合： 古典的なLDS-NOMA拡散符号（特に2021年の構成）の代数的プリミティブと、厳密なClifford同値性を介して量子スタビライザー符号を橋渡ししたこと。
2. 解釈可能性： 経験的なパラメータ選択を超え、なぜこの構成が機能するのかを説明する5つの証明された構造的定理を提供したこと。
3. 性能： 構造化されたクディット符号が、中程度のブロック長と $1/2$ 近いレートで、高い誤り訂正能力（二重誤り訂正）を達成できることを示し、標準的なバイナリ・量子ビット符号を大幅に上回ること。
4. 方法論的明晰さ： 整数格子の組合せ論的欠陥（ウォータールー分解）を、もつれ支援を通じて量子ドメインへリフトすることの限界を明示的に特定し、現在のEAQECCフレームワークの境界を明確にしたこと。

著者らは、$p$ の一般ケースにおける距離の予想（$d_{min} = p+1$）については、それが依然として未解決であることを認めつつ謙虚な姿勢を保っており、現在の数値評価が標準的な境界距離復号器を使用していることを認め、Berlekamp-Massey型の巡回復号が自然な将来の方向性であることを示唆している。