The strong converse for a coding theorem shows that the optimal asymptotic rate possible with vanishing error cannot be improved by allowing a fixed error. Building on a method introduced by Gu and Effros for centralized coding problems, we develop a general and simple recipe for proving strong converse that is applicable for distributed problems as well. Heuristically, our proof of strong converse mimics the standard steps for proving a weak converse, except that we apply those steps to a modified distribution obtained by conditioning the original distribution on the event that no error occurs. A key component of our recipe is the replacement of the hard Markov constraints implied by the distributed nature of the problem with a soft information cost using a variational formula introduced by Oohama. We illustrate our method by providing a short proof of the strong converse for the Wyner-Ziv problem and strong converse theorems for interactive function computation, common randomness and secret key agreement, and the wiretap channel; the latter three strong converse problems were open prior to this work.
Volume-Refined Achievability and Converse Approximations for Noisy Permutation Channels
School of Electronics, Peking University(北京大学电子学院);National Computer Network Emergency Response Technical Team/Coordination Center of China(国家计算机网络应急技术处理协调中心)
Converse bounds for quantum hypothesis exclusion: A divergence-radius approach
Cornell University(康奈尔大学);Indian Institute of Technology (Indian School of Mines)(印度理工学院(印度矿业学院));HUN-REN Alfréd Rényi Institute of Mathematics(匈牙利研究与教育网络阿尔弗雷德·雷尼数学研究所);Budapest University of Technology and Economics(布达佩斯技术与经济大学)
Error correction, authentication, and false acceptance, probabilities for communication over noisy quantum channels: converse upper bounds on the bit transmission rate