그래프 기반 자기이중 가법 코드의 새로운 분류와 응용

논문은 먼저 양자 안정자 상태와 자기이중 가법 코드 사이의 동형성을 소개한다. 양자 시스템이 m‑레벨(즉, qudit)으로 구성될 때, 안정자 코드는 GF(m) 위의 선형 연산으로 기술되며, 이때의 오류 연산은 일반화된 Pauli 군(Pauli group)으로 표현된다. 이러한 오류 연산을 행렬 (A|B) 형태로 정리하면, 코드 C는 A+ωB (여기서 ω는 GF(m²) 의 원시 원소) 로 생성되는 가법 코드가 된다. C는 Hermitian trace 내적에 대해 자기이중(self‑dual)이며, 이는 코드가 양자 안정자 상태와 정확히 일치함을 의미한다. 다음으로, 저자들은 이 자기이중 가법 코드를 가중 그래프와 연결한다. 각 정점은 코드의 한 좌표에 대응하고, 정점 사이의 가중치는 (A|B) 행렬의 원소를 통해 정의된다. 두 그래프가 일반화된 로컬 컴플리멘테이션(LGC) 연산을 통해 변환될 경우, 해당 그래프들이 같은 코드 궤도에 속한다는 것이 증명된다. LGC는 특정 정점 v를 선택하고, v와 인접한 모든 정점 사이의 가중치를 특정 대수적 규칙에 따라 교환·변형하는 연산이며, 이는 Sp₂(m) 군의 작용과 동등하다. 코드의 최소 거리 d와 그래프 궤도의 최소 정점 차수 δ 사이의 관계도 정리된다. 구체적으로, d는 δ + 1 이하이며, 실제 많은 사례에서 등호가 성립한다. 이는 그래프의 구조만을 보고도 코드의 오류 정정 능력을 예측할 수 있게 해준다. 본 연구의 핵심 기여는 세 가지 유한체 GF(9), GF(16), GF(25) 에 대해 자기이중 가법 코드를 체계적으로 분류한 것이다. 저자들은 길이 n ≤ 8 (GF(9)), n ≤ 6 (GF(16), GF(25)) 범위에서 모든 가능한 코드를 열거했으며, 각 코드에 대한 최소 거리, 자동동형군, 그리고 대응 그래프의 궤적을 기록했다. 특히, GF(9)에서는 MDS 가설을 가정하고 “확장 기법”을 적용해 길이 8 이하의 모든 자기이중 가법 MDS 코드를 완전히 찾았다. 이 과정에서 비자명 MDS 코드는 정확히 세 종류이며, 각각 (8, 9², 5), (6, 9², 4), (4, 9², 3) 형태를 가진다. 또한 순환 그래프 코드를 정의하고, 컴퓨터 탐색을 수행했다. 순환 그래프는 인접 행렬이 순환 행렬이므로, 자동동형군이 크게 늘어나 구현이 용이하다. 탐색 결과, n = 10 이하에서 최소 거리 4 이상을 달성하는 다수의 순환 그래프 코드가 발견되었으며, 이들 중 일부는 매우 규칙적인 구조(예: 팔라스키-프레데리히스키 다각형, 완전 그래프의 부분 그래프 등)를 보여준다. 이러한 코드는 기존에 알려진 비순환 코드와 비교해 동일하거나 더 높은 최소 거리를 제공하면서도 대칭성으로 인한 설계·시뮬레이션 비용 감소라는 부가 이점을 가진다. 코드 수에 대한 상한을 제공하는 질량 공식도 일반화하였다. Tₙ = ∏_{i=1}^{n}(m^{i}+1) 은 Sp₂(m) 군의 크기 |Sp₂(m)| = m(m²‑1) 를 이용해 도출되며, 이는 각 길이 n 에 대해 가능한 코드의 총 개수를 정확히 예측한다. 자동동형군이 큰 경우(예: 순환 그래프)에는 실제 코드 수가 이 상한보다 현저히 적지만, 대부분의 무작위 코드는 자동동형군이 자명하므로 상한이 꽤 타이트하게 맞는다. 마지막으로, 논문은 향후 연구 방향을 제시한다. 첫째, MDS 가설이 증명되면 GF(16)·GF(25) 에서도 완전한 MDS 코드 분류가 가능해진다. 둘째, 일반화된 로컬 컴플리멘테이션을 이용한 코드 변환이 양자 회로 최적화에 직접 활용될 수 있다. 셋째, 순환 그래프 외에도 다른 대칭 그래프(예: 팔라스키 그래프, 하이퍼큐브)에서의 코드 탐색이 고성능 양자 오류 정정 코드 설계에 기여할 것으로 기대된다.