On Transformations and Determinants of Wishart Variables on Symmetric Cones

Let x and y be independent Wishart random variables on a simple Jordan algebra V. If c is a given idempotent of V, write \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$x = x_1 + x_{12} + x_0 $$ \end{document} for the decomposition of x in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$V(c,1) \oplus V(c,1/2) \oplus V(c,0)$$ \end{document} where V(c,λ) equals the set of v such that cv=λv. In this paper we compute E(det(ax+by)) and some generalizations of it (Theorems 5 and 6). We give the joint distribution of (x1, x12, y0) where \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$y_0 = x_0 - P(x_{12} )x_1^{ - 1} $$ \end{document} and P is the quadratic representation in V. In statistics, if x is a real positive definite matrix divided into the blocks x11, x12, x21, x22, then y0 is equal to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$x_{22.1} = x_{22} - x_{21} x_{11}^{ - 1} x_{12} $$ \end{document}. We also compute the joint distribution of the eigenvalues of x (Theorem 9). These results have been known only when V is the algebra of Hermitian matrices with entries in the real or the complex field. To obtain our results, we need to prove several new results on determinants in Jordan algebras. They include in particular extensions of some classical parts of linear algebra like Leibnitz's determinant formula (Proposition 2) or Schur's complement (Eqs. (3.3) and (3.6)).