arXiv++ Combinatorics

The classical paradox of social choice theory asserts that there is no fair way to deterministically select a winner in an election among more than two candidates; the only definite collective preferences are between individual pairs of candidates. Combinatorially, one may summarize this information with a graph-theoretic tournament on N vertices (one per candidate), placing an edge from U to V if U would beat V in an election between only those two candidates (no ties are permitted). One well-studied procedure for selecting a winner is to specify a complete binary tree whose leaves are labeled by the candidates, and evaluate it by running pairwise elections between the pairs of leaves, sending the winners to successive rounds of pairwise elections which ultimately terminate with a single winner. This structure is called a voting tree. Much research has investigated which functions on tournaments are computable in this way. Fischer, Procaccia, and Samorodnitsky quantitatively studied the computability of the Copeland rule, which returns a vertex of maximum out-degree in the given tournament. Perhaps surprisingly, the best previously known voting tree could only guarantee a returned out-degree of at least log_2 N, despite the fact that every tournament has a vertex of degree at least (N-1)/2. In this paper, we present three constructions, the first of which substantially improves this guarantee to Θ(sqrt{N}). The other two demonstrate the richness of the voting tree universe, with a tree that resists manipulation, and a tree which implements arithmetic modulo three.

A generalized balanced tournament design, or a GBTD(k, m) in short, is a (km, k, k-1)-BIBD defined on a km-set V . Its blocks can be arranged into an m\times(km-1) array in such a way that (1) every element of V is contained in exactly one cell of each column, and (2) every element of V is contained in at most k cells of each row. In this paper, we present a new construction for GBTDs and show that a GBTD(p,p) exists for any prime number p \geq 3.

Let $U_5$ be the tournament with vertices $v_1$, ..., $v_5$ such that $v_2 \rightarrow v_1$, and $v_i \rightarrow v_j$ if $j-i \equiv 1$, $2 \pmod{5}$ and ${i,j} \neq {1,2}$. In this paper we describe the tournaments which do not have $U_5$ as a subtournament. Specifically, we show that if a tournament $G$ is "prime"---that is, if there is no subset $X \subseteq V(G)$, $1 < |X| < |V(G)|$, such that for all $v \in V(G) \backslash X$, either $v \rightarrow x$ for all $x \in X$ or $x \rightarrow v$ for all $x \in X$---then $G$ is $U_5$-free if and only if either $G$ is a specific tournament $T_n$ or $V(G)$ can be partitioned into sets $X$, $Y$, $Z$ such that $X \cup Y$, $Y \cup Z$, and $Z \cup X$ are transitive. From the prime $U_5$-free tournaments we can construct all the $U_5$-free tournaments. We use the theorem to show that every $U_5$-free tournament with $n$ vertices has a transitive subtournament with at least $n^{\log_3 2}$ vertices, and that this bound is tight.

In this thesis we prove a variety of theorems on tournaments. A \emph{prime} tournament is a tournament $G$ such that there is no $X \subseteq V(G)$, $1 < |X| < |V(G)|$, such that for every vertex $v \in V(G) \minus X$, either $v \ra x$ for all $x \in X$ or $x \ra v$ for all $x \in X$. First, we prove that given a prime tournament $G$ which is not in one of three special families of tournaments, for any prime subtournament $H$ of $G$ with $5 \le |V(H)| < |V(G)|$ there exists a prime subtournament of $G$ with $|V(H)| + 1$ vertices that has a subtournament isomorphic to $H$. We next prove that for any two cyclic triangles $C$, $C^\prime$ in a prime tournament $G$, there is a sequence of cyclic triangles $C_1,...,C_n$ such that $C_1 = C$, $C_n = C^\prime$, and $C_i$ shares an edge with $C_{i+1}$ for all $1 \le i \le n-1$. Next, we consider what we call \emph{matching tournaments}, tournaments whose vertices can be ordered in a horizontal line so that every vertex is the head or tail of at most one edge that points right-to-left. We determine the conditions under which a tournament can have two different orderings satisfying the above conditions. We also prove that there are infinitely many minimal tournaments that are not matching tournaments. Finally, we consider the tournaments $K_n$ and $K_n^\ast$, which are obtained from the transitive tournament with $n$ vertices by reversing the edge from the second vertex to the last vertex and from the first vertex to the second-to-last vertex, respectively. We prove a structure theorem describing tournaments which exclude $K_n$ and $K_n^\ast$ as subtournaments.

Isaak posed the following problem. Suppose $T$ is a tournament having a minimum feedback arc set which induces an acyclic digraph with a hamiltonian path. Is it true that the maximum number of arc-disjoint cycles in $T$ equals the cardinality of minimum feedback arc set of $T$? We prove that the answer to the problem is in the negative. Further, we study the number of arc-disjoint cycles through a vertex $v$ of the minimum out-degree in an oriented graph $D$. We prove that if $v$ is adjacent to all other vertices, then $v$ belongs to $δ^+(D)$ arc-disjoint cycles.

We say a digraph $G$ is a {\em minor} of a digraph $H$ if $G$ can be obtained from a subdigraph of $H$ by repeatedly contracting a strongly-connected subdigraph to a vertex. Here, we show the class of all tournaments is a well-quasi-order under minor containment.

For many types of graphs, criteria have been discovered that give necessary and sufficient conditions for an integer sequence to be the degree sequence of such a graph. These criteria tend to take the form of a set of inequalities, and in the case of the Erdős-Gallai criterion (for simple undirected graphs) and the Gale-Ryser criterion (for bipartite graphs), it has been shown that the number of inequalities that must be checked can be reduced significantly. We show that similar reductions hold for the corresponding criteria for many other types of graphs, including bipartite r-multigraphs, bipartite graphs with structural edges, directed graphs, r-multigraphs, and tournaments. We also prove a reduction for imbalance sequences.

The classical result of Landau on the existence of kings in finite tournaments (=finite directed complete graphs) is extended to continuous tournaments for which the set X of players is a compact Hausdorff space. The following partial converse is proved as well. Let X be a Tychonoff space which is either zero-dimensional or locally connected or pseudocompact or linearly ordered. If X admits at least one continuous tournament and each continuous tournament on X has a king, then X must be compact. We show that a complete reversal of our theorem is impossible, by giving an example of a dense connected subspace Y of the unit square admitting precisely two continuous tournaments both of which have a king, yet Y is not even analytic (much less compact).

Let T = (V,A) be a (finite) tournament and k be a non negative integer. For every subset X of V is associated the subtournament T[X] = (X,A\cap (X \timesX)) of T, induced by X. The dual tournament of T, denoted by T\ast, is the tournament obtained from T by reversing all its arcs. The tournament T is self dual if it is isomorphic to its dual. T is {-k}-self dual if for each set X of k vertices, T[V \ X] is self dual. T is strongly self dual if each of its induced subtournaments is self dual. A subset I of V is an interval of T if for a, b \in I and for x \in V \ I, (a,x) \in A if and only if (b,x) \in A. For instance, \varnothing, V and {x}, where x \in V, are intervals of T called trivial intervals. T is indecomposable if all its intervals are trivial; otherwise, it is decomposable. A tournament T', on the set V, is {-k}-hypomorphic to T if for each set X on k vertices, T[V \ X] and T'[V \ X] are isomorphic. The tournament T is {-k}-reconstructible if each tournament {-k}-hypomorphic to T is isomorphic to it. Suppose that T is decomposable and | V |\geq 9. In this paper, we begin by proving the equivalence between the {-3}-self duality and the strong self duality of T. Then we characterize each tournament {-3}-hypomorphic to T. As a consequence of this characterization, we prove that if there is no interval X of T such that T[X] is indecomposable and | V \ X |\leq 2, then T is {-3}-reconstructible. Finally, we conclude by reducing the {-3}-reconstruction problem to the indecomposable case (between a tournament and its dual). In particular, we find and improve, in a less complicated way, the results of [6] found by Y. Boudabbous and A. Boussairi.

In a recent paper, we showed that every sufficiently large regular digraph G on n vertices whose degree is linear in n and which is a robust outexpander has a decomposition into edge-disjoint Hamilton cycles. The main consequence of this theorem is that every regular tournament on n vertices can be decomposed into (n-1)/2 edge-disjoint Hamilton cycles, whenever n is sufficiently large. This verified a conjecture of Kelly from 1968. In this paper, we derive a number of further consequences of our result on robust outexpanders, the main ones are the following: (i) an undirected analogue of our result on robust outexpanders; (ii) best possible bounds on the size of an optimal packing of edge-disjoint Hamilton cycles in a graph of minimum degree d for a large range of values for d. (iii) a similar result for digraphs of given minimum semidegree; (iv) an approximate version of a conjecture of Nash-Williams on Hamilton decompositions of dense regular graphs; (v) the observation that dense quasi-random graphs are robust outexpanders; (vi) a verification of the `very dense' case of a conjecture of Frieze and Krivelevich on packing edge-disjoint Hamilton cycles in random graphs; (vii) a proof of a conjecture of Erdos on the size of an optimal packing of edge-disjoint Hamilton cycles in a random tournament.

A long-standing conjecture of Kelly states that every regular tournament on n vertices can be decomposed into (n-1)/2 edge-disjoint Hamilton cycles. We prove this conjecture for large n. In fact, we prove a far more general result, based on our recent concept of robust expansion and a new method for decomposing graphs. We show that every sufficiently large regular digraph G on n vertices whose degree is linear in n and which is a robust outexpander has a decomposition into edge-disjoint Hamilton cycles. This enables us to obtain numerous further results, e.g. as a special case we confirm a conjecture of Erdos on packing Hamilton cycles in random tournaments. As corollaries to the main result, we also obtain several results on packing Hamilton cycles in undirected graphs, giving e.g. the best known result on a conjecture of Nash-Williams. We also apply our result to solve a problem on the domination ratio of the Asymmetric Travelling Salesman problem, which was raised e.g. by Glover and Punnen as well as Alon, Gutin and Krivelevich.

We give a new characterization of skew Hadamard matrices of size $n$ in terms of the data of the spectra of tournaments of size $n-2$.

We study $k$-colored kernels in $m$-colored digraphs. An $m$-colored digraph $D$ has $k$-colored kernel if there exists a subset $K$ of its vertices such that (i) from every vertex $v\notin K$ there exists an at most $k$-colored directed path from $v$ to a vertex of $K$ and (ii) for every $u,v\in K$ there does not exist an at most $k$-colored directed path between them. In this paper, we prove that for every integer $k\geq 2$ there exists a $% (k+1)$-colored digraph $D$ without $k$-colored kernel and if every directed cycle of an $m$-colored digraph is monochromatic, then it has a $k$-colored kernel for every positive integer $k.$ We obtain the following results for some generalizations of tournaments: (i) $m$-colored quasi-transitive and 3-quasi-transitive digraphs have a $k$% -colored kernel for every $k\geq 3$ and $k\geq 4,$ respectively (we conjecture that every $m$-colored $l$-quasi-transitive digraph has a $k$% -colored kernel for every $k\geq l+1)$, and (ii) $m$-colored locally in-tournament (out-tournament, respectively) digraphs have a $k$-colored kernel provided that every arc belongs to a directed cycle and every directed cycle is at most $k$-colored.

We give a fixed-parameter tractable (FPT) approximation algorithm computing the path-width of a tournament, and more generally, of a semi-complete digraph. Based on this result, we prove that topological containment and rooted immersion problems are FPT on semi-complete digraphs.

A $k$-majority digraph is a directed graph created by combining $k$ individual rankings on the same ground set to form a consensus where edges point in the direction indicated by a strict majority of the rankings. The $k$-majority digraph is used to model voting scenarios, where the vertices correspond to options ranked by $k$ voters. When $k$ is odd, the resulting digraph is always a tournament, called $k$-majority tournament. Let $f_k(n)$ be the minimum, over all $k$-majority tournaments with $n$ vertices, of the maximum order of an induced transitive sub-tournament. Recently, Milans, Schreiber, and West proved that $\sqrt n \le f_3(n) \le 2 \sqrt n +1 $. In this paper, we improve the upper bound of $f_3(n)$ by showing that $f_3(n) < \sqrt {2n} +\frac 12 $.

It is known that for any permutation group $G$ of odd order one can find a subset of the permuted set whose stabilizer in $G$ is trivial, and if $G$ is primitive, then also a base of size at most 3. Both of these results are generalized to the coherent configuration of $G$ (that is in this case a schurian antisymmetric coherent configuration). This enables us to construct a polynomial-time algorithm for recognizing and isomorphism testing of schurian tournaments (i.e. arc colored tournaments the coherent configurations of which are schurian).

A cycle C={v_1,v_2,....,v_1} in a tournament T is said to be even, if when walking along C, an even number of edges point in the wrong direction, that is, they are directed from v_{i+1} to v_i. In this short paper, we show that for every fixed even integer k >= 4, if close to half of the k-cycles in a tournament T are even, then T must be quasi-random. This resolves an open question raised in 1991 by Chung and Graham

We study biased {\em orientation games}, in which the board is the complete graph $K_n$, and Maker and Breaker take turns in directing previously undirected edges of $K_n$. At the end of the game, the obtained graph is a tournament. Maker wins if the tournament has some property $\mathcal P$ and Breaker wins otherwise. We provide bounds on the bias that is required for a Maker's win and for a Breaker's win in three different games. In the first game Maker wins if the obtained tournament has a cycle. The second game is Hamiltonicity, where Maker wins if the obtained tournament contains a Hamilton cycle. Finally, we consider the $H$-creation game, where Maker wins if the obtained tournament has a copy of some fixed graph $H$.

Seymour's Second Neighborhood Conjecture asserts that every digraph (without digons) has a vertex whose first out-neighborhood is at most as large as its second out-neighborhood. It is proved for tournaments, tournaments missing a matching and tournaments missing a generalized star. We prove this conjecture for classes of digraphs whose missing graph is a comb, a complete graph minus 2 independent edges, or a complete graph minus the edges of a cycle of length 5.

We prove Seymour's Second Neighborhood Conjecture when the missing graph is disjoint stars under some conditions. Weaker conditions are required when n=2 or 3. In some cases, we exhibit two vertices with the desired property.