On the High-SNR Capacity of the Gaussian Interference Channel and New Capacity Bounds

Abstract

The best outer bound on the capacity region of the two-user Gaussian interference channel (GIC) is known to be the intersection of regions of various bounds, including genie-aided outer bounds, in which a genie provides noisy input signals to the intended receiver. The Han and Kobayashi (HK) scheme provides the best known inner bound. The rate difference between the best known lower and upper bounds on the sum capacity remains as large as 1 b/channel use, especially around $g^{2}=P^{-1/3}$ , where $P$ is the symmetric power constraint and $g$ is the symmetric real cross-channel coefficient. In this paper, we pay attention to the moderate interference regime where $g^{2}\in ~(\max (0.086, P^{-1/3}),1)$ . We propose a new upper-bounding technique that utilizes noisy observation of interfering signals as genie signals and applies time sharing to the genie signals at the receivers. A conditional version of the worst additive noise lemma is also introduced to derive new capacity bounds. The resulting upper (outer) bounds on the sum capacity (capacity region) are shown to be tighter than the existing bounds in a certain range of the moderate interference regime. Using the new upper bounds and the HK lower bound, we show that $R_{\text {sym}}^{*}=\frac {1}{2}\log \big (|g|P+|g|^{-1}(P+1)\big )$ characterizes the capacity of the symmetric real GIC to within 0.104 b/channel use in the moderate interference regime at any signal-to-noise ratio (SNR). We further establish a high-SNR characterization of the symmetric real GIC, where the proposed upper bound is at most 0.1 b far from a certain HK achievable scheme with Gaussian signalling and time sharing for $g^{2}\in ~(0,1]$ . In particular, $R_{\text {sym}}^{*}$ is achievable at high SNR by the proposed HK scheme and turns out to be the high-SNR capacity at least at $g^{2}=0.25, 0.5$ . We finally point out that there are two subregimes at high SNR in the weak interference regime, where $g^{2}\in (0,1]$ .