Ward's method

Short description: Criterion applied in hierarchical cluster analysis

In statistics, Ward's method is a criterion applied in hierarchical cluster analysis. Ward's minimum variance method is a special case of the objective function approach originally presented by Joe H. Ward, Jr. Ward suggested a general agglomerative hierarchical clustering procedure, where the criterion for choosing the pair of clusters to merge at each step is based on the optimal value of an objective function. This objective function could be "any function that reflects the investigator's purpose." Many of the standard clustering procedures are contained in this very general class. To illustrate the procedure, Ward used the example where the objective function is the error sum of squares, and this example is known as Ward's method or more precisely Ward's minimum variance method.

The nearest-neighbor chain algorithm can be used to find the same clustering defined by Ward's method, in time proportional to the size of the input distance matrix and space linear in the number of points being clustered.

The minimum variance criterion

Ward's minimum variance criterion minimizes the total within-cluster variance. To implement this method, at each step find the pair of clusters that leads to minimum increase in total within-cluster variance after merging. This increase is a weighted squared distance between cluster centers. At the initial step, all clusters are singletons (clusters containing a single point). To apply a recursive algorithm under this objective function, the initial distance between individual objects must be (proportional to) squared Euclidean distance.

The initial cluster distances in Ward's minimum variance method are therefore defined to be the squared Euclidean distance between points:

[math]\displaystyle{ d_{ij}=d(\{X_i\}, \{X_j\}) = { \|X_i - X_j\|^2}. }[/math]

Note: In software that implements Ward's method, it is important to check whether the function arguments should specify Euclidean distances or squared Euclidean distances.

Lance–Williams algorithms

Ward's minimum variance method can be defined and implemented recursively by a Lance–Williams algorithm. The Lance–Williams algorithms are an infinite family of agglomerative hierarchical clustering algorithms which are represented by a recursive formula for updating cluster distances at each step (each time a pair of clusters is merged). At each step, it is necessary to optimize the objective function (find the optimal pair of clusters to merge). The recursive formula simplifies finding the optimal pair.

Suppose that clusters [math]\displaystyle{ C_i }[/math] and [math]\displaystyle{ C_j }[/math] were next to be merged. At this point all of the current pairwise cluster distances are known. The recursive formula gives the updated cluster distances following the pending merge of clusters [math]\displaystyle{ C_i }[/math] and [math]\displaystyle{ C_j }[/math]. Let

• [math]\displaystyle{ d_{ij} }[/math], [math]\displaystyle{ d_{ik} }[/math], and [math]\displaystyle{ d_{jk} }[/math] be the pairwise distances between clusters [math]\displaystyle{ C_i }[/math], [math]\displaystyle{ C_j }[/math], and [math]\displaystyle{ C_k }[/math], respectively,
• [math]\displaystyle{ d_{(ij)k} }[/math] be the distance between the new cluster [math]\displaystyle{ C_i \cup C_j }[/math] and [math]\displaystyle{ C_k }[/math].

An algorithm belongs to the Lance-Williams family if the updated cluster distance [math]\displaystyle{ d_{(ij)k} }[/math] can be computed recursively by

[math]\displaystyle{ d_{(ij)k} = \alpha_i d_{ik} + \alpha_j d_{jk} + \beta d_{ij} + \gamma |d_{ik} - d_{jk}|, }[/math]

where [math]\displaystyle{ \alpha_i, \alpha_j, \beta, }[/math] and [math]\displaystyle{ \gamma }[/math] are parameters, which may depend on cluster sizes, that together with the cluster distance function [math]\displaystyle{ d_{ij} }[/math] determine the clustering algorithm. Several standard clustering algorithms such as single linkage, complete linkage, and group average method have a recursive formula of the above type. A table of parameters for standard methods is given by several authors.

Ward's minimum variance method can be implemented by the Lance–Williams formula. For disjoint clusters [math]\displaystyle{ C_i, C_j, }[/math] and [math]\displaystyle{ C_k }[/math] with sizes [math]\displaystyle{ n_i, n_j, }[/math] and [math]\displaystyle{ n_k }[/math] respectively:

[math]\displaystyle{ d(C_i \cup C_j, C_k) = \frac{n_i+n_k}{n_i+n_j+n_k}\;d(C_i,C_k) + \frac{n_j+n_k}{n_i+n_j+n_k}\;d(C_j,C_k) - \frac{n_k}{n_i+n_j+n_k}\;d(C_i,C_j). }[/math]

Hence Ward's method can be implemented as a Lance–Williams algorithm with

[math]\displaystyle{ \alpha_i = \frac{n_i+n_k}{n_i+n_j+n_k}, \qquad \alpha_j = \frac{n_j+n_k}{n_i+n_j+n_k}, \qquad \beta =\frac{-n_k}{n_i+n_j+n_k}, \qquad \gamma = 0. }[/math]

Variations

The popularity of the Ward's method has led to variations of it. For instance, Ward_p introduces the use of cluster specific feature weights, following the intuitive idea that features could have different degrees of relevance at different clusters.

Further reading

• Everitt, B. S., Landau, S. and Leese, M. (2001), Cluster Analysis, 4th Edition, Oxford University Press, Inc., New York; Arnold, London. ISBN:0340761199
• Hartigan, J. A. (1975), Clustering Algorithms, New York: Wiley.
• Jain, A. K. and Dubes, R. C. (1988), Algorithms for Clustering Data, New Jersey: Prentice–Hall.
• Kaufman, L. and Rousseeuw, P. J. (1990), Finding Groups in Data: An Introduction to Cluster Analysis, New York: Wiley.