arXiv++ Combinatorics

Several interesting properties of a special type of matrix that has a row sum equal to the column sum are shown with the proofs. Premagic matrix can be applied to strongly connected directed network graph due to its nodes conservation flow. Relationships between Markov Chain, ideal flow and random walk on directed graph are also discussed.

Let $D$ be a strongly connected balanced bipartite directed graph of order $2a\geq 10$. Let $x,y$ be distinct vertices in $D$. $\{x,y\}$ dominates a vertex $z$ if $x\rightarrow z$ and $y\rightarrow z$; in this case, we call the pair $\{x,y\}$ dominating. In this paper we prove: {\it If the underlying undirected graph of $D$ is not 2-connected and $max\{d(x), d(y)\}\geq 2a-2$ for every dominating pair of vertices $\{x,y\}$, then $D$ contains a cycle of length $2a-2$ unless $D$ is isomorphic to a certain digraph of order ten which we specify.

Let $D$ be a strongly connected balanced bipartite directed graph of order $2a\geq 10$ other than a directed cycle. Let $x,y$ be distinct vertices in $D$. $\{x,y\}$ dominates a vertex $z$ if $x\rightarrow z$ and $y\rightarrow z$; in this case, we call the pair $\{x,y\}$ dominating. In this paper we prove: If $ max\{d(x), d(y)\}\geq 2a-2$ for every dominating pair of vertices $\{x,y\}$, then $D$ contains cycles of all lengths $2,4, \ldots , 2a-2$ or $D$ is isomorphic to a certain digraph of order ten which we specify.

Let $G$ be a simple strongly connected weighted directed graph. Let $\mathcal{G}$ denote the spanning tree graph of $G$. That is, the vertices of $\mathcal{G}$ consist of the directed rooted spanning trees on $G$, and the edges of $\mathcal{G}$ consist of pairs of trees $(t_i, t_j)$ such that $t_j$ can be obtained from $t_i$ by adding the edge from the root of $t_i$ to the root of $t_j$ and deleting the outgoing edge from the root of $t_j$. A formula for the ratio of the sum of the weights of the directed rooted spanning trees on $\mathcal{G}$ to the sum of the weights of the directed rooted spanning trees on $G$ was recently given by Biane and Chapuy. We provide an alternative proof of this formula, which is both simple and combinatorial. The proof involves working with the stochastic zeta function of an irreducible Markov chain. By generalizing the stochastic zeta function we also recover the general result of Biane and Chapuy which gives a formula for the determinant of the Schrödinger matrix on $\mathcal{G}$ corresponding to a given Schrödinger matrix on $G$, in terms of the minors of the latter matrix.

The flow semigroup, introduced by John Rhodes, is an invariant for digraphs and a complete invariant for graphs. After collecting together previous partial results, we refine and prove Rhodes's conjecture on the structure of the maximal groups in the flow semigroup for finite, antisymmetric, strongly connected digraphs. Building on this result, we investigate and fully describe the structure and actions of the maximal subgroups of the flow semigroup acting on all but $k$ points for all finite digraphs and graphs for all $k\geq 1$. A linear algorithm (in the number of edges) is presented to determine these so-called `defect $k$ groups' for any finite (di)graph. Finally, we prove that the complexity of the flow semigroup of a 2-vertex connected (and strongly connected di)graph with $n$ vertices is $n-2$, completely confirming Rhodes's conjecture for such (di)graphs.

Two-sided group digraphs and graphs, introduced by Iradmusa and Praeger, provide a generalization of Cayley digraphs and graphs in which arcs are determined by left and right multiplying by elements of two subsets of the group. We characterize when two-sided group digraphs and graphs are weakly and strongly connected and count connected components, using both an explicit elementary perspective and group actions. Our results and examples address four open problems posed by Iradmusa and Praeger that concern connectedness and valency. We pose five new open problems.

Let $\mathcal{G}_{n,p,q}$ denote the set of strongly connected bipartite digraphs on $n$ vertices which contain a complete bipartite subdigraph $\overleftrightarrow{K_{p,q}}$, where $p, q, n$ are positive integers and $p+q \leq n$. In this paper, we study the Q-index (i.e. the signless Laplacian spectral radius) of $\mathcal{G}_{n,p,q}$, and determine the extremal digraph that has the minimum Q-index.

A $(k_1+k_2)$-bispindle is the union of $k_1$ $(x,y)$-dipaths and $k_2$ $(y,x)$-dipaths, all these dipaths being pairwise internally disjoint. Recently, Cohen et al. showed that for every $(1,1)$- bispindle $B$, there exists an integer $k$ such that every strongly connected digraph with chromatic number greater than $k$ contains a subdivision of $B$. We investigate generalisations of this result by first showing constructions of strongly connected digraphs with large chromatic number without any $(3,0)$-bispindle or $(2,2)$-bispindle. Then we show that strongly connected digraphs with large chromatic number contains a $(2,1)$-bispindle, where at least one of the $(x,y)$-dipaths and the $(y,x)$-dipath are long.

The Kolakoski sequence is the unique infinite sequence with values in $\{1,2\}$ and first term $1$ which equals the sequence of run-lengths of itself, we call this $K(1,2).$ We define $K(m,n)$ similarly. A well-known conjecture is that the limiting density of $K(1,2)$ is one-half. We state a natural generalization, the "generalized uniformness conjecture" (GUC). The GUC seems intractable, but we prove a partial result. The GUC implies that members of a certain family of directed graphs $G_{m,n,k}$ are all strongly connected. We prove this unconditionally. For $d>0,$ let $cf(m,n,d)$ be the density of indices $i$ such that $K(m, n)_i=K(m, n)_{i+d}.$ Essentially, $cf(m, n, d)$ is the autocorrelation function of a stationary stochastic process with random variables $\{X_t\}_{t\in\mathbb{Z}}$ whereby a sample of a finite window of this process is formed by copying as many consecutive terms of $K(m,n)$ starting from a "uniformly random index" $i\in\mathbb{Z}_+.$ Assuming the GUC, we prove that we can compute $cf(m,n,d)$ exactly for quite large $d$ by constructing a periodic sequence $S$ of period around $10^{8.5}$ such that for $d$ not too large, the correlation frequency at distance $d$ in $K(m,n)$ equals that in $S.$ We efficiently compute correlations in $S$ using polynomial multiplication via FFT. We plot our estimates $cf(m,n,d)$ for several small values of $(m,n)$ and $d\le10^5$ or $10^6$. We note many suggested patterns. For example, for the three pairs $(m,n)\in\{(1,2),(2,3),(3,4)\},$ the function $cf(m,n,d)$ behaves very differently as we restrict $d$ to the $m+n$ residue classes $\text{mod}$ $m+n.$ The plots of the three functions $cf(1,2,d),cf(2,3,d),$ and $cf(3,4,d)$ resemble waves which have common nodes. We consider this very unusual behavior for an autocorrelation function. The pairs $(m,n)\in\{(1,4),(1,6),(2,5)\}$ show wave-like patterns with much more noise.

Based upon a previous work of Manjunath and Sturmfels for a finite, complete, undirected graph, and a refined algorithm by Eröcal, Motsak, Schreyer and Steenpaß for computing syzygies, we display a free resolution of the lattice ideal associated to a finite, strongly connected, weighted, directed graph. Moreover, the resolution is minimal precisely when the digraph is strongly complete.

Distance well-defined graphs consist of connected undirected graphs, strongly connected directed graphs and strongly connected mixed graphs. Let $G$ be a distance well-defined graph, and let ${\sf D}(G)$ be the distance matrix of $G$. Graham, Hoffman and Hosoya [3] showed a very attractive theorem, expressing the determinant of ${\sf D}(G)$ explicitly as a function of blocks of $G$. In this paper, we study the inverse of ${\sf D}(G)$ and get an analogous theory, expressing the inverse of ${\sf D}(G)$ through the inverses of distance matrices of blocks of $G$ (see Theorem 3.3) by the theory of Laplacian expressible matrices which was first defined by the first author [9]. A weighted cactoid digraph is a strongly connected directed graph whose blocks are weighted directed cycles. As an application of above theory, we give the determinant and the inverse of the distance matrix of a weighted cactoid digraph, which imply Graham and Pollak's formula and the inverse of the distance matrix of a tree.

The Dulmage--Mendelsohn decomposition (or the DM-decomposition) gives a unique partition of the vertex set of a bipartite graph reflecting the structure of all the maximum matchings therein. A bipartite graph is said to be DM-irreducible if its DM-decomposition consists of a single component. In this paper, we focus on the problem of making a given bipartite graph DM-irreducible by adding edges. When the input bipartite graph is balanced (i.e., both sides have the same number of vertices) and has a perfect matching, this problem is equivalent to making a directed graph strongly connected by adding edges, for which the minimum number of additional edges was characterized by Eswaran and Tarjan (1976). We give a general solution to this problem, which is divided into three parts. We first show that our problem can be formulated as a special case of a general framework of covering supermodular functions, which was introduced by Frank and Jordán (1995) to investigate the directed connectivity augmentation problem. Secondly, when the input graph is not balanced, the problem is solved via matroid intersection. This result can be extended to the minimum cost version in which the addition of an edge gives rise to an individual cost. Thirdly, for balanced input graphs, we devise a combinatorial algorithm that finds a minimum number of additional edges to attain the DM-irreducibility, while the minimum cost version of this problem is NP-hard. These results also lead to min-max characterizations of the minimum number, which generalize the result of Eswaran and Tarjan.

We study the half-integral $k$-Directed Disjoint Paths Problem ($\tfrac12$kDDPP) in highly strongly connected digraphs. The integral kDDPP is NP-complete even when restricted to instances where $k=2$, and the input graph is $L$-strongly connected, for any $L\geq 1$. We show that when the integrality condition is relaxed to allow each vertex to be used in two paths, the problem becomes efficiently solvable in highly connected digraphs (even with $k$ as part of the input). Specifically, we show that there is an absolute constant $c$ such that for each $k\geq 2$ there exists $L(k)$ such that $\tfrac12$kDDPP is solvable in time $O(|V(G)|^c)$ for a $L(k)$-strongly connected directed graph $G$. As the function $L(k)$ grows rather quickly, we also show that $\tfrac12$kDDPP is solvable in time $O(|V(G)|^{f(k)})$ in $(36k^3+2k)$-strongly connected directed graphs. We also show that for each $ε<1$ deciding half-integral feasibility of kDDPP instances is NP-complete when $k$ is given as part of the input, even when restricted to graphs with strong connectivity $εk$.

Let $k$ and $\ell$ be positive integers. A cycle with two blocks $c(k,\ell)$ is an oriented cycle which consists of two internally (vertex) disjoint directed paths of lengths at least $k$ and $\ell$, respectively, from a vertex to another one. A problem of Addario-Berry, Havet and Thomassé (2007) asked if, given positive integers $k$ and $\ell$ such that $k+\ell\ge 4$, any strongly connected digraph $D$ containing no $c(k,\ell)$ has chromatic number at most $k+\ell-1$. In this paper, we show that such digraph $D$ has chromatic number at most $O((k+\ell)^2)$, improving the previous upper bound $O((k+\ell)^4)$ obtained by Cohen, Havet, Lochet and Nisse (2016). In fact, we are able to find a digraph which shows that the answer to the above problem is no. We also show that if in addition $D$ is Hamiltonian, then its underlying simple graph is $(k+\ell-1)$-degenerate and thus the chromatic number of $D$ is at most $k+\ell$, which is tight.

The Tutte polynomial is a fundamental invariant of graphs. In this article, we define and study a generalization of the Tutte polynomial for directed graphs, that we name B-polynomial. The B-polynomial has three variables, but when specialized to the case of graphs (that is, digraphs where arcs come in pairs with opposite directions), one of the variables becomes redundant and the B-polynomial is equivalent to the Tutte polynomial. We explore various properties, expansions, specializations, and generalizations of the B-polynomial, and try to answer the following questions: 1. what properties of the digraph can be detected from its B-polynomial (acyclicity, length of paths, number of strongly connected components, etc.)? 2. which of the marvelous properties of the Tutte polynomial carry over to the directed graph setting? The B-polynomial generalizes the strict chromatic polynomial of mixed graphs introduced by Beck, Bogart and Pham. We also consider a quasisymmetric function version of the B-polynomial which simultaneously generalizes the Tutte symmetric function of Stanley and the quasisymmetric chromatic function of Shareshian and Wachs.

We show that the directed labelled Cayley graphs coincide with the rooted deterministic vertex-transitive simple graphs. The Cayley graphs are also the strongly connected deterministic simple graphs of which all vertices have the same cycle language, or just the same elementary cycle language. Under the assumption of the axiom of choice, we characterize the Cayley graphs for all group subsets as the deterministic, co-deterministic, vertex-transitive simple graphs.

Directed graphs are widely used in modelling of nonsymmetric relations in various sciences and engineering disciplines. We discuss invariants of strongly connected directed graphs - minimal number of vertices or edges necessary to remove to make remaining graphs not strongly connected. By analogy with undirected graphs these invariants are called strong vertex/edge connectivities. We review some properties of these invariants. Computational results for some publicly available connectome graphs used in neuroscience are described.

Consider the set of all digraphs on $[N]$ with $M$ edges, whose minimum in-degree and minimum out-degree are at least $k_1$ and $k_2$ respectively. For $k:=\min\{k_1,k_2\}\ge 2$ and $M/N>\max\{k_1,k_2\}$, $M=Θ(N)$, we show that, among those digraphs, the fraction of $k$-strongly connected digraphs is $1-O\bigl(N^{-(k-1)})$. Earlier with Dan Poole we identified a sharp edge-density threshold $c^*(k_1,k_2)$ for birth of a giant $(k_1,k_2)$-core in the random digraph $D(n,m=[cn])$. Combining the claims, for $c>c^*(k_1,k_2)$ with probability $1-O\bigl(N^{-(k-1)})$ the giant $(k_1,k_2)$-core exists and is $k$-strongly connected.

In this note we revisit the dart graph and the squared dart digraph constructions and prove that they yield strongly connected digraphs when applied to connected graphs of minimum valence at least 3.

By generalizing a recent result of Hong, Liu, and Lai on characterizing the degree-sequences of simple strongly connected directed graphs, a characterization is provided for degree-sequences of simple $k$-node-connected digraphs. More generally, we solve the directed node-connectivity augmentation problem when the augmented digraph is degree-specified and simple. As for edge-connectivity augmentation, we solve the special case when the edge-connectivity is to be increased by one and the augmenting digraph must be simple.