arXiv++ Combinatorics

We disprove the Polycirculant Conjecture, which states that every transitive 2-closed permutation group is non-elusive, i.e. contains a derangement of prime order. In fact, we prove a stronger result, answering a long-standing question of Marušič and Jordan: there exists a vertex-transitive graph admitting no semiregular automorphism. To do so, we employ recently developed methods of Chen et al. for constructing elusive groups via non-split extensions, allowing us to construct an elusive group $7^6.\mathrm{PSU}_3(3)$ of degree 16,464. We show that this group is the full automorphism group of seven of its orbital graphs and hence is 2-closed. Our example extends to infinitely many counterexamples of the Polycirculant Conjecture, and infinitely many vertex-transitive graphs admitting no semiregular automorphism.

We consider independent long-range percolation models on locally finite vertex-transitive graphs. Using coupling ideas we prove strict monotonicity of the critical points with respect to local perturbations in the connection function, thereby improving upon previous results obtained via the classical essential enhancement method of Aizenman and Grimmett in several ways. In particular, our approach allows us to work under minimal assumptions, namely shift-invariance and summability of the connection function, and it applies to both undirected and directed bond percolation models.

DomiRank is a node-importance algorithm for unweighted networks, defined by a dynamical model governed by a competition-strength parameter, a dominance threshold, and a decay rate. We establish three structural results. First, on symmetry. Automorphism-related vertices share the same DomiRank value, and a graph whose values are pairwise distinct must be asymmetric. The orbit count bounds the number of distinct values, and regular and vertex-transitive graphs admit closed forms. Second, on entropy. The maximum of the DomiRank entropy over connected graphs, log_2 N, is attained if and only if the graph is regular. The initial entropy derivative is the degree-log-degree edge covariance, making the decrease rigorous near vanishing competition for structurally disassortative graphs, and an assortative counterexample shows it does not extend to all graphs; a sufficient-condition theorem and a refined conjecture cover the rest. Third, on spectrum. The normalized distribution is sigma-invariant if and only if the degree vector is an adjacency-matrix eigenvector. The parameter sigma interpolates continuously between degree and smallest-eigenvector centrality within the resolvent (Bonacich-type) family, its sensitivity being a second-order suppression operator on the degree vector. Graph transformations are also characterized, including the m-product. Experiments on four real networks and synthetic families up to 10^4 vertices confirm the interpolation and exhibit monotone entropy decrease, continuous ranking interpolation, decaying positive fraction and ranking reversals; where the positive fraction has decayed far from one, the limit describes the solution vector rather than the induced ranking. DomiRank is thus a tunable complement to principal-eigenvector centrality. A companion study quantifies how much of its task-level edge over a degree baseline survives degree correction.

The existence of Hamilton cycles in connected vertex-transitive graphs is a core open problem in algebraic graph theory, originating from Lovász's 1969 conjecture. All connected vertex-transitive graphs of order $pq$ are known to be Hamiltonian except the Petersen graph, and primitive graph of order $2pq$ are resolved except the Coxeter graph. This paper considers connected vertex-transitive graphs of order $2pq$ where every transitive automorphism subgroup admits a maximal intransitive normal subgroup inducing prime-length orbits. We prove that all such graphs contain a Hamilton cycle, with no new exceptions beyond the already characterized non-qualifying graphs. This result covers a large non-quasiprimitive graphs of order $2pq$, advancing the full resolution of the $2pq$.

We develop a fine-scale structural theory for balls of polynomial volume in finitely generated groups. Our main result shows that a polynomial-volume hypothesis on a single ball implies that every larger ball can, after quotienting by a certain canonical finite normal subgroup, be embedded in a lattice of a Lie group whose connected component is nilpotent with sharply bounded index and dimension. These Lie groups and lattices form chains of successive quotients that are essentially unique, giving a quantitative fine-scale analogue of Losert's strengthening of the Mal'cev completion. This describes the fine structure of the group with sharp algebraic and quantitative precision; for example, it leads to sharp bounds in Breuillard, Green and Tao's finitary version of Gromov's polynomial-growth theorem. These results have a wide range of applications in various aspects of the theory of vertex-transitive graphs, including for instance random walks, percolation, and scaling limits. We obtain some of these applications in the present paper, and treat others in companion papers. Some are due to or joint with other authors.

The celebrated conjecture of Lovász from 1969 asks whether every connected vertex-transitive graph has a Hamiltonian path. Bucić, Christoph, Pokrovskiy and Steiner recently proved that every such graph on $n$ vertices contains a cycle of length $n^{2/3-o(1)}$. In this paper, we improve this bound to $n^{1-o(1)}$. Our proof uses a structure theorem of Tessera and Tointon to first obtain a partition of the vertex set into sets of small diameter in the original graph. When the parts are large, we repeatedly traverse a spanning tree of maximum degree at most three in the quotient graph, and use the Lovász local lemma to join random short paths along this traversal and extract a long path in the original graph. When the parts are small, we apply Babai's contraction lemma to reduce the problem to finding a long path in a connected Cayley graph of a nilpotent group with boundedly many generators and bounded nilpotency class, and then show that such a Cayley graph on $m$ vertices contains a path on $m^{1-o(1)}$ vertices.

We prove that there is an absolute constant $c>0$ such that every connected vertex-transitive graph $G$ on $n \ge 3$ vertices contains a cycle of length at least $cn$. Moreover, every such graph with sufficiently large degree $d$ contains a cycle of length at least $(1-d^{-1/100})n$. This gives the first linear bound towards Lovász's Hamiltonicity conjecture. The proof combines a structural result of DeVos and Mohar on vertex-transitive graphs with a general framework for finding long cycles, which may be of independent interest.

We develop the thinning--sprinkling technique, a general method for proving robustness of graph properties under random vertex sampling. Using it, we show that random induced subgraphs of tough graphs, high-degree connected vertex-transitive graphs, and nearly regular sublinear expanders retain strong connectivity or expansion properties with very high probability. We also prove that every $k$-connected graph with $k=ω(\log n)$ contains a spanning bipartite subgraph that is $Ω(k)$-connected. Using these robustness results, we further develop a general framework for constructing almost Hamilton cycles from randomly sampled highly connected subgraphs. As a consequence, we show that tough graphs, connected vertex-transitive graphs and nearly regular expanders contain a cycle of length at least $(1-o(1))n$ whenever the toughness or degree is polylogarithmically large. This gives asymptotic solutions of longstanding conjectures of Chvátal and Lovász on Hamiltonicity of tough and vertex-transitive graphs.

Which vertex-transitive graphs of prime order have quantum symmetry? The question of Banica, Bichon and Chenevier is open in the dense regime of Paley graphs, where coherent-algebra methods give no information. To each such graph we attach a two-basepoint Terwilliger algebra of its cyclotomic scheme and study the module it generates from the basepoints: fullness forces the quantum permutation algebra to be commutative, and the module admits no intermediate state, containing either exactly two point masses or all $p$ of them. One point mass, captured at any depth, therefore suffices, and Chassaniol's orbital criterion is the depth-one case. Three consequences follow. A sharp counting argument replaces the Banica--Bichon--Chenevier threshold $p>6^{\varphi(k)}$ by the quadratic bound $p>(k-1)(k-2)+2$, where $k$ is the type. Four certificates, each a short list of additions modulo $p$, settle $C_{31}(2,4,8,15)$ and $C_{41}(4,10,16,18)$, the two graphs left open by Chassaniol, and complete the classification for type at most $10$ without machine assistance. An exact computation extends the dichotomy ``quantum symmetry if and only if complete or empty'' to all prime orders $p\le250$, settling the Paley graphs $P_{p}$ with $p\le241$, the first beyond $P_{17}$. What remains is the capture of a single explicit vector: the midpoint $2^{-1}$ of the two basepoints.

We prove that Pyber's upper bound $2^{O(n\log(n))}$ for the number of minimally transitive subgroups of $S_n$ is best possible along the powers of every fixed prime, even when the groups are counted up to permutational isomorphism. As a byproduct, our construction shows that, along the powers of every fixed prime, the maximum order of a minimally transitive permutation group of degree $n$ is $2^{Θ(n)}$. For completeness, we also present Pyber's previously unpublished proof of his upper bound. We further deduce that the numbers of labelled vertex-transitive graphs and digraphs of order $n$ are both $2^{Θ(n\log(n))}$, and discuss the implications of our results for approaches to the McKay--Praeger conjecture.

In light of Lovász's longstanding question on the existence of Hamilton paths in vertex-transitive graphs, Du and Yuan considered a natural variant: what if vertex-transitivity is relaxed, while a high degree of symmetry--specifically edge-transitivity--is retained? To investigate this, they studied semisymmetric graphs (i.e. regular, edge-transitive, but not vertex-transitive graphs) and showed that every connected semisymmetric graph of order $2pq$, where $p$ and $q$ are distinct primes, contains a Hamilton cycle. In this paper, it is shown that for any prime $p$, every connected semisymmetric graph of order $2p^3$ also contains a Hamilton cycle.

The class of 2-distance-transitive graphs naturally generalizes distance-transitive graphs and plays a central role in algebraic graph theory. Classifying such graphs for a prescribed underlying group is a key open problem. A vertex-transitive graph $Γ$ is said to be $2$-distance-transitive if, for each $i\in \{1,2\}$, any two pairs of vertices with identical distance $i$ in $Γ$ can be mapped to each other via some automorphism of the graph. In this paper, we present a complete classification of all $2$-distance-transitive Cayley graphs of the semi-dihedral groups.

Let $G$ be a connected simple vertex-transitive graph on $n$ vertices with degree $d$, and let $G_p$ be the random spanning subgraph obtained by retaining each edge independently with probability $p$. Motivated by a conjecture of Bedert, Draganić, Müyesser, and Pavez-Signé on Hamilton cycles in percolated Cayley graphs, we establish its matching and $2$-factor consequences for the larger class of all connected vertex-transitive host graphs. First, for every $A>0$, there is $C=C(A)>0$ such that, for every $N\ge n$, the condition $(1-p)^d\le N^{-C}$ implies, with probability at least $1-N^{-A}$, that $G_p$ has a perfect matching when $n$ is even and that $G_p-v$ has a perfect matching for every vertex $v$ when $n$ is odd. Second, if $ν_2(H)$ is the maximum number of pairwise edge-disjoint spanning $2$-factors in $H$, then, for every $A>0$ and $0<ε<1$, \[ ε^2pd\ge64(A+6)\log(2n) \] implies \[ \mathbb P\left( ν_2(G_p)\ge\left\lfloor(1-ε)\frac{pd}{2}\right\rfloor \right)\ge1-n^{-A}. \] Consequently, $pd\ge C\log n$ guarantees both the appropriate matching property and a spanning $2$-factor with high probability, uniformly over all connected vertex-transitive graphs. If $pd/\log n\to\infty$, then $ν_2(G_p)=(1+o(1))pd/2$ with high probability. The coefficient $1/2$ is best possible because each spanning $2$-factor contains $n$ edges, whereas $G_p$ contains about $pnd/2$ edges.

The search for Hamiltonian cycles in vertex-transitive graphs and digraphs is a classical problem at the interface of graph theory and group theory. In the undirected setting, this goes back to famous conjectures of Lovász and Thomassen predicting that every sufficiently large connected vertex-transitive graph is Hamiltonian. The directed analogue has an even richer history, originating with Rankin in 1946, naturally translating the search for long cycles into classical group rearrangement problems. It was shown by Trotter and Erdős in 1978 that connected vertex-transitive digraphs need not be Hamiltonian. In 1981, Alspach asked whether there exist connected vertex-transitive digraphs whose longest directed cycle misses arbitrarily many vertices. This question was only recently resolved by Bucić, Hendrey, Mohar, Steiner and Yepremyan, who constructed connected vertex-transitive digraphs on $n$ vertices whose longest directed cycle omits $(1-o(1))\log n$ vertices. They further conjectured that the number of omitted vertices can grow linearly with $n$, remarking that it would already be interesting to improve their logarithmic lower bound to a polynomial bound. In this paper, we confirm their conjecture in a strong form by constructing infinitely many connected vertex-transitive digraphs on $n$ vertices whose longest directed cycle omits at least $n/12$ vertices. In the same work, Bucić, Hendrey, Mohar, Steiner and Yepremyan also proved that every connected vertex-transitive digraph on $n$ vertices contains a directed cycle of length $Ω(n^{1/3})$, giving the first lower bound for this problem that grows with $n$. We improve this to $Ω(\sqrt n)$, matching the order of Babai's classical theorem from 1979 for undirected vertex-transitive graphs.

Eternal domination is a process in which a set of guards occupying a dominating set on a graph protects against an infinite sequence of attacks. After a vertex is attacked, one guard must move along an edge to the attacked vertex and each of the remaining guards may move along an edge so that the guards again occupy a dominating set on the graph and can defend the next attack. The minimum number of guards needed in a graph $Γ$ is the eternal domination number, denoted by $γ_{\mathrm{all}}^\infty(Γ)$. In this paper, we show that the eternal domination number of a vertex-transitive graph with an efficient dominating set is equal to its domination number. We show that a Cayley graph on a generalized dihedral group whose connection set contains few or many reflections is efficiently dominated. Then, we provide an infinite family of connected Cayley graphs for which $γ_{\mathrm{all}}^{\infty}(Γ) = γ(Γ)+1$, generalizing a result of [Braga et al., J. Combin. Math. Combin. Comput. 96 (2016), 13--22]. Finally, we build an infinite family of connected Cayley graphs with $γ_{\mathrm{all}}^\infty(Γ) \geq γ(Γ)+2$.

An upper homogeneous (upho) poset is a poset whose every principal filter is isomorphic to the whole poset. Fu--Peng--Zhang conjectured that every finitary upho poset admits a compatible left-cancellative, invertible-free monoid structure whose left-divisibility order coincides with the given order. We disprove this conjecture. For every vertex-transitive graph $G$, we construct a finitary upho poset $P(G,v_0)$ from walks starting at a fixed vertex $v_0$. Applying this construction to the Petersen graph, we show that multiplicability of $P(G,v_0)$ would force the automorphism group of $G$ to contain a regular subgroup. This would imply that $G$ is a Cayley graph, contradicting the fact that the Petersen graph is not Cayley. Hence $P(G,v_0)$ is a non-multiplicable finitary upho poset. We also show that the analogous poset associated with the line graph of the Petersen graph is multiplicable, demonstrating that non-Cayleyness of the underlying graph alone does not determine multiplicability.

Lovász' famous Hamiltonicity conjecture (1969) states that every connected vertex-transitive graph has a Hamiltonian path. A stronger version of the conjecture, often attributed to Thomassen (1978), states that every sufficiently large such graph even has a Hamiltonian cycle. Despite the great amount of attention these conjectures have attracted over the past decades both in the combinatorial and algebraic communities, for more than 40 years the best known lower bound for the maximum length of a cycle (path) in a connected vertex-transitive graph of order $n$ remained of the form $Ω(\sqrt{n})$, due to Babai (1979). A series of recent works has successively improved the exponent in this lower bound further. In this paper, improving the previous state-of-the-art bound $Ω(n^{9/14})$ due to Norin et al.~(2025), we prove that every connected vertex-transitive graph of order $n$ contains a cycle of length at least $n^{2/3-o(1)}$. This hits a natural barrier for several existing approaches from previous work. Our proofs combine recent embedding techniques for paths in sublinear expanders, sublinear expander decompositions of almost-regular graphs, and several additional combinatorial ideas.

Let $d$ be the smallest positive integer, not divisible by $3$, for which there exists an algebraic number over $\mathbb{Q}$ of degree $d$ whose some three algebraic conjugates sum to zero. Employing the classification of vertex-transitive graphs on 16 vertices of degree 6, we prove that $d\neq 16$. This, combined with results obtained by Dubickas, Smyth and Stong \cite{DubickasSmyth2006}, Dubickas and Jankauskas \cite{DubickasJankauskas2015} and Virbalas \cite{Virbalas2025a}, implies that $d=20$.

Circulant graphs are a widely studied family of graphs whose members possess varying amounts of symmetry. Although considerable progress has been made in finding the automorphism groups of circulant graphs under certain restrictions, a complete classification is elusive. In general, the structure of the automorphism group of a graph with twins can be simplified by separating the effect of automorphisms that permute mutually twin vertices and those that operate on the twin quotient graph. Further simplification can be achieved in twin-free, vertex-transitive graphs that have co-twins, which we define to be vertices whose neighborhoods are complementary. In this paper, we demonstrate how the these simplifications can be used provide insight into the automorphism groups and symmetry parameters of vertex-transitive graphs in general and circulant graphs in particular.

In light of Lovász's longstanding question on the existence of Hamilton paths in vertex-transitive graphs, this paper considers a natural variant: what if vertex-transitivity is relaxed, yet a high degree of symmetry--specifically edge-transitivity--is retained? To investigate this, we focus on the class of semisymmetric graphs, which are regular, edge-transitive, but not vertex-transitive. In this paper, it will be shown that every connected semisymmetric graph of order $2pq$, where $p$ and $q$ are two distinct primes contains a Hamilton cycle and that every connected cubic semisymmetric graph of order less than 3000 contains a Hamilton cycle too. Based on these observations, the following question is posed: construct a connected semisymmetric graph which has no Hamilton cycle.