Explain why the MAC capacity region is a polygon (for two users) and how its corner points correspond to different decoding strategies.
Think about your answer, then reveal below.
Model answer: The two-user MAC capacity region is defined by R_1 <= I(X_1;Y|X_2), R_2 <= I(X_2;Y|X_1), and R_1+R_2 <= I(X_1,X_2;Y). The first constraint is the rate if user 2's signal were removed (decoded first); the second is the rate if user 1's signal were removed. The sum constraint bounds the total throughput. The resulting region is a pentagon. The two corner points on the dominant face correspond to the two SIC decoding orders: (I(X_1;Y|X_2), I(X_1,X_2;Y) - I(X_1;Y|X_2)) and (I(X_1,X_2;Y) - I(X_2;Y|X_1), I(X_2;Y|X_1)). Time-sharing between corners achieves any point on the dominant face. Each corner point gives one user the best possible rate while the other user gets whatever remains.
This pentagon structure generalizes to K users as a polymatroidal region. The number of constraints grows exponentially (2^K - 1 subset constraints), but the structure remains clean. The fact that the full region is achievable — not just corner points — is a remarkable result that relies on the flexibility of random coding.