arXiv++ Combinatorics

We only consider finite structures. With every totally ordered set $V$ and a subset $P$ of $\binom{V}{2}$, we associate the underlying tournament ${\rm Inv}(\underline{V}, P)$ obtained from the transitive tournament $\underline{V}:=(V, \{(x,y) \in V \times V : x < y \})$ by reversing $P$, i.e., by reversing the arcs $(x,y)$ such that $\{x,y\} \in P$. The subset $P$ is a pairing (of $\cup P$) if $|\cup P| = 2|P|$, a quasi-pairing (of $\cup P$) if $|\cup P| = 2|P|-1$; it is irreducible if no nontrivial interval of $\cup P$ is a union of connected components of the graph $(\cup P, P)$. In this paper, we consider pairings and quasi-pairings in relation to tournaments. We establish close relationships between irreducibility of pairings (or quasi-pairings) and indecomposability of their underlying tournaments under modular decomposition. For example, given a pairing $P$ of a totally ordered set $V$ of size at least $6$, the pairing $P$ is irreducible if and only if the tournament ${\rm Inv}(\underline{V}, P)$ is indecomposable. This is a consequence of a more general result characterizing indecomposable tournaments obtained from transitive tournaments by reversing pairings. We obtain analogous results in the case of quasi-pairings.

Given a tournament $T$, a module of $T$ is a subset $M$ of $V(T)$ such that for $x, y\in M$ and $v\in V(T)\setminus M$, $(v,x)\in A(T)$ if and only if $(v,y)\in A(T)$. The trivial modules of $T$ are $\emptyset$, $\{u\}$ $(u\in V(T))$ and $V(T)$. The tournament $T$ is indecomposable if all its modules are trivial; otherwise it is decomposable. Let $T$ be a tournament with at least five vertices. In a previous paper, the authors proved that the smallest number $δ(T)$ of arcs that must be reversed to make $T$ indecomposable satisfies $δ(T) \leq \left\lceil \frac{v(T)+1}{4} \right\rceil$, and this bound is sharp, where $v(T) = |V(T)|$ is the order of $T$. In this paper, we prove that if the tournament $T$ is not transitive of even order, then $T$ can be made indecomposable by reversing the arcs of a subtournament of $T$. We denote by $δ'(T)$ the smallest size of such a subtournament. We also prove that $δ(T) = \left\lceil \frac{δ'(T)}{2} \right\rceil$.

Given a tournament $T$, a module of $T$ is a subset $M$ of $V(T)$ such that for $x, y\in M$ and $v\in V(T)\setminus M$, $(x,v)\in A(T)$ if and only if $(y,v)\in A(T)$. The trivial modules of $T$ are $\emptyset$, $\{u\}$ $(u\in V(T))$ and $V(T)$. The tournament $T$ is indecomposable if all its modules are trivial; otherwise it is decomposable. The decomposability index of $T$, denoted by $δ(T)$, is the smallest number of arcs of $T$ that must be reversed to make $T$ indecomposable. In a previous paper, we proved that for $n \geq 5$, we have $δ(n) = \left\lceil \frac{n+1}{4} \right\rceil$, where $δ(n)$ is the maximum of $δ(T)$ over the tournaments $T$ with $n$ vertices. In this paper, we characterize the tournaments $T$ with $δ$-maximal decomposability, i.e., such that $δ(T)=δ(\vert T\vert)$.

Given a tournament $T$, a module of $T$ is a subset $X$ of $V(T)$ such that for $x, y\in X$ and $v\in V(T)\setminus X$, $(x,v)\in A(T)$ if and only if $(y,v)\in A(T)$. The trivial modules of $T$ are $\emptyset$, $\{u\}$ $(u\in V(T))$ and $V(T)$. The tournament $T$ is indecomposable if all its modules are trivial; otherwise it is decomposable. The decomposability index of $T$, denoted by $δ(T)$, is the smallest number of arcs of $T$ that must be reversed to make $T$ indecomposable. The first author conjectured that for $n \geq 5$, we have $δ(n) = \left\lceil \frac{n+1}{4} \right\rceil$, where $δ(n)$ is the maximum of $δ(T)$ over the tournaments $T$ with $n$ vertices. In this paper we prove this conjecture by introducing the co-modular index of a tournament $T$, denoted by $Δ(T)$, as the largest number of disjoint co-modules of $T$, where a co-module of $T$ is a subset $M$ of $V(T)$ such that $M$ or $V(T) \setminus M$ is a nontrivial module of $T$. We prove that for $n \geq 3$, we have $Δ(n) = \left\lceil \frac{n+1}{2} \right\rceil$, where $Δ(n)$ is the maximum of $Δ(T)$ over the tournaments $T$ with $n$ vertices. Our main result is the following close relationship between the above two indices: for every tournament $T$ with at least $5$ vertices, we have $δ(T) = \left\lceil \frac{Δ(T)}{2} \right\rceil$. As a consequence, we obtain $δ(n) = \left\lceil \frac{Δ(n)}{2} \right\rceil = \left\lceil \frac{n+1}{4} \right\rceil$ for $n \geq 5$, and we answer some further related questions.