arXiv++ Combinatorics

We study length-filtered BFACF graphs of self-avoiding polygons in the simple cubic lattice, with merge heights recording the least length cap needed to connect configurations. We determine the complete minimal-layer merge trees for $4_1$ (four components at length 30 merging at 32) and $6_3$ (twelve components at length 40, two at 42, and one at 44). For one trefoil chirality, we certify six selected nonminimal components born at length 26 and merging with the minimal branch by length 28 or 30; these do not exhaust the full filtration. We characterize eventual connectivity of capped graphs by bounded birth levels of strong local-minimum components. A 64-edge Hamiltonian lattice unknot with no nonincreasing BFACF moves has exact merge height 66 with the elementary square, verified by an explicit move certificate. Repeated two-edge splicing produces frozen unknots of length $64m$ for every $m\ge1$. We also construct an 88-edge frozen trefoil by splicing the 64-edge unknot with a minimal 24-edge trefoil; iteration and reflection yield frozen trefoils of both chiralities with $64m+24$ edges. Hence the unknot and both trefoil chiralities have infinitely many nonminimal strong local-minimum births, and their capped BFACF graphs are not eventually connected. These results concern standard discrete BFACF moves, not continuous ropelength barriers; exact excess heights for the longer families and extensions to arbitrary knot types remain open.

A simplicial complex is said to be {\em critical} (or {\em forbidden}) for the 3-sphere $S^3$ if it cannot be embedded in $S^3$, but becomes embeddable upon removing the open star of any simplex in its second barycentric subdivision. We show that if a regular multibranched surface cannot be embedded in $S^3$, then it contains a critical complex consisting of a multibranched surface and, possibly, a graph. We classify all critical complexes for $S^3$ that are contained in the $K_5 \times S^1$ and $K_{3,3} \times S^1$ families. Additionally, we classify all critical complexes for $S^3$ that decompose as $(G \times S^1) \cup H$, where $G$ and $H$ are graphs whose intersection $G \cap H$ consists solely of vertices of $H$. Nevertheless, some complexes cannot be embedded in $S^3$ and yet do not contain any critical subcomplex. Motivated by such examples, we define an equivalence relation on the set of simplicial complexes $\mathcal{C}$, leading to a partially ordered set $(\mathcal{C}/\mathord\sim; \subseteqq)$, and refine the definition of critical. According to the refined definition of criticality, we prove that if a 2-dimensional complex $X$ cannot be embedded in $S^3$, then there exists $[X']\subseteqq [X]$ such that $[X']$ is critical for $[S^3]$.

This is a latest survey article on embeddings of multibranched surfaces into 3-manifolds.

In this paper, we give a lower bound for the maximum and minimum genus of a multibranched surface by the first Betti number and the minimum and maximum genus of the boundary of the neighborhood of it, respectively. As its application, we show that the maximum and minimum genus of $G\times S^1$ is equal to twice of the maximum and minimum genus of $G$ for a graph $G$, respectively. This provides an interplay between graph theory and 3-manifold theory.

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 a disjoint union of some $S^1$'s. We define the genus of a multibranched surface $X$ as the minimum number of genera of $3$-dimensional manifold into which $X$ can be embedded. We prove some inequalities which give upper bounds for the genus of a multibranched surface. A multibranched surface is a generalization of graphs. Therefore, we can define "minors" of multibranched surfaces analogously. We study various properties of the minors of multibranched surfaces.

We consider an embedding of a $2$-dimensional CW complex into the $3$-sphere, and construct it's dual graph. Then we obtain a homogeneous system of linear equations from the $2$-dimensional CW complex in the first homology group of the complement of the dual graph. By checking that the homogeneous system of linear equations does not have an integral solution, we show that some $2$-dimensional CW complexes cannot be embedded into the 3-sphere.