arXiv++ Combinatorics

Bousquet, Lochet and Thomassé recently gave an elegant proof that for any integer $n$, there is a least integer $f(n)$ such that any tournament whose arcs are coloured with $n$ colours contains a subset of vertices $S$ of size $f(n)$ with the property that any vertex not in $S$ admits a monochromatic path to some vertex of $S$. In this note we provide a lower bound on the value $f(n)$.

In this paper, we study Ramsey-type problems for directed graphs. We first consider the $k$-colour oriented Ramsey number of $H$, denoted by $\overrightarrow{R}(H,k)$, which is the least $n$ for which every $k$-edge-coloured tournament on $n$ vertices contains a monochromatic copy of $H$. We prove that $ \overrightarrow{R}(T,k) \le c_k|T|^k$ for any oriented tree $T$. This is a generalisation of a similar result for directed paths by Chvátal and by Gyárfás and Lehel, and answers a question of Yuster. In general, it is tight up to a constant factor. We also consider the $k$-colour directed Ramsey number $\overleftrightarrow{R}(H,k)$ of $H$, which is defined as above, but, instead of colouring tournaments, we colour the complete directed graph of order $n$. Here we show that $ \overleftrightarrow{R}(T,k) \le c_k|T|^{k-1}$ for any oriented tree $T$, which is again tight up to a constant factor, and it generalises a result by Williamson and by Gyárfás and Lehel who determined the $2$-colour directed Ramsey number of directed paths.

We show that if $D$ is a tournament of arbitrary size then $D$ has finite strong components after reversing a locally finite sequence of cycles. In turn, we prove that any tournament can be covered by two acyclic sets after reversing a locally finite sequence of cycles. This provides a partial solution to a conjecture of S. Thomassé.

We investigate the Ramsey numbers $r(I_m, L_n)$ which is the minimal natural number $k$ such that every oriented graph on $k$ vertices contains either an independent set of size $m$ or a transitive tournament on $n$ vertices. Apart from the finitary combinatorial interest, these Ramsey numbers are of interest to set theorists since it is known that $r(ωm, n) = ωr(I_m, L_n)$, where $ω$ is the lowest transfinite ordinal number, and $r(κm, n) = κr(I_m, L_n)$ for all initial ordinals $κ$. Continuing the research by Bermond from 1974 who did show $r(I_3, L_3) = 9$, we prove $r(I_4, L_3) = 15$ and $r(I_5, L_3) = 23$. The upper bounds for both the estimates above are obtained by improving the upper bound of $m^2$ on $r(I_m, L_3)$ due to Larson and Mitchell (1997) to $m^2 - m + 3$. Additionally, we provide asymptotic upper bounds on $r(I_m, L_n)$ for all $n \geq 3$. In particular, we show that $r(I_m, L_3) \in Θ(m^2 / \log m)$.

A $d$-distinguishing vertex (arc) labeling of a digraph is a vertex (arc) labeling using $d$ labels that is not preserved by any nontrivial automorphism. Let $ρ(T)$ ($ρ'(T)$) be the minimum size of a label class in a 2-distinguishing vertex (arc) labeling of a tournament $T$. Gluck's Theorem implies that $ρ(T) \le \lfloor n/2 \rfloor$ for any tournament $T$ of order $n$. In this paper we construct a family of tournaments $\cal H$ such that $ρ(T) \ge \lfloor n/2 \rfloor$ for any order $n$ tournament in $\cal H$. Additionally, we prove that $ρ'(T) \le \lfloor 7n/36 \rfloor + 3$ for any tournament $T$ of order $n$ and $ρ'(T) \ge \lceil n/6 \rceil$ when $T \in {\cal H}$ and has order $n$. These results answer some open questions stated by Boutin.

We prove that the strong immersion order is a well-quasi-ordering on the class of semi-complete digraphs, thereby strengthening a result of Chudnovsky and Seymour that this holds for the class of tournaments.

In 1995, Stiebitz asked the following question: For any positive integers $s,t$, is there a finite integer $f(s,t)$ such that every digraph $D$ with minimum out-degree at least $f(s,t)$ admits a bipartition $(A, B)$ such that $A$ induces a subdigraph with minimum out-degree at least $s$ and $B$ induces a subdigraph with minimum out-degree at least $t$? We give an affirmative answer for tournaments, multipartite tournaments, and digraphs with bounded maximum in-degrees. In particular, we show that for every $ε$ with $0<ε<1/2$, there exists an integer $δ_0$ such that every tournament with minimum out-degree at least $δ_0$ admits a bisection $(A, B)$, so that each vertex has at least $(1/2-ε)$ of its out-neighbors in $A$, and in $B$ as well.

In 2010, N. Lichiardopol conjectured for $q \geq 3$ and $k \geq 1$ that any tournament with minimum out-degree at least $(q-1)k-1$ contains $k$ disjoint cycles of length $q$. We prove this conjecture for $q \geq 5$. Since it is already known to hold for $q\le4$, this completes the proof of the conjecture.

We further study sets of labeled dice in which the relation "is a better die than" is non-transitive. Focusing on sets with an additional symmetry we call "balance," we prove that sets of $n$ such $m$-sided dice exist for all $n,m \geq 3$. We then show how to construct a set of $n$ dice such that the relation behaves according to the direction of the arrows of any tournament (complete directed graph) on $n$ vertices.

For two integers $n\geq 3$ and $2\leq p\leq n$, we denote $D(n,p)$ the digraph obtained from a directed $n$-cycle by changing the orientations of $p-1$ consecutive arcs. In this paper, we show that a family of $k$-regular $(k\geq 3)$ bipartite tournament $BT_{4k}$ contains $D(4k,p)$ for all $2\leq p\leq 4k$ unless $BT_{4k}$ is isomorphic to a digraph $D$ such that $(1,2,3,...,4k,1)$ is a Hamilton cycle and $(4m+i-1,i)\in A(D)$ and $(i,4m+i+1)\in A(D)$, where $1\leq m\leq k-1$.

Let $D$ be a digraph. A $k$-container of $D$ between $u$ and $v$, $C(u,v)$, is a set of $k$ internally disjoint paths between $u$ and $v$. A $k$-container $C(u,v)$ of $D$ is a strong (resp. weak) $k^{*}$-container if there is a set of $k$ internally disjoint paths with the same direction (resp. with different directions allowed) between $u$ and $v$ and it contains all vertices of $D$. A digraph $D$ is $k^{*}$-strongly (resp. $k^{*}$-weakly) connected if there exists a strong (resp. weak) $k^{*}$-container between any two distinct vertices. We define the strong (resp. weak) spanning connectivity of a digraph $D$, $κ_{s}^{*}(D)$ (resp. $κ_{w}^{*}(D)$ ), to be the largest integer $k$ such that $D$ is $ω^{*}$-strongly (resp. $ω^{*}$-weakly) connected for all $1\leq ω\leq k$ if $D$ is a $1^{*}$-strongly (resp. $1^{*}$-weakly) connected. In this paper, we show that a tournament with $n$ vertices and irregularity $i(T)\leq k$, if $n\geq6t+5k$ $(t\geq2)$, then $κ_{s}^{*}(T)\geq t$ and $κ_{w}^{*}(T)\geq t+1$ if $n\geq6t+5k-3$ $(t\geq2)$.

The Bermond-Thomassen conjecture states that, for any positive integer $r$, a digraph of minimum out-degree at least $2r-1$ contains at least $r$ vertex-disjoint directed cycles. In 2014, Bang-Jensen, Bessy and Thomass\' e proved the conjecture for tournaments. In 2010, Lichiardopol conjectured that a tournament $T$ with minimum out-degree at least $(q-1)r-1$ contains at least $r$ vertex-disjoint $q$-cycles, where integer $q\geq3$ and $r\geq1$. In this paper, we address Lichiardopol's conjecture affirmatively. In particular, the case $q=3$ implies Bermond-Thomassen conjecture for tournaments.

The Bermond-Thomassen conjecture states that, for any positive integer $r$, a digraph of minimum out-degree at least $2r-1$ contains at least $r$ vertex-disjoint directed cycles. Bessy, Sereni and Lichiardopol proved that a regular tournament $T$ of minimum degree $2r-1$ contains at least $r$ vertex-disjoint directed cycles, which shows that the above conjecture is true for tournaments. After that, Lichiardopol improved this result by showing that a $2r-1$-regular tournament contains at least $\frac{7}{6}r-\frac{7}{3}$ vertex-disjoint directed cycles. In this paper, we will extend the result to tournaments with minimum out-degree at least $2r-1$ by proving a more general result.

In this paper we study irreducible representations and symbolic Rees algebras of monomial ideals. Then we examine edge ideals associated to vertex-weighted oriented graphs. These are digraphs having no oriented cycles of length two with weights on the vertices. For a monomial ideal with no embedded primes we classify the normality of its symbolic Rees algebra in terms of its primary components. If the primary components of a monomial ideal are normal, we present a simple procedure to compute its symbolic Rees algebra using Hilbert bases, and give necessary and sufficient conditions for the equality between its ordinary and symbolic powers. We give an effective characterization of the Cohen--Macaulay vertex-weighted oriented forests. For edge ideals of transitive weighted oriented graphs we show that Alexander duality holds. It is shown that edge ideals of weighted acyclic tournaments are Cohen--Macaulay and satisfy Alexander duality

An open conjecture of Erdős states that for every positive integer $k$ there is a (least) positive integer $f(k)$ so that whenever a tournament has its edges colored with $k$ colors, there exists a set $S$ of at most $f(k)$ vertices so that every vertex has a monochromatic path to some point in $S$. We consider a related question and show that for every (finite or infinite) cardinal $κ>0$ there is a cardinal $ λ_κ$ such that in every $κ$-edge-coloured tournament there exist disjoint vertex sets $K,S$ with total size at most $ λ_κ$ so that every vertex $ v $ has a monochromatic path of length at most two from $K$ to $v$ or from $v$ to $S$.

A {\em kernel by properly colored paths} of an arc-colored digraph $D$ is a set $S$ of vertices of $D$ such that (i) no two vertices of $S$ are connected by a properly colored directed path in $D$, and (ii) every vertex outside $S$ can reach $S$ by a properly colored directed path in $D$. In this paper, we conjecture that every arc-colored digraph with all cycles properly colored has such a kernel and verify the conjecture for unicyclic digraphs, semi-complete digraphs and bipartite tournaments, respectively. Moreover, weaker conditions for the latter two classes of digraphs are given.

The paper develops a new technique to extract a characteristic subset from a random source that repeatedly samples from a set of elements. Here a characteristic subset is a set that when containing an element contains all elements that have the same probability. With this technique at hand the paper looks at the special case of the tournament isomorphism problem that stands in the way towards a polynomial-time algorithm for the graph isomorphism problem. Noting that there is a reduction from the automorphism (asymmetry) problem to the isomorphism problem, a reduction in the other direction is nevertheless not known and remains a thorny open problem. Applying the new technique, we develop a randomized polynomial-time Turing-reduction from the tournament isomorphism problem to the tournament automorphism problem. This is the first such reduction for any kind of combinatorial object not known to have a polynomial-time solvable isomorphism problem.

The chromatic number of a digraph $D$ is the minimum number of acyclic subgraphs covering the vertex set of $D$. A tournament $H$ is a hero if every $H$-free tournament $T$ has chromatic number bounded by a function of $H$. Inspired by the celebrated Erdős--Hajnal conjecture, Berger et al. fully characterized the class of heroes in 2013. We extend this framework to dense digraphs: A digraph $H$ is a superhero if every $H$-free digraph $D$ has chromatic number bounded by a function of $H$ and $α(D)$, the independence number of the underlying graph of $D$. We prove here that a digraph is a superhero if and only if it is a hero, and hence characterize all superheroes. This answers a question of Aboulker, Charbit and Naserasr.

We define a tournament to be alternation acyclic if it does not contain a cycle in which descents and ascents alternate. Using a result by Athanasiadis on hyperplane arrangements, we show that these tournaments are counted by the median Genocchi numbers. By establishing a bijection with objects defined by Dumont, we show that alternation acyclic tournaments in which at least one ascent begins at each vertex, except for the largest one, are counted by the Genocchi numbers of the first kind. Unexpected consequences of our results include a pair of ordinary generating function formulas for the Genocchi numbers of both kinds and a new very simple model for the normalized median Genocchi numbers.

Seymour's second neighbourhood conjecture asserts that every oriented graph has a vertex whose second out-neighbourhood is at least as large as its out-neighbourhood. In this paper, we prove that the conjecture holds for quasi-transitive oriented graphs, which is a superclass of tournaments and transitive acyclic digraphs. A digraph $D$ is called quasi-transitive is for every pair $xy,yz$ of arcs between distinct vertices $x,y,z$, $xz$ or $zx$ ("or" is inclusive here) is in $D$.