arXiv++ Combinatorics

Let $T$ be a tournament of odd order $n\ge 5,$ $c_{m}(T)$ be the number of its $m$-cycles, and $s_{m}(T)$ be the number of its strongly connected $m$-subtournaments. Due to work of L.W. Beineke and F. Harary, it is well known that $s_{m}(T)\le s_{m}(RLT_{n}),$ where $RLT_{n}$ is the regular locally transitive tournament of order $n.$ For $m=3$ and $m=4,$ $c_{m}(T)$ equals $s_{m}(T),$ but it is not so for $m\ge 5.$ As J.W. Moon pointed out in his note in 1966, the problem of determining the maximum of $c_{m}(T)$ seems very difficult in general (i.e. for $m\ge 5$). In the present paper, based on the Komarov-Mackey formula for $c_{5}(T)$ obtained recently, we prove that $c_{5}(T)\le (n+1)n(n-1)(n-2)(n-3)/160$ with equality holding iff $T$ is doubly regular. A formula for $s_{5}(T)$ is also deduced. With the use of it, we show that $s_{5}(T)\le (n+1)n(n-1)(n-3)(11n-47)/1920$ with equality holding iff $T=RLT_{n}$ or $n=7$ and $T$ is regular or $n=5$ and $T$ is strong. It is also proved that for a regular tournament $T$ of (odd) order $n\ge 9,$ a lower bound $(n+1)n(n-1)(n-3)(17n-59)/3840\le s_{5}(T)$ holds with equality iff $T$ is doubly regular. These results are compared with the ones recently obtained by the author for $c_{5}(T).$

For a regular tournament $T$ of order $n,$ denote by $c_{8}(T)$ the number of cycles of length $8$ in $T.$ Let $DR_{n}$ be a doubly-regular tournament of order $n\equiv 3\mod4$ (so, the out-sets and in-sets of its vertices are also regular and hence, contain the maximum possible number of cyclic triples) and $RLT_{n}$ be the unique regular locally transitive tournament of (odd) order $n$ (so, the out-sets and in-sets of its vertices are transitive and hence, contain no cyclic triples, at all). Some arguments based on the spectral properties of tournaments allow us to suggest that $c_{8}(T) \le c_{8}(RLT_{n}),$ where $n$ is sufficiently large. This restriction on $n$ is essential because our computer processing of B. McKay's file of tournaments implies that for $n=9,11,13,$ the maximum of $c_{8}(T)$ is attained at tournaments with regular structure of the out and in-sets of their vertices. In the present paper, we show that $c_{8}(DR_{n})$ does not depend on a particular choice of $DR_{n}$ and determine expressions for $c_{8}(DR_{n})$ and $c_{8}(RLT_{n}).$ They are both polynomials of degree $8$ in $n.$ Comparing $c_{8}(DR_{n})$ with $c_{8}(RLT_{n})$ yields the inequality $c_{8}(DR_{n})>c_{8}(RLT_{n})$ for $11\le n\le 35,$ while $c_{8}(RLT_{n}) > c_{8}(DR_{n})$ for $n\ge 39.$ This allows us to treat the value $n=39$ as the point of phase transition in the local properties of maximizers and minimizers of $c_{8}(T)$ in the class of regular tournaments of order $n.$

Let $T$ be a strongly connected tournament of order $n\ge 4$ whose diameter does not exceed $d\ge 3.$ Denote by $c_{\ell}(T)$ the number of circuits of length $\ell$ in $T.$ In our recent paper, we construct a strongly connected tournament $T_{d,n}$ of order $n$ with diameter $d$ and conjecture that $c_{\ell}(T)\ge c_{\ell}(T_{d,n})$ for any $\ell=3,...,n.$ In particular, for $d=n-1,$ this inequality is true and yields the known Moon (lower) bound $c_{\ell}(T)\ge n-\ell+1.$ Moreover, we suggest that if $n+3\le 2d,$ then for any given $\ell$ taken in the range $n-d+3,...,d,$ the equality $c_{\ell}(T)=c_{\ell}(T_{d,n})$ implies that $T$ is isomorphic to $T_{d,n}$ or its converse $T_{d,n}^{-}.$ For $d=n-1,$ the corresponding particular statement is nothing else than Las Vergnas' theorem. Recently, we have confirmed the posed conjecture for the case $d=n-2.$ In the present paper, we show that it is also true for $d=n-3.$