<p>We study the topology of Vietoris–Rips complexes of finite grids on the torus. Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2945_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_{n,n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>n</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> be the grid of <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2945_Article_IEq2.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\times n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>×</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation> points on the flat torus <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2945_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(S^1\times S^1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>S</mi> <mn>1</mn> </msup> <mo>×</mo> <msup> <mi>S</mi> <mn>1</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, equipped with the <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2945_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(l^1\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>l</mi> <mn>1</mn> </msup> </math></EquationSource> </InlineEquation> metric. Let <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2945_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{VR}(T_{n,n};k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>VR</mtext> <mo stretchy="false">(</mo> <msub> <mi>T</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>n</mi> </mrow> </msub> <mo>;</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be the Vietoris–Rips simplicial complex of this torus grid at scale <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2945_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. For <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2945_Article_IEq7.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\ge 7\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>7</mn> </mrow> </math></EquationSource> </InlineEquation> and small scales <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2945_Article_IEq8.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="88" /> </InlineMediaObject> <EquationSource Format="TEX">\(2\le k\le \frac{n-1}{3}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>≤</mo> <mi>k</mi> <mo>≤</mo> <mfrac> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> <mn>3</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, the complex <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2945_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{VR}(T_{n,n};k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>VR</mtext> <mo stretchy="false">(</mo> <msub> <mi>T</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>n</mi> </mrow> </msub> <mo>;</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is homotopy equivalent to the torus. For large scales <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2945_Article_IEq10.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="70" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\ge 2\lfloor \frac{n}{2}\rfloor \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>2</mn> <mo>⌊</mo> <mfrac> <mi>n</mi> <mn>2</mn> </mfrac> <mo>⌋</mo> </mrow> </math></EquationSource> </InlineEquation>, the complex <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2945_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{VR}(T_{n,n};k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>VR</mtext> <mo stretchy="false">(</mo> <msub> <mi>T</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>n</mi> </mrow> </msub> <mo>;</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is a simplex and hence contractible. Interesting topology arises over intermediate scales <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2945_Article_IEq12.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="116" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frac{n-1}{3}&lt;k&lt;2\lfloor \frac{n}{2}\rfloor \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> <mn>3</mn> </mfrac> <mo>&lt;</mo> <mi>k</mi> <mo>&lt;</mo> <mn>2</mn> <mrow> <mo>⌊</mo> <mfrac> <mi>n</mi> <mn>2</mn> </mfrac> <mo>⌋</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. For example, we prove that <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2945_Article_IEq13.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="199" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{VR}(T_{2n,2n};2n-1)\cong S^{2n^2-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>VR</mtext> <mrow> <mo stretchy="false">(</mo> <msub> <mi>T</mi> <mrow> <mn>2</mn> <mi>n</mi> <mo>,</mo> <mn>2</mn> <mi>n</mi> </mrow> </msub> <mo>;</mo> <mn>2</mn> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo>≅</mo> <msup> <mi>S</mi> <mrow> <mn>2</mn> <msup> <mi>n</mi> <mn>2</mn> </msup> <mo>-</mo> <mn>1</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2945_Article_IEq14.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, that <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2945_Article_IEq15.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="180" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{VR}(T_{3n,3n};n)\simeq \vee ^{6n^2-1}S^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>VR</mtext> <mrow> <mo stretchy="false">(</mo> <msub> <mi>T</mi> <mrow> <mn>3</mn> <mi>n</mi> <mo>,</mo> <mn>3</mn> <mi>n</mi> </mrow> </msub> <mo>;</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>≃</mo> <msup> <mo>∨</mo> <mrow> <mn>6</mn> <msup> <mi>n</mi> <mn>2</mn> </msup> <mo>-</mo> <mn>1</mn> </mrow> </msup> <msup> <mi>S</mi> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2945_Article_IEq14.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, and that <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2945_Article_IEq17.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="293" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{VR}(T_{3n-1,3n-1};n)\simeq \bigvee _{6n-3} S^2\vee \bigvee _{6n-2}S^3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>VR</mtext> <mrow> <mo stretchy="false">(</mo> <msub> <mi>T</mi> <mrow> <mn>3</mn> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mn>3</mn> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mo>;</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>≃</mo> <msub> <mo>⋁</mo> <mrow> <mn>6</mn> <mi>n</mi> <mo>-</mo> <mn>3</mn> </mrow> </msub> <msup> <mi>S</mi> <mn>2</mn> </msup> <mo>∨</mo> <msub> <mo>⋁</mo> <mrow> <mn>6</mn> <mi>n</mi> <mo>-</mo> <mn>2</mn> </mrow> </msub> <msup> <mi>S</mi> <mn>3</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2945_Article_IEq18.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>. Based on homology computations, we conjecture that <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2945_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{VR}(T_{n,n};k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>VR</mtext> <mo stretchy="false">(</mo> <msub> <mi>T</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>n</mi> </mrow> </msub> <mo>;</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is homotopy equivalent to a 3-sphere for a countable family of (<i>n</i>,&#xa0;<i>k</i>) pairs, and we prove this for <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2945_Article_IEq20.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="98" /> </InlineMediaObject> <EquationSource Format="TEX">\((n,k)=(7,4)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mo stretchy="false">(</mo> <mn>7</mn> <mo>,</mo> <mn>4</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Vietoris–Rips Complexes of Torus Grids

  • Henry Adams,
  • Adenike Yeside Adetowubo,
  • Hector Barriga-Acosta,
  • Ziqin Feng,
  • John Sterling

摘要

We study the topology of Vietoris–Rips complexes of finite grids on the torus. Let \(T_{n,n}\) T n , n be the grid of \(n\times n\) n × n points on the flat torus \(S^1\times S^1\) S 1 × S 1 , equipped with the \(l^1\) l 1 metric. Let \(\textrm{VR}(T_{n,n};k)\) VR ( T n , n ; k ) be the Vietoris–Rips simplicial complex of this torus grid at scale \(k\ge 0\) k 0 . For \(n\ge 7\) n 7 and small scales \(2\le k\le \frac{n-1}{3}\) 2 k n - 1 3 , the complex \(\textrm{VR}(T_{n,n};k)\) VR ( T n , n ; k ) is homotopy equivalent to the torus. For large scales \(k\ge 2\lfloor \frac{n}{2}\rfloor \) k 2 n 2 , the complex \(\textrm{VR}(T_{n,n};k)\) VR ( T n , n ; k ) is a simplex and hence contractible. Interesting topology arises over intermediate scales \(\frac{n-1}{3}<k<2\lfloor \frac{n}{2}\rfloor \) n - 1 3 < k < 2 n 2 . For example, we prove that \(\textrm{VR}(T_{2n,2n};2n-1)\cong S^{2n^2-1}\) VR ( T 2 n , 2 n ; 2 n - 1 ) S 2 n 2 - 1 for \(n\ge 2\) n 2 , that \(\textrm{VR}(T_{3n,3n};n)\simeq \vee ^{6n^2-1}S^2\) VR ( T 3 n , 3 n ; n ) 6 n 2 - 1 S 2 for \(n\ge 2\) n 2 , and that \(\textrm{VR}(T_{3n-1,3n-1};n)\simeq \bigvee _{6n-3} S^2\vee \bigvee _{6n-2}S^3\) VR ( T 3 n - 1 , 3 n - 1 ; n ) 6 n - 3 S 2 6 n - 2 S 3 for \(n\ge 3\) n 3 . Based on homology computations, we conjecture that \(\textrm{VR}(T_{n,n};k)\) VR ( T n , n ; k ) is homotopy equivalent to a 3-sphere for a countable family of (nk) pairs, and we prove this for \((n,k)=(7,4)\) ( n , k ) = ( 7 , 4 ) .