# Functional correlation

Short description: Dimensionality reduction technique

In statistics, functional correlation is a dimensionality reduction technique used to quantify the correlation and dependence between two variables when the data is functional. Several approaches have been developed to quantify the relation between two functional variables.

## Overview

A pair of real valued random functions $\displaystyle{ \textstyle X(t) }$ and $\displaystyle{ \textstyle Y(t) }$ with $\displaystyle{ t \in T }$, a compact interval, can be viewed as realizations of square-integrable stochastic process in a Hilbert space. Since both $\displaystyle{ X }$ and $\displaystyle{ Y }$are infinite dimensional, some kind of dimension reduction is required to explore their relationship. Notions of correlation for functional data include the following.[1]

## Functional canonical correlation coefficient (FCCA)

FCCA is a direct extension of multivariate canonical correlation. For a pair of random functions $\displaystyle{ X \in \mathcal{L}^2(\mathcal{I_X}) }$ and $\displaystyle{ Y \in \mathcal{L}^2(\mathcal{I_Y}) }$ the first canonical coefficient $\displaystyle{ \rho_1 }$ is defined as:

$\displaystyle{ \rho_1 = \underset {u \in \mathcal{L}^2(\mathcal{I_X}) , v \in \mathcal{L}^2(\mathcal{I_Y})} {\sup} \operatorname{corr} (\langle u, X\rangle , \langle v, Y\rangle ) = \underset {u \in \mathcal{L}^2(\mathcal{I_X}) , v \in \mathcal{L}^2(\mathcal{I_Y})} {\sup} \frac { \operatorname{cov} (\langle u, X\rangle , \langle v, Y\rangle )}{\sqrt{\operatorname{var}({\langle u, X\rangle})} \sqrt{\operatorname{var}({\langle v, Y\rangle})}} = \operatorname{corr} (\langle u_1, X\rangle , \langle v_1, Y\rangle ) }$

(1)

where $\displaystyle{ \langle \cdot,\cdot\rangle }$ denotes the inner product in Lp space (p=2) i.e. $\displaystyle{ \langle f_1,f_2\rangle = \int_{\mathcal{I}} f_1(t) f_2(t) \, dt, }$ $\displaystyle{ \quad f_1, f_2 \in \mathcal{L}^2(\mathcal{I}) }$

The $\displaystyle{ k^{th} }$ canonical coefficient $\displaystyle{ \rho_k }$, given $\displaystyle{ \rho_1, \rho_2, \ldots, \rho_{k-1} }$ is defined as:

$\displaystyle{ \rho_k = \underset{\begin{matrix}u \in \mathcal{L}^2(\mathcal{I_X}), v \in \mathcal{L}^2(\mathcal{I_Y})\\ u \perp u_1,\ldots,u_{k-1}, v \perp v_1,\ldots,v_{k-1} \end{matrix}} {\sup} \frac {\operatorname{cov} (\langle u, X\rangle , \langle v, Y\rangle )}{\sqrt{\operatorname{var}(\langle u, X\rangle)} \sqrt{\operatorname{var}(\langle v, Y\rangle)} } = \operatorname{corr} (\langle u_k, X\rangle , \langle v_k, Y\rangle ) }$

(2)

where $\displaystyle{ (U_k, V_k)=(\langle u_k, X\rangle , \langle v_k, Y\rangle ) }$ is uncorrelated with all previous pairs $\displaystyle{ (U_j, V_j)=(\langle u_j, X\rangle , \langle v_j, Y\rangle )_{j=1,2,\ldots,k-1} }$.

Thus FCCA implements projections in the directions of $\displaystyle{ U_k }$ and $\displaystyle{ V_k }$ for $\displaystyle{ X }$ and $\displaystyle{ Y }$ respectively, such that their linear combinations (inner products) $\displaystyle{ (U_k, V_k) }$ are maximally correlated. $\displaystyle{ X }$ and $\displaystyle{ Y }$ are uncorrelated if all their canonical correlations are zero, equivalently, if and only if $\displaystyle{ \rho_1 =0 }$.

### Alternative formulation

The cross-covariance operator for two random functions $\displaystyle{ X }$ and $\displaystyle{ Y }$ defined as $\displaystyle{ \Sigma_{XY} : \mathcal{L}^2(\mathcal{I_X}) \rightarrow \mathcal{L}^2(\mathcal{I_Y}) : \Sigma_{XY} v(t) = \int \operatorname{cov}( X(t), Y(t)) v(s) \, ds ;\quad v \in \mathcal{L}^2(\mathcal{I_Y}) }$ and analogously the auto covariance operators for $\displaystyle{ X,\Sigma_{XX} }$, for $\displaystyle{ Y,\Sigma_{YY} }$ and using $\displaystyle{ \operatorname{cov} (\langle u, X\rangle , \langle v, Y\rangle ) = \langle u, \Sigma_{XY}Y \rangle }$, the $\displaystyle{ k^{th} }$ canonical coefficient $\displaystyle{ \rho_k }$ in (2) can be re-written as,

$\displaystyle{ \rho_k = \underset{\begin{matrix}u \in \mathcal{L}^2(\mathcal{I_X}), v \in \mathcal{L}^2(\mathcal{I_Y})\\ u \perp u_1,\ldots,u_{k-1}, v \perp v_1,\ldots,v_{k-1} \end{matrix}}{\sup} \frac{\langle u, \Sigma_{XY}v \rangle }{\sqrt{\langle u, \Sigma_{XX}u \rangle}\sqrt{\langle v, \Sigma_{YY}v \rangle}}= \frac{\langle u_k, \Sigma_{XY}v_k \rangle }{\sqrt{\langle u_k, \Sigma_{XX}u_k \rangle}\sqrt{\langle v_k, \Sigma_{YY}v_k \rangle}} }$

(3)

,

where $\displaystyle{ (U_k, V_k)=(\langle u_k, X\rangle , \langle v_k, Y\rangle ) }$ is uncorrelated with all previous pairs $\displaystyle{ (U_j, V_j)=(\langle u_j, X\rangle , \langle v_j, Y\rangle )_{j=1,2,..,k-1} }$

Maximizing (3) is equivalent to finding eigenvalues and eigenvectors of the operator $\displaystyle{ R= \Sigma^{-1/2}_{XX} \Sigma_{XY} \Sigma^{-1/2}_{YY} }$.

### Challenges

Since $\displaystyle{ \Sigma_{XX} }$ and $\displaystyle{ \Sigma_{YY} }$ are compact operators, the square root of the auto-covariance operator of $\displaystyle{ \mathcal{L^2} }$ processes may not be invertible. So the existence of $\displaystyle{ R }$ and hence computing its eigenvalues and eigenvectors is an ill-posed problem. As a consequence of this inverse problem, overfitting may occur which may lead to an unstable correlation coefficient. Due to this inverse problem, $\displaystyle{ \rho_1 }$ tends to be biased upwards and therefore close to 1 and hence is difficult to interpret. FCCA also requires densely recorded functional data so that the inner products in (2) can be accurately evaluated.

### Possible solutions

Some possible solutions to this problem have been discussed.

## Functional singular correlation analysis (FSCA)

FSCA bypasses the inverse problem by simply replacing the objective function by covariance in place of correlation in (2). FSCA aims to quantify the dependency of $\displaystyle{ X,Y }$ by implementing the concept of functional singular-value decomposition for the cross-covariance operator. FSCA can be viewed as an extension of analyses using singular-value decomposition of vector data to functional data. For a pair of random functions $\displaystyle{ X \in \mathcal{L}^2(\mathcal{I_X}) }$ and $\displaystyle{ Y \in \mathcal{L}^2(\mathcal{I_Y}) }$ with smooth mean functions $\displaystyle{ \mu_X(t)=\mathbb{E}(X(t)) }$ and $\displaystyle{ \mu_Y(t)=\mathbb{E}(Y(t)) }$ and smooth covariance functions, FSCA aims at a "functional covariance" corresponding to the first singular value of the cross-covariance operator $\displaystyle{ \Sigma_{XY} }$,

$\displaystyle{ \underset {u \in \mathcal{L}^2(\mathcal{I_X}) , v \in \mathcal{L}^2(\mathcal{I_Y})} {\sup} \operatorname{cov} (\langle u, X\rangle , \langle v, Y\rangle )=\underset {u \in \mathcal{L}^2(\mathcal{I_X}) , v \in \mathcal{L}^2(\mathcal{I_Y})} {\sup} \langle u, \Sigma_{XY}v \rangle }$

(4)

which is attained at functions $\displaystyle{ u_1 \in \mathcal{L}^2(\mathcal{I_X}) , v_1 \in \mathcal{L}^2(\mathcal{I_Y}) }$. A standardized version of this serves as a functional correlation and is defined as

$\displaystyle{ \rho_1 = \frac{\langle u_1, \Sigma_{XY}v_1 \rangle}{\sqrt{\langle u_1, \Sigma_{XX}u_1 \rangle} \sqrt{\langle v_1, \Sigma_{YY}v_1 \rangle}} }$

(5)

,

The singular representation of the cross-covariance can be employed to find a solution to the maximization problem (4).[5] Analogously, we can extend this concept to find the next $\displaystyle{ k }$ ordered singular correlation coefficients $\displaystyle{ \rho_1, \rho_2,\ldots,\rho_k }$.

## Correlation as angle between functions

In the multivariate case, the inner product of two vectors $\displaystyle{ a }$ and $\displaystyle{ b }$ is defined as, $\displaystyle{ \langle a,b \rangle = \|a\| \|b\| \cos\alpha }$ where $\displaystyle{ \alpha }$ is the angle between $\displaystyle{ a }$ and $\displaystyle{ b }$. This can be extended to the space of square integrable random functions. For this notion to be a meaningful measure of alignment of shapes, the integrals of the functions, which are the projections on the constant function 1, are subtracted. This part corresponds to a "static part" and the remainder can be thought of as a "dynamic part" for each random function. The cosine of the $\displaystyle{ L^2 }$ angle between these "dynamic parts" then provides a correlation measure of functional shapes. Denoting $\displaystyle{ M_1=\langle X,1 \rangle }$ and $\displaystyle{ M_2=\langle Y,1 \rangle }$ the standardized curves may be defined as[6][7] $\displaystyle{ X^*(t)=\left(X(t)-M_1(t)\right) \Big / \left(\int (X(t)-M_1(t))^2 \, dt\right)^{1/2} }$ $\displaystyle{ Y^*(t)=\left(Y(t)-M_2(t)\right) \Big / \left(\int (Y(t)-M_2(t))^2 \,dt\right)^{1/2} }$ and the correlation is defined as,

$\displaystyle{ \rho = \mathbb{E} \langle X^*, Y^* \rangle }$

(6)