# Sufficient dimension reduction

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 ${\displaystyle {\textbf {x}}}$, regression analysis aims to study the distribution of ${\displaystyle y|{\textbf {x}}}$, the conditional distribution of ${\displaystyle y}$ given ${\displaystyle {\textbf {x}}}$. A dimension reduction is a function ${\displaystyle R({\textbf {x}})}$ that maps ${\displaystyle {\textbf {x}}}$ to a subset of ${\displaystyle \mathbb {R} ^{k}}$, k < p, thereby reducing the dimension of ${\displaystyle {\textbf {x}}}$.[1] For example, ${\displaystyle R({\textbf {x}})}$ may be one or more linear combinations of ${\displaystyle {\textbf {x}}}$.

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

## Graphical motivation

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

When ${\displaystyle {\textbf {x}}}$ is high-dimensional, particularly when ${\displaystyle 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 ${\displaystyle R({\textbf {x}})}$ with small enough dimension, a sufficient summary plot of ${\displaystyle y}$ versus ${\displaystyle R({\textbf {x}})}$ may be constructed and visually interpreted with relative ease.

Hence sufficient dimension reduction allows for graphical intuition about the distribution of ${\displaystyle 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 ${\displaystyle {\textbf {x}}}$. The rest of this article deals only with such reductions.

## Dimension reduction subspace

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

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

${\displaystyle F_{y|x}=F_{y|\eta ^{T}x},}$

where ${\displaystyle F}$ denotes the appropriate distribution function. Another way to express this property is

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

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

### Structural dimensionality

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

### Minimum dimension reduction subspace

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

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

## Central subspace

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

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

### Existence of the central subspace

While the existence of the central subspace ${\displaystyle {\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 ${\displaystyle {\mathcal {S}}_{1}}$ and ${\displaystyle {\mathcal {S}}_{2}}$ be dimension reduction subspaces for ${\displaystyle y|{\textbf {x}}}$. If ${\displaystyle {\textbf {x}}}$ has density ${\displaystyle f(a)>0}$ for all ${\displaystyle a\in \Omega _{x}}$ and ${\displaystyle f(a)=0}$ everywhere else, where ${\displaystyle \Omega _{x}}$ is convex, then the intersection ${\displaystyle {\mathcal {S}}_{1}\cap {\mathcal {S}}_{2}}$ is also a dimension reduction subspace.

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

## Methods for dimension reduction

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] graphical regression[2] and the Principal Support Vector Machine.[7] 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

Consider the regression model

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

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

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