Computing Equilibria in Anonymous Games

We present efficient approximation algorithms for finding Nash equilibria in anonymous games, that is, games in which the players utilities, though different, do not differentiate between other players. Our results pertain to such games with many players but few strategies. We show that any such game has an approximate pure Nash equilibrium, computable in polynomial time, with approximation O(s^2 L), where s is the number of strategies and L is the Lipschitz constant of the utilities. Finally, we show that there is a PTAS for finding an epsilo

Semilinear order property and infinite games

Falta resumen y palabras claveEn este trabajo se analiza la determinación de juegos de Lipschitz y Wadge, junto con la propiedad de ordenación semilineal, estrechamente relacionada con estos juegos, en el contexto de la Aritmética de segundo orden y el programa de la Matemática inversa (Reverse Mathematics). En primer lugar, se obtienen pruebas directas, formalizables en la Aritmética de segundo orden, de la determinación de los juegos de Lipschitz y Wadge para los primeros niveles de la Jerarquía de diferencias de Hausdorff. A continuación, se determinan los axiomas de existencia suficientes para la formalización de dichas pruebas dentro de los subsistemas clásicos de la Aritmética de segundo orden (fórmula). Finalmente, en algunos casos se muestra que dichos axiomas de existencia son óptimos, probando que resultan ser equivalentes (sobre un subsistema débil adecuado, como RCA0 o ACA0) a las correspondientes formalizaciones de los principios de determinación o de ordenación semilineal. Los principales resultados obtenidos son los siguientes: Teorema A. Sobre RCA0 son equivalentes: (fórmula) (el principio de determinación para juegos de Lipschitz entre subconjuntos del espacio de Cantor que son diferencia de dos cerrados). (fórmula) (la propiedad de ordenación semilineal de la reducibilidadLipschitz entre subconjuntos del espacio de Cantor que son diferencia de dos cerrados). Teorema B. Sobre RCA0 son equivalentes: (fórmula) (el principio de determinación para juegos de Lipschitz entre subconjuntos abiertos o cerrados del espacio de Baire). Teorema C. Sobre ACA0 son equivalentes: (fórmula) (el principio de determinación para juegos de Lipschitz entre subconjuntos del espacio de Baire que son simultáneamente abiertos y cerrados). (fórmula) (la propiedad de ordenación semilineal de la reducibilidadLipschitzentre subconjuntos del espacio de Baire simultáneamente abiertos y cerrados).In this thesis we analyze the determinacy of the Lipschitz and Wadge games, as well as the tightly related semilinear ordering principle, in the setting of second order arithmetic and of the program of Reverse Mathematics. Firstly, we obtain direct proofs, formalizable in second order arithmetic, of the determinacy of Lipschitz and Wadge games for the first levels of the Hausdorff's hierarchy of differences. Then we determine the set existence axioms needed to formalize such proofs within the classical subsystems of second order arithmetic (fórmula). Finally, in some cases we show that these axioms of existence are optimal, proving that they turn out to be equivalent (over a suitable weak subsystem asRCA0 orACA0) to the corresponding formalization of the principles of determinacy or semilinear ordering. The main results are: Theorem A.The following assertions are pairwise equivalent over RCA0: (fórmula) (determinacy of Lipschitz games for subsets of the Cantor space which are differences of closed sets). (fórmula) (Lipschitz semilinear ordering for subsets of the Cantor space which are differences of closed sets). Theorem B.The following assertions are pairwise equivalent over RCA0: (fórmula) (determinacy of Lipschitz games for open or closed subsets of the Baire space). Theorem C.The following assertions are pairwise equivalent over ACA0: (fórmula) (determinacy of Lipschitz games for clopen subsets of the Baire space). (fórmula) (Lipschitz semilinear ordering for clopen subsets of the Baire space)