이진 시퀀스 최적 자기상관 구축에 관한 새로운 인터리브 기법

초록

**
본 논문은 최근 연구 동향을 바탕으로 이진 시퀀스의 최적 자기상관을 달성하기 위한 일반화된 인터리브 구조와 변형 GMW, 레전드르, 트윈프라임 시퀀스를 제시한다. 제시된 구성법은 완벽 자기상관(완전 상관)과 최적 자기상관을 모두 구현할 수 있으며, 다양한 레마와 정리를 통해 상관 특성을 엄밀히 증명한다.

**

상세 분석

**
논문은 먼저 이진 시퀀스의 자기상관과 교차상관을 정의하고, 주기 N에 대한 기본적인 성질을 레마 1‑4를 통해 정리한다. 특히, 시퀀스의 지원 집합 Cₛ와 그 크기 k를 이용해 Rₛ(τ)=N−4(k−| (τ+Cₛ)∩Cₛ |) 라는 식을 도출함으로써 자동상관값을 집합론적 관점에서 해석한다. 이후 완벽 자기상관값(τ≠0일 때 0)과 최적 자기상관값(τ≠0일 때 {±4,0} 등)을 표 1·2에 정리하고, 기존에 알려진 레전드르, 사이델니코프, 트윈프라임 시퀀스들을 사례로 제시한다.

핵심 기여는 두 단계 인터리브 구조인 Construction A와 그 변형인 Construction B이다. Construction A는 첫 열을 전부 0인 길이 K의 시퀀스로 시작하고, 나머지 열을 서로 시프트된 m-시퀀스로 채워 일반화된 GMW 시퀀스를 만든다. Construction B는 첫 열을 전부 1로 바꾸어 새로운 상관 특성을 얻는다. 레마 3‑4는 이 두 구조 사이의 교차상관과 자기상관을 정확히 계산하고, 특히 T=2ⁿ+1, K=2ⁿ−1일 때 Rₛ(τ)와 Rₛ′(τ)의 값들을 명시한다.

다음으로 레전드르 시퀀스와 그 변형을 이용한 구성법을 제시한다. 레마 5‑6은 레전드르 시퀀스가 p≡1(mod 4)일 때 자기상관이 {p,1,−3} 형태임을 보이며, 교차상관은 {N−2,−1,1,−3} 등으로 구분한다. 이를 기반으로 레마 7‑8은 트윈프라임 시퀀스와 그 변형의 상관값을 구하고, 특히 τ≡0(mod p+2)일 때 −1, 그 외에는 3 또는 1이라는 특이한 패턴을 드러낸다.

그 후 두 시퀀스를 교차 인터리브하는 연산 a ⊗ b 를 정의하고, Lemma 8‑12를 통해 짝수·홀수 τ에 따라 자기상관이 2Rₐ(τ/2) 혹은 0이 되는 중요한 성질을 증명한다. 이를 바탕으로 Definition 1의 새로운 4‑열 인터리브 시퀀스 v(t)를 도입하고, Theorem 1에서 τ=4τ₁+τ₂ 형태로 자기상관을 완전히 기술한다. 특히 τ₂=1(홀수)일 때 상관값이 0이 되는 점은 잡음에 강한 시퀀스 설계에 유리하다.

Theorem 2‑3은 N≡3(mod 4)와 N≡1(mod 4) 경우에 각각 최적 자기상관을 달성하기 위한 a, b 시퀀스의 조건을 제시한다. 여기서 a와 b는 각각 이상적인 자기상관을 가져야 하며, 구체적인 예시(예: a=01000, b=10000)도 제공한다. Theorem 4‑6은 Construction A/B, 레전드르 시퀀스, 트윈프라임 시퀀스를 각각 적절히 시프트(Lη)하여 얻은 인터리브 시퀀스들의 자기상관 분포를 상세히 기술한다. 특히 최적값 외에 ±8, ±4와 같은 부가적인 상관값이 발생하는 경우를 명시해, 설계자가 필요에 따라 상관 스펙을 조정할 수 있음을 보여준다.

마지막으로 Definition 2와 Theorem 7은 a와 b를 교차 시프트 및 보수 연산으로 결합한 새로운 4‑열 구조 w(t)를 제안한다. 이 구조는 τ₂=2(중간 위치)에서 상관값이 0이 되도록 설계돼, 다중 사용자 CDMA 시스템에서 간섭을 최소화하는 데 활용 가능하다. 전체적으로 논문은 레마와 정리를 통해 각 구성의 상관 특성을 엄밀히 증명하고, 기존에 알려진 몇 안 되는 최적 자기상관 시퀀스를 일반화함으로써 새로운 설계 공간을 열었다.

**