Article Capacity Region of a New Bus Communication Model

In this paper, we study a new bus communication model, where two transmitters wish to send their corresponding private messages and a common message to a destination, while they also wish to send the common message to another receiver connected to the same wire. From an information-theoretical point of view, we first study a general case of this new model (with discrete memoryless channels). The capacity region composed of all achievable (R0,R1,R2) triples is determined for this general model, where R1 and R2 are the transmission rates of the private messages and R0 is the transmission rate of the common message. Then, the result is further explained via the Gaussian example. Finally, we give the capacity region for the new bus communication model with additive Gaussian noises and attenuation factors. This new bus communication model captures various communication scenarios, such as the bus systems in vehicles, and the bus type of communication channel in power line communication (PLC) networks.


Introduction
The bus communication model has been widely studied for many years.It captures various communication scenarios, such as the bus systems in vehicles, and the bus type of communication channel in power line communication (PLC) networks (see [1][2][3][4][5]).
Let us consider the bus communication model of Figure 1 from an information-theoretical point of view.Figure 1 can be equivalent to the model of the broadcast channel (see Figure 2).Note that Figure 2 implies that f 1 = f 2 = f .Figure 1.The bus communication model (Gains f 1 and f 2 , the power of the sender σ 2 x and the power of the noise σ 2 n ).The model of the broadcast channel was first investigated by Cover [6], and the capacity region of the general case (two private messages and one common message) is still not known.After the publication of Cover's work, Körner and Marton [7] studied the broadcast channel with a degraded message set (one private and one common message) and found its capacity region.For the degraded broadcast channel, the capacity region is totally determined (see [8][9][10]).In addition, Gamal and Cover [11] showed that the Gaussian broadcast channel is a kind of degraded broadcast channel, and therefore, the capacity region for the Gaussian case can be directly obtained from the result of the degraded broadcast channel.
The following theorem 1 shows the capacity region of the model of Figure 2, which is a kind of Gaussian broadcast channel.

Theorem 1
The capacity region of the model of Figure 2 is the set of rate pairs (R 1 , R 2 ), such that x is the power constraint of the channel input, X, f and f 2 are channel gains (0 < f ≤ 1) and σ 2 n is the power of the noise.
Theorem 1 is directly obtained from the capacity region of the Gaussian broadcast channel [11], and therefore, the proof is omitted here.
In this paper, we study a two-sender bus communication model (see Figure 3).Two transmitters wish to send their corresponding private messages and a common message to receiver 1, while they also wish to send the common message to receiver 2.   4. Note that the capacity region of the Gaussian broadcast channel (BC) can be obtained from the capacity region of the discrete memoryless degraded broadcast channel.Therefore, first, we study the discrete memoryless case of the model of Figure 4, where two transmitters wish to send their private messages, W 1 and W 2 , and a common message, W 0 , to receiver 1, and meanwhile, they also wish to send the common message, W 0 , to receiver 2. Receiver 2 can receive a degraded version of the output of the multiple-access channel (MAC) via a discrete memoryless channel (DMC) (see Figure 5).This model can be viewed as a combination of multiple-access channel and degraded broadcast channel.For convenience, we call it MAC-DBC in this paper.Then, we study the model of Figure 4, which is a Gaussian example of the MAC-DBC in Figure 5.The capacity regions of the MAC-DBC and the model of Figure 4 are totally determined.
The study of MAC-DBC from an information-theoretical point of view is due to the fact that the network information theory has recently become an active research area.Both MAC and BC play an important role in the network information theory, and they have been extensively studied separately.However, the cascade of MAC and BC (MAC-BC) has seldom drawn people's attention.To investigate the capacity region and the capacity-achieving coding scheme for the MAC-BC is the motivation of this work.In this paper, random variab1es, sample values and alphabets are denoted by capital letters, lower case letters and calligraphic letters, respectively.A similar convention is applied to the random vectors and their sample values.For example, U N denotes a random N -vector (U 1 , ..., U N ), and u N = (u 1 , ..., u N ) is a specific vector value in U N that is the N th Cartesian power of U. U N i denotes a random N −i+1-vector (U i , ..., U N ), and u N i = (u i , ..., u N ) is a specific vector value in U N i .Let p V (v) denote the probability mass function P r{V = v}.Throughout the paper, the logarithmic function is to the base 2.
The remainder of this paper is organized as follows.In Section 2, we present the basic definitions and the main result on the capacity region of MAC-DBC.In Section 3, we provide the capacity region of the model of Figure 4. Final conclusions are presented in Section 4. The proofs are provided from Section A to Section E.

Notations, Definitions and the Main Results of MAC-DBC
In this section, a description of the MAC-DBC is given by Definition 1 to Definition 3. The capacity region, R (A) , composed of all achievable (R 0 , R 1 , R 2 ) triples is given in Theorem 2, where the achievable (R 0 , R 1 , R 2 ) triple is defined in Definition 4.
Definition 1 (Encoders) The private messages, W 1 and W 2 , take values in W 1 and W 2 , respectively.The common message, W 0 , takes values in W 0 .W 0 , W 1 and W 2 are independent and uniformly distributed over their ranges.The channel encoders are two mappings: where , and w 0 ∈ W 0 .Note that W 1 and X N 2 are independent, and W 2 is independent of X N 1 .The transmission rates of the private messages and the common message are , respectively.
Definition 2 (Channels) The MAC is a DMC with finite input alphabet X 1 × X 2 , finite output alphabet Y and transition probability Q 1 (y|x 1 , x 2 ), where Receiver 2 has access to the output of the MAC via a discrete memoryless channel (DMC).The input of this DMC is Y N , and the output is Z N .The transition probability satisfies that where z i ∈ Z and y i ∈ Y.
Definition 3 (Decoders) The decoder for receiver 1 is a mapping, f D1 : Y N → W 1 × W 2 × W 0 , with input Y N and outputs W 1 , W 2 and W 0 .Let P e1 be the error probability of the receiver 1 , and it is defined as The decoder for receiver 2 is a mapping, f D2 : Z N → W 0 , with input Z N and output W 0 .Let P e2 be the error probability of the receiver 2 , and it is defined as for any > 0 (where is an arbitrary small positive real number and → 0), there exists channel encoders-decoders (N, P e1 andP e2 ), such that Theorem 2 gives a single-letter characterization of the set R (A) , which is composed of all achievable (R 0 , R 1 , R 2 ) triples in the model of Figure 5, and it is proved in Section A and Section B.
Theorem 2 A single-letter characterization of the region R (A) is as follows, Remark 1 There are some notes on Theorem 2; see the following: • The region R (A) is convex, and the proof is in Section C.
• The ranges of the random variables U , V 1 and V 2 satisfy The proof is in Section D.
• The auxiliary random variables U , V 1 and V 2 , in fact, are corresponding to W 0 , W 1 and W 2 , respectively.• If R 0 = 0, receiver 2 is useless, and the model of Figure 5 reduces to the multiple-access channel (MAC).
Let R 0 = 0 and the corresponding U = const, the region, R (A) , reduces to Note that the Markov chains, , respectively.Therefore, the above region ( 5) is simplified as , and this is coincident with the capacity region of the MAC [12,13].

A Gaussian Example of MAC-DBC and the Capacity Region of the Model of Figure 4
In this section, we first study a Gaussian example of Figure 5, where the channel input-output relationships at each time instant i (1 ≤ i ≤ N ) are given by and where Z 1,i ∼ N (0, σ 2 n,1 ) and Z 2,i ∼ N (0, σ 2 n,2 ).The random vectors, Z N , Z N 1 and Z N 2 , are independent with i.i.d.components.The channel inputs, X N 1 and X N 2 , are subject to the average power constraints, σ 2 x,1 and σ 2 x,2 , respectively, i.e., Theorem 3 For the Gaussian case of Figure 5, the capacity-equivocation region, R (B) , is given by ) ) ) ).
The proof of Theorem 3 is in Section E.Then, we will show that the capacity region of the model of Figure 4 can be obtained from the above Theorem 3. The channel input-output relationships of Figure 4 at each time instant i (1 ≤ i ≤ N ) are given by and , where The channel inputs, X N 1 and X N 2 , are subject to the average power constraints, σ 2 x,1 and σ 2 x,2 , respectively.Note that the additive Gaussian noise, Z 2,i , can be viewed as a cascade of Z 1,i and Z 2,i , where Z 2,i ∼ N (0, σ 2 n,2 − σ 2 n,1 ).Moreover, Equations ( 11) and ( 12) are equivalent to Equations ( 13) and ( 14), respectively, where and Therefore, the model of Figure 4 is analogous to the above Gaussian example of MAC-DBC.The capacity region is as follows.
Theorem 4 For the model of Figure 4, the capacity region R (C) is given by ).
J is independent of Z i and U i , (e) is from J as uniformly distributed over {1, 2, ..., N } and (f) is from the definitions that Z Z J and U (U J , J).
Letting → 0 and noting that )) The proof of this inequality is as follows: where ( 1) is from the Fano's inequality and the fact that W 1 is independent of X N 2 and W 0 ; (2) is from , where J is a random variable (uniformly distributed over {1, 2, ..., N }) and is independent of X 1,i , X 2,i , W 0 , Y i−1 and Y i .
Letting → 0 and noting that ), and it is omitted here.
According to the support lemma ([14], p.310), the random variable, U , can be replaced by new ones, such that the new U takes at most X 1 X 2 + 2 different values and the expressions (A20)-(A23) are preserved.

E.2. Proof of the Converse
The proof of R 0 ≤ ) are from the proof of the Gaussian broadcast channel [15], and it is omitted here.
The proof of Theorem 3 is completed.

Figure 2 .
Figure 2. The broadcast presentation of the bus communication model.

Figure 3 .
Figure 3.A new bus communication model with two transmitters.

Figure 3
Figure 3 can be equivalent to the following Figure4.Note that the capacity region of the Gaussian broadcast channel (BC) can be obtained from the capacity region of the discrete memoryless degraded broadcast channel.Therefore, first, we study the discrete memoryless case of the model of Figure4, where two transmitters wish to send their private messages, W 1 and W 2 , and a common message, W 0 , to receiver 1, and meanwhile, they also wish to send the common message, W 0 , to receiver 2. Receiver 2 can receive a degraded version of the output of the multiple-access channel (MAC) via a discrete memoryless channel (DMC) (see Figure5).This model can be viewed as a combination of multiple-access channel and degraded broadcast channel.For convenience, we call it MAC-DBC in this paper.

Figure 4 .
Figure 4.An equivalent model for the model of Figure 3.

Figure 5 .
Figure 5.A combination of multiple-access channel and degraded broadcast channel (MAC-DBC).

E. Proof of Theorem 3 E. 1 .
Proof of the Achievability The achievability proof follows by computing the mutual information terms in Theorem 2 with the following joint distributions:

c
2013 by the authors; licensee MDPI, Basel, Switzerland.This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution license (http://creativecommons.org/licenses/by/3.0/).