Latent capacity region: A case study on symmetric broadcast with common messages

We consider the problem of broadcast with common messages, and focus on the case that the common message rate R_A, i.e., the rate of the message intended for all the receivers in the set A, is the same for all the set A of the same cardinality. Instead of attempting to characterize the capacity region of general broadcast channels, we consider the structure of the capacity region that any broadcast channel should bear. The notion of latent capacity region is required to capture these underlining constraints, and we provide a complete characterization of the latent capacity region for the symmetric broadcast problem. The converse proof of this tight characterization relies on a deterministic broadcast channel model. The achievability proof generalizes the familiar rate transfer argument to include more involved erasure protection coding among messages, thus revealing an inherent connection between broadcast with common message and erasure correction codes.