arXiv++ Combinatorics

An intrinsically knotted graph is one for which every spatial embedding contains a nontrivially knotted cycle. Classifying such graphs is a central problem in spatial graph theory. It is known that every intrinsically knotted graph has at least 21 edges, and the case of 21 edges has been completely resolved. For 22 edges, however, the classification remains incomplete. In particular, exactly eight triangle-free examples with a vertex of degree at least 5 are known, leaving only the case in which all vertices have degree 3 or 4. In this paper, we introduce a method for detecting intrinsic knottedness based on induced subgraphs obtained by deleting pairs of vertices. Using this method, we classify all triangle-free intrinsically knotted graphs with 22 edges having eight vertices of degree~4 and four of degree~3. We prove that there are exactly four: Cousins 43, 105, and 109 in the $E_9\!+\!e$ family and the graph $H_{12}\! +\! e$ in the $H_9\!+\!e$ family.

The reciprocal of the Ihara zeta function of a graph is a polynomial invariant introduced by Ihara in 1966. Scott and Storm gave a method to determine the coefficients of the polynomial. Here we simplify their calculation and determine the zeta function for all graphs of rank two. We verify that it is a complete invariant for such graphs: If $G_1$ and $G_2$ are of rank two, then $G_1$ and $G_2$ are isomorphic if and only if they have the same Ihara zeta function. We observe that the reciprocal of the zeta function is an even polynomial if the graph is bipartite. We also determine the zeta function for several graph families: complete graphs, complete bipartite graphs, Möbius ladders, cocktail party graphs, and all graphs of order five or less. We use the special value $u=1$ to count the spanning trees for these families.

We use Hartnell's model for virus spread on a graph, also known as firefighting. For rooted trees, we propose an Unburning Algorithm, a type of greedy algorithm starting from the leaves and working back towards the root. We show that the algorithm saves at least half the vertices of the optimal solution and that this is bound is sharp. We confirm a conjecture of Hartke about integrality gaps when comparing linear and integer program solutions. For general graphs, we propose a Containment Protocol, which looks ahead two time steps to decide where to place vaccinations. We show that the protocol performs near optimally on four well-studied infinite grids. The protocol is available for any graph and we realize this flexibility by investigating an infinite pentagonal graph.

The Graph Minor Theorem of Robertson and Seymour implies a finite set of obstructions for any minor closed graph property. We show that there are only three obstructions to knotless embedding of size 23, which is far fewer than the 92 of size 22 and the hundreds known to exist at larger sizes. We describe several other topological properties whose obstruction set demonstrates a similar dip at small size. For order ten graphs, we classify the 35 obstructions to knotless embedding and the 49 maximal knotless graphs.

It has been an open question whether the deletion or contraction of an edge in an intrinsically knotted graph always yields an intrinsically linked graph. We present a new intrinsically knotted graph that shows the answer to both questions is no.

A graph is maximal knotless if it is edge maximal for the property of knotless embedding in $R^3$. We show that such a graph has at least $\frac74 |V|$ edges, and construct an infinite family of maximal knotless graphs with $|E| < \frac52|V|$. With the exception of $|E| = 22$, we show that for any $|E| \geq 20$ there exists a maximal knotless graph of size $|E|$. We classify the maximal knotless graphs through nine vertices and 20 edges. We determine which of these maxnik graphs are the clique sum of smaller graphs and construct an infinite family of maxnik graphs that are not clique sums.

The obstruction set for graphs with knotless embeddings is not known, but a recent paper of Goldberg, Mattman, and Naimi indicates that it is quite large. Almost all known obstructions fall into four Triangle-Y families and they ask if there is an efficient way of finding or estimating the size of such graph families. Inspired by this question, we investigate the family size for complete multipartite graphs. Aside from three families that appear to grow exponentially, these families stabilize: after a certain point, increasing the number of vertices in a fixed part does not change family size.

Using the special value at $u=1$ of the Artin-Ihara $L$-function, we give a short proof of the count of the number of spanning trees in the $n$-cube.

We study the special value $u=1$ of Artin-Ihara $L$-functions associated to characters of the automorphism group of abelian covers of multigraphs. In particular, we show an annihilation statement analogous to a classical conjecture of Brumer on annihilation of class groups for abelian extensions of number fields and we also calculate the index of an ideal analogous to the classical Stickelberger ideal in algebraic number theory. Along the way, we make some observations about the number of spanning trees in abelian multigraph coverings that may be of independent interest.

The Graph Minor Theorem of Robertson and Seymour asserts that any graph property, whatsoever, is determined by an associated finite list of graphs. We view this as an impressive generalization of Kuratowski's theorem, which characterizes planarity in terms of two forbidden subgraphs, $K_5$ and $K_{3,3}$. Robertson and Seymour's result empowers students to devise their own Kuratowski type theorems; we propose several undergraduate research projects with that goal. As an explicit example, we determine the seven forbidden minors for a property we call strongly almost--planar (SAP). A graph is SAP if, for any edge $e$, both deletion and contraction of $e$ result in planar graphs.

A graph is apex if it can be made planar by deleting a vertex, that is, $\exists v$ such that $G-v$ is planar. We define the related notions of edge apex, $\exists e$ such that $G-e$ is planar, and contraction apex, $\exists e$ such that $G/e$ is planar, as well as the analogues with a universal quantifier: $\forall v$, $G-v$ planar; $\forall e$, $G-e$ planar; and $\forall e$, $G/e$ planar. The Graph Minor Theorem of Robertson and Seymour ensures that each of these six gives rise to a finite set of obstruction graphs. For the three definitions with universal quantifiers we determine this set. For the remaining properties, apex, edge apex, and contraction apex, we show there are at least 36, 55, and 82 obstruction graphs respectively. We give two similar approaches to almost nonplanar ($\exists e$, $G+e$ is nonplanar and $\forall e$, $G+e$ is nonplanar) and determine the corresponding minor minimal graphs.

We show that there are exactly eight MMIK (minor minimal intrinsically knotted) graphs of order nine.

We give evidence in support of a conjecture that the $\nabla$Y$\nabla$ families of $K_{n+5}$ and $K_{3^2,1^n}$ are obstructions for the $n$-apex property.

We show that the 20 graph Heawood family, obtained by a combination of triangle-Y and Y-triangle moves on $K_7$, is precisely the set of graphs of at most 21 edges that are minor minimal for the property not $2$--apex. As a corollary, this gives a new proof that the 14 graphs obtained by triangle-Y moves on $K_7$ are the minor minimal intrinsically knotted graphs of 21 or fewer edges. Similarly, we argue that the seven graph Petersen family, obtained from $K_6$, is the set of graphs of at most 17 edges that are minor minimal for the property not apex.

We show that the 14 graphs obtained by $\nabla\mathrm{Y}$ moves on K_7 constitute a complete list of the minor minimal intrinsically knotted graphs on 21 edges. We also present evidence in support of a conjecture that the 20 graph Heawood family, obtained by a combination of $\nabla\mathrm{Y}$ and $\mathrm{Y}\nabla$ moves on K_7, is the list of graphs of size 21 that are minor minimal with respect to the property not 2--apex.