이중코사인 합 멱모멘트를 위한 무한 재귀식과 직교군 코드

초록

본 논문은 특수 직교군 $SO^{-}(2n,2^{r})$의 최대 파라볼릭 부분군에 대한 이중코사인(이중코사인) 군을 이용해 8개의 무한한 이진 선형 코드 군을 구축한다. 구축된 코드의 가중치 분포를 Pless 멱모멘트 항등식에 대입함으로써 Kloosterman 합과 2차원 Kloosterman 합의 멱모멘트에 대한 4가지씩의 재귀식을 얻는다. 핵심은 $O^{-}(2n,2^{r})$에 대한 가우스 합의 명시적 계산을 통해 이중코사인 합을 평가한 점이다.

상세 분석

논문은 먼저 $q=2^{r}$인 유한체 $\mathbb{F}{q}$ 위에서 정의된 특수 직교군 $SO^{-}(2n,q)$와 그 최대 파라볼릭 부분군 $P^{-}$를 소개한다. $P^{-}$에 대한 이중코사인 $P^{-}\backslash SO^{-}(2n,q)/P^{-}$는 $2n$ 차원의 이진 벡터 공간과 일대일 대응되는 8개의 서로 다른 궤도로 분류된다. 각 궤도에 대해 저자들은 해당 궤도의 원소들을 지표로 하는 이진 특성함수 $\chi{D}(x)$를 정의하고, 이를 이용해 길이 $N=|P^{-}\backslash SO^{-}(2n,q)/P^{-}|$인 이진 선형 코드 $C(D)$를 구성한다.

가중치 분포를 구하기 위해서는 각 코드워드의 허프만 가중치 $w(c)$를 $c\in C(D)$에 대해 계산해야 하는데, 이는 곧 $\sum_{x\in D}\chi_{D}(x)(-1)^{\langle a,x\rangle}$ 형태의 지수합으로 변환된다. 여기서 $\langle a,x\rangle$는 표준 내적이며, 이러한 지수합은 $O^{-}(2n,q)$에 대한 가우스 합 $G(\psi,\chi)$와 직접적인 연관을 가진다. 저자들은 기존의 가우스 합 공식들을 확장하여, 각 이중코사인에 대한 정확한 값 $G_{D}=\pm q^{n}$ 혹은 $0$을 도출한다.

이후 Pless의 멱모멘트 항등식을 적용한다. Pless 항등식은 코드의 가중치 분포와 그 대수적 여인(dual) 코드의 가중치 분포 사이에 다항식 관계를 제공한다. 여기서 대수적 여인 코드는 다시 Kloosterman 합의 지수합 형태와 일치한다는 점을 이용한다. 구체적으로, $r$ 차의 Kloosterman 멱모멘트 $M_{r}=\sum_{a\in\mathbb{F}{q}^{*}}K(a)^{r}$는 코드 $C(D)$의 가중치 분포 계수와 선형 결합 관계에 놓이며, 이를 역으로 풀어내면 $M{r}$을 $M_{r-1},M_{r-2},\dots$의 선형 조합으로 표현하는 재귀식이 얻어진다. 동일한 방법을 2차원 Kloosterman 합 $K_{2}(a,b)$에 적용하면, 2차원 멱모멘트에 대한 네 가지 재귀식도 도출된다.

핵심적인 기여는 (1) $SO^{-}(2n,q)$의 이중코사인 구조를 이용해 새로운 무한 계열의 이진 코드군을 체계적으로 구축한 점, (2) 가우스 합의 명시적 계산을 통해 코드워드와 Kloosterman 합을 정확히 연결시킨 점, (3) Pless 항등식을 활용해 멱모멘트에 대한 재귀식을 얻음으로써 기존에 알려진 제한된 경우를 일반화한 점이다. 이러한 결과는 Kloosterman 합의 통계적 특성을 연구하거나, 암호학·통신 이론에서의 오류 정정 코드 설계에 직접적인 응용 가능성을 제공한다.