Digital repository of Slovenian research organisations

Show document
A+ | A- | Help | SLO | ENG

Title:Lower bounds on the homology of Vietoris–Rips complexes of hypercube graphs
Authors:ID Adams, Henry (Author)
ID Virk, Žiga (Author)
Files:URL URL - Source URL, visit https://link.springer.com/article/10.1007/s40840-024-01663-x
 
.pdf PDF - Presentation file, download (867,00 KB)
MD5: 6764E993953E72C897F06E591CEA6AB9
 
Language:English
Typology:1.01 - Original Scientific Article
Organization:Logo IMFM - Institute of Mathematics, Physics, and Mechanics
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 ${\rm 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 ${\rm VR}(Q_n;r) \hookrightarrow {\rm 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 ${\rm VR}(Q_n;r)$. We provide lower bounds on the ranks of homology groups of ${\rm VR}(Q_n;r)$. For example, using cross-polytopal generators, we prove that the rank of $H_{2^r-1}({\rm VR}(Q_n;r))$ is at least $2^{n-(r+1)}\binom{n}{r+1}$. We also prove a version of homology propagation: if $q\ge 1$ and if $p$ is the smallest integer for which ${\rm rank} H_q({\rm VR}(Q_p;r)) \neq 0$, then ${\rm rank} H_q({\rm VR}(Q_n;r)) \ge \sum_{i=p}^n 2^{i-p} \binom{i-1}{p-1} \cdot {\rm rank} H_q({\rm 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({\rm 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 ${\rm VR}(Q_n;r)$ for $n \ge 2r+1$ contain propagated homology not induced by the initial cross-polytopal generators.
Keywords:Vietoris–Rips complexes, clique complexes, hypercubes, Betti numbers
Publication status:Published
Publication version:Version of Record
Publication date:01.05.2024
Year of publishing:2024
Number of pages:32 str.
Numbering:Vol. 47, iss. 3, [article no.] 72
PID:20.500.12556/DiRROS-18318 New window
UDC:515.1:519.1
ISSN on article:0126-6705
DOI:10.1007/s40840-024-01663-x New window
COBISS.SI-ID:187729155 New window
Note:
Publication date in DiRROS:05.03.2024
Views:137
Downloads:44
Metadata:XML RDF-CHPDL DC-XML DC-RDF
:
Copy citation
  
Share:Bookmark and Share


Hover the mouse pointer over a document title to show the abstract or click on the title to get all document metadata.

Record is a part of a journal

Title:Bulletin of the Malaysian Mathematical Sciences Society
Shortened title:Bull. Malays. Math. Sci. Soc.
Publisher:Malaysian Mathematical Society.
ISSN:0126-6705
COBISS.SI-ID:515781657 New window

Document is financed by a project

Funder:ARRS - Slovenian Research Agency
Funding programme:Javna agencija za znanstvenoraziskovalno in inovacijsko dejavnost Republike Slovenije
Project number:N1-0114-2019
Name:Algebrajski odtisi geometrijskih značilnosti v homologiji

Funder:ARRS - Slovenian Research Agency
Funding programme:Javna agencija za znanstvenoraziskovalno in inovacijsko dejavnost Republike Slovenije
Project number:J1-4001-2022
Name:Izbrani problemi iz uporabne in računske topologije

Funder:ARRS - Slovenian Research Agency
Funding programme:Javna agencija za znanstvenoraziskovalno in inovacijsko dejavnost Republike Slovenije
Project number:P1-0292-2022
Name:Topologija in njena uporaba

Licences

License:CC BY 4.0, Creative Commons Attribution 4.0 International
Link:http://creativecommons.org/licenses/by/4.0/
Description:This is the standard Creative Commons license that gives others maximum freedom to do what they want with the work as long as they credit the author.

Back