On the input-degradedness and input-equivalence between channels

A channel W is said to be input-degraded from another channel W′ if W can be simulated from W′ by randomization at the input. We provide a necessary and sufficient condition for a channel to be input-degraded from another one. We show that any decoder that is good for W′ is also good for W. We provide two characterizations for input-degradedness, one of which is similar to the Blackwell-Sherman-Stein theorem. We say that two channels are input-equivalent if they are input-degraded from each other. We study the topologies that can be constructed on the space of input-equivalent channels, and we investigate their properties. Moreover, we study the continuity of several channel parameters and operations under these topologies.

[1]  Francesco Buscemi,et al.  Degradable channels, less noisy channels, and quantum statistical morphisms: An equivalence relation , 2015, Problems of Information Transmission.

[2]  Rajai Nasser,et al.  Topological Structures on DMC Spaces † , 2017, 2017 IEEE International Symposium on Information Theory (ISIT).

[3]  Nitakshi Goyal,et al.  General Topology-I , 2017 .

[4]  N. Steenrod,et al.  A convenient category of topological spaces. , 1967 .

[5]  Maxim Raginsky,et al.  Shannon meets Blackwell and Le Cam: Channels, codes, and statistical experiments , 2011, 2011 IEEE International Symposium on Information Theory Proceedings.

[6]  S. Franklin,et al.  Spaces in which sequences suffice , 1965 .

[7]  D. Blackwell Comparison of Experiments , 1951 .

[8]  P. Pardalos,et al.  Minimax and applications , 1995 .

[9]  Claude E. Shannon,et al.  A Note on a Partial Ordering for Communication Channels , 1958, Information and Control.

[10]  Rajai Nasser,et al.  Continuity of Channel Parameters and Operations under Various DMC Topologies † , 2017, 2017 IEEE International Symposium on Information Theory (ISIT).

[11]  Claude E. Shannon,et al.  The zero error capacity of a noisy channel , 1956, IRE Trans. Inf. Theory.

[12]  S. Sherman On a Theorem of Hardy, Littlewood, Polya, and Blackwell. , 1951, Proceedings of the National Academy of Sciences of the United States of America.