arXiv++ Combinatorics

A recent result of one of the authors says that every connected subcubic bipartite graph that is not isomorphic to the Heawood graph has at least one, and in fact a positive proportion of its eigenvalues in the interval [-1,1]. We construct an infinite family of connected cubic bipartite graphs which have no eigenvalues in the open interval (-1,1), thus showing that the interval [-1,1] cannot be replaced by any smaller symmetric subinterval even when allowing any finite number of exceptions. Similar examples with vertices of larger degrees are considered and it is also shown that their eigenvalue distribution has somewhat unusual properties. By taking limits of these graphs, we obtain examples of infinite vertex-transitive r-regular graphs for every r\ge3, whose spectrum consists of points $\pm1$ together with intervals [r-2,r] and [-r,-r+2]. These examples shed some light onto a question communicated by Daniel Lenz and Matthias Keller with motivation in relation to the Baum-Connes conjecture.

We solve two open problems regarding the classification of certain classes of Cayley graphs with integer eigenvalues. We first classify all finite groups that have a "non-trivial" Cayley graph with integer eigenvalues, thus solving a problem proposed by Abdollahi and Jazaeri. The notion of Cayley integral groups was introduced by Klotz and Sander. These are groups for which every Cayley graph has only integer eigenvalues. In the second part of the paper, all Cayley integral groups are determined.

It is shown that a Cayley multigraph over a group $G$ with generating multiset $S$ is integral (i.e., all of its eigenvalues are integers) if $S$ lies in the integral cone over the boolean algebra generated by the normal subgroups of $G$. The converse holds in the case when $G$ is abelian. This in particular gives an alternative, character theoretic proof of a theorem of Bridges and Mena (1982). We extend this result to provide a necessary and sufficient condition for a Cayley multigraph over a Hamiltonian group to be integral, in terms of character sums and the structure of the generating set.

We answer positively the question of Albertson asking whether every planar graph can be $5$-list-colored even if it contains precolored vertices, as long as they are sufficiently far apart from each other. In order to prove this claim, we also give bounds on the sizes of graphs critical with respect to 5-list coloring. In particular, if G is a planar graph, H is a connected subgraph of G and L is an assignment of lists of colors to the vertices of G such that |L(v)| >= 5 for every v in V(G)-V(H) and G is not L-colorable, then G contains a subgraph with O(|H|^2) vertices that is not L-colorable.

The complete set of minimal obstructions for embedding graphs into the torus is still not determined. In this paper, we present all obstructions for the torus of connectivity 2. Furthermore, we describe the building blocks of obstructions of connectivity 2 for any orientable surface.

Robertson and Seymour proved that the relation of graph immersion is well-quasi-ordered for finite graphs. Their proof uses the results of graph minors theory. Surprisingly, there is a very short proof of the corresponding rough structure theorem for graphs without $K_t$-immersions; it is based on the Gomory-Hu theorem. The same proof also works to establish a rough structure theorem for Eulerian digraphs without $\vec{K}_t$-immersions, where $\vec{K}_t$ denotes the bidirected complete digraph of order $t$.

A graph is near-planar if it can be obtained from a planar graph by adding an edge. We show the surprising fact that it is NP-hard to compute the crossing number of near-planar graphs. A graph is 1-planar if it has a drawing where every edge is crossed by at most one other edge. We show that it is NP-hard to decide whether a given near-planar graph is 1-planar. The main idea in both reductions is to consider the problem of simultaneously drawing two planar graphs inside a disk, with some of its vertices fixed at the boundary of the disk. This leads to the concept of anchored embedding, which is of independent interest. As an interesting consequence we obtain a new, geometric proof of NP-completeness of the crossing number problem, even when restricted to cubic graphs. This resolves a question of Hliněný.

We give a new proof of the fact that every planar graph is 5-choosable, and use it to show that every graph drawn in the plane so that the distance between every pair of crossings is at least 15 is 5-choosable. At the same time we may allow some vertices to have lists of size four only, as long as they are far apart and far from the crossings.

For an integer $n\geq 2$, let $X_n$ be the Cayley graph on the symmetric group $S_n$ generated by the set of transpositions ${(1 2),(1 3),...,(1 n)}$. It is shown that the spectrum of $X_n$ contains all integers from $-(n-1)$ to $n-1$ (except 0 if $n=2$ or $n=3$).

A class of graphs that lies strictly between the classes of graphs of genus (at most) $k-1$ and $k$ is studied. For a fixed orientable surface $S_k$ of genus $k$, let $A_{xy}^k$ be the minor-closed class of graphs with terminals $x$ and $y$ that either embed into $S_{k-1}$ or admit an embedding $Π$ into $S_k$ such that there is a $Π$-face where $x$ and $y$ appear twice in the alternating order. In this paper, the obstructions for the classes $A_{xy}^k$ are studied. In particular, the complete list of obstructions for $A_{xy}^1$ is presented.

A graph is 1-planar if it can be drawn on the plane so that each edge is crossed by no more than one other edge (and any pair of crossing edges cross only once). A non-1-planar graph $G$ is minimal if the graph $G-e$ is 1-planar for every edge $e$ of $G$. We construct two infinite families of minimal non-1-planar graphs and show that for every integer $n > 62$, there are at least $2^{(n-54)/4}$ nonisomorphic minimal non-1-planar graphs of order $n$. It is also proved that testing 1-planarity is NP-complete.

Let $k$ be an integer. We prove a rough structure theorem for separations of order at most $k$ in finite and infinite vertex transitive graphs. Let $G = (V,E)$ be a vertex transitive graph, let $A \subseteq V$ be a finite vertex-set with $|A| \le |V|/2$ and $|\{v \in V \setminus A : {$u \sim v$ for some $u \in A$} \}|\le k$. We show that whenever the diameter of $G$ is at least $31(k+1)^2$, either $|A| \le 2k^3+k^2$, or $G$ has a ring-like structure (with bounded parameters), and $A$ is efficiently contained in an interval. This theorem may be viewed as a rough characterization, generalizing an earlier result of Tindell, and has applications to the study of product sets and expansion in groups.

Brooks' Theorem states that a connected graph $G$ of maximum degree $Δ$ has chromatic number at most $Δ$, unless $G$ is an odd cycle or a complete graph. A result of Johansson (1996) shows that if $G$ is triangle-free, then the chromatic number drops to $O(Δ/ \log Δ)$. In this paper, we derive a weak analog for the chromatic number of digraphs. We show that every (loopless) digraph $D$ without directed cycles of length two has chromatic number $χ(D) \leq (1-e^{-13}) \tildeΔ$, where $\tildeΔ$ is the maximum geometric mean of the out-degree and in-degree of a vertex in $D$, when $\tildeΔ$ is sufficiently large. As a corollary it is proved that there exists an absolute constant $α< 1$ such that $χ(D) \leq α(\tildeΔ + 1)$ for every $\tildeΔ > 2$.

It is known (Bollobás (1978); Kostochka and Mazurova (1977)) that there exist graphs of maximum degree $Δ$ and of arbitrarily large girth whose chromatic number is at least $c Δ/ \log Δ$. We show an analogous result for digraphs where the chromatic number of a digraph $D$ is defined as the minimum integer $k$ so that $V(D)$ can be partitioned into $k$ acyclic sets, and the girth is the length of the shortest cycle in the corresponding undirected graph. It is also shown, in the same vein as an old result of Erdos (1962), that there are digraphs with arbitrarily large chromatic number where every large subset of vertices is 2-colorable.

It is well-known that every planar or projective planar graph can be 3-colored so that each color class induces a forest. This bound is sharp. In this paper, we show that there are in fact exponentially many 3-colorings of this kind for any (projective) planar graph. The same result holds in the setting of 3-list-colorings.

We resolve two problems of [Cameron, Praeger, and Wormald -- Infinite highly arc transitive digraphs and universal covering digraphs, Combinatorica 1993]. First, we construct a locally finite highly arc-transitive digraph with universal reachability relation. Second, we provide constructions of 2-ended highly arc transitive digraphs where each `building block' is a finite bipartite graph that is not a disjoint union of complete bipartite graphs. This was conjectured impossible in the above paper. We also describe the structure of 2-ended highly arc transitive digraphs in more generality, although complete characterization remains elusive.

Let C and D be digraphs. A mapping $f:V(D)\to V(C)$ is a C-colouring if for every arc $uv$ of D, either $f(u)f(v)$ is an arc of C or $f(u)=f(v)$, and the preimage of every vertex of C induces an acyclic subdigraph in D. We say that D is C-colourable if it admits a C-colouring and that D is uniquely C-colourable if it is surjectively C-colourable and any two C-colourings of D differ by an automorphism of C. We prove that if a digraph D is not C-colourable, then there exist digraphs of arbitrarily large girth that are D-colourable but not C-colourable. Moreover, for every digraph D that is uniquely D-colourable, there exists a uniquely D-colourable digraph of arbitrarily large girth. In particular, this implies that for every rational number $r\geq 1$, there are uniquely circularly r-colourable digraphs with arbitrarily large girth.

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 expected value for the weighted crossing number of a randomly weighted graph is studied. A variation of the Crossing Lemma for expectations is proved. We focus on the case where the edge-weights are independent random variables that are uniformly distributed on [0,1].