[論文レビュー] CSS-T Codes from Reed Muller Codes

Emma Andrade, Jessalyn Bolkema+5 more|arXiv (Cornell University)|May 10, 2023

Quantum Computing Algorithms and Architecture被引用数 6

ひとこと要約

この論文は、リード＝マラー符号の puncturing と shortening を活用することで、非ゼロの漸近的レート（最大 1/2 まで）を達成する CSS-T 符号を構築する。これにより、定数オーバーヘッドのマジック状態蒸留が可能になる。著者らは、リード＝マラー符号の puncturing と shortening を用いて、最小距離が発散し、任意の c ∈ ℕ に対して漸近的レート Φ(−2c) を達成する CSS-T 符号の族を導出し、量子フォールトトレランスにおける漸近的性能に関する未解決問題を解決する。

ABSTRACT

CSS-T codes are a class of stabilizer codes introduced by Rengaswamy \emph{et al} with desired properties for quantum fault-tolerance. In this work, we comprehensively study non-degenerate CSS-T codes built from Reed-Muller codes. These classical codes allow for constructing CSS-T code families with nonvanishing asymptotic rates up to $\frac{1}2$ and possibly diverging minimum distance when non-degenerate.

研究の動機と目的

• 定数オーバーヘッドのマジック状態蒸留に適した、非ゼロの漸近的レートと相対距離を有する CSS-T 符号を構築するという未解決問題に取り組む。
• リード＝マラー符号から導かれる非ゼロの漸近的レートを達成する CSS-T 符号の族を特定する。
• リード＝マラー符号が、相対距離がゼロに収束するにもかかわらず、最小距離が発散する CSS-T 符号を生成する条件を確立する。
• リード＝マラー符号の puncturing と shortening を用いた体系的な構成法を提供し、最適な CSS-T 符号族を生成する。
• パrameter c を用いて漸近的レートを調整可能であり、任意の c ∈ ℕ に対して Φ(−2c) を達成できることを示す。

提案手法

• CSS 構成における古典的符号 C₁ と C₂ として、リード＝マラー符号 RM(r₁, m) と RM(r₂, m) を用いる。ここで r₁ = ⌊(m−1)/2⌋ − t(m) かつ r₂ = 2t(m)+1（m が奇数の場合は 2t(m) に）。
• リード＝マラー符号に対して puncturing と shortening を適用し、CSS-T 符号の条件を満たすようにする：C₂ は偶数符号であり、各 x ∈ C₂ に対して、C₁⊥ に含まれる自己双対符号が x のサポート上に存在する。
• 双対符号と符号語のサポートに関する代数的条件を用いて、得られた CSS 符号族が CSS-T 符号の定義を満たすことを証明する。
• ガウスの累積分布関数 Φ を用いて漸近的レートを分析し、t(m) = ⌊c√m⌋ のとき、レートが Φ(−2c) に達することを示す。
• 最小距離の下界 d ≥ 2^{r₂(m)+1} を確立し、m の増加に伴い r₂(m) が増加するため、発散することを示す。
• CSS 符号の次元の公式 k = dim(C₁) − dim(C₂) を用い、漸近的レートを lim_{m→∞} (dim(C₁) − dim(C₂))/2^m として計算する。

実験結果

リサーチクエスチョン

• RQ1 リード＝マラー符号から、非ゼロの漸近的レートと発散する最小距離を有する CSS-T 符号族を構築できるか？
• RQ2 リード＝マラー符号のパrameter にどのような条件を課すと、その結果得られる CSS 符号が CSS-T 符号の定義を満たすか？
• RQ3 t(m) = ⌊c√m⌋ とスケーリングした場合、リード＝マラー符号から構築された CSS-T 符号の漸近的レートは何か？
• RQ4 相対距離がゼロに収束するにもかかわらず、この構成が最小距離が発散する族を生成できるか？
• RQ5 t(m) の選択が、得られる CSS-T 符号における漸近的レートと最小距離のトレードオフにどのように影響するか？

主な発見

• t(m) = ⌊c√m⌋ のとき、リード＝マラー符号から構築された CSS-T 符号族は、任意の c ∈ ℕ に対して非ゼロの漸近的レート Φ(−2c) を達成する。
• 構築された CSS-T 符号の最小距離は d ≥ 2^{r₂(m)+1} を満たし、m の増加に伴い r₂(m) の増加により発散する。
• t(m) = 0 のとき、この構成は漸近的レート Φ(0) = 1/2 を達成する CSS-T 符号族を生成し、理論的に可能な最大レートに達する。
• 線形スケーリング t(m) = ⌊am⌋（0 < a < 1/8）の場合、漸近的レートはゼロに収束するが、最小距離は依然として発散する。
• 本構成は既知の例（特に [11] で提案された族）を一般化・包含する統一的かつパラメータ化されたフレームワークを提供する。
• この族の漸近的相対距離はゼロに収束するが、最小距離は発散する。これは、[2] で示された定数オーバーヘッドのマジック状態蒸留の条件を満たす。