Multiaccess Channels with State Known to One Encoder: A Case of Degraded Message Sets

We consider a state-dependent multiple access channel p(y|x₁, x₂, s) whose output Y is controlled by the channel inputs x₁ and x₂ from two encoders and the channel state S. It is assumed that the channel state is known non-causally at one encoder, called the informed encoder. We derive the capacity region for the case of degraded messages in which the informed encoder knows the message of the uninformed encoder.