Core Concepts
If players are supposed to follow a prescribed strategy profile to reach a target set, and the target is not reached due to a deviation by one player, an outside observer can identify the deviating player.
Abstract
The paper studies a problem where a group of players are supposed to follow a prescribed strategy profile to reach a given target set. If the target is not reached due to a deviation by one of the players, the goal is to identify the deviating player.
The key insights are:
The authors formally define the concept of a "blame function" that can identify the deviating player if the target set is not reached.
They show that if the probability of reaching the target set under the prescribed strategy profile is at least 1-ε, then the goal is 2√(|I|-1)ε-testable, meaning there exists a blame function that correctly identifies the deviator with high probability.
If the probability of reaching the target set under the prescribed strategy profile is 1, then the goal is 0-testable, meaning the deviator can be identified with certainty.
The authors provide explicit constructions of blame functions for two specific examples - the "Adjacent Ones" problem and the "Avoiding the Origin in a Random Walk" problem.
The general proof uses a game-theoretic approach, considering a zero-sum game between an adversary (who chooses the deviating player and strategy) and a statistician (who tries to identify the deviator).
The results have applications in game theory, where identifying deviators is important for implementing punishment strategies in dynamic games with Nash equilibria.
Stats
The probability of reaching the target set under the prescribed strategy profile is at least 1-ε.
The number of players is |I|.