Approximate well-supported Nash equilibria in symmetric bimatrix games

The $\varepsilon$-well-supported Nash equilibrium is a strong notion of approximation of a Nash equilibrium, where no player has an incentive greater than $\varepsilon$ to deviate from any of the pure strategies that she uses in her mixed strategy. The smallest constant $\varepsilon$ currently known for which there is a polynomial-time algorithm that computes an $\varepsilon$-well-supported Nash equilibrium in bimatrix games is slightly below $2/3$. In this paper we study this problem for symmetric bimatrix games and we provide a polynomial-time algorithm that gives a $(1/2+\delta)$-well-supported Nash equilibrium, for an arbitrarily small positive constant $\delta$

On the Approximation Performance of Fictitious Play in Finite Games

We study the performance of Fictitious Play, when used as a heuristic for finding an approximate Nash equilibrium of a 2-player game. We exhibit a class of 2-player games having payoffs in the range [0,1] that show that Fictitious Play fails to find a solution having an additive approximation guarantee significantly better than 1/2. Our construction shows that for n times n games, in the worst case both players may perpetually have mixed strategies whose payoffs fall short of the best response by an additive quantity 1/2 - O(1/n^(1-delta)) for arbitrarily small delta. We also show an essentially matching upper bound of 1/2 - O(1/n)

Polylogarithmic Supports are required for Approximate Well-Supported Nash Equilibria below 2/3

In an epsilon-approximate Nash equilibrium, a player can gain at most epsilon in expectation by unilateral deviation. An epsilon well-supported approximate Nash equilibrium has the stronger requirement that every pure strategy used with positive probability must have payoff within epsilon of the best response payoff. Daskalakis, Mehta and Papadimitriou conjectured that every win-lose bimatrix game has a 2/3-well-supported Nash equilibrium that uses supports of cardinality at most three. Indeed, they showed that such an equilibrium will exist subject to the correctness of a graph-theoretic conjecture. Regardless of the correctness of this conjecture, we show that the barrier of a 2/3 payoff guarantee cannot be broken with constant size supports; we construct win-lose games that require supports of cardinality at least Omega((log n)^(1/3)) in any epsilon-well supported equilibrium with epsilon < 2/3. The key tool in showing the validity of the construction is a proof of a bipartite digraph variant of the well-known Caccetta-Haggkvist conjecture. A probabilistic argument shows that there exist epsilon-well-supported equilibria with supports of cardinality O(log n/(epsilon^2)), for any epsilon> 0; thus, the polylogarithmic cardinality bound presented cannot be greatly improved. We also show that for any delta > 0, there exist win-lose games for which no pair of strategies with support sizes at most two is a (1-delta)-well-supported Nash equilibrium. In contrast, every bimatrix game with payoffs in [0,1] has a 1/2-approximate Nash equilibrium where the supports of the players have cardinality at most two.Comment: Added details on related work (footnote 7 expanded

Approximate Well-supported Nash Equilibria below Two-thirds

In an epsilon-Nash equilibrium, a player can gain at most epsilon by changing his behaviour. Recent work has addressed the question of how best to compute epsilon-Nash equilibria, and for what values of epsilon a polynomial-time algorithm exists. An epsilon-well-supported Nash equilibrium (epsilon-WSNE) has the additional requirement that any strategy that is used with non-zero probability by a player must have payoff at most epsilon less than the best response. A recent algorithm of Kontogiannis and Spirakis shows how to compute a 2/3-WSNE in polynomial time, for bimatrix games. Here we introduce a new technique that leads to an improvement to the worst-case approximation guarantee

Approximating Nash Equilibria and Dense Bipartite Subgraphs via an Approximate Version of Carathéodory's Theorem

We present algorithmic applications of an approximate version of Caratheodory's theorem. The theorem states that given a set of vectors X in R^d, for every vector in the convex hull of X there exists an ε-close (under the p-norm distance, for 2 ≤ p < ∞) vector that can be expressed as a convex combination of at most b vectors of X, where the bound b depends on ε and the norm p and is independent of the dimension d. This theorem can be derived by instantiating Maurey's lemma, early references to which can be found in the work of Pisier (1981) and Carl (1985). However, in this paper we present a self-contained proof of this result. Using this theorem we establish that in a bimatrix game with n x n payoff matrices A, B, if the number of non-zero entries in any column of A+B is at most s then an ε-Nash equilibrium of the game can be computed in time n^O(log s/ε^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 was obtained by Lipton, Markakis, and Mehta (2003). The 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 x k bipartite subgraph with density within ε (in the additive sense) of the optimal density in time n^O(log d/ε^2)

Developments in FINDbase worldwide database for clinically relevant genomic variation allele frequencies

FINDbase (http://www.findbase.org) aims to document frequencies of clinically relevant genomic variations, namely causative mutations and pharmacogenomic markers, worldwide. Each database record includes the population, ethnic group or geographical region, the disorder name and the related gene, accompanied by links to any related databases and the genetic variation together with its frequency in that population. Here, we report, in addition to the regular data content updates, significant developments in FINDbase, related to data visualization and querying, data submission, interrelation with other resources and a new module for genetic disease summaries. In particular, (i) we have developed new data visualization tools that facilitate data querying and comparison among different populations, (ii) we have generated a new FINDbase module, built around Microsoft’s PivotViewer (http://www.getpivot.com) software, based on Microsoft Silverlight technology (http://www.silverlight.net), that includes 259 genetic disease summaries from five populations, systematically collected from the literature representing the documented genetic makeup of these populations and (iii) the implementation of a generic data submission tool for every module currently available in FINDbase

Measurements of Saharan dust aerosols over the Eastern Mediterranean using elastic backscatter-Raman lidar, spectrophotometric and satellite observations in the frame of the EARLINET project

We report on the vertical distributions of Saharan dust aerosols over the N.E. Mediterranean region, which were obtained during a typical dust outbreak on August 2000, by two lidar systems located in Athens and Thessaloniki, Greece, in the frame of the European EARLINET project. MODIS and ground sun spectrophotometric data, as well as air-mass backward trajectories confirmed the existence of Saharan dust in the case examined, which was also successfully forecasted by the DREAM dust model. The lidar data analysis for the period 2000-2002 made possible, for the first time, an estimation of the vertical extent of free tropospheric dust layers [mean values of the aerosol backscatter and extinction coefficients and the extinction-to-backscatter ratio (lidar ratio, LR) at 355 nm], as well as a seasonal distribution of Saharan dust outbreaks over Greece, under cloud-free conditions. A mean value of the lidar ratio at 355 nm was obtained over Athens (53&plusmn;1 sr) and over Thessaloniki (44&plusmn;2 sr) during the Saharan dust outbreaks. The corresponding aerosol optical thickness (AOT) at 355 nm, in the altitude range 0-5 km, was 0.69&plusmn;0.12 and 0.65&plusmn;0.10 for Athens and Thessaloniki, respectively (within the dust layer the AOT was 0.23 and 0.21, respectively). Air-mass back-trajectory analysis performed in the period 2000-2002 for all Saharan dust outbreaks over the N.E. Mediterranean indicated the main pathways followed by the dust aerosols

Inapproximability Results for Approximate Nash Equilibria.

We study the problem of finding approximate Nash equilibria that satisfy certain conditions, such as providing good social welfare. In particular, we study the problem $\epsilon$-NE $\delta$-SW: find an $\epsilon$-approximate Nash equilibrium ($\epsilon$-NE) that is within $\delta$ of the best social welfare achievable by an $\epsilon$-NE. Our main result is that, if the exponential-time hypothesis (ETH) is true, then solving $\left(\frac{1}{8} - \mathrm{O}(\delta)\right)$-NE $\mathrm{O}(\delta)$-SW for an $n\times n$ bimatrix game requires $n^{\mathrm{\widetilde \Omega}(\log n)}$ time. Building on this result, we show similar conditional running time lower bounds on a number of decision problems for approximate Nash equilibria that do not involve social welfare, including maximizing or minimizing a certain player's payoff, or finding approximate equilibria contained in a given pair of supports. We show quasi-polynomial lower bounds for these problems assuming that ETH holds, where these lower bounds apply to $\epsilon$-Nash equilibria for all $\epsilon < \frac{1}{8}$. The hardness of these other decision problems has so far only been studied in the context of exact equilibria.Comment: A short (14-page) version of this paper appeared at WINE 2016. Compared to that conference version, this new version improves the conditional lower bounds, which now rely on ETH rather than RETH (Randomized ETH

Comparison of two novel MRAS strategies for identifying parameters in permanent magnet synchronous motors

Two Model Reference Adaptive System (MRAS) estimators are developed for identifying the parameters of permanent magnet synchronous motors (PMSM) based on Lyapunov stability theorem and Popov stability criterion, respectively. The proposed estimators only need online detection of currents, voltages and rotor rotation speed, and are effective in the estimation of stator resistance, inductance and rotor flux-linkage simultaneously. Their performances are compared and verified through simulations and experiments. It shows that the two estimators are simple and have good robustness against parameter variation and are accurate in parameter tracking. However, the estimator based on Popov stability criterion, which can overcome the parameter variation in a practical system, is superior in terms of response speed and convergence speed since there are both proportional and integral units in the estimator in contrast to only one integral unit in the estimator based on Lyapunov stability theorem. In addition, there is no need of the expert experience which is required in designing a Lyapunov function