다채널 충돌 회피 코드의 최적 설계와 예외 코드워드 이론

본 논문은 다채널 충돌 회피 코드(MC‑CAC)의 설계와 분석을 M < w, 즉 채널 수가 허용 가중치보다 작은 상황에 초점을 맞추어 전개한다. 먼저, 단일채널 CAC의 기본 정의를 복습하고, 코드워드가 Z_L 상의 w‑subset으로 표현되는 ‘disjoint‑difference‑set property’를 소개한다. 이를 다채널 환경으로 확장해 M×L 0‑1 배열 형태의 전송 패턴을 정의하고, 서로 다른 코드워드 사이의 차이 배열 D_S(i,j)가 모든 (i,j) 쌍에 대해 겹치지 않아야 함을 명시한다(식 3). 핵심 개념으로 ‘예외 코드워드(exceptional codeword)’를 도입한다. 단일채널에서는 |S−S| < 2|S|−2인 경우를 예외라 정의했으며, 다채널에서는 (i) 한 채널 내에서 예외가 발생하거나 (ii) 두 채널 사이의 차이 집합이 |S_i|+|S_j|−2 이하인 경우를 예외로 정의한다(Definition 4). 이 정의를 바탕으로 Kneser 정리(정리 1)를 활용해 차이 집합 A−B의 안정자 H(A−B)의 크기에 대한 제약을 도출한다. Lemma 2와 Lemma 3에서는 예외 쌍·코드워드가 존재하려면 H의 크기가 최소 2이며, L의 모든 소인수가 ≥2w−1이면 예외가 발생하지 않음을 증명한다. 이는 이후 상한 증명에서 ‘비예외’ 코드워드만을 고려할 수 있게 해준다. 상한 부분에서는 기존 연구(Theorem 3)에서 제시된 M·(M−1)L·w(w−1)+M(L−1)·2^{w−2}를 M < w 상황에 맞게 강화한 Theorem 4를 제시한다. 증명은 코드워드를 활성 채널 수 e_S에 따라 C₁(e_S=1), C₂(e_S=M), C₃(2≤e_S≤M−1) 세 그룹으로 나누고, 각 그룹에 대해 차이 집합의 최소 크기를 계산한다. 비예외성에 의해 |S_i−S_j| ≥ |S_i|+|S_j|−1, |d^*(S_i)| ≥ 2(|S_i|−1) 등을 이용해 전체 코드 크기 |C|에 대한 부등식 (15)를 얻는다. 특히 M≥3이면 최적 코드는 C₃가 비어 있어 모든 코드워드가 단일 채널 혹은 전 채널을 동시에 사용하는 형태임을 보인다. 구성 측면에서는 네 가지 주요 결과를 제공한다. 1) Theorem 7과 Theorem 10은 L = p₁^{r₁}·…·p_n^{r_n} (각 p_i는 소수, p_i ≥ 2w−1) 형태의 길이에 대해 단일채널 CAC를 최적으로 구성한다. 여기서 가중치 w에 따라 길이 L 또는 (w−1)L을 갖는 코드가 얻어지며, 구성은 p‑진법 레이어(L_t)와 집합 S_r(A) 방식을 이용한다. 2) Theorem 13은 위의 단일채널 구성을 두 채널(M=2)으로 확장해 (w−1)L 길이의 최적 MC‑CAC를 만든다. 이때 각 코드워드는 두 채널에 동일한 패턴을 배치하거나, 한 채널에만 배치하는 두 종류가 혼합되어 최적성을 유지한다. 3) Theorem 14는 일반적인 M채널에 대해 (2wM−1)·L' 형태의 길이를 갖는 MC‑CAC를 구성하는 일반화된 알고리즘을 제시한다. 여기서는 각 채널에 동일한 p‑진법 레이어 구조를 적용해 차이 집합이 겹치지 않도록 설계한다. 4) 혼합 가중치(MC‑CAC)와 AM‑OPPTS(At‑Most‑One‑Packet‑Per‑Time‑Slot) 변형에 대해서도 동일한 설계 원리를 적용할 수 있음을 보이며, Theorem 17‑19에서 이러한 특수 상황에 대한 상한과 구성 방법을 제시한다. 또한, 논문은 Kneser 정리와 차이 집합의 군론적 성질을 활용해 예외 코드워드 존재 여부를 판단하고, 이를 바탕으로 상한을 강화하며, 구체적인 건설법을 통해 기존 결과를 일반화한다는 점에서 이론적 깊이와 실용적 적용 가능성을 동시에 제공한다. 최종적으로, M < w인 실제 무선 시스템에서 채널 효율성을 극대화할 수 있는 최적 MC‑CAC 설계 가이드라인을 제시한다.