Abstract:Kakutani's Fixed Point theorem is a fundamental theorem in topology with numerous applications in game theory and economics. Computational formulations of Kakutani exist only in special cases and are too restrictive to be useful in reductions. In this paper, we provide a general computational formulation of Kakutani's Fixed Point Theorem and we prove that it is PPAD-complete. As an application of our theorem we are able to characterize the computational complexity of the following fundamental problems: (1) Concave Games. Introduced by the celebrated works of Debreu and Rosen in the 1950s and 60s, concave $n$-person games have found many important applications in Economics and Game Theory. We characterize the computational complexity of finding an equilibrium in such games. We show that a general formulation of this problem belongs to PPAD, and that finding an equilibrium is PPAD-hard even for a rather restricted games of this kind: strongly-concave utilities that can be expressed as multivariate polynomials of a constant degree with axis aligned box constraints. (2) Walrasian Equilibrium. Using Kakutani's fixed point Arrow and Debreu we resolve an open problem related to Walras's theorem on the existence of price equilibria in general economies. There are many results about the PPAD-hardness of Walrasian equilibria, but the inclusion in PPAD is only known for piecewise linear utilities. We show that the problem with general convex utilities is in PPAD. Along the way we provide a Lipschitz continuous version of Berge's maximum theorem that may be of independent interest.

On the Complexity of 2D Discrete Fixed Point Problem.

On the Complexity of 2D Discrete Fixed Point Problem

PPAD-Completeness Oracle Model Complexity SPERNER 3 D : Papadimitriou ’ 94 [ 43 ] 2 D Lower bound : Crescenzi and Silvestri ’

Discrete Fixed Points: Models, Complexities, and Applications

Understanding PPA-Completeness.

On algorithms for discrete and approximate brouwer fixed points.

Direction Preserving Zero Point Computing and Applications

Matching Algorithmic Bounds for Finding a Brouwer Fixed Point

Computing Nash Equilibria: Approximation and Smoothed Complexity

The Discrete and Mixed Minimax 2-Center Problems

The Computational Complexity of Multi-player Concave Games and Kakutani Fixed Points

New Results on the Remote Set Problem and Its Applications in Complexity Study

On the Polyhedral Decision Problem

Hardness of Approximate Sperner and Applications to Envy-Free Cake Cutting

Topological complexity of enumerative problems and classifying spaces of $PU_n$

Revisiting Random Points: Combinatorial Complexity and Algorithms

Improved Algorithms for Distance Selection and Related Problems

Parameterized Algorithms for Total P-Dominating Set

A Survey of PPAD-Completeness for Computing Nash Equilibria

Complexity Analysis and Algorithms for the Program Download Problem

The complexity of power-index comparison