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}_{>0})^k$, we construct a bipartite weighted graph $(G_k)_{\mathbf{L}}$ and define filtering functions on the set of vertices and set of edges of $(G_k)_{\mathbf{L}}$ to obtain a filtration (denoted by $(G_k)_{-,\mathbf{L}}$) consisting of geometric realization of subgraphs of $(G_k)_{\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)^2_{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)_{-,\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_{i}((\mathsf{Star}_k)^2_{-,-};\mathbb{F})$ and $PH_{i}((G_k)_{-,-};\mathbb{F})$. We call the (multi-)filtration $(G_k)_{-,-}$ a \textit{persistent combinatorial model} of the multifiltration $(\mathsf{Star}_k)^2_{-,-}$. Using this model, we construct explicit compatible cycle representatives for $PH_{1}((\mathsf{Star}_k)^2_{-,-};\mathbb{F})$ in the bifiltration obtained by fixing $L_2, \dots, L_k > 0$ and varying only $r$ and $L_1$.

Figures (17)

• Figure 1: $\mathsf{Star}_k$
• Figure 2: $PH_1((\mathsf{Star_k})^2_{-,-};\mathbb{F})$, $k\geq 4$ and $\mathbf{L}=(L_1,1,\dots,1)$
• Figure 3: Possible intersections of $\lVert(G_k)_{r,\mathbf{L}}\rVert$ and $\mathop{\mathrm{\mathsf{Im}}}\nolimits\lVert (G_k)_{r, \mathbf{L}\leq \mathbf{L}'}\rVert$ with $\sigma$
• Figure 4: The rank of $H_1((\mathsf{Star}_k)^2_{r,\mathbf{L}})$ for all $(r,L)$ in the shaded region. In particular, $\mathop{\mathrm{\mathsf{rank}}}\nolimits H_1((\mathsf{Star}_k)^2_{r,\mathbf{L}})=0$ when $(r,L)$ lies in the gray region. The entries labeled “$\ast$’’ represent values that depend on $k$ and are not determined in the previous theorems.
• Figure 5: The reduced $(G_4)_{\mathbf{L}}$.

Theorems & Definitions (53)

• Definition 2.1
• Remark 2.2
• Lemma 2.3
• proof
• Remark 2.4
• Definition 2.5
• Lemma 2.6: dover2013homeomorphism
• Theorem 2.7: li2024notes
• Lemma 3.1
• Remark 3.2