Optimal Independent Encoding Schemes for Several Classes of Discrete Degraded Broadcast Channels

Let X → Y → Z be a discrete memoryless degraded broadcast channel (DBC) with marginal transition probability matrices TY X and TZX . Denote q as the distribution of the channel input X . For any given q, and H(Y |X) ≤ s ≤ H(Y ), where H(Y |X) is the conditional entropy of Y given X and H(Y ) is the entropy of Y , define the function F ∗ TY X ,TZX (q, s) as the infimum of H(Z|U), the conditional entropy of Z given U with respect to all discrete random variables U such that a) H(Y |U) = s, and b) U and Y, Z are conditionally independent given X . This paper studies the function F ∗, its properties and its calculation. This paper then applies these results to several classes of DBCs including the broadcast Z channel, the inputsymmetric DBC, which includes the degraded broadcast group-addition channel, and the discrete degraded multiplication channel. This paper provides independent encoding schemes and demonstrates that each achieve the boundary of the capacity region for the corresponding class of DBCs. This paper first represents the capacity region of the DBC X → Y → Z with the function F ∗ TY X ,TZX . Secondly, this paper shows that the OR approach, an independent encoding scheme, achieves the optimal boundary of the capacity region for the multi-user broadcast Z channel. This paper then studies the inputsymmetric DBC, introduces the permutation approach, an independent encoding scheme, for the inputsymmetric DBC and proves its optimality. As a consequence, the group-addition approach achieves the optimal boundary of the capacity region for the degraded broadcast group-addition channel. Finally, this paper studies the discrete degraded broadcast multiplication channel and shows that the multiplication approach achieves the boundary of the capacity region for the discrete degraded broadcast multiplication channel.

[1]  Bike Xie,et al.  A mutual information invariance approach to symmetry in discrete memoryless channels , 2008, 2008 Information Theory and Applications Workshop.

[2]  Aaron D. Wyner,et al.  A theorem on the entropy of certain binary sequences and applications-I , 1973, IEEE Trans. Inf. Theory.

[3]  Philip D. Plowright,et al.  Convexity , 2019, Optimization for Chemical and Biochemical Engineering.

[4]  Thomas M. Cover,et al.  An achievable rate region for the broadcast channel , 1975, IEEE Trans. Inf. Theory.

[5]  Hans S. Witsenhausen,et al.  Entropy inequalities for discrete channels , 1974, IEEE Trans. Inf. Theory.

[6]  Richard D. Wesel,et al.  Optimal Transmission Strategy and Explicit Capacity Region for Broadcast Z Channels , 2008, IEEE Transactions on Information Theory.

[7]  Patrick P. Bergmans,et al.  Random coding theorem for broadcast channels with degraded components , 1973, IEEE Trans. Inf. Theory.

[8]  A.I.V. Casado,et al.  Optimal Transmission Strategy and Capacity Region for Broadcast Z Channels , 2007, 2007 IEEE Information Theory Workshop.

[9]  Solomon W. Golomb,et al.  The limiting behavior of the Z-channel (Corresp.) , 1980, IEEE Trans. Inf. Theory.

[10]  Aaron D. Wyner,et al.  A theorem on the entropy of certain binary sequences and applications-II , 1973, IEEE Trans. Inf. Theory.

[11]  Robert G. Gallager,et al.  Capacity and coding for degraded broadcast channels , 1974 .

[12]  Nan Liu,et al.  The Capacity Region of a Class of Discrete Degraded Interference Channels , 2008, IEEE Transactions on Information Theory.

[13]  D. A. Bell,et al.  Information Theory and Reliable Communication , 1969 .

[14]  A. Sridharan Broadcast Channels , 2022 .

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

[16]  R. Benzel,et al.  The capacity region of a class of discrete additive degraded interference channels (Corresp.) , 1979, IEEE Trans. Inf. Theory.

[17]  Patrick P. Bergmans,et al.  A simple converse for broadcast channels with additive white Gaussian noise (Corresp.) , 1974, IEEE Trans. Inf. Theory.

[18]  Hans S. Witsenhausen,et al.  A conditional entropy bound for a pair of discrete random variables , 1975, IEEE Trans. Inf. Theory.

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