arXiv++ Combinatorics

Erd{\H o}s (1963) initiated extensive graph discrepancy research on 2-edge-colored graphs. Gishboliner, Krivelevich, and Michaeli (2023) launched similar research on oriented graphs. They conjectured the following extension of Dirac's theorem: If $D$ is an oriented graph on $n \ge 3$ vertices with minimum degree $δ(D) \ge n/ 2$, then $D$ contains a Hamilton oriented cycle with at least $δ(D)$ arcs in the same direction. This conjecture was proved by Freschi and Lo (2024) who posed an open problem to extend their result to an Ore-type condition. We propose two conjectures for such extensions and prove results which provide support to the conjectures.

An \emph{out-tree (in-tree)} is an oriented tree where every vertex except one, called the \emph{root}, has in-degree (out-degree) one. An \emph{out-branching $B^+_u$ (in-branching $B^-_u$)} of a digraph $D$ is a spanning out-tree (in-tree) rooted at $u$. A \emph{good $(u,v)$-pair} in $D$ is a pair of branchings $B^+_u, B^-_v$ which are arc-disjoint. Thomassen proved that deciding whether a digraph has any good pair is NP-complete. A \emph{semicomplete split digraph} is a digraph where the vertex set is the disjoint union of two non-empty sets, $V_1$ and $V_2$, such that $V_1$ is an independent set, the subdigraph induced by $V_2$ is semicomplete, and every vertex in $V_1$ is adjacent to every vertex in $V_2$. In this paper, we prove that every $2$-arc-strong semicomplete split digraph $D$ contains a good $(u, v)$-pair for any choice of vertices $u, v$ of $D$, thereby confirming a conjecture by Bang-Jensen and Wang [Bang-Jensen and Wang, J. Graph Theory, 2024].