1,201 research outputs found
A Size-Free CLT for Poisson Multinomials and its Applications
An -Poisson Multinomial Distribution (PMD) is the distribution of the
sum of independent random vectors supported on the set of standard basis vectors in . We show
that any -PMD is -close in total
variation distance to the (appropriately discretized) multi-dimensional
Gaussian with the same first two moments, removing the dependence on from
the Central Limit Theorem of Valiant and Valiant. Interestingly, our CLT is
obtained by bootstrapping the Valiant-Valiant CLT itself through the structural
characterization of PMDs shown in recent work by Daskalakis, Kamath, and
Tzamos. In turn, our stronger CLT can be leveraged to obtain an efficient PTAS
for approximate Nash equilibria in anonymous games, significantly improving the
state of the art, and matching qualitatively the running time dependence on
and of the best known algorithm for two-strategy anonymous
games. Our new CLT also enables the construction of covers for the set of
-PMDs, which are proper and whose size is shown to be essentially
optimal. Our cover construction combines our CLT with the Shapley-Folkman
theorem and recent sparsification results for Laplacian matrices by Batson,
Spielman, and Srivastava. Our cover size lower bound is based on an algebraic
geometric construction. Finally, leveraging the structural properties of the
Fourier spectrum of PMDs we show that these distributions can be learned from
samples in -time, removing
the quasi-polynomial dependence of the running time on from the
algorithm of Daskalakis, Kamath, and Tzamos.Comment: To appear in STOC 201
Query Complexity of Correlated Equilibrium
We study lower bounds on the query complexity of determining correlated
equilibrium. In particular, we consider a query model in which an n-player game
is specified via a black box that returns players' utilities at pure action
profiles. In this model we establish that in order to compute a correlated
equilibrium any deterministic algorithm must query the black box an exponential
(in n) number of times.Comment: Added reference
Learning Sparse Polymatrix Games in Polynomial Time and Sample Complexity
We consider the problem of learning sparse polymatrix games from observations
of strategic interactions. We show that a polynomial time method based on
-group regularized logistic regression recovers a game, whose Nash
equilibria are the -Nash equilibria of the game from which the data
was generated (true game), in samples of
strategy profiles --- where is the maximum number of pure strategies of a
player, is the number of players, and is the maximum degree of the game
graph. Under slightly more stringent separability conditions on the payoff
matrices of the true game, we show that our method learns a game with the exact
same Nash equilibria as the true game. We also show that
samples are necessary for any method to consistently recover a game, with the
same Nash-equilibria as the true game, from observations of strategic
interactions. We verify our theoretical results through simulation experiments
On the Hardness of Signaling
There has been a recent surge of interest in the role of information in
strategic interactions. Much of this work seeks to understand how the realized
equilibrium of a game is influenced by uncertainty in the environment and the
information available to players in the game. Lurking beneath this literature
is a fundamental, yet largely unexplored, algorithmic question: how should a
"market maker" who is privy to additional information, and equipped with a
specified objective, inform the players in the game? This is an informational
analogue of the mechanism design question, and views the information structure
of a game as a mathematical object to be designed, rather than an exogenous
variable.
We initiate a complexity-theoretic examination of the design of optimal
information structures in general Bayesian games, a task often referred to as
signaling. We focus on one of the simplest instantiations of the signaling
question: Bayesian zero-sum games, and a principal who must choose an
information structure maximizing the equilibrium payoff of one of the players.
In this setting, we show that optimal signaling is computationally intractable,
and in some cases hard to approximate, assuming that it is hard to recover a
planted clique from an Erdos-Renyi random graph. This is despite the fact that
equilibria in these games are computable in polynomial time, and therefore
suggests that the hardness of optimal signaling is a distinct phenomenon from
the hardness of equilibrium computation. Necessitated by the non-local nature
of information structures, en-route to our results we prove an "amplification
lemma" for the planted clique problem which may be of independent interest
Metastability of Asymptotically Well-Behaved Potential Games
One of the main criticisms to game theory concerns the assumption of full
rationality. Logit dynamics is a decentralized algorithm in which a level of
irrationality (a.k.a. "noise") is introduced in players' behavior. In this
context, the solution concept of interest becomes the logit equilibrium, as
opposed to Nash equilibria. Logit equilibria are distributions over strategy
profiles that possess several nice properties, including existence and
uniqueness. However, there are games in which their computation may take time
exponential in the number of players. We therefore look at an approximate
version of logit equilibria, called metastable distributions, introduced by
Auletta et al. [SODA 2012]. These are distributions that remain stable (i.e.,
players do not go too far from it) for a super-polynomial number of steps
(rather than forever, as for logit equilibria). The hope is that these
distributions exist and can be reached quickly by logit dynamics.
We identify a class of potential games, called asymptotically well-behaved,
for which the behavior of the logit dynamics is not chaotic as the number of
players increases so to guarantee meaningful asymptotic results. We prove that
any such game admits distributions which are metastable no matter the level of
noise present in the system, and the starting profile of the dynamics. These
distributions can be quickly reached if the rationality level is not too big
when compared to the inverse of the maximum difference in potential. Our proofs
build on results which may be of independent interest, including some spectral
characterizations of the transition matrix defined by logit dynamics for
generic games and the relationship of several convergence measures for Markov
chains
Strategic Interaction and Networks
This paper brings a general network analysis to a wide class of economic games. A network, or interaction matrix, tells who directly interacts with whom. A major challenge is determining how network structure shapes overall outcomes. We have a striking result. Equilibrium conditions depend on a single number: the lowest eigenvalue of a network matrix. Combining tools from potential games, optimization, and spectral graph theory, we study games with linear best replies and characterize the Nash and stable equilibria for any graph and for any impact of players’ actions. When the graph is sufficiently absorptive (as measured by this eigenvalue), there is a unique equilibrium. When it is less absorptive, stable equilibria always involve extreme play where some agents take no actions at all. This paper is the first to show the importance of this measure to social and economic outcomes, and we relate it to different network link patterns.Networks, potential games, lowest eigenvalue, stable equilibria, asymmetric equilibria
- …