<p>This note proves that only a linear number of holes in a Čech complex of <i>n</i> points in <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbb {R}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation> can persist over an interval of constant length. Specifically, for any fixed dimension <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(p&lt;d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&lt;</mo> <mi>d</mi> </mrow> </math></EquationSource> </InlineEquation> and fixed &#xa0;<InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\varepsilon &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ε</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, the number of <i>p</i>-dimensional holes in the Čech complex at radius 1 that persist to radius <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(1+\varepsilon \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>+</mo> <mi>ε</mi> </mrow> </math></EquationSource> </InlineEquation> is bounded above by a constant times <i>n</i>, where <i>n</i> is the number of points. The proof uses a packing argument supported by relating the Čech complexes with corresponding snap complexes over the cells in a partition of space. The argument is self-contained and elementary, relying on geometric and combinatorial constructions rather than on the existing theory of sparse approximations or interleavings. The bound also applies to Alpha complexes and Vietoris–Rips complexes. While our result can be inferred from prior work on sparse filtrations, to our knowledge, no explicit statement or direct proof of this bound appears in the literature.</p>

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

Maximum persistent Betti numbers of Čech complexes

  • Herbert Edelsbrunner,
  • Matthew Kahle,
  • Shu Kanazawa

摘要

This note proves that only a linear number of holes in a Čech complex of n points in \(\mathbb {R}^d\) R d can persist over an interval of constant length. Specifically, for any fixed dimension \(p<d\) p < d and fixed   \(\varepsilon >0\) ε > 0 , the number of p-dimensional holes in the Čech complex at radius 1 that persist to radius \(1+\varepsilon \) 1 + ε is bounded above by a constant times n, where n is the number of points. The proof uses a packing argument supported by relating the Čech complexes with corresponding snap complexes over the cells in a partition of space. The argument is self-contained and elementary, relying on geometric and combinatorial constructions rather than on the existing theory of sparse approximations or interleavings. The bound also applies to Alpha complexes and Vietoris–Rips complexes. While our result can be inferred from prior work on sparse filtrations, to our knowledge, no explicit statement or direct proof of this bound appears in the literature.