arXiv++ Combinatorics

We establish mild conditions under which a possibly irregular, sparse graph $G$ has "many" strong orientations. Given a graph $G$ on $n$ vertices, orient each edge in either direction with probability $1/2$ independently. We show that if $G$ satisfies a minimum degree condition of $(1+c_1)\log_2{n}$ and has Cheeger constant at least $c_2\frac{\log_2\log_2{n}}{\log_2{n}}$, then the resulting randomly oriented directed graph is strongly connected with high probability. This Cheeger constant bound can be replaced by an analogous spectral condition via the Cheeger inequality. Additionally, we provide an explicit construction to show our minimum degree condition is tight while the Cheeger constant bound is tight up to a $\log_2\log_2{n}$ factor.

A deterministic finite automaton (DFA) of $n$ states over a $k$-letter alphabet can be seen as a digraph with $n$ vertices which all have exactly $k$ labeled out-arcs ($k$-out digraph). In 1973 Grusho first proved that with high probability (whp) in a random $k$-out digraph there is a strongly connected component (SCC) of linear size that is reachable from all vertices, i.e., a giant. He also proved that the size of the giant follows a central limit law. We show that whp the part outside the giant contains at most a few short cycles and mostly consists of overlapping tree-like structures. Thus the directed acyclic graph (DAG) of a random $k$-out digraph is almost the same as the digraph with the giant contracted into one vertex. These findings lead to a new, concise and self-contained proof of Grusho's theorem. This work also contains some other results including the structure outside the giant, the phase transition phenomenon in strong connectivity, the typical distance, and an extension to simple digraphs.

In [5], Holroyd, Levine, Mészáros, Peres, Propp and Wilson characterize recurrent chip-and-rotor configurations for strongly connected digraphs. However, the number of steps needed to recur, and the number of orbits is left open for general digraphs. Recently, these questions were answered by Pham [6], using linear algebraic methods. We give new, purely combinatorial proofs for these formulas. We also relate rotor-router orbits to the chip-firing game: The number of recurrent rotor-router unicycle-orbits equals the order of the Picard group of the graph, defined in the sense of [1], and during a period, the same chip-moves happen, as during firing the period vector in the chip-firing game.

The set of distinct eigenvalues of a signed digraph $S$ together with their multiplicities is called its spectrum. The energy of a signed digraph $S$ with eigenvalues $z_1,z_2,\cdots,z_n$ is defined as $E(S)=\sum_{j=1}^{n}|\Re z_j|$, where $\Re z_j $ denotes real part of complex number $z_j$. In this paper, we show that the characteristic polynomial of a bipartite signed digraph of order $n$ with each cycle of length $\equiv 0\pmod 4$ negative and each cycle of length $\equiv 2\pmod 4$ positive is of the form \\ $$φ_S(z)=z^n+\sum\limits_{j=1}^{\lfloor{\frac{n}{2}}\rfloor}(-1)^j c_{2j}(S)z^{n-2j},$$\\ where $c_{2j}(S)$ are nonnegative integers. We define a quasi-order relation in this case and show energy is increasing. It is shown that the characteristic polynomial of a bipartite signed digraph of order $n$ with each cycle negative has the form $$φ_S(z)=z^n+\sum\limits_{j=1}^{\lfloor{\frac{n}{2}}\rfloor}c_{2j}(S)z^{n-2j},$$ where $c_{2j}(S)$ are nonnegative integers. We study integral, real, Gaussian signed digraphs and quasi-cospectral digraphs and show for each positive integer $n\ge 4$ there exists a family of $n$ cospectral, non symmetric, strongly connected, integral, real, Gaussian signed digraphs (non cycle balanced) and quasi-cospectral digraphs of order $4^n$. We obtain a new family of pairs of equienergetic strongly connected signed digraphs and answer to open problem $(2)$ posed in Pirzada and Mushtaq, Energy of signed digraphs, Discrete Applied Mathematics 169 (2014) 195-205.

We show that if $T$ is a strongly $10^9k^6\log(2k)$-connected tournament, there exists a partition $A, B$ of $V(T)$ such that each of $T[A]$, $T[B]$ and $T[A,B]$ is strongly $k$-connected. This provides tournament analogues of two partition conjectures of Thomassen regarding highly connected graphs.

Problems of the following kind have been the focus of much recent research in the realm of parameterized complexity: Given an input graph (digraph) on $n$ vertices and a positive integer parameter $k$, find if there exist $k$ edges (arcs) whose deletion results in a graph that satisfies some specified parity constraints. In particular, when the objective is to obtain a connected graph in which all the vertices have even degrees---where the resulting graph is \emph{Eulerian}---the problem is called Undirected Eulerian Edge Deletion. The corresponding problem in digraphs where the resulting graph should be strongly connected and every vertex should have the same in-degree as its out-degree is called Directed Eulerian Edge Deletion. Cygan et al. [\emph{Algorithmica, 2014}] showed that these problems are fixed parameter tractable (FPT), and gave algorithms with the running time $2^{O(k \log k)}n^{O(1)}$. They also asked, as an open problem, whether there exist FPT algorithms which solve these problems in time $2^{O(k)}n^{O(1)}$. In this paper we answer their question in the affirmative: using the technique of computing \emph{representative families of co-graphic matroids} we design algorithms which solve these problems in time $2^{O(k)}n^{O(1)}$. The crucial insight we bring to these problems is to view the solution as an independent set of a co-graphic matroid. We believe that this view-point/approach will be useful in other problems where one of the constraints that need to be satisfied is that of connectivity.

Gessel and Sagan investigated the Tutte polynomial, $T(x,y)$ using depth first search, and applied their techniques to show that the number of acyclic partial orientations of a graph is $2^gT(3,1/2)$. We provide a short deletion-contraction proof of this result and demonstrate that dually, the number of strongly connected partial orientations is $2^{n-1}T(1/2,3)$. We then prove that the number of partial orientations modulo cycle reversals is $2^gT(3,1)$ and the number of partial orientations modulo cut reversals is $2^{n-1}T(1,3)$. To prove these results, we introduce cut and cycle minimal partial orientations which provide distinguished representatives for partial orientations modulo cut and cycle reversals. These extend classes of total orientations introduced by Gioan, and Greene and Zaslavksy, and we highlight a close connection with graphic and cographic Lawrence ideals. We conclude with edge chromatic generalizations of the quantities presented, which allow for a new interpretation of the reliability polynomial for all probabilities, $p$ with $0 < p <1/2$.

In this paper, we continue our study of closed models defined in categories of graphs. We construct a closed model defined in the cat-egory of directed graphs which characterizes the strongly connected components. This last notion has many applications, and it plays an important role in the web search algorithm of Brin and Page, the foun-dation of the search engine Google. We also show that for this closed model, Euler graphs are particular examples of cofibrant objects. This enables us to interpret in this setting the classical result of Euler which states that a directed graph is Euleurian if and only if the in degree and the out degree of every of its nodes are equal. We also provide a cohomological proof of this last result.

A (possibly directed) graph is $k$-linked if for any two disjoint sets of vertices $\{x_1, \dots, x_k\}$ and $\{y_1, \dots, y_k\}$ there are vertex disjoint paths $P_1, \dots, P_k$ such that $P_i$ goes from $x_i$ to $y_{i}$. A theorem of Bollobás and Thomason says that every $22k$-connected (undirected) graph is $k$-linked. It is desirable to obtain analogues for directed graphs as well. Although Thomassen showed that the Bollobás-Thomason Theorem does not hold for general directed graphs, he proved an analogue of the theorem for tournaments - there is a function $f(k)$ such that every strongly $f(k)$-connected tournament is $k$-linked. The bound on $f(k)$ was reduced to $O(k \log k)$ by Kühn, Lapinskas, Osthus, and Patel, who also conjectured that a linear bound should hold. We prove this conjecture, by showing that every strongly $452k$-connected tournament is $k$-linked.

Thomassen conjectured that there is a function $f(k)$ such that every strongly $f(k)$-connected tournament contains $k$ edge-disjoint Hamiltonian cycles. This conjecture was recently proved by Kühn, Lapinskas, Osthus, and Patel who showed that $f(k)\leq O(k^2(\log k)^2)$ and conjectured that there is a constant $C$ such that $f(k)\leq Ck^2$. We prove this conjecture.

Let $D$ be a strongly connected directed graph of order $n\geq 4$. In \cite{[14]} (J. of Graph Theory, Vol.16, No. 5, 51-59, 1992) Y. Manoussakis proved the following theorem: Suppose that $D$ satisfies the following condition for every triple $x,y,z$ of vertices such that $x$ and $y$ are non-adjacent: If there is no arc from $x$ to $z$, then $d(x)+d(y)+d^+(x)+d^-(z)\geq 3n-2$. If there is no arc from $z$ to $x$, then $d(x)+d(y)+d^-(x)+d^+(z)\geq 3n-2$. Then $D$ is Hamiltonian. In this paper we show that: If $D$ satisfies the condition of Manoussakis' theorem, then $D$ contains a pre-Hamiltonian cycle (i.e., a cycle of length $n-1$) or $n$ is even and $D$ is isomorphic to the complete bipartite digraph with partite sets of cardinalities $n/2$ and $n/2$.

Let $D$ be a strongly connected directed graph of order $n\geq 4$ vertices which satisfies the following condition for every triple $x,y,z$ of vertices such that $x$ and $y$ are non-adjacent: If there is no arc from $x$ to $z$, then $d(x)+d(y)+d^+(x)+d^-(z)\geq 3n-2$. If there is no arc from $z$ to $x$, then $d(x)+d(y)+d^-(x)+d^+(z)\geq 3n-2$. In \cite{[15]} (J. of Graph Theory, Vol.16, No. 5, 51-59, 1992) Y. Manoussakis proved that $D$ is Hamiltonian. In [9] it was shown that $D$ contains a pre-Hamiltonian cycle (i.e., a cycle of length $n-1$) or $n$ is even and $D$ is isomorphic to the complete bipartite digraph with partite sets of cardinalities of $n/2$ and $n/2$. In this paper we show that $D$ contains also a Hamiltonian bypass, (i.e., a subdigraph obtained from a Hamiltonian cycle by reversing exactly one arc) or $D$ is isomorphic to one tournament of order 5.

Let $D$ be a strongly connected directed graph of order $n\geq 4$ which satisfies the following condition (*): for every pair of non-adjacent vertices $x, y$ with a common in-neighbour $d(x)+d(y)\geq 2n-1$ and $min \{ d(x), d(y)\}\geq n-1$. In \cite{[2]} (J. of Graph Theory 22 (2) (1996) 181-187)) J. Bang-Jensen, G. Gutin and H. Li proved that $D$ is Hamiltonian. In [9] it was shown that if $D$ satisfies the condition (*) and the minimum semi-degree of $D$ at least two, then either $D$ contains a pre-Hamiltonian cycle (i.e., a cycle of length $n-1$) or $n$ is even and $D$ is isomorphic to the complete bipartite digraph (or to the complete bipartite digraph minus one arc) with partite sets of cardinalities of $n/2$ and $n/2$. In this paper we show that if the minimum out-degree of $D$ at least two and the minimum in-degree of $D$ at least three, then $D$ contains also a Hamiltonian bypass, (i.e., a subdigraph is obtained from a Hamiltonian cycle by reversing exactly one arc).

In 1992, Manoussakis conjectured that a strongly 2-connected digraph $D$ on $n$ vertices is hamiltonian if for every two distinct pairs of independent vertices $x,y$ and $w,z$ we have $d(x)+d(y)+d(w)+d(z)\geq 4n-3$. In this note we show that $D$ has a Hamilton path, which gives an affirmative evidence supporting this conjecture.

Let $k$ and $r$ be two integers with $k \ge 2$ and $k\ge r \ge 1$. In this paper we show that (1) if a strongly connected digraph $D$ contains no directed cycle of length $1$ modulo $k$, then $D$ is $k$-colorable; and (2) if a digraph $D$ contains no directed cycle of length $r$ modulo $k$, then $D$ can be vertex-colored with $k$ colors so that each color class induces an acyclic subdigraph in $D$. The first result gives an affirmative answer to a question posed by Tuza in 1992, and the second implies the following strong form of a conjecture of Diwan, Kenkre and Vishwanathan: If an undirected graph $G$ contains no cycle of length $r$ modulo $k$, then $G$ is $k$-colorable if $r\ne 2$ and $(k+1)$-colorable otherwise. Our results also strengthen several classical theorems on graph coloring proved by Bondy, Erdős and Hajnal, Gallai and Roy, Gyárfás, etc.

The rotor-router model is a popular deterministic analogue of random walk. In this paper we prove that all orbits of the rotor-router operation have the same size on a strongly connected directed graph (digraph) and give a formula for the size. By using this formula we address the following open question about orbits of the rotor-router operation: Is there an infinite family of non-Eulerian strongly connected digraphs such that the rotor-router operation on each digraph has a single orbit? It turns out that on a strongly connected digraph the stationary distribution of the simple random walk coincides with the frequency of vertices in a rotor walk. In this common aspect a rotor walk simulates a random walk. This gives one similarity between two models on (finite) digraphs.

A digraph X=(V, E) is max-λ, if λ(X)=δ(X). A digraph X is super-λif every minimum cut of X is either the set of inarcs of some vertex or the set of outarcs of some vertex. In this paper, we will prove that for all but a few exceptions, the strongly connected mixed Cayley digraphs are max-λand super-λ.

Let X=(V, E) be a digraph. X is maximally connected, if κ(X)=δ(X). X is maximally arc-connected, if λ(X)=δ(X). And X is super arc-connected, if every minimum arc-cut of X is either the set of inarcs of some vertex or the set of outarcs of some vertex. In this paper, we will prove that the strongly connected Bi-Cayley digraphs are maximally connected and maximally arc-connected, and the most of strongly connected Bi-Cayley digraphs are super arc-connected.

Let D be a strongly connected digraph and A(D) be the adjacency matrix of D. Let diag(D) be the diagonal matrix with outdegrees of the vertices of D and Q(D) = diag(D) + A(D) be the signless Laplacian matrix of D. The spectral radius of Q(D) is called the signless Laplacian spectral radius of D, denoted by q(D). In this paper, we give sharp bound on q(D) with outdegree sequence and compare the bound with some known bounds, establish some sharp upper or lower bound on q(D) with some given parameter such as clique number, girth or vertex connectivity, and characterize the corresponding extremal digraph or proposed open problem. In addition, we also determine the unique digraph which achieves the minimum (or maximum), the second minimum (or maximum), the third minimum, the fourth minimum spectral radius and signless Laplacian spectral radius among all strongly connected digraphs, and answer the open problem proposed by Lin-Shu [H.Q. Lin, J.L. Shu, A note on the spectral characterization of strongly connected bicyclic digraphs, Linear Algebra Appl. 436 (2012) 2524{2530].

We discuss a variant of the Ramsey and the directed Ramsey problem. First, consider a complete graph on $n$ vertices and a two-coloring of the edges such that every edge is colored with at least one color and the number of bicolored edges $|E_{RB}|$ is given. The aim is to find the maximal size $f$ of a monochromatic clique which is guaranteed by such a coloring. Analogously, in the second problem we consider semicomplete digraph on $n$ vertices such that the number of bi-oriented edges $|E_{bi}|$ is given. The aim is to bound the size $F$ of the maximal transitive subtournament that is guaranteed by such a digraph. Applying probabilistic and analytic tools and constructive methods we show that if $|E_{RB}|=|E_{bi}| = p{n\choose 2}$, ($p\in [0,1)$), then $f, F < C_p\log(n)$ where $C_p$ only depend on $p$, while if $m={n \choose 2} - |E_{RB}| <n^{3/2}$ then $f= Θ(\frac{n^2}{m+n})$. The latter case is strongly connected to Turán-type extremal graph theory.