I Introduction
Mixture densities appear in various problems of the estimation theory. The existing solutions for these problems often require efficient strategies to reduce the number of components in the mixture representation because of computational limits. For example, time series problems can involve an ever increasing number of components in a mixture over time. The Gaussian sum filter
[1] for nonlinear state estimation; MultiHypotheses Tracking (MHT) [2]and Gaussian Mixture Probability Hypothesis Density (GMPHD) filter
[3] for multiple target tracking can be listed as examples of the algorithms which require mixture reduction (abbreviated as MR in the sequel) in their implementation.Several methods were proposed in the literature addressing the MR problem. In [4] and [5], the components of the mixture were successively merged in pairs for minimizing a cost function. A Gaussian MR algorithm using homotopy to avoid local minima was suggested in [6]. Merging statistics for greedy MR for multiple target tracking was discussed in [7]. A Gaussian MR algorithm using clustering techniques was proposed in [8]. In [9], Crouse et al. presented a survey of the Gaussian MR algorithms such as West’s algorithm [10], constraint optimized weight adaptation [11], Runnalls’ algorithm [12] and Gaussian mixture reduction via clustering [8] and compared them in detail.
Williams and Maybeck [13] proposed using the Integral Square Error (ISE) approach for MR in the multiple hypothesis tracking context. One distinctive feature of the method is the availability of exact analytical expressions for evaluating the cost function between two Gaussian mixtures. Whereas, Runnalls proposed using an upper bound on the KullbackLeibler divergence (KLD) as a distance measure between the original mixture density and its reduced form at each step of the reduction in [12]. The motivation for the choice of an upper bound in Runnalls’ algorithm is based on the premise that the KLD between two Gaussian mixtures can not be calculated analytically. Runnalls’ approach is dedicated to minimize the KLD from the original mixture to the approximate one, which we refer to here as the ForwardKLD (FKLD). This choice of the cost function results in an algorithm, which reduces the number of components only by merging them at each reduction step.
In this paper, we propose a KLD based MR algorithm. Our aim is to find an efficient method for minimizing the KLD from the approximate mixture to the original one, which we refer to as the ReverseKLD (RKLD). The resulting algorithm has the ability to choose between pruning or merging components at each step of the reduction unlike Runnalls’ algorithm. This enables, for example, the possibility to prune lowweight components while keeping the heavyweight components unaltered. Furthermore, we present approximations which are required to overcome the analytical intractability of the RKLD between Gaussian mixtures making the implementation fast and efficient.
The rest of this paper is organized as follows. In Section II we present the necessary background required for the MR problem we intend to solve in this paper. Two of the most relevant works and their strengths and weaknesses are described in Section III. The proposed solution and its strengths are presented in Section IV. Approximations for the fast computation of the proposed divergence are given in Section V. The proposed MR algorithm using the approximations is evaluated and compared to the alternatives on two numerical examples in Section VI. The paper is concluded in Section VII.
Ii Background
A mixture density is a convex combination of (more basic) probability densities, see e.g. [14]. A normalized mixture with components is defined as
(1) 
where the terms are positive weights summing up to unity, and are the parameters of the component density .
The mixture reduction problem
(MRP) is to find an approximation of the original mixture using fewer components. Ideally, the MRP is formulated as a nonlinear optimization problem where a cost function measuring the distance between the original and the approximate mixture is minimized. The optimization problem is solved by numerical solvers when the problem is not analytically tractable. The numerical optimization based approaches can be computationally quite expensive, in particular for high dimensional data, and they generally suffer from the problem of local optima
[9, 6, 13]. Hence, a common alternative solution has been the greedy iterative approach.In the greedy approach, the number of components in the mixture is reduced one at a time. By applying the same procedure over and over again, a desired number of components is reached. To reduce the number of components by one, a decision has to be made among two types of operations; namely, the pruning and the merging operations. Each of these operations are considered to be a hypothesis in a greedy MRP and is denoted as , , , .
Ii1 Pruning
Pruning is the simplest operation for reducing the number of components in a mixture density. It is denoted with the hypothesis , in the sequel. In pruning, one component of the mixture is removed and the weights of the remaining components are rescaled such that the mixture integrates to unity. For example, choosing the hypothesis , i.e., pruning component from (1), results in the reduced mixture
(2) 
Ii2 Merging
The merging operation approximates a pair of components in a mixture density with a single component of the same type. It is denoted with the hypothesis ,
in the sequel. In general, an optimization problem minimizing a divergence between the normalized pair of the mixture and the single component is used for this purpose. Choosing the FKLD as the the cost function for merging two components, leads to a moment matching operation. More specifically, if the hypothesis
is selected, i.e., if the components and are chosen to be merged, the parameters of the merged component are found by minimizing the divergence from the kernel to a single weighted component as follows:where, , and denotes the KLD from to which is defined as
(3) 
The minimization of the above cost function usually results in the single component whose several moments are matched to those of the two component mixture. The reduced mixture after merging is then given as
(4) 
There are two different types of greedy approaches in the literature, namely, local and global approaches. The local approaches consider only the merging hypotheses , . In general, the merging hypothesis which provides the smallest divergence is selected. This divergence considers only the components to be merged and neglects the others. Therefore these methods are called local. Wellknown examples of local approaches are given in [15, 16].
In the global approaches, both pruning and merging operations are considered. The divergence between the original and the reduced mixtures, i.e., is minimized in the decision. Because the decision criterion for a global approach involves all of the components of the original mixture, global approaches are in general computationally more costly. On the other hand, since the global properties of the original mixture are taken into account, they provide better performance. In the following, we propose a global greedy MR method that can be implemented efficiently.
Iii Related work
In this section, we give an overview and a discussion for two wellknown global MR algorithms related to the current work.
Iiia Runnalls’ Method
Runnalls’ method [12] is a global greedy MR algorithm that minimizes the FKLD (i.e., ). Unfortunately, the KLD between two Gaussian mixtures can not be calculated analytically. Runnalls uses an analytical upperbound for the KLD which can only be used for comparing merging hypotheses. The upper bound for , which is given as
(5) 
is used as the cost of merging the components and where is the merged component density. Hence, the original global decision statistics for merging is replaced with its local approximation to obtain the decision rule as follows:
(6) 
IiiB Williams’ Method
Williams and Maybeck proposed a global greedy MRA in [13]
where ISE is used as the cost function. ISE between two probability distributions
and is defined by(7) 
ISE has all properties of a metric such as symmetry and triangle inequality and is analytically tractable for Gaussian mixtures. Williams’ method minimizes over all pruning and merging hypotheses, i.e.,
(8) 
IiiC Discussion
In this subsection, first we illustrate the behavior of Runnalls’ and Willams’ methods on a very simple MR example. Second, we provide a brief discussion on the characteristics observed in the examples along with their implications.
Example 1.
Consider the Gaussian mixture with two components given below.
(9) 
where and . We would like to reduce the mixture to a single component and hence we consider the two pruning hypotheses , and the merging hypothesis . The reduced mixtures under these hypotheses are given as
(10a)  
(10b)  
(10c) 
where and are computed via moment matching as
(11a)  
(11b) 
Noting that the optimization problem
(12) 
has the solution and , we see that the density is the best reduced mixture with respect to FKLD. Similarly, Runnalls’ method would select as the best mixture reduction hypothesis because it considers only the merging hypotheses.
Example 2.
We consider the same MR problem in Example 1 with the Williams’ method. The ISE between the original mixture and the reduced mixture can be written as
(13) 
where the sign means equality up to an additive constant independent of . Letting , we can calculate using (13) as
(14) 
Hence, for the hypotheses listed in (10), we have
(15)  
(16)  
(17)  
(18)  
(19)  
(20) 
Restricting ourselves to the case where and is very large, we can see that
(21)  
(22)  
(23) 
For sufficiently large values, it is now easily seen that
(24) 
Hence, under the aforementioned conditions, the merging hypothesis is selected by Williams’ method.
As basically illustrated in Example 1, FKLD has a tendency towards the merging operation no matter how separated the components of the original mixture are. Similarly Runnalls’ method considers only the merging operations ruling out the pruning hypotheses from the start. The significant preference towards the merging operation tends to produce reduced mixtures which may have significant support over the regions where the original mixture have negligible probability mass. This is called as the zeroavoiding behavior of the KLD in the literature [14, p. 470]. Such a tendency may be preferable in some applications such as minimum mean square error (MMSE) based estimation. On the other hand, it may also lead to a loss of the important details of the original mixture, e.g., the mode, which might be less desirable in applications such as maximum a posteriori (MAP) estimation. In such applications, having the pruning operation as a preferable alternative might preserve significant information while at the same time keeping a reasonable level of overlap between the supports of the original and the reduced mixtures.
Example 2 illustrated that a similar tendency toward merging (when the components are far from each other) can appear in the case of Williams’ method for some specific cases (weights being equal). It must be mentioned here that, in Example 2, if the weights of components were not the same, Williams’ method would select to prune the component with the smaller weight. Therefore, the tendency toward merging (when the components are far from each other) is significantly less in Williams’ method than in FKLD and Runnalls’ method. It is also important to mention that, in some target tracking algorithms such as MHT and GMPHD filters, mixtures with some components with identical weights are commonly encountered.
Williams’ method, being a global greedy approach to MR, is computationally quite expensive for mixture densities with many components. The computational burden results from the following facts. Reducing a mixture with components to a mixture with components involves hypotheses. Since computational load of calculating the ISE between mixtures of and components is , reducing a mixture with components to a mixture with components has the computation complexity with Williams’ method. On the other hand, using the upper bound (5), Runnalls’ method avoids the computations associated with the components which are not directly involved in the merging operation resulting in just computations for the same reduction. Another disadvantage of Williams’ method is that the ISE does not scale up with the dimension nicely, as pointed out in an example in [12].
Iv Proposed Method
We here propose a greedy global MR algorithm based on KLD which can give credit to pruning operations and avoid merging (unlike Runnalls’ method) when components of the mixture are far away from each other. The MR method we propose minimizes the KLD from the reduced mixture to the original mixture, i.e., RKLD. Hence we solve the following optimization problem.
(25) 
By using the RKLD as the cost function, we aim to enable pruning and avoid the ever merging behavior of Runnalls’ method unless it is found necessary. We illustrate the characteristics of this cost function in MR with the following examples.
Example 3.
We consider the same MR problem in Example 1 and 2 when is very small. When is sufficiently close to zero, we can express using a secondorder Taylor series approximation around as follows:
(26) 
where
(27) 
This is because, when , both and are equal to and therefore . Since is minimized at , the first derivative of also vanishes at . The second derivative term is given by tedious but straightforward calculations as
(28) 
Using the identity
(29) 
we can now calculate , and as
(30a)  
(30b)  
(30c) 
Hence, when is sufficiently small, the RKLD cost function results in the selection of merging operation similar to FKLD and Runnalls’ method.
Example 4.
We consider the same MR problem in Example 1 and 2 when is very large. In the following, we calculate the RKLDs for the hypotheses given in (10).

and : We can write the RKLD for as
(31) where the notation denotes the expectation operation on the argument with respect to the density function and denotes the entropy of the argument density. Under the assumption that is very large, we can approximate the expectation as
(32) (33) (34) where we used the fact that over the effective integration range (around the mean ), we have
(35) Substituting this result and the entropy^{1}^{1}1Entropy of a Gaussian density is equal to . of into (31) along with, we obtain
(36) Using similar arguments, we can easily obtain
(37) Noting that the logarithm function is monotonic, we can also see that the approximations given on the right hand sides of the above equations are upper bounds for the corresponding RKLDs.

: We now calculate a lower bound on and show that this lower bound is greater than both and when is sufficiently large.
(38) We consider the following facts
(39a) (39b) Using the identities in (39) we can obtain a bound on the expectation as
(40) (41) (42) (43) (44) (45) (46) where we have used the result
(47) Here, the functions and
denote the probability density function and cumulative distribution function of a Gaussian random variable with zero mean and unity variance, respectively. Substituting the upper bound (
46) into (38), we obtain(48) (49) for sufficiently large values where we used the definitions of , and the fact that when tends to infinity, we have
(50) The coefficient in (49) is defined as
(51)
When tends to infinity, the dominating term on the right hand side of (49) becomes the last term. By generating a simple plot, we can see that the function is positive for , which makes the right hand side of (49) go to infinity as tends to infinity. Consequently, the cost of the merging operation exceeds both of the pruning hypotheses for sufficiently large values. Therefore, the component having the minimum weight is pruned when the components are sufficiently separated.
As illustrated in Example 4, when the components of the mixture are far away from each other, RKLD refrains from merging them. This property of RKLD is known as zeroforcing in the literature [14, p. 470].
The RKLD between two Gaussian mixtures is analytically intractable except for trivial cases. Therefore, to be able to use RKLD in MR, approximations are necessary just as in the case of FKLD with Runnalls’ method. We propose such approximations of RKLD for the pruning and merging operations in the following section.
V Approximations for RKLD
In sections VA and VB, specifically tailored approximations for the cost functions of pruning and merging hypotheses are derived respectively. Before proceeding further, we would like to introduce a lemma which is used in the derivations.
Lemma 1.
Let , , and be three probability distributions and and two positive real numbers. The following inequality holds
(52) 
Proof.
For the proof see Appendix A. ∎
Va Approximations for pruning hypotheses
Consider the mixture density defined as
(53) 
where . Suppose we reduce the mixture in (53) by pruning the th component as follows.
(54) 
An upper bound can be obtained using the fact that the logarithm function is monotonically increasing as
(55) 
This upper bound is rather crude when the th component density is close to other component densities in the mixture. Therefore we compute a tighter bound on using the logsum inequality [17]. Before we derive the upper bound, we first define the following unnormalized density
(56) 
where and .
We can rewrite the RKLD between and as
(57) 
Using the logsum inequality we can obtain the following expression.
(58) 
Applying the result of Lemma 1 on the integral, we can write
(59) 
Since is arbitrary, as long as , we obtain the upper bound given below.
(60) 
The proposed approximate divergence for pruning component will be denoted by , where in the rest of this paper. In the following, we illustrate the advantage of the proposed approximation in a numerical example.
Example 5.
Consider Example 1 with the mixture (9) and the hypothesis (10b). In Figure 1 the exact divergence , which is computed numerically, its crude approximation given in (55) and the proposed approximation are shown for different values of with . Both the exact divergence and the upper bound converge to when the pruned component has small overlapping probability mass with the other component. The bound brings a significant improvement over the crude bound when the amount of overlap between the components increases.
VB Approximations for merging hypotheses
Consider the problem of merging the th and the th components of the mixture density (53) where the resulting approximate density is given as follows.
(61) 
We are interested in the RKLD between and . Two approximations of this quantity with different accuracy and computational cost are given in sections VB1 and VB2.