๐ค AI Summary
This work addresses the channel decomposability problem, aiming to establish a deterministic proof framework for the strong converse theorem of channel identification codesโthereby overcoming the long-standing reliance on random coding.
Method: It introduces the multiplicative weights update (MWU) algorithm into channel decomposability analysis for the first time, integrating typical set theory, distribution approximation, and coupling techniques to construct an explicit, low-complexity deterministic code.
Contribution/Results: The paper rigorously proves that every discrete memoryless channel admits a decomposable structure and provides a polynomial-time deterministic construction method. Beyond confirming existence, it establishes a novel proof paradigm for the strong converse theorem grounded entirely in explicit, deterministic constructions. This advances both theoretical understanding and practical applicability of channel identification, significantly enhancing interpretability and implementability in information-theoretic inference.
๐ Abstract
We study the channel resolvability problem, which is used to prove strong converse of identification via channel. Channel resolvability has been solved by only random coding in the literature. We prove channel resolvability using the multiplicative weight update algorithm. This is the first approach to channel resolvability using non-random coding.