[논문 리뷰] Characterisation of a family of neighbour transitive codes

Neil I. Gillespie, Cheryl E. Praeger|arXiv (Cornell University)|2014. 05. 21.

Coding theory and cryptography참고 문헌 42인용 수 9

한 줄 요약

이 논문은 최소거리가 3 이상인 이웃 전이 코드의 가족을 기술하며, 이는 알파벳 거의 단순이고 해밍 그래프의 자기동형군의 기본군과 비자명하게 만날 수 있다. 이와 같은 코드들이 등가 관계에서 특정 부분코드이거나 그 $X$-이동의 disjoint 합집합임을 증명한다. 이 부분코드는 이웃 전이 주파수 순열 배열이다.

ABSTRACT

We consider codes of length $m$ over an alphabet of size $q$ as subsets of the vertex set of the Hamming graph $Γ=H(m,q)$. A code for which there exists an automorphism group $X\leq Aut(Γ)$ that acts transitively on the code and on its set of neighbours is said to be neighbour transitive, and were introduced by the authors as a group theoretic analogue to the assumption that single errors are equally likely over a noisy channel. Examples of neighbour transitive codes include the Hamming codes, various Golay codes, certain Hadamard codes, the Nordstrom Robinson codes, certain permutation codes and frequency permutation arrays, which have connections with powerline communication, and also completely transitive codes, a subfamily of completely regular codes, which themselves have attracted a lot of interest. It is known that for any neighbour transitive code with minimum distance at least 3 there exists a subgroup of $X$ that has a $2$-transitive action on the alphabet over which the code is defined. Therefore, by Burnside's theorem, this action is of almost simple or affine type. If the action is of almost simple type, we say the code is alphabet almost simple neighbour transitive. In this paper we characterise a family of neighbour transitive codes, in particular, the alphabet almost simple neighbour transitive codes with minimum distance at least $3$, and for which the group $X$ has a non-trivial intersection with the base group of $Aut(Γ)$. If $C$ is such a code, we show that, up to equivalence, there exists a subcode $Δ$ that can be completely described, and that either $C=Δ$, or $Δ$ is a neighbour transitive frequency permutation array and $C$ is the disjoint union of $X$-translates of $Δ$. We also prove that any finite group can be identified in a natural way with a neighbour transitive code.

연구 동기 및 목표

• 해밍 그래프의 자기동형군의 기본군과 비자명하게 만날 수 있는 최소거리가 3 이상인 알파벳 거의 단순 이웃 전이 코드를 기술하는 것.
• 교집합군 $K = X \bigcap B$ 의 socle 분석을 통해 이러한 코드의 구조를 규명하는 것.
• 등가 관계에서 코드가 알려진 $\text{soc}(K)$-궤도이거나 그 $X$-이동의 disjoint 합집합임을 보여주는 것.
• 구성적 임bedding을 통해 유한군과 이웃 전이 코드 사이의 연결 고리를 설정하는 것.
• 군론적 및 조합적 도구를 사용하여 넓은 범위의 이웃 전이 코드에 대한 분류 프레임워크를 제공하는 것.

제안 방법

• 해밍 그래프의 자기동형군에 속하는 $X \trianglelefteq \text{Aut}(\text{Hamming graph})$ 를 사용하여, 코드어와 그 이웃에 대한 전이 작용을 통해 $X$-이웃 전이 코드를 정의하는 것.
• Burnside의 정리를 활용하여 알파벳 위의 2-전이 작용을 아핀 또는 거의 단순 유형으로 분류하며, 후자를 중심으로 다루는 것.
• Scott의 보조정리를 적용하여 $\text{soc}(K)$ 의 구조를 분석하며, 여기서 $K = X \bigcap B$ 이다. 이는 비아벨 단순군들의 부분직접곱임을 보여준다.
• 코드 $C$ 의 투영 코드를 구성하고 분석하여 $X$-불변 분할 구조 하에서 가능한 구성 양상들을 규명하는 것.
• 제품 및 반복 구성 방법을 사용하여 예시를 생성하고 최소거리 및 이웃 전이성과 같은 성질을 검증하는 것.
• $\text{soc}(K)$ 에 대한 궤도 분석을 통해 등가 관계에서 코드의 구조를 완전히 기술하는 표준 부분코드 $\triangleq \text{soc}(K)$-궤도를 식별하는 것.

실험 결과

연구 질문

• RQ1 최소거리가 3 이상이고 기본군과 비자명하게 만날 수 있는 알파벳 거의 단순 $X$-이웃 전이 코드의 구조적 분류는 무엇인가?
• RQ2 $K = X \bigcap B$ 의 socle 이 코드의 구조를 기술하는 데 어떻게 활용될 수 있는가?
• RQ3 이웃 전이 코드가 주파수 순열 배열의 $X$-이동의 disjoint 합집합이 되는 조건은 무엇인가?
• RQ4 모든 유한군은 해밍 그래프에 자연스럽게 이웃 전이 코드로 임베딩될 수 있는가?
• RQ5 $X$-불변 분할을 따라 이러한 코드를 투영할 경우 최소거리는 어떻게 변화하는가?

주요 결과

• 최소거리 $\neq 3$ 이고 $K = X \bigcap B \neq 1$ 인 임의의 알파벳 거의 단순 $X$-이웃 전이 코드는 등가 관계에서 $\text{soc}(K)$-궤도와 같거나 그 $X$-이동의 disjoint 합집합인 코드와 등가이다.
• $\text{soc}(K)$-궤도 $\triangleq \text{soc}(K)$-궤도 는 명시적으로 기술되었으며, 이는 이웃 전이 주파수 순열 배열이다.
• 코드 $C$ 는 $\triangleq \text{soc}(K)$-궤도의 $X$-이동의 disjoint 합집합임을 보여주며, 이에 대한 전이자(Transversal)는 $A_q$ 에서 $S_q$ 로의 코셋 대표자 집합 $\tau$ 로 인덱싱된다.
• 최소거리가 3인 원래 코드와는 달리, 투영된 코드의 최소거리는 2가 되는 예시가 구성되었으며, 이는 투영이 최소거리를 감소시킬 수 있음을 보여준다.
• $\text{soc}(K)$ 는 $\text{Prod}_\nu(C(A_q))$ 와 동형이며, 이는 $A_q$ 의 대각 부분군들의 곱이며, 관련된 군 $G$ 에 대해 $\text{soc}(G)$ 와 같다.
• 모든 유한군은 대칭군과 대안군의 곱에 기반한 구성 방법을 통해 이웃 전이 코드로 자연스럽게 임베딩될 수 있으며, 이는 유한군과 이러한 코드 사이에 자연스러운 대응 관계를 설정한다.