Imagine you're mapping a cave system. The standard approach is to send a team of geologists through to sketch the topology (tunnels, chambers, dead ends) and then, separately, send a team of chemists to analyze the rock. Persistent homology does the geology; GNNs do the chemistry. But no one on either team talks to the other while they're underground. Message-Passing Graph Persistence (MGP) puts both teams in the same headlamp: at every step of the cave exploration (filtration), the chemists' notes (node embeddings) update based on which tunnels have appeared so far, and those same notes decide which chamber 'represents' each connected component. The topology and the learned features co-evolve. The committed claim: MGP is strictly more expressive than the persistent-homology descriptors it extends (extended persistent homology, Ollivier–Ricci filtrations, etc.), and it achieves this by weaving message-passing updates into each filtration step rather than computing topology as a post-hoc decoration. The authors prove the isomorphism-invariance and the strict expressivity separation via a formal construction, not just empirical gap. Where does this sit on the ladder? The baselines are other PH-augmented GNN methods — extended persistence (EP), persistence images, Ollivier–Ricci curvature filtrations — not vanilla GNNs alone. On an expressivity benchmark and multiple graph classification/regression datasets, MGP outperforms these PH-based descriptors on 'most' tasks. The paper is honest that it's competing within the topological-descriptor lane, not claiming to beat all GNN architectures everywhere. That's the right framing: the question is whether integrating message passing into filtrations is better than decoupled topology, and the answer appears to be yes. Architecturally, MGP sits in the message-passing neural network (MPNN) family crossed with computational topology. The key structural move is replacing static node features in the filtration function with features that are recomputed at each filtration step via neighborhood aggregation on the current subgraph. The persistence computation itself uses these updated embeddings to assign representative elements to connected components. This is a nested loop — message passing inside filtration inside training — so compute cost scales with the product of filtration steps and message-passing depth. On integrity: the validation is simulation-based with standard graph-level benchmarks (expressivity tests plus classification/regression datasets common in the GNN literature). The comparison is against established PH descriptors, which is the right opponent class. The authors prove strict expressivity separation, which is a genuine mathematical contribution, not just an empirical nudge. However, there's no pre-registration, no independent replication, and the 'most datasets' qualifier on outperformance leaves room for cherry-picking to lurk. The honest read: this is a clean theory-plus-experiments paper within its niche, but the datasets are the usual suspects and the margins likely vary. The milestone to watch is whether MGP (or its descendants) can close the gap between topological GNN augmentations and higher-order GNN architectures (k-WL, subgraph GNNs) on real molecular or materials-science tasks where topology genuinely matters — protein binding, catalyst surfaces, polymer networks. Today's result is on standard benchmarks; the unlock is a topological descriptor that changes a downstream prediction on a problem classical topology alone couldn't crack. The obvious experiment not run: scaling MGP to large graphs (thousands of nodes) where the nested loop of message passing inside filtration becomes expensive, and comparing against recent subgraph-GNN or k-WL methods that also beat 1-WL. The likely reason is compute budget — persistent homology already scales poorly on big graphs, and wrapping message passing inside it multiplies the cost. This is an honest constraint, not a hidden failure, but it means the practical regime is small-to-medium molecular graphs for now.
