arXiv++ Combinatorics

Let $G$ be a bipartite graph on $n$ vertices with the Laplacian matrix $L_G$. When $G$ is a tree, inequalities involving coefficients of immanantal polynomials of $L_G$ are known as we go up $GTS_n$ poset of unlabelled trees with $n$ vertices. We extend $GTS$ operation on a tree to an arbitrary graph, we call it generalized graph shift (hencefourth $GGS$) operation. Using $GGS$ operation, we generalize these known inequalities associated with trees to bipartite graphs. Using vertex orientations of $G$, we give a combinatorial interpretation for each coefficient of the Laplacian immanantal polynomial of $G$ which is used to prove counter parts of Schur theorem and Lieb's conjecture for these coefficients. We define $GGS_n$ poset on $Ω_{C_k}^v(n)$, the set of unlabelled unicyclic graphs with $n$ vertices where each vertex of the cycle $C_k$ has degree $2$ except one vertex $v$. Using $GGS_n$ poset on $Ω_{C_{2k}}^v(n)$, we solves an extreme value problem of finding the max-min pair in $Ω_{C_{2k}}^v(n)$ for each coefficient of the generalized Laplacian polynomials. At the end of this paper, we also discuss the monotonicity of the spectral radius and the Wiener index of an unicyclic graph when we go up along $GGS_n$ poset of $Ω_{C_k}^v(n)$.

In the Metric Dimension problem, one asks for a minimum-size set $R$ of vertices such that for any pair of vertices of the graph, there is a vertex from $R$ whose two distances to the vertices of the pair are distinct. This problem has mainly been studied on undirected graphs and has gained a lot of attention in the recent years. We focus on directed graphs, and show how to solve the problem in linear time on digraphs whose underlying undirected graph (ignoring multiple edges) is a tree. This (non-trivially) extends a previous algorithm for oriented trees. We then extend the method to orientations of unicyclic graphs. We also give a fixed-parameter-tractable algorithm for digraphs when parameterized by the directed modular-width, extending a known result for undirected graphs. Finally, we show that Metric Dimension is NP-hard even on planar triangle-free acyclic digraphs of maximum degree 6.

A conjugate skew gain graph is a skew gain graph with the labels (also called, the conjugate skew gains) from the field of complex numbes on the oriented edges such that they get conjugated when we reverse the orientation. In this paper we introduce distance matrices for conjugate skew gain graphs and characterize balanced conjugate skew gain graphs using these matrices. We provide explicit formulae for the distance spectra of certain conjugate skew gain graphs.

\textsc{Cops and Robber} is one of the most studied two-player pursuit-evasion games played on graphs, where multiple \textit{cops}, controlled by one player, pursue a single \textit{robber}. The main parameter of interest is the \textit{cop number} of a graph, which is the minimum number of cops that can ensure the \textit{capture} of the robber. \textsc{Cops and Robber} is also well-studied on directed/oriented graphs. In directed graphs, two kinds of moves are defined for players: \textit{strong move}, where a player can move both along and against the orientation of an arc to an adjacent vertex; and \textit{weak move}, where a player can only move along the orientation of an arc to an \textit{out-neighbor}. We study three variants of \textsc{Cops and Robber} on oriented graphs: \textit{strong cop model}, where the cops can make strong moves while the robber can only make weak moves; \textit{normal cop model}, where both cops and the robber can only make weak moves; and \textit{weak cop model}, where the cops can make weak moves while the robber can make strong moves. We study the cop number of these models with respect to several variants of retracts on oriented graphs and establish that the strong and normal cop number of an oriented graph remains invariant in their strong and distributed retracts, respectively. Next, we go on to study all three variants with respect to the subdivisions of graphs and oriented graphs. Finally, we establish that all these variants remain computationally difficult even when restricted to the class of 2-degenerate bipartite graphs.

Let $\mathfrak{g}$ be an untwisted affine Lie algebra with associated Weyl group $W_a$. To any level 0 weight $γ$ we associate a weighted graph $Γ_γ$ that encodes the orbit of $γ$ under the action $W_a$. We show that the graph $Γ_γ$ encodes the periodic orientation of certain subsets of alcoves in $W_a$ and therefore can be interpreted as an automaton determining the reduced expressions in these subsets. Then, by using some relevant quotients of the homology ring of affine Grassmannians, we show that $Γ_γ$ is positively multiplicative. This allows us in particular to compute the structure constants of the homology rings using elementary linear algebra on multiplicative graphs. In another direction, the positivity of $Γ_γ$ yields the key ingredients to study a large class of central random walks on alcoves.

We show that a randomly perturbed digraph, where we start with a dense digraph $D_α$ and add a small number of random edges to it, will typically contain a fixed orientation of a bounded degree spanning tree. This answers a question posed by Araujo, Balogh, Krueger, Piga and Treglown and generalizes the corresponding result for randomly perturbed graphs by Krivelevich, Kwan and Sudakov. More specifically, we prove that there exists a constant $c = c(α, Δ)$ such that if $T$ is an oriented tree with maximum degree $Δ$ and $D_α$ is an $n$-vertex digraph with minimum semidegree $αn$, then the graph obtained by adding $cn$ uniformly random edges to $D_α$ will contain $T$ with high probability.

In 1960 Nash-Williams proved that an edge-connectivity of 2k is sufficient for a finite graph to have a k-arc-connected orientation. He then conjectured that the same is true for infinite graphs. In 2016, Thomassen, using his own results on the auxiliary lifting graph, proved that 8k-edge-connected infinite graphs admit a $k$-arc connected orientation. Here we improve this result for the class of $1$-ended locally-finite graphs and show that an edge-connectivity of 4k is enough in that case. Crucial to this improvement are results presented in a separate paper, by the same author of this paper, on the key concept of the lifting graph, extending results by Ok, Richter, and Thomassen.

In this paper, we introduce the following new concept in graph drawing. Our task is to find a small collection of drawings such that they all together satisfy some property that is useful for graph visualization. We propose investigating a property where each edge is not crossed in at least one drawing in the collection. We call such collection uncrossed. This property is motivated by a quintessential problem of the crossing number, where one asks for a drawing where the number of edge crossings is minimum. Indeed, if we are allowed to visualize only one drawing, then the one which minimizes the number of crossings is probably the neatest for the first orientation. However, a collection of drawings where each highlights a different aspect of a graph without any crossings could shed even more light on the graph's structure. We propose two definitions. First, the uncrossed number, minimizes the number of graph drawings in a collection, satisfying the uncrossed property. Second, the uncrossed crossing number, minimizes the total number of crossings in the collection that satisfy the uncrossed property. For both definitions, we establish initial results. We prove that the uncrossed crossing number is NP-hard, but there is an FPT algorithm parameterized by the solution size.

Let $G$ be a connected graph. The Jacobian group (also known as the Picard group or sandpile group) of $G$ is a finite abelian group whose cardinality equals the number of spanning trees of $G$. The Jacobian group admits a canonical simply transitive action on the set $\mathcal{R}(G)$ of cycle-cocycle reversal classes of orientations of $G$. Hence one can construct combinatorial bijections between spanning trees of $G$ and $\mathcal{R}(G)$ to build connections between spanning trees and the Jacobian group. The BBY bijections and the Bernardi bijections are two important examples. In this paper, we construct a new family of such bijections that includes both. Our bijections depend on a pair of atlases (different from the ones in manifold theory) that abstract and generalize certain common features of the two known bijections. The definitions of these atlases are derived from triangulations and dissections of the Lawrence polytopes associated to $G$. The acyclic cycle signatures and cocycle signatures used to define the BBY bijections correspond to regular triangulations. Our bijections can extend to subgraph-orientation correspondences. Most of our results hold for regular matroids. We present our work in the language of fourientations, which are a generalization of orientations.

We continue a line of research which studies which hereditary families of digraphs have bounded dichromatic number. For a class of digraphs $\mathcal{C}$, a hero in $\mathcal{C}$ is any digraph $H$ such that $H$-free digraphs in $\mathcal{C}$ have bounded dichromatic number. We show that if $F$ is an oriented star of degree at least five, the only heroes for the class of $F$-free digraphs are transitive tournaments. For oriented stars $F$ of degree exactly four, we show the only heroes in $F$-free digraphs are transitive tournaments, or possibly special joins of transitive tournaments. Aboulker et al. characterized the set of heroes of $\{H, K_{1} + \vec{P_{2}}\}$-free digraphs almost completely, and we show the same characterization for the class of $\{H, rK_{1} + \vec{P_{3}}\}$-free digraphs. Lastly, we show that if we forbid two "valid" orientations of brooms, then every transitive tournament is a hero for this class of digraphs.

For a vertex $x$ of a digraph, $d^+(x)$ ($d^-(x)$, resp.) is the number of vertices at distance 1 from (to, resp.) $x$ and $d^{++}(x)$ is the number of vertices at distance 2 from $x$. In 1995, Seymour conjectured that for any oriented graph $D$ there exists a vertex $x$ such that $d^+(x)\leq d^{++}(x)$. In 2006, Sullivan conjectured that there exists a vertex $x$ in $D$ such that $d^-(x)\leq d^{++}(x)$. We give a sufficient condition in terms of the number of transitive triangles for an oriented graph to satisfy Sullivan's conjecture. In particular, this implies that Sullivan's conjecture holds for all orientations of planar graphs and of triangle-free graphs. An oriented graph $D$ is an oriented split graph if the vertices of $D$ can be partitioned into vertex sets $X$ and $Y$ such that $X$ is an independent set and $Y$ induces a tournament. We also show that the two conjectures hold for some families of oriented split graphs, in particular, when $Y$ induces a regular or an almost regular tournament.

A directed graph $D$ is singly connected if for every ordered pair of vertices $(s,t)$, there is at most one path from $s$ to $t$ in $D$. Graph orientation problems ask, given an undirected graph $G$, to find an orientation of the edges such that the resultant directed graph $D$ has a certain property. In this work, we study the graph orientation problem where the desired property is that $D$ is singly connected. Our main result concerns graphs of a fixed girth $g$ and coloring number $c$. For every $g,c\geq 3$, the problem restricted to instances of girth $g$ and coloring number $c$, is either NP-complete or in P. As further algorithmic results, we show that the problem is NP-hard on planar graphs and polynomial time solvable distance-hereditary graphs.

Unitarity of time evolution is one of the basic principles constraining physical processes. Its consequences in the perturbative Bunch-Davies wavefunction in cosmology have been formulated in terms of the cosmological optical theorem. In this paper, we re-analyse perturbative unitarity for the Bunch-Davies wavefunction, focusing on: 1) the role of the $iε$-prescription and its compatibility with the requirement of unitarity; 2) the origin of the different "cutting rules"; 3) the emergence of the flat-space optical theorem from the cosmological one. We take the combinatorial point of view of the cosmological polytopes, which provide a first-principle description for a large class of scalar graphs contributing to the wavefunctional. The requirement of the positivity of the geometry together with the preservation of its orientation determine the $iε$-prescription. In kinematic space it translates into giving a small negative imaginary part to all the energies, making the wavefunction coefficients well-defined for any value of their real part along the real axis. Unitarity is instead encoded into a non-convex part of the cosmological polytope, which we name optical polytope. The cosmological optical theorem emerges as the equivalence between a specific polytope subdivision of the optical polytope and its triangulations, each of which provides different cutting rules. The flat-space optical theorem instead emerges from the non-convexity of the optical polytope. On the more mathematical side, we provide two definitions of this non-convex geometry, none of them based on the idea of the non-convex geometry as a union of convex ones.

A classical Turán problem asks for the maximum possible number of edges in a graph of a given order that does not contain a particular graph $H$ as a subgraph. It is well-known that the chromatic number of $H$ is the graph parameter which describes the asymptotic behavior of this maximum. Here, we consider an analogous problem for oriented graphs, where compressibility plays the role of the chromatic number. Since any oriented graph having a directed cycle is not contained in any transitive tournament, it makes sense to consider only acyclic oriented graphs as forbidden subgraphs. We provide basic properties of the compressibility, show that the compressibility of acyclic oriented graphs with out-degree at most 2 is polynomial with respect to the maximum length of a directed path, and that the same holds for a larger out-degree bound if the Erdős-Hajnal conjecture is true. Additionally, generalizing previous results on powers of paths and arbitrary orientations of cycles, we determine the compressibility of acyclic oriented graphs with a restricted structure.

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 define some Schnyder-type combinatorial structures on a class of planar triangulations of the pentagon which are closely related to 5-connected triangulations. The combinatorial structures have three incarnations defined in terms of orientations, corner-labelings, and woods respectively. The wood incarnation consists in 5 spanning trees crossing each other in an orderly fashion. Similarly as for Schnyder woods on triangulations, it induces, for each vertex, a partition of the inner triangles into face-connected regions (5~regions here). We show that the induced barycentric vertex-placement, where each vertex is at the barycenter of the 5 outer vertices with weights given by the number of faces in each region, yields a planar straight-line drawing.

For a given digraph $D$ and distinct $u,v \in V(D)$, we denote by $λ_D(u,v)$ the local arc-connectivity from $u$ to $v$. Further, we define the total arc-connectivity $tac(D)$ of $D$ to be $\sum_{\{u,v\}\subseteq V(D)}λ_D(u,v)+λ_D(v,u)$. We show that, given a graph $G$ and an integer $k$, it is NP-complete to decide whether $G$ has an orientation $\vec{G}$ satisfying $tac(\vec{G})\geq k$. This answers a question of Pekec. On the positive side, we show that the corresponding maximization problem admits a $\frac{2}{3}$-approximation algorithm.

An edge $e$ of a graph $G$ is called deletable for some orientation $o$ if the restriction of $o$ to $G-e$ is a strong orientation. Inspired by a problem of Frank, in 2021 Hörsch and Szigeti proposed a new parameter for $3$-edge-connected graphs, called the Frank number, which refines $k$-edge-connectivity. The Frank number is defined as the minimum number of orientations of $G$ for which every edge of $G$ is deletable in at least one of them. They showed that every $3$-edge-connected graph has Frank number at most $7$ and that in case these graphs are also $3$-edge-colourable the parameter is at most $3$. Here we strengthen both results by showing that every $3$-edge-connected graph has Frank number at most $4$ and that every graph which is $3$-edge-connected and $3$-edge-colourable has Frank number $2$. The latter also confirms a conjecture by Barát and Blázsik. Furthermore, we prove two sufficient conditions for cubic graphs to have Frank number $2$ and use them in an algorithm to computationally show that the Petersen graph is the only cyclically $4$-edge-connected cubic graph up to $36$ vertices having Frank number greater than $2$.

Weakly distance-regular digraphs are a natural directed version of distance-regular graphs. In [8], the third author and Suzuki proposed a question when an orientation of a distance-regular graph defines a weakly distance-regular digraph. In this paper, we initiate this project, and classify all commutative weakly distance-regular digraphs whose underlying graphs are Hamming graphs, folded n-cubes and Doob graphs, respectively.

The orientation theorem of Nash-Williams states that an undirected graph admits a $k$-arc-connected orientation if and only if it is $2k$-edge-connected. Recently, Ito et al. showed that any orientation of an undirected $2k$-edge-connected graph can be transformed into a $k$-arc-connected orientation by reorienting one arc at a time without decreasing the arc-connectivity at any step, thus providing an algorithmic proof of Nash-Williams' theorem. We generalize their result to hypergraphs and therefore provide an algorithmic proof of the characterization of hypergraphs with a $k$-hyperarc-connected orientation originally given by Frank et al. We prove that any orientation of an undirected $(k,k)$-partition-connected hypergraph can be transformed into a $k$-hyperarc-connected orientation by reorienting one hyperarc at a time without decreasing the hyperarc-connectivity in any step. Furthermore, we provide a simple combinatorial algorithm for computing such a transformation in polynomial time.