Copula (probability Theory)

In probability theory and statistics, a copula is a multivariate cumulative distribution function for which the marginal probability distribution of each variable is uniform on the interval  , 1 Copulas are used to describe/model the dependence (inter-correlation) between random variables. Their name, introduced by applied mathematician Abe Sklar in 1959, comes from the Latin for "link" or "tie", similar but unrelated to grammatical copulas in linguistics. Copulas have been used widely in quantitative finance to model and minimize tail risk and portfolio-optimization applications.

Sklar's theorem states that any multivariate joint distribution can be written in terms of univariate marginal distribution functions and a copula which describes the dependence structure between the variables.

Copulas are popular in high-dimensional statistical applications as they allow one to easily model and estimate the distribution of random vectors by estimating marginals and copulae separately. There are many parametric copula families available, which usually have parameters that control the strength of dependence. Some popular parametric copula models are outlined below.

Two-dimensional copulas are known in some other areas of mathematics under the name ''permutons'' and ''doubly-stochastic measures''.

Mathematical definition

Consider a random vector $(X_1,X_2,\dots,X_d)$. Suppose its marginals are continuous, i.e. the marginal CDFs F_i(x) = \Pr _i\leq x are continuous functions. By applying the probability integral transform to each component, the random vector
:$(U_1,U_2,\dots,U_d)=\left(F_1(X_1),F_2(X_2),\dots,F_d(X_d)\right)$
has marginals that are uniformly distributed on the interval  , 1

The copula of $(X_1,X_2,\dots,X_d)$ is defined as the joint cumulative distribution function of $(U_1,U_2,\dots,U_d)$:
:C(u_1,u_2,\dots,u_d)=\Pr _1\leq u_1,U_2\leq u_2,\dots,U_d\leq u_d

The copula ''C'' contains all information on the dependence structure between the components of $(X_1,X_2,\dots,X_d)$ whereas the marginal cumulative distribution functions $F_i$ contain all information on the marginal distributions of $X_i$.

The reverse of these steps can be used to generate pseudo-random samples from general classes of multivariate probability distributions. That is, given a procedure to generate a sample $(U_1,U_2,\dots,U_d)$ from the copula function, the required sample can be constructed as
:$(X_1,X_2,\dots,X_d) = \left(F_1^(U_1),F_2^(U_2),\dots,F_d^(U_d)\right).$
The inverses $F_i^$ are unproblematic almost surely, since the $F_i$ were assumed to be continuous. Furthermore, the above formula for the copula function can be rewritten as:
:C(u_1,u_2,\dots,u_d)=\Pr _1\leq F_1^(u_1),X_2\leq F_2^(u_2),\dots,X_d\leq F_d^(u_d).

Definition

In probabilistic terms, C: ,1d\rightarrow ,1/math> is a ''d''-dimensional copula if ''C'' is a joint cumulative distribution function of a ''d''-dimensional random vector on the unit cube ,1d with uniform marginals.

In analytic terms, C: ,1d\rightarrow ,1/math> is a ''d''-dimensional copula if
:* $C(u_1,\dots,u_,0,u_,\dots,u_d)=0$, the copula is zero if any one of the arguments is zero,
:* $C(1,\dots,1,u,1,\dots,1)=u$, the copula is equal to ''u'' if one argument is ''u'' and all others 1,
:* ''C'' is ''d''-non-decreasing, i.e., for each hyperrectangle B=\prod_^ _i,y_isubseteq ,1d the ''C''-volume of ''B'' is non-negative:
:*:$\int_B \mathrm C(u) =\sum_ (-1)^ C(\mathbf z)\ge 0,$
::where the $N(\mathbf z)=\#\$.

For instance, in the bivariate case, C: ,1\times ,1rightarrow ,1/math> is a bivariate copula if $C(0,u) = C(u,0) = 0$, $C(1,u) = C(u,1) = u$ and $C(u_2,v_2)-C(u_2,v_1)-C(u_1,v_2)+C(u_1,v_1) \geq 0$ for all $0 \leq u_1 \leq u_2 \leq 1$ and $0 \leq v_1 \leq v_2 \leq 1$.

Sklar's theorem

Sklar's theorem, named after Abe Sklar, provides the theoretical foundation for the application of copulas. Sklar's theorem states that every multivariate cumulative distribution function
:H(x_1,\dots,x_d)=\Pr _1\leq x_1,\dots,X_d\leq x_d/math>
of a random vector $(X_1,X_2,\dots,X_d)$ can be expressed in terms of its marginals F_i(x_i) = \Pr _i\leq x_i and
a copula $C$. Indeed:
:$H(x_1,\dots,x_d) = C\left(F_1(x_1),\dots,F_d(x_d) \right).$

In case that the multivariate distribution has a density $h$, and if this is available, it holds further that
:$h(x_1,\dots,x_d)= c(F_1(x_1),\dots,F_d(x_d))\cdot f_1(x_1)\cdot\dots\cdot f_d(x_d),$
where $c$ is the density of the copula.

The theorem also states that, given $H$, the copula is unique on $\operatorname(F_1)\times\cdots\times \operatorname(F_d)$, which is the cartesian product of the ranges of the marginal cdf's. This implies that the copula is unique if the marginals $F_i$ are continuous.

The converse is also true: given a copula C: ,1d\rightarrow ,1 and marginals $F_i(x)$ then $C\left(F_1(x_1),\dots,F_d(x_d) \right)$ defines a ''d''-dimensional cumulative distribution function with marginal distributions $F_i(x)$.

Stationarity condition

Copulas mainly work when time series are stationary and continuous. Thus, a very important pre-processing step is to check for the auto-correlation, trend and seasonality within time series.

When time series are auto-correlated, they may generate a non existence dependence between sets of variables and result in incorrect Copula dependence structure.

Fréchet–Hoeffding copula bounds

The Fréchet–Hoeffding Theorem (after Maurice René Fréchet and Wassily Hoeffding) states that for any Copula C: ,1d\rightarrow ,1/math> and any (u_1,\dots,u_d)\in ,1d the following bounds hold:
: $W(u_1,\dots,u_d) \leq C(u_1,\dots,u_d) \leq M(u_1,\dots,u_d).$
The function is called lower Fréchet–Hoeffding bound and is defined as
:$W(u_1,\ldots,u_d) = \max\left\.$
The function is called upper Fréchet–Hoeffding bound and is defined as
:$M(u_1,\ldots,u_d) = \min \.$

The upper bound is sharp: is always a copula, it corresponds to comonotone random variables.

The lower bound is point-wise sharp, in the sense that for fixed u, there is a copula $\tilde$ such that $\tilde(u) = W(u)$. However, is a copula only in two dimensions, in which case it corresponds to countermonotonic random variables.

In two dimensions, i.e. the bivariate case, the Fréchet–Hoeffding Theorem states
: $\max\ \leq C(u,v) \leq \min\$.

Families of copulas

Several families of copulas have been described.

Gaussian copula

The Gaussian copula is a distribution over the unit hypercube ,1d. It is constructed from a multivariate normal distribution over $\mathbb^d$ by using the probability integral transform.

For a given correlation matrix R\in 1, 1, the Gaussian copula with parameter matrix $R$ can be written as
:$C_R^(u) = \Phi_R\left(\Phi^(u_1),\dots, \Phi^(u_d) \right),$
where $\Phi^$ is the inverse cumulative distribution function of a standard normal and $\Phi_R$ is the joint cumulative distribution function of a multivariate normal distribution with mean vector zero and covariance matrix equal to the correlation matrix $R$. While there is no simple analytical formula for the copula function, $C_R^(u)$, it can be upper or lower bounded, and approximated using numerical integration. The density can be written as
:$c_R^(u) = \frac\exp\left(-\frac \begin\Phi^(u_1)\\ \vdots \\ \Phi^(u_d)\end^T \cdot \left(R^-I\right) \cdot \begin\Phi^(u_1)\\ \vdots \\ \Phi^(u_d)\end \right),$
where $\mathbf$ is the identity matrix.

Archimedean copulas

Archimedean copulas are an associative class of copulas. Most common Archimedean copulas admit an explicit formula, something not possible for instance for the Gaussian copula.
In practice, Archimedean copulas are popular because they allow modeling dependence in arbitrarily high dimensions with only one parameter, governing the strength of dependence.

A copula C is called Archimedean if it admits the representation

:$C(u_1,\dots,u_d;\theta) = \psi^\left(\psi(u_1;\theta)+\cdots+\psi(u_d;\theta);\theta\right)$

where \psi\!: ,1times\Theta \rightarrow d-monotone_on_$[0,\infty)$.
That_is,_if_it_is_$d-2$_times_differentiable_and_the_derivatives_satisfy

:$_(-1)^k\psi^{-1,(k)}(t;\theta)_\geq_0_$

for_all_$t\geq_0$_and_$k=0,1,\dots,d-2$_and_$(-1)^{d-2}\psi^{-1,(d-2)}(t;\theta)$_is_nonincreasing_and_ d-monotone_on_$[0,\infty)$.
That_is,_if_it_is_$d-2$_times_differentiable_and_the_derivatives_satisfy

:$_(-1)^k\psi^{-1,(k)}(t;\theta)_\geq_0_$

for_all_$t\geq_0$_and_$k=0,1,\dots,d-2$_and_$(-1)^{d-2}\psi^{-1,(d-2)}(t;\theta)$_is_nonincreasing_and_convex_function">convex_
Convex_or_convexity_may_refer_to:
_Science_and_technology
*__Convex_lens,_in_optics
_Mathematics
*_Convex_set,_containing_the_whole_line_segment_that_joins_points
**__Convex_polygon,_a_polygon_which_encloses_a_convex_set_of_points
**_Convex_polytop_...