Inverse-Wishart distribution

From testwiki
Jump to navigation Jump to search

Template:Short description Template:Probability distribution

In statistics, the inverse Wishart distribution, also called the inverted Wishart distribution, is a probability distribution defined on real-valued positive-definite matrices. In Bayesian statistics it is used as the conjugate prior for the covariance matrix of a multivariate normal distribution.

We say ๐— follows an inverse Wishart distribution, denoted as ๐—โˆผ๐’ฒโˆ’1(๐œณ,ฮฝ), if its inverse ๐—โˆ’1 has a Wishart distribution ๐’ฒ(๐œณโˆ’1,ฮฝ). Important identities have been derived for the inverse-Wishart distribution.[1]

Density

The probability density function of the inverse Wishart is:[2]

f๐—(๐—;๐œณ,ฮฝ)=|๐œณ|ฮฝ/22ฮฝp/2ฮ“p(ฮฝ2)|๐—|โˆ’(ฮฝ+p+1)/2eโˆ’12tr(๐œณ๐—โˆ’1)

where ๐— and ๐œณ are pร—p positive definite matrices, |โ‹…| is the determinant, and ฮ“p(โ‹…) is the multivariate gamma function.

Theorems

Distribution of the inverse of a Wishart-distributed matrix

If ๐—โˆผ๐’ฒ(๐œฎ,ฮฝ) and ๐œฎ is of size pร—p, then ๐€=๐—โˆ’1 has an inverse Wishart distribution ๐€โˆผ๐’ฒโˆ’1(๐œฎโˆ’1,ฮฝ) .[3]

Marginal and conditional distributions from an inverse Wishart-distributed matrix

Suppose ๐€โˆผ๐’ฒโˆ’1(๐œณ,ฮฝ) has an inverse Wishart distribution. Partition the matrices ๐€ and ๐œณ conformably with each other

๐€=[๐€11๐€12๐€21๐€22],๐œณ=[๐œณ11๐œณ12๐œณ21๐œณ22]

where ๐€ij and ๐œณij are piร—pj matrices, then we have

  1. ๐€11 is independent of ๐€11โˆ’1๐€12 and ๐€22โ‹…1, where ๐€22โ‹…1=๐€22โˆ’๐€21๐€11โˆ’1๐€12 is the Schur complement of ๐€11 in ๐€;
  2. ๐€11โˆผ๐’ฒโˆ’1(๐œณ11,ฮฝโˆ’p2);
  3. ๐€11โˆ’1๐€12โˆฃ๐€22โ‹…1โˆผMNp1ร—p2(๐œณ11โˆ’1๐œณ12,๐€22โ‹…1โŠ—๐œณ11โˆ’1), where MNpร—q(โ‹…,โ‹…) is a matrix normal distribution;
  4. ๐€22โ‹…1โˆผ๐’ฒโˆ’1(๐œณ22โ‹…1,ฮฝ), where ๐œณ22โ‹…1=๐œณ22โˆ’๐œณ21๐œณ11โˆ’1๐œณ12;

Conjugate distribution

Suppose we wish to make inference about a covariance matrix ๐œฎ whose prior p(๐œฎ) has a ๐’ฒโˆ’1(๐œณ,ฮฝ) distribution. If the observations ๐—=[๐ฑ1,โ€ฆ,๐ฑn] are independent p-variate Gaussian variables drawn from a N(๐ŸŽ,๐œฎ) distribution, then the conditional distribution p(๐œฎโˆฃ๐—) has a ๐’ฒโˆ’1(๐€+๐œณ,n+ฮฝ) distribution, where ๐€=๐—๐—T.

Because the prior and posterior distributions are the same family, we say the inverse Wishart distribution is conjugate to the multivariate Gaussian.

Due to its conjugacy to the multivariate Gaussian, it is possible to marginalize out (integrate out) the Gaussian's parameter ๐œฎ, using the formula p(x)=p(x|ฮฃ)p(ฮฃ)p(ฮฃ|x) and the linear algebra identity vTฮฉv=tr(ฮฉvvT):

f๐—โˆฃฮจ,ฮฝ(๐ฑ)=โˆซf๐—โˆฃ๐œฎ=ฯƒ(๐ฑ)f๐œฎโˆฃ๐œณ,ฮฝ(ฯƒ)dฯƒ=|๐œณ|ฮฝ/2ฮ“p(ฮฝ+n2)ฯ€np/2|๐œณ+๐€|(ฮฝ+n)/2ฮ“p(ฮฝ2)

(this is useful because the variance matrix ๐œฎ is not known in practice, but because ๐œณ is known a priori, and ๐€ can be obtained from the data, the right hand side can be evaluated directly). The inverse-Wishart distribution as a prior can be constructed via existing transferred prior knowledge.[4]

Moments

The following is based on Press, S. J. (1982) "Applied Multivariate Analysis", 2nd ed. (Dover Publications, New York), after reparameterizing the degree of freedom to be consistent with the p.d.f. definition above.

Let Wโˆผ๐’ฒ(๐œณโˆ’1,ฮฝ) with ฮฝโ‰ฅp and Xโ‰Wโˆ’1, so that Xโˆผ๐’ฒโˆ’1(๐œณ,ฮฝ).

The mean:[3]Template:Rp

E(๐—)=๐œณฮฝโˆ’pโˆ’1.

The variance of each element of ๐—:

Var(xij)=(ฮฝโˆ’p+1)ฯˆij2+(ฮฝโˆ’pโˆ’1)ฯˆiiฯˆjj(ฮฝโˆ’p)(ฮฝโˆ’pโˆ’1)2(ฮฝโˆ’pโˆ’3)

The variance of the diagonal uses the same formula as above with i=j, which simplifies to:

Var(xii)=2ฯˆii2(ฮฝโˆ’pโˆ’1)2(ฮฝโˆ’pโˆ’3).

The covariance of elements of ๐— are given by:

Cov(xij,xkโ„“)=2ฯˆijฯˆkโ„“+(ฮฝโˆ’pโˆ’1)(ฯˆikฯˆjโ„“+ฯˆiโ„“ฯˆkj)(ฮฝโˆ’p)(ฮฝโˆ’pโˆ’1)2(ฮฝโˆ’pโˆ’3)

The same results are expressed in Kronecker product form by von Rosen[5] as follows:

๐„(Wโˆ’1โŠ—Wโˆ’1)=c1ฮจโŠ—ฮจ+c2Vec(ฮจ)Vec(ฮจ)T+c2KppฮจโŠ—ฮจ๐‚๐จ๐ฏโŠ—(Wโˆ’1,Wโˆ’1)=(c1โˆ’c3)ฮจโŠ—ฮจ+c2Vec(ฮจ)Vec(ฮจ)T+c2KppฮจโŠ—ฮจ

where

c2=[(ฮฝโˆ’p)(ฮฝโˆ’pโˆ’1)(ฮฝโˆ’pโˆ’3)]โˆ’1c1=(ฮฝโˆ’pโˆ’2)c2c3=(ฮฝโˆ’pโˆ’1)โˆ’2,
Kpp is a p2ร—p2 commutation matrix
๐‚๐จ๐ฏโŠ—(Wโˆ’1,Wโˆ’1)=๐„(Wโˆ’1โŠ—Wโˆ’1)โˆ’๐„(Wโˆ’1)โŠ—๐„(Wโˆ’1).

There appears to be a typo in the paper whereby the coefficient of KppฮจโŠ—ฮจ is given as c1 rather than c2, and that the expression for the mean square inverse Wishart, corollary 3.1, should read

๐„[Wโˆ’1Wโˆ’1]=(c1+c2)ฮฃโˆ’1ฮฃโˆ’1+c2ฮฃโˆ’1๐ญ๐ซ(ฮฃโˆ’1).

To show how the interacting terms become sparse when the covariance is diagonal, let ฮจ=๐ˆ3ร—3 and introduce some arbitrary parameters u,v,w:

๐„(Wโˆ’1โŠ—Wโˆ’1)=uฮจโŠ—ฮจ+vvec(ฮจ)vec(ฮจ)T+wKppฮจโŠ—ฮจ.

where vec denotes the matrix vectorization operator. Then the second moment matrix becomes

๐„(Wโˆ’1โŠ—Wโˆ’1)=[u+v+wโ‹…โ‹…โ‹…vโ‹…โ‹…โ‹…vโ‹…uโ‹…wโ‹…โ‹…โ‹…โ‹…โ‹…โ‹…โ‹…uโ‹…โ‹…โ‹…wโ‹…โ‹…โ‹…wโ‹…uโ‹…โ‹…โ‹…โ‹…โ‹…vโ‹…โ‹…โ‹…u+v+wโ‹…โ‹…โ‹…vโ‹…โ‹…โ‹…โ‹…โ‹…uโ‹…wโ‹…โ‹…โ‹…wโ‹…โ‹…โ‹…uโ‹…โ‹…โ‹…โ‹…โ‹…โ‹…โ‹…wโ‹…uโ‹…vโ‹…โ‹…โ‹…vโ‹…โ‹…โ‹…u+v+w]

which is non-zero only when involving the correlations of diagonal elements of Wโˆ’1, all other elements are mutually uncorrelated, though not necessarily statistically independent. The variances of the Wishart product are also obtained by Cook et al.[6] in the singular case and, by extension, to the full rank case.

Muirhead[7] shows in Theorem 3.2.8 that if Apร—p is distributed as ๐’ฒp(ฮฝ,ฮฃ) and V is an arbitrary vector, independent of A then VTAVโˆผ๐’ฒ1(ฮฝ,ATฮฃA) and VTAVVTฮฃVโˆผฯ‡ฮฝโˆ’12, one degree of freedom being relinquished by estimation of the sample mean in the latter. Similarly, Bodnar et.al. further find that VTAโˆ’1VVTฮฃโˆ’1VโˆผInv-ฯ‡ฮฝโˆ’p+12 and setting V=(1,0,โ‹ฏ,0)T the marginal distribution of the leading diagonal element is thus

[Aโˆ’1]1,1[ฮฃโˆ’1]1,1โˆผ2โˆ’k/2ฮ“(k/2)xโˆ’k/2โˆ’1eโˆ’1/(2x),k=ฮฝโˆ’p+1

and by rotating V end-around a similar result applies to all diagonal elements [Aโˆ’1]i,i.

A corresponding result in the complex Wishart case was shown by Brennan and Reed[8] and the uncorrelated inverse complex Wishart ๐’ฒ๐’žโˆ’1(๐ˆ,ฮฝ,p) was shown by Shaman[9] to have diagonal statistical structure in which the leading diagonal elements are correlated, while all other element are uncorrelated.

p(xโˆฃฮฑ,ฮฒ)=ฮฒฮฑxโˆ’ฮฑโˆ’1exp(โˆ’ฮฒ/x)ฮ“1(ฮฑ).
i.e., the inverse-gamma distribution, where ฮ“1(โ‹…) is the ordinary Gamma function.
  • The Inverse Wishart distribution is a special case of the inverse matrix gamma distribution when the shape parameter ฮฑ=ฮฝ2 and the scale parameter ฮฒ=2.
  • Another generalization has been termed the generalized inverse Wishart distribution, ๐’ข๐’ฒโˆ’1. A pร—p positive definite matrix ๐— is said to be distributed as ๐’ข๐’ฒโˆ’1(๐œณ,ฮฝ,๐’) if ๐˜=๐—1/2๐’โˆ’1๐—1/2 is distributed as ๐’ฒโˆ’1(๐œณ,ฮฝ). Here ๐—1/2 denotes the symmetric matrix square root of ๐—, the parameters ๐œณ,๐’ are pร—p positive definite matrices, and the parameter ฮฝ is a positive scalar larger than 2p. Note that when ๐’ is equal to an identity matrix, ๐’ข๐’ฒโˆ’1(๐œณ,ฮฝ,๐’)=๐’ฒโˆ’1(๐œณ,ฮฝ). This generalized inverse Wishart distribution has been applied to estimating the distributions of multivariate autoregressive processes.[10]
  • A different type of generalization is the normal-inverse-Wishart distribution, essentially the product of a multivariate normal distribution with an inverse Wishart distribution.
  • When the scale matrix is an identity matrix, ฮจ=๐ˆ, and ฮฆ is an arbitrary orthogonal matrix, replacement of ๐— by ฮฆ๐—ฮฆT does not change the pdf of ๐— so ๐’ฒโˆ’1(๐ˆ,ฮฝ,p) belongs to the family of spherically invariant random processes (SIRPs) in some sense.Template:Clarify
Thus, an arbitrary p-vector V with l2 length VTV=1 can be rotated into the vector ๐œฑV=[100โ‹ฏ]T without changing the pdf of VT๐—V, moreover ๐œฑ can be a permutation matrix which exchanges diagonal elements. It follows that the diagonal elements of ๐— are identically inverse chi squared distributed, with pdf fx11 in the previous section though they are not mutually independent. The result is known in optimal portfolio statistics, as in Theorem 2 Corollary 1 of Bodnar et al,[11] where it is expressed in the inverse form VT๐œณVVT๐—Vโˆผฯ‡ฮฝโˆ’p+12.
  • As is the case with the Wishart distribution linear transformations of the distribution yield a modified inverse Wishart distribution. If ๐—๐ฉร—๐ฉโˆผ๐’ฒpโˆ’1(๐œณ,ฮฝ). and ๐œฃpร—p are full rank matrices then[12] ๐œฃ๐—๐œฃTโˆผ๐’ฒpโˆ’1(๐œฃ๐œณ๐œฃT,ฮฝ).
  • If ๐—๐ฉร—๐ฉโˆผ๐’ฒpโˆ’1(๐œณ,ฮฝ). and ๐œฃmร—p is mร—p,m<p of full rank m then[12] ๐œฃ๐—๐œฃTโˆผ๐’ฒmโˆ’1(๐œฃ๐œณ๐œฃT,ฮฝ).

See also

References

Template:Reflist

Template:ProbDistributions