[논문 리뷰] On Feasibility of Interference Alignment in MIMO Interference Networks

Cenk M. Yetiş, Tiangao Gou외 2명|ArXiv.org|2009. 11. 23.

Advanced MIMO Systems Optimization참고 문헌 12인용 수 5

한 줄 요약

이 논문은 신호 공간 비음향 기반을 사용한 MIMO 간섭망에서 간섭 정렬의 실현 가능성에 대해 다루며, 문제를 다변수 다항식계의 해법으로 프레임워크화한다. 실현 가능성은 방정식과 변수의 균형에 의해 정의되는 '적절한 시스템'이냐의 여부에 의해 결정되며, 대수기하학 도구(예: 버니스타인 정리)를 사용하여 분석한다. 특히 다비드의 경우에 정보이론적 외부 경계를 통합함으로써 더 강력한 보장을 제공한다.

ABSTRACT

We explore the feasibility of interference alignment in signal vector space -- based only on beamforming -- for K-user MIMO interference channels. Our main contribution is to relate the feasibility issue to the problem of determining the solvability of a multivariate polynomial system, considered extensively in algebraic geometry. It is well known, e.g. from Bezout's theorem, that generic polynomial systems are solvable if and only if the number of equations does not exceed the number of variables. Following this intuition, we classify signal space interference alignment problems as either proper or improper based on the number of equations and variables. Rigorous connections between feasible and proper systems are made through Bernshtein's theorem for the case where each transmitter uses only one beamforming vector. The multi-beam case introduces dependencies among the coefficients of a polynomial system so that the system is no longer generic in the sense required by both theorems. In this case, we show that the connection between feasible and proper systems can be further strengthened (since the equivalency between feasible and proper systems does not always hold) by including standard information theoretic outer bounds in the feasibility analysis.

연구 동기 및 목표

• 단지 비음향 기반을 사용하여 K-사용자 MIMO 간섭 채널에서 간섭 정렬의 실현 가능 조건을 규명하는 것.
• 대수기하학에서 유도된 다변수 다항식계의 해법 가능성과 간섭 정렬 실현 가능성 간의 관계를 규명하는 것.
• 방정식 수와 변수 수의 균형에 기반해 간섭 정렬 문제를 '적절한 시스템' 또는 '부적절한 시스템'으로 분류하는 것.
• 다중빔 케이스에서 정보이론적 외부 경계를 통합함으로써 실현 가능성과 적절한 시스템 간의 연결 고리를 강화하는 것.
• 기하학적 및 대수학적 도구를 사용하여 MIMO 간섭망에서 자유도를 엄밀하게 예측할 수 있는 수학적 프레임워크를 제공하는 것.

제안 방법

• 각 수신기에서 간섭을 제거하기 위한 제약 조건을 기반으로 다변수 다항식 방정식계로 간섭 정렬 문제를 수립한다.
• 베주 정리를 적용하여 일반적인 해법 가능성 분석을 수행하며, 실현 가능성이 존재하기 위해서는 방정식 수가 변수 수를 초과할 수 없다는 조건을 도출한다.
• 부분집합 조건을 통한 '적절한 시스템' 개념을 도입: 모든 방정식 부분집합에 대해 관련된 변수 수가 방정식 수 이상이어야 한다.
• 단일 빔 케이스에서 계수들이 일반적일 경우, 버니스타인 정리를 사용하여 실현 가능성과 적절성 간의 엄밀한 연결 고리를 확립한다.
• 다중빔 케이스에서는 계수의 종속성이 발생하여 일반성의 가정이 깨지므로, 정보이론적 외부 경계를 추가로 고려하여 제약 조건을 추가한다.
• 가역 변환을 통해 중복된 기저 표현을 제거함으로써 설계 변수의 수를 줄이며, 최소 변수 수를 도출한다: $ N_v = \sum_{k=1}^{K} d^{[k]}(M^{[k]} + N^{[k]} - 2d^{[k]}) $.

실험 결과

연구 질문

• RQ1 K-사용자 MIMO 간섭 채널에서 선형 비음향 기반만을 사용할 때 간섭 정렬이 실현 가능한 조건은 무엇인가?
• RQ2 간섭 정렬 문제의 해법 가능성은 기저 다항식계의 구조와 어떻게 관련이 있는가?
• RQ3 방정식 수와 변수 수 간의 조합 조건을 통해 간섭 정렬의 실현 가능성을 판단할 수 있는가?
• RQ4 다중빔 케이스에서 계수의 종속성은 베주 정리 및 버니스타인 정리와 같은 일반적 해법 가능성 정리의 유효성에 어떤 영향을 미치는가?
• RQ5 정보이론적 외부 경계를 통합할 경우, '적절함/부적절함' 분류를 넘어서 실현 가능한 간섭 정렬 시스템의 특성화를 얼마나 향상시킬 수 있는가?

주요 결과

• K-사용자 MIMO 간섭 채널은 유일하게 '적절한 시스템'일 때 간섭 정렬이 실현 가능하다. 즉, 모든 정렬 방정식 부분집합에 대해 관련된 변수 수가 방정식 수 이상이어야 한다.
• 단일 빔 케이스에서는 버니스타인 정리에 의해 실현 가능성과 적절성이 동치임을 입증하며, 실현 가능성 분석에 엄밀한 대수기하학적 기반을 마련한다.
• 다중빔 케이스에서는 계수의 종속성이 일반성의 조건을 깨뜨리므로, 실현 가능성과 적절성 간의 동치성은 항상 성립하지 않으며, 추가 제약 조건이 필요하다.
• 대칭 MIMO 간섭 채널에서 $ (M \times N, d)^K $ 구성은 $ M + N - (K+1)d \geq 0 $ 일 때에만 '적절한 시스템'이 되며, 이는 단순한 실현 가능성 기준을 제공한다.
• 비음향 및 수신 필터링을 위한 설계 변수 총 수는 $ N_v = \sum_{k=1}^{K} d^{[k]}(M^{[k]} + N^{[k]} - 2d^{[k]}) $ 로 주어지며, 이는 시스템의 잠재적 해법 가능성에 영향을 미친다.
• 정보이론적 외부 경계를 통합함으로써 다중빔 설정에서 실현 가능한 시스템과 적절한 시스템 간의 연결 고리를 강화하여 실현 가능성 예측의 정확도를 향상시킨다.