arXiv++ Combinatorics

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$.

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.

Circulant digraphs are Cayley digraphs over finite cyclic groups and constitute a fundamental class of objects in algebraic graph theory. Extending the classification of locally-primitive circulant graphs \cite{JZ-2026}, we completely determine all locally-quasiprimitive circulant digraphs. Our main theorem shows that a connected locally-quasiprimitive circulant digraph is isomorphic to one of the following: the complete graph \(\K_n\), the complete bipartite graph \(\K_{n/2,n/2}\), the graph \(\K_{n/2,n/2}-\frac{n}{2}\K_2\) (with \(n/2\) odd), the cycle \(\C_n\), the directed cycle \(\vec \C_n\), a normal circulant digraph of prime valency, the lexicographic product \(\vec \C_m[\overline{\K_b}]\), or the tensor product \(\vec \C_m\times \K_b\) with \(\gcd(m,b)=1\).

This thesis investigates two central directions in algebraic graph theory, with an emphasis on spectral methods: spectral determination of graphs and transitivity properties of generalized-Hamming graphs and their complements. The first part focuses on graphs that are determined by the spectra of associated matrices. We study spectral determination with respect to the adjacency, Laplacian, signless Laplacian, and normalized Laplacian matrices, with particular emphasis on the adjacency spectrum. We survey existing results on graphs determined by their spectrum and develop new proof techniques for establishing spectral uniqueness. In particular, we present new proofs for the spectral characterization of complete bipartite graphs and Turán graphs, as well as some new results related to the spectral characterization of the important family of strongly regular graphs. In addition, we introduce a new family of graphs, called \emph{the graphs of pyramids}, and prove that they are determined by their adjacency spectrum using tools from matrix analysis, such as Cauchy's interlacing theorem and Schur complements. The second part of the thesis studies generalized-Hamming graphs, a family of Cayley graphs that generalize the sub-family of Hamming graphs, and their complements. We classify the parameters for which these graphs are edge-transitive or even distance-transitive. Our analysis combines spectral methods, group-theoretic arguments, and techniques from the theory of association schemes. As an application, we derive closed-form expressions for the Lovász $\vartheta$-function of generalized-Hamming graphs and their complements whenever either the graph or its complement is edge-transitive. Overall, the results demonstrate how spectral methods provide powerful tools for understanding the structure and symmetry of graphs, and they suggest several directions for further research.

We present more than seventy optimal degree-diameter Cayley graphs that are non-isomorphic to previously known optimal Cayley graphs with the same degree and diameter. For each graph, we provide comprehensive data on its parameters and structural invariants. Comparison with known constructions reported by Marston Conder on the Combinatorics Wiki and in related works reveals significant differences in girth, algebraic connectivity, domination number, automorphism group structure, cycle distributions, distance-related properties, and other graph invariants. These findings show that optimal degree-diameter Cayley graphs are frequently non-unique. The new examples enlarge the catalogue of known optimal graphs and provide benchmarks for investigations in degree-diameter problems, algebraic graph theory, and extremal graph theory. Since some of the graphs were identified through randomized search techniques, the collection is not exhaustive.

The goal of this note is to connect some interesting results in the literature on algebraic graph theory and finite geometry. In 1999, Weng gave an almost complete classification of classical distance-regular graphs of negative type with diameter at least 4. He proved that these graphs are either dual polar graphs of Hermitian polar spaces, Hermitian forms graphs, or fall into a last category. It was recently proved by Yian et al. that the latter category does not exist when the diameter equals 3, which by Weng's results proves that they do not exist for bigger diameter. Using a result of Vanhove, this proves that certain hemisystems in Hermitian polar spaces cannot exist.

It is well-known that every vertex-transitive graph admits a representation as a coset graph. In this paper, we extend this construction by introducing monodromy graphs defined through double cosets. Our main result establishes that every graph is isomorphic to a monodromy graph, providing a new combinatorial framework for graph representation. Moreover, we show that every graph gives rise to an arc-transitive graph through its monodromy representation. Inspired by the monodromy representation of graphs, we denote an algebraic map $\mathcal{M}(G;Ω,ρ,τ)$ by $\mathcal{M}(G;U,ρ,τ)$ where $U$ is a stabiliser in $G$. As an application, we prove an enumeration theorem for orientable maps with a given monodromy group. We underscore a fundamental triad in algebraic graph theory: Where there is a graph, there is a group, an arc-transitive graph, and an orientable regular map--each arising canonically from the underlying combinatorial and algebraic structures.

Graph polynomials encode fundamental combinatorial invariants of graphs. Their computation is investigated using tree and path decomposition frameworks, with formal definitions of treewidth, k-trees, and pathwidth establishing the structural basis for algorithmic efficiency. Explicit algorithms are constructed for each polynomial, leveraging decomposition order and state transformation mappings to enable tractable computation on graphs of bounded treewidth. Python implementations validate the methods, and computational complexity is analyzed with respect to sparse and k-degenerate graph classes. These results advance decomposition-based approaches for polynomial computation in algebraic graph theory.

We lay down the foundations of the Eigenvalue Method in coding theory. The method uses modern algebraic graph theory to derive upper bounds on the size of error-correcting codes for various metrics, addressing major open questions in the field. We identify the core assumptions that allow applying the Eigenvalue Method, test it for multiple well-known classes of error-correcting codes, and compare the results with the best bounds currently available. By applying the Eigenvalue Method, we obtain new bounds on the size of error-correcting codes that often improve the state of the art. Our results show that spectral graph theory techniques capture structural properties of error-correcting codes that are missed by classical coding theory approaches.

Computers and algorithms play an ever-increasing role in obtaining new results in graph theory. In this survey, we present a broad range of techniques used in computer-assisted graph theory, including the exhaustive generation of all pairwise non-isomorphic graphs within a given class, the use of searchable databases containing graphs and invariants as well as other established and emerging algorithmic paradigms. We cover approaches based on mixed integer linear programming, semidefinite programming, dynamic programming, SAT solving, metaheuristics and machine learning. The techniques are illustrated with numerous detailed results covering several important subareas of graph theory such as extremal graph theory, graph coloring, structural graph theory, spectral graph theory, regular graphs, topological graph theory, special sets in graphs, algebraic graph theory and chemical graph theory. We also present some smaller new results that demonstrate how readily a computer-assisted graph theory approach can be applied once the appropriate tools have been developed.

We look at the question of which distance-regular graphs are core-complete, meaning they are isomorphic to their own core or have a complete core. We build on Roberson's homomorphism matrix approach by which method he proved the Cameron-Kazanidis conjecture that strongly regular graphs are core-complete. We develop the theory of the homomorphism matrix for distance-regular graphs of diameter $d$. We derive necessary conditions on the cosines of a distance-regular graph for it to admit an endomorphism into a subgraph of smaller diameter $e<d$. As a consequence of these conditions, we show that if $X$ is a primitive distance-regular graph where the subgraph induced by the set of vertices furthest away from a vertex $v$ is connected, any retraction of $X$ onto a diameter-$d$ subgraph must be an automorphism, which recovers Roberson's result for strongly regular graphs as a special case for diameter $2$. We illustrate the application of our necessary conditions through computational results. We find that no antipodal, non-bipartite distance-regular graphs of diameter 3, with degree at most $50$ admits an endomorphism to a diameter 2 subgraph. We also give many examples of intersection arrays of primitive distance-regular graphs of diameter $3$ which are core-complete. Our methods include standard tools from the theory of association schemes, particularly the spectral idempotents. Keywords: algebraic graph theory, distance-regular graphs, association schemes, graph homomorphisms

A new characterization of the Lovasz theta function is provided by relating it to the (weighted) walk-generating function, thus establishing a relationship between two seemingly quite distinct concepts in algebraic graph theory. An application of this new characterization is given by showing how it straightforwardly entails multiple natural generalizations of the Hoffman upper bound (on both the independence number and Lovasz number) to arbitrary non-regular graphs. These new bounds possess properties that make them advantageous to previously derived such generalizations. It will also be shown that the Lovasz theta function equals a natural relaxation of the independence number, here dubbed the spherical independence number -- the determination of which involves producing a vector corresponding to a generalized maximum independent set which might be significant for the maximum independent set problem. Lastly, the derivation of the new characterization involves proving a certain analysis result which may in itself be of interest.

Quantum walks on graphs are fundamental to quantum computing and have led to many interesting open problems in algebraic graph theory. This review article highlights three key classes of open problems in this domain; perfect state transfer, instantaneous uniform mixing, and average mixing matrices. In highlighting these open problems, our aim is to stimulate further research and exploration in this rapidly evolving field.

For each integer partition $λ\vdash n$ we give a simple combinatorial expression for the sum of the Jack character $θ^λ_α$ over the integer partitions of $n$ with no singleton parts. For $α= 1,2$ this gives closed forms for the eigenvalues of the permutation and perfect matching derangement graphs, resolving an open question in algebraic graph theory. A byproduct of the latter is a simple combinatorial formula for the immanants of the matrix $J-I$ where $J$ is the all-ones matrix, which might be of independent interest. Our proofs center around a Jack analogue of a hook product related to Cayley's $Ω$--process in classical invariant theory, which we call the principal lower hook product.

In this paper, all graphs are assumed to be finite. For $s\geq 1$ and a graph $\G$, if for every pair of isomorphic connected induced subgraphs on at most $s$ vertices there exists an automorphism of $\G$ mapping the first to the second, then we say that $\G$ is $s$-connected-set-homogeneous, and if every isomorphism between two isomorphic connected induced subgraphs on at most $s$ vertices can be extended to an automorphism of $\G$, then we say that $\G$ is $s$-connected-homogeneous. For $n\geq 1$, a graph $\G$ is said to be locally $2\K_n$ if the subgraph $[\G(u)]$ induced on the set of vertices of $\G$ adjacent to a given vertex $u$ is isomorphic to $2\K_n$. Note that $2$-connected-set-homogeneous but not $2$-connected-homogeneous graphs are just the half-arc-transitive graphs which are a quite active topic in algebraic graph theory. Motivated by this, we posed the problem of characterizing or classifying $3$-connected-set-homogeneous graphs of girth $3$ which are not $3$-connected-homogeneous in (Eur. J. Combin. 93 (2021) 103275). Until now, there have been only two known families of $3$-connected-set-homogeneous graphs of girth $3$ which are not $3$-connected-homogeneous, and these graphs are locally $2\K_n$ with $n=2$ or $4$. In this paper, we complete the classification of finite $3$-connected-set-homogeneous graphs which are locally $2\K_n$ with $n\geq 2$, and all such graphs are line graphs of some specific $2$-arc-transitive graphs. Furthermore, we give a good description of finite $3$-connected-set-homogeneous but not $3$-connected-homogeneous graphs which are locally $2\K_n$ and have solvable automorphism groups. This is then used to construct some new $3$-connected-set-homogeneous but not $3$-connected-homogeneous graphs as well as some new $2$-arc-transitive graphs.

Given positive integers $e_1,e_2$, let $X_i$ denote the set of $e_i$-dimensional subspaces of a fixed finite vector space $V=(\mathbb{F}_q)^{e_1+e_2}$. Let $Y_i$ be a non-empty subset of $X_i$ and let $α_i=|Y_i|/|X_i|$. We give a positive lower bound, depending only on $α_1,α_2,e_1,e_2,q$, for the proportion of pairs $(S_1,S_2)\in Y_1\times Y_2$ which intersect trivially. As an application, we bound the proportion of pairs of non-degenerate subspaces of complementary dimensions in a finite classical space that intersect trivially. This problem is motivated by an algorithm for recognizing classical groups. By using techniques from algebraic graph theory, we are able to handle orthogonal groups over the field of order 2, a case which had eluded Niemeyer, Praeger, and the first author.

Given a finite abelian group $G$ and a subset $J\subset G$ with $0\in J$, let $D_{G}(J,N)$ be the maximum size of $A\subset G^{N}$ such that the difference set $A-A$ and $J^{N}$ have no non-trivial intersection. Recently, this extremal problem has been widely studied for different groups $G$ and subsets $J$. In this paper, we generalize and improve the relevant results by Alon and by Hegedűs by building a bridge between this problem and cyclotomic polynomials with the help of algebraic graph theory. In particular, we construct infinitely many non-trivial families of $G$ and $J$ for which the current known upper bounds on $D_{G}(J, N)$ can be improved exponentially.

A group $G$ is said to be totally $2$-closed if in each of its faithful permutation representations, say on a set $Ω$, $G$ is the largest subgroup of $\mathrm{Sym}(Ω)$ which leaves invariant each of the $G$-orbits for the induced action on $Ω\times Ω$. We prove that there are precisely $47$ finite totally $2$-closed groups with trivial Fitting subgroup. Each of these groups is a direct product of pairwise non-isomorphic sporadic simple groups, with the direct factors coming from the Janko groups $\mathrm{J}_1, \mathrm{J}_3$ and $\mathrm{J}_4$, together with $\mathrm{Ly}, \mathrm{Th}$ and the Monster $\mathbb{M}$. These are the first known examples of insoluble totally $2$-closed groups. As a by-product of our methods, we develop several tools for studying $2$-closures of transitive permutation groups -- a vital tool in the study of representations of finite groups as automorphism groups of digraphs. We also prove a dual to a 1939 theorem of Frucht from Algebraic Graph Theory.

The distance eigenvalues of a connected graph $G$ are the eigenvalues of its distance matrix $D(G)$. A graph is called distance integral if all of its distance eigenvalues are integers. Let $n \geq 3$ be an integer. A crown graph $Cr(n)$ is a graph obtained from the complete bipartite graph $K_{n,n}$ by removing a perfect matching. Let $L(Cr(n))$ denote the line graph of the crown graph $Cr(n)$. In this paper, by using the orbit partition method in algebraic graph theory, we determine the set of all distance eigenvalues of $L(Cr(n))$ and show that this graph is distance integral.

A Cayley (di)graph $Cay(G,S)$ of a group $G$ with respect to $S$ is said to be normal if the right regular representation of $G$ is normal in the automorphism group of $Cay(G,S)$, and is called a CI-(di)graph if there is $α\in Aut(G)$ such that $S^α=T$, whenever $Cay(G,S)\cong Cay(G,T)$ for a Cayley (di)graph $Cay(G,T)$. A finite group $G$ is called a DCI-group or a NDCI-group if all Cayley digraphs or normal Cayley digraphs of $G$ are CI-digraphs, and is called a CI-group or a NCI-group if all Cayley graphs or normal Cayley graphs of $G$ are CI-graphs, respectively. Motivated by a conjecture proposed by Ádám in 1967, CI-groups and DCI-groups have been actively studied during the last fifty years by many researchers in algebraic graph theory. It takes about thirty years to obtain the classification of cyclic CI-groups and DCI-groups, and recently, the first two authors, among others, classified cyclic NCI-groups and NDCI-groups. Even though there are many partial results on dihedral CI-groups and DCI-groups, their classification is still elusive. In this paper, we prove that a dihedral group of order $2n$ is a NCI-group or a NDCI-group if and only if $n=2,4$ or $n$ is odd. As a direct consequence, we have that if a dihedral group $D_{2n}$ of order $2n$ is a DCI-group then $n=2$ or $n$ is odd-square-free, and that if $D_{2n}$ is a CI-group then $n=2,9$ or $n$ is odd-square-free, throwing some new light on classification of dihedral CI-groups and DCI-groups.