arXiv++ Combinatorics

A kernel of a directed graph is a subset of vertices that is both independent and absorbing (every vertex not in the kernel has an out-neighbour in the kernel). Not all directed graphs contain kernels, and computing a kernel or deciding that none exist is NP-complete even on low-degree planar digraphs. The existing polynomial-time algorithms for this problem all restrict both the undirected structure and the edge orientations of the input: for example, to chordal graphs without bidirectional edges (Pass-Lanneau, Igarashi and Meunier, Discrete Appl Math 2020) or to permutation graphs where each clique has a sink (Abbas and Saoula, 4OR 2005). By contrast, we count the kernels of a fuzzy circular interval graph in polynomial time, regardless of its edge orientations, and return a kernel when one exists. (Fuzzy circular graphs were introduced by Chudnovsky and Seymour in their structure theorem for claw-free graphs.) We also consider kernels on cographs, where we establish NP-hardness in general but linear running times on the subclass of threshold graphs.

We investigate the combinatorics of quivers that arise from triangulations of even-dimensional cyclic polytopes. Work of Oppermann and Thomas pinpoints such quivers as the prototypes for higher-dimensional cluster theory. We first show that a $2d$-dimensional triangulation has no interior $(d + 1)$-simplices if and only if its quiver is a cut quiver of type $A$, in the sense of Iyama and Oppermann. This is a higher-dimensional generalisation of the fact that triangulations of polygons with no interior triangles correspond to orientations of an $A_{n}$ Dynkin diagram. An application of this first result is that the set of triangulations of a $2d$-dimensional cyclic polytope with no interior $(d + 1)$-simplices is connected via bistellar flips -- the higher-dimensional analogue of flipping a diagonal inside a quadrilateral. In dimensions higher than 2, bistellar flips cannot be performed at all locations in a triangulation. Our second result gives a quiver-theoretic criterion for performing bistellar flips on a triangulation of a $2d$-dimensional cyclic polytope. This provides a visual tool for studying mutability of higher-dimensional triangulations and points towards what a theory of higher-dimensional quiver mutation could look like. Indeed, we apply this result to give a rule for mutating cut quivers at vertices which are not necessarily sinks or sources.

The Caccetta-Häggkvist conjecture (denoted below CHC) states that the directed girth (the smallest length of a directed cycle) $dgirth(D)$ of a directed graph $D$ on $n$ vertices is at most $\lceil \frac{n}{δ^+(D)}\rceil$, where $δ^+(D)$ is the minimum out-degree of~$D$. We consider a version involving all out-degrees, not merely the minimum one, and prove that if $D$ does not contain a sink, then $dgirth(D) \le 2 \sum_{v\in V(D)} \frac{1}{deg^+(v)+1}$. In the spirit of a generalization of the CHC to rainbow cycles in \cite{ADH2019}, this suggests the conjecture that given non-empty sets $F_1, \ldots,F_n$ of edges of $K_n$, there exists a rainbow cycle of length at most $2\sum_{1\le i \le n}\frac{1}{|F_i|+1}$. We prove a bit stronger result when $1\le |F_i|\le 2$, thereby strengthening a result of DeVos et. al \cite{DDFGGHMM2021}. We prove a logarithmic bound on the rainbow girth in the case that the sets $F_i$ are triangles.

The Game of Cycles is a combinatorial game introduced by Francis Su in 2020 in which players take turns marking arrows on the edges of a simple plane graph, avoiding the creation of sinks and sources and seeking to complete a "cycle cell." Su and his collaborators (2021) found winning strategies on graphs with certain types of symmetry using reverse mirroring. In this paper, we for the first time determine the winning player in the Game of Cycles on an infinite family of graphs lacking symmetry. In particular, we use the Sprague-Grundy Theorem to show that player two has a winning strategy for the Game of Cycles on any 3-legged spider graph with legs of odd length. Because the cycle cell victory condition is extraneous for tree graphs (including spiders), we drop it from the rules and call the result the Game of Arrows. Our proof leans heavily on a notion of state isomorphism that allows us to decompose a game state into states of smaller pieces of a graph, leading to nim-sum calculations with Grundy values.

The Holt-Klee theorem says that the graph of a $d$-polytope, with edges oriented by a linear function on $P$ that is not constant on any edge, admits $d$ independent monotone paths from the source to the sink. We prove that the digraphs obtained from oriented matroid programs of rank $d+1$ on $n+2$ elements, which include those from $d$-polytopes with $n$ facets, admit $d$ independent monotone paths from source to sink if $d \le 4$. This was previously only known to hold for $d\le 3$ and $n\le 6$.

The Matoušek LP-type problems were used by Matoušek to show that the Sharir-Welzl algorithm may require at least subexponential time. Later, Gärtner translated this result into the language of Unique Sink Orientations (USOs) and introduced the Matoušek USOs, the USOs equivalent to Matoušek's LP-type problems. He further showed that the Random Facet algorithm only requires quadratic time on the realizable subset of the Matoušek USOs, but without characterizing this subset. In this paper, we deliver this missing characterization and also provide concrete realizations for all realizable Matoušek USOs. Furthermore, we show that the realizable Matoušek USOs are exactly the orientations arising from simple extensions of cyclic-P-matroids.

The Quickest Transshipment Problem is to route flow as quickly as possible from sources with supplies to sinks with demands in a network with capacities and transit times on the arcs. It is of fundamental importance for numerous applications in areas such as logistics, production, traffic, evacuation, and finance. More than 25 years ago, Hoppe and Tardos presented the first (strongly) polynomial-time algorithm for this problem. Their approach, as well as subsequently derived algorithms with strongly polynomial running time, are hardly practical as they rely on parametric submodular function minimization via Megiddo's method of parametric search. The main contribution of this paper is a considerably faster algorithm for the Quickest Transshipment Problem that instead employs a subtle extension of the Discrete Newton Method. This improves the previously best known running time of $\tilde{O}(m^4k^{14})$ to $\tilde O(m^2k^5+m^3k^3+m^3n)$, where $n$ is the number of nodes, $m$ the number of arcs, and $k$ the number of sources and sinks.

We discover new linear relations between the chromatic symmetric functions of certain sequences of graphs and apply these relations to find new families of e-positive unit interval graphs. Motivated by the results of Gebhard and Sagan, we revisit their ideas and reinterpret their equivalence relation in terms of a new quotient algebra of NCSym. We investigate the projection of the chromatic symmetric function $Y_G$ in noncommuting variables in this quotient algebra, which defines $y_{G : v}$, the chromatic symmetric function of a graph G centred at a vertex v. We then apply our methods to $y_{G :v}$ and find new families of unit interval graphs that are (e)-positive, a stronger condition than classical e-positivity, thus confirming new cases of the (3+1)-free conjecture of Stanley and Stembridge. In our study of $y_{G : v}$, we also describe methods of constructing new e-positive graphs from given $(e)$-positive graphs and classify the (e)-positivity of trees and cut vertices. We moreover construct a related quotient algebra of NCQSym to prove theorems relating the coefficients of $y_{G : v}$ to acyclic orientations of graphs, including a noncommutative refinement of Stanley's sink theorem.

All kind of networks, e.g., Internet of Things, social networks, wireless sensor networks, transportation networks, 4g/5G, etc., are around us to benefit and help our daily life. The multistate flow network (MFN) is always used to model network structures and applications. The level d reliability, Rd, of the MFN is the success probability of sending at least d units of integer flow from the source node to the sink node. The reliability Rd is a popular index for designing, managing, controlling, and evaluating MFNs. The traditional indirect algorithms must have all d-MPs (special connected vectors) or d-MCs (special disconnected vectors) first, then use Inclusion-Exclusion Technique (IET) or Sum-of-disjoint Product (SDP) in terms of found d-MPs or d-MCs to calculate Rd. The above four procedures are all NP-Hard and #P-Hard and cannot calculate Rd for all d at the same time A novel algorithm based on the binary-addition-tree algorithm (BAT) is proposed to calculate the Rd directly for all d at the same time without using any of the above four procedures. The time complexity and demonstration of the proposed algorithm are analyzed, and examples are provided. An experiment is also conducted to compare the proposed algorithm and existing algorithms based on d-MPs, d-MCs, IET, and/or SDP to validate the proposed algorithm.

We determine the inducibility of all tournaments with at most $4$ vertices together with the extremal constructions. The $4$-vertex tournament containing an oriented $C_3$ and one source vertex has a particularly interesting extremal construction. It is an unbalanced blow-up of an edge, where the sink vertex is replaced by a quasi-random tournament and the source vertex is iteratively replaced by a copy of the construction itself.

In this paper, we compute competition indices and periods of multipartite tournaments. We first show that the competition period of an acyclic digraph $D$ is one and $ζ(D) +1$ is a sharp upper bound of the competition index of $D$ where $ζ(D)$ is the sink elimination index of $D$. Then we prove that, especially, for an acyclic $k$-partite tournament $D$, the competition index of $D$ is $ζ(D)$ or $ζ(D) +1$ for an integer $k \ge 3$. By developing useful tools to create infinitely many directed walks in a certain regular pattern from given directed walks, we show that the competition period of a multipartite tournament with sinks and directed cycles is at most three. We also prove that the competition index of a primitive digraph does not exceed its exponent.

Recall that an excedance of a permutation $π$ is any position $i$ such that $π_i > i$. Inspired by the work of Hopkins, McConville and Propp (Elec. J. Comb., 2017) on sorting using toppling, we say that a permutation is toppleable if it gets sorted by a certain sequence of toppling moves. One of our main results is that the number of toppleable permutations on $n$ letters is the same as those for which excedances happen exactly at $\{1,\dots, \lfloor (n-1)/2 \rfloor\}$. Additionally, we show that the above is also the number of acyclic orientations with unique sink (AUSOs) of the complete bipartite graph $K_{\lceil n/2 \rceil, \lfloor n/2 \rfloor + 1}$. We also give a formula for the number of AUSOs of complete multipartite graphs. We conclude with observations on an extremal question of Cameron et al. concerning maximizers of (the number of) acyclic orientations, given a prescribed number of vertices and edges for the graph.

This article focuses on a biobjective extension of the maximum flow network interdiction problem, where each arc in the network is associated with two capacity values. Two maximum flows from a source to a sink are to be computed independently of each other with respect to the first and second capacity function, respectively, while an interdictor aims to minimize the value of both maximum flows by interdicting arcs. We show that this problem is intractable and that the decision problem, which asks whether or not a feasible interdiction strategy is efficient, is NP-complete. We propose a pseudopolynomial time algorithm in the case of two-terminal series-parallel graphs and positive integer-valued interdiction costs. We extend this algorithm to a fully polynomial-time approximation scheme for the case of unit interdiction costs by appropriately partitioning the objective space.

Let $D$ be a weighted oriented graph with the underlying graph $G$ and $I(D), I(G) $ be the edge ideals corresponding to $D$ and $G$ respectively. We show that the regularity of edge ideal of a certain class of weighted oriented graph remains same even after adding certain kind of new edges to it. We also establish the relationship between the regularity of edge ideal of weighted oriented path and cycle with the regularity of edge ideal of their underlying graph when vertices of $V^+$ are sinks.

Gurski and Wanke showed that a graph class C has bounded tree-width if and only if its associated class of directed line graphs has bounded clique-width. Inevitably -- asking whether this relationship lifts to directed graphs -- we introduce a new digraph width measure: we obtain it by investigating digraphs whose directed line graphs have bounded cliquewidth. Thus, to generalize Gurski and Wanke's aforementioned result, we introduce a natural generalization of branch-width to digraphs and we name it accordingly. Directed branch-width is a genuinely directed width-measure insofar as it cannot be used to bound the value of the underlying undirected tree-width. Despite this, the two measures are still closely related: the directed branch-width of a digraph D can differ from the branch-width of its underlying undirected graph only at sources and sinks. This relationship allows us to extend a range of algorithmic results from directed graphs with bounded underlying treewidth to the strictly larger class of digraphs having bounded directed branch-width.

In the abelian sandpile model, recurrent chip configurations are of interest as they are a natural choice of coset representatives under the quotient of the reduced Laplacian. We investigate graphs whose recurrent identities with respect to different sinks are compatible with each other. The maximal stable configuration is the simplest recurrent chip configuration, and graphs whose recurrent identities equal the maximal stable configuration are of particular interest, and are said to have the complete maximal identity property. We prove that given any graph $G$ one can attach trees to the vertices of $G$ to yield a graph with the complete maximal identity property. We conclude with several intriguing conjectures about the complete maximal identity property of various graph products.

A unique sink orientation (USO) is an orientation of the hypercube graph with the property that every face has a unique sink. A number of well-studied problems reduce in strongly polynomial time to finding the global sink of a USO; most notably, linear programming (LP) and the P-matrix linear complementarity problem (P-LCP). The former is not known to have a strongly polynomial-time algorithm, while the latter is not known to even have a polynomial-time algorithm, motivating the problem to find the global sink of a USO. Although, every known class of geometric USOs, arising from a concrete problem such as LP, is exponentially small, relative to the class of all USOs. Accordingly, geometric USOs exhibit additional properties that set them apart from general USOs, and it may be advantageous, if not necessary, to leverage these properties to find the global sink of a USO faster. Only a few such properties are known. In this paper, we establish a new combinatorial property of the USOs that arise from symmetric P-LCP, which includes the USOs that arise from linear and simple convex quadratic programming.

Origin-destination integer multicommodity flow problems differ from classic multicommodity models in that each commodity has one source and one sink, and each commodity must be routed along a single path. A new invisible-hand heuristic that mimics economic markets' behavior is presented and tested on large-scale telecommunications networks, with solution times two orders of magnitude faster than Cplex's LP relaxation, more dramatic MIP ratios, and small solution value differences.

We classify recurrent states of the Abelian sandpile model (ASM) on the complete split graph. There are two distinct cases to be considered that depend upon the location of the sink vertex in the complete split graph. This characterisation of decreasing recurrent states is in terms of Motzkin words and can also be characterised in terms of combinatorial necklaces. We also give a characterisation of the recurrent states in terms of a new type of parking function that we call a tiered parking function. These parking functions are characterised by assigning a tier (or colour) to each of the cars, and specifying how many cars of a lower-tier one wishes to have parked before them. We also enumerate the different sets of recurrent configurations studied in this paper, and in doing so derive a formula for the number of spanning trees of the complete split graph that uses a bijective Prüfer code argument.

In this article, we study a biobjective extension of the shortest path network interdiction problem. Each arc in the network is associated with two integer length values and two players compute their respective shortest paths from source to sink independently from each other while an interdictor tries to lengthen both shortest paths by removing arcs. We show that this problem is intractable and that deciding whether a feasible interdiction strategy is efficient, is NP- complete. We provide a solution procedure to solve the problem on two-terminal series-parallel graphs in pseudopolynomial time.