A Statistical Cohomogeneity One Metric on the Upper Plane with Constant Negative Curvature

we analyze the geometrical structures of statistical manifold S consisting of all the wrapped Cauchy distributions.We prove that S is a simply connected manifold with constant negative curvatureK = −2. However, it is not isometric to the hyperbolic space because S is noncomplete. In fact, S is approved to be a cohomogeneity one manifold. Finally, we use several tricks to get the geodesics and explore the divergence performance of them by investigating the Jacobi vector field.


Introduction
So far, more and more geometric approaches have been applied to various fields such as in statistics, physics, and control [1][2][3][4][5][6], by analyzing their complexity characterizations or giving their solutions.
Entropic dynamics is a theoretical framework constructed on statistical manifolds to explore the possibility of laws of physics [7].Until now, researchers have tried to study a variety of entropic dynamic models from the viewpoint of information geometry [4][5][6]8].In [8], two entropic dynamical models are considered, in which the stability of the Jacobi vector fields on Riemannian manifolds is investigated.In [4], authors explored the geometric structures and instability of entropic dynamical models.Information geometric characterization of fractional Brownian motions was considered in [5].Hamiltonian dynamics are studied from the viewpoint of geometry in [6].
In probability theory and directional statistics [9], a wrapped probability distribution is a continuous probability distribution, whose state can be considered as lying on a unit -sphere   .Examples include the Bingham distribution [10], the Kent distribution (or the Fisher-Bingham distribution) [11], and the von Mises-Fisher distribution [9,12].Particularly for one-dimensional cases, a wrapped distribution consists of points on the unit circle.For instance, a wrapped Cauchy distribution [9,13,14]  (; , ) = 1 2 sinh  cosh  − cos ( − ) is a wrapped probability distribution that results from the "wrapping" of the Cauchy distribution around the unit circle, where apparently  ∈ [−, ) which is parameterized from the unit circle,  ∈ , and  > 0. The functions sinh and cosh are, respectively, the hyperbolic sine function and the hyperbolic cosine function.As the random variable  ∈ [−, ], the wrapped probability distribution can be considered as an angular probability to measure the directional probability.Therefore, it has been widely applied in the field of random walk for studying animal movements [15,16], such as identifying fishing trip behavior and estimating fishing effort [17], and ringing recoveries of pied flycatchers [18].Assume that all information relevant to dynamical evolution of the model can be obtained from the associated probability distribution, which is the wrapped Cauchy distribution in our consideration.We will call this model the WCED (wrapped Cauchy entropic dynamical) model for simplicity.
The remainder of the paper is organized as follows.In Section 2, the geometric structures, including the Fisher metric and the sectional curvature of the WCED, are calculated.

Advances in Mathematical Physics
In Section 3, this manifold is proved to be simply connected but not complete, hence not isometric to the hyperbolic space.However, it is proved to be a cohomogeneity one manifold by Theorem 14.In Section 4, several tricks are used based on some special properties to get geodesics and the Jacobi vector fields.The geodesics are the sets of fixed points of isometric transformations, which include symmetries to lines paralleled to -axis.Meanwhile, the Jacobi vector fields are calculated.Then the instability of the geodesic spreads is analyzed via the behaviors of the the Jacobi vector field.
Remark 1.It is well known that the upper plane R 2 + admits a hyperbolic metric   with constant negative curvature.That is, However, in this paper, we give another metric on R 2 + with constant negative curvature but not isometric to the hyperbolic space.

Geometric Structures of the WCED Model
From the theory of information geometry, one can define an -dimensional statistical manifold  over unit spheres, which is a set of probability densities; namely,  = { (; )} .
The parameter  = ( 1 ,  2 , . . .,   ) plays the role of coordinate systems.The Fisher information matrix , acting as a Riemannian metric, is then given by the expectation where (; ) := ln (; ) and   := /  .On a statistical manifold, the Riemannian connection coefficient Γ  is (see, e.g., [1,2,[19][20][21]) which can be expressed as a classical formula ) is a local coordinate of , then for any vector field  on , one has  =     , where {  } are smooth functions with respect to ( 1 ,  2 , . . .,   ).The Einstein summation convention is used here and all through the paper.With the Riemannian connection, the curvature tensor is defined by [19,20] and the Riemannian curvature tensor is where , , ,  are smooth vector fields on  and [⋅, ⋅] represents the Lie bracket; namely, [, ] =  ∘  −  ∘ .
The local representation of the curvature tensor satisfies where Γ   = Γ    and (  ) is the inverse of the metric matrix (  ).
The Ricci curvature and the sectional curvature are defined by A curve () on  is said to be a geodesic if its tangent vector ξ () is displaced parallel along the curve (); that is, and it has the following local form Suppose that the solution of ( 12) is (; ), where  is a vector whose components are the integration constants.
Considering the wrapped Cauchy entropic dynamical model, the corresponding statistical manifold is where (; ) is given by (1) with parameters  1 =  and  2 = .The Fisher information matrix can be easily calculated as Proposition 2. The nonzero components of the Ricci curvature are Proof.A direct calculation of (5) gives the nonvanishing Riemannian connection coefficients From the relation Γ   = Γ    , one can get another type of connection coefficients From ( 8), the following nonzero component of the curvature tensor is obtained: Therefore, the proof can be finished by a simple substitution of ( 18) into (9).

Topological and Geometric Properties of
+ and hence simply connected.
Proof.The topology, as well as the smooth structure, of  is induced by those on R 2 + ; hence  is diffeomorphic to R 2 + .The fact that R 2 + is simply connected implies that  is also simply connected.
If  were also complete, it would be a space form with constant negative curvature, which was isometric to the hyperbolic space  2 (−2).However,  is not complete.We begin with a necessary and sufficient condition of the completeness.
(1) Suppose that  is complete and  is a divergent curve.Consider where for each ,   is bounded and closed, hence compact.The divergence of  implies that, for all  ∈ N * , ∃  ≥ 0, s.t., (  ) ∉   .As a result, hence () = +∞.
Then (1) :=  is a extension of  from [0, 1) to [0, 1] which contradicts to the assumption, which implies that  is in fact complete.
Although  is neither isometric to the hyperbolic space nor a symmetric space, it is "partly symmetric, " which is presented in Lemma 10.Definition 8. Let () be the group of isometric transformations on .A family of transformations on  are defined as Remark 9.   is just the reflection about the line  1 = , which is a line parallel to the -axis.
As a result,  := {  |  ∈ R} is a subgroup of ().Lemma 10 implies that  is "almost" homogeneous, although not truly homogeneous.In fact,  is a cohomogeneity one manifold, defined in Definition 11.
is a cohomogeneity one manifold if the codimension of orbit space of this action is 1.
Remark 12.The codimension of the orbit space is closely related to the homogeneous properties.For example, if  is a homogeneous space, then the orbit space is whole manifold , and hence its codimension is 0. The less that codimension is, the more homogeneous the manifold is.In other words, a cohomogeneity one manifold is "the most homogeneous manifold" except for the real ones.Actually, cohomogeneity one manifolds are natural generalizations of homogeneous manifolds.The systematic study of cohomogeneity one manifolds was started by Bergery, who successfully constructed new invariant Einstein metrics on cohomogeneity one manifolds.In addition, Bryant and Salamon constructed special metrics with exceptional holonomy groups  2 and Spin(7) on these manifolds [23][24][25][26][27][28][29][30].
We state a well known result without proof before Theorem 14.

Lemma 13. Every homogeneous space is complete.
Theorem 14.  is a cohomogeneity one manifold.
On the other hand, Since  is a subgroup of (),   ⊂ ()  .This implies that Based on the two inequalities, we conclude that dim(()  ) = 1; hence its codimension is 1, which means that  is a cohomogeneity one manifold.

Instability Analysis
In this section, we will calculate some geodesics and investigate the instability of the geodesics by the Jacobi vector fields.Combining ( 12) and ( 17), the geodesic equations of the WCED model are given by the following differential system: Generally, these equations are quite hard to be solved; however we can get some special geodesics based on the cohomogeneity one property.
Lemma 15.All lines parallel to the y-axis are geodesics.
Proof.It is well known that the fixed-points set of any isometry is a geodesic.Since   is an isometry and its fixedpoints set is the line  =  1 , the lemma follows.
According to Lemma 15, the equation of such geodesic satisfies Hence (28) can be reduced to Then solution is expressed as Consider the parameter family of geodesics where   is a geodesic satisfying (28) and  is an integration constant vector.The length of geodesics in F() is defined as Therefore, the length of geodesics on WCED model is obtained as where  1 is constant.In order to investigate the behavior of two neighboring geodesics labeled by the parameter  1 , we consider the following difference: It is clear that ΔΘ diverges; that is, the length of two neighboring geodesics with slightly different parameters  1 and  1 +  1 differs in a remarkable way as  → ∞.
The stability of the geodesics is completely determined by the curvature of manifold.Studying the stability of dynamics means determining the evolution of perturbations of geodesics.For isotropic manifolds, the geodesic spread is unstable only if their constant sectional curvatures are negative.As long as the curvatures are negative, the geodesic spread is unstable even if the manifold is no longer isotropic [19].However, it is more attractive to know the divergent degree of a geodesic.
The Jacobi vector field , that is, the evolution perturbation vector, satisfies the following (Jacobi) equation: where () is a geodesic on manifold .It is also called the geodesic derivation equation, as it has close connections with the geodesic.In general, the Jacobi equations are difficult to solve, but in particular this manifold has a constant negative curvature, which is of great help.Given a normal geodesic  and supposing  is a normal Jacobi vector field along (), then (41) This means that the geodesic spread on manifold is described by means of an exponential order divergent Jacobi vector field.

Conclusion and Remarks
In this paper, we investigate the manifold of wrapped Cauchy distributions.By considering the geometric structures of the WCED, we conclude that the WCED is a constant negative curvature space with  = −2.By a series of lemmas and theorems, we prove that it is a cohomogeneity one manifold.This example is interesting because of its statistical background, while some other examples are deliberately constructed.In addition, we calculate the geodesics and the Jacobi vector field by some tricks based on some special properties of .As a result, the divergent behavior of geodesics can be described as an exponential order divergent Jacobi vector field.