
598 NETWORK INFORMATION THEORY
The proof extends the proof for the discrete multiple-access chan-
nel in the same way as the proof for the single-user Gaussian
channel extends the proof for the discrete single-user channel.
15.5 Converse for the Gaussian multiple-access channel . Prove the
converse for the Gaussian multiple-access channel by extending
the converse in the discrete case to take into account the power
constraint on the codewords.
15.6 Unusual multiple-access channel. Consider the following
multiple-access channel:
X
1
= X
2
= Y ={0, 1}.If(X
1
,X
2
) =
(0, 0),thenY = 0. If (X
1
,X
2
) = (0, 1),thenY = 1. If (X
1
,X
2
) =
(1, 0),thenY = 1. If (X
1
,X
2
) = (1, 1),thenY = 0 with proba-
bility
1
2
and Y = 1 with probability
1
2
.
(a) Show that the rate pairs (1,0) and (0,1) are achievable.
(b) Show that for any nondegenerate distribution p(x
1
)p(x
2
),we
have I(X
1
,X
2
;Y) < 1.
(c) Argue that there are points in the capacity region of this
multiple-access channel that can only be achieved by time-
sharing; that is, there exist achievable rate pairs (R
1
,R
2
) that
lie in the capacity region for the channel but not in the region
defined by
R
1
≤ I(X
1
;Y |X
2
), (15.370)
R
2
≤ I(X
2
;Y |X
1
), (15.371)
R
1
+ R
2
≤ I(X
1
,X
2
;Y) (15.372)
for any product distribution p(x
1
)p(x
2
). Hence the operation
of convexification strictly enlarges the capacity region. This
channel was introduced independently by Csisz
´
ar and K
¨
orner
[149] and Bierbaum and Wallmeier [59].
15.7 Convexity of capacity region of broadcast channel.LetC ⊆ R
2
be the capacity region of all achievable rate pairs R = (R
1
,R
2
)
for the broadcast channel. Show that C is a convex set by using
a time-sharing argument. Specifically, show that if R
(1)
and R
(2)
are achievable, λR
(1)
+ (1 − λ)R
(2)
is achievable for 0 ≤ λ ≤ 1.
15.8 Slepian–Wolf for deterministically related sources.Findand
sketch the Slepian–Wolf rate region for the simultaneous data
compression of (X, Y ),wherey = f(x) is some deterministic
function of x.