About the second neighborhood conjecture for tournaments missing two stars or disjoint paths

Moussa Daamouch,Salman Ghazal,Darine Al-Mniny
2024-06-06
Abstract:Seymour's Second Neighborhood Conjecture (SSNC) asserts that every oriented finite simple graph (without digons) has a vertex whose second out-neighborhood is at least as large as its first out-neighborhood. Such a vertex is said to have the second neighborhood property (SNP). In this paper, we prove SSNC for tournaments missing two stars. We also study SSNC for tournaments missing disjoint paths and, particularly, in the case of missing paths of length 2. In some cases, we exhibit at least two vertices with the SNP.
Combinatorics
What problem does this paper attempt to address?
This paper mainly discusses the Second Neighborhood Conjecture (SSNC) of Seymour in two types of graphs: one is the tournament missing two star graphs, and the other is the graph missing two disjoint paths. The paper first introduces relevant concepts in graph theory, such as directed graph, neighborhood, dependency graph, etc., and focuses particularly on vertices with the property of Second Neighborhood Property (SNP). For tournaments missing two star graphs, the paper proves that such graphs satisfy SSNC. They introduce a specific sorting method called sedimentation and use this order to show the existence of at least two vertices satisfying SNP. The paper also studies the case where the two star graph parts missing in the tournament overlap, demonstrating that SSNC still holds. Then, the paper turns to the tournaments missing disjoint paths, especially when the dependency graph is 2-regular, meaning that the outdegree and indegree of each missing edge are both 2. In this case, the dependency graph consists of double cycles. Through a series of lemmas and theorems, the paper proves that SSNC also holds in this special structure. Through these results, the paper further expands the understanding of SSNC in special classes of graphs and provides new tools and strategies for solving more general graph theory problems.