Distance correlation

In statistics and in probability theory, distance correlation is a measure of statistical dependence between two random variables or two random vectors of arbitrary, not necessarily equal dimension. Its important property is that this measure of dependence is zero if and only if the random variables are statistically independent. This measure is derived from a number of other quantities that are used in its specification, specifically: distance variance, distance standard deviation and distance covariance. These take the same roles as the ordinary moments with corresponding names in the specification of the Pearson product-moment correlation coefficient.

These distance-based measures can be put into an indirect relationship to the ordinary moments by an alternative formulation (described below) using ideas related to Brownian motion, and this has led to the use of names such as Brownian covariance and Brownian distance covariance.

Background

The classical measure of dependence, the Pearson correlation coefficient, is mainly sensitive to a linear relationship between two variables. Distance correlation was introduced in 2005 by Gabor J Szekely in several lectures to address this deficiency of Pearson’s correlation, namely that it can easily be zero for dependent variables. Correlation = 0 (uncorrelatedness) does not imply independence while distance correlation = 0 does imply independence. The first results on distance correlation were published in 2007 and 2009. It was proved that distance covariance is the same as the Brownian covariance. These measures are examples of energy distances.

Definitions

Distance covariance

The population value of distance covariance is the square root of

${\begin{aligned}\operatorname {dCov} ^{2}(X,Y)&:=\operatorname {E} [\|X-X'\|\,\|Y-Y'\|]+\operatorname {E} [\|X-X'\|]\,\operatorname {E} [\|Y-Y'\|]\\&\qquad -\operatorname {E} [\|X-X'\|\,\|Y-Y''\|]-\operatorname {E} [\|X-X''\|\,\|Y-Y'\|]\\&=\operatorname {E} [\|X-X'\|\,\|Y-Y'\|]+\operatorname {E} [\|X-X'\|\,\operatorname {E} [\|Y-Y'\|]\\&\qquad -2\operatorname {E} [\|X-X'\|\,\|Y-Y''\|],\end{aligned}}$

where $\operatorname {E}$ denotes expected value, $\|\cdot \|$ denotes Euclidean norm, and $(X,Y)$, $(X',Y')$, and $(X'',Y'')$ are independent and identically distributed. Distance covariance can be expressed in terms of Pearson’s covariance, $\operatorname {cov}$, as follows: $\operatorname {dCov} ^{2}(X,Y)=\operatorname {cov} (\|X-X'\|,\|Y-Y'\|)-2\operatorname {cov} (\|X-X'\|,\|Y-Y''\|)$. This identity shows that the distance covariance is not the same as the covariance of distances, $\operatorname {cov} (\|X-X'\|,\|Y-Y'\|)$, which can be zero even if $X$ and $Y$ are not independent.

The sample distance covariance is defined as follows. Let $(X_{k},Y_{k})$, $k=1,2,\ldots ,n$ be a statistical sample from a pair of real valued or vector valued random variables $(X,Y)$. First, compute all pairwise distances

$a_{k,\ell }=\|X_{k}-X_{\ell }\|$ and $b_{k,\ell }=\|Y_{k}-Y_{\ell }\|$ for $k,\ell =1,2,\ldots ,n$.

That is, compute the $n$ by $n$ distance matrices $(a_{k,\ell })$ and $(b_{k,\ell })$. Then take all centered distances $A_{k,\ell }:=a_{k,\ell }-{\overline {a}}_{k.}-{\overline {a}}_{.\ell }+{\overline {a}}_{..}$ and $B_{k,\ell }:=b_{k,\ell }-{\overline {b}}_{k.}-{\overline {b}}_{.\ell }+{\overline {b}}_{..}$ where ${\overline {a}}_{k.}$ is the $k$-th row mean, ${\overline {a}}_{.\ell }$ is the $\ell$-th column mean, and ${\overline {a}}_{..}$ is the grand mean of the distance matrix of the $X$ sample. The notation is similar for the $b$ values. (In the matrices of centered distances $(A_{k,\ell })$ and $(B_{k,\ell })$ all row sums and all column sums equal zero.) The squared sample distance covariance is simply the arithmetic average of the products $A_{k,\ell }\,B_{k,\ell }$; that is

$\operatorname {dCov} _{n}^{2}(X,Y):={\tfrac {1}{n^{2}}}\sum _{k,\ell }A_{k,\ell }\,B_{k,\ell }.$

The statistic $T_{n}=n[\operatorname {dCov} _{n}^{2}(X,Y)]$ determines a consistent multivariate test of independence of random vectors in arbitrary dimensions. For an implementation see dcov.test function in the energy package for R.

Distance variance

The distance variance is a special case of distance covariance when the two variables are identical. The population value of distance variance is the square root of

$\operatorname {dVar} ^{2}(X):=\operatorname {E} [\|X-X'|^{2}]+\operatorname {E} ^{2}[\|X-X'\|]-2\operatorname {E} [\|X-X'\|\,\|X-X''\|],$

where $\operatorname {E}$ denotes the expected value, $X'$ is an independent and identically distributed copy of $X$ and $X''$ is independent of $X$ and $X'$ and has the same distribution as $X$ and $X'$.

The sample distance variance is the square root of

$\operatorname {dVar} _{n}^{2}(X):=\operatorname {dCov} _{n}^{2}(X,X)={\tfrac {1}{n^{2}}}\sum _{k,\ell }A_{k,\ell }^{2},$

which is a relative of Corrado Gini’s mean difference introduced in 1912 (but Gini did not work with centered distances).

Distance standard deviation

The distance standard deviation is the square root of the distance variance.

Distance correlation

The distance correlation of two random variables is obtained by dividing their distance covariance by the product of their distance standard deviations. The distance correlation is

$\operatorname {dCor} (X,Y)={\frac {\operatorname {dCov} (X,Y)}{\sqrt {\operatorname {dVar} (X)\,\operatorname {dVar} (Y)}}},$

and the sample distance correlation is defined by substituting the sample distance covariance and distance variances for the population coefficients above.

For easy computation of sample distance correlation see the dcor function in the energy package for R.

Properties

Distance correlation

(i) $0\leq \operatorname {dCor} _{n}(X,Y)\leq 1$ and $0\leq \operatorname {dCor} (X,Y)\leq 1$.

(ii) $\operatorname {dCor} (X,Y)=0$ if and only if $X$ and $Y$ are independent.

(iii) $\operatorname {dCor} _{n}(X,Y)=1$ implies that dimensions of the linear spaces spanned by $X$ and $Y$ samples respectively are almost surely equal and if we assume that these subspaces are equal, then in this subspace $Y=A+b\,\mathbf {C} X$ for some vector $A$, scalar $b$, and orthonormal matrix $\mathbf {C}$.

Distance covariance

(i) $\operatorname {dCov} (X,Y)\geq 0$ and $\operatorname {dCov} _{n}(X,Y)\geq 0$.

(ii) $\operatorname {dCov} ^{2}(a_{1}+b_{1}\,\mathbf {C} _{1}\,X,a_{2}+b_{2}\,\mathbf {C} _{2}\,Y)=|b_{1}\,b_{2}|\operatorname {dCov} ^{2}(X,Y)$ for all constant vectors $a_{1},a_{2}$, scalars $b_{1},b_{2}$, and orthonormal matrices $\mathbf {C} _{1},\mathbf {C} _{2}$.

(iii) If the random vectors $(X_{1},Y_{1})$ and $(X_{2},Y_{2})$ are independent then

$\operatorname {dCov} (X_{1}+X_{2},Y_{1}+Y_{2})\leq \operatorname {dCov} (X_{1},Y_{1})+\operatorname {dCov} (X_{2},Y_{2}).$

Equality holds if and only if $X_{1}$ and $Y_{1}$ are both constants, or $X_{2}$ and $Y_{2}$ are both constants, or $X_{1},X_{2},Y_{1},Y_{2}$ are mutually independent.

(iv) $\operatorname {dCov} (X,Y)=0$ if and only if $X$ and $Y$ are independent.

This last property is the most important effect of working with centered distances.

The statistic $\operatorname {dCov} _{n}^{2}(X,Y)$ is a biased estimator of $\operatorname {dCov} ^{2}(X,Y)$ due to

$\operatorname {E} [\operatorname {dCov} _{n}^{2}(X,Y)]={\frac {n-1}{n^{2}}}\left((n-2)\operatorname {dCov} ^{2}(X,Y)+\operatorname {E} [\|X-X'\|]\,\operatorname {E} [\|Y-Y'\|]\right).$

The bias therefore can easily be corrected.

Distance variance

(i) $\operatorname {dVar} (X)=0$ if and only if $X=\operatorname {E} [X]$ almost surely.

(ii) $\operatorname {dVar} _{n}(X)=0$ if and only if every sample observation is identical.

(iii) $\operatorname {dVar} (A+b\,\mathbf {C} \,X)=|b|\operatorname {dVar} (X)$ for all constant vectors $A$, scalars $b$, and orthonormal matrices $\mathbf {C}$.

(iv) If $X$ and $Y$ are independent then $\operatorname {dVar} (X+Y)\leq \operatorname {dVar} (X)+\operatorname {dVar} (Y)$.

Equality holds if (iv) if and only if one of the random variables $X$ or $Y$ is a constant.

Generalization

Distance covariance can be generalized to include powers of Euclidean distance. Define

${\begin{aligned}\operatorname {dCov} ^{2}(X,Y;\alpha )&:=\operatorname {E} [\|X-X'\|^{\alpha }\,\|Y-Y'\|^{\alpha }]+\operatorname {E} [\|X-X'\|^{\alpha }]\,\operatorname {E} [\|Y-Y'\|^{\alpha }]\\&\qquad -2\operatorname {E} [\|X-X'\|^{\alpha }\,\|Y-Y''\|^{\alpha }].\end{aligned}}$

Then for every $0<\alpha <2$, $X$ and $Y$ are independent if and only if $\operatorname {dCov} ^{2}(X,Y;\alpha )=0$. It is important to note that this characterization does not hold for exponent $\alpha =2$; in this case for bivariate $(X,Y)$, $\operatorname {dCor} (X,Y;\alpha =2)$ is a deterministic function of the Pearson correlation. If $a_{k,\ell }$ and $b_{k,\ell }$ are $\alpha$ powers of the corresponding distances, $0<\alpha \leq 2$, then $\alpha$ sample distance covariance can be defined as the nonnegative number for which

$\operatorname {dCov} _{n}^{2}(X,Y;\alpha ):={\frac {1}{n^{2}}}\sum _{k,\ell }A_{k,\ell }\,B_{k,\ell }.$

One can extend $\operatorname {dCov}$ to metric-space-valued random variables $X$ and $Y$: If $X$ has law $\mu$ in a metric space with metric $d$, then define $a_{\mu }(x):=\operatorname {E} [d(X,x)]$, $D(\mu ):=\operatorname {E} [a_{\mu }(X)]$, and (provided $a_{\mu }$ is finite, i.e., $X$ has finite first moment), $d_{\mu }(x,x'):=d(x,x')-a_{\mu }(x)-a_{\mu }(x')+D(\mu )$. Then if $Y$ has law $\nu$ (in a possibly different metric space with finite first moment), define

$\operatorname {dCov} ^{2}(X,Y):=\operatorname {E} {\big [}d_{\mu }(X,X')d_{\nu }(Y,Y'){\big ]}.$

This is non-negative for all such $X,Y$ iff both metric spaces have negative type. Here, a metric space $(M,d)$ has negative type if $(M,d^{1/2})$ is isometric to a subset of a Hilbert space. If both metric spaces have strong negative type, then $\operatorname {dCov} ^{2}(X,Y)=0$ iff $X,Y$ are independent.

Alternative formulation: Brownian covariance

Brownian covariance is motivated by generalization of the notion of covariance to stochastic processes. The square of the covariance of random variables X and Y can be written in the following form:

$\operatorname {cov} (X,Y)^{2}=\operatorname {E} \left[{\big (}X-\operatorname {E} (X){\big )}{\big (}X^{\mathrm {'} }-\operatorname {E} (X^{\mathrm {'} }){\big )}{\big (}Y-\operatorname {E} (Y){\big )}{\big (}Y^{\mathrm {'} }-\operatorname {E} (Y^{\mathrm {'} }){\big )}\right]$

where E denotes the expected value and the prime denotes independent and identically distributed copies. We need the following generalization of this formula. If U(s), V(t) are arbitrary random processes defined for all real s and t then define the U-centered version of X by

$X_{U}:=U(X)-\operatorname {E} _{X}\left[U(X)\mid \left\{U(t)\right\}\right]$

whenever the subtracted conditional expected value exists and denote by Y_V the V-centered version of Y. The (U,V) covariance of (X,Y) is defined as the nonnegative number whose square is

$\operatorname {cov} _{U,V}^{2}(X,Y):=\operatorname {E} \left[X_{U}X_{U}^{\mathrm {'} }Y_{V}Y_{V}^{\mathrm {'} }\right]$

whenever the right-hand side is nonnegative and finite. The most important example is when U and V are two-sided independent Brownian motions /Wiener processes with expectation zero and covariance |s| + |t| - |s-t| = 2 min(s,t). (This is twice the covariance of the standard Wiener process; here the factor 2 simplifies the computations.) In this case the (U,V) covariance is called Brownian covariance and is denoted by

$\operatorname {cov} _{W}(X,Y).$

There is a surprising coincidence: The Brownian covariance is the same as the distance covariance:

$\operatorname {cov} _{\mathrm {W} }(X,Y)=\operatorname {dCov} (X,Y),$

and thus Brownian correlation is the same as distance correlation.

On the other hand, if we replace the Brownian motion with the deterministic identity function id then Cov_id(X,Y) is simply the absolute value of the classical Pearson covariance,

$\operatorname {cov} _{\mathrm {id} }(X,Y)=\left\vert \operatorname {cov} (X,Y)\right\vert .$

See also

• RV coefficient
• For a related third-order statistic, see Distance skewness.

References

• Bickel, P.J. and Xu, Y. (2009) "Discussion of: Brownian distance covariance", Annals of Applied Statistics, 3 (4), 1266–1269. doi:10.1214/09-AOAS312A Free access to article
• Gini, C. (1912). Variabilità e Mutabilità. Bologna: Tipografia di Paolo Cuppini.
• Pearson, K. (1895). "Note on regression and inheritance in the case of two parents", Proceedings of the Royal Society, 58, 240–242
• Pearson, K. (1920). "Notes on the history of correlation", Biometrika, 13, 25–45.
• Székely, G. J. Rizzo, M. L. and Bakirov, N. K. (2007). "Measuring and testing independence by correlation of distances", Annals of Statistics, 35/6, 2769–2794. doi:10.1214/009053607000000505 Reprint
• Székely, G. J. and Rizzo, M. L. (2009). "Brownian distance covariance", Annals of Applied Statistics, 3/4, 1233–1303. doi:10.1214/09-AOAS312 Reprint
• Kosorok, M. R. (2009) "Discussion of: Brownian Distance Covariance", Annals of Applied Statistics, 3/4, 1270–1278. doi:10.1214/09-AOAS312B Free access to article

External links

• E-statistics (energy statistics)