Agent Transformation of Bayesian Games

A new transformation that converts a Bayesian game to a so-called
ex-ante
agent game (a normal-form game) is proposed. Differently from the existing transformation proposed by R. Selten that changes a Bayesian game to an
interim
agent game (also a pure normal-form game), we prove that the new transformation preserves potentiality. In addition, there is a nonpotential Bayesian game whose
ex-ante
agent game is potential. We also prove that there is one-to-one correspondence between pure Bayesian Nash equilibria (BNE) of Bayesian games (if one exists) and pure Nash equilibria (NE) of the resulting
ex-ante
agent games. Then, we provide a sufficient and necessary condition for a Bayesian game to have an
ex-ante
agent potential game. By using these results, one can transform pure BNE seeking in Bayesian games to pure NE seeking in their
ex-ante
agent games [by using the potential functions of the
ex-ante
agent games (if one exists)], where previously pure BNE seeking in Bayesian games by using potential functions can only be done in Bayesian potential games (BPGs). Particularly, we prove for two-player games that BPGs are exactly the Bayesian games having
ex-ante
agent potential games. Furthermore, by using the semi-tensor product of matrices, a potential equation for finite Bayesian games is developed. Based on the potential equation, algorithms for verifying potentiality and for searching pure BNE in finite Bayesian games are designed. Finally, the results are applied to a routing problem with incomplete information.