---
title: Hierarchical Topological Clustering (HTC)
url: https://www.emergentmind.com/topics/hierarchical-topological-clustering-htc
type: topic
---

# Hierarchical Topological Clustering (HTC)

Searching arXiv for recent and foundational papers on hierarchical topological clustering and closely related topological hierarchical clustering frameworks.
Hierarchical Topological Clustering (HTC) denotes a family of clustering frameworks in which cluster structure is extracted from topological or topologically constrained objects across scales, rather than from a single cut of a metric space or a pre-specified number of groups. In the most direct recent formulation, HTC constructs a Vietoris–Rips filtration for a finite point cloud under an arbitrary chosen distance and interprets persistent \(H_0\) connected components as clusters and outliers [2601.00892]. In an earlier graph-theoretic usage, HTC is realized through the DBHT technique, where clusters and both intra-cluster and inter-cluster hierarchies are extracted from a Planar Maximally Filtered Graph (PMFG) and its separating \(3\)-cliques [1110.4477]. Related work formalizes such multiscale cluster structures as merge trees of filtrations, or Topological Hierarchical Decompositions (THDs), thereby placing HTC within a broader topological and categorical theory of hierarchical clustering [2312.10239].

## 1. Conceptual scope and defining principles

At its core, HTC treats clustering as the study of how connected components appear, persist, and merge under a scale parameter or under a topologically constrained representation. In the persistent-homology formulation, the operative invariant is \(H_0\), so the hierarchy is the evolution of connected components in a filtration. In the graph-theoretic formulation, the operative structure is a sparse topologically embedded graph whose separators induce a hierarchy. In the THD formulation, the hierarchy is the merge tree of the connected-components functor \(\pi_0\) applied to a filtration of spaces [2601.00892] [1110.4477] [2312.10239].

| Formulation | Core object | Hierarchy mechanism |
|---|---|---|
| Persistent-homology HTC | Vietoris–Rips filtration | Merging of \(H_0\) components |
| DBHT-style HTC | PMFG with separating \(3\)-cliques | Bubble tree and converging bubbles |
| THD | Filtration \(F\) of spaces | Merge tree \(T_F=(\pi_0F)\) |

This common emphasis on connectedness distinguishes HTC from methods that optimize a fixed objective over a flat partition. The 2025 HTC paper motivates this distinction by noting that K-means requires a fixed number of clusters and works poorly for non-convex shapes, standard hierarchical clustering depends strongly on the linkage rule, and DBSCAN requires parameter choices such as \(\varepsilon\) and a minimum number of points [2601.00892]. The topological viewpoint instead begins from nested structure: either metric neighborhoods, open covers, or sparse embeddings, and then reads cluster organization from how components are related across scales.

A recurrent misconception is that “topological” necessarily implies the use of higher-order holes or full persistent homology. In the explicit HTC algorithm, higher-order homology is not needed; the entire clustering procedure uses only \(H_0\), that is, connected components [2601.00892]. This places HTC close to classical clustering in intent, but topological in representation and in its treatment of scale.

## 2. Persistent \(H_0\) construction and the filtration-based algorithm

For a finite point cloud \(X\) with distance \(d\), the HTC algorithm in the 2025 formulation constructs a Vietoris–Rips filtration \({\rm VR}(X,r)\). At threshold \(r>0\), points are vertices, an edge \([x_1,x_2]\) is included when \(d(x_1,x_2)\le r\), and higher-dimensional simplices are included whenever all their edges are present. The filtration satisfies
\[
{\rm VR}(X,r)\subset {\rm VR}(X,r') \quad \text{whenever } r\le r'.
\]
At each \(r\), the number of connected components is the Betti number \(b_0(r)\), and HTC interprets each connected component as a cluster [2601.00892].

The paper discretizes the filtration by setting
\[
r_{\rm max}=\max_{x,y\in X} d(x,y), \qquad r_{\rm min}=\min_{x,y\in X,\ x\neq y} d(x,y),
\]
then choosing a grid resolution
\[
M = \left[\frac{r_{\rm max}}{r_{\rm min}}\right], \qquad h=\frac{r_{\rm max}}{M}>r_{\rm min},
\]
and filtration values
\[
r_m = m\,h, \qquad m=0,1,\ldots,M.
\]
The algorithm initializes at \(r_0=0\), where each point is its own cluster, and then recursively merges linked clusters as \(r_m\) increases. Connectivity can be encoded by a cluster-link matrix \(L_m\), with \(L_m(i,j)=1\) when there exist \(x_i\in C_i\) and \(x_j\in C_j\) such that \(d(x_i,x_j)<r_m\). Equivalently, one may first compute the point-link matrix
\[
P_m(i,j)=
\begin{cases}
1, & d(x_i,x_j)<r_m,\\
0, & \text{otherwise}.
\end{cases}
\]
The output is not only a dendrogram height, but the hierarchy of clusters and their members at each filtration value [2601.00892].

This construction is intentionally metric-agnostic. The 2025 paper states that HTC can be implemented with any distance choice, and then instantiates Euclidean distance, Wasserstein distance, and Fermat distance in different applications [2601.00892]. A plausible implication is that the filtration mechanism is fixed while the scientific meaning of a cluster is delegated to the metric.

## 3. Persistence, merge structure, and the interpretation of outliers

The hierarchical component of HTC arises because connected components form a nested family as the threshold grows. At \(r=0\), every point is isolated; as \(r\) increases, points linked by distances smaller than \(r\) form components; those components merge whenever a new edge bridges them; and eventually a single component contains all points. The paper describes this as a “topological hierarchy of clusters,” and interprets the order of mergers as meaningful structure: components that merge only at large \(r\) are more isolated and are therefore natural candidates for outliers [2601.00892].

Persistence is the central interpretive device in this framework. A cluster that exists across a wide interval of \(r\) is persistent, and a point or cluster that remains isolated until very late is a persistent outlier. The paper emphasizes that dominant clusters usually correspond to dense or central regions of the data, while outliers can be single points or entire groups of points, termed collective outliers. The last-to-merge components are singled out as especially significant [2601.00892].

The THD framework provides a general topological formalization of this same idea. For a filtration of spaces \(F\), the THD is defined as the generalized merge tree
\[
T_F = (\pi_0 F).
\]
Vertices correspond to connected components \(\beta\in \pi_0(F(p))\), and edges record how components map under the filtration. For metric clustering, the filtration is given by
\[
B_P : \mathbb{R}_+ \to \mathbf{Top}, \qquad B_P(r)=
\begin{cases}
P & r=0,\\
P^r & \text{otherwise},
\end{cases}
\]
where \(P^r=\bigcup_{p\in P} ball^r(p)\). The associated merge tree \(T_{B_P}\) is then the THD [2312.10239]. This suggests that HTC can be understood not merely as an algorithmic recipe, but as a special case of a broader theory in which clustering is the multiscale behavior of \(\pi_0\).

The same section of the 2025 HTC paper also clarifies the relation between barcodes and cluster identity. The persistence barcode indicates the range of filtration values over which clusters remain alive, but HTC improves on a bare barcode by also identifying which data points belong to each persistent component [2601.00892]. In other words, persistence provides significance, while the hierarchy retains membership.

## 4. Graph-theoretic, categorical, and continual-learning variants

A distinct but historically important usage of HTC appears in the DBHT technique. There the starting point is a similarity-weighted graph
\[
G(V,E,W,D),
\]
where \(V\) is the vertex set, \(E\) the edge set, \(W\) the edge-weight set, and \(D\) the edge-distance set. The graph is filtered into a PMFG by adding edges in decreasing similarity order subject to the planarity constraint. Because the PMFG is maximal planar, it contains \(3(n-2)\) edges and supports a decomposition by separating cycles, especially separating \(3\)-cliques [1110.4477].

Each separating \(3\)-clique \(k_p\) divides the graph into an interior \(G_p^{in}\) and exterior \(G_p^{ex}\). Cutting along all such cliques yields “bubbles,” and the resulting bubble tree \(H_b\) is oriented by comparing the aggregate weights
\[
W_p^{in/ex}=\sum_{v\in k_p,u\in G_p^{in/ex}} A_G(v,u).
\]
The direction is assigned toward the side with larger weight. Converging bubbles, whose incident edges all point inward, are treated as centers of clusters. Vertex assignment is then resolved by an attachment strength
\[
\chi(v,b_\alpha) = \frac{\sum_{u \in V(b_\alpha)} A_G(v,u)}{3(|V(b_\alpha)| -2)},
\]
followed, for remaining vertices, by average shortest-path proximity
\[
\bar L(v,\alpha) = mean\{ l(v,u) \mid u \in V^0(\alpha) \wedge v \in V(\overrightarrow{h_{\alpha}}) \}.
\]
The resulting discrete clusters support an intra-cluster and inter-cluster hierarchy with complete-linkage distances
\[
d^I_\alpha(b_i,b_j) = \max \{ l(u,v)\mid u \in V^\alpha(b_i) \wedge v \in V^\alpha(b_j) \},
\]
and
\[
d^{II}(\alpha,\beta) = \max \{ l(u,v) \mid u \in V(\alpha) \wedge v \in V(\beta) \}.
\]
The paper characterizes DBHT as deterministic, unsupervised, parameter-free, and non-iterative [1110.4477].

A different extension of hierarchical topological clustering arises in ART-based continual learning. The HCAEA framework uses the Correntropy-Induced Metric,
\[
\mathrm{CIM}\left(\mathbf{x}, \mathbf{y}, \sigma \right) = \left[ 1 - \hat{C}(\mathbf{x}, \mathbf{y}) \right]^{\frac{1}{2}},
\]
together with automatic threshold estimation, edge aging, and recursive divisive partitioning. The hierarchical version trains CAEA at the top level, partitions data according to learned nodes, and then recursively trains child CAEA models on those subsets until no additional layer is created [2201.10713]. This is topological in the paper’s terminology because the method maintains a growing graph of nodes and edges, and hierarchical because refinement proceeds by successive divisions of the learned topological structure.

At a more abstract level, multiparameter hierarchical clusterings can be flattened into optimization problems. The 2021 paper on flattening multiparameter hierarchical clustering treats the flattening procedure as a functor
\[
F : \mathbf{MHC} \to \mathbf{BIP},
\]
from a category of multiparameter hierarchical partitions to a category of binary integer programs, and further introduces a Bayesian update algorithm whose composition with flattening satisfies a consistency property [2104.14734]. This does not define HTC in the narrow algorithmic sense, but it places hierarchical topological clustering objects within applied category theory and learning pipelines.

## 5. Empirical domains and comparative behavior

The explicit 2025 HTC algorithm is demonstrated on a fragmented front in epithelial tissue, image quality assessment, Spanish trade data, and breast cancer gene-expression data. In the epithelial case, Euclidean distance is used on \(2\)D points extracted from an image of an interface between healthy and malignant cells. HTC finds a main cluster representing the interface, detached islands of malignant cells, and last-joining clusters corresponding to deeper invasive malignant islands. The paper contrasts this with K-means, average-linkage hierarchical clustering, and DBSCAN, arguing that HTC yields a more interpretable interface/island separation without trial-and-error tuning of \(\varepsilon\) and \(M_p\) [2601.00892].

The same paper uses Wasserstein distance \(W^{1,2}\) for image comparison and reports that HTC separates highly compressed blurry images, uncompressed images, and images with line defects. In Spanish trade data, after normalization
\[
\tilde g_{n,m} = \frac{g_{n,m}-\mu_m}{3\sigma_m},
\]
Euclidean distance yields a large cluster of countries with low interaction while dominant trade partners remain persistent outliers. In breast cancer gene-expression data, both Euclidean and Fermat distances are applied to normalized expression values, again using
\[
\tilde g_{n,m} = \frac{g_{n,m}-\mu_m}{3\sigma_m},
\]
with \(\mu_m\) and \(\sigma_m\) taken from healthy samples. HTC identifies persistent outliers including CCNE1, SMC1B, CDKN2A, CDC6, PKMYT1, and CDK1, which the authors note are known to be relevant to breast cancer prognosis or therapy [2601.00892].

The DBHT paper provides a different empirical profile. On the Iris dataset, with similarity
\[
R_{euc}(i,j)=\exp\left(-\frac{\|x_i-x_j\|^2}{2\sigma^2}\right),
\]
DBHT reports an adjusted Rand index of \(0.89\), compared with \(0.85\) for Q-cut, \(0.85\) for kNN-Spectral, \(0.73\) for k-means++, and \(0.80\) for SOM. On synthetic hierarchical data with \(4\) large clusters, \(8\) medium clusters, and \(16\) small clusters, DBHT exactly recovers the \(4\) large clusters and reports approximately \(0.97\) ARI at the medium level and approximately \(0.94\) ARI at the small level. In lymphoma gene-expression profiling, DBHT retrieves \(11\) sample clusters; all FL samples gather in one cluster, almost all CLL samples gather in another, and DLBCL samples split into four clusters with reported survival rates of \(100\%\), \(56\%\), \(14\)-\(15\%\), and \(29\%\) [1110.4477].

Across these examples, the empirical claim is not that HTC optimizes a single universal criterion, but that it retains shape sensitivity, outlier visibility, and cluster membership across scales. This suggests that HTC is especially suited to problems where the distinction between dominant structure and informative exceptions matters as much as partition accuracy.

## 6. Limitations, ambiguities, and adjacent meanings

The 2025 HTC paper is explicit about several caveats. Its complexity is stated to be at most
\[
MN^2,
\]
with a lower bound of order \(\prod_{m=1}^M N_m^2\), where \(N_m\) is the number of clusters at scale \(r_m\). The method is described as efficient for small and moderate datasets, while larger datasets may call for density-based algorithms. The same paper also notes that the chosen metric strongly shapes the interpretation, that the filtration grid is selected heuristically through \(r_{\rm max}\) and \(r_{\rm min}\), and that substantive meaning of persistent outliers remains domain-dependent [2601.00892].

DBHT has a different structural limitation: planarity is essential. The decomposition into separating cycles, bubbles, and the bubble tree depends on the PMFG’s topological embedding, so the method’s hierarchy is tied to the properties of planar filtered graphs [1110.4477]. HCAEA, in turn, inherits the strengths and weaknesses of ART-based continual learning: automatic threshold estimation and stability-plasticity management are central advantages, but the paper notes weaker performance on datasets with many classes and identifies concept drift as future work [2201.10713].

A further source of ambiguity is terminological rather than methodological. In a separate arXiv literature, HTC denotes Hierarchical Text Classification rather than Hierarchical Topological Clustering. That usage includes sequence-to-tree generation with constrained decoding [2204.00811], zero-shot classification via knowledge graphs and large language models [2505.05583], and few-shot prompt-based classification with sibling contrastive learning [2604.15998]. Those works study hierarchical taxonomies of labels, not unsupervised clustering of data clouds. The acronym therefore spans distinct research programs.

Within topological data analysis more broadly, HTC sits beside THDs, mapper, Reeb graphs, and categorical approaches to hierarchical clustering. The THD paper treats clustering as a cosheaf-theoretic problem over open covers and nerves, and describes mapper as a pixelization \(F^U=\eta^*\eta_*(F)\) [2312.10239]. The multiparameter flattening paper shows that hierarchical clustering objects can also be transported into binary integer programs and Bayesian learning procedures [2104.14734]. Taken together, these directions indicate that HTC is best understood not as a single closed algorithmic family, but as a topological approach to multiscale clustering in which connected components, graph embeddings, or hierarchical functors are made explicit and computationally actionable.

Source: https://www.emergentmind.com/topics/hierarchical-topological-clustering-htc