MANTRA: The Manifold Triangulations Assemblage
Authors:
Rubén Ballester,
Ernst Röell,
Daniel Bīn Schmid,
Mathieu Alain,
Sergio Escalera,
Carles Casacuberta,
Bastian Rieck
Abstract:
The rising interest in leveraging higher-order interactions present in complex systems has led to a surge in more expressive models exploiting higher-order structures in the data, especially in topological deep learning (TDL), which designs neural networks on higher-order domains such as simplicial complexes. However, progress in this field is hindered by the scarcity of datasets for benchmarking…
▽ More
The rising interest in leveraging higher-order interactions present in complex systems has led to a surge in more expressive models exploiting higher-order structures in the data, especially in topological deep learning (TDL), which designs neural networks on higher-order domains such as simplicial complexes. However, progress in this field is hindered by the scarcity of datasets for benchmarking these architectures. To address this gap, we introduce MANTRA, the first large-scale, diverse, and intrinsically higher-order dataset for benchmarking higher-order models, comprising over 43,000 and 250,000 triangulations of surfaces and three-dimensional manifolds, respectively. With MANTRA, we assess several graph- and simplicial complex-based models on three topological classification tasks. We demonstrate that while simplicial complex-based neural networks generally outperform their graph-based counterparts in capturing simple topological invariants, they also struggle, suggesting a rethink of TDL. Thus, MANTRA serves as a benchmark for assessing and advancing topological methods, leading the way for more effective higher-order models.
△ Less
Submitted 3 March, 2025; v1 submitted 3 October, 2024;
originally announced October 2024.
Normal form for maps with nilpotent linear part
Authors:
Fahimeh Mokhtari,
Ernst Roell,
Jan Sanders
Abstract:
The normal form for an n-dimensional map with irreducible nilpotent linear part is determined using sl2-representation theory. We sketch by example how the reducible case can also be treated in an algorithmic manner. The construction (and proof) of the sl2-triple from the nilpotent linear part is more complicated than one would hope for, but once the abstract sl2 theory is in place, both the descr…
▽ More
The normal form for an n-dimensional map with irreducible nilpotent linear part is determined using sl2-representation theory. We sketch by example how the reducible case can also be treated in an algorithmic manner. The construction (and proof) of the sl2-triple from the nilpotent linear part is more complicated than one would hope for, but once the abstract sl2 theory is in place, both the description of the normal form and the computational splitting to compute the generator of the coordinate transformation can be handled explicitly in terms of the nilpotent linear part without the explicit knowledge of the triple. If one wishes one can compute the normal form such that it is guaranteed to lie in the kernel of an operator and one can be sure that this is really a normal form with respect to the nilpotent linear part; one can state that the normal form is in sl2-style. Although at first sight the normal form theory for maps is more complicated than for vector fields in the nilpotent case, it turns out that the final result is much better. Where in the vector field case one runs into invariant theoretical problems when the dimension gets larger if one wants to describe the general form of the normal form, for maps we obtain results without any restrictions on the dimension. In the literature only the 2-dimensional nilpotent case has been described sofar, as far as we know.
△ Less
Submitted 2 March, 2020;
originally announced March 2020.
