Calculating Nash Equilibrium on Quantum Annealers
Olga Okrut, Keith Cannon, Kareem H. El-Safty, Nada Elsokkary, Faisal Shah Khan
TL;DR
This work addresses computing Nash equilibria for two-player, non-cooperative games using quantum annealing. It rewrites the standard doubly quadratic NE problem into a single quadratic program via Mangasarian–Stone, then converts the constrained problem into a QUBO by adding penalty terms and slack variables, enabling execution on quantum annealers. Three illustrative examples (Battle of the Sexes, the Bird Game, and an eight-strategy game) demonstrate NE-consistent results and report substantial hardware–software speedups (roughly seven to tenfold) over classical computation, with advantages observed on D-Wave systems. The study emphasizes the need to tune penalty weights, recognizes current limitations to pure strategies due to binary variables, and points to future work extending to mixed strategies and more complex game-theoretic models.
Abstract
Adiabatic quantum computing is implemented on specialized hardware using the heuristics of the quantum annealing algorithm. This setup requires the addressed problems to be formatted as discrete quadratic functions without constraints and the variables to take binary values only. The problem of finding Nash equilibrium in two-player, non-cooperative games is a two-fold quadratic optimization problem with constraints. This problem was formatted as a single, constrained quadratic optimization in 1964 by Mangasarian and Stone. Here, we show that adding penalty terms to the quadratic function formulation of Nash equilibrium gives a quadratic unconstrained binary optimization (QUBO) formulation of this problem that can be executed on quantum annealers. Three examples are discussed to highlight the success of the formulation, and an overall, time-to-solution (hardware + software processing) speed up of seven to ten times is reported on quantum annealers developed by D-Wave System.
