-
Algorithms in 4-manifold topology
Authors:
Stefan Bastl,
Rhuaidi Burke,
Rima Chatterjee,
Subhankar Dey,
Alison Durst,
Stefan Friedl,
Daniel Galvin,
Alejandro García Rivas,
Tobias Hirsch,
Cara Hobohm,
Chun-Sheng Hsueh,
Marc Kegel,
Frieda Kern,
Shun Ming Samuel Lee,
Clara Löh,
Naageswaran Manikandan,
Léo Mousseau,
Lars Munser,
Mark Pencovitch,
Patrick Perras,
Mark Powell,
José Pedro Quintanilha,
Lisa Schambeck,
David Suchodoll,
Martin Tancer
, et al. (6 additional authors not shown)
Abstract:
We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In particular, we explain in detail how closed, simply connected, topological 4-manifolds can be naturally represented by a Kirby diagram consisting only of 2-handles. This representation is used as input for our algorithm.…
▽ More
We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In particular, we explain in detail how closed, simply connected, topological 4-manifolds can be naturally represented by a Kirby diagram consisting only of 2-handles. This representation is used as input for our algorithm. Along the way, we develop an algorithm to compute the Kirby-Siebenmann invariant of a closed, simply connected, topological 4-manifold from any of its Kirby diagrams and describe an algorithm that decides whether or not two intersection forms are isometric.
In a slightly different direction, we discuss the decidability of the stable classification of smooth manifolds with more general fundamental groups. Here we show that there exists an algorithm that takes as input two closed, oriented, smooth 4-manifolds with fundamental groups isomorphic to a finite group with cyclic Sylow 2-subgroup, an infinite cyclic group, or a group of geometric dimension at most 3 (in the latter case we additionally assume that the universal covers of both 4-manifolds are not spin), and decides whether or not these two 4-manifolds are orientation-preserving stably diffeomorphic.
△ Less
Submitted 13 November, 2024;
originally announced November 2024.
-
Synthesis of Lyapunov Functions using Formal Verification
Authors:
Lukas Munser,
Grigory Devadze,
Stefan Streif
Abstract:
Recent employments of SMT solvers within the Lyapunov function synthesis provided effective tools for automated construction of Lyapunov functions alongside with sound computer-assisted certificates. The main benefit of the suggested approach is the formal correctness and elimination of the numerical uncertainty. In the present work, we extend the SMT-based synthesis approach for wider classes of…
▽ More
Recent employments of SMT solvers within the Lyapunov function synthesis provided effective tools for automated construction of Lyapunov functions alongside with sound computer-assisted certificates. The main benefit of the suggested approach is the formal correctness and elimination of the numerical uncertainty. In the present work, we extend the SMT-based synthesis approach for wider classes of continuous and discrete-time systems. Additionally, we address constructions of Lyapunov functions for state-dependent switching systems. We illustrate our approach by means of various examples from the control systems literature.
△ Less
Submitted 3 December, 2021;
originally announced December 2021.
-
Canonical decompositions and algorithmic recognition of spatial graphs
Authors:
Stefan Friedl,
Lars Munser,
José Pedro Quintanilha,
Yuri Santos Rego
Abstract:
We prove that there exists an algorithm for determining whether two piecewise-linear spatial graphs are isomorphic. In its most general form, our theorem applies to spatial graphs furnished with vertex colorings, edge colorings and/or edge orientations. We first show that spatial graphs admit canonical decompositions into blocks, that is, spatial graphs that are non-separable and have no cut verti…
▽ More
We prove that there exists an algorithm for determining whether two piecewise-linear spatial graphs are isomorphic. In its most general form, our theorem applies to spatial graphs furnished with vertex colorings, edge colorings and/or edge orientations. We first show that spatial graphs admit canonical decompositions into blocks, that is, spatial graphs that are non-separable and have no cut vertices, in a suitable topological sense. Then we apply a result of Haken and Matveev in order to algorithmically distinguish these blocks.
△ Less
Submitted 14 May, 2021;
originally announced May 2021.
-
Prototypical Description and Controller Design for a Set of Systems Using v-gap Based Clustering
Authors:
Lukas Munser,
Arne-Jens Hempel,
Grigory Devadze,
Stefan Streif
Abstract:
We present an approach to design stabilizing controllers for a set of linear systems without restrictions regarding their modeling order. To this end, the systems are treated as abstract objects in the space of the $ν$-gap metric. Via a cluster analysis the set of systems is split into v-gap similar clusters which are treated separately. For this purpose we provide an algorithm that constructs an…
▽ More
We present an approach to design stabilizing controllers for a set of linear systems without restrictions regarding their modeling order. To this end, the systems are treated as abstract objects in the space of the $ν$-gap metric. Via a cluster analysis the set of systems is split into v-gap similar clusters which are treated separately. For this purpose we provide an algorithm that constructs an explicit prototype system by generalizing the information of a given set of systems. Applying this algorithm to each cluster a set of prototype systems is obtained. Given these prototypes we design controllers in such a way that all systems assigned to a cluster will be stabilized by a corresponding controller. The approach is demonstrated for a set of 80 linear systems.
△ Less
Submitted 15 July, 2020;
originally announced July 2020.
