Related papers: K\"unneth Formulae in Persistent Homology
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\"{u}nneth formula of hypergraphs which can be generalized to the K\"{u}nneth…
The K\"unneth formula is one of the basic tools for computing cohomology. Its validity for foliated cohomology, that is, for the tangential de Rham cohomology of a foliated manifold, is investigated. The main difficulty encountered is the…
We develop new aspects of the homological algebra theory for persistence modules, in both the one-parameter and multi-parameter settings. For a poset $P$ and an order preserving map $\varphi:P\times P\to P$, we introduce a novel tensor…
The Vietoris-Rips filtration for an $n$-point metric space is a sequence of large simplicial complexes adding a topological structure to the otherwise disconnected space. The persistent homology is a key tool in topological data analysis…
We define the tensor product of filtered $A_\infty$-algebras. establish some of its properties and give a partial description of the space of bounding cochains in the tensor product. Furthermore we show that in the case of classical…
Persistent homology is a methodology central to topological data analysis that extracts and summarizes the topological features within a dataset as a persistence diagram; it has recently gained much popularity from its myriad successful…
We prove the K\"unneth formula for the irregular Hodge filtrations on the exponentially twisted de Rham and the Higgs cohomologies of smooth quasi-projective complex varieties. The method involves a careful comparison of the underlying…
Graph-based representations of point-cloud data are widely used in data science and machine learning, including epsilon-graphs that contain edges between pairs of data points that are nearer than epsilon and kNN-graphs that connect each…
We prove a Kunneth theorem for the Vietoris-Rips homology and cohomology of a semi-uniform space. We then interpret this result for graphs, where we show that the Kunneth theorem holds for graphs with respect to the strong graph product. We…
Persistent homology studies the evolution of k-dimensional holes along a nested sequence of simplicial complexes (called a filtration). The set of bars (i.e. intervals) representing birth and death times of k-dimensional holes along such…
Topological periodic cyclic homology (i.e., $\mathbb{T}$-Tate fixed points of $THH$) has the structure of a strong symmetric monoidal functor of smooth and proper dg categories over a perfect field of finite characteristic.
We define united K-theory for real C*-algebras, generalizing Bousfield's topological united K-theory. United K-theory incorporates three functors -- real K-theory, complex K-theory, and self-conjugate K-theory -- and the natural…
Given finite metric spaces $(X, d_X)$ and $(Y, d_Y)$, we investigate the persistent homology $PH_*(X \times Y)$ of the Cartesian product $X \times Y$ equipped with the sum metric $d_X + d_Y$. Interpreting persistent homology as a module…
We study the categorical framework for the computation of persistent homology, without reliance on a particular computational algorithm. The computation of persistent homology is commonly summarized as a matrix theorem, which we call the…
Persistent homology is a popular tool in Topological Data Analysis. It provides numerical characteristics of data sets which reflect global geometric properties. In order to be useful in practice, for example for feature generation in…
We consider complexes $(\X, d)$ of nuclear Fr\'echet spaces and continuous boundary maps $d_n$ with closed ranges and prove that, up to topological isomorphism, $ (H_{n}(\X, d))^*$ $\iso$ $H^{n}(\X^*,d^*),$ where $(H_{n}(\X,d))^*$ is the…
We study Dolbeault--Koszul cohomology $H^{p,q}(M)$ of flat affine manifolds. We proove a K\"unneth formula \[ H^{p,q}(M\times N) \cong \bigoplus_{i,j} H^{i,j}(M)\otimes H^{p-i,q-j}(N) \] for flat affine manifolds $M,N$ with at least one…
We give an $O(n^2(k+\log n))$ algorithm for computing the $k$-dimensional persistent homology of a filtration of clique complexes of cyclic graphs on $n$ vertices. This is nearly quadratic in the number of vertices $n$, and therefore a…
In this paper, we apply quantitative operator K-theory to develop an algorithm for computing K-theory for the class of filtered C *-algebras with asymptotic finite nuclear decomposition. As a consequence, we prove the K{\"u}nneth formula…
We use a map to quantum error-correcting codes and a subspace projection to get lower bounds for minimal homological distances in a tensor product of two chain complexes of vector spaces over a finite field. Homology groups of such a…