Equilibria of Atomic Flow Games are not Unique

Abstract

In routing games with infinitesimal players, it follows from well-known convexity arguments that equilibria exist and are unique (up to induced delays, and under weak assumptions on delay functions). In routing games with players that control large amounts of flow, uniqueness has been demonstrated only in limited cases: in 2-terminal, nearly-parallel graphs; when all players control exactly the same amount of flow; when latency functions are polynomials of degree at most three. In this work, we answer an open question posed by Cominetti, Correa, and Stier-Moses (ICALP 2006) and show that there may be multiple equilibria in atomic player routing games. We demonstrate this multiplicity via two specific examples. In addition, we show our examples are topologically minimal by giving a complete characterization of the class of network topologies for which unique equilibria exist. Our proofs and examples are based on a novel characterization of these topologies in terms of sets of circulations.