The classical-quantum channel with random state parameters known to the sender

We study an analog of the well-known Gel'fand Pinsker channel which uses quantum states for the transmission of the data. We consider the case where both the sender's inputs to the channel and the channel states are to be taken from a finite set (the cq-channel with state information at the sender). We distinguish between causal and non-causal channel state information input by the sender. The receiver remains ignorant, throughout. We give a single-letter description of the capacity in the first case. In the second case we present two different regularized expressions for the capacity. It is an astonishing and unexpected result of our work that a simple change from causal to non-causal channel state information by the encoder causes the complexity of a numerical computation of the capacity formula to change from trivial to seemingly difficult. Still, even the non-single letter formula allows one to draw nontrivial conclusions, for example regarding the continuity of the capacity with respect to changes in the system parameters. The direct parts of both coding theorems are based on a special class of positive operator valued measurements (POVMs) which are derived from orthogonal projections onto certain representations of the symmetric groups. This approach supports a reasoning that is inspired by the classical method of types. In combination with the non-commutative union bound these POVMs yield an elegant method of proof for the direct part of the coding theorem in the first case.