G03 Chapter Introduction : NAG Library, Mark 29

This chapter is concerned with methods for studying multivariate data. A multivariate dataset consists of several variables recorded on a number of objects or individuals. Multivariate methods can be classified as those that seek to examine the relationships between the variables (e.g., principal components), known as variable-directed methods, and those that seek to examine the relationships between the objects (e.g., cluster analysis), known as individual-directed methods.

Multiple regression is not included in this chapter as it involves the relationship of a single variable, known as the response variable, to the other variables in the dataset, the explanatory variables. Routines for multiple regression are provided in Chapter G02.

2 Background to the Problems

2.1 Variable-directed Methods

Let the

n \times p

data matrix consist of

p

variables,

x_{1}, x_{2}, \dots, x_{p}

, observed on

n

objects or individuals. Variable-directed methods seek to examine the linear relationships between the

p

variables with the aim of reducing the dimensionality of the problem. There are different methods depending on the structure of the problem. Principal component analysis and factor analysis examine the relationships between all the variables. If the individuals are classified into groups, then canonical variate analysis examines the between group structure. If the variables can be considered as coming from two sets, then canonical correlation analysis examines the relationships between the two sets of variables. All four methods are based on an eigenvalue decomposition or a singular value decomposition (SVD) of an appropriate matrix.

The above methods may reduce the dimensionality of the data from the original

p

variables to a smaller number,

k

, of derived variables that adequately represent the data. In general, these

k

derived variables will be unique only up to an orthogonal rotation. Therefore, it may be useful to see if there exists suitable rotations of these variables that lead to a simple interpretation of the new variables in terms of the original variables.

2.1.1 Principal component analysis

Principal component analysis finds new variables which are linear combinations of the

p

observed variables so that they have maximum variation and are orthogonal (uncorrelated).

Let

S

be the

p \times p

variance-covariance matrix of the

n \times p

data matrix. A vector

a_{1}

of length

p

is found such that

a_{1}^{T} S a_{1} ​ is maximized subject to ​ a_{1}^{T} a_{1} = 1 .

The variable

z_{1} = \sum_{i = 1}^{p} a_{1 i} x_{i}

is known as the first principal component and gives the linear combination of the variables that gives the maximum variation. A second principal component,

z_{2} = \sum_{i = 1}^{p} a_{2 i} x_{i}

, is found such that

a_{2}^{T} S a_{2} ​ is maximized subject to ​ a_{2}^{T} a_{2} = 1 ​ and ​ a_{2}^{T} a_{1} = 0 .

This gives the linear combination of variables, orthogonal to the first principal component, that gives the maximum variation. Further principal components are derived in a similar way.

The vectors

a_{i}

, for

i = 1, 2, \dots, p

, are the eigenvectors of the matrix

S

and associated with each eigenvector is the eigenvalue,

γ_{i}^{2}

. The value of

γ_{i}^{2} / \sum γ_{i}^{2}

gives the proportion of variation explained by the

i

th principal component. Alternatively, the

a_{i}

can be considered as the right singular vectors in a SVD of a scaled mean-centred data matrix. The singular values of the SVD are the

γ_{i}

-values.

Often fewer than

p

dimensions (principal components) are needed to represent most of the variation in the data. A test on the smaller eigenvalues can be used to investigate the number of dimensions needed.

The values of the principal component variables for the individuals are known as the principal component scores. These can be standardized so that the variance of these scores for each principal component is

1.0

or equal to the corresponding eigenvalue. The principal component scores correspond to the left-hand singular vectors in the SVD.

2.1.2 Factor analysis

Let the

p

variables have variance-covariance matrix

Σ

. The aim of factor analysis is to account for the covariances in these

p

variables in terms of a smaller number,

k

, of hypothetical variables or factors,

f_{1}, f_{2}, \dots, f_{k}

. These are assumed to be independent and to have unit variance. The relationship between the observed variables and the factors is given by the model

x_{i} = \sum_{j = 1}^{k} λ_{i j} f_{j} + e_{i}, i = 1, 2, \dots, p

where

λ_{i j}

, for

i = 1, 2, \dots, p

and

j = 1, 2, \dots, k

, are the factor loadings and

e_{i}

, for

i = 1, 2, \dots, p

, are independent random variables with variances

ψ_{i}

. These represent the unique component of the variation of each observed variable. The proportion of variation for each variable accounted for by the factors is known as the communality.

The model for the variance-covariance matrix,

Σ

, can then be written as

Σ = Λ Λ^{T} + Ψ,

where

Λ

is the matrix of the factor loadings,

λ_{i j}

, and

Ψ

is a diagonal matrix of the unique variances

ψ_{i}

If it is assumed that both the

k

factors and the

e_{i}

follow independent Normal distributions then the parameters of the model,

Λ

and

Ψ

, can be estimated by maximum likelihood, as described by Lawley and Maxwell (1971). The computation of the maximum likelihood estimates is an iterative procedure which involves computing the eigenvalues and eigenvectors of the matrix

S^{*} = Ψ^{- 1 / 2} S Ψ^{- 1 / 2},

where

S

is the sample variance-covariance matrix. Alternatively, the SVD of the matrix

R Ψ^{- 1 / 2}

can be used, where

R^{T} R = S

. When convergence has been achieved, the estimates

\hat{Λ}

, of

Λ

, are obtained by scaling the eigenvectors of

S^{*}

. The use of maximum likelihood estimation means that likelihood ratio tests can be constructed to test for the number of factors required.

Having found the estimates of the parameters of the model, the estimates of the values of the factors for the individuals, the factor scores, can be computed. These involve the calculation of the factor score coefficients. Two common methods of computing factor score coefficients are the regression method and Bartlett's method. Bartlett's method gives unbiased estimates of the factor scores while the estimates from the regression method are biased but have smaller variance; see Lawley and Maxwell (1971).

2.1.3 Canonical variate analysis

If the individuals can be classified into one of

g

groups, then canonical variate analysis finds the linear combinations of the

p

variables that maximize the ratio of the between-group variation to the within-group variation. These variables are known as canonical variates. As the canonical variates provide discrimination between the groups, the method is also known as canonical discrimination.

The canonical variates can be calculated from the eigenvectors of the within-group sums of squares and cross-products matrix or from the SVD of the matrix

V = Q_{x}^{T} Q_{g},

where

Q_{g}

is an orthogonal matrix that defines the groups and

Q_{x}

is the first

p

columns of the orthogonal matrix

Q

from the

Q R

decomposition of the data matrix with the variable means subtracted. If the data matrix is not of full rank, the

Q_{x}

matrix can be obtained from a SVD. If the SVD of

V

V = U_{x} Δ U_{g}^{T},

then the nonzero elements (

δ_{i} > 0

) of the diagonal matrix

Δ

are the canonical correlations. The largest

δ_{i}

is called the first canonical correlation and associated with it is the first canonical variate.

The eigenvalues,

γ_{i}^{2}

, of the within-group sums of squares matrix are given by

γ_{i}^{2} = \frac{δ_{i}^{2}}{1 - δ_{i}^{2}} .

The value of

π_{i} = γ_{i}^{2} / \sum γ_{i}^{2}

gives the proportion of variation explained by the

i

th canonical variate. The values of the

π_{i}

give an indication as to how many canonical variates are needed to adequately describe the data, i.e., the dimensionality of the problem. The number of dimensions can be investigated by means of a test on the smaller canonical correlations.

The canonical variate loadings and the relationship between the original variables and the canonical variates are calculated from the matrix

U_{x}

. This matrix is scaled so that the canonical variates have unit variance.

2.1.4 Canonical correlation analysis

If the

p

variables can be considered as coming from two sets then canonical correlation analysis finds linear combinations of the variables in each set, known as canonical variates, such that the correlations between corresponding canonical variates for the two sets are maximized. Let the two sets of variables be denoted by

x

and

y

, with

p_{x}

and

p_{y}

variables in each set respectively. Let the variance-covariance of the dataset be

S = [\begin{array}{l} S_{x x} & S_{x y} \\ S_{y x} & S_{y y} \end{array}]

and let

Σ = S_{y y}^{−1} S_{y x} S_{x x}^{−1} S_{x y},

then the canonical correlations can be calculated from the eigenvalues of the matrix

Σ

. Alternatively, the canonical correlations can be calculated by means of a SVD of the matrix

V = Q_{x}^{T} Q_{y},

where

Q_{x}

is the first

p_{x}

columns of the orthogonal matrix

Q

from the

Q R

decomposition of the

x

-variables in the data matrix, and

Q_{y}

is the first

p_{y}

columns of the

Q

matrix of the

Q R

decomposition of the

y

-variables in the data matrix. In both cases, the variable means are subtracted before the

Q R

decomposition is computed. If either set of variables is not of full rank, an SVD can be used instead of the

Q R

decomposition. If the SVD of

V

V = U_{x} Δ U_{y}^{T},

then the nonzero elements (

δ_{i} > 0

) of the diagonal matrix

Δ

are the canonical correlations. The largest

δ_{i}

is called the first canonical correlation and associated with it is the first canonical variate. The eigenvalues,

γ_{i}^{2}

, of the matrix

Σ

are given by

γ_{i}^{2} = \frac{δ_{i}^{2}}{1 + δ_{i}^{2}} .

The value of

π_{i} = γ_{i}^{2} / \sum γ_{i}^{2}

gives the proportion of variation explained by the

i

th canonical variate. The values of the

π_{i}

give an indication as to how many canonical variates are needed to adequately describe the data, i.e., the dimensionality of the problem; this can also be investigated by means of a test on the smaller values of the

γ_{i}^{2}

The relationship between the canonical variables and the original variables, the canonical variate loadings, can be computed from the

U_{x}

and

U_{y}

matrices.

2.1.5 Rotations

There are two principal reasons for using rotations: either

(a)simplifying the structure to aid interpretation of derived variables, or
(b)comparing two or more datasets or sets of derived variables.

The most common type of rotations used for (a) are orthogonal rotations. If

Λ

is the

p \times k

loading matrix from a variable-directed multivariate method, then the rotations are selected such that the elements,

λ_{i j}^{*}

, of the rotated loading matrix,

Λ^{*}

, are either relatively large or small. The rotations may be found by minimizing the criterion

V = \sum_{j = 1}^{k} \sum_{i = 1}^{p} {(λ_{i j}^{*})}^{4} - \frac{γ}{p} \sum_{j = 1}^{k} {(\sum_{i = 1}^{p} {(λ_{i j}^{*})}^{2})}^{2}

where the constant,

γ

, gives a family of rotations, with

γ = 1

giving varimax rotations and

γ = 0

giving quartimax rotations.

Given an orthogonal rotation matrix

X

, a solution may be further simplified by removing the orthogonality restriction with an oblique ProMax rotation. Let

Y

denote the matrix defined by a power transformation of

X

, designed to increase high values in

X

and decrease low values. Then the ProMax solution is based on a least squares fit of

X

Y

For (b) Procrustes rotations are used. Let

A

and

B

be two

l \times m

matrices, which can be considered as representing

l

points in

m

dimensions. One example is if

A

is the loading matrix from a variable-directed multivariate method and

B

is a hypothesised pattern matrix. In order to try to match the points in

A

and

B

there are three steps:

(i)translate so that centroids of both matrices are at the origin,
(ii)find a rotation that minimizes the sum of squared distances between corresponding points of the matrices,
(iii)scale the matrices.

For a more detailed description, see Krzanowski (1990).

2.2 Individual-directed Methods

While dealing with the same

n \times p

data matrix as variable-directed methods, the emphasis is the

n

objects or individuals rather than the

p

variables. The methods are generally based on an

n \times n

distance or dissimilarity matrix such that the (

k, j

)th element gives a measure of how ‘far apart’ the individuals

k

and

j

are. Alternatively, a similarity matrix can be used which measures how ‘close’ individuals are. The form of the measure of distance or similarity will depend upon the form of the

p

variables. For continuous variables it is usually assumed that some form of Euclidean distance is suitable. That is, for

x_{k i}

and

x_{j i}

measured for individuals

k

and

j

on variable

i

respectively, the contribution to distance between individuals

k

and

j

from variable

i

is given by

{(x_{k i} - x_{j i})}^{2} .

Often there will be a need to scale the variables to produce satisfactory distances. For discrete variables, there are various measures of similarity or distance that can easily be computed. For example, for binary data a measure of similarity could be

$1$ – if the individuals take the same value,
$0$ – otherwise.

Given a measure of distance between individuals, there are three basic tasks that can be performed.

(i)Group the individuals; that is, collect the individuals into groups so that those within a group are closer to each other than they are to members of another group.
(ii)Classify individuals; that is, if some individuals are known to come from certain groups, allocate individuals whose group membership is unknown, to the nearest group.
(iii)Map the individuals; that is, produce a multidimensional diagram in which the distances on the diagram represent the distances between the individuals.

In the above, (i) leads to cluster analysis, (ii) leads to discriminant analysis and (iii) leads to scaling methods.

2.2.1 Hierarchical cluster analysis

Approaches for cluster analysis can be classified into two types: hierarchical and non-hierarchical. Hierarchical cluster analysis produces a series of overlapping groups or clusters ranging from separate individuals to one single cluster. For example, five individuals could be hierarchically clustered as follows.

The clusters at a level are constructed from the clusters at a previous level. There are two basic approaches to hierarchical cluster analysis: agglomerative methods which build up clusters starting from individuals until there is only one cluster, or divisive methods which start with a single cluster and split clusters until the individual level is reached. This chapter contains the more common agglomerative methods.

The stages in a hierarchical cluster analysis are usually as follows.

(i)form a distance matrix;
(ii)use selected criterion to form hierarchy;
(iii)print cluster information in the form of a dendrogram or use information to form a set of clusters.

These three stages will be considered in turn.

2.2.2 Non-hierarchical clustering

Non-hierarchical cluster analysis usually forms a given number of clusters from the data. There is no requirement that if first

k - 1

and then

k

clusters were requested then the

k - 1

clusters would be formed from the

k

clusters.

Most non-hierarchical methods of cluster analysis seek to partition the set of individuals into a number of clusters so as to optimize a criterion. The number of clusters is usually specified prior to the analysis. One commonly used criterion is the within-cluster sum of squares. Given

n

individuals with

p

variables measured on each individual,

x_{i j}

, for

i = 1, 2, \dots, n

and

j = 1, 2, \dots, p

, the within-cluster sum of squares for

K

clusters is

{SS}_{c} = \sum_{k = 1}^{K} \sum_{i \in S_{k}}^{} \sum_{j = 1}^{p} {(x_{i j} - {\bar{x}}_{k j})}^{2},

where

S_{k}

is the set of objects in the

k

th cluster and

{\bar{x}}_{k j}

is the mean for the variable

j

over cluster

k

. Starting with an initial allocation of individuals to clusters, the method then seeks to minimize

{SS}_{c}

by a series of re-allocations. This is often known as

K

-means clustering.

In the

K

-means case individuals belong to a single cluster and are excluded from all remaining clusters. Alternatively, probabilities of cluster membership can be estimated and each cluster can have its own distributional properties. For example, given an initial set of probabilities, the Normal (Gaussian) mixture model uses the E–M method of Dempster et al. (1977) to maximize the sum of log-likelihoods over

K

clusters for a given covariance model ranging from pooled variance to individual covariance matrices.

2.2.3 Discriminant analysis

Discriminant analysis is concerned with the allocation of objects to

n_{g}

groups on the basis of observations on those objects using an allocation rule. This rule is computed from observations coming from a training set in which group membership is known. The allocation rule is based on the distance between the object and an estimate of the location of the groups. If

p

variables are observed and the vector of means for the

j

th group in the training set are

{\bar{x}}_{j}

then the usual measure of the distance of an observation,

x_{k}

, from the

j

th group mean is given by Mahalanobis squared distance

D_{k j}^{2} = {(x_{k} - {\bar{x}}_{j})}^{T} S_{*}^{−1} (x_{k} - {\bar{x}}_{j}),

where

S_{*}

is either the within-group variance-covariance matrix,

S_{j}

, for the

n_{j}

objects in the

j

th group, or a pooled variance-covariance matrix,

S

, computed from all

n

objects from all groups where

S = \frac{\sum_{j = 1}^{n_{g}} (n_{j} - 1) S_{j}}{(n - n_{g})} .

If the within-group variance-covariance matrices can be assumed to be equal then the pooled variance-covariance matrix can be used. This assumption can be tested using the test statistic

G = C ((n - n_{g}) \log | S | - \sum_{j = 1}^{n_{g}} (n_{j} - 1) \log | S_{j} |),

where

C = 1 - \frac{2 p^{2} + 3 p - 1}{6 (p + 1) (n_{g} - 1)} (\sum_{j = 1}^{n_{g}} \frac{1}{(n_{j} - 1)} - \frac{1}{(n - n_{g})}) .

For large

n

G

is approximately distributed as a

χ^{2}

variable with

\frac{1}{2} p (p + 1) (n_{g} - 1)

degrees of freedom; see Morrison (1967).

In addition to the distances, a set of prior probabilities of group membership,

π_{j}

, for

j = 1, 2, \dots, n_{g}

, may be used. The prior probabilities reflect your view as to the likelihood of the objects coming from the different groups.

It is generally assumed that the

p

variables follow a multivariate Normal distribution with, for the

j

th group, mean

μ_{j}

and variance-covariance matrix

Σ_{j}

. If

p (x_{k} ∣ μ_{j}, Σ_{j})

is the probability of observing the observation

x_{k}

from group

j

, then the posterior probability of belonging to group

j

p (j ∣ x_{k}, μ_{j}, Σ_{j}) \propto p (x_{k} ∣ μ_{j}, Σ_{j}) π_{j} .

An observation is allocated to the group with the highest posterior probability.

In the estimative approach to discrimination, the parameters

μ_{j}

and

Σ_{j}

p (j ∣ x_{k}, μ_{j}, Σ_{j})

are replaced by their estimates calculated from the training set. If it is assumed that the within-group variance-covariance matrices are equal then the linear discriminant function is obtained; otherwise if it is assumed that the variance-covariance matrices are unequal then the quadratic discriminant function is obtained.

In the Bayesian predictive approach, a non-informative prior distribution is used for the parameters giving the posterior distribution for the parameters from the training set,

X_{t}

, of,

p (μ_{j}, Σ_{j} ∣ X_{t})

. A predictive distribution is then obtained by integrating

p (j ∣ x_{k}, μ_{j}, Σ_{j}) p (μ_{j}, Σ_{j} ∣ X)

over the parameter space. This predictive distribution,

p (x_{k} ∣ X_{t})

, then replaces

p (x_{k} ∣ μ_{j}, Σ_{j})

to give

p (j ∣ x_{k}, μ_{j}, Σ_{j}) \propto p (x_{k} ∣ X_{t}) π_{j} .

In addition to allocating the objects to groups, an atypicality index for each object and for each group can be computed. This represents the probability of obtaining an observation more typical of the group than that observed. A high value of the atypicality index for all groups indicates that the observation may in fact come from a group not represented in the training set.

Alternative approaches to discrimination are the use of canonical variates and logistic discrimination. Canonical variate analysis is described above and as it seeks to find the directions that best discriminate between groups these directions can also be used to allocate further observations. This can be viewed as an extension of Fisher's linear discriminant function. This approach does not assume that the data is Normally distributed, but Fisher's linear discriminant function may not perform well on non-Normal data. In the case of two groups, logistic regression can be performed with the response variable indicating the group allocation and the variables in the discriminant analysis being the explanatory variables. Allocation can then be made on the basis of the fitted response value. This is known as logistic discrimination and can be shown to be valid for a wide range of distributional assumptions.

2.2.4 Scaling methods

Scaling methods seek to represent the observed dissimilarities or distances between objects as distances between points in Euclidean space. For example if the distances between objects A, B and C were

3

4

and

5

, the distances could be represented exactly by three points in two-dimensional space. Only their relative positions would be important, the whole configuration of points could be rotated or shifted without effecting the distances between the points. If a one-dimensional representation was required, the ‘best’ representation might give distances of

2 \frac{1}{3}, 3 \frac{1}{3}

and

5 \frac{2}{3}

, which may be an adequate representation. If the distances were

3

4

and

8

then these distances could not be exactly represented in Euclidean space, even in two dimensions, the best representation being the three points in a straight line giving distances

3

4

and

7

In practice, the use of scaling methods has to decide upon the number of dimensions in which the data is to be represented. The smaller the number the easier it will be to assimilate the information. The chosen number of dimensions needs to give an adequate representation of the data but will often not give an exact representation because either the number of chosen dimensions is too small or the data cannot be represented in Euclidean space.

Two basic methods are available depending on the nature of the dissimilarities or distances being analysed. If the distances can be assumed to satisfy the metric inequality

d_{i j} \leq d_{i k} + d_{k j},

then the distances can be represented exactly by points in Euclidean space and the technique known as metric scaling, classical scaling or principal coordinate analysis can be used. This technique involves the computing of the eigenvalues of a matrix derived from the distance matrix. The eigenvectors corresponding to the

k

largest positive eigenvalues gives the best

k

dimensions in which to represent the objects. If there are negative eigenvalues then the distance matrix cannot be represented in Euclidean space.

Instead of the above approach of requiring the distances from the points to match the distances from the objects as closely as possible, sometimes only a rank order equivalence is required. That is, the

i

th largest distance between objects should, as far as possible, be represented by the

i

th largest distance between points. This would be appropriate when the dissimilarities are based on subjective rankings. For example, if the objects were foods then a number of judges rank the foods for different qualities such as taste and texture, the resulting distances would not necessarily obey the metric inequality, but the rank order would be significant. Alternatively, by relaxing the requirement from matching distances to rank order equivalence only, the number of dimensions required to represent the distance matrix may be decreased. The requirement of rank order equivalence leads to non-metric or ordinal multidimensional scaling. The criterion used to measure the closeness of the fitted distance matrix to the observed distance matrix is known as STRESS, which is given by

\sqrt{\frac{\sum_{i = 1}^{n} \sum_{j = 1}^{i - 1} {(\hat{d_{i j}} - \tilde{d_{i j}})}^{2}}{\sum_{i = 1}^{n} \sum_{j = 1}^{i - 1} \hat{d_{i j}^{2}}}},

where

\hat{d_{i j}^{2}}

is the Euclidean squared distance between the computed points

i

and

j

, and

\tilde{d_{i j}}

is the fitted distance obtained when

\hat{d_{i j}}

is monotonically regressed on the observed distances

d_{i j}

; that is,

\tilde{d_{i j}}

is monotonic relative to

d_{i j}

and is obtained from

\hat{d_{i j}}

with the smallest number of changes. Thus STRESS is a measure of by how much the set of points preserve the order of the distances in the original distance matrix, and non-metric multidimensional scaling seeks to find the set of points that minimize the STRESS.

3 Recommendations on Choice and Use of Available Routines

See Section 4 for a list of routines available in this Chapter.

Note also that g02gbf will fit a logistic regression model and can be used for logistic discrimination.

4 Functionality Index

Canonical correlation analysis

g03adf

Canonical variate analysis

g03acf

Cluster Analysis,

compute distance matrix

g03eaf

construct clusters following g03ecf