6 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 $\…
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…
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…
Pach's animal problem within the bounding box
Martin Tancer
A collection of unit cubes with integer coordinates in is an animal if its union is homeomorphic to the 3-ball. Pach's animal problem asks whether any animal can be t…
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…