arXiv++ Combinatorics

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.

We consider the Maker-Breaker positional game on the vertices of the $n$-dimensional hypercube $\{0,1\}^n$ with $k$-dimensional subcubes as winning sets. We describe a pairing strategy which allows Breaker to win if $n$ is a power of 4 and $k \ge n/4 +1$. Our results also imply that for all $n \geq 3$ there is a Breaker's win pairing strategy if $k \ge \left\lfloor\frac{3}{7}n\right\rfloor +1$.

We construct a family of maximal linklessly embeddable graphs on $n$ vertices and $3n-5$ edges for all $n\ge 10$, and another family on $n$ vertices and $m< \frac{25n}{12}-\frac{1}{4}$ edges for all $n\ge 13$. The latter significantly improves the lowest edge-to-vertex ratio for any previously known infinite family. We construct a family of graphs showing that the class of maximal linklessly embeddable graphs differs from the class of graphs that are maximal without a $K_6$ minor studied by L. Jorgensen. We give necessary and sufficient conditions for when the clique sum of two maximal linklessly embeddable graphs over $K_2$, $K_3$, or $K_4$ is a maximal linklessly embeddable graph, and use these results to prove our constructions yield maximal linklessly embeddable graphs.

We present a natural, combinatorial problem whose solution is given by the meta-Fibonacci recurrence relation $a(n) = \sum_{i=1}^p a(n-i+1 - a(n-i))$, where $p$ is prime. This combinatorial problem is less general than those given in [3] (B. Jackson, F. Ruskey, 2006) and [4] (F. Ruskey, C. Deugau, 2009), but it has the advantage of having a simpler statement.

We show that deleting an edge of a 3-cycle in an intrinsically knotted graph gives an intrinsically linked graph.

We show there exists a linear embedding of $K_{3,3,1}$ with n nontrivial 2-component links if and only if n = 1, 2, 3, 4, or 5.

We answer the question "Does the Y-triangle move preserve intrinsic knottedness?" in the negative by giving an example of a graph that is obtained from the intrinsically knotted graph K_7 by triangle-Y and Y-triangle moves but is not intrinsically knotted.

In this paper we complete the classification of topological symmetry groups for complete graphs $K_n$ by characterizing which $K_n$ can have a cyclic group, a dihedral group, or a subgroup of $D_m \times D_m$ where $m$ is odd, as its topological symmetry group.

We use the theory of oriented matroids to show that any linear embedding of $K_9$, the complete graph on nine vertices, contains a non-split link with three components.

We describe an algorithm that recognizes some (perhaps all) intrinsically knotted (IK) graphs, and can help find knotless embeddings for graphs that are not IK. The algorithm, implemented as a Mathematica program, has already been used by Goldberg, Mattman, and Naimi [6] to greatly expand the list of known minor minimal IK graphs, and to find knotless embeddings for some graphs that had previously resisted attempts to classify them as IK or non-IK.

We determine for which $m$, the complete graph $K_m$ has an embedding in $S^3$ whose topological symmetry group is isomorphic to one of the polyhedral groups: $A_4$, $A_5$, or $S_4$.

The Johnson graph J(n,N) is defined as the graph whose vertices are the n-subsets of the set {1,2,...,N}, where two vertices are adjacent if they share exactly n - 1 elements. Unlike Johnson graphs, induced subgraphs of Johnson graphs (JIS for short) do not seem to have been studied before. We give some necessary conditions and some sufficient conditions for a graph to be JIS, including: in a JIS graph, any two maximal cliques share at most two vertices; all trees, cycles, and complete graphs are JIS; disjoint unions and Cartesian products of JIS graphs are JIS; every JIS graph of order n is an induced subgraph of J(m,2n) for some m <= n. This last result gives an algorithm for deciding if a graph is JIS. We also show that all JIS graphs are edge move distance graphs, but not vice versa.

In 1990, Kostochka and Sidorenko proposed studying the smallest number of list-colorings of a graph $G$ among all assignments of lists of a given size $n$ to its vertices. We say a graph $G$ is $n$-monophilic if this number is minimized when identical $n$-color lists are assigned to all vertices of $G$. Kostochka and Sidorenko observed that all chordal graphs are $n$-monophilic for all $n$. Donner (1992) showed that every graph is $n$-monophilic for all sufficiently large $n$. We prove that all cycles are $n$-monophilic for all $n$; we give a complete characterization of 2-monophilic graphs (which turns out to be similar to the characterization of 2-choosable graphs given by Erdos, Rubin, and Taylor in 1980); and for every $n$ we construct a graph that is $n$-choosable but not $n$-monophilic.

We show that, given any $n$ and $α$, every embedding of any sufficiently large complete graph in $\mathbb{R}^3$ contains an oriented link with components $Q_1$, ..., $Q_n$ such that for every $i\not =j$, $|\lk(Q_i,Q_j)|\geqα$ and $|a_2(Q_i)|\geqα$, where $a_{2}(Q_i)$ denotes the second coefficient of the Conway polynomial of $Q_i$.