확장 일완전 코드의 SQS 그래프와 커널 접힘

초록

이 논문은 이진 확장 1‑완전 코드 𝒞가 커널 위에서 어떻게 접히는지를 스테이너 4‑집합 시스템(SQS)과 연계시켜 그래프 불변량을 정의한다. 솔로베바‑펠프스 이중화 구성으로 얻은 차원 κ (5≤κ≤9)인 361개의 비선형 코드에 대해, 제시된 SQS‑그래프는 대부분의 비루프(edge)와 루프(loop)를 8‑길이 1‑완전 분할의 곱과 파노 평면(Fano plane)의 선으로 표현한다는 점에서 코드 구분에 강력한 도구가 된다.

상세 분석

본 연구는 먼저 이진 확장 1‑완전 코드 𝒞의 구조적 특성을 살펴보고, 그 커널 Ker(𝒞) 위에서의 동치 관계를 정의한다. 각 코드워드 c∈𝒞는 4‑원소 집합의 스테이너 시스템(Steiner quadruple system, SQS) S(c)와 일대일 대응되며, 이는 코드워드의 지원(support) 위에 존재하는 4‑원소 조합을 의미한다. 저자들은 이러한 S(c)들을 이용해 𝒞 전체를 “접히는(folding)” 연산으로 변환하고, 그 결과를 정점이 𝒞/Ker(𝒞) 의 코사이드(coset)이고, 두 코사이드 사이에 비루프가 존재하면 해당 코사이드들의 SQS가 공유하는 4‑원소 집합이 존재함을 나타내는 그래프 G(𝒞) 를 구성한다.

핵심적인 기술은 G(𝒞)의 비루프와 루프를 명시적으로 기술하는 방법이다. 저자들은 Phelps가 분류한 길이 8 의 1‑완전 분할 10가지(𝔓₁,…,𝔓₁₀)를 활용한다. 각 분할 𝔓ᵢ는 8개의 좌표를 4‑원소 블록으로 나누는데, 두 분할 𝔓ᵢ, 𝔓ⱼ 의 곱 𝔓ᵢ×𝔓ⱼ 은 64개의 4‑원소 쌍을 만든다. 이때 “사전 순서상 서로 떨어진(lexicographically disjoint) 사분면”을 선택하면, 해당 사분면에 속하는 블록들의 집합이 G(𝒞)의 비루프를 거의 전부 설명한다. 즉, 비루프는 𝔓ᵢ×𝔓ⱼ 의 특정 사분면에 해당하는 블록들의 교차에 의해 정의된다.

루프는 보다 간단하게 파노 평면(Fano plane)의 7개의 선에 대응한다. 각 코사이드의 SQS가 파노 평면의 한 선을 포함하면 그 코사이드는 자기 자신과 루프를 형성한다. 따라서 루프는 파노 평면의 선 구조에 의해 거의 완전히 기술된다.

이러한 표현은 361개의 비선형 코드 각각에 대해 G(𝒞) 를 구체적으로 계산할 수 있게 하며, 특히 커널 차원 κ 가 5에서 9 사이인 경우에만 적용된다. 실험 결과, 제시된 그래프 불변량은 기존의 코드 동형성 판별 방법보다 훨씬 세밀하게 코드를 구분한다. 예를 들어, 동일한 최소 거리와 동일한 차원을 갖는 두 코드가 그래프 구조에서는 서로 다른 비루프 연결 패턴을 보여 구별 가능함을 확인하였다.

또한, 저자들은 G(𝒞) 의 자동군(automorphism group)을 분석하여, 그래프가 갖는 대칭성이 원래 코드의 대칭성과 어떻게 연관되는지도 탐구한다. 자동군은 주로 𝔓ᵢ 와 파노 평면의 대칭군에 의해 생성되며, 이는 커널 위에서의 접힘 연산이 코드의 대칭성을 보존한다는 중요한 사실을 시사한다.

결론적으로, 이 논문은 SQS‑그래프라는 새로운 그래프 이론적 도구를 통해 확장 1‑완전 코드의 미세 구조를 포착하고, 특히 Solov’eva‑Phelps 이중화 구성으로 얻어진 비선형 코드군을 효과적으로 구분한다는 점에서 코딩 이론과 조합 설계 분야에 의미 있는 기여를 한다.