REVIEW 4 major objections 6 minor 30 references
Topo-Scan turns graphs into short topological token sequences that Transformers can read, matching or beating strong GNN and homology baselines without full persistence diagrams.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-31 13:02 UTC pith:H2YZF62M
load-bearing objection Solid methods paper: sliding-window interlevel Betti tokens for Transformers beat same-filtration PH baselines and look competitive, with real runtime wins; SOTA claims need tempering on small-data variance and hyperparameter selection. the 4 major comments →
TopoFormer: Topology Meets Attention for Graph Learning
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
A short ordered sequence of interlevel Betti numbers and size counts, obtained by sliding a window over a node or edge filtration on the clique complex, is a stable, Transformer-ready summary of multi-scale graph topology that matches or exceeds strong GNN and persistent-homology baselines while remaining fully parallelizable and free of persistence-diagram computation.
What carries the argument
Topo-Scan: slice a graph into overlapping induced subgraphs along thresholds of a filtration function, compute (β0, β1, |V|, |E|) on each slice’s clique complex, and feed the resulting fixed-length token sequence to a Transformer; stability follows from bottleneck control of the underlying interlevel persistence modules.
Load-bearing premise
The four simple numbers per slice, on a fixed clique skeleton with a small hand-chosen window width and a few fixed filtrations, keep enough task-relevant structure that the gains come from the sequential Topo-Scan idea itself rather than from fusion tricks or model capacity alone.
What would settle it
On the same filtration, thresholds, and clique 2-skeleton, replace Topo-Scan windows by ordinary sublevel Betti vectors (or randomize slice order) and check whether the Transformer’s accuracy and late-threshold Betti activity collapse to the weaker PH-MLP/PH-TR baselines reported in the ablations.
If this is right
- Graph-level models can inject multi-scale topology as short token sequences without global boundary-matrix reductions or custom persistence vectorizations.
- Late-emerging components and cycles that classical sublevel filtrations bury remain visible to attention because slices are range-localized rather than cumulative.
- Stability of the discrete token sequences is controlled by the bottleneck distance of interlevel modules, hence by the sup-norm of the filtration signal.
- The same backbone can fuse multiple filtrations by independent Transformers plus learnable attention, and can be hybridized with molecular fingerprints for property prediction.
- Fixed-length topological sequences are a natural substrate for future topology-aware graph foundation-model pretraining.
Where Pith is reading between the lines
- If Topo-Scan tokens transfer across domains, pretraining a single Transformer on heterogeneous graph corpora of these sequences could yield a lightweight topology-only foundation model that never sees raw nodes.
- Learnable or task-conditioned filtrations plugged into the same sliding-window backbone would test whether the method’s gains survive when the filtration is no longer hand-chosen.
- Extending per-slice tokens beyond (β0, β1, sizes) to richer local invariants, while keeping sequence length fixed, is a direct route to higher expressivity without restoring full persistence diagrams.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes TopoFormer, a graph-level architecture whose core module, Topo-Scan, replaces nested sublevel persistent homology with overlapping interlevel slices of a fixed clique complex under scalar node/edge filtrations. Each slice is summarized by a four-dimensional token (β0, β1, |Vi|, |Ei|); the resulting short ordered sequences are fed to Transformer encoders (optionally fused across filtrations or with molecular fingerprints as TopoFormer*). The authors prove discrete ℓ1 stability of the Topo-Scan sequences with respect to the bottleneck distance of interlevel modules (Theorem 3.1, Corollary 3.2, Appendix B), report competitive or best-in-table accuracy on eight graph-classification benchmarks plus OGBG-MOLHIV, and strong scaffold-split ROC-AUC on seven MoleculeNet tasks, together with runtime comparisons against PH, PersLay, and TopoGCL and ablations versus PH-MLP/PH-TR, window width, and multi-filtration choices.
Significance. If the empirical gains are genuinely driven by the sequential interlevel representation, the work offers a practical, parallelizable bridge between TDA and attention models that avoids full persistence diagrams and vectorization design. Strengths that should be credited include: (i) a clean stability reduction to standard algebraic stability of interlevel modules with an explicit proof sketch in Appendix B; (ii) broad empirical coverage (classification, OGBG-MOLHIV, MoleculeNet) with multiple filtration families and runtime tables; (iii) public code; and (iv) a useful control (PH-TR) showing that treating Betti curves as sequences already helps. The contribution is incremental rather than foundational, but it is a credible and usable design pattern for topology-aware graph transformers.
major comments (4)
- [§4.3, Table 5, Table 15] §4.3 / Table 5 and the extended Table 15: the central attribution claim—that gains come from Topo-Scan’s sliding-window sequential tokens rather than from Transformer capacity or filtration choice—is only partially isolated. PH-TR (identical filtrations and Betti information, same Transformer backend) already closes most of the gap over PH-MLP; TopoFormer adds a further ~1–3 points on average. On several datasets the TopoFormer–PH-TR difference sits inside reported standard deviations (e.g., PROTEINS, IMDB-B under degree). A load-bearing control is missing: e.g., (a) shuffled or randomly ordered Topo-Scan tokens into the same Transformer, and/or (b) a fixed Transformer trained on non-topological fixed-length sequences of comparable dimension. Without such a control, the claim that the interlevel sequential structure itself is the driver remains under-supported.
- [§C.5, Table 6, Table 13] §C.5 / Table 6: window width m is selected as m=2 after experiments on the same graph-classification families later used for SOTA reporting. The multi-filtration menu (degree, Ollivier–Ricci, HKS) is likewise tuned on those families (§C.5, Table 13). This is ordinary hyperparameter practice, but it weakens the claim that the method is ‘lightweight’ and that gains transfer without dataset-specific topological engineering. Please either (i) fix m and the filtration menu a priori (or via a held-out meta-validation split) and re-report main tables, or (ii) clearly mark main results as post-selection and add a frozen-hyperparameter column.
- [Tables 2–4, Table 7, Abstract, §4.2] Tables 2–3 and Table 4: SOTA / ‘best or second-best on 7/8’ language should be tempered where margins are smaller than cross-fold standard deviations (MUTAG 94.68±4.30; BZR 92.36±4.11) and where TopoFormer* (not pure TopoFormer) is the reported model. On OGBG-MOLHIV, TopoFormer* reaches 78.19±0.19 versus Graphormer 80.51±0.53 and TopER 80.21±0.15; calling this ‘underscoring scalability and strength of topological signals’ overstates a ~2-point deficit under fingerprint fusion. For MPP (Table 3), pure topological performance is secondary to ECFP fusion (Table 7); the abstract and §4.2 should separate pure TopoFormer from TopoFormer* more sharply when claiming competitiveness with KANO/MV-Mol.
- [§3.1, Theorem 3.1, Corollary 3.2, Remark B.3] §3.1 / Theorem 3.1 and Corollary 3.2: the stability result is correct as a discrete sampling bound on interlevel Betti numbers, but the constant C = C(bG, {αi}, m, s) is left existential and can grow with the number of windows and bar complexity. For the ‘predictable and efficient compute’ and ‘robust encodings’ claims in the abstract, either give a concrete bound in terms of T and the number of bars, or clarify that stability alone does not imply that the four-dimensional token retains task-relevant information (Remark B.3 already notes the expressivity gap). A short remark on information loss relative to full barcodes would keep the theory claim proportionate.
minor comments (6)
- [Figure 3] Figure 3 caption and body: β0/β1 sequences are written with angle brackets in a way that can be confused with inner products; use parentheses or explicit tuples consistently.
- [§3] §3: notation switches between bGi, bG, and script G; unify clique-complex notation early.
- [Table 2] Table 2 header marks 1st/2nd/3rd by color; ensure a non-color cue (bold/underline) for accessibility and print.
- [§4.1] §4.1 Computational Complexity: the claim ‘no cycle-rank identity due to clique complexes’ is slightly opaque; one sentence explaining why β1 needs edge–triangle operators would help non-TDA readers.
- [§2, Remark B.3] Related work: Graph Filtration Learning (Hofer et al., 2020) is cited in the appendix remark but deserves a clearer main-text contrast (learn filtration vs. fix filtration and change representation).
- [Abstract, title block] Typos / style: ‘Topoformer’ vs ‘TOPOFORMER’ vs ‘Topo-Scan’ capitalization is inconsistent in the abstract and title block; ‘early-saturate’ hyphenation; arXiv id line appears inside the manuscript body.
Circularity Check
No significant circularity: empirical method with external benchmarks and an independent stability proof.
full rationale
TopoFormer is a methods/empirical paper. Topo-Scan is defined as sliding-window interlevel slices with tokens (β0, β1, |Vi|, |Ei|); that definition does not encode classification labels or force reported accuracies. Stability (Theorem 3.1, Corollary 3.2, Appendix B) reduces tokens’ ℓ1 change to bottleneck distance of interlevel modules and cites external algebraic-stability results (Botnan & Lesnick; Bauer & Lesnick; Cohen-Steiner et al.), not author-only uniqueness claims that forbid alternatives. Performance claims are measured on public benchmarks against published baselines (Tables 2–5, 8, 12–15), with ablations (PH-MLP vs PH-TR vs TopoFormer; width m; single vs multi-filtration) that do not rename a fitted parameter as a prediction. Remark B.3 explicitly frames Topo-Scan as a coarse sampling of the rank invariant rather than smuggling a known barcode result under a new name as a forced derivation. Same-group citations (e.g., TopER as a baseline; the Coskunuzer–Akçora tutorial for PH background) are ordinary and not load-bearing for the accuracy or stability claims. Hyperparameter choices (m=2 after Table 6) are standard model selection, not circular prediction-by-construction. No self-definitional loop, fitted-input-as-prediction, or uniqueness-import chain is present.
Axiom & Free-Parameter Ledger
free parameters (4)
- window width m =
m=2 (default)
- number of thresholds N / sequence length =
N≈20 (main experiments)
- filtration function menu =
task-specific fixed set
- transformer hidden size, dropout, LR, fusion weights α,β =
hidden=32, dropout=0.5, lr=0.001 (classification)
axioms (4)
- standard math Interlevel (level-set) persistence modules of upper-star filtrations on a fixed complex are stable in bottleneck distance with d_B(M^f, M^g) ≤ ||f−g||_∞ (Botnan & Lesnick).
- standard math Interval-decomposable p.f.d. modules have interval-rank that changes only for bars near interval endpoints under a δ-matching (Bauer–Lesnick; Bjerkevik).
- domain assumption Clique-complex 2-skeleton with upper-star extension of node functions is an adequate domain for graph topology in learning tasks.
- ad hoc to paper Strict nested sublevel filtrations can be replaced by overlapping interlevel slices without losing the useful multi-scale signal for downstream Transformers.
invented entities (2)
-
Topo-Scan
independent evidence
-
TopoFormer / TopoFormer*
independent evidence
read the original abstract
We introduce Topoformer, a lightweight and scalable framework for graph representation learning that encodes topological structure into attention-friendly sequences. At the core of our method is Topo-Scan, a novel module that decomposes a graph into a short, ordered sequence of topological tokens by slicing over node or edge filtrations. These sequences capture multi-scale structural patterns, from local motifs to global organization, and are processed by a Transformer to produce expressive graph-level embeddings. Unlike traditional persistent homology pipelines, Topo-Scan is parallelizable, avoids costly diagram computations, and integrates seamlessly with standard deep learning architectures. We provide theoretical guarantees on the stability of our topological encodings and demonstrate state-of-the-art performance across graph classification and molecular property prediction benchmarks. Our results show that Topoformer matches or exceeds strong GNN and topology-based baselines while offering predictable and efficient compute. This work opens a new path for parallelizable and unifying approaches to graph representation learning that integrate topological inductive biases into attention frameworks.
Figures
Reference graph
Works this paper leans on
-
[1]
Two stability lemmas
We write dB(M f k , Mg k ) for the bottleneck distance between the interval decompositions (barcodes) of the interlevel modulesM f k andM g k . Two stability lemmas. Lemma B.1(Interlevel stability).(Botnan & Lesnick, 2018, Thm 1.1 & 1.2) For k≥0 , the interlevel modules of the upper–star filtrations induced by f, g:V→R on the fixed clique complex bG satis...
2018
-
[2]
The outputs z1, z2, and z3 are then combined through a learnable weighted sum
Finally, the output of the MLPMis denotedz 3 ∈R B×H . The outputs z1, z2, and z3 are then combined through a learnable weighted sum. Specifically, the combined feature vectorz combined is computed as: zcombined =α·z 1 +β·z 2 + (1−α−β)·z 3 where α and β are learnable parameters that control the contribution of each modality to the final representation. Thi...
2026
-
[5]
For the MLP component, we employed a two-layer MLP with a hidden dimension of 200, ensuring that its output dimension matches the output dimension of the TOPOFORMERmodel
In our hybrid model, we used the same experimental setup for the TOPOFORMERcomponent. For the MLP component, we employed a two-layer MLP with a hidden dimension of 200, ensuring that its output dimension matches the output dimension of the TOPOFORMERmodel. The model was optimized using the Adam optimizer with a learning rate of 0.01 and a weight decay of ...
2021
-
[6]
and (ii)unnormalizedBetti-0 when PH and Topo-Scan share similar ranges (Fig. 2). Betti-1 frequency barplots are shown to illustrate higher-order behavior (Fig. 7). How to read the figures.A positive Betti-0 value at a position means additional connected components are present in that slice/threshold; persistent nonzero values toward theright sideof the ho...
2026
-
[10]
Alexey Dosovitskiy, Lucas Beyer, Alexander Kolesnikov, Dirk Weissenborn, Xiaohua Zhai, Thomas Unterthiner, Mostafa Dehghani, Matthias Minderer, Georg Heigold, and Sylvain Gelly. An image is worth 16x16 words: Transformers for image recognition at scale.arXiv preprint arXiv:2010.11929,
Pith/arXiv arXiv 2010
-
[11]
Knowledge graph-enhanced molecular contrastive learning with functional prompt
Yin Fang, Qiang Zhang, Ningyu Zhang, Zhuo Chen, Xiang Zhuang, Xin Shao, Xiaohui Fan, and Huajun Chen. Knowledge graph-enhanced molecular contrastive learning with functional prompt. Nature Machine Intelligence, 5(5):542–553, 2023a. Zhongxi Fang, Jianming Huang, Xun Su, and Hiroyuki Kasai. Wasserstein graph distance based on l1–approximated tree edit dista...
2083
-
[12]
Gemnet: Universal directional graph neural networks for molecules.Advances in neural information processing systems, 34:6790–6802,
12 Published as a conference paper at ICLR 2026 Johannes Gasteiger, Florian Becker, and Stephan Günnemann. Gemnet: Universal directional graph neural networks for molecules.Advances in neural information processing systems, 34:6790–6802,
2026
-
[13]
Shion Honda, Shoi Shi, and Hiroki R Ueda. Smiles transformer: Pre-trained molecular fingerprint for low data drug discovery.arXiv preprint arXiv:1911.04738,
Pith/arXiv arXiv 1911
-
[14]
N-gram graph: Simple unsupervised repre- sentation for graphs, with applications to molecules.Advances in neural information processing systems, 32,
13 Published as a conference paper at ICLR 2026 Shengchao Liu, Mehmet F Demirel, and Yingyu Liang. N-gram graph: Simple unsupervised repre- sentation for graphs, with applications to molecules.Advances in neural information processing systems, 32,
2026
-
[15]
Pre- training molecular graph representation with 3d geometry
Shengchao Liu, Hanchen Wang, Weiyang Liu, Joan Lasenby, Hongyu Guo, and Jian Tang. Pre- training molecular graph representation with 3d geometry. InICLR Workshop on Geometrical and Topological Representation Learning, 2022a. Yi Liu, Limei Wang, Meng Liu, Yuchao Lin, Xuan Zhang, Bora Oztekin, and Shuiwang Ji. Spherical message passing for 3d molecular grap...
2082
-
[16]
Graph alignment kernels using weisfeiler and leman hierarchies
Giannis Nikolentzos et al. Graph alignment kernels using weisfeiler and leman hierarchies. In International Conference on Artificial Intelligence and Statistics, pp. 2019–2034. PMLR,
2019
-
[20]
Model-agnostic augmentation for accurate graph classification
Jaemin Yoo et al. Model-agnostic augmentation for accurate graph classification. InProceedings of the ACM Web Conference 2022, pp. 1281–1291,
2022
-
[21]
Benchmarking large language models for molecule prediction tasks.arXiv:2403.05075,
Zhiqiang Zhong, Kuangyu Zhou, and Davide Mottin. Benchmarking large language models for molecule prediction tasks.arXiv:2403.05075,
-
[25]
Proof of Theorem 3.1.By Theorem 3.1, we have∥ bβk(G, f)− bβk(G, g)∥1 ≤C d B(M f k , Mg k )
Theorem 3.2.For upper–star filtrations on a fixed complex, dB(M f k , Mg k )≤ ∥f−g∥∞ (Lemma B.1), hence∥ bβk(G, f)− bβk(G, g)∥1 ≤C∥f−g∥ ∞. Proof of Theorem 3.1.By Theorem 3.1, we have∥ bβk(G, f)− bβk(G, g)∥1 ≤C d B(M f k , Mg k ). By Lemma B.1 (interlevel/level-set stability on the fixed clique complex),dB(M f k , Mg k )≤ ∥f−g∥∞. Combining the two inequal...
2007
-
[26]
A full expressivity comparison and formal information-loss bounds relative to complete barcodes are interesting directions for future work
can be seen as learning the filtration function h, while our work fixes h and instead changes the representation from global barcodes to local interlevel sequences. A full expressivity comparison and formal information-loss bounds relative to complete barcodes are interesting directions for future work. C MORE ONTOPOFORMER C.1 BASEMODEL: TRANSFORMER Our T...
2026
-
[28]
applies a Haar wavelet transform to graph signals and performs pooling by selecting key wavelet coefficients. Our model TOPOFORMERtakes a different approach by integrating multiscale topological filtrations with a transformer-based attention mechanism, enabling the pooling of substructures across scales and yielding robust higher-order graph representatio...
2026
-
[29]
from three to seven filtration functions and compares three topological pipelines under the same filtration function: the classical PH-MLP baseline (sublevel PH + Betti vector + MLP), our PH-TR variant (same Betti vectors but processed as sequences by a Transformer), and TOPOFORMER(Topo-Scan sequences with sliding-window interlevel filtrations). Across al...
2026
-
[2005]
They encode features such as atomic connectivity and substructural patterns, enabling efficient similarity search and predictive modeling
16 Published as a conference paper at ICLR 2026 Appendix A TOPOFORMER ∗: TOPOFORMER FORMPP A.1 MOLECULARFINGERPRINTS Molecular fingerprints are widely used in computational chemistry and machine learning to represent molecular structures as fixed-length numerical vectors (Cereto-Massagué et al., 2015). They encode features such as atomic connectivity and ...
2026
-
[2007]
Gabriele Corso, Luca Cavalleri, Dominique Beaini, Pietro Liò, and Petar Veli ˇckovi´c
doi: 10.1007/s00454-006-1276-5. Gabriele Corso, Luca Cavalleri, Dominique Beaini, Pietro Liò, and Petar Veli ˇckovi´c. Principal neighbourhood aggregation for graph nets.Advances in neural information processing systems, 33: 13260–13271,
-
[2010]
Self-supervised graph transformer on large-scale molecular data.Advances in neural information processing systems, 33:12559–12571,
14 Published as a conference paper at ICLR 2026 Yu Rong, Yatao Bian, Tingyang Xu, Weiyang Xie, Ying Wei, Wenbing Huang, and Junzhou Huang. Self-supervised graph transformer on large-scale molecular data.Advances in neural information processing systems, 33:12559–12571,
2026
-
[2014]
Topogcl: Topological graph contrastive learning
Yuzhou Chen, Jose Frias, and Yulia R Gel. Topogcl: Topological graph contrastive learning. In Proceedings of the AAAI conference on artificial intelligence, volume 38, pp. 11453–11461, 2024a. 11 Published as a conference paper at ICLR 2026 Yuzhou Chen, Ignacio Segovia-Dominguez, Cuneyt Gurcan Akcora, Zhiwei Zhen, Murat Kantar- cioglu, Yulia Gel, and Baris...
2026
-
[2017]
Persistence homology of networks: methods and applications.Applied Network Science, 4(1):1–28,
10 Published as a conference paper at ICLR 2026 Mehmet E Aktas, Esra Akbas, and Ahmed El Fatmaoui. Persistence homology of networks: methods and applications.Applied Network Science, 4(1):1–28,
2026
-
[2018]
Sébastien Bubeck, Varun Chandrasekaran, Ronen Eldan, Johannes Gehrke, Eric Horvitz, Ece Kamar, Peter Lee, Yin Tat Lee, Yuanzhi Li, Scott Lundberg, et al. Sparks of artificial general intelligence: Early experiments with gpt-4.arXiv preprint arXiv:2303.12712,
-
[2019]
A survey of vectorization methods in topological data analysis.arXiv preprint arXiv:2212.09703,
Dashti Ali, Aras Asaad, Maria-Jose Jimenez, Vidit Nanda, Eduardo Paluzo-Hidalgo, and Manuel Soriano-Trigueros. A survey of vectorization methods in topological data analysis.arXiv preprint arXiv:2212.09703,
-
[2020]
Baris Coskunuzer and Cüneyt Gürcan Akçora. Topological methods in machine learning: A tutorial for practitioners.arXiv preprint arXiv:2409.02901,
-
[2021]
Moleculenet: a benchmark for molecular machine learning
15 Published as a conference paper at ICLR 2026 Zhenqin Wu, Bharath Ramsundar, Evan N Feinberg, Joseph Gomes, Caleb Geniesse, Aneesh S Pappu, Karl Leswing, and Vijay Pande. Moleculenet: a benchmark for molecular machine learning. Chemical science, 9(2):513–530,
2026
-
[2022]
Jacob Devlin. Bert: Pre-training of deep bidirectional transformers for language understanding.arXiv preprint arXiv:1810.04805,
-
[2023]
Understanding the power of persistence pairing via permutation test.arXiv preprint arXiv:2001.06058,
Chen Cai and Yusu Wang. Understanding the power of persistence pairing via permutation test.arXiv preprint arXiv:2001.06058,
Pith/arXiv arXiv 2001
-
[2024]
Ripsnet: a general architecture for fast and robust estimation of the persistent homology of point clouds
Thibault de Surrel, Felix Hensel, Mathieu Carrière, Théo Lacombe, Yuichi Ike, Hiroaki Kurihara, Marc Glisse, and Frédéric Chazal. Ripsnet: a general architecture for fast and robust estimation of the persistent homology of point clouds. InTopological, algebraic and geometric learning workshops 2022, pp. 96–106. PMLR,
2022
-
[2025]
Communicative representation learning on attributed molecular graphs
Ying Song, Shuangjia Zheng, Zhangming Niu, Zhang-Hua Fu, Yutong Lu, and Yuedong Yang. Communicative representation learning on attributed molecular graphs. InIJCAI, volume 2020, pp. 2831–2838,
2020
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.