The paper tackles a long-standing open problem in algebraic graph theory: does every connected vertex-transitive graph contain a Hamiltonian cycle, meaning a closed path that visits every vertex exactly once? This conjecture has been open for decades and is difficult to resolve in general, so researchers make progress by studying special families of graphs. Here the authors focus on graphs whose number of vertices has the form 2pq, where p and q are primes both greater than 5, and whose symmetry group satisfies a strong but specific algebraic condition called quasiprimitivity.
A quasiprimitive group is one where every non-trivial normal subgroup acts transitively on the vertices, which is a natural generalization of primitive groups. The authors first carry out a detailed structural classification, identifying what the "socle" (the product of all minimal normal subgroups) of such a group can be and how it acts. They show that in this setting the groups are always almost simple, meaning they sit tightly around a simple group, and they pin down exactly which simple groups can appear and how they act on the vertex set.
Using this classification, the authors then prove that any connected graph of order 2pq admitting a quasiprimitive automorphism group does contain a Hamiltonian cycle, with at most three exceptional families of cases left open. These potential exceptions all involve the simple groups PSL(2,p) or PSL(2,q squared), which are matrix groups over finite fields. The result represents meaningful progress toward the general Hamiltonian conjecture by handling an infinite family of graph orders with a rich and previously uncharted symmetry structure.