<p>We survey what is known and unknown about Vietoris–Rips complexes and thickenings of spheres. Afterwards, we show how to control the homotopy connectivity of Vietoris–Rips complexes of spheres in terms of coverings of spheres and projective spaces. Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41468_2025_214_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(S^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>S</mi> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> be the <i>n</i>-sphere with the geodesic metric, and of diameter <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41468_2025_214_Article_IEq2.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>π</mi> </math></EquationSource> </InlineEquation>, and let <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41468_2025_214_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(\delta &gt; 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>δ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. Suppose that the first nontrivial homotopy group of the Vietoris–Rips complex <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41468_2025_214_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="103" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{VR}(S^n;\pi -\delta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>VR</mtext> <mo stretchy="false">(</mo> <msup> <mi>S</mi> <mi>n</mi> </msup> <mo>;</mo> <mi>π</mi> <mo>-</mo> <mi>δ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of the <i>n</i>-sphere at scale <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41468_2025_214_Article_IEq5.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi -\delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>π</mi> <mo>-</mo> <mi>δ</mi> </mrow> </math></EquationSource> </InlineEquation> occurs in dimension <i>k</i>, i.e., suppose that the connectivity is <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41468_2025_214_Article_IEq6.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(k-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. Then <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41468_2025_214_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="239" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{cov}_{S^n}(2k+2) \le \delta &lt; 2\cdot \textrm{cov}_{\mathbb {R}\textrm{P}^n}(k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>cov</mtext> <msup> <mi>S</mi> <mi>n</mi> </msup> </msub> <mrow> <mo stretchy="false">(</mo> <mn>2</mn> <mi>k</mi> <mo>+</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <mi>δ</mi> <mo>&lt;</mo> <mn>2</mn> <mo>·</mo> <msub> <mtext>cov</mtext> <mrow> <mi mathvariant="double-struck">R</mi> <msup> <mtext>P</mtext> <mi>n</mi> </msup> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. In other words, there exist <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41468_2025_214_Article_IEq8.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(2k+2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mi>k</mi> <mo>+</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> balls of radius <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41468_2025_214_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>δ</mi> </math></EquationSource> </InlineEquation> that cover <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41468_2025_214_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(S^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>S</mi> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>, and no set of <i>k</i> balls of radius <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41468_2025_214_Article_IEq11.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="9" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frac{\delta }{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <mi>δ</mi> <mn>2</mn> </mfrac> </math></EquationSource> </InlineEquation> cover the projective space <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41468_2025_214_Article_IEq12.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="31" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}\textrm{P}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">R</mi> <msup> <mtext>P</mtext> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>. As a corollary, the homotopy type of <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41468_2025_214_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{VR}(S^n;r)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>VR</mtext> <mo stretchy="false">(</mo> <msup> <mi>S</mi> <mi>n</mi> </msup> <mo>;</mo> <mi>r</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> changes infinitely many times as the scale <i>r</i> increases.</p>

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

The connectivity of Vietoris–Rips complexes of spheres

  • Henry Adams,
  • Johnathan Bush,
  • Žiga Virk

摘要

We survey what is known and unknown about Vietoris–Rips complexes and thickenings of spheres. Afterwards, we show how to control the homotopy connectivity of Vietoris–Rips complexes of spheres in terms of coverings of spheres and projective spaces. Let \(S^n\) S n be the n-sphere with the geodesic metric, and of diameter \(\pi \) π , and let \(\delta > 0\) δ > 0 . Suppose that the first nontrivial homotopy group of the Vietoris–Rips complex \(\textrm{VR}(S^n;\pi -\delta )\) VR ( S n ; π - δ ) of the n-sphere at scale \(\pi -\delta \) π - δ occurs in dimension k, i.e., suppose that the connectivity is \(k-1\) k - 1 . Then \(\textrm{cov}_{S^n}(2k+2) \le \delta < 2\cdot \textrm{cov}_{\mathbb {R}\textrm{P}^n}(k)\) cov S n ( 2 k + 2 ) δ < 2 · cov R P n ( k ) . In other words, there exist \(2k+2\) 2 k + 2 balls of radius \(\delta \) δ that cover \(S^n\) S n , and no set of k balls of radius \(\frac{\delta }{2}\) δ 2 cover the projective space \(\mathbb {R}\textrm{P}^n\) R P n . As a corollary, the homotopy type of \(\textrm{VR}(S^n;r)\) VR ( S n ; r ) changes infinitely many times as the scale r increases.