arXiv++ Combinatorics

We study the convergence of distributions on finite paths of weighted digraphs, namely the family of Boltzmann distributions and the sequence of uniform distributions. Targeting applications to the convergence of distributions on paths, we revisit some known results from reducible nonnegative matrix theory and obtain new ones, with a systematic use of tools from analytic combinatorics. In several fields of mathematics, computer science and system theory, including concurreny theory, one frequently faces non strongly connected weighted digraphs encoding the elements of combinatorial structures of interest; this motivates our study.

We consider two problems for a directed graph $G$, which we show to be closely related. The first one is to find $k$ edge-disjoint forests in $G$ of maximal size such that the indegree of each vertex in these forests is at most $k$. We describe a min-max characterization for this problem and show that it can be solved in $O(k δm \log n)$ time, where $(n,m)$ is the size of $G$ and $δ$ is the difference between $k$ and the edge connectivity of the graph. The second problem is the directed edge-connectivity augmentation problem, which has been extensively studied before: find a smallest set of directed edges whose addition to the graph makes it strongly $k$-connected. We improve the complexity for this problem from $O(k δ(m+δn)\log n)$ [Gabow, STOC 1994] to $O(k δm \log n)$, by exploiting our solution for the first problem. A similar approach with the same complexity also works for the undirected version of the problem.

Cohen et al. conjectured that for every oriented cycle $C$ there exist an integer $f(C)$ such that every strong $f(C)$-chromatic digraph contains a subdivision of $C$. El Joubbeh confirmed this conjecture for Hamiltonian digraphs. Indeed, he showed that every $3n$-chromatic Hamiltonian digraph contains a subdivision of every oriented cycle of order $n$. In this article, we improve this bound to $2n$. Furthermore, we show that, if $D$ is a digraph containing a Hamiltonian directed path with chromatic number at least $12n-5$, then $D$ contains a subdivision of every oriented cycle of order $n$. Note that a digraph containing a Hamiltonian directed path need not be strongly connected. Thus, our current result provides a deeper understanding of the condition that may be needed to fully solve the conjecture.

Erdős, Pach, Pollack, and Tuza [\textit{J. Combin. Theory Ser. B, 47(1) (1989), 73-79}] proved that the diameter of a connected $n$-vertex graph with minimum degree $δ$ is at most $\frac{3n}{δ+1}+O(1)$. The oriented diameter of an undirected graph $G$, denoted by $\overrightarrow{\text{diam}}(G)$, is the minimum diameter of a strongly connected orientation of $G$. Bau and Dankelmann [\textit{European J. Combin., 49 (2015), 126-133}] showed that for every bridgeless $n$-vertex graph $G$ with minimum degree $δ$, $\overrightarrow{\text{diam}}(G) \leq \frac{11n}{δ+1}+9$. They also showed an infinite family of graphs with oriented diameter at least $\frac{3n}{δ+1} + O(1)$ and posed the problem of determining the smallest possible value $c$ for which $\overrightarrow{\text{diam}}(G) \leq c \cdot\frac{3n}{δ+1}+O(1)$ holds. In this paper, we show that the smallest value $c$ such that the upper bound above holds for all $δ\geq 2$ is $1$, which is best possible.

Understanding efficient modifications to improve network functionality is a fundamental problem of scientific and industrial interest. We study the response of network dynamics against link modifications on a weakly connected directed graph consisting of two strongly connected components: an undirected star and an undirected cycle. We assume that there are directed edges starting from the cycle and ending at the star (master-slave formalism). We modify the graph by adding directed edges of arbitrarily large weights starting from the star and ending at the cycle (opposite direction of the cutset). We provide criteria (based on the sizes of the star and cycle, the coupling structure, and the weights of cutset and modification edges) that determine how the modification affects the spectral gap of the Laplacian matrix. We apply our approach to understand the modifications that either enhance or hinder synchronization in networks of chaotic Lorenz systems as well as Rössler. Our results show that the hindrance of collective dynamics due to link additions is not atypical as previously anticipated by modification analysis and thus allows for better control of collective properties.

In this paper, we first give a new result characterizing the strongly connected digraphs with a diameter equal to that of their line digraphs. Then, we introduce the concepts of the inner diameter and inner radius of a digraph and study their behaviors in its iterated line digraphs. Furthermore, we provide a method to characterize sequences of integers (corresponding to the inner diameter or the number of vertices of a digraph and its iterated line digraphs) that satisfy some conditions. Among other examples, we apply the method to the cyclic Kautz digraphs, square-free digraphs, and the subdigraphs of De Bruijn digraphs. Finally, we present some tables with new sequences that do not belong to The On-Line Encyclopedia of Integer Sequences.

The period of a strongly connected digraph is the greatest common divisor of the lengths of all its cycles. The period of a digraph is the least common multiple of the periods of its strongly connected components. These notions play an important role in the theory of Markov chains and the analysis of powers of nonnegative matrices. While the time complexity of computing the period is well-understood, little is known about its space complexity. We show that the problem of computing the period of a digraph is NL-complete, even if all its cycles are contained in the same strongly connected component. However, if the digraph is strongly connected, we show that this problem becomes L-complete. For primitive digraphs (that is, strongly connected digraphs of period one), there always exists a number $m$ such that there is a path of length exactly $m$ between every two vertices. We show that computing the smallest such $m$, called the exponent of a digraph, is NL-complete. The exponent of a primitive digraph is a particular case of the index of convergence of a nonnegative matrix, which we also show to be computable in NL, and thus NL-complete.

We focus on strongly connected, strong for short, digraphs since in this setting distance is defined for every pair of vertices. Distance ideals generalize the spectrum and Smith normal form of several distance matrices associated with strong digraphs. We introduce the concept of pattern which allow us to characterize the family $Γ_1$ of digraphs with only one trivial distance ideal over ${\mathbb Z}$. This result generalizes an analogous result for undirected graphs that states that connected graphs with one trivial ideal over $\mathbb{Z}$ consists of either complete graphs or complete bipartite graphs. It turns out that the strong digraphs in $Γ_1$ consists in the circuit with 3 vertices and a family $Λ$ of strong digraphs that contains complete graphs and complete bipartite graphs, regarded as digraphs. We also compute all distance ideals of some strong digraphs in the family $Λ$. Then, we explore circuits, which turn out to be an infinite family of minimal forbidden digraphs, as induced subdigraphs, for the strong digraphs in $Γ_1$. This suggests that a characterization of $Γ_1$ in terms of forbidden induced subdigraphs is harder than using patterns.

In 1992, Bitar and Goles introduced the parallel chip-firing game on undirected graphs. Two years later, Prisner extended the game to directed graphs. While the properties of parallel chip-firing games on undirected graphs have been extensively studied, their analogs for parallel chip-firing games on directed graphs have been sporadic. In this paper, we prove the outstanding analogs of the core results of parallel chip-firing games on undirected graphs for those on directed graphs. We find the possible periods of a parallel chip-firing game on a directed simple cycle and introduce the method of Gauss-Jordan elimination on a Laplacian-like matrix to establish a lower bound on the maximum period of a parallel chip-firing game on an orientation of an undirected complete graph and an undirected complete bipartite graph. Finally, we expand the method of motors by Jiang, Scully, and Zhang to directed graphs to show that a binary string $s$ can be the atomic firing sequence of a vertex in a parallel chip-firing game on a strongly connected directed graph if and only if $s$ contains $1$ or $s=0$.

We consider zero-sum games in which players move between adjacent states, where in each pair of adjacent states one state dominates the other. The states in our game can represent positional advantages in physical conflict such as high ground or camouflage, or product characteristics that lend an advantage over competing sellers in a duopoly. We study the equilibria of the game as a function of the topological and geometric properties of the underlying graph. Our main result characterizes the expected payoff of both players starting from any initial position, under the assumption that the graph does not contain certain types of small cycles. This characterization leverages the block-cut tree of the graph, a construction that describes the topology of the biconnected components of the graph. We identify three natural types of (on-path) pure equilibria, and characterize when these equilibria exist under the above assumptions. On the geometric side, we show that strongly connected outerplanar graphs with undirected girth at least 4 always support some of these types of on-path pure equilibria. Finally, we show that a data structure describing all pure equilibria can be efficiently computed for these games.

If taken seriously, the advice in the title leads to interesting combinatorics. Consider $N$ people moving between $M$ rooms as follows: at each step, simultaneously, the smartest person in each room moves to a different room of their choice, while no one else moves. The process repeats. In this paper we determine which configurations are reachable, from which other configurations, and provide bounds on the number of moves. Namely, let $G(N,M)$ be the directed graph with vertices representing all $M^N$ configurations and edges representing possible moves. We prove that the graph $G(N,M)$ is weakly connected, and that it is strongly connected if and only if $M\geq N+1$ (one extra room for maneuvering is both required and sufficient). For $M\leq N$, we show that the graph has a giant strongly connected component with $Θ(M^N)$ vertices and diameter $\mathcal O(N^2)$.

A graph is trivial if it contains one vertex and no edges. The essential connectivity $κ^{\prime}$ of $G$ is defined to be the minimum number of vertices of $G$ whose removal produces a disconnected graph with at least two non-trivial components. Let $\mathcal{A}_n^{κ',δ}$ be the set of graphs of order $n$ with minimum degree $δ$ and essential connectivity $κ'$. In this paper, we determine the graphs attaining the maximum spectral radii among all graphs in $\mathcal{A}_n^{κ',δ}$ and characterize the corresponding extremal graphs. In addition, we also determine the digraphs which achieve the maximum spectral radii among all strongly connected digraphs with given essential connectivity and give the exact values of the spectral radii of these digraphs.

The star-comb lemma is a standard tool in infinite graph theory, which states that for every infinite set $U$ of vertices in a connected graph $G$ there exists either a subdivided infinite star in $G$ with all leaves in $U$, or an infinite comb in $G$ with all teeth in $U$. In this paper, we elaborate a counterpart of the star-comb lemma for directed graphs. More precisely, we prove that for every infinite set $U$ of vertices in a strongly connected directed graph $D$, there exists a strongly connected butterfly minor of $D$ with infinitely many teeth in $U$ that is either shaped by a star or shaped by a comb, or is a chain of triangles.

It is well-known that for every set $U$ of vertices in a connected graph $G$ there is either a subdivided star in $G$ with a large number of leaves in $U$, or a comb in $G$ with a large number of teeth in $U$. In this paper we extend this property to directed graphs. More precisely, we prove that for every $n \in \mathbb{N}$ and every sufficiently large set $U$ of vertices in a strongly connected directed graph $D$, there exists a strongly connected butterfly minor of $D$ with $n$ teeth in $U$ that is either shaped by a star or shaped by a comb.

A given subset $A$ of natural numbers is said to be complete if every element of $\N$ is the sum of distinct terms taken from $A$. This topic is strongly connected to the knapsack problem which is known to be NP complete. The main goal of the paper is to study the structure of subset sums in a higher dimension. We show 'dense' sets and generalized arithmetic progrssions in subset sums of certain sets.

Finding a minimum-weight strongly connected spanning subgraph of an edge-weighted directed graph is equivalent to the weighted version of the well-known strong connectivity augmentation problem. This problem is NP-hard, and a simple $2$-approximation algorithm was proposed by Frederickson and Jájá (1981); surprisingly, it still achieves the best known approximation ratio in general. Also, Bang-Jensen and Yeo (2008) showed that the unweighted problem is FPT (fixed-parameter tractable) parameterized by the difference from a trivial upper bound of the optimal value. In this paper, we consider a generalization related to the Dulmage--Mendelsohn decompositions of bipartite graphs instead of the strong connectivity of directed graphs, and extend these approximation and FPT results to the generalized setting.

Let $Γ=Γ(A)$ denote a simple strongly connected digraph with vertex set $X$, diameter $D$, and let $\{A_0,A:=A_1,A_2,\ldots,A_D\}$ denote the set of distance-$i$ matrices of $Γ$. Let $\{R_i\}_{i=0}^D$ denote a partition of $X\times X$, where $R_i=\{(x,y)\in X\times X\mid (A_i)_{xy}=1\}$ $(0\le i\le D)$. The digraph $Γ$ is distance-regular if and only if $(X,\{R_i\}_{i=0}^D)$ is a commutative association scheme. In this paper, we describe the combinatorial structure of $Γ$ in the sense of equitable partition, and from it we derive several new algebraic characterizations of such a graph, including the spectral excess theorem for distance-regular digraph. Along the way, we also rediscover all well-known algebraic characterizations of such graphs.

Let $T$ be a tournament of odd order $n\ge 5,$ $c_{m}(T)$ be the number of its $m$-cycles, and $s_{m}(T)$ be the number of its strongly connected $m$-subtournaments. Due to work of L.W. Beineke and F. Harary, it is well known that $s_{m}(T)\le s_{m}(RLT_{n}),$ where $RLT_{n}$ is the regular locally transitive tournament of order $n.$ For $m=3$ and $m=4,$ $c_{m}(T)$ equals $s_{m}(T),$ but it is not so for $m\ge 5.$ As J.W. Moon pointed out in his note in 1966, the problem of determining the maximum of $c_{m}(T)$ seems very difficult in general (i.e. for $m\ge 5$). In the present paper, based on the Komarov-Mackey formula for $c_{5}(T)$ obtained recently, we prove that $c_{5}(T)\le (n+1)n(n-1)(n-2)(n-3)/160$ with equality holding iff $T$ is doubly regular. A formula for $s_{5}(T)$ is also deduced. With the use of it, we show that $s_{5}(T)\le (n+1)n(n-1)(n-3)(11n-47)/1920$ with equality holding iff $T=RLT_{n}$ or $n=7$ and $T$ is regular or $n=5$ and $T$ is strong. It is also proved that for a regular tournament $T$ of (odd) order $n\ge 9,$ a lower bound $(n+1)n(n-1)(n-3)(17n-59)/3840\le s_{5}(T)$ holds with equality iff $T$ is doubly regular. These results are compared with the ones recently obtained by the author for $c_{5}(T).$

We examine the capacity of the complementarity spectrum to distinguish non-isomorphic digraphs. We focus on the seven families with exactly three complementarity eigenvalues. Our findings reveal that in some, but not all families, any two non-isomorphic members have different complementarity spectrum. Complementarity eigenvalues outperform traditional eigenvalues in the task of identifying graphs. Indeed, the question of whether graphs are uniquely determined by their complementarity spectrum remains unresolved, highlighting the significance of this tool in graph theory. Moreover, since the complementarity spectrum of a digraph was characterized as the set of spectral radii of the induced strongly connected subdigraphs, the results of this study provides useful structural information for important families of digraphs.

We call a partition of a $c$-partite tournament into tournaments of order $c$ is strong if each tournament is strongly connected. The strong partition number denoted as $ST(r)$, represents the minimum integer $c'$ such that every regular $r$-balanced $c$-partite tournament has a strong partition with $c\geq c'$. Figueroa, Montellano-Ballesteros and Olsen showed the existence of $ST(r)$ for all $r\geq 2$ and proved that $5\leq ST(2)\leq 7$. In this note, we establish that $ST(2)=6$ and we also show the unique $2$-balanced $5$-partite tournament which has no strong partition.