<p>We study the concepts of the <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\ell _p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ℓ</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>-Vietoris-Rips simplicial set and the <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\ell _p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ℓ</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>-Vietoris-Rips complex of a metric space, where <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(1\le p \le \infty .\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>p</mi> <mo>≤</mo> <mi>∞</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> This theory unifies two established theories: for <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(p=\infty ,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mi>∞</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> this is the classical theory of Vietoris-Rips complexes, and for <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(p=1,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> this corresponds to the blurred magnitude homology theory. We prove several results that are known for the Vietoris-Rips complex in the general case: (1) we prove a stability theorem for the corresponding version of the persistent homology; (2) we show that, for a compact Riemannian manifold and a sufficiently small scale parameter, all the “<InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\ell _p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ℓ</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>-Vietoris-Rips spaces” are homotopy equivalent to the manifold; (3) we demonstrate that the <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\ell _p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ℓ</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>-Vietoris-Rips spaces are invariant (up to homotopy) under taking the metric completion. Additionally, we show that the limit of the homology groups of the <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\ell _p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ℓ</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>-Vietoris-Rips spaces, as the scale parameter tends to zero, does not depend on <i>p</i>; and that the homology groups of the <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\ell _p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ℓ</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>-Vietoris-Rips spaces commute with filtered colimits of metric spaces.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On \(\ell _p\)-Vietoris-Rips complexes

  • Sergei O. Ivanov,
  • Xiaomeng Xu

摘要

We study the concepts of the \(\ell _p\) p -Vietoris-Rips simplicial set and the \(\ell _p\) p -Vietoris-Rips complex of a metric space, where \(1\le p \le \infty .\) 1 p . This theory unifies two established theories: for \(p=\infty ,\) p = , this is the classical theory of Vietoris-Rips complexes, and for \(p=1,\) p = 1 , this corresponds to the blurred magnitude homology theory. We prove several results that are known for the Vietoris-Rips complex in the general case: (1) we prove a stability theorem for the corresponding version of the persistent homology; (2) we show that, for a compact Riemannian manifold and a sufficiently small scale parameter, all the “ \(\ell _p\) p -Vietoris-Rips spaces” are homotopy equivalent to the manifold; (3) we demonstrate that the \(\ell _p\) p -Vietoris-Rips spaces are invariant (up to homotopy) under taking the metric completion. Additionally, we show that the limit of the homology groups of the \(\ell _p\) p -Vietoris-Rips spaces, as the scale parameter tends to zero, does not depend on p; and that the homology groups of the \(\ell _p\) p -Vietoris-Rips spaces commute with filtered colimits of metric spaces.