[論文レビュー] Polynomial invariants of quantum codes

Eric M. Rains|ArXiv.org|Apr 24, 1997

Coding theory and cryptography参考文献 1被引用数 12

ひとこと要約

この論文は、対称群 S_k^n の置換と一対一対応を確立することで、量子符号における高次多項式不変量を導入し、重み枚挙子を一般化する。一般化されたシャドウ枚挙子（その高次版）の係数が非負であることを証明し、((4,4,2)) 符号の四次不変量が一意に決定されることを示す。これは、このような符号が加法的であることを示す上で重要な一歩である。

ABSTRACT

The weight enumerators (quant-ph/9610040) of a quantum code are quite powerful tools for exploring its structure. As the weight enumerators are quadratic invariants of the code, this suggests the consideration of higher-degree polynomial invariants. We show that the space of degree k invariants of a code of length n is spanned by a set of basic invariants in one-to-one correspondence with S_k^n. We then present a number of equations and inequalities in these invariants; in particular, we give a higher-order generalization of the shadow enumerator of a code, and prove that its coefficients are nonnegative. We also prove that the quartic invariants of a ((4,4,2)) are uniquely determined, an important step in a proof that any ((4,4,2)) is additive ([2]).

研究の動機と目的

• 量子符号の不変量理論を二次の重み枚挙子を超えて高次多項式へと拡張すること。
• 長さ n の量子符号における多項式不変量の代数的構造を理解すること。
• シャドウ枚挙子の高次一般化を構築し、その係数が非負であることを証明すること。
• ((4,4,2)) 量子符号の四次不変量が、符号の構造によって一意に決定されることを確立すること。これは、このような符号が加法的であることを示す支援となる。

提案手法

• 長さ n の量子符号における次数 k の不変量の空間が、対称群 S_k^n の要素によってインデックス付けられた基本不変量によって張られることを示した。
• 古典的シャドウ枚挙子の概念を高次不変量として拡張し、一般化されたシャドウ枚挙子を構築した。
• 代数的および組合せ論的技法を用いて、この一般化されたシャドウ枚挙子の係数が非負であることを証明した。
• 表現論と対称関数論を用いて、不変量の構造を分析した。
• これらの不変量を、具体的に ((4,4,2)) 符号に適用し、その四次不変量が符号の構造によって一意に決定されることを示した。
• 符号の構造、群作用、多項式不変量の間の相互作用に依拠した分析を行った。

実験結果

リサーチクエスチョン

• RQ1 量子符号における重み枚挙子の概念を、高次多項式不変量へとどのように一般化できるか？
• RQ2 長さ n の量子符号における次数 k の不変量の空間の代数的構造は何か？
• RQ3 シャドウ枚挙子の高次アナログを定義できるか？ その係数は非負か？
• RQ4 ((4,4,2)) 量子符号の四次不変量は、符号の構造によって一意に決定されるか？
• RQ5 ((4,4,2)) 符号における四次不変量の一意性は、このような符号が加法的であるという予想を支持するか？

主な発見

• 長さ n の量子符号における次数 k の多項式不変量の空間は、対称群 S_k^n の要素と一対一対応する基本不変量によって張られる。
• シャドウ枚挙子の高次一般化が定義され、その係数が非負であることが証明された。
• ((4,4,2)) 量子符号に対して、その四次不変量は符号の構造によって一意に決定される。
• ((4,4,2)) 符号における四次不変量の一意性は、このような符号が加法的であることを示す上で重要な一歩を提供する。
• 二次形式を超える多項式不変量の枠組みを拡張することで、量子符号の代数的理論における基礎的結果を確立した。