arXiv++ Combinatorics

We give a new proof of the sufficiency of Landau's conditions for a non-decreasing sequence of integers to be the score sequence of a tournament. The proof involves jumping down a total order on sequences satisfying Landau's conditions and provides a $O(n^2)$ algorithm that can be used to construct a tournament whose score sequence is any in the total order. We also compare this algorithm with to other algorithms that jump along this total order, one jumping down and one jumping up.

We consider $4$-uniform hypergraphs with the maximum number of hyperedges subject to the condition that every set of $5$ vertices spans either $0$ or exactly $2$ hyperedges and give a construction, using quadratic residues, for an infinite family of such hypergraphs with the maximum number of hyperedges. Baber has previously given an asymptotically best-possible result using random tournaments. We give a connection between Baber's result and our construction via Paley tournaments and investigate a `switching' operation on tournaments that preserves hypergraphs arising from this construction.

Seymour's second neighborhood conjecture states that every simple digraph (without digons) has a vertex whose first out-neighborhood is at most as large as its second out-neighborhood. Such a vertex is said to have the second neighborhood property (SNP). We define "good" digraphs and prove a statement that implies that every feed vertex of a tournament has the SNP. In the case of digraphs missing a matching, we exhibit a feed vertex with the SNP by refining a proof due to Fidler and Yuster and using good digraphs. Moreover, in some cases we exhibit two vertices with SNP.

We study time scheduling problems with allowed absences as a new kind of graph coloring problem. One may think of a sport tournament where each player (each team) is permitted a certain number $t$ of absences. We then examine how many rounds are needed to schedule the whole tournament in the worst case. This upper limit depends on $t$ and on the structure of the graph $G$ whose edges represent the games that have to be played, but also on whether or not the absences are announced before the tournament starts. Therefore, we actually have two upper limits for the number of required rounds. We have $χ^t(G)$ for pre-scheduling if all absences are pre-fixed, and we have $χ_{\textit{OL}}^t(G)$ for on-line scheduling if we have to stay flexible and deal with absences when they occur. We conjecture that $χ^t(G)=Δ(G)+2t$ and that $χ_{\textit{OL}}^t(G)=χ'(G)+2t.$ The first conjecture is stronger than the Total Coloring Conjecture while the second is weaker than the On-Line List Edge Coloring Conjecture. Our conjectures hold for all bipartite graphs. For complete graphs, we prove them partially. Lower and upper bounds to $χ^t(G)$ and $χ_{\textit{OL}}^t(G)$ for general multigraphs $G$ are established, too.

A celebrated unresolved conjecture of Erdős and Hajnal states that for every undirected graph $H$ there exists $ε(H)>0$ such that every undirected graph on $n$ vertices that does not contain $H$ as an induced subgraph contains a clique or stable set of size at least $n^{ε(H)}$. The conjecture has a directed equivalent version stating that for every tournament $H$ there exists $ε(H)>0$ such that every $H$-free $n$-vertex tournament $T$ contains a transitive subtournament of order at least $n^{ε(H)}$. We say that a tournament is \textit{prime} if it does not have nontrivial homogeneous sets. So far the conjecture was proved only for some specific families of prime tournaments (\cite{chorochudber, choromanski2}) and tournaments constructed according to the so-called \textit{substitution procedure}(\cite{alon}). In particular, recently the conjecture was proved for all five-vertex tournaments (\cite{chorochudber}), but the question about the correctness of the conjecture for all six-vertex tournaments remained open. In this paper we prove that all but at most one six-vertex tournament satisfy the Erdős-Hajnal conjecture. That reduces the six-vertex case to a single tournament.

The \textit{acyclic disconnection} $\overrightarrow{ω}(D)$ (resp. the \textit{directed triangle free disconnection } $\overrightarrow{ω}_{3}(D)$) of a digraph $D$ is defined as the maximum possible number of connected components of the underlying graph of $D\setminus A(D^{\ast })$ where $D^{\ast }$ is an acyclic (resp. a directed triangle free) subdigraph of $D$. In this paper, we generalize some previous results and solve some problems posed by V. Neumann-Lara (The acyclic disconnection of a digraph, Discrete Math. 197/198 (1999), 617-632). Let $\overrightarrow{C}_{2n+1}(J)$ be a circulant tournament. We prove that $\overrightarrow{C}_{2n+1}(J)$ is $\overrightarrow{% ω}$-keen and $\overrightarrow{ω_{3}}$-keen, respectively, and $% \overrightarrow{ω}(\overrightarrow{C}_{2n+1}(J))=\overrightarrow{% ω}_{3}(\overrightarrow{C}_{2n+1}(J))=2$ for every $\overrightarrow{C}% _{2n+1}(J)$. Finally, it is showed that $\overrightarrow{ω}_{3}(% \overrightarrow{C}_{2n+1}(J))=2$, $\overrightarrow{C}_{2n+1}(J)$ is simple and $J$ is aperiodic are equivalent propositions.

The paper suggests a family of paired comparison-based scoring procedures for ranking the participants of a Swiss system chess team tournament. We present the challenges of ranking in Swiss system, the features of individual and team competitions as well as the failures of the official rankings based on lexicographical order. The tournament is represented as a ranking problem such that the linearly-solvable row sum (score), generalized row sum, and least squares methods have favourable axiomatic properties. Two chess team European championships are analysed as case studies. Final rankings are compared by their distances and visualized with multidimensional scaling (MDS). Differences to the official ranking are revealed by the decomposition of the least squares method. Rankings are evaluated by prediction power, retrodictive performance, and stability. The paper argues for the use of least squares method with a results matrix favouring match points on the basis of its relative insensitivity to the choice between match and board points, retrodictive accuracy, and robustness.

Ladder tournaments are widely used to rank individuals in real-world organizations and games. Their mathematical properties however are still poorly understood. We formalize the ranking rule generated by a ladder tournament, and we show that it is neither complete nor transitive in general. If it is complete, then it is transitive and its asymmetric component is a finite union of transitive tournaments. We also study the relationship between an individual's rank and his performance as measured by the frequency at which he is pivotal. We show an individual's pivotability is a weakly increasing function of his rank.

We propose a purely combinatorial quadratic time algorithm that for any $n$-vertex $P_{k}$-free tournament $T$, where $P_{k}$ is a directed path of length $k$, finds in $T$ a transitive subset of order $n^{\frac{c}{k\log(k)^{2}}}$. As a byproduct of our method, we obtain subcubic $O(n^{1-\frac{c}{k\log(k)^{2}}})$-approximation algorithm for the optimal acyclic coloring problem on $P_{k}$-free tournaments. Our results are tight up to the $\log(k)$-factor in the following sense: there exist infinite families of $P_{k}$-free tournaments with largest transitive subsets of order at most $n^{\frac{c\log(k)}{k}}$. As a corollary, we give tight asymptotic results regarding the so-called \textit{Erdős-Hajnal coefficients} of directed paths. These are some of the first asymptotic results on these coefficients for infinite families of prime graphs.

We prove that the proof of existence of weighted local median order of weighted tournaments is wrong and that the proof of the correct statement which asserts that every digraph obtained from a tournament by deleting a set of arcs incident to the same vertex contains a mistake, in the paper entitled "Remarks on the second neighborhood problem". We introduce correct proofs of each.

Moser asked for a construction of explicit tournaments on $n$ vertices having at least $(\frac{n}{3e})^n$ Hamilton cycles. We show that he could have asked for rather more.

Starting from an innocent Ramsey-theoretic question regarding directed paths in tournaments, we discover a series of rich and surprising connections that lead into the theory around a fundamental problem in Combinatorics: the Ruzsa-Szemerédi induced matching problem. Using these relationships, we prove that every coloring of the edges of the transitive $n$-vertex tournament using three colors contains a directed path of length at least $\sqrt{n} \cdot e^{\log^* n}$ which entirely avoids some color. We also expose connections to a family of constructions for Ramsey tournaments, and introduce and resolve some natural generalizations of the Ruzsa-Szemerédi problem which we encounter through our investigation.

We study the density of fixed strongly connected subtournaments on 5 vertices in large tournaments. We determine the maximum density asymptotically for five tournaments as well as unique extremal sequences for each tournament. As a byproduct we also characterize tournaments that are recursive blow-ups of a 3-cycle as tournaments that avoid three specific tournaments of size 5.

An arc-coloured digraph $D$ is said to be \emph{rainbow connected} if for every two vertices $u$ and $v$ there is an $uv$-path all whose arcs have different colours. The minimun number of colours required to make the digraph rainbow connected is called the \emph{rainbow connection number} of $D$, denoted $\stackrel{\rightarrow}{rc}(D)$. In \cite{Dorbec} it was showed that if $T$ is a strong tournament with $n\geq 5$ vertices, then $2\leq \stackrel{\rightarrow}{rc}(T)\leq n-1$; and that for every $n$ and $k$ such that $3\leq k\leq n-1$, there exists a tournament $T$ on $n$ vertices such that $\stackrel{\rightarrow}{rc}(T)=k$. In this note it is showed that for any $n\ge6$, there is a tournament $T$ of $n$ vertices such that $\stackrel{\rightarrow}{rc}(T)=2$.

Coloring graphs is an important algorithmic problem in combinatorics with many applications in computer science. In this paper we study coloring tournaments. A chromatic number of a random tournament is of order $Ω(\frac{n}{\log(n)})$. The question arises whether the chromatic number can be proven to be smaller for more structured nontrivial classes of tournaments. We analyze the class of tournaments defined by a forbidden subtournament $H$. This paper gives a first quasi-polynomial algorithm running in time $e^{O(\log(n)^{2})}$ that constructs colorings of $H$-free tournaments using only $O(n^{1-ε(H)}\log(n))$ colors, where $ε(H) \geq 2^{-2^{50|H|^{2}+1}}$ for many forbidden tournaments $H$. To the best of our knowledge all previously known related results required at least sub-exponential time and relied on the regularity lemma. Since we do not use the regularity lemma, we obtain the first known lower bounds on $ε(H)$ that can be given by a closed-form expression. As a corollary, we give a constructive proof of the celebrated open Erdős-Hajnal conjecture with explicitly given lower bounds on the EH coefficients for all classes of prime tournaments for which the conjecture is known. Such a constractive proof was not known before. Thus we significantly reduce the gap between best lower and upper bounds on the EH coefficients from the conjecture for all known prime tournaments that satisfy it. We also briefly explain how our methods may be used for coloring $H$-free tournaments under the following conditions: $H$ is any tournament with $\leq 5$ vertices or: $H$ is any but one tournament of six vertices.

A tournament is called locally transitive if the outneighbourhood and the inneighbourhood of every vertex are transitive. Equivalently, a tournament is locally transitive if it avoids the tournaments $W_4$ and $L_4$, which are the only tournaments up to isomorphism on four vertices containing a unique $3$-cycle. On the other hand, a sequence of tournaments $(T_n)_{n\in\mathbb{N}}$ with $|V(T_n)| = n$ is called almost balanced if all but $o(n)$ vertices of $T_n$ have outdegree $(1/2 + o(1))n$. In the same spirit of quasi-random properties, we present several characterizations of tournament sequences that are both almost balanced and asymptotically locally transitive in the sense that the density of $W_4$ and $L_4$ in $T_n$ goes to zero as $n$ goes to infinity.

We study the Maker-Breaker tournament game played on the edge set of a given graph $G$. Two players, Maker and Breaker claim unclaimed edges of $G$ in turns, and Maker wins if by the end of the game she claims all the edges of a pre-defined goal tournament. Given a tournament $T_k$ on $k$ vertices, we determine the threshold bias for the $(1:b)$ $T_k$-tournament game on $K_n$. We also look at the $(1:1)$ $T_k$-tournament game played on the edge set of a random graph ${\mathcal{G}_{n,p}}$ and determine the threshold probability for Maker's win. We compare these games with the clique game and discuss whether a random graph intuition is satisfied.

A finite set $X$ in a complex sphere is called a complex spherical $2$-code if the number of inner products between two distinct vectors in $X$ is equal to $2$. In this paper, we characterize the tight complex spherical $2$-codes by doubly regular tournaments, or skew Hadamard matrices. We also give certain maximal 2-codes relating to skew-symmetric $D$-optimal designs. To prove them, we show the smallest embedding dimension of a tournament into a complex sphere by the multiplicity of the smallest or second-smallest eigenvalue of the Seidel matrix.

We describe a round robin scheduling problem for a competition played in two divisions, motivated by a scheduling problem brought to the second author by a local sports organisation. The first division has teams from 2n clubs, and is played in a double round robin in which the draw for the second round robin is identical to the first. The second division has teams from two additional clubs, and is played as a single round robin during the first 2n+1 rounds of the first division. We will say that two clubs have a **common fixture** if their teams in division one and two are scheduled to play each other in the same round, and show that for n>1 the maximum possible number of common fixtures is 2n^2 - 3n + 4. Our construction of draws achieving this maximum is based on a bipyramidal one-factorisation of K_{2n}, which represents the draw in division one. Moreover, if we additionally require the home and away status of common fixtures to be the same in both divisions, we show that the draw can be chosen to be balanced in all three round robins.

Let $D_k$ denote the tournament on $3k$ vertices consisting of three disjoint vertex classes $V_1, V_2$ and $V_3$ of size $k$, each of which is oriented as a transitive subtournament, and with edges directed from $V_1$ to $V_2$, from $V_2$ to $V_3$ and from $V_3$ to $V_1$. Fox and Sudakov proved that given a natural number $k$ and $ε> 0$ there is $n_0(k,ε)$ such that every tournament of order $n_0(k,ε)$ which is $ε$-far from being transitive contains $D_k$ as a subtournament. Their proof showed that $n_0(k,ε) \leq ε^{-O(k/ε^2)}$ and they conjectured that this could be reduced to $n_0(k,ε) \leq ε^{-O(k)}$. Here we prove this conjecture.