Related papers: Cataloguing PL 4-manifolds by gem-complexity

We show that there exist efficient algorithms for the triangle packing problem in colored permutation graphs, complete multipartite graphs, distance-hereditary graphs, k-modular permutation graphs and complements of k-partite graphs (when k…

It is shown that any finite list of smooth closed simply-connected 4-manifolds homeomorphic to a given one X can be obtained by removing a single compact contractible submanifold (or cork) from X, and then regluing it by powers of a…

We prove that a PL manifold admits a handle decomposition into handles of index $\le k$ if and only if $M$ is $k$-stacked, i.e., it admits a PL triangulation in which all $(d-k-1)$-faces are on $\partial M$. We use this to solve a problem…

In this article, we study a class of closed connected orientable PL $4$-manifolds admitting a semi-simple crystallization and which have an infinite cyclic fundamental group. We show that the manifold in the class admits a handle…

The Colour Refinement algorithm is a classical procedure to detect symmetries in graphs, whose most prominent application is in graph-isomorphism tests. The algorithm and its generalisation, the Weisfeiler-Leman algorithm, evaluate local…

The Colouring problem is that of deciding, given a graph $G$ and an integer $k$, whether $G$ admits a (proper) $k$-colouring. For all graphs $H$ up to five vertices, we classify the computational complexity of Colouring for…

Topological classification of the 4-manifolds bridges computation theory and physics. A proof of the undecidability of the homeomorphy problem for 4-manifolds is outlined here in a clarifying way. It is shown that an arbitrary Turing…

We consider the significant class of holomorphically nondegenerate CR manifolds of finite type that are represented by some weighted homogeneous polynomials and we derive some useful features which enable us to set up a fast effective…

A \emph{semi-equivelar gem} of a PL $d$-manifold is a regular colored graph that represents the manifold and admits a regular embedding on a surface, such that the cyclic sequence of face degrees around each vertex is identical. In [1,4],…

One can define the complexity of a smooth 4-manifold as the minimal sum of the number of disks, strands and crossings in a Kirby diagram. Martelli proved that the number of homeomorphism classes of complexity less than n grows as $n^2$. In…

Fix a finite group $G$. We study the computational complexity of counting problems of the following flavor: given a group $\Gamma$, count the number of homomorphisms $\Gamma \to G$. Our first result establishes that this problem is…

We show the problem of counting homomorphisms from the fundamental group of a homology $3$-sphere $M$ to a finite, non-abelian simple group $G$ is #P-complete, in the case that $G$ is fixed and $M$ is the computational input. Similarly,…

In this paper, we consider the problem of determining in polynomial time whether a given planar point set $P$ of $n$ points admits 4-connected triangulation. We propose a necessary and sufficient condition for recognizing $P$, and present…

We define an invariant, which we call surface-complexity, of closed 3-manifolds by means of Dehn surfaces. The surface-complexity of a manifold is a natural number measuring how much the manifold is complicated. We prove that it fulfils…

This paper settled the question, which remains open in article published in Discrete Mathematics in 2008. Graphs homeomorphic to $K_4$, i.e., cliques on 4 vertices with edges replaced by paths are considered in this work. This work…

We classify, up to diffeomorphism, all closed smooth manifolds homeomorphic to the complex projective $n$-space $\mathbb{C}\textbf{P}^n$, where $n=3$ and $4$. Let $M^{2n}$ be a closed smooth $2n$-manifold homotopy equivalent to…

In this final part of a 3-part paper we introduce the pair of "wings" of the abstract PL-colored complexes $\mathcal{H}_{m}^\star$, described in the second paper. The wings, via a weight enhanced Tutte's barycentric embedding of a planar…

For $d\geq 2$, the regular genus of a closed connected PL $d$-manifold $M$ is the least genus (resp., half of the genus) of an orientable (resp., a non-orientable) surface into which a crystallization of $M$ imbeds regularly. The regular…

We examine ordered graphs, defined as graphs with linearly ordered vertices, from the perspective of homomorphisms (and colorings) and their complexities. We demonstrate the corresponding computational and parameterized complexities, along…

Generalizing Heegaard splittings of 3-manifolds and trisections of 4-manifolds, we consider multisections of higher-dimensional smooth (or PL) closed orientable manifolds, namely decompositions into 1-handlebodies whose subcollections…