arXiv++ Combinatorics

Seymour's distance two conjecture states that in any digraph there exists a vertex (a "Seymour vertex") that has at least as many neighbors at distance two as it does at distance one. We explore the validity of probabilistic statements along lines suggested by Seymour's conjecture, proving that almost surely there are a "large" number of Seymour vertices in random tournaments and "even more" in general random digraphs.

We consider the following Turán-type problem: given a fixed tournament $H$, what is the least integer $t=t(n,H)$ so that adding $t$ edges to any $n$-vertex tournament, results in a digraph containing a copy of $H$. Similarly, what is the least integer $t=t(T_n,H)$ so that adding $t$ edges to the $n$-vertex transitive tournament, results in a digraph containing a copy of $H$. Besides proving several results on these problems, our main contributions are the following: (1) Pach and Tardos conjectured that if $M$ is an acyclic $0/1$ matrix, then any $n \times n$ matrix with $n(\log n)^{O(1)}$ entries equal to $1$ contains the pattern $M$. We show that this conjecture is equivalent to the assertion that $t(T_n,H)=n(\log n)^{O(1)}$ if and only if $H$ belongs to a certain (natural) family of tournaments. (2) We propose an approach for determining if $t(n,H)=n(\log n)^{O(1)}$. This approach combines expansion in sparse graphs, together with certain structural characterizations of $H$-free tournaments. Our result opens the door for using structural graph theoretic tools in order to settle the Pach-Tardos conjecture.

We give several results showing that different discrete structures typically gain certain spanning substructures (in particular, Hamilton cycles) after a modest random perturbation. First, we prove that adding linearly many random edges to a dense k-uniform hypergraph ensures the (asymptotically almost sure) existence of a perfect matching or a loose Hamilton cycle. The proof involves an interesting application of Szemerédi's Regularity Lemma, which might be independently useful. We next prove that digraphs with certain strong expansion properties are pancyclic, and use this to show that adding a linear number of random edges typically makes a dense digraph pancyclic. Finally, we prove that perturbing a certain (minimum-degree-dependent) number of random edges in a tournament typically ensures the existence of multiple edge-disjoint Hamilton cycles. All our results are tight.

We prove that for every fixed $k$, the number of occurrences of the transitive tournament $Tr_k$ of order $k$ in a tournament $T_n$ on $n$ vertices is asymptotically minimized when $T_n$ is random. In the opposite direction, we show that any sequence of tournaments $\{T_n\}$ achieving this minimum for any fixed $k\geq 4$ is necessarily quasi-random. We present several other characterizations of quasi-random tournaments nicely complementing previously known results and relatively easily following from our proof techniques.

We say that a graph $G$ has a perfect $H$-packing if there exists a set of vertex-disjoint copies of $H$ which cover all the vertices in $G$. The seminal Hajnal--Szemerédi theorem characterises the minimum degree that ensures a graph $G$ contains a perfect $K_r$-packing. Balogh, Kostochka and Treglown proposed a degree sequence version of the Hajnal--Szemerédi theorem which, if true, gives a strengthening of the Hajnal--Szemerédi theorem. In this paper we prove this conjecture asymptotically. Another fundamental result in the area is the Alon--Yuster theorem which gives a minimum degree condition that ensures a graph contains a perfect $H$-packing for an \emph{arbitrary} graph $H$. We give a wide-reaching generalisation of this result by answering another conjecture of Balogh, Kostochka and Treglown on the degree sequence of a graph that forces a perfect $H$-packing. We also prove a degree sequence result concerning perfect transitive tournament packings in directed graphs. The proofs blend together the regularity and absorbing methods.

We study the class of 1-perfectly orientable graphs, that is, graphs having an orientation in which every out-neighborhood induces a tournament. 1-perfectly orientable graphs form a common generalization of chordal graphs and circular arc graphs. Even though they can be recognized in polynomial time, little is known about their structure. In this paper, we develop several results on 1-perfectly orientable graphs. In particular, we: (i) give a characterization of 1-perfectly orientable graphs in terms of edge clique covers, (ii) identify several graph transformations preserving the class of 1-perfectly orientable graphs, (iii) exhibit an infinite family of minimal forbidden induced minors for the class of 1-perfectly orientable graphs, and (iv) characterize the class of 1-perfectly orientable graphs within the classes of cographs and of cobipartite graphs. The class of 1-perfectly orientable co-bipartite graphs coincides with the class of co-bipartite circular arc graphs.

Given $k$ pairs of vertices $(s_i,t_i)$, $1\le i\le k$, of a digraph $G$, how can we test whether there exist $k$ vertex-disjoint directed paths from $s_i$ to $t_i$ for $1\le i\le k$? This is NP-complete in general digraphs, even for $k = 2$, but for $k=2$ there is a polynomial-time algorithm when $G$ is a tournament (or more generally, a semicomplete digraph), due to Bang-Jensen and Thomassen. Here we prove that for all fixed $k$ there is a polynomial-time algorithm to solve the problem when $G$ is semicomplete.

We show that if $T$ is a strongly $10^9k^6\log(2k)$-connected tournament, there exists a partition $A, B$ of $V(T)$ such that each of $T[A]$, $T[B]$ and $T[A,B]$ is strongly $k$-connected. This provides tournament analogues of two partition conjectures of Thomassen regarding highly connected graphs.

The Erdős-Hajnal conjecture states that for every given undirected graph $H$ there exists a constant $c(H)>0$ such that every graph $G$ that does not contain $H$ as an induced subgraph contains a clique or a stable set of size at least $|V(G)|^{c(H)}$. The conjecture is still open. Its equivalent directed version states that for every given tournament $H$ there exists a constant $c(H)>0$ such that every $H$-free tournament $T$ contains a transitive subtournament of order at least $|V(T)|^{c(H)}$. We prove in this paper that $\{H_{1},H_{2}\}$-free tournaments $T$ contain transitive subtournaments of size at least $|V(T)|^{c(H_{1},H_{2})}$ for some $c(H_{1},H_{2})>0$ and several pairs of tournaments: $H_{1}$, $H_{2}$. In particular we prove that $\{H,H^{c}\}$-freeness implies existence of the polynomial-size transitive subtournaments for several tournaments $H$ for which the conjecture is still open ($H^{c}$ stands for the \textit{complement of $H$}). To the best of our knowledge these are first nontrivial results of this type.

We prove that there exists $C>0$ such that $ε(H) \geq \frac{C}{|H|^{5}\log(|H|)}$, where $ε(H)$ is the Erdős-Hajnal coefficient of the tournament $H$, for every prime tournament $H$ for which the celebrated Erdős-Hajnal Conjecture has been proven so far. This is the first polynomial bound on the EH coefficient obtained for all known prime Erdős-Hajnal tournaments, in particular for infinitely many prime tournaments. As a byproduct of our analysis, we answer affirmatively the question whether there exists an infinite family of prime tournaments $H$ with $ε(H)$ lower-bounded by $\frac{1}{\textit{poly}(|H|)}$, where $\textit{poly}$ is a polynomial function. Furthermore, we give much tighter bounds than those known so far for the EH coefficients of tournaments without large homogeneous sets. This enables us to significantly reduce the gap between best known lower and upper bounds for the EH coefficients of tournaments. As a corollary we prove that every known prime Erdős-Hajnal tournament $H$ satisfies: $-5 + o(1) \leq \frac{\log(ε(H))}{\log(|H|)} \leq -1 + o(1)$. No lower bound on that expression was known before. We also show the applications of those results to the tournament coloring problem. In particular, we prove that for every known prime Erdős-Hajnal tournament $H$ every $H$-free tournament has \textit{chromatic number} at most $O(n^{1-\frac{C}{|H|^{5}\log(|H|)}}\log(n))$, where $C>0$ is some universal constant. The related coloring can be constructed algorithmically in the quasipolynomial time by following straightforwadly the proof of our main result. In comparison, the standard Ramsey theory gives only $O(\frac{n}{\log(n)})$ bounds for the tournament chromatic number.

The Erdős-Hajnal Conjecture states that for every $H$ there exists a constant $ε(H)>0$ such that every graph $G$ that does not contain $H$ as an induced subgraph contains a clique or a stable set of size at least $|V(G)|^{ε(H)}$. The Conjecture is still open. Some time ago its directed version was formulated (see:\cite{alon}). In the directed version graphs are replaced by tournaments, and cliques and stable sets by transitive subtournaments. If the Conjecture is not true then the smallest counterexample is a prime tournament. For a long time the Conjecture was known only for finitely many prime tournaments. Recently in \cite{bcc} and \cite{choromanski2} the Conjecture was proven for the families of galaxies and constellations that contain infinitely many prime tournaments. In \cite{bcc} the Conjecture was also proven for all $5$-vertex tournaments. We say that a tournament $H$ has the $EH$-property if it satisfies the Conjecture. In this paper we introduce the so-called \textit{strong EH-property} which enables us to prove the Conjecture for new prime tournaments, but what is even more interesting, provides a mechanism to combine tournaments satisfying the Conjecture to get bigger tournaments that do so and are not necessarily nonprime. We give several examples of families of tournaments constructed according to this procedure. The only procedure known before used to construct bigger tournaments satisfying the Conjecture from smaller tournaments satisfying the Conjecture was the so-called \textit{substitution procedure} (see: \cite{alon}). However an outcome of this procedure is always a nonprime tournament and, from what we have said before, prime tournaments are those that play crucial role in the research on the Conjecture. Our method may be potentially used to prove the Conjecture for several new classes of tournaments.

We find an exact formula for the number of directed 5-cycles in a tournament in terms of its edge score sequence. We use this formula to find both upper and lower bounds on the number of 5-cycles in any $n$-tournament. In particular, we show that the maximum number of 5-cycles is asymptotically equal to $\frac{3}{4}{n \choose 5}$, the expected number 5-cycles in a random tournament ($p=\frac{1}{2}$), with equality (up to order of magnitude) for almost all tournaments. Note that this means that almost all $n$-tournaments contain the maximum number of $5$-cycles.

An oriented 3-graph consists of a family of triples (3-sets), each of which is given one of its two possible cyclic orientations. A cycle in an oriented 3-graph is a positive sum of some of the triples that gives weight zero to each 2-set. Our aim in this paper is to consider the following question: how large can the girth of an oriented 3-graph (on $n$ vertices) be? We show that there exist oriented 3-graphs whose shortest cycle has length $\frac{n^2}{2}(1+o(1))$: this is asymptotically best possible. We also show that there exist 3-tournaments whose shortest cycle has length $\frac{n^2}{3}(1+o(1))$, in complete contrast to the case of 2-tournaments.

Alternating sign matrices (ASMs) are square matrices with entries 0, 1, or -1 whose rows and columns sum to 1 and whose nonzero entries alternate in sign. We present a unifying perspective on ASMs and other combinatorial objects by studying a certain tetrahedral poset and its subposets. We prove the order ideals of these subposets are in bijection with a variety of interesting combinatorial objects, including ASMs, totally symmetric self-complementary plane partitions (TSSCPPs), staircase shaped semistandard Young tableaux, Catalan objects, tournaments, and totally symmetric plane partitions. We prove product formulas counting these order ideals and give the rank generating function of some of the corresponding lattices of order ideals. We also prove an expansion of the tournament generating function as a sum over TSSCPPs. This result is analogous to a result of Robbins and Rumsey expanding the tournament generating function as a sum over alternating sign matrices.

A (possibly directed) graph is $k$-linked if for any two disjoint sets of vertices $\{x_1, \dots, x_k\}$ and $\{y_1, \dots, y_k\}$ there are vertex disjoint paths $P_1, \dots, P_k$ such that $P_i$ goes from $x_i$ to $y_{i}$. A theorem of Bollobás and Thomason says that every $22k$-connected (undirected) graph is $k$-linked. It is desirable to obtain analogues for directed graphs as well. Although Thomassen showed that the Bollobás-Thomason Theorem does not hold for general directed graphs, he proved an analogue of the theorem for tournaments - there is a function $f(k)$ such that every strongly $f(k)$-connected tournament is $k$-linked. The bound on $f(k)$ was reduced to $O(k \log k)$ by Kühn, Lapinskas, Osthus, and Patel, who also conjectured that a linear bound should hold. We prove this conjecture, by showing that every strongly $452k$-connected tournament is $k$-linked.

Thomassen conjectured that there is a function $f(k)$ such that every strongly $f(k)$-connected tournament contains $k$ edge-disjoint Hamiltonian cycles. This conjecture was recently proved by Kühn, Lapinskas, Osthus, and Patel who showed that $f(k)\leq O(k^2(\log k)^2)$ and conjectured that there is a constant $C$ such that $f(k)\leq Ck^2$. We prove this conjecture.

We say that a (di)graph $G$ has a perfect $H$-packing if there exists a set of vertex-disjoint copies of $H$ which cover all the vertices in $G$. The seminal Hajnal--Szemerédi theorem characterises the minimum degree that ensures a graph $G$ contains a perfect $K_r$-packing. In this paper we prove the following analogue for directed graphs: Suppose that $T$ is a tournament on $r$ vertices and $G$ is a digraph of sufficiently large order $n$ where $r$ divides $n$. If $G$ has minimum in- and outdegree at least $ (1-1/r)n$ then $G$ contains a perfect $T$-packing. In the case when $T$ is a cyclic triangle, this result verifies a recent conjecture of Czygrinow, Kierstead and Molla (for large digraphs). Furthermore, in the case when $T$ is transitive we conjecture that it suffices for every vertex in $G$ to have sufficiently large indegree or outdegree. We prove this conjecture for transitive triangles and asymptotically for all $r \geq 3$. Our approach makes use of a result of Keevash and Mycroft concerning almost perfect matchings in hypergraphs as well as the Directed Graph Removal lemma.

We investigate tournaments with a specified score vector having additional structure: loopy tournaments in which loops are allowed, Hankel tournaments which are tournaments symmetric about the Hankel diagonal (the anti-diagonal), and combinatorially skew-Hankel tournaments which are skew-symmetric about the Hankel diagonal. In each case, we obtain necessary and sufficient conditions for existence, algorithms for construction, and switches which allow one to move from any tournament of its type to any other, always staying within the defined type.

A strongly polynomial sequence of graphs $(G_n)$ is a sequence $(G_n)_{n\in\mathbb{N}}$ of finite graphs such that, for every graph $F$, the number of homomorphisms from $F$ to $G_n$ is a fixed polynomial function of $n$ (depending on $F$). For example, $(K_n)$ is strongly polynomial since the number of homomorphisms from $F$ to $K_n$ is the chromatic polynomial of $F$ evaluated at $n$. In earlier work of de la Harpe and Jaeger, and more recently of Averbouch, Garijo, Godlin, Goodall, Makowsky, Nešetřil, Tittmann, Zilber and others, various examples of strongly polynomial sequences and constructions for families of such sequences have been found. We give a new model-theoretic method of constructing strongly polynomial sequences of graphs that uses interpretation schemes of graphs in more general relational structures. This surprisingly easy yet general method encompasses all previous constructions and produces many more. We conjecture that, under mild assumptions, all strongly polynomial sequences of graphs can be produced by the general method of quantifier-free interpretation of graphs in certain basic relational structures (essentially disjoint unions of transitive tournaments with added unary relations). We verify this conjecture for strongly polynomial sequences of graphs with uniformly bounded degree.

If $T$ is an $n$-vertex tournament with a given number of $3$-cycles, what can be said about the number of its $4$-cycles? The most interesting range of this problem is where $T$ is assumed to have $c\cdot n^3$ cyclic triples for some $c>0$ and we seek to minimize the number of $4$-cycles. We conjecture that the (asymptotic) minimizing $T$ is a random blow-up of a constant-sized transitive tournament. Using the method of flag algebras, we derive a lower bound that almost matches the conjectured value. We are able to answer the easier problem of maximizing the number of $4$-cycles. These questions can be equivalently stated in terms of transitive subtournaments. Namely, given the number of transitive triples in $T$, how many transitive quadruples can it have? As far as we know, this is the first study of inducibility in tournaments.