Leveraging Noisy Observations in Zero-Sum Games
Emmanouil M Athanasakos, Samir M Perlaza
TL;DR
This work extends zero-sum game theory to settings where the follower observes a noisy version of the leader’s committed action through a channel $P_{ ilde{A}_2|A_2}$. It introduces the extended game $\mathscr{G}(u, P_{ ilde{A}_2|A_2})$, proves equilibrium existence for any channel, and derives sufficient conditions for almost-sure uniqueness with follower best responses concentrating on single actions. Key contributions include a characterization of best responses via $\mathrm{BR}_1$, an almost-surely unique equilibrium under mild assumptions, and a Gaussian-channel instance illustrating how observation noise shifts equilibria between Nash, Stackelberg, and pure strategies. The results illuminate the impact of data acquisition noise on strategic leverage in leader-follower interactions and have implications for adversarial ML and decision-making under imperfect monitoring, especially when channel densities with respect to the Lebesgue measure are relevant.
Abstract
This paper studies an instance of zero-sum games in which one player (the leader) commits to its opponent (the follower) to choose its actions by sampling a given probability measure (strategy). The actions of the leader are observed by the follower as the output of an arbitrary channel. In response to that, the follower chooses its action based on its current information, that is, the leader's commitment and the corresponding noisy observation of its action. Within this context, the equilibrium of the game with noisy action observability is shown to always exist and the necessary conditions for its uniqueness are identified. Interestingly, the noisy observations have important impact on the cardinality of the follower's set of best responses. Under particular conditions, such a set of best responses is proved to be a singleton almost surely. The proposed model captures any channel noise with a density with respect to the Lebesgue measure. As an example, the case in which the channel is described by a Gaussian probability measure is investigated.
