[논문 리뷰] On the Number of Interference Alignment Solutions for the K-User MIMO Channel with Constant Coefficients

Ó. González, Carlos Beltrán외 1명|arXiv (Cornell University)|2013. 01. 26.

Advanced MIMO Systems Optimization참고 문헌 25인용 수 6

한 줄 요약

이 논문은 일정 계수를 가진 K유저 MIMO 간섭 채널에서 간섭 정렬(Il) 방정식의 수가 변수의 수와 같을 때, 간섭 정렬(Il) 해의 수에 대한 닫힌 형태의 적분 표현을 유도한다. 대수기하학과 난수 행렬 이론을 사용하여, 해의 수가 채널 기하학으로부터 유도된 헤르미트 행렬의 제곱 행렬식의 스케일링된 기대값에 의해 주어진다는 것을 보이며, 몬테 카를로 적분을 통해 수치 계산이 가능하다.

ABSTRACT

In this paper, we study the number of different interference alignment (IA) solutions in a K-user multiple-input multiple-output (MIMO) interference channel, when the alignment is performed via beamforming and no symbol extensions are allowed. We focus on the case where the number of IA equations matches the number of variables. In this situation, the number of IA solutions is finite and constant for any channel realization out of a zero-measure set and, as we prove in the paper, it is given by an integral formula that can be numerically approximated using Monte Carlo integration methods. More precisely, the number of alignment solutions is the scaled average of the determinant of a certain Hermitian matrix related to the geometry of the problem. Interestingly, while the value of this determinant at an arbitrary point can be used to check the feasibility of the IA problem, its average (properly scaled) gives the number of solutions. For single-beam systems the asymptotic growth rate of the number of solutions is analyzed and some connections with classical combinatorial problems are presented. Nonetheless, our results can be applied to arbitrary interference MIMO networks, with any number of users, antennas and streams per user.

연구 동기 및 목표

• 일반적인 채널 조건 하에서 K유저 MIMO 간섭 채널에서 간섭 정렬(Il) 해의 정확한 수를 결정하는 것.
• 방정식의 수가 변수의 수와 같을 때 유한한 수의 간섭 정렬(Il) 해가 존재하는 데 대한 이해 격차를 메우는 것.
• 적분 기하학과 난수 행렬 이론을 사용하여 해의 수를 계산 가능한 공식으로 제공하는 것.
• 기존 결과를 단일 비트 전송 시나리오를 초월하여 임의의 다중 스트림 MIMO 간섭 네트워크로 확장하는 것.

제안 방법

• 간섭 정렬(Il) 해의 수는 채널 구조에서 유도된 헤르미트 행렬 Ψ의 |det(Ψ)|²의 스케일링된 기대값으로 표현된다.
• 기대값은 유니터리 군 위에서의 몬테 카를로 적분을 통해 계산되며, 분포가 유니터리 변환에 대해 불변임을 활용한다.
• 이 방법은 행렬식의 기대값이 일반적인 채널 실현값들에 대한 해의 평균 수를 포괄한다는 사실에 기반한다.
• 핵심 단계로는 Fubini 정리와 체적 정규화를 사용하여 그라스만만드(Graßmannian) 위의 적분으로 해의 수를 표현하는 것이다.
• 행렬식 항목의 모멘트를 계산하기 위해 복소 가우시안 변수의 동시분포를 사용한다.
• 행렬식 전개에서 순열의 합을 나타내기 위해 (0,1)-행렬 T의 영구행렬(Permanent)을 사용하며, 이는 해의 수와 조합 구조를 연결한다.

실험 결과

연구 질문

• RQ1 K유저 MIMO 채널에서 간섭 정렬(Il) 방정식의 수가 변수의 수와 같을 때 정확한 해의 수는 무엇인가?
• RQ2 임의의 수의 사용자, 안테나, 데이터 스트림을 가진 일반적인 MIMO 간섭 네트워크에서 해의 수를 효율적으로 계산할 수 있는 방법은 무엇인가?
• RQ3 단일 비트 전송 MIMO 시스템에서 해의 수의 渐近적 성장률은 무엇인가?
• RQ4 해의 수는 간섭 정렬(Il) 문제의 기하학적 구조와 채널 행렬의 구조와 어떻게 관련이 있는가?
• RQ5 해의 수는 난수 행렬 이론을 포함하는 계산 가능한 적분 또는 기대값으로 표현될 수 있는가?

주요 결과

• 간섭 정렬(Il) 해의 수는 채널 계수로부터 구성된 헤르미트 행렬 Ψ에 대해 |det(Ψ)|²의 스케일링된 기대값으로 주어진다.
• 단일 비트 전송 시스템의 경우, 해의 수는 네트워크 구조에서 유도된 (0,1)-행렬의 영구행렬을 포함하는 공식에 따라 渐近적으로 증가한다.
• 채널 계수의 일반성 때문에, 거의 모든 채널 실현값에서 해의 수는 일정하며, 영도시 측도의 집합을 제외하고는 그러하다.
• 이 방법을 통해 유니터리 군 위에서의 몬테 카를로 적분을 통해 해의 수를 수치적으로 계산할 수 있다.
• Ψ의 지지 구조를 코딩하는 (0,1)-행렬 T의 영구행렬은 다중 비트 전송 케이스에서 해의 수를 직접 결정한다.
• 이 결과는 이전의 단일 비트 네트워크에 대한 결과를 일반화하며, 임의의 스트림 수와 안테나 수를 가진 K유저 MIMO 간섭 채널에 적용 가능한 프레임워크를 제공한다.