일반화 카사미 케이스의 순환 코드와 시퀀스

초록

본 논문은 $q=2^{2m}$인 경우, $1\le k\le 2m-1$, $k\neq m$에 대해 두 종류의 지수합
\

상세 분석

논문은 먼저 $\mathbb F_{2^{2m}}$ 위의 트레이스 함수를 이용해 두 형태의 지수합 $S_1$과 $S_2$를 정의한다. $S_1$은 $\alpha\in\mathbb F_{2^{m}}$, $\beta\in\mathbb F_{2^{2m}}$에 대한 이중 트레이스 형태이며, $S_2$는 여기에 선형항 $\gamma x$가 추가된 형태이다. 저자들은 $k\neq m$이라는 가정 하에, $x^{2^{m}+1}$와 $x^{2^{k}+1}$가 각각 $m$‑차와 $k$‑차의 아벨 군 작용을 나타내는 점에 주목한다. 이를 바탕으로, 지수합을 가우스 합과 캐릭터 합으로 전환하고, $k$와 $m$의 관계에 따라 경우를 나눈다. 특히 $k$가 $m$의 배수가 아니면, $x^{2^{k}+1}$는 $\mathbb F_{2^{2m}}$의 비자명한 곱셈 군 원소를 생성하므로, 해당 합은 두 개의 독립적인 이차 형태의 합으로 분해된다. 저자들은 이러한 분해를 이용해 $S_1$과 $S_2$가 가질 수 있는 값들을 ${0,\pm 2^{m},\pm 2^{m+1}}$ 등으로 제한하고, 각각의 경우에 대한 발생 횟수를 정확히 계산한다. 핵심 도구는 Weil 추정식과 Davenport‑Hasse 곱정리, 그리고 Van der Vlugt이 제시한 곡선 위의 점 개수와의 대응 관계이다. 특히 $S_2$에 포함된 선형항 $\gamma x$는 $x$에 대한 완전한 가환성을 깨뜨리지만, 트레이스의 선형성으로 인해 $\gamma$에 대한 평균을 취하면 다시 대칭성을 회복한다. 이를 통해 $\gamma$가 0인 경우와 0이 아닌 경우를 구분하여 값 분포를 도출한다.

가중치 분포를 구하기 위해서는 $S_1$, $S_2$와 코드워드의 해밍 가중치 사이의 직접적인 관계를 이용한다. $\mathcal C_1$은 최소다항식 $h_2(x)h_3(x)$에 의해 정의되며, 이는 $\pi^{-(2^{k}+1)}$와 $\pi^{-(2^{m}+1)}$의 최소다항식으로 구성된다. 따라서 $\mathcal C_1$의 코드워드는 $\alpha,\beta$에 대한 $S_1$의 값에 의해 결정된다. 마찬가지로 $\mathcal C_2$는 $h_1(x)h_2(x)h_3(x)$에 의해 정의되고, 여기서 $h_1(x)$는 $\pi^{-1}$의 최소다항식이다. $\mathcal C_2$의 가중치는 $S_2$와 직접 연결된다. 저자들은 각 경우에 대해 가능한 가중치 값을 구하고, 그 빈도를 $S_1$, $S_2$의 값 분포와 일치시켜 정확한 가중치 분포표를 만든다.

마지막으로, m‑시퀀스 군의 상관분포는 위에서 정의한 지수합을 상관함수의 푸리에 변환 형태로 해석함으로써 얻어진다. 각 시퀀스는 $\operatorname{Tr}_1^{2m}(\beta \pi^{t(2^{k}+1)}+\gamma \pi^{t})$ 형태로 생성되며, 두 시퀀스 사이의 상관값은 $S_2$의 특정 파라미터 선택에 해당한다. 결과적으로, 상관값은 $-2^{m}$, $0$, $2^{m}$ 등 제한된 몇 가지 값만을 취하고, 그 발생 빈도는 앞서 구한 $S_2$의 분포와 일치한다. 이와 같이 논문은 지수합의 정밀한 값 분포를 통해 순환 코드와 시퀀스의 구조적 특성을 완전하게 규명한다.