Symplectic and Kähler Structures on Statistical Manifolds Induced from Divergence Functions
|
|
- Hilda O’Connor’
- 5 years ago
- Views:
Transcription
1 Symplectic and Kähler Structures on Statistical Manifolds Induced from Divergence Functions Jun Zhang 1, and Fubo Li 1 University of Michigan, Ann Arbor, Michigan, USA Sichuan University, Chengdu, China junz@umich.edu Abstract. Divergence functions play a central role in information geometry. Given a manifold M, a divergence function D is a smooth, nonnegative function on the product manifold M M that achieves its global minimum of zero (with semi-positive definite Hessian) at those points that form its diagonal submanifold M x. It is well-known (Eguchi, 198) that the statistical structure on M (a Riemmanian metric with a pair of conjugate affine connections) can be constructed from the second and third derivatives of D evaluated at M x. Here, we investigate Riemannian and symplectic structures on M M as induced from D. Wederivea necessary condition about D for M M to admit a complex representation and thus become a Kähler manifold. In particular, Kähler potential is shown to be globally defined for the class of -divergence induced by a strictly convex function (Zhang, 004). In such case, we recover α- Hessian structure on the diagonal manifold M x, which is equiaffine and displays the so-called called reference-representation biduality. Divergence functons are fundamental objects in Information Geometry, the differential geometric study of the manifold of (parametric or non-parametric) probability distributions (see Amari, 1985; Amari and Nagaoka, 000). They measure the directed (asymmetric) difference between two points on this manifold, where each point represents a probability function or a vector in the parametric space. Divergence functions induce the statistical structure of a manifold a statistical structure consists of a Riemannian metric along with a pair of torsion-free affine connections that are conjugate to each other with respect to the metric. When the conjugate connections are Ricci-symmetric, i.e., when the connections are equiaffine, then the manifold admits, in addition, a pair of parallel volumn forms. Those geometric structures on tangent bundles were reviewed in Zhang and Matsuzoe (009). In this paper, we investigate how to use divergence functions to construct geometric structures of the cotangent bundle, specifically, the symplectic structure of a statistical manifold. For the class of -divergence functions (Zhang, 004), the statistical manifold admits, in addition, a compatible complex structure, and hence becomes a Kähler manifold. Corresponding author. F. Nielsen and F. Barbaresco (Eds.): GSI 013, LNCS 8085, pp , 013. c Springer-Verlag Berlin Heidelberg 013
2 596 J. Zhang and F. Li 1 Statistical Manifolds Induced by Divergence Functions 1.1 -Divergence Functions Definition. A divergence function D : M M R 0 on a manifold M under a local chart V R n is a smooth function (differentiable up to third order) which satisfies (i) D(x, y) 0 x, y V with equality holding if and only if x = y; (ii) D i (x, x) =D,j (x, x) =0, i, j {1,,,n}; (iii) D i,j (x, x) is positive definite. Here D i (x, y) = x id(x, y), D,i (x, y) = y id(x, y) denote partial derivatives with respect to the i-th component of point x and of point y, respectively, D i,j (x, y) = x i y j D(x, y) the second-order mixed derivative, etc. Zhang (004) proposed the construction of a general family of divergece functions based on a convex function. This class of divergence functions, called - divergence here, included many familiar examples, such as Bregman divergence (Bregman, 1967), Kullback-Leibler divergence, f-divergence (Csiszar, 1967), α- divergence (Amari, 1985), U-divergence (Eguchi, 008), Jenson difference (Rao, 1987), etc. Let : V R n R,x (x) be a strictly convex function. For any two points x M, y M and any real number α ( 1, 1), strict convexity of guarantees 1 α (x)+ 1+α ( 1 α (y) x + 1+α ) y 0. The inequality sign is reversed when α > 1) (with equality holding only when x = y). Assuming to be sufficiently smooth, a family of functions on V V,as indexed by α R, can be constructed as -divergence functions, denoted D (α) (Zhang, 004): D (α) (x, y) = 4 1 α Clearly, D (α) (x, y) =D( α) ( 1 α (x)+ 1+α ( 1 α (y) x + 1+α )) y. (1) (y, x), and D (±1) (x, y) is defined by taking lim α ±1 : D (1) D ( 1) (x, y) = D( 1) (y, x) =B (x, y), (x, y) = D (1) (y, x) =B (y, x). where B is the Bregman divergence B (x, y) =(x) (y) x y, (y) () where = [ 1,, n ]and, n denotes the canonical pairing of x = [x 1,,x n ] V and u =[u 1,,u n ] Ṽ (dual to V ): x, u n = n i=1 xi u i.
3 Symplectic and Kähler Structures on Statistical Manifolds Induced α-hessian Structure Induced from -Divergence A statistical manifold (M,g,Γ,Γ ) is equipped with a one-parameter family of affine connections, the so-called (Amari, 1985) α-connections Γ (α) (α R), where Γ (α) = 1+α Γ + 1 α Γ and Γ (0) = Γ. It is well-known that a statistical structure {M,g,Γ,Γ } can be induced from a divergence function. Lemma 1 (Eguchi, 1983). A divergence function induces a Riemannian metric g and a pair of torsion-free conjugate connections Γ, Γ given as g ij (x) = D i,j (x, y) x=y ; Γ ij,k (x) = D ij,k (x, y) x=y ; Γij,k k,ij(x, y) x=y. It is easily verifiable that Γ ij,k,γij,k as given above are torsion free1 and satisfy the conjugacy condition with respect to the induced metric g ij. Hence {M,g,Γ,Γ } as induced is a statistical manifold (Lauritzen, 1987). Applying the Eguchi construction to D,wehave Proposition 1 (Zhang, 004). The manifold {M,g,Γ (α),γ ( α) } associated with D (α) (x, y) is given by g ij (x) = ij (3) and Γ (α) α ij,k (x) =1 ijk, Γ (α) ij,k (x) =1+α ijk. (4) Here, ij, ijk denote, respectively, second and third partial derivatives of (x) ij = (x) x i x j, ijk = 3 (x) x i x j x k. The manifold {M,g,Γ (α),γ ( α) } is called an α-hessian manifold. It is equipped with an α-independent metric and a family of α-transitively flat connections Γ (α), i.e., Γ (α), with Γ (α) ij,k = Γ ( α) ij,k and Levi-Civita connection Γ ij,k (x) = 1 ijk. The concept of α-hessian manifold is a proper generalization of the dually flat Hessian manifold (Shima, 001; Shima and Yagi, 1997) induced from a strict convex function. Straightforward calculation shows that: Proposition (Zhang, 004; Zhang, 007; Zhang and Matsuzoe, 009). For α-hessian manifold {M,g,Γ (α),γ ( α) }, (i) the curvature tensor of the α-connection is given by: R (α) μνij = 1 α 4 ( ilν jkμ ilμ jkν )Ψ lk = R (α) l,k with Ψ ij being the matrix inverse of ij ; ijμν, 1 Conjugate connections which admit torsion has been recently studied by Calin, Matsuzoe, and Zhang (009) and Matsuzoe (010). Uohashi (00) called Γ (α) α-transitively flatness when Γ, Γ are dually flat.
4 598 J. Zhang and F. Li (ii) all α-connections are equiaffine, with the α-parallel volume forms (i.e., the volume forms that are parallel under α-connections) given by Ω (α) =det[ ij ] 1 α. α-hessian manifold manifests the so-called reference-representation biduality (Zhang 004; 006; Zhang and Matsuzoe, 009). Its auto-parallel curves have analytic expression. From d x i ds + j,k Γ (α)i dx j dx k jk ds ds =0 and substituting (4), we obtain d x i ki ds + 1 α dx j kij ds i i,l dx k ds ( ) d 1 α =0 ds k x =0. So the auto-parallel curves of an α-hessian manifold all have the form ( ) 1 α k x = a k s (α) + b k where the scalar s is the arc length and a k,b k,k =1,c...,nare constant vectors (determined by a point and the direction along which the auto-parallel curve flows through). For α = 1, the auto-parallel curves are given by u k = k (x) = a k s + b k are affine coordinates as previously noted. Symplectic Structue Induced by Divergence Functions A divergence function D is given as a bi-variable function on M (of dimension n). We now view it as a (single-variable) function on M M (of dimension n) that assumes zero value along the diagonal Δ M M M. We will use D to induce both a symplectic form and a compatible metric on M M, which, when restricted to Δ M, is a Lagrange submanifold that carries a statistical structure. Barndorff-Nielsen and Jupp (1997) associated a symplectic form on M M with D (called york there), defined as (apart from a minus sign that we add here) ω D (x, y) = D i,j (x, y)dx i dy j (5) (the comma separates the variable being in the first slot versus the second slot for differentiation). For example, Bregman divergence B (given by ()) induces the symplectic form ij dx i dy j. Fixing a particular y or a particular x in M M results in two n-dimensional submanifolds of M M that will be denoted, respectively, M x M {y} and M y {x} M. Let us write out the canonical symplectic form ω x on the cotangent bundle T M x given by ω x = dx i dξ i.
5 Symplectic and Kähler Structures on Statistical Manifolds Induced 599 Given D, we define a map L D from M M T M x, (x, y) (x, ξ) givenby L D : (x, y) (x, D i (x, y)dx i ). It is easily to check that in a neighborhood of the diagonal Δ M M M, the map L D is a diffeomorphism since the Jacobian matrix of the map ( δij D ij 0 D i,j ) is nondegenerate in such a neighborhood of the diagonal Δ M. We calculate the pullback of this symplectic form (defined on T M x )tom M: L D ω x = L D (dx i dξ i )=dx i dd i (x, y) = dx i (D ij (x, y)dx j + D i,j dy j )=D i,j (x, y)dx i dy j. (Here D ij dx i dx j =0sinceD ij (x, y) =D ji (x, y) always holds.) On the other hand, we consider the canonical symplectic form ω y = dy i dη i on M y and define a map R D from M M T M y, (x, y) (y, η) givenby R D : (x, y) =(y, D,i (x, y)dy i ). Using R D to pullback ω y to M M yields an analogous formula. Proposition 3. The symplectic form ω D (as in Eqn. 5) defined on M M is the pullback by the maps L D and R D of the canonical symplectic form ω x defined on T M x and ω y defined on T M y : L D ω x = D i,j (x, y)dx i dy j = ω D, RD ω y = D i,j (x, y)dx i dy j = ω D..1 Almost Complex, Hermite Metric, and Kähler Structures An almost complex structure J on M M is defined by a vector bundle isomorphism (from T M M to itself), with the property that J = I. Requiring J to be compatible with ω D,thatis, ω D (JX,JY)=ω D (X, Y ), X, Y T (x,y) M M, we may obtain a constraint on the divergence function D. From ( ) ( ω D x i, y j = ω D J x i,j ) ( y j = ω D y i, ) x j = ω D ( x j, y i we require, and subsequently call a divergence function proper if and only if ), D i,j = D j,i, (6)
6 600 J. Zhang and F. Li or explicitly D x i y j = D x j y i. Note that this condition is always satisfied on Δ M, by the definition of a divergence function D, which has allowed us to define a Riemannian structure on Δ M (Lemma 1). We now require it to be satisfied on M M (at least a neighborhood of Δ M. For proper divergence functions, we can induce a metric g D on M M the induced Riemannian (Hermit) metric g D is defined by g D (X, Y )=ω D (X, JY ). It is easily to verify g D is invariant under the almost complex structure J. The metric components are given by: g ij = g D ( x i, ) ( x j = ω D x i,j ) ( x j = ω D x i, ) y j = D i,j, ( ) ( g,ij = g D y i, y j = ω D y i,j ) ( y j = ω D y i, ) x j = D j,i, ( ) ( g i,j = g D x i, y j = ω D x i,j ) ( y j = ω D x i, ) x j =0. So the desired Riemannian metric on M M is g D = D i,j (dx i dx j + dy i dy j). In short, while a divergence function induces a Riemannian structure on the diagonal manifold Δ M of M M, a proper divergence function induces a Riemannian structure on M M that is compatible with ω D. We now discuss the Kähler structure on the product manifold M M. By definition, ds = g D 1ω ( D = D i,j dx i dx j + dy i dy j) + ( 1D i,j dx i dy j dy i dx j) = D i,j (dx i + 1dy i) ( dx j 1dy j) = D i,j dz i d z j. Now introduce complex coordinates z = x + 1y, ( z + z D(x, y) =D, z z ) D(z, z), 1
7 Symplectic and Kähler Structures on Statistical Manifolds Induced 601 so D z i z j = 1 4 (D ij + D,ij )= 1 D z i z j. If D satisfies D ij + D,ij = κd i,j (7) where κ is a constant, then M M admits a Kähler potential (and hence is a Kähler manifold) ds = κ D z i z j dzi d z j.. Kähler Structure Induced from -Divergence With respect to the -divergence (1), observe that ( 1 α x + 1+α ) ( y = ( 1 α + 1+α )z+(1 α 1+α ) ) z (α) (z, z), (8) we have (α) ( ( z i z j = 1+α 1 α ij α ) ( 1 α 4 z + 1+α ) ) z 1 which is symmetric in i, j. Both (6) and (7) are satisfied. The symplectic form, under the complex coordinates, is given by ( 1 α ω (α) = ij x + 1+α ) dx i dy j = 4 1 (α) 1+α z i z j dzi d z j and the line-element is given by ds (α) = 8 (α) 1+α z i z j dzi d z j. Theorem 1. A smooth, strictly convex function : U M R induces a a family of Kähler structure (M,ω (α),g (α) ) defined on U U M M with 1. the symplectic form ω (α) is given by ω (α) = (α) ij dxi dy j which is compatiable with the canonical almost complex structure ω (α) (JX,JY)=ω (α) (X, Y ), where X, Y are vector fields on U U;. the Riemannian metric g (α),compatiblewithj and ω (α) above, is given by g (α) = (α) ij (dxi dx j + dy i dy j );
8 60 J. Zhang and F. Li 3. the Kähler structure ds (α) = (α) ij dzi d z j = with the Kähler potential given by Here, (α) ij = ij ( 1 α x + 1+α y). 1+α (α) (z, z). 8 1+α (α) z i z j. For the diagonal manifold Δ M = {(x, x) :x M}, a basis of its tangent space T (x,x) Δ M can be selected as e i = 1 ( x i + y i ). The Riemannian metric on the diagonal, induced from g (α) is g (α) (e i,e j ) x=y = g (α),e i e j = (α) kl (dx k dx l + dy k dy l ), = (α) ij (x, x) = ij(x). 1 ( x i + y i ) 1 ( x j + y j ) Therefore, restricting to the diagonal Δ M, g (α) reduces to the Riemannian metric induced by the divergence D (α) through the Eguchi method. References 1. Amari, S.: Differential Geometric Methods in Statistics. Lecture Notes in Statistics, vol. 8. Springer, New York (1985) (reprinted in 1990). Amari, S., Nagaoka, H.: Method of Information Geometry. AMS Monograph. Oxford University Press (000) 3. Barndorff-Nielsen, O.E., Jupp, P.E.: Yorks and Symplectic Structures. Journal of Statistical Planning and Inferrence 63, (1997) 4. Bregman, L.M.: The relaxation method of finding the common point of convex sets and its application to the solution of problems in convex programming. USSR Computational Mathematics and Physics 7, (1967) 5. Calin, O., Matsuzoe, H.: Zhang. J. Generalizations of conjugate connections. In: Trends in Differential Geometry, Complex Analysis and Mathematical Physics: Proceedings of the 9th International Workshop on Complex Structures and Vector Fields, pp (009) 6. Csiszár, I.: On topical properties of f-divergence. Studia Mathematicarum Hungarica, (1967) 7. Eguchi, S.: Second order efficiency of minimum contrast estimators in a curved exponential family. Annals of Statistics 11, (1983)
9 Symplectic and Kähler Structures on Statistical Manifolds Induced Eguchi, S.: Information divergence geometry and the application to statistical machine learning. In: Emmert-Streib, F., Dehmer, M. (eds.) Information Theory and Statistical Learning, pp Springer (008) 9. Lauritzen, S.: Statistical manifolds. In: Amari, S., Barndorff-Nielsen, O., Kass, R., Lauritzen, S., Rao, C.R. (eds.) Differential Geometry in Statistical Inference, Hayward, CA. IMS Lecture Notes, vol. 10, pp (1987) 10. Matsuzoe, M.: Statistical manifolds and affine differential geometry. Advanced Studies in Pure Mathematics 57, (010) 11. Rao, C.R.: Differential metrics in probability spaces. In: Amari, S., Barndorff- Nielsen, O., Kass, R., Lauritzen, S., Rao, C.R. (eds.) Differential Geometry in Statistical Inference, Hayward, CA. IMS Lecture Notes, vol. 10, pp (1987) 1. Shima, H.: Hessian Geometry, Shokabo, Tokyo (001) (in Japanese) 13. Shima, H., Yagi, K.: Geometry of Hessian manifolds. Differential Geometry and its Applications 7, (1997) 14. Uohashi, K.: On α-conformal equivalence of statistical manifolds. Journal of Geometry 75, (00) 15. Zhang, J.: Divergence function, duality, and convex analysis. Neural Computation 16, (004) 16. Zhang, J.: Referential duality and representational duality on statistical manifolds. In: Proceedings of the Second International Symposium on Information Geometry and its Applications, Tokyo, pp (006) 17. Zhang, J.: A note on curvature of α-connections on a statistical manifold. Annals of Institute of Statistical Mathematics 59, (007) 18. Zhang, J., Matsuzoe, H.: Dualistic differential geometry associated with a convex function. In: Gao, D.Y., Sherali, H.D. (eds.) Advances in Applied Mathematics and Global Optimization (Dedicated to Gilbert Strang on the Occasion of His 70th Birthday), Advances in Mechanics and Mathematics, ch. 13, vol. III, pp Springer (009)
Information geometry of Bayesian statistics
Information geometry of Bayesian statistics Hiroshi Matsuzoe Department of Computer Science and Engineering, Graduate School of Engineering, Nagoya Institute of Technology, Nagoya 466-8555, Japan Abstract.
More informationAN AFFINE EMBEDDING OF THE GAMMA MANIFOLD
AN AFFINE EMBEDDING OF THE GAMMA MANIFOLD C.T.J. DODSON AND HIROSHI MATSUZOE Abstract. For the space of gamma distributions with Fisher metric and exponential connections, natural coordinate systems, potential
More informationJune 21, Peking University. Dual Connections. Zhengchao Wan. Overview. Duality of connections. Divergence: general contrast functions
Dual Peking University June 21, 2016 Divergences: Riemannian connection Let M be a manifold on which there is given a Riemannian metric g =,. A connection satisfying Z X, Y = Z X, Y + X, Z Y (1) for all
More informationSUBTANGENT-LIKE STATISTICAL MANIFOLDS. 1. Introduction
SUBTANGENT-LIKE STATISTICAL MANIFOLDS A. M. BLAGA Abstract. Subtangent-like statistical manifolds are introduced and characterization theorems for them are given. The special case when the conjugate connections
More informationAFFINE SPHERES AND KÄHLER-EINSTEIN METRICS. metric makes sense under projective coordinate changes. See e.g. [10]. Form a cone (1) C = s>0
AFFINE SPHERES AND KÄHLER-EINSTEIN METRICS JOHN C. LOFTIN 1. Introduction In this note, we introduce a straightforward correspondence between some natural affine Kähler metrics on convex cones and natural
More informationF -Geometry and Amari s α Geometry on a Statistical Manifold
Entropy 014, 16, 47-487; doi:10.3390/e160547 OPEN ACCESS entropy ISSN 1099-4300 www.mdpi.com/journal/entropy Article F -Geometry and Amari s α Geometry on a Statistical Manifold Harsha K. V. * and Subrahamanian
More information) y....(y m. p(χ,y) lx=z
HIROSHIMA MATH. J. 23 (1993), 327-332 Any statistical manifold has a contrast function On the C 3 -functions taking the minimum at the diagonal of the product manifold Dedicated to Professor Masahisa Adachί
More informationBERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS
BERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS SHOO SETO Abstract. These are the notes to an expository talk I plan to give at MGSC on Kähler Geometry aimed for beginning graduate students in hopes to motivate
More information1. Geometry of the unit tangent bundle
1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consider (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations
More informationInformation geometry of the power inverse Gaussian distribution
Information geometry of the power inverse Gaussian distribution Zhenning Zhang, Huafei Sun and Fengwei Zhong Abstract. The power inverse Gaussian distribution is a common distribution in reliability analysis
More informationIntroduction to Information Geometry
Introduction to Information Geometry based on the book Methods of Information Geometry written by Shun-Ichi Amari and Hiroshi Nagaoka Yunshu Liu 2012-02-17 Outline 1 Introduction to differential geometry
More informationLECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES. 1. Introduction
LECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES 1. Introduction Until now we have been considering homogenous spaces G/H where G is a Lie group and H is a closed subgroup. The natural
More informationA brief introduction to Semi-Riemannian geometry and general relativity. Hans Ringström
A brief introduction to Semi-Riemannian geometry and general relativity Hans Ringström May 5, 2015 2 Contents 1 Scalar product spaces 1 1.1 Scalar products...................................... 1 1.2 Orthonormal
More informationInformation Geometry of Positive Measures and Positive-Definite Matrices: Decomposable Dually Flat Structure
Entropy 014, 16, 131-145; doi:10.3390/e1604131 OPEN ACCESS entropy ISSN 1099-4300 www.mdpi.com/journal/entropy Article Information Geometry of Positive Measures and Positive-Definite Matrices: Decomposable
More informationarxiv:math/ v1 [math.dg] 29 Sep 1998
Unknown Book Proceedings Series Volume 00, XXXX arxiv:math/9809167v1 [math.dg] 29 Sep 1998 A sequence of connections and a characterization of Kähler manifolds Mikhail Shubin Dedicated to Mel Rothenberg
More informationSOME ALMOST COMPLEX STRUCTURES WITH NORDEN METRIC ON THE TANGENT BUNDLE OF A SPACE FORM
ANALELE ŞTIINŢIFICE ALE UNIVERSITĂŢII AL.I.CUZA IAŞI Tomul XLVI, s.i a, Matematică, 2000, f.1. SOME ALMOST COMPLEX STRUCTURES WITH NORDEN METRIC ON THE TANGENT BUNDLE OF A SPACE FORM BY N. PAPAGHIUC 1
More informationLECTURE 5: COMPLEX AND KÄHLER MANIFOLDS
LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS Contents 1. Almost complex manifolds 1. Complex manifolds 5 3. Kähler manifolds 9 4. Dolbeault cohomology 11 1. Almost complex manifolds Almost complex structures.
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
More informationAppendix A Information Geometry Calculator
Appendix A Information Geometry Calculator The book comes with a software companion, which is an Information Geometry calculator. The software is written in C# and runs on any PC computer endowed with.net
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationGravity theory on Poisson manifold with R-flux
Gravity theory on Poisson manifold with R-flux Hisayoshi MURAKI (University of Tsukuba) in collaboration with Tsuguhiko ASAKAWA (Maebashi Institute of Technology) Satoshi WATAMURA (Tohoku University) References
More informationA Crash Course of Floer Homology for Lagrangian Intersections
A Crash Course of Floer Homology for Lagrangian Intersections Manabu AKAHO Department of Mathematics Tokyo Metropolitan University akaho@math.metro-u.ac.jp 1 Introduction There are several kinds of Floer
More informationMATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus
MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, 205 Elementary tensor calculus We will study in this section some basic multilinear algebra and operations on tensors. Let
More informationclass # MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS
class # 34477 MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS [DG] stands for Differential Geometry at https://people.math.osu.edu/derdzinski.1/courses/851-852-notes.pdf [DFT]
More informationSelf-dual conformal gravity
Self-dual conformal gravity Maciej Dunajski Department of Applied Mathematics and Theoretical Physics University of Cambridge MD, Paul Tod arxiv:1304.7772., Comm. Math. Phys. (2014). Dunajski (DAMTP, Cambridge)
More informationHomogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky
Homogeneous para-kähler Einstein manifolds Dmitri V. Alekseevsky Hamburg,14-18 July 2008 1 The talk is based on a joint work with C.Medori and A.Tomassini (Parma) See ArXiv 0806.2272, where also a survey
More informationComplex and real hypersurfaces of locally conformal Kähler manifolds
Complex and real hypersurfaces of locally conformal Kähler manifolds Odessa National Economic University Varna 2016 Topics 1 Preliminaries 2 Complex surfaces of LCK-manifolds 3 Real surfaces of LCK-manifolds
More information1 First and second variational formulas for area
1 First and second variational formulas for area In this chapter, we will derive the first and second variational formulas for the area of a submanifold. This will be useful in our later discussion on
More informationAs always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing).
An Interlude on Curvature and Hermitian Yang Mills As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing). Suppose we wanted
More informationInference. Data. Model. Variates
Data Inference Variates Model ˆθ (,..., ) mˆθn(d) m θ2 M m θ1 (,, ) (,,, ) (,, ) α = :=: (, ) F( ) = = {(, ),, } F( ) X( ) = Γ( ) = Σ = ( ) = ( ) ( ) = { = } :=: (U, ) , = { = } = { = } x 2 e i, e j
More informationConification of Kähler and hyper-kähler manifolds and supergr
Conification of Kähler and hyper-kähler manifolds and supergravity c-map Masaryk University, Brno, Czech Republic and Institute for Information Transmission Problems, Moscow, Russia Villasimius, September
More informationOn the geometry of higher order Lagrange spaces.
On the geometry of higher order Lagrange spaces. By Radu Miron, Mihai Anastasiei and Ioan Bucataru Abstract A Lagrange space of order k 1 is the space of accelerations of order k endowed with a regular
More informationarxiv: v3 [math.pr] 4 Sep 2018
Information Geometry manuscript No. (will be inserted by the editor) Logarithmic divergences from optimal transport and Rényi geometry Ting-Kam Leonard Wong arxiv:1712.03610v3 [math.pr] 4 Sep 2018 Received:
More informationFrom holonomy reductions of Cartan geometries to geometric compactifications
From holonomy reductions of Cartan geometries to geometric compactifications 1 University of Vienna Faculty of Mathematics Berlin, November 11, 2016 1 supported by project P27072 N25 of the Austrian Science
More informationInformation geometry of mirror descent
Information geometry of mirror descent Geometric Science of Information Anthea Monod Department of Statistical Science Duke University Information Initiative at Duke G. Raskutti (UW Madison) and S. Mukherjee
More informationHigher codimension CR structures, Levi-Kähler reduction and toric geometry
Higher codimension CR structures, Levi-Kähler reduction and toric geometry Vestislav Apostolov (Université du Québec à Montréal) May, 2015 joint work in progress with David Calderbank (University of Bath);
More informationη = (e 1 (e 2 φ)) # = e 3
Research Statement My research interests lie in differential geometry and geometric analysis. My work has concentrated according to two themes. The first is the study of submanifolds of spaces with riemannian
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
More information4.7 The Levi-Civita connection and parallel transport
Classnotes: Geometry & Control of Dynamical Systems, M. Kawski. April 21, 2009 138 4.7 The Levi-Civita connection and parallel transport In the earlier investigation, characterizing the shortest curves
More informationThe Calabi Conjecture
The Calabi Conjecture notes by Aleksander Doan These are notes to the talk given on 9th March 2012 at the Graduate Topology and Geometry Seminar at the University of Warsaw. They are based almost entirely
More informationSection 2. Basic formulas and identities in Riemannian geometry
Section 2. Basic formulas and identities in Riemannian geometry Weimin Sheng and 1. Bianchi identities The first and second Bianchi identities are R ijkl + R iklj + R iljk = 0 R ijkl,m + R ijlm,k + R ijmk,l
More informationChapter 2 Exponential Families and Mixture Families of Probability Distributions
Chapter 2 Exponential Families and Mixture Families of Probability Distributions The present chapter studies the geometry of the exponential family of probability distributions. It is not only a typical
More informationInformation Geometry: Background and Applications in Machine Learning
Geometry and Computer Science Information Geometry: Background and Applications in Machine Learning Giovanni Pistone www.giannidiorestino.it Pescara IT), February 8 10, 2017 Abstract Information Geometry
More informationarxiv: v1 [cs.lg] 17 Aug 2018
An elementary introduction to information geometry Frank Nielsen Sony Computer Science Laboratories Inc, Japan arxiv:1808.08271v1 [cs.lg] 17 Aug 2018 Abstract We describe the fundamental differential-geometric
More informationInformation Geometry on Hierarchy of Probability Distributions
IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 47, NO. 5, JULY 2001 1701 Information Geometry on Hierarchy of Probability Distributions Shun-ichi Amari, Fellow, IEEE Abstract An exponential family or mixture
More informationDifferential Forms, Integration on Manifolds, and Stokes Theorem
Differential Forms, Integration on Manifolds, and Stokes Theorem Matthew D. Brown School of Mathematical and Statistical Sciences Arizona State University Tempe, Arizona 85287 matthewdbrown@asu.edu March
More informationDifferential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18
Differential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18 Required problems (to be handed in): 2bc, 3, 5c, 5d(i). In doing any of these problems, you may assume the results
More informationIntrinsic Differential Geometry with Geometric Calculus
MM Research Preprints, 196 205 MMRC, AMSS, Academia Sinica No. 23, December 2004 Intrinsic Differential Geometry with Geometric Calculus Hongbo Li and Lina Cao Mathematics Mechanization Key Laboratory
More informationLECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES
LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very non-linear. However, there exist many smooth manifolds which admit very nice partial linear structures.
More informationarxiv: v1 [math.dg] 21 Sep 2007
ON THE GAUSS MAP WITH VANISHING BIHARMONIC STRESS-ENERGY TENSOR arxiv:0709.3355v1 [math.dg] 21 Sep 2007 WEI ZHANG Abstract. We study the biharmonic stress-energy tensor S 2 of Gauss map. Adding few assumptions,
More informationRigidity and Non-rigidity Results on the Sphere
Rigidity and Non-rigidity Results on the Sphere Fengbo Hang Xiaodong Wang Department of Mathematics Michigan State University Oct., 00 1 Introduction It is a simple consequence of the maximum principle
More informationMoment Maps and Toric Special Holonomy
Department of Mathematics, University of Aarhus PADGE, August 2017, Leuven DFF - 6108-00358 Delzant HyperKähler G 2 Outline The Delzant picture HyperKähler manifolds Hypertoric Construction G 2 manifolds
More informationContact and Symplectic Geometry of Monge-Ampère Equations: Introduction and Examples
Contact and Symplectic Geometry of Monge-Ampère Equations: Introduction and Examples Vladimir Rubtsov, ITEP,Moscow and LAREMA, Université d Angers Workshop "Geometry and Fluids" Clay Mathematical Institute,
More informationChapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves
Chapter 3 Riemannian Manifolds - I The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves embedded in Riemannian manifolds. A Riemannian manifold is an abstraction
More informationLECTURE 1: LINEAR SYMPLECTIC GEOMETRY
LECTURE 1: LINEAR SYMPLECTIC GEOMETRY Contents 1. Linear symplectic structure 3 2. Distinguished subspaces 5 3. Linear complex structure 7 4. The symplectic group 10 *********************************************************************************
More informationTesi di Laurea Magistrale in Matematica presentata da. Claudia Dennetta. Symplectic Geometry. Il Relatore. Prof. Massimiliano Pontecorvo
UNIVERSITÀ DEGLI STUDI ROMA TRE FACOLTÀ DI SCIENZE M.F.N. Tesi di Laurea Magistrale in Matematica presentata da Claudia Dennetta Symplectic Geometry Relatore Prof. Massimiliano Pontecorvo Il Candidato
More informationSOME PROPERTIES OF COMPLEX BERWALD SPACES. Cristian IDA 1
ulletin of the Transilvania University of raşov Vol 3(52) - 2010 Series III: Mathematics, Informatics, Physics, 33-40 SOME PROPERTIES OF COMPLEX ERWALD SPACES Cristian IDA 1 Abstract The notions of complex
More informationAn Introduction to Riemann-Finsler Geometry
D. Bao S.-S. Chern Z. Shen An Introduction to Riemann-Finsler Geometry With 20 Illustrations Springer Contents Preface Acknowledgments vn xiii PART ONE Finsler Manifolds and Their Curvature CHAPTER 1 Finsler
More informationOpen Questions in Quantum Information Geometry
Open Questions in Quantum Information Geometry M. R. Grasselli Department of Mathematics and Statistics McMaster University Imperial College, June 15, 2005 1. Classical Parametric Information Geometry
More informationarxiv: v3 [math.dg] 13 Mar 2011
GENERALIZED QUASI EINSTEIN MANIFOLDS WITH HARMONIC WEYL TENSOR GIOVANNI CATINO arxiv:02.5405v3 [math.dg] 3 Mar 20 Abstract. In this paper we introduce the notion of generalized quasi Einstein manifold,
More informationTopic: First Chern classes of Kähler manifolds Mitchell Faulk Last updated: April 23, 2016
Topic: First Chern classes of Kähler manifolds itchell Faulk Last updated: April 23, 2016 We study the first Chern class of various Kähler manifolds. We only consider two sources of examples: Riemann surfaces
More informationFundamental Materials of Riemannian Geometry
Chapter 1 Fundamental aterials of Riemannian Geometry 1.1 Introduction In this chapter, we give fundamental materials in Riemannian geometry. In this book, we assume basic materials on manifolds. We give,
More informationHow to recognise a conformally Einstein metric?
How to recognise a conformally Einstein metric? Maciej Dunajski Department of Applied Mathematics and Theoretical Physics University of Cambridge MD, Paul Tod arxiv:1304.7772., Comm. Math. Phys. (2014).
More informationWARPED PRODUCTS PETER PETERSEN
WARPED PRODUCTS PETER PETERSEN. Definitions We shall define as few concepts as possible. A tangent vector always has the local coordinate expansion v dx i (v) and a function the differential df f dxi We
More informationNOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS
NOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS 1. What is a tensor? Let V be a finite-dimensional vector space. 1 It could be R n, it could be the tangent space to a manifold at a point, or it could just
More informationApplications of Information Geometry to Hypothesis Testing and Signal Detection
CMCAA 2016 Applications of Information Geometry to Hypothesis Testing and Signal Detection Yongqiang Cheng National University of Defense Technology July 2016 Outline 1. Principles of Information Geometry
More informationModuli space of special Lagrangians in almost Kahler spaces
Moduli space of special Lagrangians in almost Kahler spaces LI MA Department of Mathematical Sciences, Tsinghua University, Beijing 100084, China Manuscript received on August 30, 2000; accepted for publication
More information7 The cigar soliton, the Rosenau solution, and moving frame calculations
7 The cigar soliton, the Rosenau solution, and moving frame calculations When making local calculations of the connection and curvature, one has the choice of either using local coordinates or moving frames.
More informationManifolds in Fluid Dynamics
Manifolds in Fluid Dynamics Justin Ryan 25 April 2011 1 Preliminary Remarks In studying fluid dynamics it is useful to employ two different perspectives of a fluid flowing through a domain D. The Eulerian
More informationERRATUM TO AFFINE MANIFOLDS, SYZ GEOMETRY AND THE Y VERTEX
ERRATUM TO AFFINE MANIFOLDS, SYZ GEOMETRY AND THE Y VERTEX JOHN LOFTIN, SHING-TUNG YAU, AND ERIC ZASLOW 1. Main result The purpose of this erratum is to correct an error in the proof of the main result
More informationON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES
ON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES CLAUS GERHARDT Abstract. We prove that the mean curvature τ of the slices given by a constant mean curvature foliation can be used
More informationTHE HODGE DECOMPOSITION
THE HODGE DECOMPOSITION KELLER VANDEBOGERT 1. The Musical Isomorphisms and induced metrics Given a smooth Riemannian manifold (X, g), T X will denote the tangent bundle; T X the cotangent bundle. The additional
More informationA GEODESIC EQUATION IN THE SPACE OF SASAKIAN METRICS. Dedicated to Professor S.T. Yau on the occasion of his 60th birthday
A GEODESIC EQUATION IN THE SPACE OF SASAKIAN ETRICS PENGFEI GUAN AND XI ZHANG Dedicated to Professor S.T. Yau on the occasion of his 60th birthday This paper is to draw attention to a geodesic equation
More informationH-convex Riemannian submanifolds
H-convex Riemannian submanifolds Constantin Udrişte and Teodor Oprea Abstract. Having in mind the well known model of Euclidean convex hypersurfaces [4], [5] and the ideas in [1], many authors defined
More informationIntroduction to Extremal metrics
Introduction to Extremal metrics Preliminary version Gábor Székelyhidi Contents 1 Kähler geometry 2 1.1 Complex manifolds........................ 3 1.2 Almost complex structures.................... 5 1.3
More informationMetrics and Holonomy
Metrics and Holonomy Jonathan Herman The goal of this paper is to understand the following definitions of Kähler and Calabi-Yau manifolds: Definition. A Riemannian manifold is Kähler if and only if it
More informationMILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES
MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES NILAY KUMAR In these lectures I want to introduce the Chern-Weil approach to characteristic classes on manifolds, and in particular, the Chern classes.
More informationGravitation: Tensor Calculus
An Introduction to General Relativity Center for Relativistic Astrophysics School of Physics Georgia Institute of Technology Notes based on textbook: Spacetime and Geometry by S.M. Carroll Spring 2013
More informationDIFFERENTIAL GEOMETRY. LECTURE 12-13,
DIFFERENTIAL GEOMETRY. LECTURE 12-13, 3.07.08 5. Riemannian metrics. Examples. Connections 5.1. Length of a curve. Let γ : [a, b] R n be a parametried curve. Its length can be calculated as the limit of
More informationThe Strominger Yau Zaslow conjecture
The Strominger Yau Zaslow conjecture Paul Hacking 10/16/09 1 Background 1.1 Kähler metrics Let X be a complex manifold of dimension n, and M the underlying smooth manifold with (integrable) almost complex
More informationRiemannian Curvature Functionals: Lecture I
Riemannian Curvature Functionals: Lecture I Jeff Viaclovsky Park City athematics Institute July 16, 2013 Overview of lectures The goal of these lectures is to gain an understanding of critical points of
More informationCENTROAFFINE HYPEROVALOIDS WITH EINSTEIN METRIC
CENTROAFFINE HYPEROVALOIDS WITH EINSTEIN METRIC Udo Simon November 2015, Granada We study centroaffine hyperovaloids with centroaffine Einstein metric. We prove: the hyperovaloid must be a hyperellipsoid..
More informationH-projective structures and their applications
1 H-projective structures and their applications David M. J. Calderbank University of Bath Based largely on: Marburg, July 2012 hamiltonian 2-forms papers with Vestislav Apostolov (UQAM), Paul Gauduchon
More informationIn this lecture we define tensors on a manifold, and the associated bundles, and operations on tensors.
Lecture 12. Tensors In this lecture we define tensors on a manifold, and the associated bundles, and operations on tensors. 12.1 Basic definitions We have already seen several examples of the idea we are
More informationElements of differential geometry
Elements of differential geometry R.Beig (Univ. Vienna) ESI-EMS-IAMP School on Mathematical GR, 28.7. - 1.8. 2014 1. tensor algebra 2. manifolds, vector and covector fields 3. actions under diffeos and
More informationTHE GEOMETRY OF B-FIELDS. Nigel Hitchin (Oxford) Odense November 26th 2009
THE GEOMETRY OF B-FIELDS Nigel Hitchin (Oxford) Odense November 26th 2009 THE B-FIELD IN PHYSICS B = i,j B ij dx i dx j flux: db = H a closed three-form Born-Infeld action: det(g ij + B ij ) complexified
More informationInformation Geometric Structure on Positive Definite Matrices and its Applications
Information Geometric Structure on Positive Definite Matrices and its Applications Atsumi Ohara Osaka University 2010 Feb. 21 at Osaka City University 大阪市立大学数学研究所情報幾何関連分野研究会 2010 情報工学への幾何学的アプローチ 1 Outline
More informationGEOMETRIC QUANTIZATION
GEOMETRIC QUANTIZATION 1. The basic idea The setting of the Hamiltonian version of classical (Newtonian) mechanics is the phase space (position and momentum), which is a symplectic manifold. The typical
More informationDIFFERENTIAL GEOMETRY AND THE QUATERNIONS. Nigel Hitchin (Oxford) The Chern Lectures Berkeley April 9th-18th 2013
DIFFERENTIAL GEOMETRY AND THE QUATERNIONS Nigel Hitchin (Oxford) The Chern Lectures Berkeley April 9th-18th 2013 16th October 1843 ON RIEMANNIAN MANIFOLDS OF FOUR DIMENSIONS 1 SHIING-SHEN CHERN Introduction.
More informationAbstract. Jacobi curves are far going generalizations of the spaces of \Jacobi
Principal Invariants of Jacobi Curves Andrei Agrachev 1 and Igor Zelenko 2 1 S.I.S.S.A., Via Beirut 2-4, 34013 Trieste, Italy and Steklov Mathematical Institute, ul. Gubkina 8, 117966 Moscow, Russia; email:
More informationBACKGROUND IN SYMPLECTIC GEOMETRY
BACKGROUND IN SYMPLECTIC GEOMETRY NILAY KUMAR Today I want to introduce some of the symplectic structure underlying classical mechanics. The key idea is actually quite old and in its various formulations
More informationarxiv: v1 [math-ph] 3 Nov 2017
Hamilton-Jacobi theory and Information Geometry Florio M. Ciaglia 1,2 and Fabio Di Cosmo 1,2 and Giuseppe Marmo 1,2 arxiv:1711.01129v1 [math-ph] 3 Nov 2017 1 Dipartimento di Fisica, Università di Napoli
More informationRiemannian Curvature Functionals: Lecture III
Riemannian Curvature Functionals: Lecture III Jeff Viaclovsky Park City Mathematics Institute July 18, 2013 Lecture Outline Today we will discuss the following: Complete the local description of the moduli
More informationON TOTALLY REAL SUBMANIFOLDS IN A NEARLY KÄHLER MANIFOLD *
PORTUGALIAE MATHEMATICA Vol. 58 Fasc. 2 2001 Nova Série ON TOTALLY REAL SUBMANIFOLDS IN A NEARLY KÄHLER MANIFOLD * Zhong Hua Hou Abstract: Let M m be a totally real submanifold of a nearly Kähler manifold
More information1. Tangent Vectors to R n ; Vector Fields and One Forms All the vector spaces in this note are all real vector spaces.
1. Tangent Vectors to R n ; Vector Fields and One Forms All the vector spaces in this note are all real vector spaces. The set of n-tuples of real numbers is denoted by R n. Suppose that a is a real number
More informationON THE GEOMETRY OF TANGENT BUNDLE OF A (PSEUDO-) RIEMANNIAN MANIFOLD
ANALELE ŞTIINŢIFICE ALE UNIVERSITĂŢII AL.I.CUZA IAŞI Tomul XLIV, s.i.a, Matematică, 1998, f1 ON THE GEOMETRY OF TANGENT BUNDLE OF A (PSEUDO-) RIEMANNIAN MANIFOLD BY V. OPROIU and N. PAPAGHIUC 0. Introduction.
More informationHyperkähler geometry lecture 3
Hyperkähler geometry lecture 3 Misha Verbitsky Cohomology in Mathematics and Physics Euler Institute, September 25, 2013, St. Petersburg 1 Broom Bridge Here as he walked by on the 16th of October 1843
More informationLECTURE 8: THE SECTIONAL AND RICCI CURVATURES
LECTURE 8: THE SECTIONAL AND RICCI CURVATURES 1. The Sectional Curvature We start with some simple linear algebra. As usual we denote by ( V ) the set of 4-tensors that is anti-symmetric with respect to
More informationTorus actions and Ricci-flat metrics
Department of Mathematics, University of Aarhus November 2016 / Trondheim To Eldar Straume on his 70th birthday DFF - 6108-00358 Delzant HyperKähler G2 http://mscand.dk https://doi.org/10.7146/math.scand.a-12294
More informationSome brief notes on the Kodaira Vanishing Theorem
Some brief notes on the Kodaira Vanishing Theorem 1 Divisors and Line Bundles, according to Scott Nollet This is a huge topic, because there is a difference between looking at an abstract variety and local
More information