Let S {\displaystyle \mathbb {S} } be the unit sphere in R d : S = { u ∈ R d : | u | = 1 } {\displaystyle \mathbb {R} ^{d}\colon \mathbb {S} =\{u\in \mathbb {R} ^{d}\colon |u|=1\}} . A random vector, X {\displaystyle X} , has a multivariate stable distribution - denoted as X ∼ S ( α , Λ , δ ) {\displaystyle X\sim S(\alpha ,\Lambda ,\delta )} -, if the joint characteristic function of X {\displaystyle X} is1
where 0 < α < 2, and for y ∈ R {\displaystyle y\in \mathbb {R} }
This is essentially the result of Feldheim,2 that any stable random vector can be characterized by a spectral measure Λ {\displaystyle \Lambda } (a finite measure on S {\displaystyle \mathbb {S} } ) and a shift vector δ ∈ R d {\displaystyle \delta \in \mathbb {R} ^{d}} .
Another way to describe a stable random vector is in terms of projections. For any vector u {\displaystyle u} , the projection u T X {\displaystyle u^{T}X} is univariate α − {\displaystyle \alpha -} stable with some skewness β ( u ) {\displaystyle \beta (u)} , scale γ ( u ) {\displaystyle \gamma (u)} and some shift δ ( u ) {\displaystyle \delta (u)} . The notation X ∼ S ( α , β ( ⋅ ) , γ ( ⋅ ) , δ ( ⋅ ) ) {\displaystyle X\sim S(\alpha ,\beta (\cdot ),\gamma (\cdot ),\delta (\cdot ))} is used if X is stable with u T X ∼ s ( α , β ( ⋅ ) , γ ( ⋅ ) , δ ( ⋅ ) ) {\displaystyle u^{T}X\sim s(\alpha ,\beta (\cdot ),\gamma (\cdot ),\delta (\cdot ))} for every u ∈ R d {\displaystyle u\in \mathbb {R} ^{d}} . This is called the projection parameterization.
The spectral measure determines the projection parameter functions by:
There are special cases where the multivariate characteristic function takes a simpler form. Define the characteristic function of a stable marginal as
The characteristic function is E exp ( i u T X ) = exp { − γ 0 α | u | α + i u T δ ) } {\displaystyle E\exp(iu^{T}X)=\exp\{-\gamma _{0}^{\alpha }|u|^{\alpha }+iu^{T}\delta )\}} The spectral measure is continuous and uniform, leading to radial/isotropic symmetry.3 For the multinormal case α = 2 {\displaystyle \alpha =2} , this corresponds to independent components, but so is not the case when α < 2 {\displaystyle \alpha <2} . Isotropy is a special case of ellipticity (see the next paragraph) – just take Σ {\displaystyle \Sigma } to be a multiple of the identity matrix.
The elliptically contoured multivariate stable distribution is a special symmetric case of the multivariate stable distribution. If X is α-stable and elliptically contoured, then it has joint characteristic function E exp ( i u T X ) = exp { − ( u T Σ u ) α / 2 + i u T δ ) } {\displaystyle E\exp(iu^{T}X)=\exp\{-(u^{T}\Sigma u)^{\alpha /2}+iu^{T}\delta )\}} for some shift vector δ ∈ R d {\displaystyle \delta \in R^{d}} (equal to the mean when it exists) and some positive definite matrix Σ {\displaystyle \Sigma } (akin to a correlation matrix, although the usual definition of correlation fails to be meaningful). Note the relation to characteristic function of the multivariate normal distribution: E exp ( i u T X ) = exp { − ( u T Σ u ) + i u T δ ) } {\displaystyle E\exp(iu^{T}X)=\exp\{-(u^{T}\Sigma u)+iu^{T}\delta )\}} obtained when α = 2.
The marginals are independent with X j ∼ S ( α , β j , γ j , δ j ) {\displaystyle X_{j}\sim S(\alpha ,\beta _{j},\gamma _{j},\delta _{j})} , then the characteristic function is
Observe that when α = 2 this reduces again to the multivariate normal; note that the iid case and the isotropic case do not coincide when α < 2. Independent components is a special case of discrete spectral measure (see next paragraph), with the spectral measure supported by the standard unit vectors.
If the spectral measure is discrete with mass λ j {\displaystyle \lambda _{j}} at s j ∈ S , j = 1 , … , m {\displaystyle s_{j}\in \mathbb {S} ,j=1,\ldots ,m} the characteristic function is
If X ∼ S ( α , β ( ⋅ ) , γ ( ⋅ ) , δ ( ⋅ ) ) {\displaystyle X\sim S(\alpha ,\beta (\cdot ),\gamma (\cdot ),\delta (\cdot ))} is d-dimensional, A is an m x d matrix, and b ∈ R m , {\displaystyle b\in \mathbb {R} ^{m},} then AX + b is m-dimensional α {\displaystyle \alpha } -stable with scale function γ ( A T ⋅ ) , {\displaystyle \gamma (A^{T}\cdot ),} skewness function β ( A T ⋅ ) , {\displaystyle \beta (A^{T}\cdot ),} and location function δ ( A T ⋅ ) + b T . {\displaystyle \delta (A^{T}\cdot )+b^{T}.}
Recently4 it was shown how to compute inference in closed-form in a linear model (or equivalently a factor analysis model), involving independent component models.
More specifically, let X i ∼ S ( α , β x i , γ x i , δ x i ) , i = 1 , … , n {\displaystyle X_{i}\sim S(\alpha ,\beta _{x_{i}},\gamma _{x_{i}},\delta _{x_{i}}),i=1,\ldots ,n} be a set of i.i.d. unobserved univariate drawn from a stable distribution. Given a known linear relation matrix A of size n × n {\displaystyle n\times n} , the observation Y i = ∑ i = 1 n A i j X j {\displaystyle Y_{i}=\sum _{i=1}^{n}A_{ij}X_{j}} are assumed to be distributed as a convolution of the hidden factors X i {\displaystyle X_{i}} . Y i = S ( α , β y i , γ y i , δ y i ) {\displaystyle Y_{i}=S(\alpha ,\beta _{y_{i}},\gamma _{y_{i}},\delta _{y_{i}})} . The inference task is to compute the most probable X i {\displaystyle X_{i}} , given the linear relation matrix A and the observations Y i {\displaystyle Y_{i}} . This task can be computed in closed-form in O(n3).
An application for this construction is multiuser detection with stable, non-Gaussian noise.
J. Nolan, Multivariate stable densities and distribution functions: general and elliptical case, BundesBank Conference, Eltville, Germany, 11 November 2005. See also http://academic2.american.edu/~jpnolan/stable/stable.html http://academic2.american.edu/~jpnolan/stable/stable.html ↩
Feldheim, E. (1937). Etude de la stabilité des lois de probabilité . Ph. D. thesis, Faculté des Sciences de Paris, Paris, France. ↩
User manual for STABLE 5.1 Matlab version, Robust Analysis Inc., http://www.RobustAnalysis.com http://www.RobustAnalysis.com ↩
D. Bickson and C. Guestrin. Inference in linear models with multivariate heavy-tails. In Neural Information Processing Systems (NIPS) 2010, Vancouver, Canada, Dec. 2010. https://www.cs.cmu.edu/~bickson/stable/ https://www.cs.cmu.edu/~bickson/stable/ ↩