A note on the quasiconvex Jensen divergences and the quasiconvex Bregman divergences derived thereof
Sony Computer Science Laboratories, Paris, France
Abstract
We first introduce the class of strictly quasiconvex and strictly quasiconcave Jensen divergences which are oriented (asymmetric) distances, and study some of their properties. We then define the strictly quasiconvex Bregman divergences as the limit case of scaled and skewed quasiconvex Jensen divergences, and report a simple closedform formula which shows that these divergences are only pseudodivergences at countably many inflection points of the generators. To remedy this problem, we propose the averaged quasiconvex Bregman divergences which integrate the pseudodivergences over a small neighborhood in order obtain a proper divergence. The formula of averaged quasiconvex Bregman divergences extend even to nondifferentiable strictly quasiconvex generators. These quasiconvex Bregman divergences between distinct elements have the property to always have one orientation finite while the other orientation is infinite. We show that these quasiconvex Bregman divergences can also be interpreted as limit cases of generalized skewed Jensen divergences with respect to comparative convexity by using power means. Finally, we illustrate how these quasiconvex Bregman divergences naturally appear as equivalent divergences for the KullbackLeibler divergences between probability densities belonging to a same parametric family of distributions with nested supports.
Keywords: oriented forward and reverse distances, Jensen divergence, Bregman divergence, quasiconvexity, inflection points, comparative convexity, power means, nested densities.
1 Introduction, motivation, and contributions
A dissimilarity is a measure of the deviation of an object from a reference object (i.e., ) which satisfies the following two basic properties:
 Nonnegativity.

 Law of the indiscernibles.

if and only if .
In other words, a dissimilarity satisfies with equality if and only if . A pseudodissimilarity is a measure of deviation for which the nonnegativity property holds but not necessarily the law of the indiscernibles [30]. The objects can be vectors, probability distributions, random variables, strings, graphs, etc. In general, a dissimilarity may not be symmetric, i.e., potentially we may have . In that case, the dissimilarity is said to be oriented, and we consider the following two reference orientations of the dissimilarity: the forward ordinary dissimilarity and its associated reverse dissimilarity . Notice that we used the ’:’ notation instead of the comma delimiter ’,’ between the dissimilarity arguments to emphasize that the dissimilarity may be asymmetric. In the literature, a dissimilarity is also commonly called a divergence [3] although several additional meanings may be associated to this term like a dissimilarity between probability distributions instead of vectors (e.g., the KullbackLeibler divergence [12] in information theory) or like a notion of smoothness (e.g., a contrast function in information geometry [3]). A dissimilarity may also be loosely called a distance although this may convey to mathematicians in some contexts the additional notion of a dissimilarity satisfying the metric axioms (nonnegativity, law of the indiscernibles, symmetry and triangular inequality).
The Bregman divergences [10, 9] were introduced in operations research, and are widely used nowadays in machine learning and information sciences. For a strictly convex and smooth generator , called the Bregman generator, we define the corresponding Bregman divergence between parameter vectors and as:
(1) 
Bregman divergences are always finite, and generalize many common distances [5], including the KullbackLeibler (KL) divergence and the squared Euclidean and Mahalanobis distances. Furthermore, the KL divergence between two probability densities belonging to a same exponential family [6, 5] amount to a reverse Bregman divergence between the corresponding parameters when setting the Bregman generator to be the cumulant function of the exponential family [4]. Moreover, a bijection between regular exponential families [6] and the socalled class of “regular Bregman divergences” was reported in [5] and used for learning statistical mixtures showing that the expectationmaximization algorithm is equivalent to a Bregman soft clustering algorithm. Bregman divergences have been extended to many nonvector data types like matrix arguments [32] or functional arguments [16].
In this note, we consider defining the notion of Jensen divergences [26] for strictly quasiconvex or strictly quasiconcave generators, and the induced notion of Bregman divergences. We term them quasiconvex Bregman divergences (and omit to prefix it by ’strictly’ for sake of brevity). We then establish a connection between the KL divergence between parametric families of densities with nested supports and these quasiconvex Bregman divergences.
We summarize our main contributions as follows:

By using quasiconvex generators instead of convex generators, we define the skewed quasiconvex Jensen divergences (Definition 1) and derived thereof quasiconvex Bregman divergences (Definition 3 and Theorem 1). The quasiconvex Bregman divergences turn out to be only pseudodivergences at inflection points of the generator. Since this happens only at countably many points, we still loosely call them quasiconvex Bregman divergences. We can also integrate the quasiconvex Bregman (pseudo)divergence over a small neighborhood and obtain a averaged quasiconvex Bregman divergence in §3.2. The averaged quasiconvex Bregman divergence are also welldefined for strictly quasiconvex but not differentiable generators. Quasiconvex Bregman divergences between distinct parameters always have one orientation finite while the other one evaluates to infinity.

We exhibit some parametric families of probability distributions with strictly nested supports such that the KullbackLeibler divergences between them amount to equivalent quasiconvex Bregman divergences (§4).
The paper is organized as follows: Section 2 defines the quasiconvex and quasiconcave difference distances by analogy to Jensen difference distances [34, 26], study some of their properties, and show how to obtain them as generalized Jensen divergences [29] obtained from comparative convexity using power means. Henceforth their name: quasiconvex Jensen divergences. When the generator is quasilinear instead of quasiconvex, we call them quasilinear Jensen divergences. We then define the quasiconvex Bregman divergences in §3 as limit cases of scaled and skewed quasiconvex Jensen divergences, and report a closedform formula which highlights the fact that one orientation of the distance is always finite while the other one is always infinite (for divergences between distinct elements). Since the quasiconvex Bregman divergences are only pseudodivergences at inflection points, we define the averaged quasiconvex Bregman divergences in §3.2. We also recover the formula by taking the limit case of power means Bregman divergences that were introduced using comparative convexity [29].
In §4, we consider the problem of finding parametric family of probability distributions for which the KullbackLeibler divergence amount to a quasiconvex Bregman divergence. We illustrate one example showing that nested supports of the densities ensure the property of having one orientation finite while the other one is infinite. Finally, §5 concludes this note and hints at applications perspectives of these quasiconvex Bregman divergences, including flat and hierarchical clustering.
2 Divergences based on inequality gaps of quasiconvex or quasiconcave generators
2.1 Quasiconvex and quasiconcave difference dissimilarities
In this work, a divergence or distance refers to a dissimilarity such that with equality iff. . A pseudodivergence or pseudodistance only satisfies the nonnegativity property but not necessarily the law of the indiscernibles of the dissimilarities.
Consider a function which satisfies the following “Jensentype” inequality [8] for any :
(2) 
where denotes the weighted linear interpolation of with , and the parameter space. Function is said strictly quasiconvex [17, 7, 33, 8] as it relaxes the strict convexity inequality:
(3) 
Let denote the space of such strictly quasiconvex realvalued function, and let denote the space of strictly convex functions. We have : Any strictly convex function or any strictly increasing function is quasiconvex, but not necessarily the converse: Some examples of quasiconvex functions which are not convex are , , , etc. Decreasing and then increasing functions are quasiconvex but may not be necessarily smooth. Some concave functions like are quasiconvex. The sum of quasiconvex functions are not necessarily quasiconvex. In the same spirit that function convexity can be reduced to set convexity via the epigraph representation of the function, a function is quasiconvex if the level set is (set) convex for all . When is univariate, a quasiconvex function is also commonly called unimodal (i.e., decreasing and then increasing function). Thus a multivariate quasiconvex function can be characterized as being unimodal along each line of its domain. Figure 1 displays some examples of quasiconvex functions with one function that fails to be quasiconvex. Notice that strictly monotonic functions which are both strictly quasiconvex and strictly quasiconcave are termed strictly quasilinear. The ceil function is an example of quasilinear function (idem for the floor function). Another example, are the linear fractional functions which are quasilinear functions on the domain . We denote by the set of strictly quasilinear functions, and by the set of strictly quasiconcave functions.
Definition 1 (Quasiconvex difference distance)
The quasiconvex difference distance (or qcvx distance for short) for is defined as the inequality difference gap of Eq. 2
(4)  
(5) 
By definition, the quasiconvex difference distance is a dissimilarity satisfying iff. when the generator is strictly quasiconvex (see Eq. 2).
Remark 1
Notice that we could also have defined a logratio gap [30] as a dissimilarity:
(6) 
However, in that case we should have required the extra condition that the generator does not vanish in the domain, i.e., for any .
Property 1
Let and , and define . Functions are quasiconvex, and .
Similarly, we can characterize a strictly quasiconcave realvalued function by the following inequality for :
(7) 
This allows one to define the quasiconcave difference distance (or qccv distance for short):
Definition 2 (Quasiconcave difference distance)
For a quasiconcave function and , we define the quasiconcave distance as:
(8)  
(9) 
Similarly, we have for and .
Now, observe that for any , we have^{3}^{3}3Indeed, . (or equivalently ). Thus it follows the following identity:
Property 2
A quasiconcave difference distance with quasiconcave generator is equivalent to a quasiconvex difference distance for the quasiconvevx generator :
(10) 

(11) (12) (13)
Therefore, we consider without loss of generality quasiconvex difference distances in the reminder.
2.2 Relationship of quasiconvex difference distances with Jensen difference distances
Since for any , we have , and , we can rewrite Eq. 4 to get
(14)  
(15) 
where
(16) 
is called the extended Jensen divergence, a Jensentype divergence extended to quasiconvex generators instead of ordinary convex generators.
Property 3 (Upperbounded the extended Jensen divergence by )
We have:
(17) 
since . In particular, when is strictly convex, we have .
Notice that when is strictly convex, but may be negative when only quasiconvex. For example, is a quasiconvex and concave function, and therefore .
When , we get the following identity:
Property 4 (Regularization of extended Jensen divergences)
Thus when the generator is convex, we can interpret the quasiconvex divergence as a regularization of the ordinary Jensen divergence. When the generator is not convex, beware that may be negative but we always have .
Similarly, when the generator is strictly quasiconcave, we rewrite the quasiconvex difference distance as
(21)  
(22) 
2.3 Quasiconvex difference distances: The viewpoint of comparative convexity
In [29], a generalization of the skewed Jensen divergences with respect to comparative convexity [25] is obtained using a pair of weighted means. A mean between two reals and belonging to an interval is a bivariate function such that
(23) 
That is, a mean satisfies the inbetweeness property (see [25], p. 328). A weighted mean for can always be built from a mean by using the dyadic expansion of real numbers, see [25].
Consider two weighted means and .
A function is said convex iff:
(24) 
We recover the ordinary convexity when , where is the weighted arithmetic mean.
We can define the skewed Jensen divergence as:
(25) 
By definition, when is a strictly convex function.
A quasiarithmetic mean [25] is defined for a continuous strictly increasing function as:
(26) 
These quasiarithmetic means are also called KolmogorovNagumode Finetti means [21, 24, 13]. Without loss of generality, we assume strictly increasing functions instead of monotonic functions since . By choosing , or , we recover the Pythagorean arithmetic, geometric, and harmonic means, respectively.
Now, consider the family of power means for :
(27) 
These means fall in the class of quasiarithmetic means obtained for for with , and include in the limit cases the maximum and minimum values: and .
The power mean Jensen divergence [29] is defined as a special case of the Jensen divergence by:
(28) 
for a strictly convex generator .
Let us now observe that the quasiconvex difference distance is a limit case of power mean Jensen divergences:
Property 5 ( as a limit case of power mean Jensen divergences)
We have
(29) 
Notice that a strictly quasiconvex function is interpreted as a strictly convex function in comparative convexity, a limit case of convexity. From now on, we term the quasiconvex difference distance the quasiconvex Jensen divergence.
3 Bregman divergences for quasiconvex generators
3.1 Quasiconvex Bregman divergences as limit cases of quasiconvex Jensen divergences
Recall that for a strictly quasiconvex generator , define the skewed quasiconvex distance for as
(30) 
We have
(31) 
with equality if and only if . Notice that we do not require smoothness [19] of , and is symmetric. For an asymmetric divergence , denote the reverse divergence.
By analogy to Bregman divergences [5] being interpreted as limit cases of scaled and skewed Jensen divergences [37, 26]:
(32)  
(33) 
Let us define the following divergence:
Definition 3 (Quasiconvex Bregman pseudodivergence)
For a strictly quasiconvex generator , we define the quasiconvex Bregman pseudodivergence as
(34) 
As it will be shown below, we get only a pseudodivergence in the limit case.
Theorem 1 (Formula for the quasiconvex Bregman pseudodivergence)
For a strictly quasiconvex and differentiable generator , the quasiconvex Bregman pseudodivergence is
(35) 

By definition, we have
Applying a firstorder Taylor expansion to , we get
(36) Thus we have
(37) Consider the following two cases:

Case : That is, . Then it follows that
(38) (39) 
Case : That is, . Then we have
We have that is finite and different from when , and therefore .
Let us now prove the axiom of nonnegativity and disprove the law of the indiscernibles at inflection points for the quasiconvex Bregman pseudodivergences.

Law of the indiscernibles: Clearly, for all . So consider , and for . It is enough to consider the 1D case, by considering the divergence restricted to the line passing through and intersected by the domain . We may have countably many inflection points for which . At those inflection points, we may find such that . Thus the quasiconvex Bregman divergence does not satisfy the law of the indiscernibles. Figure 2 displays an example of such a quasiconvex function with a few inflection points.
For example, consider the strictly quasiconvex generator , with and . We have:
(40) Defining the corresponding quasiconvex Bregman divergence by taking the limit of scaled quasiconvex Jensen divergence yields
(41) Thus the quasiconvex Bregman divergence is only a pseudodivergence at countably many inflection points. Section 3.2 will overcome this problem by introducing the averaged quasiconvex Bregman divergence.

Nonnegativity follows from a classic theorem of quasiconvex analysis which reports a firstorder condition for a function to be quasiconvex^{4}^{4}4By analogy to a classic secondorder condition for a strictly convex and differentiable function to be convex: To have its Hessian positivedefinite (Alexandrov’s theorem). Similarly, the firstorder condition for convexity of a function states that a differentiable function with convex domain is convex iff. from which we recover the Bregman divergence: . : A function is quasiconvex iff. the following property holds (see Theorem 21.14 of [35] and §3.4.3 of [8]):
(42) That is equivalent to or .
Notice that when is strictly convex and differentiable, then the property also follows from the nonnegativity of the corresponding Bregman divergence and :
(43) (44)

Notice that when . Figure 3 illustrates the quasiconvex Bregman divergence for a strictly quasiconvex generator which is strictly concave and has no inflection point.
An interesting property is that if for then necessarily , and viceversa (when both parameters are not at inflection points). The forward and reverse quasiconvex Bregman pseudodivergences are both finite only when and then we have or when one parameter is an inflection point.
Moreover, we have the following decomposition for a quasiconvex function :
(45) 
when , where stands for the extended Bregman divergence, i.e., the Bregman divergence extended to a quasiconvex generator.
Remark 2 (Separability/nonseparability of generators and divergences)
When the dimensional generator is separable, i.e., where and the ’s are differentiable and quasiconvex univariate functions, the quasiconvex Bregman divergence rewrites as
(46) 
Notice that the condition for the quasiconvex Bregman divergence to be infinite is , and not that there exists one index such that . Thus, we have . This is to contrast with Bregman divergences for which the separability of the generator yields the separability of the divergence: .
3.2 The averaged quasiconvex Bregman divergence
We shall overcome the problem of indiscernability for quasiconvex Bregman pseudodivergences:
(47) 
Since the number of inflection points is at most countable for a strictly quasiconvex generator , the function can only be identically zero on a set of null measure. We propose to integrate over a neighborhood of the parameters to obtain a strictly positive divergence when .
Given a prescribed parameter , we introduce the averaged quasiconvex Bregman divergence via the following definition:
(48) 
Choosing to be a strictly positive multiple of ensures that this integral is always finite since for , where denotes the interval with endpoints and .
We now prove this claim. For all , we have so that
Similarly, or . In the first case, if we have
In the second case, , and we obtain
proving the claim.
By construction, this averaged quasiconvex Bregman divergence now satisfies the law of the indiscernables.
When is differentiable, we obtain:
(49) 
We note that the rhs. of (49) can also serve as the definition of the divergences, even when the strictly quasiconvex function is not differentiable. This motivates us to introduce the next definition, where we now denote by the positive ratio between and of the preceding section.
Definition 4 (averaged quasiconvex Bregman divergence)
For a prescribed and a strictly quasiconvex generator not necessarily differentiable, the averaged quasiconvex Bregman divergence is defined by
(50) 
Let us report some examples of averaged quasiconvex Bregman divergences:

.
when , or otherwise.

.
when , or otherwise.

.
when , or otherwise. At the inflection point , we now have
3.3 Quasiconvex Bregman divergences as limit cases of power mean Bregman divergences
For sake of simplicity, consider scalar divergences below. In [29], the Bregman divergence is defined as the limit case:
(51) 
In particular, the univariate power mean Bregman divergences are obtained by taking the power means, yielding the following formula:
(52) 
Let and . Then we get the subfamily of power Bregman divergences:
(53)  
(54) 
In Eq. 54, when then we have since diverges. Otherwise since (because ).
When , the power mean operator tends to the maximum operator: , and the Bregman divergence tends to the quasiconvex Bregman pseudodivergence.
3.4 Some illustrating examples of quasiconvex Bregman divergences
We concisely report two univariate quasiconvex scalar Bregman divergences:

For with , we have