Title:An Approximate Version of Carathéodory's Theorem with Applications to Approximating Nash Equilibria and Dense Bipartite Subgraphs

Abstract:We prove an approximate version of Carathéodory's theorem and present two examples of its algorithmic applications. In particular, given a set of vectors $X$ in $\mathbb{R}^d$, we show that for every vector in the convex hull of $X$ there exists an $\varepsilon$-close (under the $p$-norm distance, for $2\leq p < \infty$) vector that can be expressed as a convex combination of at most $b$ vectors of $X$, where the bound $b$ depends on $\varepsilon$ and the norm $p$ and is independent of the dimension $d$.
Using this theorem we establish that in a bimatrix game with $ n \times n$ payoff matrices $A, B$, if the number of non-zero entries in any column of $A+B$ is at most $s$ then an $\varepsilon$-Nash equilibrium of the game can be computed in time $n^{O(\frac{\log s}{\varepsilon^2})}$. This, in particular, gives us a polynomial-time approximation scheme for Nash equilibrium in games with fixed column sparsity $s$. Moreover, for arbitrary bimatrix games---since $s$ can be at most $n$---the running time of our algorithm matches the best-known upper bound, which is obtained in [Lipton, Markakis, and Mehta 2003].
Our approximate Carathéodory's theorem also leads to an additive approximation algorithm for the densest $k$-bipartite subgraph problem. Given a graph with $n$ vertices and maximum degree $d$, the developed algorithm determines a $k \times k$ bipartite subgraph with density within $\varepsilon$ (in the additive sense) of the optimal density in time $n^{O(\frac{\log d}{\varepsilon^2})}$.