Sufficient dimension reduction

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In statistics, sufficient dimension reduction (SDR) is a paradigm for analyzing data that combines the ideas of dimension reduction with the concept of sufficiency.

Dimension reduction has long been a primary goal of regression analysis. Given a response variable y and a p-dimensional predictor vector \textbf{x}, regression analysis aims to study the distribution of y|\textbf{x}, the conditional distribution of y given \textbf{x}. A dimension reduction is a function R(\textbf{x}) that maps \textbf{x} to a subset of \mathbb{R}^k, k < p, thereby reducing the dimension of \textbf{x}.[1] For example, R(\textbf{x}) may be one or more linear combinations of \textbf{x}.

A dimension reduction R(\textbf{x}) is said to be sufficient if the distribution of y|R(\textbf{x}) is the same as that of y|\textbf{x}. In other words, no information about the regression is lost in reducing the dimension of \textbf{x} if the reduction is sufficient.[1]

Graphical motivation[edit]

In a regression setting, it is often useful to summarize the distribution of y|\textbf{x} graphically. For instance, one may consider a scatter plot of y versus one or more of the predictors. A scatter plot that contains all available regression information is called a sufficient summary plot.

When \textbf{x} is high-dimensional, particularly when p\geq 3, it becomes increasingly challenging to construct and visually interpret sufficiency summary plots without reducing the data. Even three-dimensional scatter plots must be viewed via a computer program, and the third dimension can only be visualized by rotating the coordinate axes. However, if there exists a sufficient dimension reduction R(\textbf{x}) with small enough dimension, a sufficient summary plot of y versus R(\textbf{x}) may be constructed and visually interpreted with relative ease.

Hence sufficient dimension reduction allows for graphical intuition about the distribution of y|\textbf{x}, which might not have otherwise been available for high-dimensional data.

Most graphical methodology focuses primarily on dimension reduction involving linear combinations of \textbf{x}. The rest of this article deals only with such reductions.

Dimension reduction subspace[edit]

Suppose R(\textbf{x}) = A^T\textbf{x} is a sufficient dimension reduction, where A is a p\times k matrix with rank k\leq p. Then the regression information for y|\textbf{x} can be inferred by studying the distribution of y|A^T\textbf{x}, and the plot of y versus A^T\textbf{x} is a sufficient summary plot.

Without loss of generality, only the space spanned by the columns of A need be considered. Let \eta be a basis for the column space of A, and let the space spanned by \eta be denoted by \mathcal{S}(\eta). It follows from the definition of a sufficient dimension reduction that

F_{y|x} = F_{y|\eta^Tx},

where F denotes the appropriate distribution function. Another way to express this property is

y\perp\!\!\!\perp\textbf{x}\,|\,\eta^T\textbf{x},

or y is conditionally independent of \textbf{x}, given \eta^T\textbf{x}. Then the subspace \mathcal{S}(\eta) is defined to be a dimension reduction subspace (DRS).[2]

Structural dimensionality[edit]

For a regression y|\textbf{x}, the structural dimension, d, is the smallest number of distinct linear combinations of \textbf{x} necessary to preserve the conditional distribution of y|\textbf{x}. In other words, the smallest dimension reduction that is still sufficient maps \textbf{x} to a subset of \mathbb{R}^d. The corresponding DRS will be d-dimensional.[2]

Minimum dimension reduction subspace[edit]

A subspace \mathcal{S} is said to be a minimum DRS for y|\textbf{x} if it is a DRS and its dimension is less than or equal to that of all other DRSs for y|\textbf{x}. A minimum DRS \mathcal{S} is not necessarily unique, but its dimension is equal to the structural dimension d of y|\textbf{x}, by definition.[2]

If \mathcal{S} has basis \eta and is a minimum DRS, then a plot of y versus \eta^T\textbf{x} is a minimal sufficient summary plot, and it is (d + 1)-dimensional.

Central subspace[edit]

If a subspace \mathcal{S} is a DRS for y|\textbf{x}, and if \mathcal{S}\subset\mathcal{S}_{drs} for all other DRSs \mathcal{S}_{drs}, then it is a central dimension reduction subspace, or simply a central subspace, and it is denoted by \mathcal{S}_{y|x}. In other words, a central subspace for y|\textbf{x} exists if and only if the intersection \cap\mathcal{S}_{drs} of all dimension reduction subspaces is also a dimension reduction subspace, and that intersection is the central subspace \mathcal{S}_{y|x}.[2]

The central subspace \mathcal{S}_{y|x} does not necessarily exist because the intersection \cap\mathcal{S}_{drs} is not necessarily a DRS. However, if \mathcal{S}_{y|x} does exist, then it is also the unique minimum dimension reduction subspace.[2]

Existence of the central subspace[edit]

While the existence of the central subspace \mathcal{S}_{y|x} is not guaranteed in every regression situation, there are some rather broad conditions under which its existence follows directly. For example, consider the following proposition from Cook (1998):

Let \mathcal{S}_1 and \mathcal{S}_2 be dimension reduction subspaces for y|\textbf{x}. If \textbf{x} has density f(a) > 0 for all a\in\Omega_x and f(a) = 0 everywhere else, where \Omega_x is convex, then the intersection \mathcal{S}_1\cap\mathcal{S}_2 is also a dimension reduction subspace.

It follows from this proposition that the central subspace \mathcal{S}_{y|x} exists for such \textbf{x}.[2]

Methods for dimension reduction[edit]

There are many existing methods for dimension reduction, both graphical and numeric. For example, sliced inverse regression (SIR) and sliced average variance estimation (SAVE) were introduced in the 1990s and continue to be widely used.[3] Although SIR was originally designed to estimate an effective dimension reducing subspace, it is now understood that it estimates only the central subspace, which is generally different.

More recent methods for dimension reduction include likelihood-based sufficient dimension reduction,[4] estimating the central subspace based on the inverse third moment (or kth moment),[5] estimating the central solution space,[6] and graphical regression.[2] For more details on these and other methods, consult the statistical literature.

Principal components analysis (PCA) and similar methods for dimension reduction are not based on the sufficiency principle.

Example: linear regression[edit]

Consider the regression model

y = \alpha + \beta^T\textbf{x} + \varepsilon,\text{ where }\varepsilon\perp\!\!\!\perp\textbf{x}.

Note that the distribution of y|\textbf{x} is the same as the distribution of y|\beta^T\textbf{x}. Hence, the span of \beta is a dimension reduction subspace. Also, \beta is 1-dimensional (unless \beta=\textbf{0}), so the structural dimension of this regression is d=1.

The OLS estimate \hat{\beta} of \beta is consistent, and so the span of \hat{\beta} is a consistent estimator of \mathcal{S}_{y|x}. The plot of y versus \hat{\beta}^T\textbf{x} is a sufficient summary plot for this regression.

See also[edit]

Notes[edit]

  1. ^ a b Cook & Adragni (2009) Sufficient Dimension Reduction and Prediction in Regression In: Philosophical Transactions of the Royal Society A: Physical, Mathematical and Engineering Sciences, 367(1906): 4385–4405
  2. ^ a b c d e f g Cook, R.D. (1998) Regression Graphics: Ideas for Studying Regressions Through Graphics, Wiley ISBN 0471193658
  3. ^ Li, K-C. (1991) Sliced Inverse Regression for Dimension Reduction In: Journal of the American Statistical Association, 86(414): 316–327
  4. ^ Cook, R.D. and Forzani, L. (2009) Likelihood-Based Sufficient Dimension Reduction In: Journal of the American Statistical Association, 104(485): 197–208
  5. ^ Yin, X. and Cook, R.D. (2003) Estimating Central Subspaces via Inverse Third Moments In: Biometrika, 90(1): 113–125
  6. ^ Li, B. and Dong, Y.D. (2009) Dimension Reduction for Nonelliptically Distributed Predictors In: Annals of Statistics, 37(3): 1272–1298

References[edit]

External links[edit]