Related papers: On 2-complexes embeddable in 4-space, and the excl…
We say that a $2$-dimensional CW complex is a multibranched surface if we remove all points whose open neighborhoods are homeomorphic to the $2$-dimensional Euclidean space, then we obtain a $1$-dimensional complex which is homeomorphic to…
We prove that the joint embedding property is undecidable for hereditary graph classes, via a reduction from the tiling problem. The proof is then adapted to show the undecidability of the joint homomorphism property as well.
We prove a decomposition theorem for graphs that do not contain a subdivision of $K_4$ as an induced subgraph where $K_4$ is the complete graph on four vertices. We obtain also a structure theorem for the class $\cal C$ of graphs that…
We follow up on previous work which found that commonly used graph evolution moves lead to conserved quantities that can be expressed in terms of the braiding of the graph in its embedding space. We study non-embedded graphs under three…
Let $X$ be a simply connected path connected topological space which is formal in the sense of rational homotopy theory. Let $Y=X\cup_\alpha\mathbb{D}^{n}$ where $\alpha:\mathbb{S}^{n-1}\to X$ is a non-torsion element. Then we obtain a…
We review the use of grid diagrams in the development of Heegaard Floer theory. We describe the construction of the combinatorial link Floer complex, and the resulting algorithm for unknot detection. We also explain how grid diagrams can be…
In this survey-research paper, we first introduce the theory of Smith classes of complexes with fixed-point free, periodic maps on them. These classes, when defined for the deleted product of a simplicial complex $K$, are the same as the…
A cornerstone theorem in the Graph Minors series of Robertson and Seymour is the result that every graph $G$ with no minor isomorphic to a fixed graph $H$ has a certain structure. The structure can then be exploited to deduce far-reaching…
We define a new family of graph invariants, studying the topology of the moduli space of their geometric realizations in Euclidean spaces, using a limiting procedure reminiscent of Floer homology. Given a labeled graph $G$ on $n$ vertices…
The complexity of deciding whether a clustered graph admits a clustered planar drawing is a long-standing open problem in the graph drawing research area. Several research efforts focus on a restricted version of this problem where the…
In [36, Section 8], the present author proposed the hypergraph obstruction for the existence of k-regular embeddings. In this paper, we develop the hypergraph obstruction concretely and give some homological obstructions for the k-regular…
We study smooth proper embeddings of compact orientable surfaces in compact orientable $4$-manifolds and elements in the mapping class group of that surface which are induced by diffeomorphisms of the ambient $4$-manifolds. We call such…
We prove a compactness theorem for holomorphic curves in 4-dimensional symplectizations that have embedded projections to the underlying 3-manifold. It strengthens the cylindrical case of the SFT compactness theorem by using intersection…
A graph is $(H_1,H_2)$-free for a pair of graphs $H_1,H_2$ if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. In 2001, Kr\'al', Kratochv\'{\i}l, Tuza, and Woeginger initiated a study into the complexity of Colouring for…
We consider classes of fundamental groups of complements of various kinds of codimension 2 embeddings and show that, in general, the problem of deciding whether or not a group in one class belongs to a smaller class is algorithmically…
A smooth embedding of a closed $3$-manifold $M$ in $\mathbb{R}^4$ may generically be composed with projection to the fourth coordinate to determine a Morse function on $M$ and hence a Heegaard splitting $M=X\cup_\Sigma Y$. However, starting…
We present an intuitive diagrammatic representation of a new class of integrable $\s$-models. It is shown that to any given diagram corresponds an integrable theory that couples $N$ WZW models with a certain number of each of the following…
This article presents families of 7-dimensional closed and simply-connected manifolds and fold maps on them such that squares of 2nd integral cohomology classes may not be divisible by 2. Fold maps are higher dimensional versions of Morse…
The weak minor G of a graph G is the graph obtained from G by a sequence of edge-contraction operations on G. A weak-minor-closed family of upper embeddable graphs is a set G of upper embeddable graphs that for each graph G in G, every weak…
We study biplane graphs drawn on a finite point set $S$ in the plane in general position. This is the family of geometric graphs whose vertex set is $S$ and which can be decomposed into two plane graphs. We show that every sufficiently…