다른 길이 m 시퀀스의 네값 교차상관 연구

초록

본 논문은 짝수 차수 m에 대해 길이 (2^{m}-1) 인 m‑시퀀스와 길이 (2^{m/2}-1) 인 짧은 m‑시퀀스 사이의 교차상관을 조사한다. 두 시퀀스 쌍을 무한히 생성할 수 있는 구조를 제시하고, 이들에 대해 교차상관값이 정확히 네 가지 값만을 취함을 증명한다. 또한 각 상관값이 나타나는 빈도를 포함한 전체 상관분포를 완전히 규명한다.

상세 분석

본 연구는 이진 최대길이 시퀀스(m‑시퀀스)의 교차상관 특성을 확장하는 데 초점을 맞춘다. 전통적으로 동일한 길이의 m‑시퀀스 사이에서는 Gold, Kasami, Dillon 등 특정 구조를 이용해 두값 혹은 세값 상관을 얻는 것이 알려져 있다. 그러나 길이가 서로 다른 두 시퀀스, 특히 한쪽이 (2^{m}-1)이고 다른 한쪽이 (2^{m/2}-1)인 경우는 기존 이론에서 충분히 다루어지지 않았다. 저자들은 먼저 원시 다항식 (p(x))와 그 차수의 절반에 해당하는 원시 다항식 (q(x))를 선택해 각각의 시퀀스를 트레이스 형태 ({ \operatorname{Tr}{1}^{m}(\alpha^{i})})와 ({ \operatorname{Tr}{1}^{m/2}(\beta^{i})}) 로 정의한다. 여기서 (\alpha,\beta)는 각각 (\mathbb{F}{2^{m}})와 (\mathbb{F}{2^{m/2}})의 원시 원소이며, (\operatorname{Tr})는 필드 트레이스 연산이다.

핵심 아이디어는 두 시퀀스 사이의 교차상관을 지수합 형태로 변환한 뒤, 이를 이차 형식의 가우스 합으로 해석하는 것이다. 저자들은 (\mathbb{F}{2^{m}}) 위의 비선형 매핑 (\phi(x)=x^{2^{m/2}+1}) 를 도입해 두 트레이스 식을 연결하고, 결과적인 지수합을 (\sum{x\in\mathbb{F}_{2^{m}}}\chi\bigl( ax^{2^{m/2}+1}+bx \bigr)) 형태로 정리한다. 여기서 (\chi)는 표준 캐릭터이며, (a,b)는 파라미터에 따라 달라진다. 이 합은 이차 형식의 비특이성 여부에 따라 네 가지 경우로 나뉘며, 각각이 서로 다른 상관값 (-1, -1\pm 2^{(m+2)/4}, -1\pm 2^{(m+2)/4}+2^{m/2}) 로 수렴한다.

수학적 증명은 Weil의 경계와 라그랑주 곱셈 정리를 활용해 비특이 이차 형식의 경우 합의 절대값을 정확히 계산한다. 특히, (m)이 짝수이면서 (m/2)도 짝수인 경우(즉, (m\equiv0\pmod4))에만 네값 상관이 발생함을 보인다. 이 조건 하에서 무한히 많은 원시 다항식 쌍 ((p,q))가 존재함을 구성적으로 제시하고, 각 쌍에 대해 교차상관값의 발생 빈도를 구한다. 빈도는 (\frac{2^{m/2}+1}{3}) 등 정수 비율로 나타나며, 전체 상관분포는 대칭성을 갖는다.

결과적으로, 이 논문은 서로 다른 길이의 m‑시퀀스 사이에서도 제한된 상관값을 갖는 구조를 제공함으로써, 기존 동일 길이 시퀀스에 국한된 설계 원리를 확장한다. 이는 특히 서로 다른 주파수 대역이나 코드 길이를 동시에 활용해야 하는 차세대 CDMA, 레이더, 그리고 암호 시스템 설계에 실용적인 이점을 제공한다.