Cover's open problem: “The Capacity of the Relay Channel”

Consider a memoryless relay channel, where the channel from the relay to the destination is an isolated bit pipe of capacity C<inf>0</inf>. Let C(C<inf>0</inf>) denote the capacity of this channel as a function of C<inf>0</inf>. What is the critical value of C<inf>0</inf> such that C(C<inf>0</inf>) first equals C(∞)? This is a long-standing open problem posed by Cover and named “The Capacity of The Relay Channel,” in Open Problems in Communication and Computation, Springer-Verlag, 1987. In this paper, we answer this question in the Gaussian case and show that C(C<inf>0</inf>) can not equal to C(∞) unless C<inf>0</inf> = ∞, regardless of the SNR of the Gaussian channels, while the cutset bound would suggest that C(∞) can be achieved at finite C<inf>0</inf>. Our approach is geometric and relies on a strengthening of the isoperimetric inequality on the sphere by using Riesz rearrangement inequality.

[1]  Zhen Zhang,et al.  Partial converse for a relay channel , 1988, IEEE Trans. Inf. Theory.

[2]  C.E. Shannon,et al.  Communication in the Presence of Noise , 1949, Proceedings of the IRE.

[3]  Igal Sason,et al.  Concentration of Measure Inequalities in Information Theory, Communications, and Coding , 2012, Found. Trends Commun. Inf. Theory.

[4]  Thomas M. Cover,et al.  Elements of information theory (2. ed.) , 2006 .

[5]  Thomas M. Cover,et al.  Elements of Information Theory , 2005 .

[6]  Abbas El Gamal,et al.  Network Information Theory , 2021, 2021 IEEE 3rd International Conference on Advanced Trends in Information Theory (ATIT).

[7]  Sang Joon Kim,et al.  A Mathematical Theory of Communication , 2006 .

[8]  Xiugang Wu,et al.  Cut-set bound is loose for Gaussian relay networks , 2015, Allerton.

[9]  S. Li Concise Formulas for the Area and Volume of a Hyperspherical Cap , 2011 .

[10]  Abbas El Gamal,et al.  Capacity theorems for the relay channel , 1979, IEEE Trans. Inf. Theory.

[11]  Ayfer Özgür,et al.  The geometry of the relay channel , 2017, 2017 IEEE International Symposium on Information Theory (ISIT).

[12]  Ayfer Özgür,et al.  Improving on the Cut-Set Bound via Geometric Analysis of Typical Sets , 2016, IEEE Transactions on Information Theory.

[13]  Joy A. Thomas,et al.  Feedback can at most double Gaussian multiple access channel capacity , 1987, IEEE Trans. Inf. Theory.

[14]  A. Burchard,et al.  A Short Course on Rearrangement Inequalities , 2009 .

[15]  K. Marton Bounding $\bar{d}$-distance by informational divergence: a method to prove measure concentration , 1996 .

[16]  T. Cover The Capacity of the Relay Channel , 1987 .

[17]  Ayfer Özgür,et al.  A solution to cover's problem for the binary symmetric relay channel: Geometry of sets on the hamming sphere , 2017, 2017 55th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

[18]  Ayfer Özgür,et al.  Improving on the cut-set bound for general primitive relay channels , 2016, 2016 IEEE International Symposium on Information Theory (ISIT).

[19]  B. A. Taylor,et al.  Spherical rearrangements, subharmonic functions, and $\ast$-functions in $n$-space , 1976 .