[論文レビュー] Clifford Code Constructions of Operator Quantum Error Correcting Codes

Andreas Klappenecker, Pradeep Kiran Sarvepalli|ArXiv.org|Apr 21, 2006

Quantum Computing Algorithms and Architecture参考文献 12被引用数 5

ひとこと要約

本稿では、クリフォードコードを用いた、演算子量子誤り訂正符号の新規構成を提示する。有限体上の古典的加法的符号を用いて、サブシステム A と B を調整可能な符号の体系的設計を可能にする。自己直交性の必要性を回避し、ハミング重みに基づいた誤り検出・訂正能力の明示的上限を伴う、直接的で特性理論的な符号構築法を提供する。

ABSTRACT

Recently, operator quantum error-correcting codes have been proposed to unify and generalize decoherence free subspaces, noiseless subsystems, and quantum error-correcting codes. This note introduces a natural construction of such codes in terms of Clifford codes, an elegant generalization of stabilizer codes due to Knill. Character-theoretic methods are used to derive a simple method to construct operator quantum error-correcting codes from any classical additive code over a finite field.

研究の動機と目的

• 安定化子符号、デ Kohärens-フレーサブルサブスペース、ノイズレスサブシステムを統合する一般的で体系的な演算子量子誤り訂正符号の構築法を開発すること。
• 安定化子符号理論における標準的制約である自己直交性の要請を排除すること。
• 論理サブシステム A とゲージサブシステム B の次元を、群論的および特性理論的パラメータによって制御可能なフレームワークを提供すること。
• 有限体上の古典的加法的符号と量子演算子量子誤り訂正符号との間の直接的対応関係を確立すること。
• 特に最小距離と誤り訂正能力の観点から、クリフォードコードと安定化子コードのコードパラメータを同等の基準で比較可能にする。

提案手法

• 有限群 E とその次数 d = |E:Z(E)|^{1/2} の忠実な既約表現 ρ を用いて、抽象的誤り群を定義する。
• E の正規部分群 N と N の既約特性 χ を選択し、(χ, φ_N)_N > 0 を満たすことで、非ゼロの符号空間を保証する。
• クリフォードコード C を、直交射影子 P = (χ(1)/|N|) Σ_{n∈N} χ(n⁻¹)ρ(n) の像として定義する。これは χ の同型成分へ射影する。
• 符号空間 C が C = A ⊗ B に分解されることを示し、A は論理サブシステム、B はゲージサブシステムである。次元は |Z(E) ∩ N|、|E:Z(E)|^{1/2}、および χ(1) で決定される。
• 検出可能な誤りは、I_E(χ)（インertia 群）を用いて特徴づけられ、誤り e ∈ E が Pρ(e)P = λ_e P（λ_e ∈ ℂ）を満たす場合に検出可能である。
• 有限体 F_{q²}ⁿ 上の古典的加法的符号 X を用いて、等長写像 φ を介して量子符号を定義する。このとき、サブシステム A の次元は qⁿ/(xy)^{1/2}、B の次元は (x/y)^{1/2} である。ここで x = |X|、y = |X ∩ X^{⊥_a}| である。

実験結果

リサーチクエスチョン

• RQ1 古典的符号の自己直交性を要件としないで、演算子量子誤り訂正符号を構築することは可能か？
• RQ2 クリフォードコードにおける論理サブシステムとゲージサブシステムの次元を体系的に制御する方法は何か？
• RQ3 古典的符号の最小距離と、得られる量子符号の誤り訂正能力との関係は何か？
• RQ4 群論および特性理論を用いて、クリフォードコードの検出可能な誤り集合を完全に特徴づけられるか？
• RQ5 特に最小距離とコードレートの観点から、クリフォードコードと安定化子コードのパラメータはどのように比較できるか？

主な発見

• クリフォードコードによる演算子量子誤り訂正符号の構築は、下位の古典的加法的符号の自己直交性を要件としない。これは、安定化子符号理論における主要な制約を排除する。
• 論理サブシステム A の次元は dim A = qⁿ / (xy)^{1/2} で与えられ、ゲージサブシステム B の次元は (x/y)^{1/2} である。ここで x = |X|、y = |X ∩ X^{⊥_a}| は古典的加法的符号 X に対応する。
• 論理サブシステム A の最小距離 d は d = wt((X + X^{⊥_a}) - X) = wt(Y^{⊥_a} - X) として決定され、符号の誤り検出・訂正能力を規定する。
• 符号は、最小距離 d より小さいハミング重みを持つすべての誤りを検出でき、重みが ⌊(d−1)/2⌋ 以下の誤りを訂正できる。誤り検出・訂正能力は、古典的符号のハミング重みに基づく。
• 本手法により、任意のクリフォードコードに対して自然なテンソル分解 C = A ⊗ B が得られ、符号が安定化子符号であっても、ゲージサブシステムへのアクティブな補正なしにサブシステムベースの誤り訂正が可能になる。
• パラメータを一致させることで、クリフォードコードと安定化子コードの間の公平な比較が可能になる。具体的には、[[n−r,k,d]] の安定化子コードは [[n,k,r,d]] のクリフォードコードに対応し、コード性能の直接的分析が可能になる。