[論文レビュー] Two-sided Robustly Testable Codes

Gleb Kalachev, Pavel Panteleev|arXiv (Cornell University)|Jun 20, 2022

Quantum Computing Algorithms and Architecture被引用数 5

ひとこと要約

本稿は、任意の固定されたレート R₁, R₂ ∈ (0,1) を持つ2つのランダム線形符号のテンソル積が、n → ∞ の際に高確率でρ-ロバストにテスト可能であることを証明し、両面的ロバストテスト可能性の強い形を確立している。このような符号—同時にその積と双対符号の両方がロバストにテスト可能—は、線形距離を有する漸近的に良い量子LDPC符号の構築を簡素化・強化できる。

ABSTRACT

We show that the tensor product of two random linear codes is robustly testable with high probability. This implies that one can obtain pairs of linear codes such that their product and the product of their dual codes are simultaneously robustly testable. Such two-sided robustly testable codes (with a much weaker form of robustness) were the key ingredient in the recent constructions of asymptotically good quantum LDPC codes, which ensured their linear minimum distance. We hope that the existence of such codes with a stronger form of robustness, shown here, can be used to simplify the proofs and provide better distance bounds in these constructions. We also give new very simple examples of non-robustly testable codes. We show that if the parity-checks of two codes are mutually orthogonal, then their product is not robustly testable. In particular, this implies that the product of a code with its dual can never be robustly testable. We also study a property of a collection of linear codes called product-expansion, which can be viewed as a coboundary expansion of the cochain complex naturally associated with the product of these codes. We show that this property is related with the robust testability and the agreement testability of the products of codes.

研究の動機と目的

• ランダム線形符号を用いて、符号とその双対符号の両方がロバストにテスト可能である、両面的ロバストにテスト可能な符号の存在を確立すること。
• 最近の量子LDPC符号の構築において、以前は弱い形のロバスト性に依存していたのを、ロバスト性の条件を強化すること。
• 特にパリティ検査行列が互いに直交する場合に、符号の積がロバストにテスト可能でない理由を明らかにすること。
• 一元的な枠組みとしての製品拡張性（product-expansion）を導入・分析し、ロバストテスト可能性、同意テスト可能性、符号の幾何学的性質を結びつけること。
• 多次元符号複体におけるロバストネスパラメータρの漸近的限界を探索し、特に量子符号設計の文脈で検討すること。

提案手法

• 任意の固定されたレート R₁, R₂ ∈ (0,1) を持つ、𝔽_q 上の2つのランダム線形符号のテンソル積が、n → ∞ の際に高確率でρ-ロバストにテスト可能であることを証明する。
• 最小距離の多次元符号複体への一般化として、製品拡張性（product-expansion）の概念を導入し、ρ(𝓒₁,𝓒₂) が拡張係数を定量化することを示す。
• 製品拡張性と同意テスト可能性の間の同値性を確立し、ρ-製品拡張性がρ-同意テスト可能性を示唆することを示す。
• 確率的技法と集中不等式を用いて、ランダム符号が高確率で高い製品拡張性を達成することを示す。
• 2つの符号のパリティ検査行列が互いに直交する場合、その積はロバストにテスト可能でないことを示す。これは、符号とその双対の組み合わせを含む。
• ロバストネスパラメータに対してSingleton型の不等式 ρ ≤ ε₁ε₂ + 1/n を提示し、逆関数 H⁻¹_q を用いた漸近的境界と比較する。

実験結果

リサーチクエスチョン

• RQ1 任意の固定されたレート R₁, R₂ ∈ (0,1) に対して、2つのランダム線形符号のテンソル積が高確率でロバストにテスト可能であるか？
• RQ2 符号の積とその双対符号の積の両方がロバストにテスト可能となるような線形符号のペアを構成することは可能か？
• RQ3 特にパリティ検査行列の直交性と関連して、符号の積がロバストにテスト可能でない構造的条件は何か？
• RQ4 多次元符号複体において、製品拡張性の性質はロバストテスト可能性および同意テスト可能性とどのように関係するか？
• RQ5 レート R₁ = 1−ε, R₂ = 1−(1−ε) を持つ符号ペアについて、ロバストネスパラメータρの漸近的境界は何か？また、情報理論的限界と比較するとどうなるか？

主な発見

• 任意の固定されたレート R₁, R₂ ∈ (0,1) を持つ2つのランダム線形符号のテンソル積は、n → ∞ の際に高確率でρ-ロバストにテスト可能であり、ρ > 0 はR₁とR₂に依存する。
• レート R₁ = 1−ε, R₂ = 1−(1−ε) を持つ符号ペアについて、ε → 0 の際にρ = Θ(H⁻¹_q(ε)) を満たし、定数因子を除いて上界と一致する。
• 2つの符号のパリティ検査行列が互いに直交する場合、その積はロバストにテスト可能でない—これは符号とその双対の組み合わせを含む。
• 製品拡張性は最小距離の多次元符号複体への一般化であり、同意テスト可能性と同値である。
• ロバストネスパラメータに対してSingleton型の不等式 ρ ≤ ε₁ε₂ + 1/n が成り立ち、漸近的状況では低次の項を除いてタイトである。
• 強いロバストネスを有する両面的ロバストにテスト可能な符号の存在は、量子LDPC符号の構築において、構成の簡素化と距離の上限の改善を可能にする。