플롯킨 구성법의 순위와 커널 합산 특성

초록

플롯킨 구성을 이용해 두 개의 이진 코드를 결합하면 길이 2n의 새로운 코드가 생성된다. 선형 코드에서는 차원이 단순히 두 차원의 합이 되지만, 비선형 코드에서는 순위(rank)와 커널 차원(kernel dimension)이 선형성의 주요 지표가 된다. 본 논문은 이러한 두 파라미터 역시 시작 코드들의 순위와 커널 차원의 합으로 정확히 계산된다는 것을 증명한다.

상세 요약

플롯킨(Plotkin) 구성은 두 개의 이진 코드 C₁, C₂ ⊆ 𝔽₂ⁿ을 입력으로 받아 C = {(u, u+v) | u∈C₁, v∈C₂} 형태의 코드 C ⊆ 𝔽₂²ⁿ을 만든다. 선형 코드의 경우 C₁, C₂가 각각 차원 k₁, k₂라면, C는 차원 k₁ + k₂를 갖는다. 이는 (u, u+v) 매핑이 선형 변환이며, 두 부분공간이 직교하기 때문에 바로 따라온다. 그러나 비선형 코드에서는 차원 대신 순위(rank)와 커널 차원(kernel dimension)을 사용한다. 순위는 코드가 생성하는 선형 부분공간의 차원, 커널은 코드 자체가 선형 부분공간에 대해 불변인 벡터들의 집합이다. 논문은 먼저 C의 순위를 분석한다. C₁, C₂의 순위를 각각 r₁, r₂라 하면, (u, u+v) 형태의 모든 원소는 (u, 0)와 (0, v) 두 종류의 벡터의 선형 결합으로 표현될 수 있다. 여기서 (u, 0) 집합은 C₁를 𝔽₂ⁿ에 삽입한 것이고, (0, v) 집합은 C₂를 두 번째 절반에 삽입한 것이다. 두 집합이 선형 독립임을 보이면, 전체 순위는 r₁ + r₂가 된다. 독립성 증명은 (u, 0)와 (0, v)의 첫 번째 n 좌표와 두 번째 n 좌표가 각각 C₁, C₂에만 의존한다는 사실을 이용한다.

다음으로 커널 차원을 살핀다. 커ernel K(C) = {x∈𝔽₂²ⁿ | C+x = C} 로 정의한다. x = (a, b) 가 커널에 속하려면 모든 (u, u+v)∈C에 대해 (u+a, u+v+b)도 C에 속해야 한다. 이는 (u+a, u+v+b) = (u’, u’+v’) 형태로 표현될 수 있음을 의미한다. 조건을 전개하면 a∈K(C₁)이고, b = a + k₂ where k₂∈K(C₂) 가 필요함을 알 수 있다. 따라서 K(C)는 K(C₁)와 K(C₂) 사이의 직접곱 구조를 가지며, 차원은 dim K(C₁) + dim K(C₂) 가 된다. 논문은 이 과정을 정형화하여, 플롯킨 구성에 의해 생성된 코드의 커널 차원이 시작 코드들의 커널 차원의 합임을 엄밀히 증명한다.

마지막으로, 이러한 결과가 비선형 코드 설계에 미치는 의미를 논한다. 순위와 커널 차원은 코드의 선형성 정도와 구조적 복잡성을 나타내는 핵심 지표이다. 플롯킨 구성을 반복 적용하면, 원하는 순위와 커널 차원을 정확히 조절하면서 길이를 두 배씩 늘릴 수 있다. 이는 특히 고차원 비선형 코드가 필요하지만, 특정 선형성 제한을 유지해야 하는 응용(예: 암호학적 해시 함수, 오류 정정용 비선형 코드)에서 유용하다.