Strong Converse using Change of Measure Arguments

05/12/2018
by   Himanshu Tyagi, et al.
0

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 new strong converse theorems for interactive function computation, common randomness and secret key agreement, and the wiretap channel.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/30/2019

A New Proof of Nonsignalling Multiprover Parallel Repetition Theorem

We present an information theoretic proof of the nonsignalling multiprov...
research
08/16/2018

Strong Converse for Hypothesis Testing Against Independence over a Two-Hop Network

By proving a strong converse, we strengthen the weak converse result by ...
research
01/16/2023

Strong Converses using Typical Changes of Measures and Asymptotic Markov Chains

The paper presents exponentially-strong converses for source-coding, cha...
research
05/18/2022

Strong Converses using Change of Measure and Asymptotic Markov Chains

The main contribution of this paper is a strong converse result for K-ho...
research
09/21/2022

Tight Exponential Strong Converse for Source Coding Problem with Encoded Side Information

The source coding problem with encoded side information is considered. A...
research
06/14/2015

Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value

We show that strategies implemented in automatic theorem proving involve...
research
11/04/2021

A Sound Up-to-n,δ Bisimilarity for PCTL

We tackle the problem of establishing the soundness of approximate bisim...

Please sign up or login with your details

Forgot password? Click here to reset