
Natural Gradient in Evolutionary Games A PREPRINT
Throughout this paper the notion x·ystands for the inner product of vectors xand yin the vector space. Sometimes
we will also use the notation xTy.
We assume that portions pievolve with the time according to the following ODE’s
˙pi=pi(fi(p)− hf(p)i), i = 1,...,n. (2)
Equations (2) are well known as replicator equations. They have a simple justification. We say that the state of
population at a moment tis given by vector p(t) = (p1(t),...,pn(t)). Then equations (2) claim that if for a given
state of population, species Aihas higher fitness than the mean fitness, its portion pi(t)will increase.
Foundations of EGT have been laid in 1970’s by Maynard Smith ([25]), who applied game-theoretic paradigms to the
Darwinian theory of evolution. Hence, the terminology inherited from the biological context (species, fitness, etc.) is
commonly used in the literature. As EGT emerged into a prominent branch of Game Theory, it has been recognized
that its models and paradigms present a significant interest for social sciences and Philosophy. Indeed, the evolution
is not exclusively biological concept; one can talk, for instance, about cultural, or behavioral evolution. Taking into
account such a wide scope of interpretations, elements of the set Ado not necessarily represent biological species.
Depending on the field of applications, Aican correspond to political views, lifestyle habits, fashion preferences, or
moral choices. Such a variety of interpretations brought alternative terminologies into EGT. In some cases it is more
appropriate to talk about actions instead of species, payoff instead of fitness; in these cases (1) represents an expected
payoff.
Regardless of applications and interpretations, the abstract mathematical framework of EGT remains the same. It is
easy to check that ∆nis an invariant set for the dynamics (2). Hence, replicator equations describe the evolution of
strategies, that is - of probability distributions over a finite set. Distributions from P(A)are usually called categorical
distributions.
In addition to evolutionary games with a finite strategy set, one can also conceive a situation where the set of actions
(that is - of pure strategies) is a continuous subset of Rn. Then mixed strategies are absolutely continuous probability
measures on Rn. In such a setup, evolutionary dynamics generate a flow on a certain family of probability measures
on Rn. Such games are named evolutionary games with a continuous trait space.1
Mathematical framework of EGT makes it possible to study evolutionary games as flows on families of probability
distributions. Such an approach relies on results and paradigms of Information Geometry (IG). Below, we will explain
information-geometric approach to evolutionary games and exploit it throughout the present paper.
When investigating evolutionary games with a finite strategy set, one should take into account metric properties of
P(A). It is not difficult to notice that the standard Euclidean metric is an inappropriate measure of the distance between
two categorical distributions. Instead, IG proposes a general way to introduce a metric on families of probability
distributions, thus turning them into Riemannian manifolds. Metric further defines a gradient flow on the manifold
and replicator dynamics can be studied from this point of view. In the case of games with a finite strategy set, this
has been recognized by Marc Harper and led to novel insights into geometric and information-theoretic aspects of
evolutionary dynamics, [17, 18]. In Section 2 we briefly recall Harper’s results that serve as a starting point for further
generalizations.
Manifold P(A)of categorical distributions is just one particular example of the so-called statistical manifold. In Sec-
tion 3 we briefly expose general geometric approach to families of probability distributions and introduce the notions
of Fisher information metric and natural gradient. From this point of view, Harper’s results about the evolutionary dy-
namics on the manifold of categorical distribution might turn out to be just the tip of the iceberg. This suggests that IG
provides a universal theoretical background for study of a broad class of evolutionary games. One can treat evolution-
ary dynamics as gradient flows on statistical manifolds. Although information-geometric concepts are widely used in
Mathematics and Computer Science, the most comprehensive theoretic approach to gradient flows on statistical man-
ifolds has been developed for purposes of black-box optimization. Black-box optimization (including evolutionary
algorithms and stochastic search methods) relied for decades on various heuristics without a coherent theoretical jus-
tification. However, this direction of research evolved into a general framework that encompasses some of previously
known stochastic search algorithms and provides a solid theoretical background for them. The black-box optimization
community adopted the terms Natural Evolution Strategies (NES) and Information-Geometric Optimization (IGO) for
1Games with a continuous space of pure strategies allow for a biological interpretation in which pure strategies correspond to
individual traits of a certain species. Such an interpretation stands behind the expression "continuous trait space", see for instance
[10, 22]. On the other hand, the term "game with a finite strategy set" is a bit imprecise, since it means that the set of pure strategies
is finite. (The set of all strategies is continuous in any case.) Nevertheless, the term "games with a continuous strategy space" is
commonly used in the literature. Alternatively, some researchers ([26]) preferred to talk about evolutionary games with finite (or
continuous) action sets. This terminology is inspired by various non-biological interpretations of evolutionary games.
2