간섭 정렬 실현 가능성 조건

초록

**
본 논문은 MIMO 간섭 네트워크에서 선형 간섭 정렬(IA)의 존재 여부를 ‘방정식 수와 변수 수’를 비교하는 방법으로 판단한다. 방정식 수가 변수 수를 초과하면 ‘부적합(proper)’이 아니므로 거의 확실히 구현 불가능하고, 반대의 경우는 거의 확실히 구현 가능하다는 직관을 제시한다.

**

상세 분석

**
논문은 먼저 MIMO 간섭 네트워크를 K사용자 K-페어 시스템으로 모델링하고, 각 사용자는 (M_t)개의 송신 안테나와 (M_r)개의 수신 안테나를 가진다. 선형 IA는 송신 전처리 행렬 (V_i)와 수신 후처리 행렬 (U_i)를 설계해 모든 간섭 신호가 수신 공간의 특정 차원에 정렬되도록 하는 문제이다. 이때 정렬 조건은 (\mathbf{U}i^{\dagger}\mathbf{H}{ij}\mathbf{V}_j = \mathbf{0}) ((i\neq j)) 형태의 이중선형(바이리니어) 방정식 집합으로 표현된다.

저자는 이 방정식 집합을 ‘방정식 수(E)’와 ‘변수 수(V)’로 정량화한다. 변수는 각 (V_i)와 (U_i)에 포함된 자유도이며, 일반적으로 (V = \sum_i d_i (M_t - d_i) + d_i (M_r - d_i)) 로 계산된다(여기서 (d_i)는 사용자 i가 전송하려는 스트림 수). 방정식 수는 모든 간섭 쌍에 대해 발생하는 제약식의 총 개수이며, (E = \sum_{i\neq j} d_i d_j) 로 표현된다.

핵심 정의는 ‘Proper System’이다. 시스템이 Proper이면 (E \le V)를 만족한다. 저자는 ‘Generic Channel’ 가정(채널 행렬이 연속적인 확률분포를 따르는 경우) 하에 Proper 시스템은 거의 확실히 해를 갖는다고 주장한다. 이는 대수기하학에서 ‘Zariski-open set’ 개념과 일치한다; 즉, 특수한 채널 구성(예: 행렬이 특이하거나 상관관계가 있는 경우)을 제외하고는 해가 존재한다. 반대로, (E > V)인 경우는 ‘Improper System’이라 부르며, 이 경우 해가 존재할 확률이 0에 수렴한다.

논문은 몇 가지 대표적인 예시를 통해 직관을 강화한다. 예를 들어, 3사용자 2×2 MIMO 시스템에서 각 사용자가 1 스트림을 전송하려 할 때 (E = 6), (V = 6)이므로 Proper이며 실제로 IA 해가 존재한다. 반면, 동일 시스템에서 각 사용자가 2 스트림을 전송하려 하면 (E = 12), (V = 8)이 되어 Improper이므로 거의 확실히 불가능하다.

또한 저자는 Proper/Improper 구분이 ‘시스템 차원’(antenna 수, 사용자 수, 스트림 수) 설계에 직접적인 가이드라인을 제공한다는 점을 강조한다. 설계자는 원하는 DoF(자유도) 목표를 달성하기 위해 변수 수를 충분히 확보하도록 안테나 수와 스트림 수를 조정해야 한다.

마지막으로, 이 접근법은 기존의 복잡한 수치 최적화 방법이나 전역 최적화 탐색 없이도 IA 가능성을 빠르게 판단할 수 있게 해준다. 다만, ‘Generic Channel’ 가정이 현실적인 채널 모델(예: 상관된 페이딩, 제한된 CSI)에서는 완전히 성립하지 않을 수 있기에, 실제 시스템 적용 시 추가적인 검증이 필요함을 언급한다.

**