\[ \mathbb{R}^p \ni X \sim N(\mu, \Sigma) \]
\[ AX \sim N(A\mu, A\Sigma A^T) \]
\[ (X-\mu)^T \Sigma^{-1}(X-\mu) \sim \chi^2_p \]
\[ (X-\mu)^T\Sigma^{\dagger} (X-\mu) \sim \chi^2_{\text{rank}(\Sigma)} \]
\[ (X-\mu)^TQ(X-\mu) \overset{D}{=} \sum_{j=1}^p \lambda_j(Q^{1/2}\Sigma Q^{1/2}) W_j \]
Above \(W_j \sim \chi^2_1\) independently, \(\lambda_j(A), 1 \leq i \leq p\) are the eigenvalues of \(A\).
Here \(Q^{1/2} = UD^{1/2}U^T\) where \(Q=UDU^T\). Could also use any square-root of \(Q\): \(AA^T=Q\)…

\[ \mathbb{R}^{n \times p } \ni X \sim N(M, \Sigma_R \otimes \Sigma_C) \]
IID rows will have \(\Sigma_R = I_{n \times n}\)
Mean: \(M \in \mathbb{R}^{n \times p}\)
Covariance: a Kronecker product
\[ \text{Cov}(a^TXb, c^TXd) = a^T\Sigma_R c \cdot b^T\Sigma_C d \]
\(A \otimes B\) a tensor…
Can be thought of as a linear map \(\mathbb{R}^{n \times p} \to \mathbb{R}^{n \times p}\)
Defined by
\[ \text{Tr}(E_{ij}(A \otimes B)E_{kl}) = A_{ik} \cdot B_{jl} \]
\[ AXB \sim N\left(AMB, (A \Sigma_R A^T) \otimes (B^T \Sigma_C B)\right) \]
\[ \text{Cov}(AXB, A'XB') = (A \Sigma_R (A')^T) \otimes (B^T \Sigma_C (B')) \]
\(AXB\) and \(A'XB'\) are independent if either
\(A \Sigma_R (A')^T=0\) or
\(B^T \Sigma_C B' =0\).
Suppose \(X \sim N(0, I_{n \times n} \otimes \Sigma_{p \times p})\)
Define
\[ W = X^TX \sim \text{Wishart}(n, \Sigma) \]
Degrees of freedom: \(n\).
Standard Wishart: \(\Sigma = I_{p \times p}\).
\[ AWA^T \sim \text{Wishart}(n, A\Sigma A^T) \]
\[ M_1 + M_2 \sim \text{Wishart}(n_1+n_2, \Sigma) \]
\[ X^TQX \overset{D}{=} \sum_{j=1}^n \lambda_j(Q) W_j \]
\[ X^TPX \sim \text{Wishart}(\text{tr}(P), \Sigma) \]
\[ (n-1)\hat{\Sigma} = n \hat{\Sigma}_{MLE} = X^TRX \overset{D}{=} \text{Wishart}(n-1, \Sigma) \]
Let \(H=n^{-1}11'\) be the hat matrix for the intercept-only model.
Then \(HX, RX\) are independent…
Let \(\mathbb{R}^p \ni Z \sim N(0,I)\) and \(W \sim \text{Wishart}(n, I_{p \times p})\) be independent.
The random variable
\[ n Z^T W^{-1}Z \sim T^2_{n,p} \]
Let \(W \sim \text{Wishart}(n, \Sigma_{p \times p})\) with \(n > p\).
Then for any fixed \(a\)
\[ \frac{a^T\Sigma^{-1}a}{a^TW^{-1}a} \sim \chi^2_{n-p+1} \]
\[ T^2 = Z^TZ \cdot \frac{nZ^TW^{-1}Z}{Z^TZ} \overset{D}{=} n \cdot \chi^2_p \cdot \frac{1}{\chi^2_{n-p+1}} \overset{D}{=} \frac{p n}{n-p+1} F_{p,n-p+1}. \]
\[ W = \begin{pmatrix} (W_{11})_{q \times q} & W_{12} \\ W_{21} & W_{22} \sim \text{Wishart}(k, \Sigma) \end{pmatrix} \]
\[ W_{22|1} = W_{22} - W_{21} W_{11} W_{12} \]
Let \(P_1, P_2\) are projections with \(P_1P_2=0\).
Then, \(X^TP_iX \sim \text{Wishart}(\text{Tr}(P_i), \Sigma)\) independently.
Let \(\mathbb{R}^{p \times p} \ni N \sim \text{Wishart}(n, \Sigma)\) and \(D \sim \text{Wishart}(d, \Sigma)\) be independent.
The matrix \(ND^{-1}\) is analogous to (a scalar multiple) of \(F_{n, d}\).
\[ X^TX, \qquad X \sim N(M, I \otimes \Sigma). \]
\[ w \mapsto \frac{|w|^{(n-p-1)/2}}{|\Sigma|^{n/2}} \exp\left(-\frac{1}{2}\text{Tr}(\Sigma^{-1}w)\right) \]
\[ - \frac{n}{2} \log \text{det}(\Theta). \]