[논문 리뷰] Harder-Narasimhan theory for linear codes

Hugues Randriambololona|arXiv (Cornell University)|2016. 09. 02.

Coding theory and cryptography참고 문헌 24인용 수 4

한 줄 요약

이 논문은 조합적 격자와 갈로아 연결을 이용하여 선형 코드에 대한 Harder-Narasimhan 이론을 수립한다. 하위코드의 지지 크기를 기반으로 기울기, 반안정성, 그리고 표준 필터링을 정의하며, 구형 포장, 기하학적, 격자 이론적 접근을 통합하여 동일한 반안정성 개념과 필터링을 도출한다. 또한, 반안정 코드의 텐서곱이 여전히 반안정임을 증명한다.

ABSTRACT

In this text we develop some aspects of Harder-Narasimhan theory, slopes, semistability and canonical filtration, in the setting of combinatorial lattices. Of noticeable importance is the Harder-Narasimhan structure associated to a Galois connection between two lattices. It applies, in particular, to matroids. We then specialize this to linear codes. This could be done from at least three different approaches: using the sphere-packing analogy, or the geometric view, or the Galois connection construction just introduced. A remarkable fact is that these all lead to the same notion of semistability and canonical filtration. Relations to previous propositions towards a classification of codes, and to Wei's generalized Hamming weight hierarchy, are also discussed. Last, we study the important question of the preservation of semistability (or more generally the behaviour of slopes) under duality, and under tensor product. The former essentially follows from Wei's duality theorem for higher weights---and its matroid version---which we revisit in an appendix, developing analogues of the Riemann-Roch, Serre duality, Clifford, and gap and gonality sequence theorems for codes. Likewise the latter is closely related to the bound on higher weights of a tensor product, conjectured by Wei and Yang, and proved by Schaathun in the geometric language, which we reformulate directly in terms of codes. From this material we then derive semistability of tensor product.

연구 동기 및 목표

• 조합적 격자와 갈로아 연결을 이용하여 선형 코드에 대한 Harder-Narasimhan 이론을 개발한다.
• 공구 포장 유사성, 기하학적 시각, 갈로아 연결 구성이라는 세 가지 서로 다른 접근법을 하나의 일관된 프레임워크로 통합한다.
• 지지 크기와 일반화된 하밍 무게를 기반으로 선형 코드의 표준 필터링과 반안정성 개념을 수립한다.
• 쌍대성과 텐서곱 연산에 대한 기울기와 반안정성의 행동을 조사한다.
• 부록에서 웨이의 쌍대성 정리 재고하고, 코드와 매트로이드에 대한 리만-로흐 유사 정리를 개발한다.

제안 방법

• 하위코드 $ C' \subseteq C $ 의 차수를 $ \deg(C') = n - w(C') $ 로 정의한다. 여기서 $ w(C') $ 는 지지 크기이다.
• 기울기를 $ \mu(C') = \deg(C') / \dim(C') $ 로 정의하고, 엄격히 감소하는 기울기를 갖는 하위코드의 최대 세분화를 Harder-Narasimhan 필터링으로 간주한다.
• 코드 $ C $ 의 하위코드 격자와 그 쌍대 $ C^\bot $ 의 하위코드 격자 사이의 갈로아 연결을 이용하여 표준 필터링을 유도한다.
• 웨이의 일반화된 하밍 무게 계층 $ d_i(C) $ 를 점들 $ (i, n - d_i(C)) $ 의 상부 볼록 껍질로 재구성하여 표준 다각형을 형성한다.
• 프로젝션 $ \widehat{\pi_j}(C) $ 의 무게를 랭크 함수 $ \operatorname{R}(A), \operatorname{R}(B) $ 를 사용해 유계화하고, 부분합 공식을 적용하여 텐서곱의 반안정성을 증명한다.
• 부록의 리만-로흐 이론을 활용하여 세르 쌍대성, 클리포드 부등식, 갭 수열의 유사 정리를 코드와 매트로이드에 대해 유도한다.

실험 결과

연구 질문

• RQ1 조합적 격자와 갈로아 연결을 이용하여 선형 코드에 대한 통합된 Harder-Narasimhan 이론을 구축할 수 있는가?
• RQ2 공구 포장, 기하학적, 격자 이론적 접근이 코드의 반안정성에 대해 동일한 결과를 도출하는가?
• RQ3 쌍대성에 대한 반안정성은 어떻게 행동하며, 고차원 무게에 대한 웨이의 쌍대성 정리와의 관계는 무엇인가?
• RQ4 두 반안정 코드의 텐서곱은 스스로 반안정인가? 그리고 이는 코드 이론적 프레임워크 내에서 직접적으로 증명될 수 있는가?
• RQ5 선형 코드와 매트로이드에 대해 리만-로흐 정리의 유사 정리는 무엇이며, 이는 쌍대성과 기울기 불변량과 어떻게 관련되는가?

주요 결과

• 공구 포장, 기하학적, 갈로아 연결 접근 모두 선형 코드에 대해 동일한 표준 필터링과 반안정성 조건을 도출한다.
• 코드의 표준 다각형은 점들 $ (i, n - d_i(C)) $ 의 상부 볼록 껍질이며, 그 변의 수는 Harder-Narasimhan 필터링의 단계 수와 같다.
• 반안정성은 쌍대성에 대해 유지되며, 이 증명은 웨이의 쌍대성 정리와 그 매트로이드 유사체의 재해석에 기반한다.
• 반안정 코드의 텐서곱은 반안정이며, 프로젝션의 무게 유계화와 랭크 함수에 대한 부분합 공식을 통해 증명된다.
• 부록에서 개발된 리만-로흐 이론은 코드와 매트로이드에 대해 세르 쌍대성, 클리포드의 부등식, 갭 수열의 유사 정리를 포함한다.
• 이 이론은 실용적 코드는 일반적으로 안정적임(즉, 표준 필터링이 자명함)을 드러내며, 따라서 이 이론은 개별 코드보다는 코드의 가족을 분류하는 데 더 관련성이 있다.