The Feedback Capacity of Noisy Output Is the STate (NOST) Channels

We consider finite-state channels (FSCs) where the channel state is stochastically dependent on the previous channel output. We refer to these as Noisy Output is the STate (NOST) channels. We derive the feedback capacity of NOST channels in two scenarios: with and without causal state information (CSI) available at the encoder. If CSI is unavailable, the feedback capacity is
$C_{\text {FB}}= \max _{P(x|y')} I(X;Y|Y')$
, while if it is available at the encoder, the feedback capacity is
$C_{\text {FB-CSI}}= \max _{P(u|y'),x(u,s')} I(U;Y|Y')$
, where
$U$
is an auxiliary RV with finite cardinality. In both formulas, the output process is a Markov process with stationary distribution. The derived formulas generalize special known instances from the literature, such as where the state is i.i.d. and where it is a deterministic function of the output.
$C_{\text {FB}}$
and
$C_{\text {FB-CSI}}$
are also shown to be computable via convex optimization problem formulations. Finally, we present an example of an interesting NOST channel for which CSI available at the encoder does not increase the feedback capacity.