Higher-order interactions are increasingly being recognized as fundamental to our understanding of complex systems, networks, and the development of the next generation of AI algorithms. However, modeling higher-order interactions requires us to go beyond graphs and networks, which can only encode pairwise interactions, and so demands a new theory. Hypergraphs and simplicial complexes (also called higher-order networks), which arise as natural mathematical representations of higher-order complex systems, are therefore attracting increasing attention. The mathematics of higher-order networks is already providing important insights, yet many fundamental mathematical questions remain unsolved; for instance, in spectral graph theory, discrete topology, and higher-order network dynamics. This roadmap summarizes the scientific discussions that took place on these topics between pure mathematicians, theoretical physicists, computer and network scientists at the Newton Institute Satellite meeting on ‘Hypergraphs: Theory and Applications’. We survey the current state-of-the-art in higher-order network research, and propose some trajectories for future research, including in areas such as extremal and spectral hypergraph theory, discrete topology, higher-order dynamics, higher-order machine learning, and applications in the brain and social sciences.

Distances have a ubiquitous role in persistent homology, from the direct comparison of homological representations of data to the definition and optimization of invariants. In this article we introduce a family of parametrized pseudometrics between persistence modules based on the algebraic Wasserstein distance defined by Skraba and Turner, and phrase them in the formalism of noise systems. This is achieved by comparing p-norms of cokernels (resp. kernels) of monomorphisms (resp. epimorphisms) between persistence modules and corresponding bar-to-bar morphisms, a novel notion that allows us to bridge between algebraic and combinatorial aspects of persistence modules. We use algebraic Wasserstein distances to define invariants, called Wasserstein stable ranks, which are 1-Lipschitz stable with respect to such pseudometrics. We prove a low-rank approximation result for persistence modules which allows us to efficiently compute Wasserstein stable ranks, and we propose an efficient algorithm to compute the interleaving distance between them. Importantly, Wasserstein stable ranks depend on interpretable parameters which can be learnt in a machine learning context. Experimental results illustrate the use of Wasserstein stable ranks on real and artificial data and highlight how such pseudometrics could be useful in data analysis tasks.

Under certain conditions, Koszul complexes can be used to calculate relative Betti diagrams of vector space-valued functors indexed by a poset, without the explicit computation of global minimal relative resolutions. In relative homological algebra of such functors, free functors are replaced by an arbitrary family of functors. Relative Betti diagrams encode the multiplicities of these functors in minimal relative resolutions. In this article we provide conditions under which grading the chosen family of functors leads to explicit Koszul complexes whose homology dimensions are the relative Betti diagrams, thus giving a scheme for the computation of these numerical descriptors.

Relative representations are an established approach to zero-shot model stitching, consisting of a non-trainable transformation of the latent space of a deep neural network. Based on insights of topological and geometric nature, we propose two improvements to relative representations. First, we introduce a normalization procedure in the relative transformation, resulting in invariance to non-isotropic rescalings and permutations. The latter coincides with the symmetries in parameter space induced by common activation functions. Second, we propose to deploy topological densification when fine-tuning relative representations, a topological regularization loss encouraging clustering within classes. We provide an empirical investigation on a natural language task, where both the proposed variations yield improved performance on zero-shot model stitching.

This in silico study predicts the impact that the single-cell neuronal morphological alterations will have on the striatal microcircuit connectivity. We find that the richness in the topological striatal motifs is significantly reduced in Parkinson's disease (PD), highlighting that just measuring the pairwise connectivity between neurons gives an incomplete description of network connectivity. Moreover, we predict how the resulting electrophysiological changes of striatal projection neuron excitability together with their reduced number of dendritic branches affect their response to the glutamatergic drive from the cortex and thalamus. We find that the effective glutamatergic drive is likely significantly increased in PD, in accordance with the hyperglutamatergic hypothesis.

Environmental cues influence the highly dynamic morphology of microglia. Strategies to characterize these changes usually involve user-selected morphometric features, which preclude the identification of a spectrum of context-dependent morphological phenotypes. Here we develop MorphOMICs, a topological data analysis approach, which enables semiautomatic mapping of microglial morphology into an atlas of cue-dependent phenotypes and overcomes feature-selection biases and biological variability. We extract spatially heterogeneous and sexually dimorphic morphological phenotypes for seven adult mouse brain regions. This sex-specific phenotype declines with maturation but increases over the disease trajectories in two neurodegeneration mouse models, with females showing a faster morphological shift in affected brain regions. Remarkably, microglia morphologies reflect an adaptation upon repeated exposure to ketamine anesthesia and do not recover to control morphologies. Finally, we demonstrate that both long primary processes and short terminal processes provide distinct insights to morphological phenotypes. MorphOMICs opens a new perspective to characterize microglial morphology.

Motivated by applications in Topological Data Analysis, we consider decompositionsof a simplicial complex induced by a cover of its vertices. We study how the homotopytype of such decompositions approximates the homotopy of the simplicial complexitself. The difference between the simplicial complex and such an approximationis quantitatively measured by means of the so called obstruction complexes. Ourgeneral machinery is then specialized to clique complexes, Vietoris-Rips complexesand Vietoris-Rips complexes of metric gluings.

Exciting recent developments in Topological Data Analysis have aimed at combining homology-based invariants with Machine Learning. In this article, we use hierarchical stabilization to bridge between persistence and kernel-based methods by introducing the so-called stable rank kernels. A fundamental property of the stable rank kernels is that they depend on metrics to compare persistence modules. We illustrate their use on artificial and real-world datasets and show that by varying the metric we can improve accuracy in classification tasks.