SearcharxivSearch

arXiv · 2607.18692

Geometry-Induced Hodge Stars on Rips and Dowker--Rips Complexes

Abstract

The Vietoris--Rips complex $\mathrm{VR}_\epsilon(X)$, the Dowker complex $\mathrm{D}_R(X,Y)$, and its flagified Dowker--Rips variant $\mathrm{DR}_R(X,Y)=\mathrm{F}(\mathrm{D}_R(X,Y))$ are simplicial complexes constructed from metric data or witness relations. They are useful in topological data analysis because they encode topology through combinatorial data derived from pairwise information, but at a fixed scale they retain little of the underlying geometry. Unlike alpha complexes or mesh-based discretizations, Rips-type complexes carry no canonical primal--dual cell structure, which is the ingredient used by the discrete exterior calculus Hodge star to encode metric information. We address this gap by equipping a Rips-type complex $K$ with diagonal geometry-induced Hodge stars represented by positive simplex weights $W_k=\operatorname{diag}\{w_k(\sigma):\sigma\in K_k\}$, which define weighted inner products on $k$-cochains. The resulting weighted discrete Hodge Laplacian $\Delta_k^W$ has kernel dimension equal to the $k$th Betti number of the underlying complex, while its nonzero spectrum is governed by the chosen geometric weights. The central issue is therefore not the existence of a weighted Laplacian, since any positive diagonal weights define one, but the design of weights that encode meaningful metric or witness geometry. We focus on two computable choices: simplex-volume weights, based on Euclidean simplex volumes, and soft witness weights, based on a Dowker-style support function $s_t(\sigma;Y)$ that quantifies higher-order witness support lost under flagification. We prove positivity, weighted self-adjointness, and Betti-number preservation for arbitrary positive diagonal weights, establish an asymptotic decay-rate characterization for soft witness support, and describe spectral descriptors derived from $\Delta_k^W$ for comparing geometry-aware Hodge spectra on Rips complexes.

Explore related subjects

Keep this discovery

BibTeXRIS

Jiahui Chen, Sebastian Wilcox. 2026-07-21. Geometry-Induced Hodge Stars on Rips and Dowker--Rips Complexes. https://arxiv.org/abs/2607.18692

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Homogeneous Milnor fibers and Kato--Matsumoto bounds via simplicial multiwedges

For every $n\geq 3$ and $s\geq 2$, we construct a homogeneous polynomial of degree $n(n+1)/2$ whose Milnor fiber is exactly $2s$-connected and whose rational cohomology contains a strictly defined nontrivial $n$-fold Massey product on classes of degree $2s+1$, implying that the Milnor fiber is non-formal, while attaining the Kato--Matsumoto connectivity bound. Our construction is based on the simplicial multiwedges of the nerve complexes of simple polytopes introduced by Limonchenko, combined with Suciu's realization of weighted homogeneous Milnor fibers. We thereby answer two problems posed by Suciu.

math.AT

The homotopy types of directed path and trace spaces

We construct a saturated directed space with a Hausdorff $\Delta$-generated underlying space and two distinct points such that the trace space between them is homeomorphic to a square, whereas the directed path space has a nontrivial fundamental group. In particular, the canonical quotient map is not a weak homotopy equivalence. The same conclusion holds for regular directed paths modulo increasing homeomorphisms.

math.AT

Moduli spaces of geometric functorial field theories

We develop tools to compute moduli spaces of geometric functorial field theories as mapping spaces of equivariant simplicial presheaves. Given a d-dimensional geometric structure F, presented as a presheaf on the site of smooth families of d-manifolds, we define its Cartesian realization, which is an O(d)-equivariant simplicial presheaf on the site of Cartesian spaces. We use Cartesian realizations to present the moduli space of functorial field theories with geometric structure F as a mapping space between O(d)-equivariant simplicial presheaves. In a companion paper, we use this result to compute the moduli space of smooth one-dimensional oriented Riemannian functorial field theories valued in an arbitrary smooth symmetric monoidal infinity-category.

math.AT