In statistics and information geometry, a divergence is a kind of statistical distance: a binary function which establishes the "distance" from one probability distribution to another on a statistical manifold. Historically the term "divergence" was used informally for various statistical distances, and what are now known as divergences were known by various names (see § History), but today there is a commonly used definition (see § Definition).
Divergences differ from metrics (a more familiar notion of distance) in a number of ways. Firstly, divergences do not need to be symmetric (though a divergence can always be symmetrized), and the asymmetry is an important part of their structure. Accordingly, one often refers asymmetrically to the divergence "of q from p" or "from p to q", in contrast to referring symmetrically to the distance "between p and q". Secondly, divergences generalize squared distance, not linear distance, and thus do not satisfy the triangle inequality (which applies to linear distances), but instead in some cases satisfy a form of the Pythagorean theorem (which applies to squared distances).
The simplest divergence is squared Euclidean distance (SED), and divergences can be viewed as generalizations of SED. The other most important divergence is relative entropy (Kullback–Leibler divergence, KL divergence), which is central to information theory. There are numerous other specific divergences and classes of divergences, notably f-divergences and Bregman divergences (see § Examples).
- D(p, q) ≥ 0 for all p, q ∈ M (non-negativity),
- D(p, q) = 0 if and only if p = q (identity of indiscernibles),
- the quadratic part of the Taylor expansion of D(p, p + dp) defines a Riemannian metric on M.
- Concretely, for every point in M, given a coordinate chart with coordinate denoted by x, the divergence is infinitesimally expressed as for a positive-definite matrix gx, where the matrix depends on the coordinate chart and the point x. The corresponding inner product gp on the tangent space TpM, which is independent of the coordinate chart (but varies by point p), is a Riemannian metric on M.
Condition 1 and 2 together produce (global) positive definiteness, and are common general conditions for statistical distances; condition 3 is the distinguishing characteristic of divergences. Conditions 1 and 2 imply that D(p, p + dp) has no constant part (since D(p, p) = 0), no linear part, and that gp has no negative direction (there is no dp for which gp(dp, dp) < 0; i.e. it is positive semi-definite), as either a linear or negative quadratic part would mean that D is negative for a sufficiently small step in that direction. Condition 3 additionally requires that gp not only be positive semi-definite (positive or zero), but positive definite (non-zero if dp is non-zero).
The factor of 1/2 is the coefficient of the quadratic term in the Taylor expansion, and means that g agrees with the Riemannian metric that is induced by the divergence, instead of differing by a factor of 2; see § Geometrical properties. Dimensional analysis of condition 3 shows that divergence has the dimension of squared distance.
Informally, a divergence is a globally positive-definite statistical distance that is infinitesimally positive-definite on its diagonal (equivalently, that infinitesimally agrees with a Riemannian metric g on its diagonal).
In statistics, the manifold M is typically a space of probability distributions with common support.
The dual divergence D* is defined as:
When necessary to specify the original function D, it may be referred to as the primal divergence.
A divergence can always be symmetrized by averaging it with its dual divergence:
Notation for divergences varies significantly between fields, though there are some conventions.
Divergences are generally notated with an uppercase 'D', as in , to distinguish them from metric distances, which are notated with a lowercase 'd'. When multiple divergences are in use, they are commonly distinguished with subscripts, as in for Kullback–Leibler divergence (KL divergence).
Often a different separator between parameters is used, particularly to emphasize the asymmetry. In information theory, a double bar is commonly used: ; this is similar to, but distinct from, the notation for conditional probability, , and emphasizes interpreting the divergence as a relative measurement, as in relative entropy; this notation is common for the KL divergence. A colon may be used instead,[b] as ; this emphasizes the relative information supporting the two distributions.
The notation for parameters varies as well. Uppercase interprets the parameters as probability distributions, while lowercase or interprets them geometrically as points in a space, and or interprets them as measures.
Many properties of divergences can be derived if we restrict S to be a statistical manifold, meaning that it can be parametrized with a finite-dimensional coordinate system θ, so that for a distribution p ∈ S we can write p = p(θ).
For a pair of points p, q ∈ S with coordinates θp and θq, denote the partial derivatives of D(p, q) as
Now we restrict these functions to a diagonal p = q, and denote 
By definition, the function D(p, q) is minimized at p = q, and therefore
and the dual to this connection ∇* is generated by the dual divergence D*.
Thus, a divergence D(·, ·) generates on a statistical manifold a unique dualistic structure (g(D), ∇(D), ∇(D*)). The converse is also true: every torsion-free dualistic structure on a statistical manifold is induced from some globally defined divergence function (which however need not be unique).
For example, when D is an f-divergence for some function ƒ(·), then it generates the metric g(Df) = c·g and the connection ∇(Df) = ∇(α), where g is the canonical Fisher information metric, ∇(α) is the α-connection, c = ƒ′′(1), and α = 3 + 2ƒ′′′(1)/ƒ′′(1).
The two most important divergences are the relative entropy (Kullback–Leibler divergence, KL divergence), which is central to information theory and statistics, and the squared Euclidean distance (SED). Minimizing these two divergences is the main way that linear inverse problem are solved, via the principle of maximum entropy and least squares, notably in logistic regression and linear regression.
The two most important classes of divergences are the f-divergences and Bregman divergences; however, other types of divergence functions are also encountered in the literature. The only divergence that is both an f-divergence and a Bregman divergence is the Kullback–Leibler divergence; the squared Euclidean divergence is a Bregman divergence (corresponding to the function ), but not an f-divergence.
This family of divergences are generated through functions f(u), convex on u > 0 and such that f(1) = 0. Then an f-divergence is defined as
|squared Hellinger distance:|
If a Markov process has a positive equilibrium probability distribution then is a monotonic (non-increasing) function of time, where the probability distribution is a solution of the Kolmogorov forward equations (or Master equation), used to describe the time evolution of the probability distribution in the Markov process. This means that all f-divergences are the Lyapunov functions of the Kolmogorov forward equations. Reverse statement is also true: If is a Lyapunov function for all Markov chains with positive equilibrium and is of the trace-form () then , for some convex function f. Bregman divergences in general do not have such property and can increase in Markov processes.
Bregman divergences correspond to convex functions on convex sets. Given a strictly convex, continuously-differentiable function F on a convex set, known as the Bregman generator, the Bregman divergence measures the convexity of: the error of the linear approximation of F from q as an approximation of the value at p:
The dual divergence to a Bregman divergence is the divergence generated by the convex conjugate F* of the Bregman generator of the original divergence. For example, for the squared Euclidean distance, the generator is , while for the relative entropy the generator is the negative entropy .
The term "divergence" for a statistical distance was used informally in various contexts from c. 1910 to c. 1940. Its formal use dates at least to Bhattacharyya (1943) harvtxt error: no target: CITEREFBhattacharyya1943 (help), entitled "On a measure of divergence between two statistical populations defined by their probability distributions", which defined the Bhattacharyya distance, and Bhattacharyya (1946) harvtxt error: no target: CITEREFBhattacharyya1946 (help), entitled "On a Measure of Divergence between Two Multinomial Populations", which defined the Bhattacharyya angle. The term was popularized by its use for the Kullback–Leibler divergence in Kullback & Leibler (1951) harvtxt error: no target: CITEREFKullbackLeibler1951 (help), its use in the textbook Kullback (1959) harvtxt error: no target: CITEREFKullback1959 (help), and then by Ali & Silvey (1966) harvtxt error: no target: CITEREFAliSilvey1966 (help) generally, for the class of f-divergences. The term "Bregman distance" is still found, but "Bregman divergence" is now preferred. In information geometry, alternative terms were initially used, including "quasi-distance" Amari (1982, p. 369) harvtxt error: no target: CITEREFAmari1982 (help) and "contrast function" Eguchi (1985), though "divergence" was used in Amari (1985) harvtxt error: no target: CITEREFAmari1985 (help) for the α-divergence, and has become standard.
- Throughout, we only require differentiability class C2 (continuous with continuous first and second derivatives), since only second derivatives are required. In practice, commonly used statistical manifolds and divergences are infinitely differentiable ("smooth").
- A colon is used in Kullback & Leibler (1951, p. 80) harvtxt error: no target: CITEREFKullbackLeibler1951 (help), where the KL divergence between measure and is written as .
- Amari 2016, p. 10.
- Amari & Nagaoka 2000, chapter 3.2.
- Amari 2016, p. 10, Definition 1.1.
- Eguchi (1992)
- Matumoto (1993)
- Csiszár 1991. sfn error: no target: CITEREFCsiszár1991 (help)
- Gorban, Pavel A. (15 October 2003). "Monotonically equivalent entropies and solution of additivity equation". Physica A. 328 (3–4): 380–390. arXiv:cond-mat/0304131. doi:10.1016/S0378-4371(03)00578-8.
- Amari, Shun'ichi (2009). Leung, C.S.; Lee, M.; Chan, J.H. (eds.). Divergence, Optimization, Geometry. The 16th International Conference on Neural Information Processing (ICONIP 20009), Bangkok, Thailand, 1--5 December 2009. Lecture Notes in Computer Science, vol 5863. Berlin, Heidelberg: Springer. pp. 185–193. doi:10.1007/978-3-642-10677-4_21.
- Amari, Shun-ichi; Nagaoka, Hiroshi (2000). Methods of information geometry. Oxford University Press. ISBN 0-8218-0531-2.
- Amari, Shun-ichi (2016). Information Geometry and Its Applications. Applied Mathematical Sciences. Springer Japan. pp. XIII, 374. doi:10.1007/978-4-431-55978-8. ISBN 978-4-431-55977-1.
- Eguchi, Shinto (1985). "A differential geometric approach to statistical inference on the basis of contrast functionals". Hiroshima Mathematical Journal. 15 (2): 341–391. doi:10.32917/hmj/1206130775.
- Eguchi, Shinto (1992). "Geometry of minimum contrast". Hiroshima Mathematical Journal. 22 (3): 631–647. doi:10.32917/hmj/1206128508.
- Matumoto, Takao (1993). "Any statistical manifold has a contrast function — on the C³-functions taking the minimum at the diagonal of the product manifold". Hiroshima Mathematical Journal. 23 (2): 327–332. doi:10.32917/hmj/1206128255.