arXiv++ Combinatorics

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.

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. We prove its weighted version for tournaments missing a generalized star. As a consequence the weighted version holds for tournaments missing a sun, star, or a complete graph.

The sandpile group of a graph is a well-studied object that combines ideas from algebraic graph theory, group theory, dynamical systems, and statistical physics. A graph's sandpile group is part of a larger algebraic structure on the graph, known as its sandpile monoid. Most of the work on sandpiles so far has focused on the sandpile group rather than the sandpile monoid of a graph, and has also assumed the underlying graph to be undirected. A notable exception is the recent work of Babai and Toumpakari, which builds up the theory of sandpile monoids on directed graphs from scratch and provides many connections between the combinatorics of a graph and the algebraic aspects of its sandpile monoid. In this paper we primarily consider sandpile monoids on directed graphs, and we extend the existing theory in four main ways. First, we give a combinatorial classification of the maximal subgroups of a sandpile monoid on a directed graph in terms of the sandpile groups of certain easily-identifiable subgraphs. Second, we point out certain sandpile results for undirected graphs that are really results for sandpile monoids on directed graphs that contain exactly two idempotents. Third, we give a new algebraic constraint that sandpile monoids must satisfy and exhibit two infinite families of monoids that cannot be realized as sandpile monoids on any graph. Finally, we give an explicit combinatorial description of the sandpile group identity for every graph in a family of directed graphs which generalizes the family of (undirected) distance-regular graphs. This family includes many other graphs of interest, including iterated wheels, regular trees, and regular tournaments.

We show that a number of conditions on oriented graphs, all of which are satisfied with high probability by randomly oriented graphs, are equivalent. These equivalences are similar to those given by Chung, Graham and Wilson in the case of unoriented graphs, and by Chung and Graham in the case of tournaments. Indeed, our main theorem extends to the case of a general underlying graph G the main result of Chung and Graham which corresponds to the case that G is complete. One interesting aspect of these results is that exactly two of the four orientations of a four-cycle can be used for a quasi-randomness condition, i.e., if the number of appearances they make in D is close to the expected number in a random orientation of the same underlying graph, then the same is true for every small oriented graph H

Let $a, \ b \ (b \geq a)$ and $n \ (n \geq 2)$ be nonnegative integers and let $\mathcal{T}(a,b,n)$ be the set of such generalised tournaments, in which every pair of distinct players is connected at most with $b$, and at least with $a$ arcs. In \cite{Ivanyi2009} we gave a necessary and sufficient condition to decide whether a given sequence of nonnegative integers $D = (d_1, d_2,..., d_n)$ can be realized as the out-degree sequence of a $T \in \mathcal{T}(a,b,n)$. Extending the results of \cite{Ivanyi2009} we show that for any sequence of nonnegative integers $D$ there exist $f$ and $g$ such that some element $T \in \mathcal{T}(g,f,n)$ has $D$ as its out-degree sequence, and for any $(a,b,n)$-tournament $T'$ with the same out-degree sequence $D$ hold $a\leq g$ and $b\geq f$. We propose a $Θ(n)$ algorithm to determine $f$ and $g$ and an $O(d_n n^2)$ algorithm to construct a corresponding tournament $T$.

We conjecture that every oriented graph $G$ on $n$ vertices with $δ^+ (G) , δ^- (G) \geq 5n/12$ contains the square of a Hamilton cycle. We also give a conjectural bound on the minimum semidegree which ensures a perfect packing of transitive triangles in an oriented graph. A link between Ramsey numbers and perfect packings of transitive tournaments is also considered.

Sumner's universal tournament conjecture states that any tournament on $2n-2$ vertices contains a copy of any directed tree on $n$ vertices. We prove an asymptotic version of this conjecture, namely that any tournament on $(2+o(1))n$ vertices contains a copy of any directed tree on $n$ vertices. In addition, we prove an asymptotically best possible result for trees of bounded degree, namely that for any fixed $Δ$, any tournament on $(1+o(1))n$ vertices contains a copy of any directed tree on $n$ vertices with maximum degree at most $Δ$.

Sumner's universal tournament conjecture states that any tournament on $2n-2$ vertices contains any directed tree on $n$ vertices. In this paper we prove that this conjecture holds for all sufficiently large $n$. The proof makes extensive use of results and ideas from a recent paper by the same authors, in which an approximate version of the conjecture was proved.

We study countable embedding-universal and homomorphism-universal structures and unify results related to both of these notions. We show that many universal and ultrahomogeneous structures allow a concise description (called here a finite presentation). Extending classical work of Rado (for the random graph), we find a finite presentation for each of the following classes: homogeneous undirected graphs, homogeneous tournaments and homogeneous partially ordered sets. We also give a finite presentation of the rational Urysohn metric space and some homogeneous directed graphs. We survey well known structures that are finitely presented. We focus on structures endowed with natural partial orders and prove their universality. These partial orders include partial orders on sets of words, partial orders formed by geometric objects, grammars, polynomials and homomorphism orders for various combinatorial objects. We give a new combinatorial proof of the existence of embedding-universal objects for homomorphism-defined classes of structures. This relates countable embedding-universal structures to homomorphism dualities (finite homomorphism-universal structures) and Urysohn metric spaces. Our explicit construction also allows us to show several properties of these structures.

Given a tournament T=(V,A), a subset X of $V$ is an interval of T provided that for every a, b in X and x\in V-X, (a,x) in A if and only if (b,x) in A. For example, $\emptyset$, {x}(x in V) and V are intervals of T, called trivial intervals. A tournament, all the intervals of which are trivial, is indecomposable; otherwise, it is decomposable. A critical tournament is an indecomposable tournament T of cardinality $\geq 5$ such that for any vertex x of T, the tournament T-x is decomposable. The critical tournaments are of odd cardinality and for all $n \geq 2$ there are exactly three critical tournaments on 2n+1 vertices denoted by $T_{2n+1}$, $U_{2n+1}$ and $W_{2n+1}$. The tournaments $T_{5}$, $U_{5}$ and $W_{5}$ are the unique indecomposable tournaments on 5 vertices. We say that a tournament T embeds into a tournament T' when T is isomorphic to a subtournament of T'. A diamond is a tournament on 4 vertices admitting only one interval of cardinality 3. We prove the following theorem: if a diamond and $T_{5}$ embed into an indecomposable tournament T, then $W_{5}$ and $U_{5}$ embed into T. To conclude, we prove the following: given an indecomposable tournament T, with $\mid\!V(T)\!\mid \geq 7$, T is critical if and only if the indecomposable subtournaments on 7 vertices of T are isomorphic to one and only one of the tournaments $T_{7}$, $U_{7}$ and $W_{7}$.

Given a tournament T=(V,A), a subset X of V is an interval of T provided that for any a, b\in X and x\in V-X, (a,x) \in A if and only if (b,x)\in A. For example, \emptyset, \{x\} (x\in V) and V are intervals of T, called trivial intervals. A tournament, all the intervals of which are trivial, is indecomposable; otherwise, it is decomposable. A vertex x of an indecomposable tournament is critical if T-x is decomposable. In 1993, J.H. Schmerl and W.T. Trotter characterized the tournaments, all the vertices of which are critical, called critical tournaments. The cardinality of these tournaments is odd. Given an odd integer m \geq 5, there exist three critical tournaments of cardinality . and there are exactly three critical tournaments for each such a cardinality. In this article, we characterize the tournaments which admit a single non critical vertex, that we call (-1)-critical tournaments. The cardinality of these tournaments is odd. Given an odd integer m \geq 7, there exist 3m-15 (-1)-critical tournaments of cardinality m.

We consider the transformation reversing all arcs of a subset $X$ of the vertex set of a tournament $T$. The \emph{index} of $T$, denoted by $i(T)$, is the smallest number of subsets that must be reversed to make $T$ acyclic. It turns out that critical tournaments and $(-1)$-critical tournaments can be defined in terms of inversions (at most two for the former, at most four for the latter). We interpret $i(T)$ as the minimum distance of $T$ to the transitive tournaments on the same vertex set, and we interpret the distance between two tournaments $T$ and $T'$ as the \emph{Boolean dimension} of a graph, namely the Boolean sum of $T$ and $T'$. On $n$ vertices, the maximum distance is at most $n-1$, whereas $i(n)$, the maximum of $i(T)$ over the tournaments on $n$ vertices, satisfies $\frac {n-1}{2} - \log_{2}n \leq i(n) \leq n-3$, for $n \geq 4$. Let $ \mathcal{I}_{m}^{< ω}$ (resp. $\mathcal{I}_{m}^{\leq ω}$) be the class of finite (resp. at most countable) tournaments $T$ such that $i(T) \leq m$. The class $\mathcal {I}_{m}^{< ω}$ is determined by finitely many obstructions. We give a morphological description of the members of $\mathcal {I}_{1}^{< ω}$ and a description of the critical obstructions. We give an explicit description of an universal tournament of the class $\mathcal{I}_{m}^{\leq ω}$.

A team of players plays the following game. After a strategy session, each player is randomly fitted with a blue or red hat. Then, without further communication, everybody can try to guess simultaneously his or her own hat color by looking at the hat colors of other players. Visibility is defined by a directed graph; that is, vertices correspond to players, and a player can see each player to whom she or he is connected by an arc. The team wins if at least one player guesses his hat color correctly, and no one guesses his hat color wrong; otherwise the team loses. The team aims to maximize the probability of a win, and this maximum is called the hat number of the graph. Previous works focused on the problem on complete graphs and on undirected graphs. Some cases were solved, e.g., complete graphs of certain orders, trees, cycles, bipartite graphs. These led Uriel Feige to conjecture that the hat number of any graph is equal to the hat number of its maximum clique. We show that the conjecture does not hold for directed graphs.Moreover, for every value of the maximum clique size, we provide a tight characterization of the range of possible values of the hat number. We construct families of directed graphs with a fixed clique number the hat number of which is asymptotically optimal. We also determine the hat number of tournaments to be one half.

We survey some recent results on long-standing conjectures regarding Hamilton cycles in directed graphs, oriented graphs and tournaments. We also combine some of these to prove the following approximate result towards Kelly's conjecture on Hamilton decompositions of regular tournaments: the edges of every regular tournament can be covered by a set of Hamilton cycles which are `almost' edge-disjoint. We also highlight the role that the notion of `robust expansion' plays in several of the proofs. New and old open problems are discussed.

A two-dimensional \emph{grid} is a set $\Gnm = [n]\times[m]$. A grid $\Gnm$ is \emph{$c$-colorable} if there is a function $χ_{n,m}: \Gnm \to [c]$ such that there are no rectangles with all four corners the same color. We address the following question: for which values of $n$ and $m$ is $\Gnm$ $c$-colorable? This problem can be viewed as a bipartite Ramsey problem and is related to a the Gallai-Witt theorem (also called the multidimensioanl Van Der Waerden's Theorem). We determine (1) \emph{exactly} which grids are 2-colorable, (2) \emph{exactly} which grids are 3-colorable, and (3) \emph{exactly} which grids are 4-colorable. We use combinatorics, finite fields, and tournament graphs.