5 papers
Non-acyclic spaces of line transversals
Haochi Jiang, Martin Tancer
Cheong, Goaoc and Holmsen conjectured that every connected component of the space of line transversals to a family of pairwise disjoint open convex sets in is acycli…
Maximal matroids and counterexamples
Denys Bulavka, Martin Tancer
Jackson and Tanigawa conjectured that the rigidity matroid and the hyperconnectivity matroid are the unique maximal matroids in the posets of $\…
Algorithms in 4-manifold topology
Stefan Bastl, Rhuaidi Burke, Rima Chatterjee +28
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 p…
Simpler algorithmically unrecognizable 4-manifolds
Martin Tancer
Markov proved that there exists an unrecognizable 4-manifold, that is, a 4-manifold for which the homeomorphism problem is undecidable. In this paper we consider the question how c…
A note on the computational complexity of weak saturation
Martin Tancer, Mykhaylo Tyomkyn
We prove that determining the weak saturation number of a host graph with respect to a pattern graph is already a computationally hard problem when is the triangle. As…