{"id":"arxiv/2607.18047","url":"https://arxiv.org/abs/2607.18047","tags":["math.CO"],"score":0,"title":"Towards a strengthening of the second neighborhood conjecture","domain":"math.CO","source":"arxiv","authors":["Yandong Bai","Binlong Li","Boram Park"],"reviews":0,"subject":"math.CO","summary":"A longstanding conjecture of Seymour, called Seymour's second neighborhood conjecture, states that every oriented graph $D$ contains a vertex $x$ with $|N^{++}_D(x)|\\geq |N^{+}_D(x)|$. The conjecture was verified in a few special classes of oriented graphs, and it remains open for general oriented graphs. We study a stronger property, asking for a vertex $x$ such that there exists a complete matching from $N^+_D(x)$ to $N^{++}_D(x)$. We prove that this stronger version holds for every oriented graph with minimum out-degree at most $5$, and also for every $5$-anti-transitive oriented graph.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-20","reactions":{}}