arXiv++ Combinatorics

Brualdi and Li introduced tournament interchange graphs. In such a graph, each vertex represents a tournament. Traversing an edge corresponds to reversing a cyclically directed triangle. Such a triangle is neutral, in that its reversal does not affect the score sequence. An interchange graph encodes the combinatorics of the set of tournaments with a given score sequence, or equivalently, of a given fiber of the classical permutahedron from discrete geometry. Coxeter tournaments were introduced by the first author and Sanchez, in relation to the Coxeter permutahedra in Ardila, Castillo, Eur and Postnikov. Coxeter tournaments have collaborative and solitaire games, in addition to the usual competitive games in classical tournaments. We introduce Coxeter interchange graphs. These graphs are more intricate, as there are multiple neutral structures at play, which interact with one another. Our main result shows that the Coxeter interchange graphs are regular, and we describe the degree geometrically, in terms of distances in the Coxeter permutahedra. We also characterize the set of score sequences of Coxeter tournaments, generalizing a classical result of Landau.

For every fixed $k \ge 4$, it is proved that if an $n$-vertex directed graph has at most $t$ pairwise arc-disjoint directed $k$-cycles, then there exists a set of at most $\frac{2}{3}kt+ o(n^2)$ arcs that meets all directed $k$-cycles and that the set of $k$-cycles admits a fractional cover of value at most $\frac{2}{3}kt$. It is also proved that the ratio $\frac{2}{3}k$ cannot be improved to a constant smaller than $\frac{k}{2}$. For $k=5$ the constant $2k/3$ is improved to $25/8$ and for $k=3$ it was recently shown by Cooper et al. that the constant can be taken to be $9/5$. The result implies a deterministic polynomial time $\frac{2}{3}k$-approximation algorithm for the directed $k$-cycle cover problem, improving upon a previous $(k{-}1)$-approximation algorithm of Kortsarz et al. More generally, for every directed graph $H$ we introduce a graph parameter $f(H)$ for which it is proved that if an $n$-vertex directed graph has at most $t$ pairwise arc-disjoint $H$-copies, then there exists a set of at most $f(H)t+ o(n^2)$ arcs that meets all $H$-copies and that the set of $H$-copies admits a fractional cover of value at most $f(H)t$. It is shown that for almost all $H$ it holds that $f(H) \approx |E(H)|/2$ and that for every $k$-vertex tournament $H$ it holds that $f(H) \le \lfloor k^2/4 \rfloor$.

An {\it inversion} of a tournament $T$ is obtained by reversing the direction of all edges with both endpoints in some set of vertices. Let ${\rm inv}_k(T)$ be the minimum length of a sequence of inversions using sets of size at most $k$ that result in the transitive tournament. Let ${\rm inv}_k(n)$ be the maximum of ${\rm inv}_k(T)$ taken over $n$-vertex tournaments. It is well-known that ${\rm inv}_2(n)=(1+o(1))n^2/4$ and it was recently proved by Alon et al. that ${\rm inv}(n):={\rm inv}_{n}(n)=n(1+o(1))$. In these two extreme cases ($k=2$ and $k=n$), random tournaments are asymptotically extremal objects. It is proved that the random tournament {\em does not} asymptotically attain ${\rm inv}_k(n)$ when $k \ge k_0$ and conjectured that ${\rm inv}_3(n)$ is (only) attained by (quasi) random tournaments. It is further proved that $(1+o(1)){\rm inv}_3(n)/n^2 \in [\frac{1}{12}, 0.0992)$ and $(1+o(1)){\rm inv}_k(n)/n^2 \in [\frac{1}{2k(k-1)}+δ_k, \frac{1}{2 \lfloor k^2/2 \rfloor}-ε_k]$ where $ε_k > 0$ for all $k \ge 3$ and $δ_k > 0$ for all $k \ge k_0$.

We present new algorithms for counting and detecting small tournaments in a given tournament. In particular, it is proved that every tournament on four vertices (there are four) can be detected in $O(n^2)$ time and counted in $O(n^ω)$ time where $ω< 2.373$ is the matrix multiplication exponent. It is also proved that any tournament on five vertices (there are $12$) can be counted in $O(n^{ω+1})$ time. As for lower-bounds, we prove that for almost all $k$-vertex tournaments, the complexity of the detection problem is not easier than the complexity of the corresponding well-studied counting problem for {\em undirected cliques} of order $k-O(\log k)$.

In 1981, Bermond and Thomassen conjectured that for any positive integer $k$, every digraph with minimum out-degree at least $2k-1$ admits $k$ vertex-disjoint directed cycles. In this short paper, we verify the Bermond-Thomassen conjecture for triangle-free multipartite tournaments and 3-partite tournaments. Furthermore, we characterize 3-partite tournaments with minimum out-degree at least $2k-1$ ($k\geq 2$) such that in each set of $k$ vertex-disjoint directed cycles, every cycle has the same length.

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.$

A digraph $D$ is $k$-linked if for any pair of two disjoint sets $\{x_{1},x_{2},\ldots,x_{k}\}$ and $\{y_{1},y_{2},\ldots,y_{k}\}$ of vertices in $D$, there exist vertex disjoint dipaths $P_{1},P_{2},\ldots,P_{k}$ such that $P_{i}$ is a dipath from $x_{i}$ to $y_{i}$ for each $i\in[k]$. Pokrovskiy (JCTB, 2015) confirmed a conjecture of Kühn et al. (Proc. Lond. Math. Soc., 2014) by verifying that every $452k$-connected tournament is $k$-linked. Meng et al. (Eur. J. Comb., 2021) improved this upper bound by showing that any $(40k-31)$-connected tournament is $k$-linked. In this paper, we show a better upper bound by proving that every $\lceil 12.5k-6\rceil$-connected tournament with minimum out-degree at least $21k-14$ is $k$-linked. Furthermore, we improve a key lemma that was first introduced by Pokrovskiy (JCTB, 2015) and later enhanced by Meng et al. (Eur. J. Comb., 2021).

Let $k \geq 2$ be an even integer. Let $q$ be a prime power such that $q \equiv k+1 \pmod {2k}$. We define the $\textit{k-th power Paley digraph}$ of order $q$, $G_k(q)$, as the graph with vertex set $\mathbb{F}_q$ where $a \to b$ is an edge if and only if $b-a$ is a $k$-th power residue. This generalizes the (k=2) Paley Tournament. We provide a formula, in terms of finite field hypergeometric functions, for the number of transitive subtournaments of order four contained in $G_k(q)$, $\mathcal{K}_4(G_k(q))$, which holds for all $k$. We also provide a formula, in terms of Jacobi sums, for the number of transitive subtournaments of order three contained in $G_k(q)$, $\mathcal{K}_3(G_k(q))$. In both cases, we give explicit determinations of these formulae for small $k$. We show that zero values of $\mathcal{K}_4(G_k(q))$ (resp. $\mathcal{K}_3(G_k(q))$) yield lower bounds for the multicolor directed Ramsey numbers $R_{\frac{k}{2}}(4)=R(4,4,\cdots,4)$ (resp. $R_{\frac{k}{2}}(3)$). We state explicitly these lower bounds for $k\leq 10$ and compare to known bounds, showing improvement for $R_2(4)$ and $R_3(3)$. Combining with known multiplicative relations we give improved lower bounds for $R_{t}(4)$, for all $t\geq 2$, and for $R_{t}(3)$, for all $t \geq 3$.

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.

Which conditions ensure that a digraph contains all oriented paths of some given length, or even a all oriented trees of some given size, as a subgraph? One possible condition could be that the host digraph is a tournament of a certain order. In arbitrary digraphs and oriented graphs, conditions on the chromatic number, on the edge density, on the minimum outdegree and on the minimum semidegree have been proposed. In this survey, we review the known results, and highlight some open questions in the area.

We use some moment graph techniques, recently introduced by Lanini and Pütz, to provide a combinatorial description of the smooth locus in flat linear degenerations of flag varieties, generalizing a result proved by Cerulli Irelli, Feigin and Reineke for the Feigin degeneration. Moreover, we propose a different combinatorial criterion linking the smoothness at a fixed point to transitive tournaments.

Let $T=(V,A)$ be a tournament. For $X\subseteq V$, the subtournament of $T$ induced by $X$ is denoted by $T[X]$. A subset $I$ of $V$ is an interval of $T$ provided that for every $a,b\in I$ and $x\in V\setminus I$, $(a,x)\in A$ if and only if $(b,x)\in A$. For example, $\varnothing $, ${x}$ ($x \in V$) and $V$ are intervals of $T$, called trivial intervals. The tournament $T$ is indecomposable if all its intervals are trivial, otherwise, it is decomposable. A critical tournament is an indecomposable tournament $T$ of cardinality $\geqslant 5$ such that every vertex $x$ of $T$ is critical, i.e., the subtournament $T[V(T)\setminus\{x\}]$ is decomposable. Given an indecomposable tournament $T$, a vertex $x$ of $T$ is strongly critical, if for every $X\subseteq V(T)$ such that $x\in X$, $\vert X\vert \geqslant 5$ and $T[X]$ is indecomposable, $x$ is a critical vertex of $T[X]$. Let $T$ be an indecomposable tournament and let $\mathscr{C}(T)$ be the set of the strongly critical vertices of $T$. We prove that, if $T$ is non-critical, then $f(T):=\vert \mathscr{C}(T)\vert \leqslant 4$, and that the correspondence $f(T)$ is decreasing from the class of indecomposable and non-critical tournaments (defined by means of embedding) to $\{0,1,2,3,4\}$. By giving examples, we also verify that the bounds 0 and 4 are optimal. This article is an extract from my master's thesis \cite{mon mastère}.

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.

We introduce the notion of clique number of a tournament and investigate its relation with the dichromatic number. In particular, it permits defining $\dic$-bounded classes of tournaments, which is the paper's main topic.

The traveling tournament problem (TTP) is to minimize the total traveling distance of all teams in a double round-robin tournament. In this paper, we focus on TTP-2, in which each team plays at most two consecutive home games and at most two consecutive away games. For the case where the number of teams $n\equiv2$ (mod 4), Zhao and Xiao (2022) presented a $(1+5/n)$-approximation algorithm. This is a randomized algorithm running in $O(n^3)$ time, and its derandomized version runs in $O(n^4)$ time. In this paper, we present a faster deterministic algorithm running in $O(n^3)$ time, with approximation ratio $1+9/n$. This ratio improves the previous approximation ratios of the deterministic algorithms with the same time complexity.

For a fixed finite set of finite tournaments ${\mathcal F}$, the ${\mathcal F}$-free orientation problem asks whether a given finite undirected graph $G$ has an $\mathcal F$-free orientation, i.e., whether the edges of $G$ can be oriented so that the resulting digraph does not embed any of the tournaments from ${\mathcal F}$. We prove that for every ${\mathcal F}$, this problem is in P or NP-complete. Our proof reduces the classification task to a complete complexity classification of the orientation completion problem for ${\mathcal F}$, which is the variant of the problem above where the input is a directed graph instead of an undirected graph, introduced by Bang-Jensen, Huang, and Zhu (2017). Our proof uses results from the theory of constraint satisfaction, and a result of Agarwal and Kompatscher (2018) about infinite permutation groups and transformation monoids.

This is a graduate-level introduction to graph theory, corresponding to a quarter-long course. It covers simple graphs, multigraphs as well as their directed analogues, and more restrictive classes such as tournaments, trees and arborescences. Among the features discussed are Eulerian circuits, Hamiltonian cycles, spanning trees, the matrix-tree and BEST theorems, proper colorings, Turan's theorem, bipartite matching and the Menger and Gallai--Milgram theorems. The basics of network flows are introduced in order to prove Hall's marriage theorem. Around a hundred exercises are included (without solutions).

We prove that for every oriented graph $D$ and every choice of positive integers $k$ and $\ell$, there exists an oriented graph $D^*$ along with a surjective homomorphism $ψ\colon V(D^*) \to V(D)$ such that: (i) girth$(D^*) \geq\ell$; (ii) for every oriented graph $C$ with at most $k$ vertices, there exists a homomorphism from $D^*$ to $C$ if and only if there exists a homomorphism from $D$ to $C$; and (iii) for every $D$-pointed oriented graph $C$ with at most $k$ vertices and for every homomorphism $\varphi\colon V(D^*) \to V(C)$ there exists a unique homomorphism $f\colon V(D) \to V(C)$ such that $\varphi=f \circ ψ$. Determining the oriented chromatic number of an oriented graph $D$ is equivalent to finding the smallest integer $k$ such that $D$ admits a homomorphism to an order-$k$ tournament, so our main theorem yields results on the girth and oriented chromatic number of oriented graphs. While our main proof is probabilistic (hence nonconstructive), for any given $\ell\geq 3$ and $k\geq 5$, we include a construction of an oriented graph with girth $\ell$ and oriented chromatic number $k$.

Erdős and Hajnal conjectured that for every graph $H$, there exists $c>0$ such that every $H$-free graph $G$ has a clique or a stable set of size at least $|G|^c$ (a graph is $H$-free if it has no induced subgraph isomorphic to $H$). Alon, Pach, and Solymosi reduced the Erdős-Hajnal conjecture to the case when $H$ is {\em prime} (that is, $H$ cannot be obtained by vertex-substitution from smaller graphs); but until now, it was not shown for any prime graph with more than five vertices. We will provide infinitely many prime graphs that satisfy the conjecture. Let $H$ be a graph with the property that for every prime induced subgraph $G'$ with $|G'|\ge 3$, $G'$ has a vertex of degree one and a vertex of degree $|G'|-2$. We will prove that every graph $H$ with this property satisfies the Erdős-Hajnal conjecture, and infinitely many graphs with this property are prime. More generally, say a graph is {\em buildable} if every prime induced subgraph with at least three vertices has a vertex of degree one. We prove that if $H_1$ and $\overline{H_2}$ are buildable, there exists $c>0$ such that every graph $G$ that is both $H_1$-free and $H_2$-free has a clique or a stable set of size at least $|G|^c$. Our proof uses a new technique of ``iterative sparsification'', where we pass to a sequence of successively more restricted induced subgraphs. This approach also extends to ordered graphs and to tournaments. For ordered graphs, we obtain a theorem which significantly extends a recent result of Pach and Tomon about excluding monotone paths; and for tournaments, we obtain infinitely many new prime tournaments that satisfy the Erdős-Hajnal conjecture (in tournament form).

Let $D=\left( V,A\right) $ be a digraph with $n$ vertices, where each arc $a\in A$ is a pair $\left( u,v\right) $ of two vertices. We study the \emph{Redei--Berge symmetric function} $U_{D}$, defined as the quasisymmetric function% \[ \sum L_{\operatorname*{Des}\left( w,D\right) ,\ n}\in\operatorname*{QSym}. \] Here, the sum ranges over all lists $w=\left( w_{1},w_{2},\ldots ,w_{n}\right) $ that contain each vertex of $D$ exactly once, and the corresponding addend is% \[ L_{\operatorname*{Des}\left( w,D\right) ,\ n}:=\sum_{\substack{i_{1}\leq i_{2}\leq\cdots\leq i_{n};\ı_{p}<i_{p+1}\text{ for each }p\text{ satisfying }\left( w_{p},w_{p+1}\right) \in A}}x_{i_{1}}x_{i_{2}}\cdots x_{i_{n}}% \] (an instance of Gessel's fundamental quasisymmetric functions). While $U_{D}$ is a specialization of Chow's path-cycle symmetric function, which has been studied before, we prove some new formulas that express $U_{D}$ in terms of the power-sum symmetric functions. We show that $U_{D}$ is always $p$-integral, and furthermore is $p$-positive whenever $D$ has no $2$-cycles. When $D$ is a tournament, $U_{D}$ can be written as a polynomial in $p_{1},2p_{3},2p_{5},2p_{7},\ldots$ with nonnegative integer coefficients. By specializing these results, we obtain the famous theorems of Redei and Berge on the number of Hamiltonian paths in digraphs and tournaments, as well as a modulo-$4$ refinement of Redei's theorem.