A New Proof of Nonsignalling Multiprover Parallel Repetition Theorem

01/30/2019
by   Himanshu Tyagi, et al.
0

We present an information theoretic proof of the nonsignalling multiprover parallel repetition theorem, a recent extension of its two-prover variant that underlies many hardness of approximation results. The original proofs used de Finetti type decomposition for strategies. We present a new proof that is based on a technique we introduced recently for proving strong converse results in multiuser information theory and entails a change of measure after replacing hard information constraints with soft ones.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/12/2022

An Information-Theoretic Proof of the Kac–Bernstein Theorem

A short, information-theoretic proof of the Kac–Bernstein theorem, which...
research
05/12/2018

Strong Converse using Change of Measure Arguments

The strong converse for a coding theorem shows that the optimal asymptot...
research
09/02/2021

An Information-Theoretic View of Stochastic Localization

Given a probability measure μ over ℝ^n, it is often useful to approximat...
research
07/07/2020

An Embellished Account of Agafonov's Proof of Agafonov's Theorem

We give an account of Agafonov's original proof of his eponymous theorem...
research
01/12/2023

Hardness of Ruling Out Short Proofs of Kolmogorov Randomness

A meta-complexity assumption, Feasible Chaitin Incompleteness (FCI), ass...
research
09/05/2018

An Elementary Proof of a Classical Information-Theoretic Formula

A renowned information-theoretic formula by Shannon expresses the mutual...
research
05/03/2022

Convergence of Stochastic Approximation via Martingale and Converse Lyapunov Methods

This paper is dedicated to Prof. Eduardo Sontag on the occasion of his s...

Please sign up or login with your details

Forgot password? Click here to reset