[論文レビュー] Representations of Lie Algebras and Coding Theory

Xiaoping Xu|ArXiv.org|Feb 17, 2009

Algebraic structures and combinatorial models参考文献 22被引用数 4

ひとこと要約

本稿では、複素数体上の一様な簡約リー代数の有限次元既約表現の重み行列から生成される、誤り訂正符号の新規族—Lie理論的符号—を導入する。Weyl群作用と分岐則を活用することで、特にF₂およびF₃上では、二進二重偶符号および三進正規直交符号が得られ、最小距離が大きく、E₇、E₈、F₄、E₆、E₇、E₈の最小表現および随伴表現において、明示的な[56,7,24]、[63,7,27]、および[120,8,57]符号が得られる。

ABSTRACT

Linear codes with large minimal distances are important error correcting codes in information theory.Orthogonal codes have more applications in the other fields of mathematics. In this paper, we study the binary and ternary orthogonal codes generated by the weight matrices on finite-dimensional modules of simple Lie algebras. The Weyl groups of the Lie algebras act on these codes isometrically. It turns out that certain weight matrices of $sl(n,\mbb{C})$ and $o(2n,\mbb{C})$ generate doubly-even binary orthogonal codes and ternary orthogonal codes with large minimal distances. Moreover, we prove that the weight matrices of $F_4$, $E_6$, $E_7$ and $E_8$ on their minimal irreducible modules and adjoint modules all generate ternary orthogonal codes with large minimal distances. In determining the minimal distances, we have used the Weyl groups and branch rules of the irreducible representations of the related simple Lie algebras.

研究の動機と目的

• 単純リー代数の有限次元表現から導かれる新たな無限族の誤り訂正符号を確立すること。
• これらの表現の重み行列から生成される二進および三進線形符号の構造と最小距離を調査すること。
• Weyl群作用が符号の等長性を保つことを示し、最小距離の体系的計算を可能にすること。
• 例外的リー代数F₄、E₆、E₇、E₈の最小表現および随伴表現から得られる三進符号の正確な最小距離を特定すること。
• 重み行列が高誤り訂正能力を持つ正規直交符号を生成することを示し、リー代数の表現理論と符号理論を結びつけること。

提案手法

• リー代数$ \frak{g} $の有限次元$ \frak{g} $-加群$ V $における重み行列$ C(V) $は、Cartan部分代数の元が重みベクトルに作用する方法によって構成される。
• 符号$ \frak{C}_m(V) $は、$ C(V) $によって生成される$ \bbZ_m $-線形符号であり、$ m=2 $が二進符号、$ m=3 $が三進符号に対応する。
• Weyl群$ \frak{W}(\frak{g}) $は符号$ \frak{C}_m(V) $に等長的に作用し、ハミング重みを保ち、対称性に基づく解析を可能にする。
• 既約表現の分岐則を用いて、重み分布を計算し、軌道分解により最小距離を特定する。
• $ \frak{sl}(n,\bbC) $、$ \frak{o}(2n,\bbC) $、および例外的リー代数$ F_4, E_6, E_7, E_8 $に対して明示的構成を行い、根系とDynkin図を用いる。
• Weyl群作用の下で重み行列の行の線形結合とそのハミング重みを分析することで、最小距離を計算する。

実験結果

リサーチクエスチョン

• RQ1 単純リー代数の既約表現の重み行列は、大きな最小距離を持つ正規直交符号を生成できるか？
• RQ2 Weyl群作用は、生成された符号の等長性および重み構造にどのように影響するか？
• RQ3 例外的リー代数F₄、E₆、E₇、E₈の最小表現および随伴表現から得られる三進符号の正確な最小距離は何か？
• RQ4 $ \frak{sl}(n,\bbC) $および$ \frak{o}(2n,\bbC) $から生成される符号は、二重偶符号の二進正規直交符号を生成するか？
• RQ5 リー代数の表現論的構造を体系的に用いて、高誤り訂正能力を持つ新しい符号族を構築できるか？

主な発見

• $ \frak{sl}(n,\bbC) $の最小加群における重み行列は、大きな最小距離を持つ二重偶二進正規直交符号を生成する。
• $ \frak{o}(2n,\bbC) $の最小加群における重み行列は、大きな最小距離を持つ二重偶二進正規直交符号を生成する。
• $ F_4 $の最小既約および随伴加群における重み行列から生成される三進符号は、正規直交で最小距離12を持つ。
• $ E_6 $の最小既約および随伴加群における重み行列から生成される三進符号は、正規直交で最小距離12を持つ。
• $ E_7 $の最小既約加群における重み行列から生成される三進符号は、正規直交な$[56,7,24]$符号である。
• $ E_7 $の随伴加群における重み行列から生成される三進符号は、正規直交な$[63,7,27]$符号である。
• $ E_8 $の随伴加群における重み行列から生成される三進符号は、正規直交な$[120,8,57]$符号である。