[논문 리뷰] Block diagonalization for algebra's associated with block codes

Dion Gijswijt|ArXiv.org|2009. 10. 23.

Finite Group Theory Research참고 문헌 7인용 수 9

한 줄 요약

이 논문은 블록 코드와 관련된 행렬 *-대수, 특히 $\mathrm{Sym}^n(\mathcal{B})$ 형태의 대수에서 계산적으로 효율적인 블록 대각형 분해 방법을 제시한다. 여기서 $\mathcal{B}$는 행렬 *-대수이다. 대칭군의 표현 이론과 주어진 $\mathcal{B}$의 블록 대각형 분해를 활용하여, $\mathcal{A} = \mathrm{Sym}^n(\mathcal{B})$의 블록 대각형 분해를 다항시간 내에 구성한다. 이는 코딩 이론 적용 분야에서 정수형 프로그래밍 복잡도를 크게 감소시킨다.

ABSTRACT

For a matrix *-algebra B, consider the matrix *-algebra A consisting of the symmetric tensors in the n-fold tensor product of B. Examples of such algebras in coding theory include the Bose-Mesner algebra and Terwilliger algebra of the (non)binary Hamming cube, and algebras arising in SDP-hierarchies for coding bounds using moment matrices. We give a computationally efficient block diagonalization of A in terms of a given block diagonalization of B, and work out some examples, including the Terwilliger algebra of the binary- and nonbinary Hamming cube. As a tool we use some basic facts about representations of the symmetric group.

연구 동기 및 목표

• 코딩 이론에서 발생하는 행렬 *-대수의 계산적으로 효율적인 블록 대각형 분해 방법을 개발하는 것, 특히 대칭군 작용에 대해 불변인 대수들에 대해.
• 블록 대각형 분해를 통해 대칭성을 활용하여 오류 수정 코드의 경계를 유도하는 데 사용되는 정수형 프로그래밍(SDP)의 복잡도를 감소시키는 것.
• 주어진 $\mathcal{B}$의 블록 대각형 분해로부터 $\mathrm{Sym}^n(\mathcal{B})$의 명시적 다항시간 알고리즘을 제공하는 것.
• $\mathcal{B}$가 유리수나 실수 위에서 정의된 경우, 결과 블록 대각형 분해가 유리수나 실수 위에서 정의되며, 유리수의 제곱근을 포함한 스케일링까지 유지되는지 보장하는 것.
• 주요 코딩 이론 대수, 즉 비이진 해밍 체계의 터윌리지 대수와 보스-메스너 대수에 이 방법을 적용하는 것.

제안 방법

• 이 방법은 대칭군 $S_n$의 표현 이론을 사용하여 대칭 텐서 거듭제곱 $\mathrm{Sym}^n(\mathcal{B})$를 기초 표현으로 분해한다.
• 유명한 $\mathcal{B}$의 블록 대각형 분해를 영상자와 슈어-웨일 듀얼리티를 통해 올려받아, $\mathcal{A} \to \bigoplus_i \mathbb{C}^{p_i \times p_i}$의 *-동형사상 $\phi$를 구성한다.
• 블록 구조는 $\mathcal{B}^{\otimes n}$이 $S_n$의 기초 표현으로 분해될 때 결정되며, 대칭 부분공간 $\mathrm{Sym}^n(\mathcal{B})$는 자명 표현에 대응한다.
• 계수 계산은 특성 이론과 내적 공식에서 유도된 이항계수 및 다항계수 표현식을 사용한다.
• $\mathcal{B}$가 $\mathbb{Q}$나 $\mathbb{R}$ 위에서 정의된 경우, 결과 블록 대각형 분해도 유사하게 $\mathbb{Q}$나 $\mathbb{R}$ 위에서 정의되며, 유리수의 제곱근을 포함한 스케일링까지 유지된다.
• 블록 대각형 분해에 대한 명시적 공식이 유도되며, 이는 다항계수와 원래 대수 $\mathcal{B}$의 매개변수를 포함한 블록 항목의 표현식을 포함한다.

실험 결과

연구 질문

• RQ1 행렬 *-대수 $\mathcal{B}$의 블록 대각형 분해를 어떻게 계산적으로 효율적인 방식으로 $\mathrm{Sym}^n(\mathcal{B})$의 블록 대각형 분해로 확장할 수 있는가?
• RQ2 대칭군 $S_n$의 표현 이론은 코딩 이론에서 행렬 대수의 대칭 텐서 거듭제곱을 분해하는 데 어떤 역할을 하는가?
• RQ3 $\mathcal{B}$의 크기와 $n$에 대해 다항시간 내에 $\mathrm{Sym}^n(\mathcal{B})$의 블록 대각형 분해를 계산할 수 있는가?
• RQ4 $\mathcal{B}$가 $\mathbb{Q}$나 $\mathbb{R}$ 위에서 정의된 경우, 블록 대각형 분해가 대수적 구조(예: 유리수나 실수 성분)를 어떻게 유지하는가?
• RQ5 이 방법은 오류 수정 코드의 경계를 유도하는 데 사용되는 정수형 프로그래밍의 크기를 어느 정도 감소시키는가?

주요 결과

• $\mathcal{A} = \mathrm{Sym}^n(\mathcal{B})$의 블록 대각형 분해는 주어진 $\mathcal{B}$의 블록 대각형 분해로부터 다항시간 내에 계산 가능하며, 이는 코딩 이론에서 효율적인 SDP 감소를 가능하게 한다.
• 이 방법은 $\mathcal{A} \to \bigoplus_i \mathbb{C}^{p_i \times p_i}$의 *-동형사상 $\psi$를 생성하며, 양의 준정부호성과 동형사상의 구조를 유지한다.
• 이진 해밍 큐브의 경우, 이 방법은 이전에 슈리지버에 의해 발견된 터윌리지 대수의 블록 대각형 분해를 재현하여 일관성을 확인한다.
• 3 이상의 $q$에 대해 비이진 해밍 체계의 경우, 이 방법은 $\mathcal{A}_{q,n}$의 터윌리지 대수에 대해 알려진 결과와 일치하는 블록 대각형 분해를 제공하며, 블록 항목에 대한 명시적 공식을 포함한다.
• 결과 블록 대각형 분해는 대수적 구조를 존중한다: $\mathcal{B}$가 $\mathbb{Q}$나 $\mathbb{R}$ 위에서 정의된 경우, $\mathcal{A}$ 역시 마찬가지로 정의되며, 후자의 경우 유리수의 제곱근을 포함한 스케일링까지 유지된다.
• 블록 분해는 $w = 0$에서 $n$까지 인덱싱된 분할에 대한 직접 합으로 명시적으로 주어지며, 블록 항목은 다항계수와 $\mathcal{B}$의 매개변수에 의해 결정된다.