User:MWinter4/Knotless graph

Knotless graphs
Related to the concept of linkless embedding is the concept of knotless embedding, an embedding of a graph in such a way that none of its simple cycles form a nontrivial knot. The graphs that do not have knotless embeddings (that is, they are intrinsically knotted) include K7 and K3,3,1,1. However, there also exist minimal forbidden minors for knotless embedding that are not formed (as these two graphs are) by adding one vertex to an intrinsically linked graph.

One may also define graph families by the presence or absence of more complex knots and links in their embeddings, or by linkless embedding in three-dimensional manifolds other than Euclidean space. define a graph embedding to be triple linked if there are three cycles no one of which can be separated from the other two; they show that K9 is not intrinsically triple linked, but K10 is. More generally, one can define an n-linked embedding for any n to be an embedding that contains an n-component link that cannot be separated by a topological sphere into two separated parts; minor-minimal graphs that are intrinsically n-linked are known for all n.

Linkless and knotless embedding
In two dimensions, only the planar graphs may be embedded into the Euclidean plane without crossings, but in three dimensions, any undirected graph may be embedded into space without crossings. However, a spatial analogue of the planar graphs is provided by the graphs with linkless embeddings and knotless embeddings. A linkless embedding is an embedding of the graph with the property that any two cycles are unlinked; a knotless embedding is an embedding of the graph with the property that any single cycle is unknotted. The graphs that have linkless embeddings have a forbidden graph characterization involving the Petersen family, a set of seven graphs that are intrinsically linked: no matter how they are embedded, some two cycles will be linked with each other. A full characterization of the graphs with knotless embeddings is not known, but the complete graph $K_{7}$ is one of the minimal forbidden graphs for knotless embedding: no matter how $K_{7}$ is embedded, it will contain a cycle that forms a trefoil knot.