Citation: Aliya Naaz Siddiqui, Mohammad Hasan Shahid, Jae Won Lee. On Ricci curvature of submanifolds in statistical manifolds of constant (quasi-constant) curvature[J]. AIMS Mathematics, 2020, 5(4): 3495-3509. doi: 10.3934/math.2020227
[1] | Aliya Naaz Siddiqui, Meraj Ali Khan, Amira Ishan . Contact CR δ-invariant: an optimal estimate for Sasakian statistical manifolds. AIMS Mathematics, 2024, 9(10): 29220-29234. doi: 10.3934/math.20241416 |
[2] | Ibrahim Al-Dayel, Meraj Ali Khan . Ricci curvature of contact CR-warped product submanifolds in generalized Sasakian space forms admitting nearly Sasakian structure. AIMS Mathematics, 2021, 6(3): 2132-2151. doi: 10.3934/math.2021130 |
[3] | Ali H. Alkhaldi, Meraj Ali Khan, Shyamal Kumar Hui, Pradip Mandal . Ricci curvature of semi-slant warped product submanifolds in generalized complex space forms. AIMS Mathematics, 2022, 7(4): 7069-7092. doi: 10.3934/math.2022394 |
[4] | Amira A. Ishan, Meraj Ali Khan . Chen-Ricci inequality for biwarped product submanifolds in complex space forms. AIMS Mathematics, 2021, 6(5): 5256-5274. doi: 10.3934/math.2021311 |
[5] | Rajesh Kumar, Sameh Shenawy, Lalnunenga Colney, Nasser Bin Turki . Certain results on tangent bundle endowed with generalized Tanaka Webster connection (GTWC) on Kenmotsu manifolds. AIMS Mathematics, 2024, 9(11): 30364-30383. doi: 10.3934/math.20241465 |
[6] | Fahad Sikander, Tanveer Fatima, Sharief Deshmukh, Ayman Elsharkawy . Curvature analysis of concircular trajectories in doubly warped product manifolds. AIMS Mathematics, 2024, 9(8): 21940-21951. doi: 10.3934/math.20241066 |
[7] | Yanlin Li, Dipen Ganguly, Santu Dey, Arindam Bhattacharyya . Conformal η-Ricci solitons within the framework of indefinite Kenmotsu manifolds. AIMS Mathematics, 2022, 7(4): 5408-5430. doi: 10.3934/math.2022300 |
[8] | Rabia Cakan Akpınar, Esen Kemer Kansu . Metallic deformation on para-Sasaki-like para-Norden manifold. AIMS Mathematics, 2024, 9(7): 19125-19136. doi: 10.3934/math.2024932 |
[9] | Meraj Ali Khan, Ali H. Alkhaldi, Mohd. Aquib . Estimation of eigenvalues for the α-Laplace operator on pseudo-slant submanifolds of generalized Sasakian space forms. AIMS Mathematics, 2022, 7(9): 16054-16066. doi: 10.3934/math.2022879 |
[10] | Xiaoling Zhang, Cuiling Ma, Lili Zhao . On some m-th root metrics. AIMS Mathematics, 2024, 9(9): 23971-23978. doi: 10.3934/math.20241165 |
The curvature invariants play the most fundamental role in Riemannian geometry. They provide the intrinsic characteristics of Riemannian manifolds, which affect the behavior in general of the Riemannian manifold. They are the main Riemannian invariants and the most natural ones. They are widely used in the field of differential geometry and in physics also. The innovative work of Kaluza-Klein in general relativity and string theory in particle physics has inspired the mathematicians and physicists to do work on submanifolds of (pseudo-)Riemannian manifolds. Intrinsic and extrinsic invariants are very powerful tools to study submanifolds of Riemannian manifolds. The Ricci curvature is the essential term in the Einstein field equations, which plays a key role in general relativity. It is immensely studied in differential geometry as it gives a way of measuring the degree to which the geometry determined by a given Riemannian metric might differ from that of ordinary Euclidean q-space. A Riemannian manifold is said to be an Einstein manifold if the Ricci tensor satisfies the vacuum Einstein equation. The lower bounds on the Ricci tensor on a Riemannian manifold enable one to find global geometric and topological information by comparison with the geometry of a constant curvature space form.
In the study of Riemannian submanifolds, it is a fundamental problem for the geometers to establish some relationships between the main intrinsic invariants and the main extrinsic invariants of a submanifold. B. Y. Chen, in his initial papers, obtained some useful inequalities between the scalar curvature, the sectional curvature and the squared norm of the mean curvature of a submanifold in a real space form. He also talked about the inequalities between k-Ricci curvature, the squared mean curvature and the shape operator of a submanifold with arbitrary codimension of the same ambient space [1]. Since then different geometers found the similar relationships for different submanifolds and ambient spaces (for example [2,3,4]).
Differential geometry is a traditional yet currently very active branch of pure mathematics with applications notably in a number of areas of physics. Until recently applications in the theory of statistics were fairly limited, but within the last few years there has been intensive interest in the subject. The notion of a statistical manifold has arisen from the study of statistical distribution. A differential geometric approach for a statistical model of discrete probability distribution was introduced in 1985 by Amari [5]. Statistical manifolds have many applications in affine differential geometry, Hessian geometry and information geometry. In 1989, Vos [6] introduced and studied the notion of statistical submanifolds. Later, Furuhata [7] studied statistical hypersurfaces in the space of Hessian curvature zero and provided some examples as well. Though, till the date it has made very little progress due to the hardness to find classical differential geometric approaches for study of statistical submanifolds. Geometry of statistical submanifolds is still young and efforts are on, so it is growing.
Generally, one cannot define a sectional curvature with respect to the dual connections (which are not metric) by the standard definitions. However, B. Opozda [8,9] defined a sectional curvature on a statistical manifold. Suppose that (ˆB,ˆ∇,ˆg) is a q-dimensional statistical manifold and X1 is a unit vector such that ||X1||=1. We choose an orthonormal frame {e1,…,eq} of TˆB such that e1=X1. Then the Ricci curvature at X1 is given by
^Ricˆ∇,ˆ∇∗(X1)=q∑i=2ˆKˆ∇,ˆ∇∗(X1∧ei)=12{q∑i=2ˆK(X1∧ei)+q∑i=2ˆK∗(X1∧ei)}, |
where ˆKˆ∇,ˆ∇∗(ei∧ej) denotes the sectional curvature, with respect to ˆ∇ and ˆ∇∗, of the 2-plane section spanned by ei and ej.
We denote the Ricci tensors of the induced connections ∇ and ∇0 respectively by Ric and Ric0. ˆK0(X1∧⋅) is the sectional curvature function of a statistical manifold with respect to the Levi-Civita connection restricted to 2-plane sections of the tangent space which are tangent to X1. In [10], M. E. Aydin et al. proved the following Chen-Ricci inequality for a p-dimensional submanifold B in a statistical manifold ˆB of constant curvature ˆc.
Ric(X1)≥2Ric0(X1)−p28g(H,H)−p28g(H∗,H∗)+ˆc(p−1)−2(p−1)maxˆK0(X1∧⋅). | (1.1) |
Recently, in [11], H. Aytimur et al. obtained the same inequality for a p-dimensional statistical submanifold B in a statistical manifold ˆB of quasi-constant curvature.
Ric(X1)≥2Ric0(X1)−p28g(H,H)−p28g(H∗,H∗)+ˆa(p−1)+ˆb+ˆb(p−2)F(X1)F(X1)−2p∑i=2ˆK0(X1∧ei). | (1.2) |
Remark that if ˆb=0, then ˆB becomes a statistical manifold of constant curvature and inequality (1.2) turns into (1.1).
Optimization on manifolds is about exploiting tools of differential geometry to build optimization schemes on abstract manifolds, then turning these abstract geometric algorithms into practical numerical methods for specific manifolds, with applications to problems that can be rephrased as optimizing a differentiable function over a manifold. This research program has shed new light on existing algorithms and produced novel methods backed by a strong convergence analysis. Here, we point out that optimization of real-valued functions on manifolds is not the only place where optimization and differential geometry meet and also is the Riemannian geometry of the central path in linear programming. As applications to the area of optimization on manifolds, T. Oprea [12] derived Chen-Ricci inequality by using optimization technique applied in the setup of Riemannian geometry. The purpose of this paper is to adopt this technique to give another demonstration for the inequalities (1.1) and (1.2) including the Ricci curvature.
Definition 2.1. [5,7] A Riemannian manifold (ˆB,ˆg) with an affine connection ˆ∇ is said to be a statistical manifold (ˆB,ˆg,ˆ∇) if ˆ∇ is a torsion free connection on ˆB and the covariant derivative ˆ∇ˆg is symmetric.
A statistical manifold is a Riemannian manifold (ˆB,ˆg) endowed with a pair of torsion-free affine connections ˆ∇ and ˆ∇∗ satisfying [5,7]
X1g(Y1,X2)=ˆg(ˆ∇X1Y1,X2)+ˆg(Y1,ˆ∇∗X1X2), |
for any X1,Y1,X2∈Γ(TˆB). Here the connection ˆ∇∗ is called the conjugate (or dual) connection. This concept was widely studied in information geometry. Also, (ˆ∇∗)∗=ˆ∇. If (ˆ∇,ˆg) is a statistical structure on ˆB, then (ˆ∇∗,ˆg) is also a statistical structure. Moreover, a dual connection of any torsion free affine connection ˆ∇ is given by [5,7]
2ˆ∇0=ˆ∇+ˆ∇∗, | (2.1) |
where ˆ∇0 is the Levi-Civita connection on ˆB.
Let (ˆB,ˆ∇,ˆg) be a statistical manifold and f:B→ˆB an immersion. define g and ∇ on B by [7]
g=f∗ˆg,andg(∇X1Y1,X2)=ˆg(ˆ∇X1f∗Y1,f∗X2), | (2.2) |
for any X1,Y1,X2∈Γ(TB), where the connection induced from ˆ∇ by f on the induced bundle f∗:TˆB→B is denoted by ˆ∇. Then the pair (∇,g) is called an induced statistical structure on B by f from (ˆ∇,ˆg).
Definition 2.2. [7] Let (ˆB,ˆ∇,ˆg) and (B,∇,g) be two statistical manifolds. An immersion f:B→ˆB is called a statistical immersion if (∇,g) coincides with the induced statistical structure, that is, (2.2) holds. Thus, (B,∇,g) is called a statistical submanifold of (ˆB,ˆ∇,ˆg).
Let (ˆB,ˆ∇,ˆg) be a statistical manifold and B be a statistical submanifold of ˆB. By T⊥xB, we denote the normal space of B, that is, T⊥xB={v∈TxˆB|g(u,v)=0,u∈TxB}. Then the Gauss and Weingarten formulae are as follows [6]:
ˆ∇X1Y1=∇X1Y1+h(X1,Y1),ˆ∇∗X1Y1=∇∗X1Y1+h∗(X1,Y1), |
and
ˆ∇X1V=−AV(X1)+∇⊥X1V,ˆ∇∗X1V=−A∗V(X1)+∇⊥∗X1V, |
for any X1,Y1∈Γ(TB) and V∈Γ(T⊥B). Here ˆ∇ and ˆ∇∗ (respectively, ∇ and ∇∗) are the dual connections on ˆB (respectively, on B), h and h∗ are symmetric and bilinear, called the imbedding curvature tensor of B in ˆB for ˆ∇ and the imbedding curvature tensor of B in ˆB for ˆ∇∗, respectively. Since h and h∗ are bilinear, the linear transformations AV and A∗V are related to the imbedding curvature tensors by [6]
ˆg(h(X1,Y1),V)=g(A∗V(X1),Y1),andˆg(h∗(X1,Y1),V)=g(AV(X1),Y1), |
for any X1,Y1∈Γ(TB) and V∈Γ(T⊥B).
Suppose that dim(B)=p and dim(ˆB)=q. We consider a local orthonormal tangent frame {e1,…,ep} of TB and a local orthonormal normal frame {ep+1,…,eq} of T⊥B in ˆB. Then the mean curvature vectors H and H∗ of B in ˆB are
H=1pp∑i=1h(ei,ei),andH∗=1pp∑i=1h∗(ei,ei). |
Also, we set
hrij=g(h(ei,ej),er),andh∗rij=g(h∗(ei,ej),er), |
for i,j∈{1,…,p}, r∈{p+1,…,q}.
Let ˆR and R be the curvature tensor fields with respect to ˆ∇ and ∇, respectively. Similarly, ˆR∗ and R∗ are respectively the curvature tensor fields with respect to ˆ∇∗ and ∇∗. Then the Gauss equation with respect to ˆ∇ and the dual connection ˆ∇∗ on ˆB are respectively defined by [6]
ˆg(ˆR(X1,Y1)X2,Y2)=g(R(X1,Y1)X2,Y2)+g(h(X1,X2),h∗(Y1,Y2))−g(h∗(X1,Y2),h(Y1,X2)), | (2.3) |
and
ˆg(ˆR∗(X1,Y1)X2,Y2)=g(R∗(X1,Y1)X2,Y2)+g(h∗(X1,X2),h(Y1,Y2))−g(h(X1,Y2),h∗(Y1,X2)), | (2.4) |
for any X1,Y1,X2,Y2∈Γ(TB).
The statistical curvature tensor fields of ˆB and B are respectively given by
2ˆS=ˆR+ˆR∗,and2S=R+R∗. | (2.5) |
A statistical manifold (ˆB,ˆ∇,ˆg) is said to be of constant curvature ˆc∈R if the following curvature equation holds [7]
ˆS(X1,Y1)X2=ˆc(ˆg(Y1,X2)X1−ˆg(X1,X2)Y1), | (2.6) |
for any X1,Y1,X2∈Γ(TˆB). It is denoted by ˆB(ˆc), called a statistical manifold of constant curvature.
A statistical structure (ˆB,ˆ∇,ˆg) is said to be of quasi-constant curvature if the following curvature equation holds [11]
ˆS(X1,Y1)X2=ˆa[ˆg(Y1,X2)X1−ˆg(X1,X2)Y1]+ˆb[F(Y1)F(X2)X1−ˆg(X1,X2)F(Y1)P+ˆg(Y1,X2)F(X1)P−F(X1)F(X2)Y1], | (2.7) |
where ˆa,ˆb are scalar functions, P is a unit vector filed, and F is a 1-form defined by
ˆg(X1,P)=F(X1), |
for any X1,Y1,X2∈Γ(TˆB). It is called a statistical manifold of quasi-constant curvature.
In this section, we prove the statistical version of well known Chen-Ricci inequality for statistical submanifolds in statistical manifolds of constant (quasi-constant) curvature by optimization technique.
Optimizations on submanifolds: Let (B,g) be a Riemannian submanifold of a Riemannian manifold (ˆB,ˆg) and ϕ:ˆB→R be a differentiable function. Following [13], we have
Theorem 3.1. If x∈B is a solution of the constrained extremum problem minx0∈Bϕ(x0), then
(a) (gradϕ)(x)∈T⊥xB,
(b) the bilinear form π:TxB×TxB→R,
π(X1,Y1)=Hessϕ(X1,Y1)+ˆg(h′(X1,Y1),(gradϕ)(x)) |
is positive semi-definite, where h′ is the second fundamental form of B in ˆB, gradϕ denotes the gradient of ϕ.
Theorem 3.2. Let (B,∇,g) be a p-dimensional submanifold in a statistical manifold ˆB(ˆc) of constant curvature ˆc.
(a) For each unit vector X1∈T℘B, ℘∈B, we have
Ric∇,∇∗(X1)≥2Ric0(X1)−ˆc(p−1)−p28[||H||2+||H∗||2]. | (3.1) |
(b) Moreover, the equality holds in the inequality (3.1) if and only if
h(X1,X1)=p2H(℘),h∗(X1,X1)=p2H∗(℘), |
and
h(X1,Y1)=0,h∗(X1,Y1)=0, |
for all Y1∈T℘B orthogonal to X1.
Proof. We choose {e1,…,ep} as the orthonormal frame of T℘B such that e1=X1 and ||X1||=1, and {ep+1,…,eq} as the the orthonormal frame of T℘B in ˆB. Then by (2.3), (2.4) and (2.5), we have
2ˆS(e1,ei,e1,ei)=2S(e1,ei,e1,ei)−g(h(e1,e1),h∗(ei,ei))−g(h∗(e1,e1),h(ei,ei))+2g(h(e1,ei),h∗(e1,ei))=2S(e1,ei,e1,ei)−{4g(h0(e1,e1),h0(ei,ei))−g(h(e1,e1),h(ei,ei))−g(h∗(e1,e1),h∗(ei,ei))−4g(h0(e1,ei),h0(e1,ei))+g(h(e1,ei),h(e1,ei))+g(h∗(e1,ei),h∗(e1,ei))}=2S(e1,ei,e1,ei)−4q∑r=p+1(h0r11h0rii−(h0r1i)2)+q∑r=p+1(hr11hrii−(hr1i)2)+q∑r=p+1(h∗r11h∗rii−(h∗r1i)2), |
where we have used the notations ˆS(X1,Y1,X2,Y2)=g(ˆS(X1,Y1)Y2,X2) and 2h0=h+h∗ (see (2.1)).
Summing over 2≤i≤p and using (2.6), we have
2ˆc(p−1)=2Ric∇,∇∗(X1)−4q∑r=p+1p∑i=2(h0r11h0rii−(h0r1i)2)+q∑r=p+1p∑i=2(hr11hrii−(hr1i)2)+q∑r=p+1p∑i=2(h∗r11h∗rii−(h∗r1i)2), |
where Ric∇,∇∗(X1) denotes the Ricci curvature of B with respect to ∇ and ∇∗ at ℘. Further, we derive
2Ric∇,∇∗(X1)−2ˆc(p−1)=4q∑r=p+1p∑i=2(h0r11h0rii−(h0r1i)2)−q∑r=p+1p∑i=2(hr11hrii−(hr1i)2)−q∑r=p+1p∑i=2(h∗r11h∗rii−(h∗r1i)2). | (3.2) |
By Gauss equation with respect to Levi-Civita connection, it follows that
Ric0(X1)−ˆc(p−1)=q∑r=p+1p∑i=2(h0r11h0rii−(h0r1i)2). |
Substituting into (3.2), we arrive at
2Ric∇,∇∗(X1)−2ˆc(p−1)=4[Ric0(X1)−ˆc(p−1)]−q∑r=p+1p∑i=2(hr11hrii−(hr1i)2)−q∑r=p+1p∑i=2(h∗r11h∗rii−(h∗r1i)2). |
On simplifying the previous relation, we get
−2Ric∇,∇∗(X1)−2ˆc(p−1)+4Ric0(X1)=q∑r=p+1p∑i=2(hr11hrii−(hr1i)2)+q∑r=p+1p∑i=2(h∗r11h∗rii−(h∗r1i)2)≤q∑r=p+1p∑i=2hr11hrii+q∑r=p+1p∑i=2h∗r11h∗rii. | (3.3) |
Let us define the quadratic form ϕr,ϕ∗r:Rp→R by
ϕr(hr11,hr22,…,hrpp)=q∑r=p+1p∑i=2hr11hrii, |
and
ϕ∗r(h∗r11,h∗r22,…,h∗rpp)=q∑r=p+1p∑i=2h∗r11h∗rii. |
We consider the constrained extremum problem maxϕr subject to
Q:p∑i=1hrii=αr, |
where αr is a real constant. The gradient vector field of the function ϕr is given by
gradϕr=(p∑i=2hrii,hr11,hr11,…,hr11). |
For an optimal solution a=(hr11,hr22,…hrpp) of the problem in question, the vector gradϕr is normal to Q at the point a. It follows that
hr11=p∑i=2hrii=αr2. |
Now, we fix x∈Q. The bilinear form π:TxQ×TxQ→R has the following expression:
π(X1,Y1)=Hessϕr(X1,Y1)+<h′(X1,Y1),(gradϕr)(x)>, |
where h′ denotes the second fundamental form of Q in Rp and <⋅,⋅> denotes the standard inner product on Rp. The Hessian matrix of ϕr is given by
Hessϕr=(01…110…0⋮⋮ ⋱⋮10…010…0). |
We consider a vector X1∈TxQ, which satisfies a relation
p∑i=2Xi1=−X11. |
As h′=0 in Rp, we get
π(X1,X1)=Hessϕr(X1,X1)=2p∑i=2X11Xi1=(X11+p∑i=2Xi1)2−(X11)2−(p∑i=2Xi1)2=−2(X11)2≤0. |
However, the point p is the only optimal solution, that is, the global maximum point of problem. Thus, we obtain
ϕr≤14(p∑i=1hrii)2=p24(Hr)2. | (3.4) |
Next, we deal with the constrained extremum problem maxϕ∗r subject to
Q∗:p∑i=1h∗rii=α∗r, |
where α∗r is a real constant. By similar arguments as above, we find
ϕ∗r≤14(p∑i=1h∗rii)2=p24(H∗r)2. | (3.5) |
On combining (3.3), (3.4) and (3.5), we get our desired inequality (3.1). Moreover, the vector field X1 satisfies the equality case if and only if
hr1i=0,h∗r1i=0,i∈{2,…,p}, |
and
hr11=p∑i=2hrii,h∗r11=p∑i=2h∗rii,r∈{p+1,…,q}, |
which can be rewritten as
hr11=p2H, |
and
h∗r11=p2H∗. |
Thus, it proves our assertion.
Corollary 1. Let (B,∇,g) be a p-dimensional submanifold in a statistical manifold ˆB(ˆc) of constant curvature ˆc. For each unit vector X1∈T℘B, ℘∈B, we have
Ric∇,∇∗(X1)≥2Ric0(X1)−ˆc(p−1)−p22||H0||2+p24g(H,H∗). |
Corollary 2. Let (B,∇,g) be a p-dimensional submanifold in a statistical manifold ˆB(ˆc) of constant curvature ˆc. If B is minimal with respect to Levi-Civita connection, then for each unit vector X1∈T℘B, ℘∈B, we have
Ric∇,∇∗(X1)≥2Ric0(X1)−ˆc(p−1)+p24g(H,H∗). |
By similar arguments as in Theorem 3.2, one can obtain the following inequality for any submanifold in a statistical manifold of quasi-constant curvature.
Theorem 3.3. Let (B,∇,g) be a p-dimensional submanifold in a statistical manifold ˆB of quasi-constant curvature.
(a) For each unit vector X1∈T℘B, ℘∈B, we have
Ric∇,∇∗(X1)≥2Ric0(X1)−[ˆa(p−1)+ˆb+ˆb(p−2)F(X1)F(X1)]−p28[||H||2+||H∗||2]. | (3.6) |
(b) Moreover, the equality holds in the inequality (3.6) if and only if
h(X1,X1)=p2H(℘),h∗(X1,X1)=p2H∗(℘), |
and
h(X1,Y1)=0,h∗(X1,Y1)=0, |
for all Y1∈T℘B orthogonal to X1.
Corollary 3. Let (B,∇,g) be a p-dimensional submanifold in a statistical manifold ˆB of quasi-constant curvature. For each unit vector X1∈T℘B, ℘∈B, we have
Ric∇,∇∗(X1)≥2Ric0(X1)−[ˆa(p−1)+ˆb+ˆb(p−2)F(X1)F(X1)]−p22||H0||2+p24g(H,H∗). |
Corollary 4. Let (B,∇,g) be a p-dimensional submanifold in a statistical manifold ˆB of quasi-constant curvature. If B is minimal with respect to Levi-Civita connection, then for each unit vector X1∈T℘B, ℘∈B, we have
Ric∇,∇∗(X1)≥2Ric0(X1)−[ˆa(p−1)+ˆb+ˆb(p−2)F(X1)F(X1)]+p24g(H,H∗). |
The family D of distribution represented by the pdf θ(u,Φ) is called an n-dimensional statistical model D={θ(u,Φ)|Φ∈Θ⊂Rn}. There are many examples of statistical models, such as Poisson distribution, Normal distribution or Gaussian distribution, inverse Gamma distribution, Weibull distribution and Pareto distribution (see [14,15] for details).
Example 4.1. Let (ˆB,ˆg) be a family of exponential distributions of mean 0:
ˆB:={θ(u,Φ)|θ(u,Φ)=Φe−Φu,u∈[0,∞),Φ∈(0,∞)}, |
a Riemannian metric is given by
ˆg:=Φ−2(dΦ)2, |
and α-connection on ˆB is defined by
ˆ∇α∂∂Φ∂∂Φ=(α−1)Φ−1∂∂Φ. |
Then, (ˆB,ˆ∇α,ˆg) is a 1-dimensional statistical manifold.
We remark that one can also construct examples for higher dimension by defining Fisher information metric and α-connection on a family of statistical distribution (cf. [7]).
Example 4.2. ([16]) The set F of Freund bivariate mixture exponential density functions,
f(x,y)={α1β2e−β2y−(α1+α2−β2)xfor0<x<y,α2β1e−β1x−(α1+α2−β1)yfor0<y<x |
where parameters α1,α2,β1,β2>0, is a 4-manifold with Fisher information metric
[ˆgij]=[1α21+α1α20000α2β21(α1+α2)00001α22+α1α20000α1β22(α1+α2)]. |
The α-connection (α∈R) ˆ∇α and the curvature tensors ˆR with respect to ˆ∇α are respectively given on pages-77 and 78 of [16]. Thus, (F,ˆg,ˆ∇α) is a 4-dimensional statistical manifold of constant curvature 1−α24. Especially, (F,ˆg,ˆ∇±1) is flat, respectively. The constant scalar curvature of F with respect to ˆ∇α is 32(1−α2). The α-mean curvatures with respect to ˆ∇α are given by
Hα1=(1−α2)α26(α1+α2),Hα2=1−α26,Hα3=(1−α2)α16(α1+α2),Hα4=Hα2. |
The Freund submanifold F2 of dimension 2 in F is defined by F2⊂F:α1=α2,β1=β2. The density functions are of form:
f(x,y)={α1β1e−β1y−(2α1−β1)xfor0<x<y,α1β1e−β1x−(2α1−β1)yfor0<y<x |
with α1,β1>0. The Fisher metric tensor on F2 is given by
[gij]=[1α21001β21]. |
It is easy to see that (F2,g,∇α) is a statistical submanifold of F. The sectional, Ricci and scalar curvatures with respect to ∇α of F2 are zero.
Example 4.3. Following are the other trivial examples for the submanifolds of F [16]:
(a) The Freund submanifold F1 of dimension 2 in F is defined by F1⊂F:β1=α1,β2=α2. The space F1 is the direct product of the two corresponding Riemannian spaces {α1e−α1x,α1>0} and {−α2e−α2y,α2>0}. The Fisher metric tensor on F1 is given by
[gij]=[1α21001α22]. |
(b) The Freund submanifold F3 of dimension 2 in F is defined by F3⊂F:β1==β2=α1+α2. The density functions are of form:
f(x,y)={α1(α1+α2)e−(α1+α1)yfor0<x<y,α2(α1+α2)e−(α1+α1)xfor0<y<x |
with α1,α2>0. The Fisher metric tensor on F2 is given by
[gij]=[α2+2α1α1(α1+α2)21(α1+α2)21(α1+α2)2α1+2α2α2(α1+α2)2]. |
It is easy to see that (F1,g,∇α) and (F3,g,∇α) are statistical submanifolds of F. The sectional, Ricci and scalar curvatures with respect to ∇α of F1 and F3 are zero.
Now, we provide a non-trivial example for the submanifold of F [16]:
Example 4.4. The submanifold F4⊂F with the density functions:
f(x,y)={λ1λ(λ12+λ2)λ1+λ2e−λ1x−(λ2+λ12)yfor0<x<y,λ2λ(λ12+λ1)λ1+λ2e−λ2y−(λ1+λ12)xfor0<y<x |
where λ1,λ12,λ2>0 and λ=λ1+λ2+λ12. The metric tensor in the coordinate system λ1,λ12,λ2 is
[gij]=[λ2(1λ1+λ1+λ2(λ1+λ12)2)(λ1+λ2)2+1λ2λ2(λ1+λ2)(λ1+λ12)2+1λ2−1(λ1+λ2)2+1λ2λ2(λ1+λ2)(λ1+λ12)2+1λ2λ2(λ1+λ12)2+λ1(λ1+λ12)2λ1+λ2+1λ2λ1(λ1+λ2)(λ2+λ12)2+1λ2−1(λ1+λ2)2+1λ2λ1(λ1+λ2)(λ2+λ12)2+1λ2λ1(1λ2+λ1+λ2(λ2+λ12)2)(λ1+λ2)2+1λ2] |
The α-connections and the curvatures with respect to ∇α were computed in [16].
Note that the above example can be studied for λ1=λ2. In this case, the curvature tensor, Ricci curvature, and scalar curvature with respect to ∇α are zero.
Example 4.5. Let {e1,e2,e3} be an orthonormal frame field on a statistical manifold (ˆB={(x,y,z)∈R3},ˆ∇,ˆg=dx2+dy2+dz2). Then an affine connection ˆ∇ on ˆB is given as [11]
ˆ∇e1e1=βe1,ˆ∇e2e2=ˆ∇e3e3=β2e1,ˆ∇e1e2=ˆ∇e2e1=β2e2,ˆ∇e1e3=ˆ∇e3e1=β2e3,ˆ∇e2e3=ˆ∇e3e2=0, |
where β is some constant. Thus, (B,∇,ˆg) is a statistical manifold of constant curvature β24. The scalar curvature of ˆB is 3β22.
Example 4.6. We consider (R,∇R,g1=dz2) a trivial statistical manifold and (R2(−1),∇R2,g2=dx2+dy2) a 2-dimensional statistical manifold of constant curvature −1. Then, the scalar curvature of R2 is −2. The dualistic structure on a product of two statistical manifolds ˆB=R×R2 is as follows:
ˆ∇∂z∂z=∂z,ˆ∇∗∂z∂z=−∂z,ˆ∇∂z∂x=ˆ∇∂x∂z=ˆ∇∗∂z∂x=ˆ∇∗∂x∂z=0,ˆ∇∂z∂y=ˆ∇∂y∂z=ˆ∇∗∂z∂y=ˆ∇∗∂y∂z=0,ˆ∇∂x∂x=∂y,ˆ∇∂y∂y=0,ˆ∇∂x∂y=ˆ∇∂y∂x=∂x,ˆ∇∗∂x∂x=−∂y,ˆ∇∗∂y∂y=0,ˆ∇∗∂x∂y=ˆ∇∗∂y∂x=−∂x. |
Thus, (ˆB=R×R2(−1),ˆ∇,ˆg=g1+g2) is a statistical manifold. By [11], we conclude that ˆB=R×R2(−1) is a statistical manifold of quasi-constant curvature with constant functions ˆa=ˆb=−1.
As we know that the Levi-Civita connection of a Riemannian metric has symmetric Ricci tensor, but this property is not viable for any torsion-free affine connection. In fact, this property is so related to the idea of parallel volume element. Now, this is the known fact that any torsion-free affine connection on a simply connected q-manifold has symmetric Ricci tensor if and only if it is locally equiaffine (that is, a nonvanishing q-form is a parallel volume element or the connection preserves a volume q-form). Let (ˆB(ˆc),ˆ∇,ˆg) be a q-dimensional statistical manifold with constant curvature ˆc. Then, for any X1,Y1∈Γ(TˆB), we have
^Ricˆ∇,ˆ∇∗(X1,Y1)=(q−1)ˆcˆg(X1,Y1). |
Moreover, if ˆB is an equiaffine, then we can say that it is an Einstein statistical manifold. In particular, ˆB is a Ricci-flat if ˆc=0.
Example 4.7. Let Hq+1={(x1,…,xq+1)∈Rq+1|xq+1>0} be an upper half space of constant curvature −1 with metric
ˆg=q+1∑i=1dx2ix2q+1. |
We can easily verify that (Hq+1,ˆ∇,ˆg) is a statistical manifold of constant curvature 0 (see [10]). Thus, (Hq+1,ˆ∇,ˆg) is a Ricci-flat manifold.
Here we note some conclusions and remarks from this work:
(a) In [10], M. E. Aydin et al. found a lower bound for Ricci curvatures Ric and Ric∗ respectively with respect to ∇ and ∇∗ of a submanifold in a statistical manifold of constant curvature. Recently, Aytimur et al. [11] derived the similar inequality for a submanifold in a statistical manifold of quasi-constant curvature. In the present work, we have used the statistical curvature tensor fields (that is, ˆS with respect to ˆ∇ and ˆ∇∗, and S with respect to ∇ and ∇∗) and applied Theorem 3.1 to show that the Ricci curvature with respect to ∇ and ∇∗ is bounded below by the squared norm of the mean curvature with respect to ˆ∇ and ˆ∇∗. The characterisation of equality cases is also discussed here. More nice applications of Theorem 3.1 can be found in [12].
(b) Theorem 3.2 can work for finding the sharp estimates of the squared mean curvature (with respect to Levi-Civita connection) of any submanifold with arbitrary codimension when H and H∗ are orthogonal.
For instance, let (B,∇,g) be a p-dimensional submanifold in a statistical manifold (Hq+1,ˆ∇,ˆg) of constant curvature 0. For each unit vector X1∈T℘B, ℘∈B, we have
||H0||2≥4p2Ric0(X1)−2p2Ric∇,∇∗(X1). |
In addition, (Hq+1,ˆ∇,ˆg) is a Ricci-flat manifold (from relation (4.1)).
(c) From Theorem 3.2, we remark that the relation in (3.1) is the statistical version of well known Chen-Ricci inequality for a Riemannian submanifold of a real space form given by B.-Y. Chen in [1].
(d) We hope that the results stated here will open the door for the researcher and motivate further studies to obtain such inequality, which has the great geometric importance, for different ambient statistical manifolds by using an optimization technique (see [4]). For instance, by following [11] and the similar arguments in the proof of Theorem 3.2, one can easily derive the inequality (3.6) (see Theorem 3.3).
(e) The forthcoming challenge is to improve such geometric inequalities for different ambient statistical manifolds by adopting different techniques. Note that such geometric inequalities can also be proved via algebraic techniques.
Jae Won Lee was supported under the framework of international cooperation program managed by the National Research Foundation of Korea (2019K2A9A1A06097856). The authors thank the referees for many valuable suggestions to improve the presentation of this article.
The authors declare that they have no conflict of interest.
[1] |
B. Y. Chen, Relationship between Ricci curvature and shape operator for submanifolds with arbitrary codimensions, Glasgow Math. J., 41 (1999), 33-41. doi: 10.1017/S0017089599970271
![]() |
[2] |
B. Y. Chen, Some pinching and classification theorems for minimal submanifolds, Arch. Math., 6 (1993), 568-578. doi: 10.1007/BF01236084
![]() |
[3] |
A. Mihai, I. Mihai, Curvature invariants for statistical submanifolds of hessian manifolds of constant hessian curvature, Mathematics, 6 (2018), 44. doi: 10.3390/math6030044
![]() |
[4] | A. N. Siddiqui, Y. J. Suh, O. Bahadir, Extremities for statistical submanifolds in Kenmotsu statistical manifolds, 2019. |
[5] | S. Amari, Differential-Geometrical methods in statistics, lecture notes in statistics, Springer: New York, NY, USA, 1985. |
[6] |
P. W. Vos, Fundamental equations for statistical submanifolds with applications to the Bartlett correction, Ann. Inst. Stat. Math., 41 (1989), 429-450. doi: 10.1007/BF00050660
![]() |
[7] |
H. Furuhata, Hypersurfaces in statistical manifolds, Differ. Geom. Appl., 67 (2009), 420-429. doi: 10.1016/j.difgeo.2008.10.019
![]() |
[8] |
B. Opozda, Bochner's technique for statistical structures, Ann. Global Anal. Geom., 48 (2015), 357-395. doi: 10.1007/s10455-015-9475-z
![]() |
[9] |
B. Opozda, A sectional curvature for statistical structures, Linear Algebra Appl., 497 (2016), 134-161. doi: 10.1016/j.laa.2016.02.021
![]() |
[10] |
M. E. Aydin, A. Mihai, I. Mihai, Some inequalities on submanifolds in statistical manifolds of constant curvature, Filomat, 29 (2015), 465-477. doi: 10.2298/FIL1503465A
![]() |
[11] |
H. Aytimur, C. Ozgur, Inequalities for submanifolds in statistical manifolds of quasi-constant curvature, Ann. Polonici Mathematici, 121 (2018), 197-215. doi: 10.4064/ap171106-27-6
![]() |
[12] | T. Oprea, On a geometric inequality, arXiv:math/0511088v1[math.DG], 2005. |
[13] | T. Oprea, Optimizations on riemannian submanifolds, An. Univ. Bucureşti Mat., 54 (2005), 127-136. |
[14] |
L. Peng, Z. Zhang, Statistical Einstein manifolds of exponential families with group-invariant potential functions, J. Math. Anal. and App., 479 (2019), 2104-2118. doi: 10.1016/j.jmaa.2019.07.043
![]() |
[15] | A. Rylov, Constant curvature connections on statistical models, In: Ay N., Gibilisco P., Matúš F. Information geometry and its applications. IGAIA IV 2016. Eds. Springer Proceedings in Mathematics Statistics, Springer, Cham, 252 (2018), 349-361. |
[16] | K. Arwini, C. T. J. Dodson, Information geometry: Near randomness and near independence, lecture notes in mathematics, Springer-Verlag Berlin Heidelberg, 1953 (2008), 260. |
1. | Aliya Naaz Siddiqui, Bang-Yen Chen, Mohd. Danish Siddiqi, Chen inequalities for statistical submersions between statistical manifolds, 2021, 18, 0219-8878, 2150049, 10.1142/S0219887821500493 | |
2. | Oğuzhan Bahadır, Aliya Naaz Siddiqui, Mehmet Gülbahar, Ali Hussain Alkhaldi, Main Curvatures Identities on Lightlike Hypersurfaces of Statistical Manifolds and Their Characterizations, 2022, 10, 2227-7390, 2290, 10.3390/math10132290 | |
3. | Aliya Naaz Siddiqui, Ali Hussain Alkhaldi, Lamia Saeed Alqahtani, Generalized Wintgen Inequality for Statistical Submanifolds in Hessian Manifolds of Constant Hessian Curvature, 2022, 10, 2227-7390, 1727, 10.3390/math10101727 | |
4. | Bang-Yen Chen, Adara M. Blaga, 2024, Chapter 1, 978-981-99-9749-7, 1, 10.1007/978-981-99-9750-3_1 | |
5. | Esmaeil Peyghan, Leila Nourmohammadifar, Ion Mihai, Statistical Submanifolds Equipped with F-Statistical Connections, 2024, 12, 2227-7390, 2492, 10.3390/math12162492 | |
6. | Aliya Naaz SIDDIQUI, Siraj UDDİN, Mohammad Hasan SHAHİD, B.-Y. Chen's Inequality for Kähler-like Statistical Submersions, 2022, 15, 1307-5624, 277, 10.36890/iejg.1006287 | |
7. | Aliya Naaz Siddiqui, Meraj Ali Khan, Sudhakar Kumar Chaubey, Statistical Warped Product Immersions into Statistical Manifolds of (Quasi-)Constant Curvature, 2024, 16, 2073-8994, 771, 10.3390/sym16060771 |