주기적 보완 이진 시퀀스 완전 해법

본 논문은 주기적 보완 이진 시퀀스(Periodic Complementary Sets of binary sequences, PCSₙᵖ)의 존재 문제를 전면적으로 다룬다. 1990년 Boemer와 Antweiler가 제시한 p≤12, N≤50 범위의 존재 여부 표는 당시 많은 미해결 케이스를 남겼으며, 이후 저자는 이 표의 미해결 항목을 26개로 축소하였다. 현재 논문에서는 이 26개의 케이스를 모두 해결하고, 전체 표를 완전하게 채운다. 1. **기본 정의와 관계** - 이진 시퀀스 a는 길이 N의 ±1 원소들로 구성된다. - 주기적 자동상관함수(PACF)와 비주기적 자동상관함수(NACF)를 정의하고, 두 함수의 합이 δ‑함수(0이 아닌 위치에서 0, 0 위치에서 N)인 경우를 각각 PCSₙᵖ와 ACSₙᵖ라 부른다. - PACF와 NACF 사이의 관계 ˜ϕₐ(i)=ϕₐ(i)+ϕₐ(N−i) 로부터 ACSₙᵖ ⇒ PCSₙᵖ임을 확인한다. 2. **기존 결과 활용** - Turyn이 제시한 보완적 사중쌍(quadruples) BS(m,n)을 이용해 AC Sₙ⁴가 존재함을 보이고, 이를 통해 N≤72까지 p가 4의 배수인 경우 PCSₙᵖ가 항상 존재한다는 Proposition 2.1을 제시한다. 3. **차이 집합(SDS) 이론** - 순환군 Zₙ을 정의하고, 집합 X⊆Zₙ에 대해 차이 다중집 ν(X,m) 를 도입한다. - p개의 집합 X₁,…,X_p가 (N; k₁,…,k_p; λ) 파라미터를 만족하는 보조 차이 집합(SDS)이라 정의한다. - X_i를 a_i(j)=−1인 위치 집합으로 변환하면, (3.2) 4(∑k_i−λ)=pN 를 만족할 때 해당 a_i들이 PCSₙᵖ를 형성한다. 반대 방향도 성립한다. 4. **p=1,2,3,4,5,6에 대한 구체적 구성** - **p=1**: N이 4의 배수이어야 하며, N=4에서만 존재함을 확인한다. - **p=2**: Golay 쌍과 동일한 조건을 만족하는 N을 ‘Golay 수’라 부른다. N≤50에서 존재하는 Golay 수는 1,2,4,8,10,16,20,26,32,40이며, 추가로 18,34,36,50에 대한 존재 여부를 조사해 18,36은 불가능, 34,50은 존재함을 제시한다 (Proposition 4.1). - **p=3**: N이 4의 배수이어야 하며, 기존에 알려진 N=4,8,12,16 외에 N=24,28,32를 저자가 이전 논문에서 구성하였다. 새로 추가된 N=36,40,44,48에 대해 각각 (36;15,15,15;18), (40;19,18,15;22), (44;20,20,17;24), (48;24,24,18;30) 파라미터의 SDS를 명시하고, 이를 통해 PCSₙ³가 존재함을 증명한다 (Proposition 5.1). - **p=4**: Proposition 2.1에 의해 N≤72에서 언제든 존재한다. - **p=5**: N이 4의 배수이면 존재한다. 기존에 N=12,20,24,28,36에 대한 구성은 알려져 있었으며, 새로 N=44,48에 대해 (44;21,20,19,18,17;40)와 (48;23,21,21,20,19;44) 파라미터의 SDS를 제공한다 (Proposition 6.1). - **p=6**: N이 짝수이면 존재한다. 기존에 N=6,14,18,22,30에 대한 구성은 알려졌고, 새로 N=38,42,46에 대해 (38;18,17,16,16,16,14;40), (42;19,18,18,18,17,17;44), (46;21,21,21,21,21,16;52) 파라미터의 SDS를 제시한다 (Proposition 7.1). 5. **표와 최종 정리** - Table 1은 p와 N에 대한 존재 여부를 시각화한다. p가 4의 배수인 경우는 ‘○’(자명하게 존재)로 표시하고, 나머지는 ‘·’(직접 SDS 구성) 혹은 빈칸(불가능)으로 구분한다. - 모든 미해결 케이스가 SDS를 통해 해결되었으며, 따라서 p≤12, N≤50 구간에 대한 PCSₙᵖ 존재 여부가 완전하게 규명되었다. 6. **방법론적 의의** - 차이 집합 이론과 유전 알고리즘 기반 탐색을 결합함으로써, 복잡한 조합 설계 문제를 체계적으로 해결할 수 있음을 보여준다. - 특히 식(3.2)와 파라미터 제약을 활용해 탐색 공간을 크게 축소하고, 실제 구성 가능한 SDS를 찾아내는 과정이 효율적이었다. - 이 결과는 통신, 레이더, 코딩 이론 등에서 사용되는 보완 시퀀스 설계에 직접적인 응용 가능성을 제공한다.