{"title":"Lower Bounds on the Homology of Vietoris–Rips Complexes of Hypercube Graphs","authors":"","doi":"10.1007/s40840-024-01663-x","DOIUrl":null,"url":null,"abstract":"<h3>Abstract</h3> <p>We provide novel lower bounds on the Betti numbers of Vietoris–Rips complexes of hypercube graphs of all dimensions and at all scales. In more detail, let <span> <span>\\(Q_n\\)</span> </span> be the vertex set of <span> <span>\\(2^n\\)</span> </span> vertices in the <em>n</em>-dimensional hypercube graph, equipped with the shortest path metric. Let <span> <span>\\(\\textrm{VR}(Q_n;r)\\)</span> </span> be its Vietoris–Rips complex at scale parameter <span> <span>\\(r \\ge 0\\)</span> </span>, which has <span> <span>\\(Q_n\\)</span> </span> as its vertex set, and all subsets of diameter at most <em>r</em> as its simplices. For integers <span> <span>\\(r<r'\\)</span> </span> the inclusion <span> <span>\\(\\textrm{VR}(Q_n;r)\\hookrightarrow \\textrm{VR}(Q_n;r')\\)</span> </span> is nullhomotopic, meaning no persistent homology bars have length longer than one, and we therefore focus attention on the individual spaces <span> <span>\\(\\textrm{VR}(Q_n;r)\\)</span> </span>. We provide lower bounds on the ranks of homology groups of <span> <span>\\(\\textrm{VR}(Q_n;r)\\)</span> </span>. For example, using cross-polytopal generators, we prove that the rank of <span> <span>\\(H_{2^r-1}(\\textrm{VR}(Q_n;r))\\)</span> </span> is at least <span> <span>\\(2^{n-(r+1)}\\left( {\\begin{array}{c}n\\\\ r+1\\end{array}}\\right) \\)</span> </span>. We also prove a version of <em>homology propagation</em>: if <span> <span>\\(q\\ge 1\\)</span> </span> and if <em>p</em> is the smallest integer for which <span> <span>\\(\\textrm{rank}H_q(\\textrm{VR}(Q_p;r))\\ne 0\\)</span> </span>, then <span> <span>\\(\\textrm{rank}H_q(\\textrm{VR}(Q_n;r)) \\ge \\sum _{i=p}^n 2^{i-p} \\left( {\\begin{array}{c}i-1\\\\ p-1\\end{array}}\\right) \\cdot \\textrm{rank}H_q(\\textrm{VR}(Q_p;r))\\)</span> </span> for all <span> <span>\\(n \\ge p\\)</span> </span>. When <span> <span>\\(r\\le 3\\)</span> </span>, this result and variants thereof provide tight lower bounds on the rank of <span> <span>\\(H_q(\\textrm{VR}(Q_n;r))\\)</span> </span> for all <em>n</em>, and for each <span> <span>\\(r \\ge 4\\)</span> </span> we produce novel lower bounds on the ranks of homology groups. Furthermore, we show that for each <span> <span>\\(r\\ge 2\\)</span> </span>, the homology groups of <span> <span>\\(\\textrm{VR}(Q_n;r)\\)</span> </span> for <span> <span>\\(n \\ge 2r+1\\)</span> </span> contain propagated homology not induced by the initial cross-polytopal generators. </p>","PeriodicalId":50718,"journal":{"name":"Bulletin of the Malaysian Mathematical Sciences Society","volume":"18 1","pages":""},"PeriodicalIF":1.0000,"publicationDate":"2024-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of the Malaysian Mathematical Sciences Society","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s40840-024-01663-x","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
We provide novel lower bounds on the Betti numbers of Vietoris–Rips complexes of hypercube graphs of all dimensions and at all scales. In more detail, let \(Q_n\) be the vertex set of \(2^n\) vertices in the n-dimensional hypercube graph, equipped with the shortest path metric. Let \(\textrm{VR}(Q_n;r)\) be its Vietoris–Rips complex at scale parameter \(r \ge 0\), which has \(Q_n\) as its vertex set, and all subsets of diameter at most r as its simplices. For integers \(r<r'\) the inclusion \(\textrm{VR}(Q_n;r)\hookrightarrow \textrm{VR}(Q_n;r')\) is nullhomotopic, meaning no persistent homology bars have length longer than one, and we therefore focus attention on the individual spaces \(\textrm{VR}(Q_n;r)\). We provide lower bounds on the ranks of homology groups of \(\textrm{VR}(Q_n;r)\). For example, using cross-polytopal generators, we prove that the rank of \(H_{2^r-1}(\textrm{VR}(Q_n;r))\) is at least \(2^{n-(r+1)}\left( {\begin{array}{c}n\\ r+1\end{array}}\right) \). We also prove a version of homology propagation: if \(q\ge 1\) and if p is the smallest integer for which \(\textrm{rank}H_q(\textrm{VR}(Q_p;r))\ne 0\), then \(\textrm{rank}H_q(\textrm{VR}(Q_n;r)) \ge \sum _{i=p}^n 2^{i-p} \left( {\begin{array}{c}i-1\\ p-1\end{array}}\right) \cdot \textrm{rank}H_q(\textrm{VR}(Q_p;r))\) for all \(n \ge p\). When \(r\le 3\), this result and variants thereof provide tight lower bounds on the rank of \(H_q(\textrm{VR}(Q_n;r))\) for all n, and for each \(r \ge 4\) we produce novel lower bounds on the ranks of homology groups. Furthermore, we show that for each \(r\ge 2\), the homology groups of \(\textrm{VR}(Q_n;r)\) for \(n \ge 2r+1\) contain propagated homology not induced by the initial cross-polytopal generators.
期刊介绍:
This journal publishes original research articles and expository survey articles in all branches of mathematics. Recent issues have included articles on such topics as Spectral synthesis for the operator space projective tensor product of C*-algebras; Topological structures on LA-semigroups; Implicit iteration methods for variational inequalities in Banach spaces; and The Quarter-Sweep Geometric Mean method for solving second kind linear fredholm integral equations.