arXiv++ Combinatorics

It is well-known and easy to show that even the following version of the directed travelling salesman problem is NP-complete: Given a strongly connected complete digraph $D=(V,A)$, a cost function $w: A\rightarrow \{0,1\}$ and a natural number $K$; decide whether $D$ has a directed Hamiltonian cycle of cost at most $K$. We study the following variant of this problem for $\{0,1\}$-weighted semicomplete digraphs where the set of arcs which have cost 1 form a collection of vertex-disjoint complete digraphs. A digraph is \textbf{semicomplete multipartite} if it can be obtained from a semicomplete digraph $D$ by choosing a collection of vertex-disjoint subsets $X_1,\ldots{},X_c$ of $V(D)$ and then deleting all arcs both of whose end-vertices lie inside some $X_i$. Let $D$ be a semicomplete digraph with a cost function $w$ as above, where $w(a)=1$ precisely when $a$ is an arc inside one of the subsets $X_1,\ldots{},X_c$ and let $D^*$ be the corresponding \smd{} that we obtain by deleting all arcs inside the $X_i$'s. Then every cycle $C$ of $D$ corresponds to a {\bf generalized cycle} $C^g$ of $D^*$ which is either the cycle $C$ itself if $w(C)=0$ or a collection of two or more paths that we obtain by deleting all arcs of cost 1 on $C$. Similarly we can define a {\bf generalized path} $P^g$ in a semicomplete multipartite digraph. The purpose of this paper is to study structural and algorithmic properties of generalized paths and cycles in semicomplete multipartite digraphs. This allows us to identify classes of directed $\{0,1\}$-weighted TSP instances that can be solved in polynomial time as well as others for which we can get very close to the optimum in polynomial time. Along with these results we also show that two natural questions about properties of cycles meeting all partite sets in semicomplete multipartite digraphs are NP-complete.

Let $Γ$ denote a finite (strongly) connected regular (di)graph with adjacency matrix $A$. The {\em Hoffman polynomial} $h(t)$ of $Γ=Γ(A)$ is the unique polynomial of smallest degree satisfying $h(A)=J$, where $J$ denotes the all-ones matrix. Let $X$ denote a nonempty finite set. A nonnegative matrix $B\in{\mbox{Mat}}_X({\mathbb R})$ is called {\em $λ$-doubly stochastic} if $\sum_{z\in X} (B)_{yz}=\sum_{z\in X} (B)_{zy}=λ$ for each $y\in X$. In this paper we first show that there exists a polynomial $h(t)$ such that $h(B)=J$ if and only if $B$ is a $λ$-doubly stochastic irreducible matrix. This result allows us to define the Hoffman polynomial of a $λ$-doubly stochastic irreducible matrix. Now, let $B\in{\mbox{Mat}}_X({\mathbb R})$ denote a normal irreducible nonnegative matrix, and ${\cal B}=\{p(B)\mid p\in{\mathbb{C}}[t]\}$ denote the vector space over ${\mathbb{C}}$ of all polynomials in $B$. Let us define a $01$-matrix $\widehat{A}$ in the following way: $(\widehat{A})_{xy}=1$ if and only if $(B)_{xy}>0$ $(x,y\in X)$. Let $Γ=Γ(\widehat{A})$ denote a (di)graph with adjacency matrix $\widehat{A}$, diameter $D$, and let $A_D$ denote the distance-$D$ matrix of $Γ$. We show that ${\cal B}$ is the Bose--Mesner algebra of a commutative $D$-class association scheme if and only if $B$ is a normal $λ$-doubly stochastic matrix with $D+1$ distinct eigenvalues and $A_D$ is a polynomial in $B$.

A digraph is strongly connected if it has a directed path from $x$ to $y$ for every ordered pair of distinct vertices $x, y$ and it is strongly $k$-connected if it has at least $k+1$ vertices and remains strongly connected when we delete any set of at most $k-1$ vertices. For a digraph $D$, we use $δ(D)$ to denote $\mathop{\text{min}}\limits_{v\in V (D)} {|N_D^+(v)\cup N_D^-(v)|}$. In this paper, we show the following result. Let $k, l, n, n_1, n_2 \in \mathbb{N}$ with $n_1+n_2\leq n$ and $n_1,n_2\geq n/20$. Suppose that $D$ is a strongly $10^7k(k+l)^2\log(2kl$)-connected digraph of order $n$ with $δ(D)\geq n-l$. Then there exist two disjoint subsets $V_1, V_2\in V(D)$ with $|V_1| = n_1$ and $|V_2| = n_2$ such that each of $D[V_1]$, $D[V_2]$, and $D[V_1, V_2]$ is strongly $k$-connected. In particular, $V_1$ and $V_2$ form a partition of $V(D)$ when $n_1+n_2=n$. This result improves the earlier result of Kim, Kühn, and Osthus [SIAM J. Discrete Math. 30 (2016) 895--911].

Azuma et al. showed that strongly connected digraph without doubly bidirectionally connected pair is cactus-expandable. We show the converse; namely, If a digraph has a doubly bidirectionally connected pair, then its expansion cannot be cactus.

Combining Carver's variant of the Farkas' lemma with the Flow Decomposition Theorem we show that the regions of any deformation of a graphical arrangement may be bijectively labeled with a set of weighted digraphs containing directed cycles of negative weight only. Bounded regions correspond to strongly connected digraphs. The study of the resulting labelings allows us to add the omitted details in Stanley's proof on the injectivity of the Pak-Stanley labeling of the regions of the extended Shi arrangement, to generalize the ceiling diagrams in the deleted Shi and Ish arrangements studied by Armstrong and Rhoades and to introduce a new labeling of the regions in the Fuss-Catalan arrangement. We also point out that Athanasiadis-Linusson labelings may be used to directly count regions in a class of arrangements properly containing the extended Shi arrangement and the Fuss-Catalan arrangement.

In the present paper, for a given (possibly, infinite) strongly connected digraph $\cal{D},$ we consider the class $\cal{S}_{<}({\cal D})$ of all truthly substochastic weightings of ${\cal D}$ (here, the word "truthly" means that there exists a vertex whose out-weight is strictly less than $1$). For a finite subdigraph $\cal{F}$ of $\cal{D}$ weighted by $S\in {\cal S}_{<}({\cal D}),$ let $\ell_{max}(\cal{F})$ be the length of its longest directed cycle and $λ_{S}(\cal{F})$ be the Perron root (spectral radius) of its weighted adjacency matrix. We prove that the infimum of $\ell_{max}(\cal{F})\bigl(1-λ_{S}(\cal{F})\bigr)$ taken over all $\cal{F}$ is positive for every $S\in \cal{S}_{<}({\cal D})$ if and only if $\cal{D}$ admits a finite cycle transversal. The result obtained provides general theorems on the set ${\cal T}({\cal D})$ of transient weightings of ${\cal D}.$ In particular, we present a theorem of alternatives for finite approximations to elements of ${\cal T}({\cal D})$ and simply reprove V. Cyr's criterion for ${\cal T}({\cal D})$ to be empty.

Let $T$ be a strongly connected tournament of order $n\ge 4$ whose diameter does not exceed $d\ge 3.$ Denote by $c_{\ell}(T)$ the number of circuits of length $\ell$ in $T.$ In our recent paper, we construct a strongly connected tournament $T_{d,n}$ of order $n$ with diameter $d$ and conjecture that $c_{\ell}(T)\ge c_{\ell}(T_{d,n})$ for any $\ell=3,...,n.$ In particular, for $d=n-1,$ this inequality is true and yields the known Moon (lower) bound $c_{\ell}(T)\ge n-\ell+1.$ Moreover, we suggest that if $n+3\le 2d,$ then for any given $\ell$ taken in the range $n-d+3,...,d,$ the equality $c_{\ell}(T)=c_{\ell}(T_{d,n})$ implies that $T$ is isomorphic to $T_{d,n}$ or its converse $T_{d,n}^{-}.$ For $d=n-1,$ the corresponding particular statement is nothing else than Las Vergnas' theorem. Recently, we have confirmed the posed conjecture for the case $d=n-2.$ In the present paper, we show that it is also true for $d=n-3.$

Given a finite group $G$, the Engel graph of $G$ is a directed graph $Γ(G)$ encoding pairs of elements satisfying some Engel word. Namely, $Γ(G)$ is the directed graph, where the vertices are the non-hypercentral elements of $G$ and where there is an arc from $x$ to $y$ if and only if $[x,_ n y] = 1$ for some $n \in \mathbb{N}$. From previous work, it is known that, except for a few exceptions, $Γ(G)$ is strongly connected. In this paper, we give an absolute upper bound on the diameter of $Γ(G)$, when $Γ(G)$ is strongly connected.

In a digraph, a dicut is a cut where all the arcs cross in one direction. A dijoin is a subset of arcs that intersects each dicut. Woodall conjectured in 1976 that in every digraph, the minimum size of a dicut equals to the maximum number of disjoint dijoins. However, prior to our work, it was not even known whether at least $3$ disjoint dijoins exist in an arbitrary digraph whose minimum dicut size is sufficiently large. By building connections with nowhere-zero (circular) $k$-flows, we prove that every digraph with minimum dicut size $τ$ contains $\left\lfloor\fracτ{k}\right\rfloor$ disjoint dijoins if the underlying undirected graph admits a nowhere-zero (circular) $k$-flow. The existence of nowhere-zero $6$-flows in $2$-edge-connected graphs (Seymour 1981) directly leads to the existence of $\left\lfloor\fracτ{6}\right\rfloor$ disjoint dijoins in a digraph with minimum dicut size $τ$, which can be found in polynomial time as well. The existence of nowhere-zero circular $\frac{2p+1}{p}$-flows in $6p$-edge-connected graphs (Lovász et al. 2013) directly leads to the existence of $\left\lfloor\frac{τp}{2p+1}\right\rfloor$ disjoint dijoins in a digraph with minimum dicut size $τ$ whose underlying undirected graph is $6p$-edge-connected. We also discuss reformulations of Woodall's conjecture into packing strongly connected orientations.

Erd\H os, Lovász and Spencer showed in the late 1970s that the dimension of the region of $k$-vertex graph profiles, i.e., the region of feasible densities of $k$-vertex graphs in large graphs, is equal to the number of non-trivial connected graphs with at most $k$ vertices. We determine the dimension of the region of $k$-vertex tournament profiles. Our result, which explores an interesting connection to Lyndon words, yields that the dimension is much larger than just the number of strongly connected tournaments, which would be the answer expected as the analogy to the setting of graphs.

For a digraph $Γ$, a subset $C$ of $V(Γ)$ is a perfect code if $C$ is a dominating set such that every vertex of $Γ$ is dominated by exactly one vertex in $C$. In this paper, we classify strongly connected 2-valent Cayley digraphs on abelian groups admitting a perfect code, and determine completely all perfect codes of such digraphs.

We propose a new method for obtaining complete asymptotic expansions in a systematic manner, which is suitable for counting sequences of various graph families in dense regime. The core idea is to encode the two-dimensional array of expansion coefficients into a special bivariate generating function, which we call a coefficient generating function. We show that coefficient generating functions possess certain general properties that make it possible to express asymptotics in a short closed form. Also, in most scenarios, we indicate a combinatorial meaning of the involved coefficients. Applications of our method include asymptotics of connected graphs, irreducible tournaments, strongly connected digraphs, 2-SAT formulae and contradictory strongly connected implication digraphs. Moreover, due to its flexibility, the method allows to treat a wide range of structural variations, including fixing the numbers of connected, irreducible, strongly connected and contradictory components, as well as source-like, sink-like and isolated ones, or adding weights and marking variables.

Graham showed with Pollak and Hoffman-Hosoya that for any directed graph $G$ with strong blocks $G_e$, the determinant $\det(D_G)$ and cofactor-sum $cof(D_G)$ of the distance matrix $D_G$ can be computed from the same quantities for the blocks $G_e$. This was extended to trees - and in our recent work to any graph - with multiplicative and $q$-distance matrices. For trees, we went further and unified all previous variants with weights in a unital commutative ring, into a distance matrix with additive and multiplicative edge-data. In this work: (1) We introduce the additive-multiplicative distance matrix $D_G$ of every strongly connected graph $G$, using what we term the additive-multiplicative block-datum $\mathcal{G}$. This subsumes the previously studied additive, multiplicative, and $q$-distances for all graphs. (2) We introduce an invariant $κ(D_G)$ that seems novel to date, and use it to show "master" Graham-Hoffman-Hosoya (GHH) identities, which express $\det(D_G), cof(D_G)$ in terms of the blocks $G_e$. We show how these imply all previous variants. (3) We show $\det(.), cof(.), κ(.)$ depend only on the block-data for not just $D_G$, but also several minors of $D_G$. This was not studied in any setting to date; we show it in the "most general" additive-multiplicative setting, hence in all known settings. (4) We compute $D_G^{-1}$ in closed-form; this specializes to all known variants. In particular, we recover our previous formula for $D_T^{-1}$ for additive-multiplicative trees (which itself specializes to a result of Graham-Lovasz and answers a 2006 question of Bapat-Lal-Pati.) (5) We also show that not the Laplacian, but a closely related matrix is the "correct" one to use in $D_G^{-1}$ - for the most general additive-multiplicative matrix $D_G$ of each $G$. As examples, we compute in closed form $\det(D_G), cof(D_G), κ(D_G), D_G^{-1}$ for hypertrees.

We present a version of the matrix-tree theorem, which relates the determinant of a matrix to sums of weights of arborescences of its directed graph representation. Our treatment allows for non-zero column sums in the parent matrix by adding a root vertex to the usually considered matrix directed graph. We use our result to prove a version of the matrix-forest, or all-minors, theorem, which relates minors of the matrix to forests of arborescences of the matrix digraph. We then show that it is possible, when the source and target vertices of an arc are not strongly connected, to move the source of the arc in the matrix directed graph and leave the resulting matrix determinant unchanged, as long as the source and target vertices are not strongly connected after the move. This result enables graphical strategies for factoring matrix determinants.

A cycle with four blocks $C(k_{1}, k_{2},k_{3},k_{4})$ is an oriented cycle formed of four blocks of lengths $k_{1}, k_{2}, k_{3}$ and $k_{4}$ respectively. Recently, Cohen et al. conjectured that for every positive integers $k_{1}, k_{2}, k_{3}, k_{4}$, there is an integer $g(k_{1},k_{2},k_{3},k_{4})$ such that every strongly connected digraph $D$ containing no subdivisions of $C(k_{1},k_{2},k_{3},k_{4})$ has a chromatic number at most $g(k_{1},k_{2},k_{3},k_{4})$. This conjecture is confirmed by Cohen et al. for the case of $C(1,1,1,1)$ and by Al-Mniny for the case of $C(k_1,1,1,1)$. In this paper, we affirm Cohen et al.'s conjecture for the case where $k_2=k_4=1$, namely $g(k_1,1,k_3,1) =O({(k_1+k_3)}^2)$. Moreover, we show that if in addition $D$ is Hamiltonian, then the chromatic number of $D$ is at most $6k$, with $k=\textrm{max}\{k_1,k_3\}.$

Let ${\cal M}$ denote the Bose--Mesner algebra of a commutative $d$-class association scheme ${\mathfrak X}$ (not necessarily symmetric), and $Γ$ denote a (strongly) connected (directed) graph with adjacency matrix $A$. Under the assumption that $A$ belongs to ${\cal M}$, we describe the combinatorial structure of $Γ$. Moreover, we provide an algebraic-combinatorial characterization of $Γ$ when $A$ generates ${\cal M}$. Among else, we show that, if ${\mathfrak X}$ is a commutative $3$-class association scheme that is not an amorphic symmetric scheme, then we can always find a (directed) graph $Γ$ such that the adjacency matrix $A$ of $Γ$ generates the Bose--Mesner algebra ${\cal M}$ of ${\mathfrak X}$.

It is well-known that every tournament contains a Hamilton path, and every strongly connected tournament contains a Hamilton cycle. This paper establishes transversal generalizations of these classical results. For a collection $\mathbf{T}=\{T_1,\dots,T_m\}$ of not-necessarily distinct tournaments on a common vertex set $V$, an $m$-edge directed graph $\mathcal{D}$ with vertices in $V$ is called a $\mathbf{T}$-transversal if there exists a bijection $φ\colon E(\mathcal{D})\to [m]$ such that $e\in E(T_{φ(e)})$ for all $e\in E(\mathcal{D})$. We prove that for sufficiently large $m$ with $m=|V|-1$, there exists a $\mathbf{T}$-transversal Hamilton path. Moreover, if $m=|V|$ and at least $m-1$ of the tournaments $T_1,\ldots,T_m$ are assumed to be strongly connected, then there is a $\mathbf{T}$-transversal Hamilton cycle. In our proof, we utilize a novel way of partitioning tournaments which we dub $\mathbf{H}$-partition.

We study a version of the lights out game played on directed graphs. For a digraph $D$, we begin with a labeling of $V(D)$ with elements of $\mathbb{Z}_k$ for $k \ge 2$. When a vertex $v$ is toggled, the labels of $v$ and any vertex that $v$ dominates are increased by 1 mod $k$. The game is won when each vertex has label 0. We say that $D$ is $k$-Always Winnable (also written $k$-AW) if the game can be won for every initial labeling with elements of $\mathbb{Z}_k$. We prove that all acyclic digraphs are $k$-AW for all $k$, and we reduce the problem of determining whether a graph is $k$-AW to the case of strongly connected digraphs. We then determine winnability for tournaments with a minimum feedback arc set that arc-induces a directed path or directed star digraph.

In an orientation $O$ of the graph $G$, an arc $e$ is deletable if and only if $O-e$ is strongly connected. For a $3$-edge-connected graph $G$, the Frank number is the minimum $k$ for which $G$ admits $k$ strongly connected orientations such that for every edge $e$ of $G$ the corresponding arc is deletable in at least one of the $k$ orientations. Hörsch and Szigeti conjectured the Frank number is at most $3$ for every $3$-edge-connected graph $G$. We prove an upper bound of $5$, which improves the previous bound of $7$.

We consider the problem of learning a directed graph $G^\star$ from observational data. We assume that the distribution which gives rise to the samples is Markov and faithful to the graph $G^\star$ and that there are no unobserved variables. We do not rely on any further assumptions regarding the graph or the distribution of the variables. Particularly, we allow for directed cycles in $G^\star$ and work in the fully non-parametric setting. Given the set of conditional independence statements satisfied by the distribution, we aim to find a directed graph which satisfies the same $d$-separation statements as $G^\star$. We propose a hybrid approach consisting of two steps. We first find a partially ordered partition of the vertices of $G^\star$ by optimizing a certain score in a greedy fashion. We prove that any optimal partition uniquely characterizes the Markov equivalence class of $G^\star$. Given an optimal partition, we propose an algorithm for constructing a graph in the Markov equivalence class of $G^\star$ whose strongly connected components correspond to the elements of the partition, and which are partially ordered according to the partial order of the partition. Our algorithm comes in two versions -- one which is provably correct and another one which performs fast in practice.