arXiv++ Combinatorics

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.

Marengo and the second author have developed in the last years a geometric model of social choice when this takes place among bundles of interdependent elements, showing that by bundling and unbundling the same set of constituent elements an authority has the power of determining the social outcome. In this paper we will tie the model above to tournament theory, solving some of the mathematical problems arising in their work and opening new questions which are interesting not only from a mathematical and a social choice point of view, but also from an economic and a genetic one. In particular, we will introduce the notion of u-local optima and we will study it from both a theoretical and a numerical/probabilistic point of view; we will also describe an algorithm that computes the universal basin of attraction of a social outcome in O(M^3 logM) time (where M is the number of social outcomes).

The Cayley graph construction provides a natural grid structure on a finite vector space over a field of prime or prime square cardinality, where the characteristic is congruent to 3 modulo 4, in addition to the quadratic residue tournament structure on the prime subfield. Distance from the null vector in the grid graph defines a Manhattan norm. The Hermitian inner product on these spaces over finite fields behaves in some respects similarly to the real and complex case. An analogue of the Cauchy-Schwarz inequality is valid with respect to the Manhattan norm. With respect to the non-transitive order provided by the quadratic residue tournament, an analogue of the Cauchy-Schwarz inequality holds in arbitrarily large neighborhoods of the null vector, when the characteristic is an appropriate large prime.

An interval in a combinatorial structure S is a set I of points which relate to every point from S I in the same way. A structure is simple if it has no proper intervals. Every combinatorial structure can be expressed as an inflation of a simple structure by structures of smaller sizes -- this is called the substitution (or modular) decomposition. In this paper we prove several results of the following type: An arbitrary structure S of size n belonging to a class C can be embedded into a simple structure from C by adding at most f(n) elements. We prove such results when C is the class of all tournaments, graphs, permutations, posets, digraphs, oriented graphs and general relational structures containing a relation of arity greater than 2. The function f(n) in these cases is 2, \lceil log_2(n+1)\rceil, \lceil (n+1)/2\rceil, \lceil (n+1)/2\rceil, \lceil log_4(n+1)\rceil, \lceil \log_3(n+1)\rceil and 1, respectively. In each case these bounds are best possible.

We show that every sufficiently large regular tournament can almost completely be decomposed into edge-disjoint Hamilton cycles. More precisely, for each η>0 every regular tournament G of sufficiently large order n contains at least (1/2-η)n edge-disjoint Hamilton cycles. This gives an approximate solution to a conjecture of Kelly from 1968. Our result also extends to almost regular tournaments.

It is well known that a tournament (complete oriented graph) on $n$ vertices has at most ${1/4}\binom{n}{3}$ directed triangles, and that the constant 1/4 is best possible. Motivated by some geometric considerations, our aim in this paper is to consider some `higher order' versions of this statement. For example, if we give each 3-set from an $n$-set a cyclic ordering, then what is the greatest number of `directed 4-sets' we can have? We give an asymptotically best possible answer to this question, and give bounds in the general case when we orient each $d$-set from an $n$-set.

Consider a randomly oriented graph $G=(V,E)$ and let $a$, $s$ and $b$ be three distinct vertices in $V$. We study the correlation between the events $\{a\to s\}$ and $\{s\to b\}$. We show that, when $G$ is the complete graph $K_n$, the correlation is negative for $n=3$, zero for $n=4$, and that, counter-intuitively, it is positive for $n\ge 5$. We also show that the correlation is always negative when $G$ is a cycle, $C_n$, and negative or zero when $G$ is a tree (or a forest).

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 put ASMs into a larger context by studying the order ideals of subposets of a certain poset, proving that they are in bijection with a variety of interesting combinatorial objects, including ASMs, totally symmetric self--complementary plane partitions (TSSCPPs), Catalan objects, tournaments, semistandard Young tableaux, and totally symmetric plane partitions. We use this perspective to prove an expansion of the tournament generating function as a sum over TSSCPPs which is analogous to a known formula involving ASMs.