arXiv++ Combinatorics

A vertex $v$ of an oriented graph $D$ is a Seymour vertex if the number of outneighbors of $v$ is less than or equal to the number of second outneighbors of $v$ (vertices at directed distance exactly $2$ from $v$). Seymour's Second Neighborhood Conjecture claims that every oriented graph contains a Seymour vertex. We propose the following stronger conjecture (Conjecture 1.4): given any oriented graphs $D$, there exists a minimum outdegree vertex $s$, and a Seymour vertex $v^*$ such that the directed distance from $s$ to $v^*$ is at most $\lfloor\frac{δ^+(D)}{3} \rfloor$, where $δ^+(D)$ denotes the minimum outdegree of $D$. The main contribution of this article is to show that Conjecture 1.4 is true for all oriented graphs having minimum outdegree at most $7$. This, in particular, improves the results of Kaneko and Locke (2001) which (implicitly) proved Conjecture 1.4 for all oriented graphs having minimum outdegree at most $6$. In particular, this yields Seymour's Second Neighborhood Conjecture for this class of oriented graphs. We also construct a family of digraphs attaining the proposed distance bound, showing that it cannot be improved in general. Finally, by adapting existing arguments, we show that if Seymour's Second Neighborhood Conjecture is true then given any oriented graph $D$ and any vertex $v$, it is always possible to find a Seymour vertex $v^*$ such that the directed distance from $v$ to $v^*$ is at most the outdegree of $v$.