이차 함수로 구성한 프롭리니어 완전 코드

초록

본 논문은 선형 기반 코드를 이용하고 스위칭 함수로 이차 함수를 선택한 Vasil’ev‑Schönheim 구성을 통해 얻어지는 1‑완전 코드가 전이(transitive)이며 더 나아가 프롭리니어(propelinear)임을 증명한다. 이를 바탕으로 임의의 유한체 위에서 길이 N인 프롭리니어 1‑완전 코드의 개수가 최소 exp(c N²)개 존재함을 보이며, 전이 코드 전체의 상한이 exp(C(N log N)²)임을 제시한다.

상세 분석

논문은 먼저 완전 코드와 그 변형인 전이 코드, 프롭리니어 코드의 정의를 명확히 정리한다. 1‑완전 코드는 Hamming 거리 1에 대해 완전하게 구획을 이루는 코드이며, 전이 코드는 코드 전체가 하나의 오토모르피즘 군에 의해 한 궤도로 움직일 수 있음을 의미한다. 프롭리니어 코드는 각 코드워드에 대응하는 선형 변환(또는 반전)과의 조합으로 구성된 그룹 작용을 갖는 특수한 전이 코드이다.

핵심 구성은 Vasil’ev‑Schönheim(이하 V‑S) 구성을 이용한다. V‑S는 기존의 선형 1‑완전 코드 C₀에 대해, 임의의 함수 f: C₀→𝔽_q를 스위칭 함수로 사용해 새로운 코드 C_f를 만든다. 기존 연구에서는 임의의 비선형 f도 가능하다고 보였지만, 전이성이나 프롭리니어성을 보장하려면 f에 추가적인 구조가 필요했다. 저자들은 f가 이차 함수(즉, 차수가 2 이하인 다항식)일 때, V‑S가 생성하는 코드 C_f가 전이성을 유지함을 보였다. 구체적으로, 이차 함수는 각 코드워드 x에 대해 f(x) = x·A·xᵗ + b·x + c 형태로 표현될 수 있는데, 여기서 A는 대칭 행렬, b는 벡터, c는 상수이다. 이러한 형태는 스위칭에 의해 발생하는 좌표 변환이 선형(또는 반선형) 구조와 잘 맞물려, 전체 코드에 대한 오토모르피즘 군이 자연스럽게 정의된다.

전이성을 증명하기 위해 저자들은 두 단계의 군 작용을 구성한다. 첫 번째는 기본 선형 코드 C₀의 전이군 G₀가 존재함을 이용해, 각 g∈G₀가 코드워드 x를 gx로 보내는 작용을 정의한다. 두 번째는 스위칭 함수 f가 이차이므로, g가 적용된 뒤에도 f(gx)=f(x) + Δ_g(x) 형태로 변형되며, 여기서 Δ_g는 또 다른 이차 함수이다. 따라서 (g, Δ_g)라는 쌍을 새로운 변환으로 묶어 전체 코드 C_f에 대한 작용을 만든다. 이 변환들의 집합은 그룹을 이루며, 모든 코드워드가 하나의 궤도로 연결되므로 전이성이 확보된다.

프롭리니어성을 확보하는 핵심은 위 변환을 선형 변환 + 번역 형태로 표현할 수 있다는 점이다. 구체적으로, 각 (g, Δ_g)는 좌표를 선형적으로 재배열하고, 동시에 일정한 벡터를 더하는 연산으로 분해된다. 이러한 연산은 일반적인 선형군 GL(N, q)와 번역군 𝔽_q^N의 반직접곱에 해당하며, 코드워드와 일대일 대응한다. 따라서 전체 오토모르피즘 군이 코드 자체와 동형인 프롭리니어 그룹을 형성한다는 것이 증명된다.

계산적 측면에서는, 길이 N인 선형 1‑완전 코드의 수가 약 exp(Θ(N log N))임을 이용해, 가능한 이차 스위칭 함수의 수를 추정한다. 이차 함수는 대칭 행렬 A(≈N(N+1)/2 자유도)와 벡터 b(N 자유도), 상수 c(1 자유도)로 완전히 기술되므로, 총 자유도는 Θ(N²)이다. 따라서 서로 다른 이차 함수에 대해 서로 다른 프롭리니어 코드를 얻을 수 있음을 보이며, 결과적으로 **최소 exp(c N²)**개의 서로 다른 프롭리니어 1‑완전 코드가 존재한다는 하한을 얻는다.

마지막으로, 전이 코드 전체에 대한 상한을 기존 문헌의 결과와 결합해 **exp(C(N log N)²)**라는 형태로 제시한다. 이는 프롭리니어 코드가 전이 코드 전체에 비해 얼마나 풍부한지를 정량적으로 보여준다.

이러한 결과는 완전 코드 이론에서 전이성·프롭리니어성이라는 두 가지 강한 대칭성을 동시에 만족하는 구조를 풍부하게 제공함으로써, 코드 설계와 암호학적 응용(예: 대칭키 스킴, 인증 코드)에서 새로운 선택지를 제공한다는 점에서 의의가 크다.