주파수 도약과 코드 동기화를 위한 최적 분할 순환 차이 집합

초록

본 논문은 최적 분할 순환 차이 집합(PCDP)이 주파수 도약 시퀀스와 콤마프리 코드에 최적성을 제공함을 보이고, 거의 차이 집합과 순환 차이 행렬을 이용한 새로운 PCDP 구성법을 제시한다. 이를 통해 무한히 많은 최적 PCDP와 그에 대응하는 최적 시퀀스·코드를 얻으며, 특히 Z₃ₘ에서 크기 3인 m개의 기본 블록을 갖는 경우 m≡8,16(mod 24)를 제외한 모든 m에 대해 존재성을 완전히 해결한다.

상세 요약

본 연구는 통신 시스템에서 핵심적인 두 문제, 즉 주파수 도약(Frequency‑Hopping, FH) 시퀀스의 상호 간섭 최소화와 콤마프리(comma‑free) 코드의 동기화 오류 방지를 동시에 해결할 수 있는 수학적 구조인 분할 순환 차이 집합(Partitioned Cyclic Difference Packing, PCDP)의 최적성을 탐구한다. PCDP는 순환군 Zₙ의 원소들을 여러 블록으로 나누고, 각 블록 내에서 발생하는 차이(multiset of differences)가 일정한 상한을 초과하지 않도록 설계된 조합 설계이다. 이러한 제약은 FH 시퀀스에서 동일 주파수 사용 간격을 최소화하고, 콤마프리 코드에서는 코드워드 간의 동기화 오류를 방지하는 데 직접적으로 대응한다.

논문은 먼저 기존 연구에서 알려진 PCDP와 FH 시퀀스·콤마프리 코드 사이의 정량적 관계를 정리한다. 특히, PCDP가 (n, m, k, λ) 형태일 때, λ가 최소가 되면 해당 FH 시퀀스의 최대 충돌 수가 최소가 되고, 동시에 콤마프리 코드의 최소 거리와 동일하게 된다. 여기서 n은 전체 원소 수, m은 블록 수, k는 각 블록의 크기, λ는 차이 중복 허용 한계이다.

핵심 기여는 두 가지 새로운 구성법이다. 첫 번째는 거의 차이 집합(almost difference set, ADS)을 이용한 방법이다. ADS는 차이 다중집합이 거의 균등하게 분포하지만, 일부 차이에 대해 한 번만 중복되는 특성을 가진다. 저자들은 ADS의 파라미터를 적절히 선택해 PCDP의 λ를 1로 만들 수 있음을 증명하고, 이를 통해 (3m, m, 3, 1) 형태의 최적 PCDP를 무한히 생성한다. 두 번째는 순환 차이 행렬(cyclic difference matrix, CDM)을 활용한 방법이다. CDM은 행과 열이 순환적으로 이동하면서 차이를 생성하는 행렬 구조로, 이를 블록 설계에 적용하면 블록 간 차이 중복을 체계적으로 제어할 수 있다. 저자들은 CDM의 존재 조건과 구성법을 상세히 제시하고, 이를 통해 기존에 존재 여부가 알려지지 않았던 여러 파라미터 조합에 대한 최적 PCDP를 구축한다.

특히, Z₃ₘ에서 블록 크기가 3인 경우에 대한 존재 문제를 완전히 해결한다. 저자들은 m≡8,16(mod 24)를 제외한 모든 양의 정수 m에 대해 (3m, m, 3, 1) 최적 PCDP가 존재함을 증명한다. 이는 기존에 몇몇 작은 m에 대해서만 알려졌던 결과를 일반화한 것으로, 해당 파라미터는 FH 시퀀스와 콤마프리 코드 설계에서 가장 실용적인 경우 중 하나이다. 증명 과정에서는 ADS와 CDM을 적절히 결합하고, 경우별 구성법을 나누어 전산 검증과 수학적 귀납법을 병행한다.

마지막으로, 이러한 최적 PCDP가 실제 통신 시스템에 적용될 때 얻을 수 있는 성능 이점을 정량적으로 분석한다. FH 시퀀스의 경우, 충돌 확률이 이론적 최소값인 1/(n‑1) 수준으로 감소하고, 콤마프리 코드에서는 동기화 오류 확률이 동일하게 최소화된다. 또한, 무한히 많은 파라미터 조합을 제공함으로써 시스템 설계자가 요구 사양(예: 주파수 대역폭, 동시 사용자 수)에 맞춰 최적 구조를 선택할 수 있는 유연성을 확보한다.

전반적으로 본 논문은 조합 설계 이론과 실용 통신 응용 사이의 다리를 견고히 놓으며, PCDP라는 수학적 도구가 FH 시퀀스와 콤마프리 코드 양쪽 모두에서 최적 성능을 달성할 수 있음을 강력히 입증한다.