이진 LCD 코드와 그래프의 일대일 대응

초록

본 논문은 짝수 가중치를 갖는 이진 LCD 코드를 정점 수와 동일한 정점들을 가진 단순 그래프의 인접 행렬이 𝔽₂ 위에서 멱등(idempotent)인 경우와 일대일로 연결한다. 이 대응은 코드의 순열 동등성 ↔ 그래프 동형성이라는 동치 관계를 보존한다. 거리정규 그래프의 교차 배열 파라미터를 이용해 LCD 코드를 생성할 수 있는 조건을 제시하고, 회의 그래프(conference graph)들의 비동형성이 서로 다른 LCD 코드로 이어짐을 증명한다. 또한 13 이하의 차수에 대해 모든 가능한 LCD‑유도 그래프를 전산적으로 분류한다.

상세 분석

논문은 먼저 이진 짝수 코드와 LCD 코드의 기본 정의를 정리하고, orthogonal projector Π_C 를 통해 코드와 그래프 사이의 구조적 연결고리를 만든다. 핵심 정리인 Theorem 3.2는 Π_C 가 대칭이며 멱등인 경우, 그 행렬을 인접 행렬 A 로 해석하면 A_{ii}=0이므로 루프가 없는 단순 그래프가 된다. 반대로, 𝔽₂ 위에서 멱등인 인접 행렬 A는 대칭이면서 자체가 orthogonal projector이므로 행 스팬이 LCD 코드를 형성한다. 여기서 짝수성은 행의 가중치가 모두 짝수임을 의미하며, 이는 A_{ii}=0과 동치이므로 두 조건이 자연스럽게 일치한다.

동등성 보존 부분에서는 두 코드 C와 C′가 순열 동등이면 존재하는 전치 행렬 P 에 대해 A′=PᵀAP가 성립함을 보인다. 이는 그래프 동형성 정의와 일치하므로, 코드 동등성 ↔ 그래프 동형성이라는 완전한 일대일 대응이 성립한다.

다음으로 Corollary 3.3은 멱등 조건을 정점 차수와 공통 이웃 수로 전환한다. 구체적으로 모든 정점의 차수가 짝수이고, 인접 정점 쌍은 공통 이웃을 홀수 개, 비인접 정점 쌍은 공통 이웃을 짝수 개 가져야 한다는 세 가지 조합적 조건이 도출된다. 이 조건은 트리, 이분 그래프 등 많은 전통적인 그래프 클래스를 자동으로 배제한다는 의미이며, 특히 삼각형을 포함하는 그래프만이 LCD 코드를 만들 수 있음을 시사한다.

거리정규 그래프(DRG)에 대한 Theorem 4.1은 교차 배열 {b_i; c_i}의 첫 번째 세 파라미터만을 검증하면 된다. 구체적으로 b₀≡0(mod 2), a₁≡1(mod 2), c₂≡0(mod 2) (여기서 a₁=k−b₁−c₁) 가 만족될 때만 A²≡A(mod 2)가 되며, 이는 멱등성을 보장한다. 이 결과는 SRG, 회의 그래프, 팔레이 그래프 등 주요 그래프 패밀리에 바로 적용 가능하다. 특히 SRG에 대해서는 k가 짝수, λ가 홀수, μ가 짝수일 때만 LCD 코드를 생성한다는 간단한 판정법이 도출된다.

Theorem 5.2는 비동형 회의 그래프들이 서로 다른 LCD 코드를 만든다는 사실을 증명한다. 회의 그래프는 파라미터 (v,(v−1)/2,(v−5)/4,(v−1)/4)를 가지며, 이때 b₀=k는 (v−1)/2이므로 짝수·홀수 여부가 v에 따라 결정된다. 두 그래프가 동형이 아니면 인접 행렬이 서로 다른 퍼뮤테이션 클래스를 형성하므로, 그 행 스팬인 LCD 코드는 순열 동등성을 가질 수 없다. 이는 Haemers 등(2010)의 실험적 관찰을 이론적으로 뒷받침한다.

마지막으로 저자들은 𝔽₂ 위의 LCD 코드에 대한 질량 공식(mass formulas)을 이용해 n≤13인 모든 그래프를 전산 조사하였다. 멱등 인접 행렬을 만족하는 그래프의 개수를 정확히 셈으로써, 해당 차수 이하에서는 모든 LCD‑유도 그래프가 완전히 분류됨을 보여준다. 이는 향후 그래프 이론과 코딩 이론 사이의 교차 연구에 실용적인 데이터베이스를 제공한다.

전반적으로 논문은 LCD 코드와 그래프 이론 사이의 구조적 동형성을 명확히 밝히고, 이를 통해 코드 동등성 문제를 그래프 동형성 문제와 동등하게 다룰 수 있음을 증명한다. 또한 거리정규성, 강하게 정규성, 회의성 등 구체적인 그래프 클래스에 대한 판정 기준을 제공함으로써, 새로운 LCD 코드의 설계와 기존 코드의 분류에 강력한 도구를 제시한다.