arXiv++ Combinatorics

We consider the problem of immersing the complete digraph on t vertices in a simple digraph. For Eulerian digraphs, we show that such an immersion always exists whenever minimum degree is at least t(t-1), and for t at most 4 minimum degree at least t-1 suffices. On the other hand, we show that there exist non-Eulerian digraphs with all vertices of arbitrarily high in- and outdegree which do not contain an immersion of the complete digraph on 3 vertices. As a side result, we obtain a construction of digraphs with large outdegree in which all cycles have odd length, simplifying a former construction of such graphs by Thomassen.

An immersion of a graph $H$ into a graph $G$ is a one-to-one mapping $f:V(H) \to V(G)$ and a collection of edge-disjoint paths in $G$, one for each edge of $H$, such that the path $P_{uv}$ corresponding to edge $uv$ has endpoints $f(u)$ and $f(v)$. The immersion is strong if the paths $P_{uv}$ are internally disjoint from $f(V(H))$. It is proved that for every positive integer $t$, every simple graph of minimum degree at least $200t$ contains a strong immersion of the complete graph $K_t$. For dense graphs one can say even more. If the graph has order $n$ and has $2cn^2$ edges, then there is a strong immersion of the complete graph on at least $c^2 n$ vertices in $G$ in which each path $P_{uv}$ is of length 2. As an application of these results, we resolve a problem raised by Paul Seymour by proving that the line graph of every simple graph with average degree $d$ has a clique minor of order at least $cd^{3/2}$, where $c>0$ is an absolute constant. For small values of $t$, $1\le t\le 7$, every simple graph of minimum degree at least $t-1$ contains an immersion of $K_t$ (Lescure and Meyniel, DeVos et al.). We provide a general class of examples showing that this does not hold when $t$ is large.

The kth power of a simple graph G, denoted G^k, is the graph with vertex set V(G) where two vertices are adjacent if they are within distance k in G. We are interested in finding lower bounds on the average degree of G^k. Here we prove that if G is connected with minimum degree d > 2 and |V(G)| > (8/3)d, then G^4 has average degree at least (7/3)d. We also prove that if G is a connected d-regular graph on n vertices with diameter at least 3k+3, then the average degree of G^{3k+2} is at least (2k+1)(d+1) - k(k+1) (d+1)^2/n - 1. Both of these results are shown to be essentially best possible; the second is best possible even when n/d is arbitrarily large.

Tuza conjectured that for every graph $G$, the maximum size $ν$ of a set of edge-disjoint triangles and minimum size $τ$ of a set of edges meeting all triangles satisfy $τ\leq 2ν$. We consider an edge-weighted version of this conjecture, which amounts to packing and covering triangles in multigraphs. Several known results about the original problem are shown to be true in this context, and some are improved. In particular, we answer a question of Krivelevich who proved that $τ\leq 2ν^*$ (where $ν^*$ is the fractional version of $ν$), and asked if this is tight. We prove that $τ\leq 2ν^*-\frac{1}{\sqrt{6}}\sqrt{ν^*}$ and show that this bound is essentially best possible.

We show that for every connected graph $G$ of diameter $\ge 3$, the graph $G^3$ has average degree $\ge 7/4 δ(G)$. We also provide an example showing that this bound is best possible. This resolves a question of Hegarty \cite{PH}.

The n-th crossing number of a graph G, denoted cr_n(G), is the minimum number of crossings in a drawing of G on an orientable surface of genus n. We prove that for every a>b>0, there exists a graph G for which cr_0(G) = a, cr_1(G) = b, and cr_2(G) = 0. This provides support for a conjecture of Archdeacon et al. and resolves a problem of Salazar.

Eberhard proved that for every sequence $(p_k), 3\le k\le r, k\ne 5,7$ of non-negative integers satisfying Euler's formula $\sum_{k\ge3} (6-k) p_k = 12$, there are infinitely many values $p_6$ such that there exists a simple convex polyhedron having precisely $p_k$ faces of length $k$ for every $k\ge3$, where $p_k=0$ if $k>r$. In this paper we prove a similar statement when non-negative integers $p_k$ are given for $3\le k\le r$, except for $k=5$ and $k=7$. We prove that there are infinitely many values $p_5,p_7$ such that there exists a simple convex polyhedron having precisely $p_k$ faces of length $k$ for every $k\ge3$. %, where $p_k=0$ if $k>r$. We derive an extension to arbitrary closed surfaces, yielding maps of arbitrarily high face-width. Our proof suggests a general method for obtaining results of this kind.

We determine the spectra of cubic plane graphs whose faces have sizes 3 and 6. Such graphs, "(3,6)-fullerenes", have been studied by chemists who are interested in their energy spectra. In particular we prove a conjecture of Fowler, which asserts that all their eigenvalues come in pairs of the form $\{λ,-λ\}$ except for the four eigenvalues $\{3,-1,-1,-1\}$. We exhibit other families of graphs which are "spectrally nearly bipartite" in this sense. Our proof utilizes a geometric representation to recognize the algebraic structure of these graphs, which turn out to be examples of Cayley sum graphs.

We give a (computer assisted) proof that the edges of every graph with maximum degree 3 and girth at least 17 may be 5-colored (possibly improperly) so that the complement of each color class is bipartite. Equivalently, every such graph admits a homomorphism to the Clebsch graph. Hopkins and Staton and Bondy and Locke proved that every (sub)cubic graph of girth at least 4 has an edge-cut containing at least 4/5 of the edges. The existence of such an edge-cut follows immediately from the existence of a 5-edge-coloring as described above, so our theorem may be viewed as a coloring extension of their result (under a stronger girth assumption). Every graph which has a homomorphism to a cycle of length five has an above-described 5-edge-coloring; hence our theorem may also be viewed as a weak version of Nesetril's Pentagon Problem (which asks whether every cubic graph of sufficiently high girth is homomorphic to C_5).