확장 프레파라타 코드 최소 거리 그래프와 코드 동형성 판별

초록

본 논문은 길이 2m ( m 짝수, m ≥ 4 )인 확장 프레파라타 코드 P(m) 의 최소 거리 그래프 DG(P(m)) 를 연구한다. 정점은 코드워드, 간선은 거리 6 인 쌍으로 정의한다. 저자들은 DG에서 최대 클리크가 정확히 좌표 삼중항에 대응함을 보이고, 이러한 클리크 구조를 이용해 그래프 동형이 코드 동형(동등)과 동치임을 증명한다. 즉, 두 확장 프레파라타 코드의 최소 거리 그래프가 동형이면 두 코드는 동일한 코드(좌표 순열·번역)이다.

상세 분석

논문은 먼저 Z₂ⁿ 위에서 정의된 확장 프레파라타 코드 P(m) 의 기본 성질을 정리한다. P(m) 은 길이 2m ( m 짝수, m ≥ 4 )이며 최소 거리가 6 인 비선형 코드이다. 이를 포함하는 확장 1‑완전 코드 C_P(m) 은 모든 무게 4 코드워드가 스테이너 쿼드러플 시스템 SQS(2m) 을 형성한다는 점을 이용한다. 최소 거리 그래프 DG(P(m)) 은 정점 집합을 무게 6 코드워드의 지원 집합으로 식별하고, 두 정점이 인접하려면 지원 집합의 교집합 크기가 정확히 3 이어야 함을 보인다. 이때 DG 의 한 정점 u₀ (전부 0인 코드워드)의 이웃 N(u₀) 은 모든 무게 6 코드워드의 지원 집합이며, 여기서 클리크 구조를 분석한다.

Lemma 2와 Proposition 1을 통해, N(u₀) 내에서 최대 클리크의 크기가 13 임을 증명한다. 핵심 아이디어는 임의의 클리크 C 내의 삼중항 t 가 여러 정점에 포함될 경우, 교집합 크기에 따라 가능한 정점 수가 제한된다는 점이다. 특히, 삼중항이 클리크 전체에 걸쳐 공통으로 나타나지 않을 때(즉, t 가 C 의 모든 정점에 포함되지 않을 때) |C| ≤ 13 이라는 상한을 얻는다.

그 다음 Proposition 2는 이러한 최대 클리크가 정확히 좌표 삼중항 {v₁,v₂,v₃} 에 대응하는 집합 C({v₁,v₂,v₃}) 임을 보인다. 이는 SQS(2m) 의 블록 구조와 결합하여, 각 삼중항에 대해 고유한 최대 클리크가 존재함을 의미한다. 이후 Lemma 3, Proposition 3‑5는 서로 다른 삼중항 사이의 교집합 크기에 따라 클리크 간의 인접 관계가 어떻게 변하는지를 상세히 기술한다. 특히, 두 삼중항이 정확히 두 좌표를 공유하면 해당 클리크 쌍은 3‑정규 4‑파트ite 그래프 구조를 형성하고, 이는 SQS 의 블록과 일대일 대응한다는 Corollary 3을 도출한다.

섹션 3에서는 이러한 클리크와 S({v_i,v_j}) 집합을 이용해 그래프 전체에 레이블을 부여하는 재구성 알고리즘을 제시한다. 초기 삼중항 {1,2,3} 에 대한 최대 클리크를 선택하고, 그와 교차하는 다른 클리크들을 단계적으로 식별함으로써 모든 좌표와 코드워드를 복원한다. 최종적으로, 그래프 동형이 존재한다면 이러한 레이블링 과정이 동일하게 수행될 수 있음을 보이며, 따라서 DG(P(m)) 의 그래프 동형은 코드 동형과 동치임을 정리한다.

이 논문의 주요 공헌은 (1) DG(P(m)) 의 최대 클리크가 정확히 좌표 삼중항에 대응한다는 구조적 특성을 밝혀냈으며, (2) 이를 기반으로 최소 거리 그래프가 코드 자체를 완전히 규정한다는 강력한 동형성 결과를 증명했다는 점이다. 이러한 결과는 코드 동형성 검증, 코드 열거 및 설계 문제에 새로운 그래프‑이론적 접근법을 제공한다.