arXiv++ Combinatorics

We provide a new decomposition of the Laplacian matrix (for labeled directed graphs with strongly connected components), involving an invertible $\textit{core matrix}$, the vector of tree constants, and the incidence matrix of an auxiliary graph, representing an order on the vertices. Depending on the particular order, the core matrix has additional properties. Our results are graph-theoretic/algebraic in nature. As a first application, we further clarify the binomial structure of (weakly reversible) mass-action systems, arising from chemical reaction networks. Second, we extend a classical result by Horn and Jackson on the asymptotic stability of special steady states (complex-balanced equilibria). Here, the new decomposition of the graph Laplacian allows us to consider regions in the positive orthant with given $\textit{monomial evaluation orders}$ (and corresponding polyhedral cones in logarithmic coordinates). As it turns out, all dynamical systems are asymptotically stable that can be embedded in certain $\textit{binomial differential inclusions}$. In particular, this holds for complex-balanced mass-action systems, and hence we also obtain a polyhedral-geometry proof of the classical result.

For a shift-invariant weighted directed graph with vertex set $\mathbb{Z}$, we examine the minimal weight $κ_0$ exiting a finite, strongly connected set of vertices. Although $κ_0$ is defined as an infimum, it has been shown that the infimum is always attained by an actual set of vertices. We show that for each underlying directed graph (prior to assignment of the weights), there is a formula for $κ_0$ as a minimum of finitely many integer combinations of the edge weights. We find this formula for several different directed graphs. Motivation for this problem comes from random walks in Dirichlet environments (equivalently, directed edge reinforced random walks), where the size of $κ_0$ has been shown to determine the strength of finite traps where the walk can get stuck for a long time.

The diameter of a strongly connected $d$-dimensional simplicial complex is the diameter of its dual graph. We provide a probabilistic proof of the existence of $d$-dimensional simplicial complexes with diameter $ (\frac{1}{d \cdot d!} - (\log n)^{-ε}) n^d$. Up to the first order term, this is the best possible lower bound for the maximum diameter of a $d$-complex on $n$ vertices as a simple volume argument shows that the diameter of a $d$-dimensional simplicial complex is at most $ \frac{1}{d} \binom{n}{d}$. We also find the right first-order asymptotics for the maximum diameter of a $d$-pseudomanifold on $n$ vertices.

Let $D=(V,A)$ be a digraph and $\mathfrak{S}$ a partition of $V(D)$. We say that $\mathfrak{S}$ is a strong in-domatic partition if every $S$ in $\mathfrak{S}$ holds that every vertex not in $S$ has at least one out-neighbor in $S$, that is $S$ is an in-dominating set, and $D\langle S \rangle$ is strongly connected. The maximum number of elements in a strong in-domatic partition is called the strong in-domatic number of $D$ and it is denoted by $\mathsf{d}_{s}^{-}(D)$. In this paper we introduce those concepts and determine the value of $\mathsf{d}_{s}^{-}$ for semicomplete digraphs and planar digraphs. We show some structural properties of digraphs which have a strong in-domatic partition and we see some bounds for $\mathsf{d}_{s}^{-}(D)$. Then we study this concept in the Cartesian product, composition, line digraph and other associated digraphs. In addition, we characterize strong in-domatic critical digraphs and we give two families strong in-domatic critical digraphs which hold some properties, where a strong in-domatic critical digraph $D$ holds that $\mathsf{d}_{s}^{-}(D-e) = \mathsf{d}_{s}^{-}(D) -1 $ for every $e$ in $A(D)$.

The {\em asynchronous automaton} associated with a Boolean network $f:\{0,1\}^n\to\{0,1\}^n$, considered in many applications, is the finite deterministic automaton where the set of states is $\{0,1\}^n$, the alphabet is $[n]$, and the action of letter $i$ on a state $x$ consists in either switching the $i$th component if $f_i(x)\neq x_i$ or doing nothing otherwise. These actions are extended to words in the natural way. A word is then {\em synchronizing} if the result of its action is the same for every state. In this paper, we ask for the existence of synchronizing words, and their minimal length, for a basic class of Boolean networks called and-or-nets: given an arc-signed digraph $G$ on $[n]$, we say that $f$ is an {\em and-or-net} on $G$ if, for every $i\in [n]$, there is $a$ such that, for all state $x$, $f_i(x)=a$ if and only if $x_j=a$ ($x_j\neq a$) for every positive (negative) arc from $j$ to $i$; so if $a=1$ ($a=0$) then $f_i$ is a conjunction (disjunction) of positive or negative literals. Our main result is that if $G$ is strongly connected and has no positive cycles, then either every and-or-net on $G$ has a synchronizing word of length at most $10(\sqrt{5}+1)^n$, much smaller than the bound $(2^n-1)^2$ given by the well known Černý's conjecture, or $G$ is a cycle and no and-or-net on $G$ has a synchronizing word. This contrasts with the following complexity result: it is coNP-hard to decide if every and-or-net on $G$ has a synchronizing word, even if $G$ is strongly connected or has no positive cycles.

A 2010 result of Amini provides a way to extract information about the structure of the graph from the geometry of the Voronoi polytope of the lattice of integer flows (which determines the graph up to two-isomorphism). Specifically, Amini shows that the face poset of the Voronoi polytope is isomorphic to the poset of strongly connected orientations of subgraphs. This answers a question raised by Caporaso and Viviani, and Amini also proves a dual result for integer cuts. In this paper we generalise Amini's result to regular matroids; in this context the theorem for integer cuts becomes a direct consequence of the theorem for integer flows, by making duality explicit as matroid duality.

An arc-colored tournament is said to be $k$-spanning for an integer $k\geq 1$ if the union of its arc-color classes of maximal valency at most $k$ is the arc set of a strongly connected digraph. It is proved that isomorphism testing of $k$-spanning tournaments is fixed-parameter tractable.

Let $D = (V, E)$ be a strongly connected and balanced digraph with vertex set $V$ and arc set $E.$ The classical distance $d_{ij}^D$ from $i$ to $j$ in $D$ is the length of a shortest directed path from $i$ to $j$ in $D.$ Let $L$ be the Laplacian matrix of $D$ and $ L^{\dagger} = ( l_{ij}^{\dagger} )$ be the Moore-Penrose inverse of $L.$ The resistance distance from $i$ to $j$ is then defined by $r_{ij}^D := l_{ii}^{\dagger } + l_{jj}^{\dagger } - 2 l_{ij}^{\dagger }.$ Let $\{ D_1, D_2, ...., D_k \}$ be a sequence of strongly connected balanced digraphs with $D_i \cap D_j$ having at most one vertex in common for all $i \neq j$ and with $r_{ij}^{D_t} \leq d_{ij}^{D_t} \ \forall \ t = 1 \ \mathrm{to} \ k.$ Let $\mathcal{C}$ be a collection of connected, balanced digraphs, each member of which is a finite union of the form $D_1 \cup D_2 \cup ....\cup D_k$ where each $D_i$ is a connected and balanced digraph with $D_{i} \cap ( D_1 \cup D_2 \cup ....\cup D_{i-1} )$ being a single vertex, for all $i,$ $1 < i \leq k.$ In this paper, we show that for any digraph $D$ in $\mathcal{C}$, $r_{ij}^D \leq d_{ij}^D \ (*)$. This is established by partitioning the Laplacian matrix of $D$. This generalizes the main result in [3]. As a corollary, we deduce a simpler proof of the result in [3], namely, that for any directed cactus $D$, the inequality (*) holds. Our results provide an affirmative answer to a well known interesting conjecture ( cf : Conjecture 1.3 ).

We study the behaviour of the largest components of the directed configuration model in the barely subcritical regime. We show that with high probability all strongly connected components in this regime are either cycles or isolated vertices and give an asymptotic distribution of the size of the $k$th largest cycle. This gives a configuration model analogue of a result of Łuczak and Seierstad for the binomial random digraph.

We consider two possible extensions of a theorem of Thomassen characterizing the graphs admitting a 2-vertex-connected orientation. First, we show that the problem of deciding whether a mixed graph has a 2-vertex-connected orientation is NP-hard. This answers a question of Bang-Jensen, Huang and Zhu. For the second part, we call a directed graph $D=(V,A)$ $2T$-connected for some $T \subseteq V$ if $D$ is 2-arc-connected and $D-v$ is strongly connected for all $v \in T$. We deduce a characterization of the graphs admitting a $2T$-connected orientation from the theorem of Thomassen.

Given a digraph D, the complementarity spectrum of the digraph is defined as the set of complementarity eigenvalues of its adjacency matrix. This complementarity spectrum has been shown to be useful in several fields, particularly in spectral graph theory. The differences between the properties of the complementarity spectrum for (undirected) graphs and for digraphs, makes the study of the latter of particular interest, and characterizing strongly connected digraphs with a small number of complementarity eigenvalues is a non trivial problem. Recently, strongly connected digraphs with one and two complementarity eigenvalues have been completely characterized. In this paper we study strongly connected digraphs with exactly three elements in the complementarity spectrum, ending with a complete characterization. This leads to a structural characterization of general digraphs having three complementarity eigenvalues.

Expanders are sparse graph that are strongly connected, where {\it connectivity} is quantified using eigenvalues of the adjacency matrix, and {\it sparsity} in terms of vertex valency. We give a model of random graphs and study their connectivity and sparsity. This model is a particular case of soft geometric random graphs, and allows to construct sparse graphs with good expansion properties, as well as highly clustered ones. On those graphs, we study the speed at which random walks spread in the graph, and visit all vertices. As an illustration, we build a model for mainland France and study the spread of random walks under several types of lockdown. Our experiments show that completely closing medium and long distance travel to slow down the spread of a random walk is more efficient than than local restrictions.

We consider finite $n$-person deterministic graphical (DG) games. These games are modelled by finite directed graphs (digraphs) $G$ which may have directed cycles and, hence, infinite plays. Yet, it is assumed that all these plays are equivalent and form a single outcome $c$, while the terminal vertices $V_T = \{a_1, \ldots, a_p\}$ form $p$ remaining outcomes. We study the existence of Nash equilibria (NE) in pure stationary strategies. It is known that NE exist when $n=2$ and may fail to exist when $n > 2$. Yet, the question becomes open for $n > 2$ under the following extra condition: (C) For each of $n$ players, $c$ is worse than each of $p$ terminal outcomes. In other words, all players are interested in terminating the play, which is a natural assumption. Moreover, Nash-solvability remains open even if we replace (C) by a weaker condition: (C22) There exist no two players for whom $c$ is better than (at least) two terminal outcomes. We conjecture that such two players exist in each NE-free DG game, or in other words, that (C22) implies Nash-solvability, for all $n$. Recently, the DG games were extended to a wider class of the DG multi-stage (DGMS) games, whose outcomes are the strongly connected components (SCC) of digraph $G$. Merging all outcomes of a DGMS game that correspond to its non-terminal SCCs we obtain a DG game. Clearly, this operation respects Nash-solvability (NS). Basic conditions and conjectures related to NS can be extended from the DG to DGMS games: in both cases NE exist if $n=2$ and may fail to exist when $n > 2$; furthermore, we modify conditions (C) and (C22) to adapt them for the DGMS games. Keywords: $n$-person deterministic graphical (multi-stage) games, Nash equilibrium, Nash-solvability, pure stationary strategy, digraph, directed cycle, strongly connected component.

Let $G$ be a connected graph with $V(G)=\{1,\dotsc,n\}$. Then the resistance distance between any two vertices $i$ and $j$ is given by $r_{ij}:=l_{ii}^† + l_{jj}^†-2 l_{ij}^†$, where $l_{ij}^†$ is the $(i,j)^{\rm th}$ entry of the Moore-Penrose inverse of the Laplacian matrix of $G$. For the resistance matrix $R:=[r_{ij}]$, there is an elegant formula to compute the inverse of $R$. This says that \[R^{-1}=-\frac{1}{2}L + \frac{1}{τ' R τ} ττ', \] where \[τ:=(τ_1,\dotsc,τ_n)'~~\mbox{and}~~ τ_{i}:=2- \sum_{\{j \in V(G):(i,j) \in E(G)\}} r_{ij}~~~i=1,\dotsc,n. \] A far reaching generalization of this result that gives an inverse formula for a generalized resistance matrix of a strongly connected and matrix weighted balanced directed graph is obtained in this paper. When the weights are scalars, it is shown that the generalized resistance is a non-negative real number. We also obtain a perturbation result involving resistance matrices of connected graphs and Laplacians of digraphs.

A \emph{signed graph} $(G, σ)$ is a graph $G$ together with an assignment $σ:E(G) \rightarrow \{+,-\}$. The notion of homomorphisms of signed graphs is a relatively new development which allows to strengthen the connection between the theories of minors and colorings of graphs. Following this thread of thoughts, we investigate this connection through the notion of Extended Double Covers of signed graphs, which was recently introduced by Naserasr, Sopena and Zaslavsky. More precisely, we say that a signed graph $(B, π)$ is planar-complete if any planar signed graph $(G, σ)$ which verifies the conditions of a basic no-homomorphism lemma with respect to $(B,π)$ admits a homomorphism to $(B, π)$. Our conjecture then is that: if $(B, π)$ is a connected signed graph with no positive odd closed walk which is planar-complete, then its Extended Double Cover ${\rm EDC}(B,π)$ is also planar-complete. We observe that this conjecture largely extends the Four-Color Theorem and is strongly connected to a number of conjectures in extension of this famous theorem. A given (signed) graph $(B,π)$ \emph{bounds} a class of (signed) graphs if every (signed) graph in the class admits a homomorphism to $(B,π)$. In this work, and in support of our conjecture, we prove it for the subclass of signed $K_4$-minor free graphs. Inspired by this development, we then investigate the problem of finding optimal homomorphism bounds for subclasses of signed $K_4$-minor-free graphs with restrictions on their girth and we present nearly optimal solutions. Our work furthermore leads to the development of weighted signed graphs.

Taking Shapiro's cyclic sums $\sum_{i=1}^n x_i/(x_{i+1}+x_{i+2})$ (assuming index addition mod $n$) as a starting point, we introduce a broader class of cyclic sums, called generalized Shapiro-Diananda sums, where the denominators are $p$-th order power means of the sets $\{x_{i+j_1},\dots,x_{i+j_k}\}$ with fixed distinct integers $j_1,\dots,j_k$ and $1\leq i\leq n$. Generalizing further, we replace the set of arguments of the power mean in the $i$-th denominator by an arbitrary nonempty subset of $\{1,\dots,n\}$ interpreted as the set of out-neighbors of the node number $i$ in a directed graph with $n$ nodes. We call such sums graphic power sums since their structure is controlled by directed graphs. The inquiry, as in the well-researched case of Shapiro's sums, concerns the greatest lower bound of the given ``sum'' as a function of positive variables $x_1,\dots,x_n$. We show that the cases of $p=+\infty$ (max-sums) and $p=-\infty$ (min-sums) are tractable. For the max-sum associated with a given graph the g.l.b. is always an integer; for a strongly connected graph it equals to graph's girth. For the similar min-sum, we could not relate the g.l.b. to a known combinatorial invariant; we only give some estimates and describe a method for finding the g.l.b., which has factorial complexity in $n$. A satisfactory analytical treatment is available for the secondary minimization -- when the g.l.b.'s of min-sums for individual graphs are mininized over the class of strongly connected graphs with $n$ nodes. The result (depending only on $n$) is found to be asymptotic to $e\ln n$.

We consider the strongly connected components (SCCs) of a uniform directed graph on $n$ vertices with i.i.d. in- and out-degree pairs distributed as $(D^-,D^+)$, with $\mathbb E[D^+]=\mathbb E[D^-]=μ$. We condition on equal total in- and out-degree. A phase transition for the emergence of a giant SCC is known to occur at the critical value $\mathbb E[D^-D^+] = μ$. We study the model at this critical value and, additionally, require that $\mathbb E[(D^-)^i(D^+)^j]<\infty$ for all $i+j\leq 3$, and for $(i,j)=(1,3)$ and $(i,j)=(3,1)$. We show that, under these conditions, the SCCs ranked by decreasing number of edges with distances rescaled by $n^{-1/3}$ converge in distribution to a sequence of finite strongly connected directed multigraphs with edge lengths, and that these are either $3$-regular or loops. The limit objects lie in a $3$-parameter family, which contains the scaling limit of the SCCs in the directed Erdős-Rényi model at criticality as found by Goldschmidt and Stephenson (2019). This is the first universality result for the scaling limit of a critical directed graph model and the first quantitative result on the directed configuration model at criticality. As a trivial consequence, the largest SCCs at criticality contain $Θ(n^{1/3})$ vertices and edges in probability, and the diameter of the directed graph at criticality is $Ω(n^{1/3})$ in probability. We use a metric on the space of weighted multigraphs in which two multigraphs are close if there are compatible isomorphisms between their vertex and edge sets which roughly preserve the edge lengths. We use the product topology on the sequence of multigraphs. Our method of proof involves a depth-first exploration of the directed graph, resulting in a spanning forest with additional identifications, of which we study the limit under rescaling.

Let $G$ be a digraph with adjacency matrix $A(G)$. Let $D(G)$ be the diagonal matrix with outdegrees of vertices of $G$. Nikiforov \cite{Niki} proposed to study the convex combinations of the adjacency matrix and diagonal matrix of the degrees of undirected graphs. Liu et al. \cite{LWCL} extended the definition to digraphs. For any real $α\in[0,1]$, the matrix $A_α(G)$ of a digraph $G$ is defined as $$A_α(G)=αD(G)+(1-α)A(G).$$ The largest modulus of the eigenvalues of $A_α(G)$ is called the $A_α$ spectral radius of $G$, denoted by $λ_α(G)$. This paper proves some extremal results about the spectral radius $λ_α(G)$ that generalize previous results about $λ_0(G)$ and $λ_{\frac{1}{2}}(G)$. In particular, we characterize the extremal digraph with the maximum (or minimum) $A_α$ spectral radius among all $\widetilde{\infty}$-digraphs and $\widetildeθ$-digraphs on $n$ vertices. Furthermore, we determine the digraphs with the second and the third minimum $A_α$ spectral radius among all strongly connected bicyclic digraphs. For $0\leqα\leq\frac{1}{2}$, we also determine the digraphs with the second, the third and the fourth minimum $A_α$ spectral radius among all strongly connected digraphs on $n$ vertices. Finally, we characterize the digraph with the minimum $A_α$ spectral radius among all strongly connected bipartite digraphs which contain a complete bipartite subdigraph.

Let $D$ be an oriented graph. The inversion of a set $X$ of vertices in $D$ consists in reversing the direction of all arcs with both ends in $X$. The inversion number of $D$, denoted by ${\rm inv}(D)$, is the minimum number of inversions needed to make $D$ acyclic. Denoting by $τ(D)$, $τ' (D)$, and $ν(D)$ the cycle transversal number, the cycle arc-transversal number and the cycle packing number of $D$ respectively, one shows that ${\rm inv}(D) \leq τ' (D)$, ${\rm inv}(D) \leq 2τ(D)$ and there exists a function $g$ such that ${\rm inv}(D)\leq g(ν(D))$. We conjecture that for any two oriented graphs $L$ and $R$, ${\rm inv}(L\rightarrow R) ={\rm inv}(L) +{\rm inv}(R)$ where $L\rightarrow R$ is the dijoin of $L$ and $R$. This would imply that the first two inequalities are tight. We prove this conjecture when ${\rm inv}(L)\leq 1$ and ${\rm inv}(R)\leq 2$ and when ${\rm inv}(L) ={\rm inv}(R)=2$ and $L$ and $R$ are strongly connected. We also show that the function $g$ of the third inequality satisfies $g(1)\leq 4$. We then consider the complexity of deciding whether ${\rm inv}(D)\leq k$ for a given oriented graph $D$. We show that it is NP-complete for $k=1$, which together with the above conjecture would imply that it is NP-complete for every $k$. This contrasts with a result of Belkhechine et al. which states that deciding whether ${\rm inv}(T)\leq k$ for a given tournament $T$ is polynomial-time solvable.

In this paper, we characterize the extremal digraphs with the maximal or minimal $α$-spectral radius among some digraph classes such as rose digraphs, generalized theta digraphs and tri-ring digraphs with given size $m$. These digraph classes are denoted by $\mathcal{R}_{m}^k$, $\widetilde{\boldsymbolΘ}_k(m)$ and $\INF(m)$ respectively. The main results about spectral extremal digraph by Guo and Liu in \cite{MR2954483} and Li and Wang in \cite{MR3777498} are generalized to $α$-spectral graph theory. As a by-product of our main results, an open problem in \cite{MR3777498} is answered. Furthermore, we determine the digraphs with the first three minimal $α$-spectral radius among all strongly connected digraphs. Meanwhile, we determine the unique digraph with the fourth minimal $α$-spectral radius among all strongly connected digraphs for $0\le α\le \frac{1}{2}$.