[논문 리뷰] Representations of Lie Algebras and Coding Theory

Xiaoping Xu|ArXiv.org|2009. 02. 17.

Algebraic structures and combinatorial models참고 문헌 22인용 수 4

한 줄 요약

이 논문은 복소수 위에서의 단순 리 대수의 유한차원 기약 표현의 무게 행렬에서 유도된 오류 수정 코드의 새로운 가족인 리 이론적 코드를 소개한다. 웨이블 군 작용과 분지 규칙을 활용하여, 특히 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.

연구 동기 및 목표

• 단순 리 대수의 유한차원 표현에서 유도된 새로운 무한 가족의 오류 수정 코드를 수립하기 위해.
• 이 표현의 무게 행렬에서 생성된 이진 및 삼진 선형 코드의 구조와 최소 거리에 대해 연구하기 위해.
• 웨이블 군 작용이 코드의 등장을 유지함으로써 최소 거리의 체계적 계산을 가능하게 하기 위해.
• 예외적 리 대수 F₄, E₆, E₇, E₈의 최소 및 고리 모듈에서 유도된 삼진 코드의 정확한 최소 거리를 결정하기 위해.
• 리 대수의 표현 이론과 부호 이론을 연결하기 위해, 무게 행렬이 고도의 오류 수정 능력을 갖는 직교 부호를 생성함을 보여주기 위해.

제안 방법

• 리 대수 $ \frak{g} $의 유한차원 $ \frak{g} $-모듈 $ V $에서의 카르탕 부분대수 원소의 무게 벡터에 대한 작용을 이용해, 리 대수 $ \frak{g} $의 무게 행렬 $ C(V) $를 구성한다.
• 코드 $ \frak{C}_m(V) $는 $ C(V) $에 의해 생성된 $ \bbZ_m $-선형 부호로, 이는 이진 부호에 대해 $ m=2 $, 삼진 부호에 대해 $ m=3 $이다.
• 웨이블 군 $ \frak{W}(\frak{g}) $는 코드 $ \frak{C}_m(V) $에 등장적으로 작용하여 해밍 무게를 유지하며, 대칭 기반 분석을 가능하게 한다.
• 기약 표현의 분지 규칙을 사용하여 무게 분포를 계산하고 궤도 분해를 통해 최소 거리를 결정한다.
• $ \frak{sl}(n,\bbC) $, $ \frak{o}(2n,\bbC) $ 및 예외적 리 대수 $ F_4, E_6, E_7, E_8 $에 대해 구체적인 구성 작업을 수행하였으며, 루트 체계와 다인킨 다이어그램을 사용하였다.
• 웨이블 군 작용 하에서 무게 행렬의 행들의 선형 조합과 그 해밍 무게를 분석함으로써 최소 거리를 계산한다.

실험 결과

연구 질문

• RQ1 단순 리 대수의 기약 표현의 무게 행렬이 최소 거리가 큰 직교 부호를 생성할 수 있는가?
• RQ2 웨이블 군 작용은 생성된 부호의 등장 및 무게 구조에 어떤 영향을 미치는가?
• 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]$-부호이다.