Persistent Combinatorial Model of the Restricted Second Configuration Space of Metric Star Graphs

Abstract: In this work, we present explicit constructions and computations of representative cycles for a nontrivial 2-parameter persistence module arising from the configuration space of metric star graphs. For all edge-length vector $\mathbf{L}=(L_1, L_2, \dots, L_k)\in(\mathbb{R}<em>{&gt;0})<sup>k$, we construct a bipartite weighted graph $(G_k)</em>{\mathbf{L}}$ and define filtering functions on the set of vertices and set of edges of $(G_k)<em>{\mathbf{L}}$ to obtain a filtration (denoted by $(G_k)</em>{-,\mathbf{L}}$) consisting of geometric realization of subgraphs of $(G_k)<em>{\mathbf{L}}$. We show that such a filtration is naturally isomorphic to the filtration of the restricted second configuration space of metric star graphs $(\mathsf{Star}_k)²</em>{r,\mathbf{L}}$ concerning the restraint parameter $r$ and an (arbitrary but fixed) edge-length vector $\mathbf{L}$. Additionally, we show that the filtration $(G_k)<em>{-,\mathbf{L}}$ is compatible with the edge-length vector $\mathbf{L}$ up to isotopy, establishing an equivalence between the associated $(k+1)$-parameter persistence modules $$PH</em>{i}((\mathsf{Star}<em>k)²</em>{-,-};\mathbb{F})$$ and $PH_{i}((G_k)<em>{-,-};\mathbb{F})$. We call the (multi-)filtration $(G_k)</em>{-,-}$ a \textit{persistent combinatorial model} of the multifiltration $(\mathsf{Star}<em>k)²</em>{-,-}$. Using this model, we construct explicit compatible cycle representatives for $$PH_{1}((\mathsf{Star}<em>k)²</em>{-,-};\mathbb{F})$$ in the bifiltration obtained by fixing $L_2, \dots, L_k &gt; 0$ and varying only $r$ and $L_1$.