The Geometry of Cochains on Sampled Vietoris-Rips Complexes

Darrick Lee, Kelly Maggs

Abstract

We study the geometry of simplicial cochains on Vietoris-Rips complexes built from i.i.d. samples of a compact embedded manifold. By integrating differential forms over affine simplices, we define a cochain map from smooth forms to simplicial cochains and equip the latter with kernel-weighted inner products determined by ambient pairwise distances. At scales where the sampled complex recovers the homotopy type of the manifold, we prove quantitative high-probability convergence of these inner products and, under uniform sampling, of the associated codifferential energies to their continuum counterparts. As consequences, we obtain spectral upper bounds for the discrete Hodge Laplacian and, for orientable manifolds, convergence of harmonic representatives of discretized harmonic one-forms and consistency of harmonic smoothing for circular coordinates.

Disclosure

“the use of the geometric U-kernel (Section 6.2) which allowed us to apply an additional symmetry argument to improve the rates. • The general outline of the proof of Theorem 4.5 was developed in collaboration with AI tools, by adapting the proof of Theorem 4.1. In particular, AI tools suggested the variation of the trace formula in Lemma 7.6. • In order to deal with the discontinuity of the VR kernels, AI tools were used to refine th”

PDF page 42
Classification
Substantial proof generation
Multiplier
10
Verified

Structural counts

Pages 45 pdf
Theorems 7 source
Lemmas 23 source
Propositions 9 source
Corollaries 6 source
Definitions 7 source
Displayed equations 280 source
Bibliography entries 43 source
Appendix pages 45 estimated

Count notes

  • Source counts use the expanded primary TeX file paper.tex.
  • Appendix pages include the first PDF page with an explicit Appendix heading through the final page.