arXiv++ Combinatorics

We prove the following new results. (a) Let $T$ be a regular tournament of order $2n+1\geq 11$ and $S$ a subset of $V(T)$. Suppose that $|S|\leq \frac{1}{2}(n-2)$ and $x$, $y$ are distinct vertices in $V(T)\setminus S$. If the subtournament $T-S$ contains an $(x,y)$-path of length $r$, where $3\leq r\leq |V(T)\setminus S|-2$, then $T-S$ also contains an $(x,y)$-path of length $r+1$. (b) Let $T$ be an $m$-irregular tournament of order $p$, i.e., $|d^+(x)-d^-(x)|\le m$ for every vertex $x$ of $T.$ If $m\leq \frac{1}{3}(p-5)$ (respectively, $m\leq \frac{1}{5}(p-3)$), then for every pair of vertices $x$ and $y$, $T$ has an $(x,y)$-path of any length $k$, $4\leq k\leq p-1$ (respectively, $3\leq k\leq p-1$ or $T$ belongs to a family $\cal G$ of tournaments, which is defined in the paper). In other words, (b) means that if the semidegrees of every vertex of a tournament $T$ of order $p$ are between $\frac{1}{3}(p+1)$ and $\frac{2}{3}(p-2)$ (respectively, between $\frac{1}{5}(2p-1)$ and $\frac{1}{5}(3p-4)$), then the claims in (b) hold. Our results improve in a sense related results of Alspach (1967), Jacobsen (1972), Alspach et al. (1974), Thomassen (1978) and Darbinyan (1977, 1978, 1979), and are sharp in a sense.

E. R. Lamken prove in [5] that there exists a partitioned balanced tournament design of side $n$, PBTD($n$), for $n$ a positive integer, $n \ge 5$, except possibly for $n \in \{9,11,15\}$. In this article, we show the existence of PBTD($n$) for $n \in \{9,11,15\}$. As a consequence, the existence of PBTD($n$) has been completely determined.

A tournament is $k$-spectrally monomorphic if all the $k\times k$ principal submatrices of its adjacency matrix have the same characteristic polynomial. Transitive $n$-tournaments are trivially $k$-spectrally monomorphic. We show that there are no other for $k\in \{3,\ldots,n-3\} $. Furthermore, we prove that for $n\geq 5$, a non-transitive $n$-tournament is $(n-2)$-spectrally monomorphic if and only if it is doubly regular. Finally, we give some results on $(n-1)$-spectrally monomorphic regular tournaments.

A $(0,1)$-labelling of a set is said to be {\em friendly} if approximately one half the elements of the set are labelled 0 and one half labelled 1. Let $g$ be a labelling of the edge set of a graph that is induced by a labelling $f$ of the vertex set. If both $g$ and $f$ are friendly then $g$ is said to be a {\em cordial} labelling of the graph. We extend this concept to directed graphs and investigate the cordiality of sets of directed graphs. We investigate a specific type of cordiality on digraphs, a restriction of quasigroup-cordiality called $(2,3)$-cordiality. A directed graph is $(2,3)$-cordial if there is a friendly labelling $f$ of the vertex set which induces a $(1,-1,0)$-labelling of the arc set $g$ such that about one third of the arcs are labelled 1, about one third labelled -1 and about one third labelled 0. In particular we determine which tournaments are $(2,3)$-cordial, which orientations of the $n$-wheel are $(2,3)$-cordial, and which orientations of the $n -$fan are $(2,3)$-cordial.

The study of problems concerning subdivisions of graphs has a rich history in extremal combinatorics. Confirming a conjecture of Burr and Erdős, Alon proved in 1994 that subdivided graphs have linear Ramsey numbers. Later, Alon, Krivelevich and Sudakov showed that every $n$-vertex graph with at least $\varepsilon n^2$ edges contains a $1$-subdivision of the complete graph on $c_{\varepsilon}\sqrt{n}$ vertices, resolving another old conjecture of Erdős. In this paper we consider the directed analogue of these problems and show that every tournament on at least $(2+o(1))k^2$ vertices contains the 1-subdivision of a transitive tournament on $k$ vertices. This is optimal up to a multiplicative factor of 4 and confirms a conjecture of Girão, Popielarz and Snyder.

Continuing the program begun in the first paper of this series, we present a pair of non-reconstructable tournament on $p$ vertices for each $p=2^n \ge 4$.

The oriented Ramsey number $\vec{r}(H)$ for an acyclic digraph $H$ is the minimum integer $n$ such that any $n$-vertex tournament contains a copy of $H$ as a subgraph. We prove that the $1$-subdivision of the $k$-vertex transitive tournament $H_k$ satisfies $\vec{r}(H_k)= O(k^2\log\log k)$. This is tight up to multiplicative $\log\log k$-term. We also show that if $T$ is an $n$-vertex tournament with $Δ^+(T)-δ^+(T)= O(n/k) - k^2$, then $T$ contains a $1$-subdivision of $\vec{K}_k$, a complete $k$-vertex digraph with all possible $k(k-1)$ arcs. This is also tight up to multiplicative constant.

Following on the King Chicken Theorems originally proved by Maurer, we examine the idea of multiple flocks of chickens by bringing the chickens from tournaments to multipartite tournaments. As Kings have already been studied in multipartite settings, notably by Koh-Tan and Petrovic-Thomassen, we examine a new type of chicken more suited than Kings for these multipartite graphs: Dukes. We define an M-Duke to be a vertex from which any vertex in a different partite set is accessible by a directed path of length at most M. In analogy with Maurer's paper, we prove various structural results regarding Dukes. In particular, we prove the existence of 3-Dukes in all multipartite tournaments, and we conclude by proving that in any multipartite tournament, either there is a 1-Duke, three 2-Dukes, or four 3-Dukes.

We consider the problem of decomposing the edges of a directed graph into as few paths as possible. There is a natural lower bound for the number of paths needed in an edge decomposition of a directed graph $D$ in terms of its degree sequence: this is given by the excess of $D$, which is the sum of $|d^+(v) - d^-(v)|/2$ over all vertices $v$ of $D$ (here $d^+(v)$ and $d^-(v)$ are, respectively, the out- and indegree of $v$). A conjecture due to Alspach, Mason and Pullman from 1976 states that this bound is correct for tournaments of even order. The conjecture was recently resolved for large tournaments. Here we investigate to what extent the conjecture holds for directed graphs in general. In particular, we prove that the conjecture holds with high probability for the random directed graph $D_{n,p}$ for a large range of $p$ (thus proving that it holds for most directed graphs). To be more precise, we define a deterministic class of directed graphs for which we can show the conjecture holds, and later show that the random digraph belongs to this class with high probability. Our techniques involve absorption and flows.

A tournament is unimodular if the determinant of its skew-adjacency matrix is $1$. In this paper, we give some properties and constructions of unimodular tournaments. A unimodular tournament $T$ with skew-adjacency matrix $S$ is invertible if $S^{-1}$ is the skew-adjacency matrix of a tournament. A spectral characterization of invertible tournaments is given. Lastly, we show that every $n$-tournament can be embedded in a unimodular tournament by adding at most $n - \lfloor\log_2(n)\rfloor$ vertices.

A dominating set in a directed graph is a set of vertices $S$ such that all the vertices that do not belong to $S$ have an in-neighbour in $S$. A locating set $S$ is a set of vertices such that all the vertices that do not belong to $S$ are characterized uniquely by the in-neighbours they have in $S$, i.e. for every two vertices $u$ and $v$ that are not in $S$, there exists a vertex $s\in S$ that dominates exactly one of them. The size of a smallest set of a directed graph $D$ which is both locating and dominating is denoted by $γ^{LD}(D)$. Foucaud, Heydarshahi and Parreau proved that any twin-free digraph $D$ satisfies $γ^{LD}(D)\leq \frac{4n} 5 +1$ but conjectured that this bound can be lowered to $\frac{2n} 3$. The conjecture is still open. They also proved that if $D$ is a tournament, i.e. a directed graph where there is one arc between every pair of vertices, then $γ^{LD}(D)\leq \lceil \frac{n}{2}\rceil$. The main result of this paper is the generalization of this bound to connected local tournaments, i.e. connected digraphs where the in- and out-neighbourhoods of every vertex induce a tournament. We also prove $γ^{LD}(D)\leq \frac{2n} 3$ for all quasi-twin-free digraphs $D$ that admit a supervising vertex (a vertex from which any vertex is reachable). This class of digraphs generalizes twin-free acyclic graphs, the most general class for which this bound was known.

Ryser proved that any two tournaments with the same score sequence are $C_3$-equivalent while Beineke and Moon proved the $C_4$-equivalence for any two bipartite tournaments with the same score lists. In this paper, we extend these results to orientations of $G$ vertex-multiplications. We focus on two main areas, namely orientations with the same score list and with score-list parity. Our main tools are extensions of the refinement technique, directed difference graph and a reduction lemma.

Suppose $\mathbb{F}$ is a field and let $\mathbf{a} := (a_1, a_2, \dotsc)$ be a sequence of non-zero elements in $\mathbb{F}$. For $\mathbf{a}_n := (a_1, \dotsc, a_n)$, we consider the family $\mathcal{M}_n(\mathbf{a})$ of $n \times n$ symmetric matrices $M$ over $\mathbb{F}$ with all diagonal entries zero and the $(i, j)$th element of $M$ either $a_i$ or $a_j$ for $i < j$. In this short paper, we show that all matrices in a certain subclass of $\mathcal{M}_n(\mathbf{a})$ -- which can be naturally associated with transitive tournaments -- have rank at least $\lfloor 2n/3 \rfloor - 1$. We also show that if $\operatorname{char}(\mathbb{F}) \neq 2$ and $M$ is a matrix chosen uniformly at random from $\mathcal{M}_n(\mathbf{a})$, then with high probability $\operatorname{rank}(M) \geq \bigl(\frac{1}{2} - o(1)\bigr)n$.

The neighborhood complex of a graph was introduced by Lovász to provide topological lower bounds on chromatic number. More general homomorphism complexes of graphs were further studied by Babson and Kozlov. Such `Hom complexes' are also related to mixings of graph colorings and other reconfiguration problems, as well as a notion of discrete homotopy for graphs. Here we initiate the detailed study of Hom complexes for directed graphs (digraphs). For any pair of digraphs graphs $G$ and $H$, we consider the polyhedral complex $\text{Hom}(G,H)$ that parametrizes the directed graph homomorphisms $f: G \rightarrow H$. Hom complexes of digraphs have applications in the study of chains in graded posets and cellular resolutions of monomial ideals. We study examples of directed Hom complexes and relate their topological properties to certain graph operations including products, adjunctions, and foldings. We introduce a notion of a neighborhood complex for a digraph and prove that its homotopy type is recovered as the Hom complex of homomorphisms from a directed edge. We establish a number of results regarding the topology of directed neighborhood complexes, including the dependence on directed bipartite subgraphs, a digraph version of the Mycielski construction, as well as vanishing theorems for higher homology. The Hom complexes of digraphs provide a natural framework for reconfiguration of homomorphisms of digraphs. Inspired by notions of directed graph colorings we study the connectivity of $\text{Hom}(G,T_n)$ for $T_n$ a tournament. Finally, we use paths in the internal hom objects of digraphs to define various notions of homotopy, and discuss connections to the topology of Hom complexes.

A digraph $D$ is $k$-linked if it satisfies that for every choice of disjoint sets $\{x_1,\ldots{},x_k\}$ and $\{y_1,\ldots{},y_k\}$ of vertices of $D$ there are vertex disjoint paths $P_1,\ldots{},P_k$ such that $P_i$ is an $(x_i,y_i)$-path. Confirming a conjecture by Kühn et al, Pokrovskiy proved in 2015 that every $452k$-strong tournament is $k$-linked and asked for a better linear bound. Very recently Meng et al proved that every $(40k-31)$-strong tournament is $k$-linked. In this note we use an important lemma from their paper to give a short proof that every $(13k-6)$-strong tournament of minimum out-degree at least $28k-13$ is $k$-linked.

Let $H$ be a digraph possibly with loops, $D$ a digraph without loops, and $ρ: A(D) \rightarrow V(H)$ a coloring of $A(D)$ ($D$ is said to be an $H$-colored digraph). If $W=(x_{0}, \ldots , x_{n})$ is a walk in $D$, and $i \in \{ 0, \ldots , n-1 \}$, we say that there is an obstruction on $x_{i}$ whenever $(ρ(x_{i-1}, x_{i}), ρ(x_{i}, x_{i+1})) \notin A(H)$ (when $x_{0} = x_{n}$ the indices are taken modulo $n$). We denote by $O_{H}(W)$ the set $\{ i \in \{0, \ldots , n-1 \} :$ there is an obstruction on $x_{i} \}$. The $H$-length of $W$, denoted by $l_{H}(W)$, is defined by $|O_{H}(W)|+1$ whenever $x_{0} \neq x_{n}$, or $|O_{H}(W)|$ in other case. A $(k, H)$-kernel of an $H$-colored digraph $D$ ($k \geq 2$) is a subset of vertices of $D$, say $S$, such that, for every pair of different vertices in $S$, every path between them has $H$-length at least $k$, and for every vertex $x \in V(D) \setminus S$ there exists an $xS$-path with $H$-length at most $k-1$. This concept widely generalize previous nice concepts as kernel, $k$-kernel, kernel by monochromatic paths, kernel by properly colored paths, and $H$-kernel. In this paper, we will study the existence of $(k,H)$-kernels in interesting classes of digraphs, called nearly tournaments, which have been large and widely studied due its applications and theoretical results. We will show several conditions that guarantee the existence of $(k,H)$-kernel in tournaments, $r$-transitive digraphs, $r$-quasi-transitive digraphs, multipartite tournaments, and local tournaments.

We provide a new geometric interpretation of the multidegrees of the (iterated) Kapranov embedding $Φ_n:\overline{M}_{0,n+3}\hookrightarrow \mathbb{P}^1\times \mathbb{P}^2\times \cdots \times \mathbb{P}^n$, where $\overline{M}_{0,n+3}$ is the moduli space of stable genus $0$ curves with $n+3$ marked points. We enumerate the multidegrees by disjoint sets of boundary points of $\overline{M}_{0,n+3}$ via a combinatorial algorithm on trivalent trees that we call a lazy tournament. These sets are compatible with the forgetting maps used to derive the recursion for the multidegrees proven in 2020 by Gillespie, Cavalieri, and Monin. The lazy tournament points are easily seen to total $(2n-1)!!=(2n-1)\cdot (2n-3) \cdots 5 \cdot 3 \cdot 1$, giving a natural proof of the fact that the total degree of $Φ_n$ is the odd double factorial. This fact was first proven using an insertion algorithm on certain parking functions, and we additionally give a bijection to those parking functions.

We look at structures that must be removed (or reversed) in order to make acyclic a given oriented graph. For a directed acyclic graph $H$ and an oriented graph $G$, let $f_H(G)$ be the maximum number of pairwise disjoint copies of $H$ that can be found in {\em all} feedback arc sets of $G$. In particular, to make $G$ acyclic, one must remove (or reverse) $f_H(G)$ pairwise disjoint copies of $H$. Most intriguing is the case where $H$ is a $k$-clique, where the parameter is denoted by $f_k(G)$. Determining $f_k(G)$ for arbitrary $G$ seems challenging. Here we determine $f_k(G)$ precisely for almost all $k$-partite tournaments. Let $s(G)$ denote the size of the smallest vertex class of a $k$-partite tournament $G$. We prove that for all sufficiently large $s=s(G)$, a random $k$-partite tournament $G$ satisfies $f_k(G) = s(G)-k+1$ almost surely. In particular, as the title states, $f_k(G) = \lfloor n/k\rfloor-k+1$ almost surely, where $G$ is a random orientation of the Turán graph $T(n,k)$.

In 1974, Erdős posed the following problem. Given an oriented graph $H$, determine or estimate the maximum possible number of $H$-free orientations of an $n$-vertex graph. When $H$ is a tournament, the answer was determined precisely for sufficiently large $n$ by Alon and Yuster. In general, when the underlying undirected graph of $H$ contains a cycle, one can obtain accurate bounds by combining an observation of Kozma and Moran with celebrated results on the number of $F$-free graphs. As the main contribution of the paper, we resolve all remaining cases in an asymptotic sense, thereby giving a rather complete answer to Erdős's question. Moreover, we determine the answer exactly when $H$ is an odd cycle and $n$ is sufficiently large, answering a question of Araújo, Botler and Mota.

Let $n,k,t$ be positive integers. What is the maximum number of arcs in a digraph on $n$ vertices in which there are at most $t$ distinct walks of length $k$ with the same endpoints? In this paper, we prove that the maximum number is equal to $n(n-1)/2$ and the extremal digraph are the transitive tournaments when $k\ge n-1\ge \max\{2t+1,2\left\lceil \sqrt{2t+9/4}+1/2\right\rceil+3\}$. Based on this result, we may determine the maximum numbers and the extremal digraphs for $k\ge \max\{2t+1,2\left\lceil \sqrt{2t+9/4}+1/2\right\rceil+3\}$ and $n$ is sufficiently large, which generalises the existing results. A conjecture is also presented.