The Ricci curvature on simplicial complexes

We define the Ricci curvature on simplicial complexes by modifying the definition of the Ricci curvature on graphs, and we prove the upper and lower bounds of the Ricci curvature. These properties are generalizations of previous studies. Moreover, we obtain an estimate of the eigenvalues of the Laplacian on simplicial complexes using the Ricci curvature.


Introduction
The Ricci curvature plays an important role in Riemannian geometry when we investigate the global properties of a manifold.The Bonnet-Myers theorem and the Lichnerowicz theorem are good examples.Recently, Ollivier [15] generalized the Ricci curvature through a method now known as Ollivier's coarse Ricci curvature.By modifying this Ricci curvature, the Ricci curvature of a graph G = (V, E) for two distinct vertices x, y ∈ V is defined as where m = {m x } x∈V is a random walk on V and W (m x , m y ) is the 1-Wasserstein distance between m x and m y .In 2010, Lin, Lu, and Yau [11] defined the Ricci curvature of an undirected graph by using lazy random walk, and they studied the Ricci curvature of the product space of graphs and random graphs.In 2012, Jost and Liu [8] defined the Ricci curvature on undirected graphs by using a simple random walk; therefore, their definition is simpler than Lin-Lu-Yau's definition.In 2019, we first introduced the notion of the Ricci curvature of directed graphs [21].We proved some global properties of directed graphs, but we had to assume a slightly strong condition.To solve this problem, in 2020, Eidi-Jost [5] defined the Ricci curvature on directed hypergraphs.Recently, we studied the transportation inequality along the heat flow and the concentration of measure inequality for directed graphs [17].In contrast, the coarse Ricci curvature on graphs has been applied to many fields, such as cancer networks [18] and Internet topology [14].In this paper, we proved the upper and lower bounds of the Ricci curvature on simplicial complex modification [8].
Theorem 1.1.For i-faces F and F ′ with F ∼ F ′ , if the weights of the facets are equal to 1, then we have where deg F ∧ deg F = min {deg F, deg F ′ }, deg F ∨ deg F = max {deg F, deg F ′ }, and for r ∈ R, (r) + = r if r > 0; otherwise, it is 0.
The graph Laplacian is one of the most important concepts for obtaining the analytic properties of directed graphs.In 1847, Kirchhoff [9] first defined the graph Laplacian on realvalued functions.Subsequently, many studies have investigated the graph Laplacian and its spectrum.There are several definitions of the graph Laplacian in addition to the Kirchhoff graph Laplacian.One of the most famous definitions is the normalized graph Laplacian defined by Bottema [3].The second is the higher-order combinatorial Laplacian defined by Eckmann [4].This Laplacian is defined on simplicial complexes, not graphs, and is based on a discrete version of the Hodge theory.In 2013, by modifying the higher-order combinatorial Laplacian, Jost and Horak [6] developed a general framework for Laplacians defined by the combinatorial structure of a simplicial complex.This Laplacian is called the i-Laplacian (see Definition 2.4).If we apply several weight functions to an inner product as given in Definition 2.3, then the i-Laplacian with this weight covers every graph Laplacian obtained previously, so the i-Laplacian is the best definition of the graph Laplacian.Additionally, one of the most important properties of the i-Laplacian is that its nonzero spectrum on vertices coincides with that on edges (see (2.6) in [6]).Hence, in this study, we used the i-Laplacian.
There is a good relationship between the coarse Ricci curvature and the Laplacian graph.In 2009, Ollivier [15] estimated the first non-zero eigenvalue of the normalized graph Laplacian by a lower bound of the coarse Ricci curvature.
Theorem 1.2 (Ollivier, Proposition 30 in [15]).Let µ be the non-zero eigenvalue of the normalized graph Laplacian ∆ 0 .Suppose that κ(x, y) ≥ k for any (x, y) ∈ E and for a positive real number k.Then, we have where deg u is defined in Definition 2.6, and the normalized graph Laplacian ∆ 0 is defined as for any vertex u ∈ V and for a function f : V → R.
In 2009, Bauer et al. [1] obtained an estimate of the eigenvalues of the normalized graph Laplacian on neighborhood graphs using the Ricci curvature.For simplicial complexes, we [22] obtained an estimate of the Laplacian using the Ricci curvature.However, we considered only one-dimensional simplicial complexes and assumed many conditions, so the setting of our main result in this paper is more general, and the result is an improvement over our previous result [22].This statement is as follows: Theorem 1.3.Let K be an orientable (i + 1)-dimensional simplicial complex and λ be the eigenvalue of ∆ up i .Assume that κ(F, F ′ ) ≥ k for any F ∼ F ′ and for a real number k.Then, we have Because a graph is a 1-dimensional simplicial complex, this result expands Theorem 1.2 to a simplicial complex.
In this paper, we refer to the definition of the Laplacian on simplicial complexes and define the Ricci curvature on simplicial complexes ( §2).In §3, we prove the upper and lower bounds of the Ricci curvature.In §4, we prove Theorem 1.3.In §5, we present some examples of our results.Finally, we summarize this paper and describe a future plan ( §6).

Preliminaries
2.1.Laplacian on simplicial complexes.In this section, we present several definitions of simplicial complexes, including the Laplacian and the Ricci curvature of simplicial complexes.An abstract simplicial complex K is a collection of subsets of a finite set V that is closed under inclusion.An i-face of K is an element of cardinality i + 1, and S i (K) denotes the set of all i-faces of K.A face F is said to be oriented if we choose an ordering on its vertices, and an oriented face F is denoted by [F ].The faces that are maximal under inclusion are called facets, and a simplicial complex K is said to be pure if all facets have the same dimensions.For any i-face F , the dimension of F is i, and the dimension of K is the maximum dimension of the faces in K.The i-th chain group C i (K, R) of K with coefficients in R is a vector space over the real field R with basis and the i-th co-chain group C i (K, R) is defined as the dual of the i-th chain group.Definition 2.1.For the cochain groups, the simplicial coboundary maps , where vj implies that vertex v j has been removed.
Note that the one-dimensional vector space To define the Laplacian, we define the boundary between the oriented face and the inner product.
and the sign (−1) We call w the weight function on K.
For the inner product on Definition 2.4 (Horak-Jost [6]).We define the Laplacian on C i (K, R) as follows.
(1) The i-dimensional combinatorial up Laplacian or simply the i-up Laplacian is defined by (2) The i-dimensional combinatorial down Laplacian or simply the i-down Laplacian is defined by (3) The i-dimensional combinatorial Laplacian or simply the i-Laplacian is defined by For any function f and any i-face F , the i-up Laplacian and the i-down Laplacian are given by .
As these operators are all self-adjoint and non-negative, the eigenvalues are real and nonnegative (see [6]).
Remark 2.5.Since , where im D denotes the image and ker D denotes the kernel of an operator D. Thus, λ is a non-zero eigenvalue of L i if and only if it is a nonzero eigenvalue of either We represent the Laplacians in a matrix form.Let D i be the matrix corresponding to operator δ i and W i be the diagonal matrix representing their scalar product on C i .Then, operators L up i (K) and L down i (K) are expressed as , where A T is the transpose of matrix A. Using these matrix forms, λ is a non-zero eigenvalue of L up i (G) if and only if it is a nonzero eigenvalue of L down i+1 (G).Definition 2.6.The degree of an i-face F is defined by Remark 2.7.If, for every face F of simplicial complex K that is not a facet, we take w(F ) = deg F and the weights of the facets are equal to 1, then the obtained operators are denoted by ∆ up i and ∆ down i .In particular, ∆ up 0 corresponds to the normalized graph Laplacian ∆ 0 .2.2.Ricci curvature on simplicial complexes.Hereafter, we consider an abstract simplicial complex K with more than one dimension.We note that the case of one-dimensional simplicial complexes corresponds to the case of undirected graphs.To consider the Ricci curvature on a simplicial complex, we define the distance of a simplicial complex.Definition 2.8.
(1) Any two i-faces F and F ′ are connected, denoted by F ∼ F ′ , if there exists an (i + 1)-face F such that F, F ′ ∈ ∂ F .We denote the i-neighborhood of F and (i + 1)-neighborhood of F by Γ(F ) and Γ up (F ), respectively; that is, Γ , where F 0 = F , F n = F ′ .We call n the length of the path.
(3) The distance d(F, F ′ ) between two faces F and F ′ is given by the length of the shortest path from F to F ′ .(4) K is said to be (i + 1)-path connected if any two i-faces can be connected by a path.
Next, we define the 1-Wasserstein distance between probability measures.Definition 2.9.The 1-Wasserstein distance between any two probability measures µ and ν on V is given by where (2.2) Such a map A is called a coupling between µ and ν.
One of the most important properties of the 1-Wasserstein distance is the Kantorovich-Rubinstein duality.
Proposition 2.11 (Kantorovich, Rubinstein).The 1-Wasserstein distance between any two probability measures µ and ν on V is written as where the supremum is taken over all functions f on V that satisfy |f (u In this paper, we use the following probability measure on S i (K).Definition 2.12.For any i-face F ∈ S i (K), we define a probability measure m F on S i (K) as We note that a probability measure on S 0 (K) corresponds to a simple random walk.Using this probability measure, we define the Ricci curvature.
Definition 2.13.For any two distinct i-faces F and F ′ , the Ricci curvature of F and F ′ is defined as follows: Clearly, we prove the following lemma, and thus, we obtain an upper bound of the Ricci curvature.
Lemma 2.14.For any two distinct i-faces F and F ′ , we have Proof.We define a delta function δ F .By the triangle inequality, we have This completes the proof.

3.
Properties of the Ricci curvature on simplicial complexes 3.1.Upper and lower bounds of the Ricci curvature.In the case of graphs, Jost-Liu proved a relation between the Ricci curvature and the local clustering coefficient [8].In this subsection, we extend these properties to the case of simplicial complexes.To do so, we must prepare some notations (see Figure 1).
Examples of neighborhoods on a simplicial complex Before we prove Theorem 1.1, we present the statement again: Theorem 1.1 For i-faces F and F ′ with F ∼ F ′ , if the weights of the facets are equal to 1, then we have and for r ∈ R, (r) + = r if r > 0; otherwise, it is 0. Remark 3.1.For i = 0, this statement corresponds to Theorem 3 in [8].In a general simplicial complex, we need to consider the elements of Γ(F, Γ(F, F ′ )), which complicates the proof.
In the proof, we use the following notations: For a real number R ∈ R and set S, Al(R, S) := R/|S|.Proof of Theorem 1.1.Without loss of generality, we suppose that We consider a coupling between m F and m F ′ .For simplicity, we define To refer the transfer plan of faces, we define Subsequently, we obtain A ≤ B. In addition, because Our transfer plan for moving m F to m F ′ should be as follows: (1) Move the mass of 1/((i + 1) deg F ) from F ′ to i-faces in Γ own (F ′ ).This is well defined because we have 0 ≤ B. (2) Move the mass of 1/((i + 1) deg F ′ ) to itself at i-face in Γ(F, F ′ ), and move the rest 1/((i + 1) deg 4) Move the mass of 1/((i + 1) deg F ′ ) at i-faces in Γ own (F ), and the rest at i-faces in Γ(F, Γ(F, F ′ )) to F .This is well defined because we have This is performed in Γ(F, Γ(F, F ′ )) and Γ own (F ′ ) to i-faces in Γ own (F ′ ).Then, by using this transfer plan and calculating the 1-Wasserstein distance between m F and m F ′ , we obtain 1) and ( 2), 3) and ( 4) Our transfer plan for moving m F to m F ′ should be as follows: (1) Move the mass of 1/((i + 1) deg F ) from F ′ to i-faces in Γ own (F ′ ).This is well defined because we have 0 ≤ B. (2) Move the mass of 1/((i + 1) deg F ′ ) to itself at i-face in Γ(F, F ′ ).
(3) Move the mass of 1/((i + 1) deg 4) Move all mass of 1/((i + 1) deg F ′ ) at i-faces in Γ own (F ), and the rest at i-faces in Γ(F, Γ(F, F ′ )) to F .This is well defined because we have in Γ own (F ′ ).Then, by using this transfer plan and calculating the 1-Wasserstein distance between m F and m F ′ , we obtain 4) and ( 5) 4) and ( 5) Our transfer plan for moving m F to m F ′ should be as follows: (1) Move the mass of 1/((i + 1) deg F ′ ) to itself at i-face in Γ(F, F ′ ), and move the rest to F .
(2) Move 1/((i + 1) deg F ′ ) from F ′ to i-faces in Γ own (F ′ ).This is well defined because we have Then, move the rest to F .
(3) Move all mass of 1/((i + 1) deg F ′ ) at i-faces in Γ own (F ), and the rest at i-faces in Γ(F, Γ(F, F ′ )) to F .This is well defined because we have , and move the rest to F .Then, by using this transfer plan and calculating the 1-Wasserstein distance between m F and m F ′ , we have Then, this completes the proof.Theorem 3.2.Let F and F ′ be ifaces with F ∼ F ′ .We have Remark 3.3.For i = 0, this statement corresponds to Theorem 4 in [8].Moreover, this theorem is proved in the same manner as Theorem 4 in [8].
Regarding the lower bound of the Ricci curvature, the following lemma implies that considering the Ricci curvature of connected faces is sufficient, although the Ricci curvature is defined for any pair of faces.Proposition 3.4 (Lin-Lu-Yau [11]).If κ(F, F ′ ) ≥ k for any connected faces F ∼ F ′ and for a real number k, then κ(F, F ′ ) ≥ k for any pair of faces (F, F ′ ) ∈ S i × S i .
This proposition is proved in the same manner as Lemma 2.3 in [11].

Estimate of the eigenvalues of the Laplacian by the Ricci curvature
In this section, we discuss the relation between the eigenvalue of the normalized i-up Laplacian and the Ricci curvature.To prove Theorem 1.3, we have stated a few definitions and theorems.Definition 4.1.Let K be an (i + 1)-path connected simplicial complex.
(1) K is orientable if an orientation exists on the (i + 1)-faces of K, such that for any (i + 1)-faces F satisfying E, E ′ ∈ ∂F , where E and E ′ are i-faces, sgn( ) K is opposite orientable if an orientation exists on the (i + 1)-faces of K, such that for any (i + 1)-faces F satisfying E, E ′ ∈ ∂F , where E and Remark 4.2.For graphs, a constant function is an eigenfunction of the eigenvalue 0; therefore, for i ≥ 1, we consider the eigenvalues of the normalized i-up Laplacian.If K is orientable, then a constant function is an eigenfunction of the eigenvalue i + 2. In contrast, if K is opposite orientable, no eigenvalue exists such that the eigenfunction is a constant function.
Before we prove Theorem 1.3, we present the statement again: Theorem 1.3 Let K be an orientable (i + 1)-path-connected simplicial complex and λ be the eigenvalue of ∆ up i , except for i + 2. Assume that κ(F, F ′ ) ≥ k for any F ∼ F ′ and for a real number k.Then, we have Proof of Theorem 1.3.Let f be an eigenfunction with respect to λ.Based on this assumption, f is not a constant function; hence, by scaling f , if necessary, sup We fix any two ifaces F, F ′ ∈ S i (K), and we have (1 Based in the definition of the probability measure on S i , ∆ up i is represented as follows: Then, using the Kantorovich duality and Eq. ( 4.3), we calculate the Wasserstein distance.
Thus, based on the assumption and Eq.(4.1), we obtain Corollary 4.3.Let K be an opposite orientable (i + 1)-path-connected simplicial complex and λ be the eigenvalue of ∆ up i .Assume that κ(F, F ′ ) ≥ k for any F ∼ F ′ and for a real number k.Then, we have The proof is the same as Theorem 1.3.
Remark 4.4.Because any connected graph is opposite orientable, the eigenvalue of the normalized graph Laplacian is Thus, Corollary 4.3 is a generalization of Theorem 1.2.

Example
Example 5.1.If we consider an (i + 1)-face K (for i = 2, see Figure 2), then for F, F ′ ∈ S i (K), the probability measure is and the Ricci curvature is , for any F ∼ F ′ .
Thus, by Theorem 1.3, we obtain In contrast, in [6], the eigenvalues are 0 and i + 2; thus, the value corresponds to the lower bound of our result.
In contrast, K 2 is orientable because we orient 2-faces and 1-faces, similar to Example 5.2.Thus, by Theorem 1.3, we have (1) Theorem 1.1 and Theorem 3.2 are generalizations of the result in [8].Based on these results, if we consider the Ricci curvature on simplicial complexes, the calculation is more complicated than that implemented using the graphs.(2) A primary result, namely Theorem 1.3, is the most general estimate of the non-zero eigenvalue of i-Laplacian.However, this estimate may not be statistically significant.(3) To prove Theorem 1.3, we assumed the orientation of faces.This differs from the undirected case; therefore, removing these conditions is essential.To do this, a different approach is required.(4) If the Ricci curvature is negative, our results have no meaning, and thus, we intend to improve our results.