Abstract
Information Geometry has been introduced by Rao, and axiomatized by Chentsov, to define a distance between statistical distributions that is invariant to non-singular parameterization transformations. For Doppler/Array/STAP Radar Processing, Information Geometry Approach will give key role to Homogenous Symmetric bounded domains geometry. For Radar, we will observe that Information Geometry metric could be related to Kähler metric, given by Hessian of Kähler potential (Entropy of Radar Signal given by \(-log[det(R)]\)). To take into account Toeplitz structure of Time/Space Covariance Matrix or Toeplitz-Block-Toeplitz structure of Space-Time Covariance matrix, Parameterization known as Partial Iwasawa Decomposition could be applied through Complex Autoregressive Model or Multi-channel Autoregressive Model. Then, Hyperbolic Geometry of Poincaré Unit Disk or Symplectic Geometry of Siegel Unit Disk will be used as natural space to compute “p-mean” (\(p=2\) for “mean”, \(p=1\) for “median”) of covariance matrices via Karcher flow derived from Weiszfeld algorithm extension on Cartan-Hadamard manifold. This new mathematical framework will allow development of Ordered Statistic (OS) concept for Hermitian Positive Definite Covariance Space/Time Toeplitz matrices or for Space-Time Toeplitz-Block-Toeplitz matrices. We will define Ordered Statistic High Doppler Resolution CFAR (OS-HDR-CFAR) and Ordered Statistic Space-Time Adaptive Processing (OS-STAP).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Agueh, M., Carlier, G.: Barycenters in the Wasserstein space. SIAM J. Math. Anal. 43, 904–924 (2011)
Airault, H.: Stochastic analysis on finite dimensional Siegel disks, approach to the finite dimensional Siegel disk and upper-half plane. Bull. Sci. Math. 128(7), 605–659 (2004)
Airault, H., Malliavin, P.: Regularized Brownian motion on the Siegel disk of infinite dimension. Ukrainian Math. J. 52(9), 1324–1333 (2000)
Airault, H., Malliavin, P., Thalmaier, A.: Brownian measures on Jordan-Virasoro curves associated to the Weil-Petersson metric. J. Funct. Anal. 259, 3037–3079 (2010)
Al-Bashrawi, S.A.: Reductive Lie Groups and Mostow Fibration, Master of Science, Dhahran, 2004
Armatte, M.: Fréchet et la médiane: un moment dans une histoire de la robustesse, J. Soc. Français Stat. 147(2), 67–72 (2006)
Arnaudon, M.: Espérances Conditionnelles et C-Martingales dans les Variétés, Séminaire de Probabilités-XXVIII. Lecture Notes in Mathematics, vol. 1583, pp. 300–311. Springer, Berlin (1994)
Arnaudon, M.: Barycentres Convexes et Approximations des Martingales dans les Variétés, Séminaire de Probabilités-XXIX. Lecture Notes in Mathematics, vol. 1613, pp. 70–85. Springer, Berlin (1995)
Arnaudon, M., Li, X.M.: Barycenters of measures transported by stochastic flows. Ann. Probab. 33(4), 1509–1543 (2005)
Arnaudon, M., Nielsen, F.: On approximating the Riemannian 1-center CoRR. doi:abs/1101.4718: 2011
Arnaudon, M., Dombry, C., Phan, A., Yang, L.: Stochastic algorithms for computing means of probability measures. Stochas. Process. Their Appl. http://hal.archives-ouvertes.fr/hal-00540623 (To appear)
Barbaresco, F.: Algorithme de Burg Régularisé FSDS. Comparaison avec l’algorithme de Burg MFE, XVème colloque GRETSI 1, 29–32 (1995)
Barbaresco, F.: Super Resolution Spectrum Analysis Regularization: Burg, Capon and Ago-antagonistic Algorithms, EUSIPCO-96, pp. 2005–2008, Trieste, Sept. 1996
Barbaresco, F.: Recursive Eigendecomposition via Autoregressive Analysis and Ago-antagonistic Regularization. In: Proc. ICASSP-97, Munich, Apr. 1997
Barbaresco, F.: Innovative tools for radar signal processing based on Cartan’s geometry of SPD matrices and information geometry. In: IEEE RadarCon, Rome, May 2008
Barbaresco, F.: Interactions between symmetric cone and information geometries: Bruhat-tits and Siegel spaces models for high resolution autoregressive Doppler imagery. In: ETVC’08 Conf., Ecole Polytechnique, Nov. 2008. Lecture Notes in Computer Science, vol. 5416. Springer, Berlin (2009)
Barbaresco, F., Bouyt, G.: Espace Riemannien symétrique et géométrie des espaces de matrices de covariance: équations de diffusion et calculs de médianes. In: GRETSI Conference, Dijon, Sept. 2009
Barbaresco, F.: New foundation of radar Doppler and array processing based on German mathematical works. In: International Radar Symposium, Hamburg, Sept. 2009
Barbaresco, F.: New foundation of radar Doppler signal processing based on advanced differential geometry of symmetric spaces: Doppler matrix CFAR and radar application. In: Radar’09 Conference, Bordeaux, Oct. 2009
Barbaresco, F.: Robust median-based STAP in inhomogeneous secondary data: Frechet information geometry of covariance matrices. In: 2nd French-Singaporian SONDRA Workshop on EM Modeling, New Concepts and Signal Processing For Radar Detection and Remote Sensing, pp. 25–28 , Cargese, Francem, May 2010
Barbaresco, F.: Geometric science of information: modern geometric foundation of radar signal processing. In: 8th International IEEE Conference on Communications, Bucharest, Romania, 10–12 June 2010
Barbaresco, F.: Science géométrique de l’Information: Géométrie des matrices de covariance, espace métrique de Fréchet et domaines bornés homogènes de Siegel. In: Conférence GRETSI’11, Bordeaux, Sept. 2011
Barbaresco, F.: Robust statistical radar processing in Fréchet metric space: OS-HDR-CFAR and OS-STAP processing in Siegel homogeneous bounded domains. In: Proceedings of IRS’11, International Radar Conference, Leipzig, Sept. 2011
Barbaresco, F.: Geometric radar processing based on Fréchet distance: information geometry versus optimal transport theory. In: Proceedings of IRS’11, International Radar Conference, Leipzig, Sept. 2011
Bassanelli, G.: On horospheres and holomorphic endomorphisms of the Siegel disc. In: Rendiconti del Seminario Matematico della Università di Padova, vol. 70, pp. 147–165 (1983)
Berezin, F.A.: Quantization in complex symmetric spaces. Math. USSR 9, 341–379 (1975)
Berger, M.: Les espaces symétriques non-compact. Ann. Sci. E.N.S. (\(3^{\acute{e}}{\rm m}{\rm e}\) série) 74(2), 85–177 (1957)
Bergman, S.: The Kernel Function and Conformal Mapping. Mathematical Survey and Monographs, vol. 5. American Mathematical Society, Providence (2000)
Bhashyam, B., Barbaresco, F.: Application of Riemannian mean of covariance matrices to space-time adaptive processing. Submitted to IEEE 7th Sensor Array and Multichannel Signal Processing Workshop (SAM), USA, 2012
Bhatia, R.: Positive Definite Matrices. Princeton Series in Applied Mathematics. Princeton University Press, illustrated edition, Princeton (2006)
Bourdon, M.: Structure conforme au bord et flot géodésique d’un CAT(-1)-espace. L’enseignement Math. 41, 63–102 (1995)
Brenier, Y.: Polar factorisation and monotone rearrangement of vector-valued functions. Comm. Pure Appl. Math. 44(4), 375–417 (1991)
Burbea, J., Rao, C.R.: Differential metrics in probability spaces. Probab. Math. Stat. 3(Fasc. 2), 241–258 (1984)
Calvo, M., Oller, J.M.: A distance between multivariate normal distribution based in an embedding into the Siegel group. J. Multivar. Anal. 35(2), 223–242 (1990)
Cartan, E.: Groupes simples clos et ouverts et géométrie Riemannienne. J. Math. Pure. Appl. 8, 1–34 (1929)
Cartan, E.: Sur les domaines bornés de l’espace de n variables complexes. In: Abh. Math, Seminar, Hamburg, 1935
Charon, N., Barbaresco, F.: Une nouvelle approche pour la détection de cibles dans les images radar basée sur des distances et moyennes dans des espaces de matrices de covariance. Revue Traitement du Sig. 26(4) (2009)
Chaure, C., Barbaresco, F.: New generation Doppler radar processing: ultra-fast robust Doppler spectrum barycentre computation scheme in Poincaré’s unit disk. In: EURAD’10 Conference, Paris, Sept. 2010
Chentsov, N.N.: Statistical Decision Rules and Optimal Inferences. Transactions of Mathematics Monograph, vol. 53. American Mathematical Society, Providence (1982; Published in Russian in 1972)
CIME: Geometry of Homogeneous Bounded Domains. CIME Summer Schools Urbino, Italy 1967. Springer, Berlin (2011)
Clerc, J.L., Koufani, K.: Primitive du cocycle de Maslov généralisé. Math. Ann. 337, 91–138 (2007)
Dall’Aglio, G.: Fréchet Classes: The Beginnings, Advances in Probability Distributions with Given Marginals. Mathematics and Its Applications. Kluwer, Dordrecht (1991)
Doss, S.: Sur la moyenne d’un élément aléatoire dans un espace distancié. Bull. Sci. Math. 73, 48–72 (1949)
Douady, A., Earle, C.J.: Conformally natural extension of homeomorphisms of circle. Acta Math. 157, 23–48 (1986)
Dowson, D.C., Landau, B.V.: The Fréchet distance between multivariate normal distributions. J. Multivar. Anal. 12, 450–455 (1982)
Earle, C.J.: Angular derivatives of the barycentric extension. Complex Var. Theory Appl. 11, 189–195 (1986)
Es-Sahib, A., Heinrich, H.: Barycentres canoniques sur un espace métrique à courbure négative. In: Séminaire de Probabilités XXXIII. Lecture Notes in Mathematics, vol. 1709, pp. 355–370. Springer, Berlin (1999)
Émery, M., Mokobodzki, G.: Sur le barycentre d’une probabilité dans une variété. Sém. de Probab. Strasbourg 25, 220–233 (1991)
Fortet, R., Mourier, E.: Convergence de la répartition empirique vers la répartition théorique. Ann. Sci. Ecole Norm. Sup. 70, 267–285 (1953)
Fréchet, M.: Sur la précision comparée de la moyenne et de la médiane. Aktuarské Vedy 5, 29–34 (1935)
Fréchet, M.: Comparaison des diverses mesures de la dispersion. Revue Inst. Int. Stat. 8(1), 1–12 (1940)
Fréchet, M.R.: Sur l’extension de certaines évaluations statistiques au cas de petits échantillons. Rev. Int. Stat. Inst. 11(3/4), 182–205 (1943) (Published in IHP Lecture in 1939)
Fréchet, M.R.: Les éléments aléatoires de nature quelconque dans un espace distancié. Ann. Inst. Henri Poincaré 10(4), 215–310 (1948)
Fréchet, M.: Sur la distance de deux lois de probabilité. C. R. Acad. Sci. Paris 244, 689–692 (1957)
Friedrich, T.: Die Fisher-Information und symplektische Strukturen. Math. Nachr. 153, 273–296 (1991)
Fubini, G.: The distance in general Fuchsian geometries. Proc. Natl. Acad. Sci. 26, 700–708 (1940)
Godement, R.: Introduction à la Théorie des Groupes de Lie. Springer, Berlin (2004)
Hua, L.-K.: Harmonic Analysis of Functions of Several Complex Variables in the Classical Domains. American Mathematical Society, Providence (1958)
Hua, L.K.: Inequalities involving determinant. Acta Math. Sin. 5, 463–470 (1955)
Hermann, R.: Geodesics of bounded, symmetric domains. Comm. Math. Helvetici 35, 1–8 (1960)
Hermann, R.: Geometric Aaspects of potential theory in the bounded symmetric domains. Math. Ann. 148, 349–366 (1962)
Hermann, R.: Geometric aspects of potential theory in the bounded symmetric domains II. Math. Ann. 151, 143–149 (1963)
Hermann, R.: Geometric aspects of potential theory in the bounded symmetric domains III. Math. Ann. 153, 384–394 (1963)
Herer, W.: Espérance mathématique au sens de Doss d’une variable aléatoire dans un espace métrique. C. R. Acad. Sci. Paris (Ser. I) 302, 131–134 (1991)
Itoh, M., Shishido, Y.: Fisher information metric and Poisson kernels. Diff. Geom. Appl. 26, 347–356 (2008)
Iwasawa, K.: On some types of topological groups. Ann. Math. 50(2), 507–558 (1949)
Kanhouche, R.: A Modified Burg Algorithm Equivalent In Results to Levinson Algorithm. CMLA, Sept. 2003. http://hal.inria.fr/docs/00/00/06/24/PDF/BurgLevRK.pdf (Preprint)
Karcher, H.: Riemannian center of mass and mollifier smoothing. Commun. Pure Appl. Math. 30(5), 509–541 (1977)
Karpelevitch, F.I.: The geometry of geodesics and the eigenfunctions of the Beltrami-Laplace operator on symmetric spaces. Trudy Moskov. Mat. Obsc. 14, 48–185 (translated as Trans. Moscow Math. Soc., pp. 51–199) (1967)
Koenker, R.: The median is the message: toward the Fréchet median. J. Soc. Française Stat. 147(2), 65–66 (2006)
Kolmogorov, A.N.: The method of the median in the theory of errors. Matermatichiskii Sbornik 38, 47–50 (1931)
Koszul, J.-L.: Sur la forme hermitienne canonique des espaces homogènes complexes. Can. J. Math. 7, 562–576 (1955)
Koszul, J.-L.: Exposés sur les Espaces Homogènes Symétriques. Publicacao da Sociedade de Matematica de Sao Paulo (1959)
Koszul, J.L.: Domaines bornés homogènes et orbites de groupes et transformations affines. Bull. SMF 89, 515–533 (1961)
Leray, J.: Complément à la Théorie d’Arnold de l’indice de Maslov. Convegno di Geometrica Simplettica et Fisica Matematica, Instituto di Alta Matematica, Roma (1973)
Leray, J.: Analyse lagrangienne et mécanique quantique. Publications de l’Université Louis Pasteur, Strasbourg (1978)
Levy, P.: Distance de deux variables aléatoires et distance de deux lois de probabilité. In: Fréchet, M. (ed.) Généralités sur les Probabilités de Variables Aléatoires, pp. 286–301. Gauthier-Villars, Paris (1937)
Lichnerowicz, A.: Variétés complexes et tenseur de Bergmann. Ann. Inst. Fourier 15(2), 345–407 (1965)
Lichnerowicz, A.: Sur les groupes d’automorphismes de certaines variétés kählériennes. C. R. Acad. Sci. Paris 239, 1344–1346 (1954)
Larotonda, G.: Geodesic Convexity Symmetric Spaces and Hilbert-Schmidt operators. Ph.D. Thesis, Buenos Aires, 2004
Maass, H.: Lectures on Siegel’s Modular Functions. Tata Institute of Fundamental Research, Bombay (1955) (Noted by T.P. Srinivasan)
Malliavin, P.: The canonical diffusion above the diffeomorphism group of the circle. C. R. Acad. Sci. 329, 325–329 (1999)
Malliavin, P.: Invariant or quasi-invariant probability measures for infinite dimensional groups. Jpn. J. Math. 3, 19–47 (2008)
McCann, R.J.: A convexity principle for interacting gases. Adv. Math. 128(1), 153–179 (1997)
Mitchell, J.: The kernel function in the geometry of matrices. Duke Math. J. 19, 575–584 (1944)
Mitchell, J.: A theorem in the geometry of matrices. Proc. Am. Math. Soc. 2(2) (1951)
Mitchell, J.: Potential theory in the geometry of matrices. Trans. Am. Math. Soc. 79(2) (1955)
Mneimné, R., Testard, F.: Introduction à la Théorie des Groupes de Lie Classiques. Hermann, Paris (1986)
Monge, G.: Mémoire sur la théorie des déblais et des remblais. Hist. Acad. R. Sci. Paris 666–704 (1781)
Mostow, G.D.: Covariant fiberings of Klein spaces. Am. J. Math. 77, 247–278 (1955)
Mostow, G.D.: Some new decomposition theorems for semi-simple groups. Mem. Am. Math. Soc. 14, 31–54 (1955)
Mostow, G.D.: Covariant fiberings of Klein spaces, II. Am. J. Math. 84(3), 466–474 (1962)
Nielsen, F., Nock, R.: Hyperbolic Voronoi diagrams made easy. In: Proceedings of the 2010 International Conference on Computational Science and Its Applications (ICCSA ’10). IEEE Computer Society, Washington, DC, USA, pp. 74–80. doi:10.1109/ICCSA.2010.37
Oudin, M., Delmas, J.P., Barbaresco, F.: Siegel distance-based covariance matrix selection for space-time adaptive processing. In: Radar’09, Bordeaux, Oct. 2009
Paulin, F.: Un groupe hyperbolique est déterminé par son bord. J. Lond. Math. Soc. 54, 50–74 (1996)
Piatetskii-Shapiro, I.: Automorphic Functions and the Geometry of Classical Domains, 340 pp. Gordon and Breach Science, Amsterdam (1969)
Picard, J.: Barycentres et martingales sur une variété. Ann. IHP 30, 647–702 (1994)
Poincaré, H.: Les fonctions analytiques de deux variables et la représentation conforme. Rend. Circ. Mat. Palermo (1884–1940) 23, 185–220 (1907)
Rao, C.R.: Information and the accuracy attainable in the estimation of statistical parameters. Bull. Calcutta Math. Soc. 37, 81–89 (1945)
Roman, J.R., et al.: Parametric adaptive matched filter for airborne radar applications. IEEE Trans. AES 36(2), 677–692 (2000)
Shima, H.: The Geometry of Hessian Structures. World Scientic, Singapore (2007)
Siegel, C.L.: Symplectic geometry. Am. J. Math. 65, 1–86 (1943)
Siegel, C.L.: Analytic Functions of Several Complex Variables. Princeton University Press, Princeton (1949)
Siegel, C.L.: Lectures on Quadratic Forms. Tata Institute of Fundamental Research, Bombay (1957) (Noted by K.G. Ramanathan)
Souriau, J.-M.: Construction explicite de l’indice de Maslov. In: Group Theoretical Methods in Physics. Lecture Notes in Physics, vol. 50, pp. 17–148. Springer, Berlin (1975)
Souriau, J.M.: La structure Symplectique de la mécanique décrite par Lagrange en 1811. J. Hist. Sci. Marseille ( Mécanique et Mathématiques), Vieille Charité 94, 45–54 (4–5 Oct. 1985)
Sung, N.K., Stangenhaus, G., David, H.T.: A Cramer-Rao analogue for median-unbiaised estimators. Trabajos De Estadistica 5(2), 83–94 (1990)
Sturm, C.T.: Nonlinear Martingale theory for processes with values in metric spaces of nonpositive curvature. Ann. Probab. 30(3), 1195–1222 (2002)
Tumpach, A.B.: Mostow’s Decomposition Theorem for L*-Groups and Applications to Affine Coadjoint Orbits and Stable Manifolds (Preprint 2011)
Takatsu, A.: On Wasserstein geometry of the space of Gaussian measures. Osaka J. Math. (2011). doi:abs/0801.2250 (To appear)
Tumpach, A.B.: Variétés Kählériennes et Hyperkählériennes de Dimension Infinie. Ph.D. Thesis, Ecole Polytechnique, Palaiseau, France, July 2005
Villani, C.: Optimal Transport, Old and New. Springer, Berlin (2008). http://math.univ-lyon1.fr/homes-www/villani/Cedrif/B07D.StFlour.pdf
Vinberg, E.B.: The theory of convex homogeneous cones. Trans. Am. Math. Soc. (Trudy Moskov. Mat. Obshch) 12, 340–403 (1963)
Wax, M., Kailath, T.: Efficient Inversion of Toeplitz-Block Toeplitz matrix. IEEE Trans. ASSP 31(5), 1218–1221 (1983)
Weil, A.: Introduction à l’étude des variétés Kählériennes. Actualités Scientifiques et Industrielles, vol. 1267. Publications de l’Institut de Mathématiques de l’université de Nancago VI. Hermann, Paris (1958)
Weiszfeld, E.: Sur le point pour lequel la somme des distances de n points donnés est minimum. Tohoku Math. J. 43, 355–386 (1937)
Yang, L., Arnaudon, M., Barbaresco, F.: Geometry of covariance matrices and computation of median. In: MaxEnt’10 Conference, France, July 2010
Yang, L., Arnaudon, M., Barbaresco, F.: Riemannian median, geometry of covariance matrices and radar target detection. In: EURAD’10 Conference, Paris, Sept. 2010
Yang, L.: Riemannian median and its estimation. LMS J. Comput. Math. 13, 461–479 (2011)
Yang, L.: Medians of Probability Measures in Riemannian Manifolds and Applications to Radar Target Detection. Ph.D. Thesis, Poitiers, 15 Dec. 2011
Yang, L., Arnaudon, M., Barbaresco, F.: Geometry of covariance matrices and computation of median. AIP Conf. Proc. 1305, 479–486 (2011)
Zelikin, M.I.: Control Theory and Optimization I. Homogeneous Spaces and the Riccati Equation in the Calculus of Variations. Springer, Berlin (2000)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Appendix: Iwasawa, Cartan and Hua Coordinates
Appendix: Iwasawa, Cartan and Hua Coordinates
-
Cartan Decomposition on Poincaré Unit Disk
\( D=\left\{ {z/\left| z \right|<1} \right\} \)
\( g\in SU(1,1)\;{\text{ with}}\;g=\left({{\begin{array}{ll} a&b\\ {b^{*}}&{a^{*}} \end{array} }}\right)\;{\text{ and}}\;g(z)=\frac{az+b}{b^{*}z+a^{*}}\;{\text{ where}}\;\left| a \right|^{2}-\left| b \right|^{2}=1 \)
\( \text{ Cartan} \text{ Decomposition:}\;g=u_\varPhi d_\tau u_\varPsi \)
\({\text{ with}}\; u_\varPhi =\left(\begin{array}{ll} e^{i\varPhi }&0\\ 0&e^{-i\varPhi } \end{array}\right)\;{\text{ and}}\;d_\tau =\left(\begin{array}{ll} ch(t)&sh(t)\\ sh(t)&ch(t) \end{array}\right)\)
\( {\Rightarrow } \left\{ \begin{array}{l} a=e^{i\left({\varPhi +\varPsi }\right)}ch(\tau )\\ b=e^{i(\varPhi -\varPsi )}sh(\tau ) \end{array}\right.\Rightarrow z=b\left(a^{*}\right)^{-1}=th(\tau )e^{i2\varPhi }\)
\( ds^{2}=8\left({d\tau ^{2}+sh^{2}(2\tau )d\theta ^{2}} \right)\Rightarrow \varDelta _{LB}\cdot =\frac{\partial ^{2}\cdot }{\partial \tau ^{2}}+\coth (2\tau )\frac{\partial \cdot }{\partial \tau }+\frac{1}{sh^{2}(\tau )}\frac{\partial ^{2}\cdot }{\partial \varPhi ^{2}} \)
\( F(z)=-\ln \left({1-\left| z \right|^{2}} \right)=2\ln ch(\tau ) \)
-
Iwasawa Decomposition on Poincaré Unit Disk (Lemma of Iwasawa for Radial Coordinates in Poincaré Disk)
\( D=\left\{ {z/\left| z \right|<1} \right\} \)
\( g\in SU(1,1)\;{\text{ with}}\;g=\left({{\begin{array}{ll} a&b\\ {b^{*}}&{a^{*}} \end{array} }} \right)\;{\text{ and}}\;g(z)=\frac{az+b}{b^{*}z+a^{*}}\;{\text{ where}}\;\left| a \right|^{2}-\left| b \right|^{2}=1 \)
\( \text{ Iwasawa} \text{ Dec.:}\; g=h\left({K_\theta D_\tau N_\xi } \right)\;{\text{ with}}\;h(g)=CgC^{-1}, C=\frac{1}{\sqrt{2}}\left({{\begin{array}{ll} 1&{-i} \\ 1&i \end{array} }} \right) \)
\( K_\theta =\left({{\begin{array}{ll} {\cos \left({\theta /2} \right)}&{\sin \left({\theta /2} \right)} \\ {-\sin \left({\theta /2} \right)}&{\cos \left({\theta /2} \right)} \end{array} }} \right), D_\tau =\left({{\begin{array}{ll} {ch(t)}&{sh(t)}\\ {sh(t)}&{ch(t)} \end{array}}} \right)\;\text{ and}\;N_\xi =\left({{\begin{array}{ll} 1&\xi \\ 0&1 \end{array} }} \right)\)
\( \Rightarrow \left\{ {\begin{array}{l} a=e^{i\theta /2}\left({ch\left({\tau /2} \right)+i\frac{u}{2}e^{-\frac{\tau }{2}}} \right)\\ b=e^{i\theta /2}\left({sh\left({\tau /2} \right)-i\frac{u}{2}e^{-\frac{\tau }{2}}} \right) \end{array}} \right.\;{\text{ with}}\;u=\xi e^{\tau } \)
-
Hua-Cartan Decomposition on Siegel Unit Disk (Lemma of Hua for Radial Coordinates in Siegel Disk)
\( \tau =\left[ {\tau _1 }\; {\tau _2}\; \cdots \; {\tau _n } \right]\;{\text{ with} \text{0}}\;\le \tau _n \le \tau _{n-1} \le \cdots \le \tau _1 \)
\( A_0 (\tau )=diag\left[ {ch(\tau _1 )}\; {ch(\tau _2 )}\; \cdots \; {ch(\tau _n )} \right] \)
\( B_0 (\tau )=diag\left[ {sh(\tau _1 )}\; {sh(\tau _2 )}\; \cdots \; {sh(\tau _n )} \right] \)
\( g=\left[\begin{array}{cc} A&B \\ {B^{*}}&{A^{*}} \end{array} \right]\in Sp(n), g=\left[\begin{array}{ll} {U^{t}}&0 \\ 0&{U^{+}} \end{array}\right]\left[\begin{array}{ll} {A_0 }&{B_0 }\\ {B_0 }&{A_0 } \end{array}\right]\left[\begin{array}{ll} {V^{*}}&0 \\ 0&V \end{array} \right] \)
\(\text{ there} \text{ exist}\;U\;{\text{ and}}\;V\;{\text{ unitary} \text{ complex} \text{ matrices} \text{ of} \text{ order} \text{ n}}\;\)
\( \left[\begin{array}{l} A=U^{t}A_0 (\tau )V^{*} \\ B=U^{t}B_0 (\tau )V \end{array} \right].\Rightarrow \left(\begin{array}{ll} {A_0 (\tau )}&{B_0 (\tau )}\\ {B_0 (\tau )}&{A_0 (\tau )} \end{array}\right)=\exp \left(\begin{array}{ll} 0&{Z_2 (\tau )}\\ {Z_2 (\tau )}&0 \end{array}\right) \)
\( \text{ with}\;Z_2 (\tau )=diag\left[\begin{array}{llll} {\tau _1 }&{\tau _2 }&\cdots&{\tau _n } \end{array} \right] \)
\( \text{ Let}\;Z=B\left({A^{*}} \right)^{-1}=U^{t}PU, P^{2}=B_0^2 \left({A_0^{-1} } \right)^{2}=\;{\text{ diag}}\;\left[{eigen\left({ZZ^{+}} \right)} \right] \)
\( P=diag\left[\begin{array}{llll} {th(\tau _1 )}&{th(\tau _2 )}&\cdots&{th(\tau _n )} \end{array} \right] \)
-
Iwasawa Decomposition on Siegel Unit Disk (Iwasawa Coordinates in Siegel Disk)
\( SD_n =\left\{ {Z/ZZ^{+}<I} \right\} \;{\text{ and}}\;g(Z)=\left({AZ+B} \right)\left({B^{*}Z+A^{*}} \right)^{-1} \)
\( g=\left(\begin{array}{ll} A&B\\ {B^{*}}&{A^{*}} \end{array} \right), h(g)=CgC^{-1}\;{\text{ with}}\;C=\frac{1}{\sqrt{2}}\left(\begin{array}{ll} I&{-iI}\\ I&{iI} \end{array} \right) \)
\(\begin{array}{l} K=\left\{ {g/h(g)=\left(\begin{array}{cc} U&0\\ 0&{U^{*}} \end{array}\right), U\;\text{ unitary} \text{ order} \text{ n}}\right\} \\ \quad \;\Rightarrow g=\frac{1}{2}\left(\begin{array}{cc} {U+U^{*}}&{-i\left({U-U^{*}} \right)}\\ {i\left({U-U^{*}} \right)}&{U+U^{*}} \end{array} \right)=C^{-1}\left(\begin{array}{cc} U&0\\ 0&{U^{*}} \end{array} \right)C \end{array} \)
\( A=\left\{ {A=\left(\begin{array}{cc} {A_0 +B_0 }&0\\ 0&{A_0 -B_0 } \end{array}\right)=\left(\! \begin{array}{ll} diag\big [ {e^{\tau _1}}\; \cdots \; {e^{\tau _n }} \big ]&0\\ 0&diag\big [{e^{-\tau _1}}\; \cdots \;{e^{-\tau _n }}\big ] \end{array}\!\right)} \right\} \)
\( N=\left\{ N/N=\left\{ \begin{array}{ll} I&S\\ 0&I \end{array} \right\} , S\;{\text{ real} \text{ matrix} \text{ of} \text{ order} \text{ n}} \right\} \)
\( h(A)=\left(\begin{array}{cc} {A_0 }&{B_0 } \\ {B_0 }&{A_0 } \end{array} \right), h(N)=\left(\begin{array}{cc} {I+i/2 \cdot S}&{-i/2\cdot S}\\ {i/2 \cdot S}&{I-i/2\cdot S} \end{array} \right) \\ \Rightarrow h(KAN)=\left(\begin{array}{cc} A_{1}&B_{1}\\ B_{1}^{*}&A_{1}^{*} \end{array}\right) \)
\( \text{ with}\;\left\{ \begin{array}{l} A_1 =U\left[{A_0 +i\left({A_0 +B_0 } \right)\frac{1}{2}S} \right]\\ B_1 =U\left[{B_0 -i\left({A_0 +B_0 } \right)\frac{1}{2}S} \right] \end{array} \right. \)
-
Iwasawa/Cartan Coordinates on Siegel Unit Disk (Iwasawa/Cartan Coordinates Relation in Siegel Disk)
\( M_S =\left(\begin{array}{cc} {I+i/2\cdot S}&{-i/2\cdot S}\\ {i/2\cdot S}&{I-i/2\cdot S} \end{array}\right),\left(\begin{array}{cc} {A_0 }&{B_0}\\ {B_0 }&{A_0} \end{array}\right)M_S =M_{\tilde{S}} \left(\begin{array}{cc} {A_0 }&{B_0}\\ {B_0 }&{A_0} \end{array}\right) \)
\( \text{ with}\;\left({A_0 +B_0 } \right)S=\tilde{S}\left({A_0 -B_0 } \right)\)
\(g=\left(\begin{array}{ll} A&B\\ {B^{*}}&{A^{*}} \end{array}\right)\Rightarrow \left\{ \begin{array}{l}\text{ Cartan:}\;\left\{ \begin{array}{l} A=U^{t}A_0 V^{*}\\ B=U^{t}B_0 V\\ \end{array}\right. \\ \text{ Iwasawa:}\;\left\{ \begin{array}{l} A=U_1 \left[{A_0 +i\left({A_0 +B_0 } \right)\frac{1}{2}S} \right]\\ B=U_1 \left[{B_0 -i\left({A_0 +B_0 } \right)\frac{1}{2}S} \right]\\ \end{array}\right.\end{array}\right.\)
\(\begin{array}{l}Z=B\left({A^{*}} \right)^{-1}=U_1 HU_1^t =U^{t}PU\\ \text{ with}\;H=\left[{B_0 \left({A_0 +B_0 } \right)-\frac{i}{2}\tilde{S}} \right]\left[{A_0 \left({A_0 +B_0 } \right)-\frac{i}{2}\tilde{S}} \right]^{-1} \end{array}\)
“Il est clair que si l’on parvenait à démontrer que tous les domaines homogènes dont la forme \(\varPhi = \sum \nolimits _{i,j} \frac{\partial ^{2} \log K({z,\bar{z}})}{\partial z_{i} \partial \bar{z}_{j}}\) est définie positive sont symétriques, toute la théorie des domaines bornés homogènes serait élucidée. C’est là un problème de géométrie hermitienne certainement très intéressant”
Last sentence in Elie Cartan, “Sur les domaines bornés de l’espace de n variables complexes”, Abh. Math. Seminar, Hamburg, 1935
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Barbaresco, F. (2013). Information Geometry of Covariance Matrix: Cartan-Siegel Homogeneous Bounded Domains, Mostow/Berger Fibration and Fréchet Median. In: Nielsen, F., Bhatia, R. (eds) Matrix Information Geometry. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30232-9_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-30232-9_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30231-2
Online ISBN: 978-3-642-30232-9
eBook Packages: EngineeringEngineering (R0)