Quantum codes in the Lee metric

技術要約：リー距離における量子符号

問題提起
現在の量子誤り訂正の理論的枠組みは、主に量子ビット（2準位系）を想定し、エラーが作用する物理的な部分系の数をカウントするハミング距離を利用している。しかし、核スピンや超伝導回路など、多くの物理プラットフォームは、自然に$q$準位系（クディット）を持つ$q > 2$のシステムである。これらのシステムでは、エラーは任意のパウリ反転ではなく、位相空間における小さなシフト（連続変数システムにおける変位ノイズに類似）としてモデル化されることが多い。その結果、大きさ$k$のシフト（例：$X^k$）は、大きさ1のシフトとは物理的に区別され、その発生確率はシフトの大きさに応じて減少するのが一般的である。標準的なハミング距離は、この構造を捉えることができず、$X^1$と$X^k$が同じ数のクディットに作用する場合、それらを等しい重みのエラーとして扱ってしまう。本論文は、リー距離（エラーの$X$および$Z$のシフトの大きさに応じて重み付けを行う）を利用した$\mathbb{Z}_q$上の量子スタビライザー符号の体系的な形式化を開発することで、文献におけるこのギャップに対処する。

手法
著者らは、古典的なリー距離符号理論を量子領域へと拡張し、リー距離における量子符号のための包括的な理論的枠組みを開発している。その手法は、以下の主要な段階を経て進められる。

1. 距離の定義: 論文では、$n$個のクディット上のパウリ文字列$X^x Z^z$に対して2つの距離を定義している。

   • 分離リー距離 (Separate Lee Metric): CSS符号に適した、ペア$(|x|_L, |z|_L)$を記録するもの。
   • 結合リー距離 (Joint Lee Metric): 和$|x|_L + |z|_L$を記録するもの。量子ビットの場合、これは$Y$エラーに重み2を、$X$および$Z$エラーに重み1を割り当てる。これは、$Y$エラーが独立した$X$プロセスと$Z$プロセスから生じるという仮定を反映している。
     リー重み$|x|_L$は、$\sum \min(x_i, q-x_i)$として定義される。

2. スタビライザー形式: リー距離を用いた$\mathbb{Z}_q$上のシンプレクティック・スタビライザー形式を一般化する。著者らは球充填境界（sphere-packing bounds）を導出し、これらの境界を飽和する完全符号 (perfect codes) を特定する。ハミング距離では、完全量子符号は稀であり、距離3に限定されるが、リー距離では、より高い距離と多様なパラメータ（例：$\mathbb{Z}_{10}$上の単一クディット完全符号）を持つ完全符号が存在する。

3. CSS符号と捩れ (Torsion): 論文の大部分は、合成数$q$におけるCSS符号に焦点を当てている。著者らは、符号空間の構造を分析するために、パリティ検査行列のスミス標準形 (Smith Normal Form, SNF) を利用する。彼らは、「捩れ因子（torsion factors）」を明示的に特徴付けている。ここでは、論理クディットの次元が$q$を割り切るが$q$より小さい場合が含まれる。これにより、特定の次元を持つ論理演算子の構成や、明示的な共役対の導出が可能になる。

4. フォールトトレランスとゲート拡散: 論文では、クリフォードゲートによるリーエラー拡散 (Lee error spread) ($w_B$) という概念を導入し、ゲートがエラーのリー重みをどの程度増加させ得るかを定量化する。これは、GKP符号における変位エラーの増幅に類似している。著者らは、フォールト距離が、符号距離をゲートの拡散度で割った値によって制限されることを証明している。また、リー重みを正確に保存する、拡散度1のゲート（置換およびフーリエゲート）を特定している。

5. グレイ写像による量子ビット化: クディットと量子ビットのアーキテクチャ間の隔たりを埋めるため、著者らはグレイ写像 (Gray map) を用いて$\mathbb{Z}_4$スタビライザー符号を量子ビット符号に変換する。彼らは、この写像が$\mathbb{Z}_4^n$上のリー距離から$\mathbb{Z}_2^{2n}$上のハミング距離への等長写像であることを示す。決定的な点として、$\mathbb{Z}_4$パウリ演算子は量子ビットのクリフォードゲートに写像される一方で、$\mathbb{Z}_4$クリフォードゲートは、非クリフォードゲート（$T$や$CS$など）を含むクリフォード階層の第3レベルに写像されることを示している。

6. リー-LDPC符号と境界: 著者らは、検査行列のリー重みが有界であるリー-LDPC符号 (Lee-LDPC codes) を定義する。数論的幾何学（転送定理）のツールを用いて、任意の非自明な量子リー-LDPC符号において、リー距離は$q$によらず一様に$O(n)$を超えないことを証明する。これは、LDPCフレームワーク内で高距離の符号を実現するために、大きな$q$を使用することに対する障害を確立するものである。

7. 自己修正とメモリ: 著者らは、ヘリカル反復符号 (helical repetition codes) とそのハイパーグラフ積について調査している。局所的なメトロポリス動力学の下で、特定の古典的ヘリカル符号は、十分大きな$q$において、エネルギー障壁とエントロピー効果の両方に起因する、固定温度での指数関数的に長いメモリ時間を実現することを示す。これをハイパーグラフ積を介して量子CSS符号に拡張すると、これらの符号は$Z$エラーに対する自己修正を継承するが、$X$エラーの自己修正のステータスについては未解決のまま残されている。

主な貢献と結果

• 形式化: 両方の結合および分離リー距離を用いた$\mathbb{Z}_q$符号のための厳密なスタビライザー形式を確立し、球充填境界と完全符号の分類を行った。
• 量子ビットの優位性: 量子ビットにおいて、結合リー距離（$Y$エラーを2回カウントする）に対して最適化を行うと、ハミング距離に対して最適化されたものよりも高い距離が得られることを示した。例えば、$[ [9, 1, 5] ]$ リー距離符号は、任意の2つの$X/Z$エラーまたは1つの$Y$エラーを訂正できる。一方、2つの任意のエラーを訂正するために必要な最短のハミング距離符号は11個の量子ビットを必要とする。
• 完全符号: $\mathbb{Z}_{10}$上の単一クディット完全符号や、$\mathbb{Z}_{3^m}$上の一族など、ハミング距離では同じパラメータで存在しない新しい完全量子リー符号のファミリーを特定した。
• イースティン・クニル（Eastin-Knill）定理の打破: ハミング距離においてすべての単一クディットエラーを検出する符号に対して横断的（transversal）な非クリフォードゲートを禁止するイースティン・クニル定理が、リー距離符号には適用されないことを示した。著者らは、すべてのリー重み1のエラーを訂正しつつ、連続的な横断的論理ゲートを許容する、$\mathbb{Z}_{10}$上の完全な2クディット符号を提示している。
• 量子ビット化: グレイ写像を用いて$\mathbb{Z}_4$符号を「量子ビット化」し、それらをクリフォード階層の第3レベルの横断的ゲートを持つ非加法的な量子ビット符号に変換する方法を提供した。
• 距離の境界: リー-LDPC符号において、リー距離は$q$に関わらず$O(n)$に制限されることを証明した。これは、距離が$q$とともに増加し得る一般的な符号とは対照的であり、リー距離における疎な検査行列を用いた構成における根本的な限界を浮き彫りにしている。
• 高温メモリ: 古典的なヘリカル反復符号が、大きな$q$の極限における対称性の破れにより、指数関数的に長いメモリ時間を持つ高温メモリとして機能し得ることを示した。彼らの量子ハイパーグラフ積は、局所的な2D符号における$Z$エラーへの自己修正を提供する。

意義
本論文は、スピン量子ビットのような、小さなシフトノイズが支配的なシステムにおいて、リー距離がより現実的かつ強力なフレームワークを提供するものであると主張している。リー距離を用いることで、以下のことが明らかになる：

1. 効率性: ノイズプロファイル（低重みのシフト）に合わせて調整することで、符号はより効率的（同じ誤り訂正能力に対して、より少ない物理リソース）になり得る。
2. 新たな可能性: リー距離は、ハミング距離では禁止されている完全符号や横断的ゲートセットの存在を可能にする。これは、エラーモデルが小さなシフトに限定されている場合、イースティン・クニルのような標準的なノーゴー定理に挑戦するものである。
3. スケーラビリティの限界: 大きな$q$は利点をもたらすが、本論文はリー-LDPC符号の距離に関する硬い$O(n)$の境界を特定しており、LDPC領域において高距離の自己修正型量子メモリを実現するには、単に局所次元$q$を大きくするだけでは不十分であることを示唆している。

本研究は、量子符号と実験的エラーモデルの「共同設計（co-design）」に向けた基礎的な一歩であり、高次元のヒルベルト空間を活用して、より堅牢な量子計算を実現するための経路を提示している。