솔로베바‑펠프스 코드의 SQS 그래프와 커널 접힘

초록

본 논문은 이진 확장 1‑완전 코드 𝒞가 커널을 통해 스테이너 쿼드러플 시스템으로 접히는 과정을 그래프 형태로 정의하고, 이를 SQS‑graph라 명명한다. 솔로베바‑펠프스 이중화 구성으로 얻어진 차원 κ (5≤κ≤9)인 361개의 비선형 코드에 대해 해당 그래프를 계산·분석하였다. 대부분의 비루프 엣지는 Phelps가 분류한 길이 8 확장 1‑완전 파티션의 클래스 쿼터 곱으로, 루프는 파이오니아 평면의 선으로 표현된다. 결과적으로 SQS‑graph는 커널 차원에 따라 코드를 구별하는 강력한 불변량임을 보인다.

상세 분석

이 논문은 확장 1‑완전 코드 𝒞의 구조적 특성을 새로운 그래프 불변량인 SQS‑graph(스테이너 쿼드러플 시스템 그래프)로 포착한다. 𝒞의 커널 Ker(𝒞) 은 코드 전체를 동일한 변환으로 보존하는 부분공간이며, 각 코드워드 c∈𝒞는 고유한 스테이너 쿼드러플 시스템 S(c) 을 정의한다. 저자들은 S(c) 의 4‑원소 블록을 이용해 c와 커널 원소 k∈Ker(𝒞) 사이의 관계를 “접힘” 연산으로 기술하고, 이를 정점 V = 𝒞/Ker(𝒞) 와 엣지 E (비루프와 루프)로 구성된 다중그래프 G(𝒞) 으로 구현한다.

핵심은 이 그래프가 코드의 동형성을 보존하면서도 기존 불변량(예: 무게 분포, 자동군)보다 미세한 차이를 드러낸다는 점이다. 특히 솔로베바‑펠프스(SP) 이중화 방법으로 생성된 361개의 비선형 코드(커널 차원 κ = 5~9)는 모두 동일한 파라미터 (길이 16, 최소거리 4) 를 공유하지만, SQS‑graph는 각 κ에 대해 서로 다른 구조적 패턴을 보인다.

비루프 엣지는 주로 “쿼터”라 불리는 네 개의 부분집합으로 나뉜 클래스들의 직교곱으로 표현된다. Phelps가 제시한 길이 8 확장 1‑완전 파티션은 8개의 클래스를 4개의 쿼터로 분할하고, 두 파티션의 쿼터를 교차시켜 얻는 16개의 블록이 S(c) 의 비루프 엣지를 만든다. 이러한 블록은 사전순(lexicographic)으로 정렬되어 그래프의 인접 행렬에 명확히 대응한다.

루프 엣지는 파이오니아 평면(Fano plane)의 7개의 선과 일대일 대응한다. 각 코드워드가 포함하는 4‑원소 블록 중, 커널에 완전히 포함되는 경우는 루프가 되며, 이는 Fano 평면의 선 구조와 동일하게 배치된다. 따라서 루프는 그래프의 자체 연결성을 나타내는 동시에, 코드의 대칭성을 반영한다.

저자들은 이러한 구성 원리를 바탕으로 모든 361개의 SQS‑graph를 전산적으로 생성하고, 그래프 동형성 검사를 통해 서로 다른 κ값에 대해 그래프가 서로 비동형임을 확인했다. 특히 κ = 9인 경우는 가장 복잡한 루프 구조와 다수의 비루프 엣지를 가지며, κ = 5인 경우는 상대적으로 단순한 구조를 보인다. 이러한 차이는 커널 차원의 증가가 코드의 내부 조합 구조를 어떻게 복잡화시키는지를 시각적으로 드러낸다.

결론적으로, SQS‑graph는 확장 1‑완전 코드의 커널 기반 분류에 유용한 도구이며, 특히 비선형 코드군에서 기존 불변량으로는 구분하기 어려운 미세한 차이를 포착한다는 점에서 이론적·실용적 의미가 크다.