Information Structures for Feedback Capacity of Channels with Memory and Transmission Cost: Stochastic Optimal Control & Variational Equalities-Part I
The Finite Transmission Feedback Information (FTFI) capacity is characterized for any class of channel conditional distributions {PBi∣Bi−1,Ai:i=0,1,…,n} and {PBi∣Bi−Mi−1,Ai:i=0,1,…,n}, where M is the memory of the channel, Bn=△{Bj:j=…,0,1,…,n} are the channel outputs and An=△{Aj:j=…,0,1,…,n} are the channel inputs. The characterizations of FTFI capacity, are obtained by first identifying the information structures of the optimal channel input conditional distributions P[0,n]=△{PAi∣Ai−1,Bi−1:i=0,…,n}, which maximize directed information. The main theorem states, for any channel with memory M, the optimal channel input conditional distributions occur in the subset satisfying conditional independence P∘[0,n]=△{PAi∣Ai−1,Bi−1=PAi∣Bi−Mi−1:i=1,…,n}, and the characterization of FTFI capacity is given by CAn→BnFB,M=△supP∘[0,n]∑i=0nI(Ai;Bi∣Bi−Mi−1). The methodology utilizes stochastic optimal control theory and a variational equality of directed information, to derive upper bounds on I(An→Bn), which are achievable over specific subsets of channel input conditional distributions P[0,n], which are characterized by conditional independence. For any of the above classes of channel distributions and transmission cost functions, a direct analogy, in terms of conditional independence, of the characterizations of FTFI capacity and Shannon's capacity formulae of Memoryless Channels is identified.