arXiv subjects
Publications and source records attributed to Shiquan Ren.
In this paper, based on the embedded homology groups of hypergraphs defined in \cite{h1}, we define the product of hypergraphs and prove the corresponding Künneth formula of hypergraphs which can be generalized to the Künneth formula for the embedded homology of graded subsets of chain complexes with coefficients in a principal ideal domain.
Digraphs are generalizations of graphs in which each edge is assigned with a direction or two directions. In this paper, we define discrete Morse functions on digraphs, and prove that the homology of the Morse complex and the path homology are isomorphic for a transitive digraph. We also study the collapses defined by discrete gradient vector fields. Let $G$ be a digraph and $f$ a discrete Morse function. Assume the out-degree and in-degree of any zero-point of $f$ on $G$ are both 1. We prove that the original digraph $G$ and its $\mathcal{M}$-collapse $\tilde{G}$ have the same path homology groups.
A hypergraph can be obtained from a simplicial complex by deleting some non-maximal simplices. By [11], a hypergraph gives an associated simplicial complex. By [4], the embedded homology of a hypergraph is the homology of the infimum chain complex, or equivalently, the homology of the supremum chain complex. In this paper, we generalize the discrete Morse theory for simplicial complexes by R. Forman [5-7] and give a discrete Morse theory for hypergraphs. We use the critical simplices of the associated simplicial complex to construct a sub-chain complex of the infimum chain complex and a sub-chain complex of the supremum chain complex, then prove that the embedded homology of a hypergraph is isomorphic to the homology of the constructed chain complexes. Moreover, we define discrete Morse functions on hypergraphs and compute the embedded homology in terms of the critical hyperedges. As by-products, we derive some Morse inequalities and collapse results for hypergraphs.
In this paper, we develop and study the theory of weighted fundamental groups of weighted simplicial complexes. When all weights are 1, the weighted fundamental group reduces to the usual fundamental group as a special case. We also study weighted versions of classical theorems like van Kampen's theorem. In addition, we also investigate the abelianization, lower central series and applications of weighted fundamental groups.
In this paper, we study Forman's discrete Morse theory in the context of weighted homology. We develop weighted versions of classical theorems in discrete Morse theory. A key difference in the weighted case is that simplicial collapses do not necessarily preserve weighted homology. We work out some sufficient conditions for collapses to preserve weighted homology, as well as study the effect of elementary removals on weighted homology. An application to sequence analysis is included, where we study the weighted ordered complexes of sequences.
In recent years, A. Grigor'yan, Y. Lin, Y. Muranov and S.T. Yau [6, 7, 8, 9] constructed a path homology theory for digraphs. Later, S. Chowdhury and F. Memoli [3] studied the persistent path homology for directed networks. In this paper, we generalize the path homology theory for digraphs and construct a weighted path homology for weighted digraphs. We study the persistent weighted path homology for weighted digraphs and detect the effects of the weights on the persistent weighted path homology. We prove a persistent version of a Kunneth-type formula for joins of weighted digraphs.
In this paper, we study further properties and applications of weighted homology and persistent homology. We introduce the Mayer-Vietoris sequence and generalized Bockstein spectral sequence for weighted homology. For applications, we show an algorithm to construct a filtration of weighted simplicial complexes from a weighted network. We also prove a theorem that allows us to calculate the mod $p^2$ weighted persistent homology given some information on the mod $p$ weighted persistent homology.
Weighted hypergraphs are generalizations of weighted simplicial complexes. In recent years, weighted Laplacians of weighted simplicial complexes have been studied. In 2016, as a generalization of the homology of simplicial complexes, the embedded homology of hypergraphs was constructed. In this paper, we generalize the weighted Laplacians of weighted simplicial complexes to weighted hypergraphs. We study the relations between the weighted Laplacians and the weighted embedded homology of weighted hypergraphs. We generalize the Hodge decompositions of weighted simplicial complexes to weighted hypergraphs. Moreover, as a complement for the Hodge decompositions, we give some results for the nonzero eigenvalues of the weighted Laplacians of weighted hypergraphs.
An isometric embedding of a graph into a metric space is an embedding of the vertices such that the smallest number of edges connecting any two vertices equals to the distance in the metric space between the images. In this paper, we study isometric embeddings of graphs into Riemannian manifolds. We give some classifications of graphs that can be isometrically embedded into certain Riemannian manifolds.
In this paper we develop the theory of weighted persistent homology. In 1990, Robert J. Dawson was the first to study in depth the homology of weighted simplicial complexes. We generalize the definitions of weighted simplicial complex and the homology of weighted simplicial complex to allow weights in an integral domain $R$. Then we study the resulting weighted persistent homology. We show that weighted persistent homology can tell apart filtrations that ordinary persistent homology does not distinguish. For example, if there is a point considered as special, weighted persistent homology can tell when a cycle containing the point is formed or has disappeared.
Hypergraphs are mathematical models for many problems in data sciences. In recent decades, the topological properties of hypergraphs have been studied and various kinds of (co)homologies have been constructed (cf. [3, 4, 12]). In this paper, generalising the usual homology of simplicial complexes, we define the embedded homology of hypergraphs as well as the persistent embedded homology of sequences of hypergraphs. As a generalisation of the Mayer-Vietoris sequence for the homology of simplicial complexes, we give a Mayer-Vietoris sequence for the embedded homology of hypergraphs. Moreover, as applications of the embedded homology, we study acyclic hypergraphs and construct some indices for the data analysis of hyper-networks.
Hypergraph is a topological model for networks. In order to study the topology of hypergraphs, the homology of the associated simplicial complexes and the embedded homology have been invented. In this paper, we give some algorithms to compute the homology of the associated simplicial complexes and the embedded homology of hypergraphs as well as some heuristics for efficient computations.
A map from a manifold to a Euclidean space is said to be k-regular if the image of any distinct k points are linearly in- dependent. For k-regular maps on manifolds, lower bounds of the dimension of the ambient Euclidean space have been exten- sively studied. In this paper, we study the lower bounds of the dimension of the ambient Euclidean space for 2-regular maps on Cartesian products of manifolds. As corollaries, we obtain the exact lower bounds of the dimension of the ambient Euclidean space for 2-regular maps and 3-regular maps on spheres as well as on some real projective spaces. Moreover, generalizing the notion of k-regular maps, we study the lower bounds of the di- mension of the ambient Euclidean space for maps with certain non-degeneracy conditions from disjoint unions of manifolds into Euclidean spaces.
A map from a manifold to a Euclidean space is said to be k-regular if the image of any distinct k points are linearly independent. In this paper, we give some lower bounds of the dimension of the ambient Euclidean space for complex k-regular maps on Euclidean spaces.
In this paper we prove some classification theorems of real hypersur- faces in Mn(c) satisfying certain conditions on the covariant derivative of the structure Jacobi operator. We also prove the non-existence of real hypersurfaces with Codazzi type structure Jacobi operator in Mn(c).