[논문 리뷰] MacWilliams Extension Theorems and the Local-Global Property for Codes over Rings

Aleams Barra, Heide Gluesing-Luerssen|arXiv (Cornell University)|2013. 07. 26.

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

한 줄 요약

이 논문은 일반선형군의 부분군에 대한 국소-글로벌 성질을 도입하여 유한 프로베누스 링 위의 코드에 대한 맥컬리스 확장 정리가 성립하도록 한다. 이는 순서 집합 무게에 대해 확장 정리가 성립하는 것은 그 기저 순서 집합이 계층적일 때에만 성립하며, 동차 무게 확장 정리에 대해 특성 이론을 이용한 증명을 제공하여 로젠블룸-츠파스만 무게는 정리에 부합하지만, 니더레히터-로젠블룸-츠파스만 무게는 그렇지 않음을 보여준다.

ABSTRACT

The MacWilliams extension theorem is investigated for various weight functions over finite Frobenius rings. The problem is reformulated in terms of a local-global property for subgroups of the general linear group. Among other things, it is shown that the extension theorem holds true for poset weights if and only if the underlying poset is hierarchical. Specifically, the Rosenbloom-Tsfasman weight for vector codes satisfies the extension theorem, whereas the Niederreiter-Rosenbloom-Tsfasman weight for matrix codes does not. A short character-theoretic proof of the well-known MacWilliams extension theorem for the homogeneous weight is provided. Moreover it is shown that the extension theorem carries over to direct products of weights, but not to symmetrized products.

연구 동기 및 목표

• 유한 프로베누스 링 위의 코드 사이의 선형 사상 중 맥컬리스 확장 정리를 만족하는 클래스를 조사하는 것.
• GL(n,R)의 부분군 중에서 국소-글로벌 성질이 성립하는 조건, 즉 각 점별 사상이 전역적으로 확장되는 조건을 규명하는 것.
• 특히 순서 집합 무게를 포함한 무게 함수의 등급수행 사상이 프로베누스 링 위에서 전역적으로 확장되는 조건을 특성화하는 것.
• 프로베누스 링 조건이 확장 정리의 가능성을 보장하는 데서 수행하는 역할을 명확히 하는 것.
• 동차, 순서 집합, 행렬 무게를 포함한 다양한 무게 함수에 대한 확장 문제를 해결하는 것.

제안 방법

• GL(n,R)의 부분군에 대한 국소-글로벌 성질의 관점에서 맥컬리스 확장 정리를 재구성함. 여기서 국소 사상은 무게를 보존하고 전역적으로 확장 가능함.
• 순서 집합이 계층적이지 않은 경우를 대비해 순서 집합의 수준 집합과 최소 원소를 이용해 반례를 구성함.
• 특성 이론을 적용하여 프로베누스 링 위에서 동차 무게에 대한 확장 정리에 대한 간결한 증명을 제공함.
• 지지 집합과 순서 집합 순서를 이용한 이상수 생성 이상수를 통해 무게 보존 등급수행 사상의 구조를 분석함.
• 구체적인 코드와 그 사이의 등급수행 사상을 구성하여, 순서 집합이 계층적이지 않은 경우 전역 확장이 불가능함을 보여줌.
• 순서 집합의 지지 집합과 순서 이상수를 이용해, 무게 보존 사상이 전역적으로 확장 가능하려면 순서 집합이 계층적이어야 함을 보임.

실험 결과

연구 질문

• RQ1 유한 프로베누스 링 위의 무게 함수 중에서 맥컬리스 확장 정리가 성립하는 것은 무엇인가?
• RQ2 무게 보존 등급수행 사상이 코드 사이에서 전체 공간으로 확장 가능한가에 대한 순서 집합의 구조적 조건은 무엇인가?
• RQ3 왜 매트릭스 코드의 니더레히터-로젠블룸-츠파스만 무게는 확장 정리를 만족하지 못하는 반면, 벡터 코드의 로젠블룸-츠파스만 무게는 만족하는가?
• RQ4 무게 보존 사상에 대한 국소-글로벌 성질을 가능하게 하는 데서 프로베누스 링 조건이 수행하는 역할은 무엇인가?
• RQ5 무게의 직접곱은 확장 성질을 유지하는가? 그리고 대칭화된 곱은 왜 실패하는가?

주요 결과

• 프로베누스 링 위의 순서 집합 무게에 대해 맥컬리스 확장 정리는 기저 순서 집합이 계층적일 때에만 성립한다.
• 벡터 코드의 로젠블룸-츠파스만 무게는 확장 정리를 만족하지만, 매트릭스 코드의 니더레히터-로젠블룸-츠파스만 무게는 그렇지 않다.
• 프로베누스 링 위에서 동차 무게에 대한 확장 정리에 대해 특성 이론을 이용한 증명이 제시된다.
• 확장 정리는 무게의 직접곱으로까지 확장되지만, 대칭화된 곱으로는 확장되지 않는다.
• 비계층적 순서 집합에 대해서는 일차원 코드 사이의 무게 보존 등급수행 사상이 전체 공간 R^n으로 확장될 수 없다.
• GL(n,R)의 부분군에 대한 국소-글로벌 성질이 성립하는 것은 R이 프로베누스 링일 때에만 성립함을 보여, 이 조건이 필수적임을 입증한다.