[논문 리뷰] Forming Pseudo-MIMO by Embedding Infinite Rational Dimensions Along a Single Real Line: Removing Barriers in Achieving the DOFs of Single Antenna Systems

Seyed Abolfazl Motahari, Shahab Oveis Gharan외 2명|arXiv (Cornell University)|2009. 08. 17.

Advanced MIMO Systems Optimization인용 수 23

한 줄 요약

이 논문은 단일 안테나 K명 사용자 가우시안 간섭 채널이 실수 선 상에 무수히 많은 유리수로 독립적인 무리수 차원을 삽입하여, 가짜 MIMO 시스템을 효과적으로 형성함으로써 거의 확실히 총 DOF(도함수 수) K²/2를 달성할 수 있음을 보여준다. 이 방법은 정적, 시간 불변 채널에서 동시에 간섭 정렬을 가능하게 하며, 시간 또는 주파수 선택성 없이도 전체 DOF 이득을 달성할 수 있음을 도파강 추측 이론의 도구를 통해 증명한다.

ABSTRACT

The K-user single-antenna Gaussian Interference Channel (GIC) is considered, where the channel coefficients are NOT necessarily time-variant or frequency selective. It is proved that the total Degrees-Of-Freedom (DOF) of this channel is K 2 almost surly, i.e. each user enjoys half of its maximum DOF. Indeed, we prove that the static time-invariant interference channels are rich enough which allow simultaneous interference alignment at all receivers. To derive this result, we show that single-antenna interference channels can be treated as pseudo multiple-antenna systems with infinitely-many antennas, as many as rationally-independent irrational numbers. Such machinery enables us to prove that the real or complex M ×M Multiple Input Multiple Output (MIMO) GIC achieves its total DOF, i.e., MK 2, M ≥ 1. The pseudo multiple-antenna systems are developed based on a recent result in the field of Diophantie approximation which states that the convergence part of the Khintchine-Groshev theorem holds for points on non-degenerate manifolds.

연구 동기 및 목표

• 정적, 시간 불변 단일 안테나 간섭 채널이 전체 DOF를 달성할 수 없다는 오랜 장벽을 극복하기 위해.
• 단일 안테나 사용자만으로도 정적, 비주파수 선택성 채널에서 간섭 정렬이 가능하다는 것을 입증하기 위해.
• 실수 선 상에 무한히 많은 유리수로 독립적인 무리수 차원을 삽입함으로써 단일 안테나 시스템이 무한한 도함수 수를 가진 효과적인 MIMO 시스템으로 전환됨을 보여주기 위해.
• K명 사용자 단일 안테나 가우시안 간섭 채널의 총 DOF가 거의 확실히 K²/2임을 증명하여 이론적 상한선과 일치시킬 것.

제안 방법

• 저자들은 최근 도파강 추측 이론에서 비퇴화 다양체에 대해 키힌친-그로셰 정리의 수렴 부분이 성립한다는 결과를 활용한다.
• 실수 선 상에 무한히 많은 유리수로 독립적인 무리수 차원을 삽입하여 무한한 안테나를 가진 가상의 MIMO 시스템을 시뮬레이션한다.
• 이 구성은 정적 채널 조건에서도 모든 수신기에서 동시에 간섭 정렬이 가능하게 하는 가짜 MIMO 시스템을 창출한다.
• 이 방법은 무리수의 조밀성 및 분포 성질에 기반하여 시간 또는 주파수 선택성을 요구하지 않고도 정렬을 달성한다.
• 측도 이론적 추론을 사용하여 DOF 결과가 채널 계수에 대해 거의 확실히 성립함을 증명한다.
• 이 프레임워크는 실수 또는 복소수 M×M MIMO 간섭 채널로 확장되어 이론적 DOF인 MK²/2를 달성함을 보여준다.

실험 결과

연구 질문

• RQ1 시간 또는 주파수 선택성이 없는 단일 안테나 간섭 채널이 전체 DOF를 달성할 수 있는가?
• RQ2 정적, 시간 불변 단일 안테나 가우시안 간섭 채널에서 동시에 간섭 정렬을 달성할 수 있는가?
• RQ3 실수 선 상에 무한히 많은 유리수로 독립적인 무리수 차원을 삽입하여 MIMO 시스템을 모방할 수 있는가?
• RQ4 비퇴화 다양체에 대해 키힌친-그로셰 정리의 수렴 부분이 간섭 채널에서 DOF 이득을 가능하게 하는가?
• RQ5 정적 조건 하에서 K명 사용자 단일 안테나 GIC의 총 DOF가 거의 확실히 K²/2에 도달할 수 있는가?

주요 결과

• K명 사용자 단일 안테나 가우시안 간섭 채널의 총 도함수 수(DOF)는 거의 확실히 K²/2이며, 이는 이론적 상한선과 일치한다.
• 정적, 시간 불변 간섭 채널이 모든 수신기에서 동시에 간섭 정렬을 가능하게 하는 데 충분하며, 이는 이전의 가정과 반대된다.
• 실수 선 상에 무한히 많은 유리수로 독립적인 무리수 차원을 삽입하면 무한한 도함수 수를 가진 가짜 MIMO 시스템이 생성된다.
• 이 구성은 비퇴화 다양체에 대해 키힌친-그로셰 정리의 수렴 부분에 기반하며, 적합한 무리수 차원의 존재를 보장한다.
• 결과는 M×M MIMO 간섭 채널로도 확장되며, 이론적 DOF인 MK²/2를 달성한다.
• 증명은 DOF 이득이 시간 또는 주파수 선택성을 요구하지 않음에도 달성 가능함을 입증하여, 간섭 채널 이론에서 오랫동안 지속된 장벽을 제거한다.