paper

The Burness-Giudici Conjecture on Primitive Groups with Socle and

arXiv:2512.22461

Abstract

Let be a transitive permutation group on containing two points such that . The Saxl graph of is defined as the graph with vertex set , where two vertices are adjacent if and only if . Burness and Giudici conjectured that for any primitive permutation group , its Saxl graph satisfies the property that any two vertices share a common neighbor. We study this common-neighbor property for primitive groups whose socle is a simple group of Lie type of rank one, namely , , or . In this paper, we establish the property for groups with socle or , except possibly when and a point stabilizer satisfies .