[논문 리뷰] Some Notes on Constructions of Binary Sequences with Optimal Autocorrelation

Tongjiang Yan, Guang Gong|arXiv (Cornell University)|2014. 11. 17.

Coding theory and cryptography참고 문헌 9인용 수 3

한 줄 요약

이 논문은 이종( interleaved ) 방법과 거의 차이 집합을 사용하여 이원수열의 일반화된 구성법을 제시하며, 주기적 자기상관 값 {0, -4}, {1, -3}, {2, -2}, {-1, 3}을 가진 기존 결과를 확장한다. 주요 기여는 레전드르, 시델니코프, 쌍소수 수열과 같은 알려진 기본 수열들로부터 최적의 수열을 유도하는 통합 프레임워크를 제공하는 것으로, 모듈로 산술과 이차 잔여성질을 통해 명시적인 자기상관 함수를 유도한다.

ABSTRACT

Constructions of binary sequences with low autocorrelation are considered in the paper. Based on recent progresses about this topic, several more general constructions of binary sequences with optimal autocorrelations and other low autocorrelations are presented.

연구 동기 및 목표

• CDMA 및 암호화 응용 분야에서 최적 자기상관을 가진 이원수열의 더 일반적인 구성법을 개발하기 위해.
• 외부상관 값 {0, -4}, {1, -3}, {2, -2}, {-1, 3}을 가진 기존 수열의 구성법을 통합하고 확장하기 위해.
• 이종 방법과 거의 차이 집합의 성질을 활용하여 최적 상관 특성을 가진 새로운 수열 가족을 생성하기 위해.
• 모듈로 산술과 이차 잔여 집합에 기반한 명시적인 자기상관 함수를 새로 구성된 수열에 대해 제공하기 위해.

제안 방법

• 이종 구성 방법을 사용하며, 주기 4N인 수열 w는 4개의 기본 수열 a_i를 4-튜플 t의 원소로 이동시켜 조합하여 형성된다.
• 이종 수열 w의 자기상관은 구성 요소 수열 a와 b의 상관관계를 연결하는 이상적 항등식 (Ia 및 Ib)을 사용하여 유도된다.
• 자기상관 값은 Z_{2^n+1} 또는 소수 p ≡ 1 또는 3 mod 4 에서의 모듈로 산술을 적용하여, 이동량 τ의 구성요소인 τ₁ 및 τ₂에 따라 분류된다.
• 레전드르 수열의 경우, 모듈로 p에 대한 이차 잔여(Quadratic Residue, QR) 및 비잔여(Non-Residue, NQR) 집합을 사용하여 자기상관 값을 결정한다. 특히 p ≡ 1 또는 3 mod 4 일 때 유용하다.
• 쌍소수 수열의 경우, 모듈로 (p+2)를 사용하여 이동량을 분류하고, 합동 조건에 따라 자기상관 값을 계산한다.
• 모든 가능한 4-튜플 t와 기본 수열 쌍 (a, b)를 체계적으로 평가하여 최적 자기상관 값을 유도하는 조건을 식별한다.

실험 결과

연구 질문

• RQ1 이종 구성 방법은 기존 가족을 초월하여 최적 자기상관을 가진 이원수열을 생성하는 데 일반화될 수 있는가?
• RQ2 최적 자기상관 값을 달성하기 위해 기본 수열과 이동 튜플에 필요한 충분한 조건은 무엇인가?
• RQ3 모듈로 p에 대한 이차 잔여 및 비잔여 성질은 이종 구성에서 레전드르 기반 수열의 자기상관에 어떤 영향을 미치는가?
• RQ4 특정 이동 패tern을 사용한 이종 방법을 통해 쌍소수 수열의 상관 행동을 체계적으로 확장할 수 있는가?
• RQ5 거의 차이 집합과 이동 튜플 t의 구조는 최적 상관 특성을 달성하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 이종 방법과 알려진 기본 수열을 사용하여 최적 자기상관 값 {0, -4}, {1, -3}, {2, -2}, {-1, 3}을 가진 이원수열을 구성한다.
• p ≡ 3 mod 4 인 레전드르 수열에서 유도된 수열의 경우, τ₂ = 0 이면 외부상관은 -4이며, τ₁ 및 η 모듈로 p에 따라 -4에서 4 사이로 변동한다.
• p ≡ 1 mod 4 인 레전드르 수열을 사용할 경우, τ₂ = 0 이면 자기상관 값은 -4이며, τ₁ + η 가 모듈로 p에서 이차 잔여인지 여부에 따라 달라진다.
• 쌍소수 수열의 경우, τ₂ = 0 이고 τ₁ ≡ 0 mod (p+2) 이면 자기상관 값은 -4이며, 그 외의 경우 4이며, τ₂ = 1 또는 τ₂ = 2 이면 0이다.
• 이 구성은 H(t) = 1 또는 3 인 모든 이동 패턴 t에 대해 최적 자기상관을 가진 수열을 생성하며, 쌍체 m-수열 또는 GGMW 수열과도 짝지어진다.
• 프레임워크는 t = 0111 또는 t = 0001 일 때 이종 구성이 {0, -4} 또는 {0, ±4} 자기상관을 가진 수열을 생성함을 확인하여 이전 연구에서 알려진 결과를 확장한다.