scholarly journals SYMPLECTIC STRUCTURES ON STATISTICAL MANIFOLDS

2011 ◽  
Vol 90 (3) ◽  
pp. 371-384 ◽  
Author(s):  
TOMONORI NODA

AbstractA relationship between symplectic geometry and information geometry is studied. The square of a dually flat space admits a natural symplectic structure that is the pullback of the canonical symplectic structure on the cotangent bundle of the dually flat space via the canonical divergence. With respect to the symplectic structure, there exists a moment map whose image is the dually flat space. As an example, we obtain a duality relation between the Fubini–Study metric on a projective space and the Fisher metric on a statistical model on a finite set. Conversely, a dually flat space admitting a symplectic structure is locally symplectically isomorphic to the cotangent bundle with the canonical symplectic structure of some dually flat space. We also discuss nonparametric cases.

2021 ◽  
Vol 3 (1) ◽  
pp. 12
Author(s):  
Ariel Caticha

The mathematical formalism of quantum mechanics is derived or “reconstructed” from more basic considerations of the probability theory and information geometry. The starting point is the recognition that probabilities are central to QM; the formalism of QM is derived as a particular kind of flow on a finite dimensional statistical manifold—a simplex. The cotangent bundle associated to the simplex has a natural symplectic structure and it inherits its own natural metric structure from the information geometry of the underlying simplex. We seek flows that preserve (in the sense of vanishing Lie derivatives) both the symplectic structure (a Hamilton flow) and the metric structure (a Killing flow). The result is a formalism in which the Fubini–Study metric, the linearity of the Schrödinger equation, the emergence of complex numbers, Hilbert spaces and the Born rule are derived rather than postulated.


2010 ◽  
Vol 58 (1) ◽  
pp. 183-195 ◽  
Author(s):  
S. Amari ◽  
A. Cichocki

Information geometry of divergence functionsMeasures of divergence between two points play a key role in many engineering problems. One such measure is a distance function, but there are many important measures which do not satisfy the properties of the distance. The Bregman divergence, Kullback-Leibler divergence andf-divergence are such measures. In the present article, we study the differential-geometrical structure of a manifold induced by a divergence function. It consists of a Riemannian metric, and a pair of dually coupled affine connections, which are studied in information geometry. The class of Bregman divergences are characterized by a dually flat structure, which is originated from the Legendre duality. A dually flat space admits a generalized Pythagorean theorem. The class off-divergences, defined on a manifold of probability distributions, is characterized by information monotonicity, and the Kullback-Leibler divergence belongs to the intersection of both classes. Thef-divergence always gives the α-geometry, which consists of the Fisher information metric and a dual pair of ±α-connections. The α-divergence is a special class off-divergences. This is unique, sitting at the intersection of thef-divergence and Bregman divergence classes in a manifold of positive measures. The geometry derived from the Tsallisq-entropy and related divergences are also addressed.


2013 ◽  
Vol 150 (3) ◽  
pp. 369-395 ◽  
Author(s):  
Damian Brotbek

AbstractIn this paper we examine different problems regarding complete intersection varieties of high multidegree in a smooth complex projective variety. First we prove an existence theorem for jet differential equations that generalizes a theorem of Diverio. Then we show how one can deduce hyperbolicity for generic complete intersections of high multidegree and high codimension from the known results on hypersurfaces. Finally, motivated by a conjecture of Debarre, we focus on the positivity of the cotangent bundle of complete intersections, and prove some results towards this conjecture; among other things, we prove that a generic complete intersection surface of high multidegree in a projective space of dimension at least four has an ample cotangent bundle.


Author(s):  
Aleksandr V. Pukhlikov

AbstractWe show that the global (log) canonical threshold of d-sheeted covers of the M-dimensional projective space of index 1, where $$d\geqslant 4$$d⩾4, is equal to 1 for almost all families (except for a finite set). The varieties are assumed to have at most quadratic singularities, the rank of which is bounded from below, and to satisfy the regularity conditions. This implies birational rigidity of new large classes of Fano–Mori fibre spaces over a base, the dimension of which is bounded from above by a constant that depends (quadratically) on the dimension of the fibre only.


Author(s):  
J. G. Basterfield ◽  
L. M. Kelly

Suppose N is a set of points of a d-dimensional incidence space S and {Ha}, a ∈ I, a set of hyperplanes of S such that Hi ∈ {Ha} if and only if Hi ∩ N spans Hi. N is then said to determine {Ha}. We are interested here in the case in which N is a finite set of n points in S and I = {1, 2,…, n}; that is to say when a set of n points determines precisely n hyperplanes. Such a situation occurs in E3, for example, when N spans E3 and is a subset of two (skew) lines, or in E2 if N spans the space and n − 1 of the points are on a line. On the other hand, the n points of a finite projective space determine precisely n hyperplanes so that the structure of a set of n points determining n hyperplanes is not at once transparent.


2002 ◽  
Vol 3 (2) ◽  
pp. 185
Author(s):  
Pablo Mendoza Iturralde ◽  
Vladimir V. Tkachuk

<p>We show that X is cofinitely projective if and only if it is a finite union of Alexandroff compactatifications of discrete spaces. We also prove that X is co-countably projective if and only if X admits no disjoint infinite family of uncountable cozero sets. It is shown that a paracompact space X is co-countably projective if and only if there exists a finite set B C X such that B C U ϵ τ (X) implies │X\U│ ≤ ω. In case of existence of such a B we will say that X is concentrated around B. We prove that there exists a space Y which is co-countably projective while there is no finite set B C Y around which Y is concentrated. We show that any metrizable co-countably projective space is countable. An important corollary is that every co-countably projective topological group is countable.</p>


2020 ◽  
Vol 135 (10) ◽  
Author(s):  
Akio Fujiwara

AbstractThe notion of dually flatness is of central importance in information geometry. Nevertheless, little is known about dually flat structures on quantum statistical manifolds except that the Bogoliubov metric admits a global dually flat structure on a quantum state space $${{\mathcal {S}}}({{\mathbb {C}}}^d)$$ S ( C d ) for any $$d\ge 2$$ d ≥ 2 . In this paper, we show that every monotone metric on a two-level quantum state space $${{\mathcal {S}}}({{\mathbb {C}}}^2)$$ S ( C 2 ) admits a local dually flat structure.


Entropy ◽  
2020 ◽  
Vol 22 (7) ◽  
pp. 713 ◽  
Author(s):  
Frank Nielsen

We study the Voronoi diagrams of a finite set of Cauchy distributions and their dual complexes from the viewpoint of information geometry by considering the Fisher-Rao distance, the Kullback-Leibler divergence, the chi square divergence, and a flat divergence derived from Tsallis entropy related to the conformal flattening of the Fisher-Rao geometry. We prove that the Voronoi diagrams of the Fisher-Rao distance, the chi square divergence, and the Kullback-Leibler divergences all coincide with a hyperbolic Voronoi diagram on the corresponding Cauchy location-scale parameters, and that the dual Cauchy hyperbolic Delaunay complexes are Fisher orthogonal to the Cauchy hyperbolic Voronoi diagrams. The dual Voronoi diagrams with respect to the dual flat divergences amount to dual Bregman Voronoi diagrams, and their dual complexes are regular triangulations. The primal Bregman Voronoi diagram is the Euclidean Voronoi diagram and the dual Bregman Voronoi diagram coincides with the Cauchy hyperbolic Voronoi diagram. In addition, we prove that the square root of the Kullback-Leibler divergence between Cauchy distributions yields a metric distance which is Hilbertian for the Cauchy scale families.


Author(s):  
Andrew Dancer ◽  
Andrew Swann

It is well known that the cotangent bundle of any manifold has a canonical symplectic structure. If we specialize to the case when the manifold is a compact Lie group G, then this structure is preserved by the actions of G on T*G induced by left and right translation on G. We refer to these as the left and right actions of G on T*G.


Sign in / Sign up

Export Citation Format

Share Document