[논문 리뷰] On products and powers of linear codes under componentwise multiplication

Randriambololona, Hugues|arXiv (Cornell University)|2013. 11. 29.

Polynomial and algebraic computation인용 수 5

한 줄 요약

이 논문은 성분별 곱셈에 대한 선형 코드의 곱과 거듭제곱에 대한 대수적이고 조합론적인 이론을 개발하며, 부호 이론과代수기하학, 다중선형 대수학을 연결하는 기초 성질을 확립한다. 대칭 텐서 분해를 위한 형식적 체계를 도입하고, 곱셈에 따른 부호 매개변수에 대한 경계를 제시하며, 암호학과 점점 커지는 부호 이론에의 적용을 포함한다.

ABSTRACT

In this text we develop the formalism of products and powers of linear codes under componentwise multiplication. As an expanded version of the author's talk at AGCT-14, focus is put mostly on basic properties and descriptive statements that could otherwise probably not fit in a regular research paper. On the other hand, more advanced results and applications are only quickly mentioned with references to the literature. We also point out a few open problems. Our presentation alternates between two points of view, which the theory intertwines in an essential way: that of combinatorial coding, and that of algebraic geometry. In appendices that can be read independently, we investigate topics in multilinear algebra over finite fields, notably we establish a criterion for a symmetric multilinear map to admit a symmetric algorithm, or equivalently, for a symmetric tensor to decompose as a sum of elementary symmetric tensors.

연구 동기 및 목표

• 성분별 곱셈 하에서 선형 코드의 곱과 거듭제곱의 대수적 구조를 체계화하여 부호 이론과 대수기하학을 연결한다.
• 이러한 연산의 기초 성질을 확립한다. 특히 결합법칙, 교환법칙, 부분공간 합에 대한 분배법칙을 포함한다.
• 특히 점점 커지는 양호성과의 관계에서 코드 거듭제곱에 대한 자동화군과 메트릭 불변량의 행동을 조사한다.
• 특히 부분체 하부코드, 추적 부호, 연결 부호에 관해 미해결 문제를 탐색한다.
• 특히 $ t $-승 거듭제곱에 대한 부호 매개변수 경계를 확장하고, 이러한 연산 하에서 점점 커지는 양호한 가족의 존재를 평가한다.

제안 방법

• 유한체 $ \mathbb{F}^n $ 위에서 성분별 곱셈 $*$ 를 사용하며, $ C * C' $ 는 코드 워드의 모든 성분별 곱의 선형 스펜으로 정의된다.
• 특히 대칭 거듭제곱 $ S^t V $ 와 대칭 다중선형 사상에 대해 유한체 위에서 대칭 대수와 다중선형 대수를 적용한다.
• Appendix B에 자세히 기술된 lin $ \mathbb{F}_q $ 위의 동차 다중선형 다항식을 통한 대칭 텐서 분해 기준을 도입한다.
• 부호 이중성과 지지집합 사이의 이중성 관계를 활용하여 $ n_i = \dim \langle x \in C^\perp \mid w(x) \leq i \rangle^\perp $ 를 정의하며, $ n_0, n_1, n_2 $ 는 각각 길이, 지지집합 길이, 프로젝티브 길이에 해당한다.
• 싱글턴 경계와 순수 경계와 같은 부호 이론의 경계를 연결 부호와 AG 부호의 맥락에서 코드 곱과 거듭제곱에 적용한다.
• 증가하는 $ t $ 에 대해 자동화군 $ \operatorname{Aut}(C^{\langle t \rangle}) $ 와 $ \operatorname{Aut}^{\textrm{in}}(C^{\langle t \rangle}) $ 의 행동을 분석하고, 다양한 부호 가족 간에 비교한다.

실험 결과

연구 질문

• RQ1 이차적으로 양호한 이진 선형 부호 $ C $ 의 가족이 존재하는가? 이 때 $ C^{\langle 3 \rangle} $ 도 여전히 점점 커지는 양호한가? (즉, $ \tau(2) > 2 $? )
• RQ2 점점 커지는 양호한 이진 부호의 $ t $-승 거듭제곱 $ C^{\langle t \rangle} $ 가 임의로 큰 $ t $ 에 대해서도 여전히 점점 커지는 양호한가? (즉, $ \tau(2) = \infty $? )
• RQ3 이차적으로 양호한 이진 선형 부호 $ C $ 의 가족이 존재하는가? 이 때 $ C^{\langle 2 \rangle} $ 와 $ C^\perp $ 둘 다 점점 커지는 양호한가?
• RQ4 $ n_i $ 의 기하학적 또는 조합론적 해석은 무엇인가? 여기서 $ i \geq 3 $ 일 때 $ n_i $ 는 낮은 무게의 이중 코드 워드의 스펜의 이중의 차원으로 정의된다.
• RQ5 모든 $ t > q $ 에 대해 프로베누스 대칭 $ t $-다중선형 다항식의 보편적 가족을 구성할 수 있는가? 이를 통해 연결 부호 곱의 경계를 연장할 수 있는가?

주요 결과

• 두 선형 부호의 곱 $ C * C' $ 는 교환법칙, 결합법칙, 부분공간 합에 대한 분배법칙을 만족하며, 선형 부호 집합 위에서 반환 구조를 이룬다.
• 코드 $ C $ 의 $ t $-승 거듭제곱 $ C^{\langle t \rangle} $ 는 $ C $ 에서의 모든 $ t $-중 성분별 곱의 선형 스펜으로 정의되며, $ \operatorname{Aut}(C^{\langle t \rangle}) \subseteq \operatorname{Aut}(C^{\langle t' \rangle}) $ 는 $ t \mid t' $ 이거나 $ t' \geq r(C) $ 일 때에만 성립한다.
• 모든 $ \delta \in (0,1) $ 에 대해 경계 $ 0.001872 - 0.5294\delta \leq \alpha_2^{\langle 2 \rangle}(\delta) \leq 0.5 - 0.5\delta $ 가 성립하며, 이는 이진 부호 곱 매개변수에 대한 현재 지식의 상당한 격차를 시사한다.
• 이차적으로 양호한 이진 부호의 가족이 존재하여 그 세제곱이 여전히 점점 커지는 양호한가의 여부는 여전히 미해결 문제이며, $ \tau(2) > 2 $ 는 핵심적인 미해결 질문이다.
• 모든 $ t \leq q $ 에 대해, Appendice B에 자세히 기술된 $ \mathbb{F}_q $ 위의 동차 $ t $-다중선형 다항식을 사용하여 연결 부호의 $ t $-승 거듭제곱의 매개변수에 대한 경계를 확립한다.
• 모든 $ t > q $ 에 대해 프로베누스 대칭 거듭제곱 $ S_{\text{Frob}, \mathbb{F}_q}^t \mathbb{F}_{q^r} $ 는 여전히 잘 이해되지 않았으며, 비동차 다중선형 다항식의 보편적 가족을 구성하는 것이 경계 연장의 길로 제안된다.