[논문 리뷰] Further Results on Homogeneous Two-Weight Codes

Thomas Honold|arXiv (Cornell University)|2014. 01. 28.

Coding theory and cryptography참고 문헌 8인용 수 3

한 줄 요약

이 논문은 유한 프로베누스 환 위에서의 모odular 두 가지 무게 코드와 강한 정규 그래프 사이의 대응관계를 선형 두 가지 무게 코드와 강한 정규 그래프 사이의 대응관계로 확장한다. 이러한 코드들이 코스터 구조를 통해 강한 정규 카일리 그래프를 유도함을 증명하고, 유사한 두 가지 무게 및 강한 정규 그래프 성질을 갖는 쌍대 코드를 구성함으로써, 유한 체 위에서의 고전적 결과를 더 넓은 대수적 환경으로 일반화한다.

ABSTRACT

The results of [1,2] on linear homogeneous two-weight codes over finite Frobenius rings are exended in two ways: It is shown that certain non-projective two-weight codes give rise to strongly regular graphs in the way described in [1,2]. Secondly, these codes are used to define a dual two-weight code and strongly regular graph similar to the classical case of projective linear two-weight codes over finite fields [3].

연구 동기 및 목표

• 유한 체 위에서의 프로젝티브 선형 두 가지 무게 코드와 강한 정규 그래프 사이의 알려진 대응관계를 더 넓은 범주인 유한 프로베누스 환 위의 코드로 일반화하는 것.
• 비프로젝티브이면서 모듈로 두 가지 무게 코드가 프로베누스 환에서 코스터 구조를 통해 강한 정규 카일리 그래프를 유도하는 조건을 규명하는 것.
• 모듈로 두 가지 무게 코드에 대해 쌍대 코드를 정의하고, 이 쌍대 코드가 동일한 두 가지 무게 성질과 관련된 강한 정규 그래프를 갖는다는 것을 증명하는 것.
• 프로베누스 환의 맥락에서 두 가지 무게 코드와 부분 차집합 집합의 고전적 결과들을 통합하고 일반화하는 것.

제안 방법

• 유닛 곱에 관하여 불변인 특성 함수를 통해 정의된, 유한 프로베누스 환 위의 동질 무게 함수를 사용한다.
• 특정한 무게 분포와 비퇴화 조건을 갖는 일반화된 프로젝티브 두 가지 무게 코드로서 모듈로 두 가지 무게 코드를 도입한다.
• 정점이 코스터이고, 인접 관계가 동질 무게 w₁에 의해 결정되는, 몫군 C/C₀ 위에서의 카일리 그래프 Γ(C)를 정의한다.
• 동질 무게의 상관관계 성질(식 4)을 적용하여 카일리 그래프 내의 공통 이웃 수를 계산한다.
• 무게 w₁의 코드어의 열들로 이루어진 행렬의 열들로부터 생성되는 우측 선형 코드로서 쌍대 코드 C′을 구성한다.
• 생성 행렬의 열 공간 D의 구조를 이용하여 쌍대 코드를 (D, +) 내의 부분 차집합 집합과 연결한다.

실험 결과

연구 질문

• RQ1 유한 체 위의 프로젝티브 선형 두 가지 무게 코드와 강한 정규 그래프 사이의 대응관계를 유한 프로베누스 환 위의 모듈로 두 가지 무게 코드로 확장할 수 있는가?
• RQ2 프로베누스 환 위의 모듈로 두 가지 무게 코드가 어떤 조건에서 강한 정규 카일리 그래프를 유도하는가?
• RQ3 모듈로 두 가지 무게 코드의 쌍대 코드는 두 가지 무게 성질과 강한 정규 그래프 성질을 그대로 이어받는가?
• RQ4 모듈로 두 가지 무게 코드와 그 쌍대 코드와 관련된 강한 정규 그래프의 정확한 매개변수화는 무엇인가?
• RQ5 동질 무게의 성질과 환의 구조는 이러한 그래프의 존재성과 매개변수에 어떤 영향을 미치는가?

주요 결과

• 유한 프로베누스 환 위의 모듈로 두 가지 무게 코드 C에 대응하는 카일리 그래프 Γ(C)는 |C|, w₁, w₂, n에 따라 명시적으로 계산된 매개변수를 갖는 강한 정규 그래프이다.
• 그래프 Γ(C)가 자명한 것은 w₁ = n일 때이고, 이는 무게 0과 w₂를 갖는 코드어들이 선형 부분코드를 이룬다.
• C₀ = {0}인 모듈로 두 가지 무게 코드 C의 쌍대 코드 C′은 무게 w₁′ = b₁w₁/n 및 w₂′ = (w₂ − n)|C|/(w₂ − w₁)를 갖는 모듈로 두 가지 무게 코드이다.
• 쌍대 그래프 Γ(C′)는 매개변수 N′ = |C|, K′ = n/r, λ′ = (2n − w₁ − w₂)/r + w₁w₂/(r²|C|), μ′ = w₁w₂/(r²|C|)를 갖는 강한 정규 그래프이며, 여기서 r는 열 공간의 질량이다.
• 동질 두 가지 무게 코드 C는 Ω = ∪gᵢR×가 생성 행렬의 열 공간 D에서 정규 부분 차집합 집합이 되는 경우에 등가이며, 이때 Ω ∪ {0}은 부분모듈이 아니다.
• Ω ∪ {0}이 부분모듈가 아니라는 조건은 C가 한 가지 무게 코드가 아니라는 것을 보장하며, D ∖ Ω가 부분모듈가 되는 것은 w₁ = n일 때에만 해당되며, 이는 그래프의 자명성을 의미한다.