Resolving sets for Johnson and Kneser graphs

A set of vertices $S$ in a graph $G$ is a {\em resolving set} for $G$ if, for any two vertices $u,v$, there exists $x\in S$ such that the distances $d(u,x) \neq d(v,x)$. In this paper, we consider the Johnson graphs $J(n,k)$ and Kneser graphs $K(n,k)$, and obtain various constructions of resolving sets for these graphs. As well as general constructions, we show that various interesting combinatorial objects can be used to obtain resolving sets in these graphs, including (for Johnson graphs) projective planes and symmetric designs, as well as (for Kneser graphs) partial geometries, Hadamard matrices, Steiner systems and toroidal grids.Comment: 23 pages, 2 figures, 1 tabl

Monoid graphs and generalized Petersen graphs

Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2023, Director: Kolja Knauer[en] First, a wide definition of Cayley graphs is presented. We focus on the notion of monoid graph: a graph is a monoid graph if it is isomorphic to the underlying graph of the Cayley graph $\operatorname{Cay}(M, C)$ of some monoid $M$ with some connection set $C \subseteq M$. Secondly, the family of Generalized Petersen Graphs $G(n, k)$ is presented. We study the open question whether every Generalized Petersen Graph is a monoid graph, and we focus on the smallest one for which the question remains unanswered: $G(7,2)$. Finally, we explore the feasibility of using the computer to search for a possible monoid for $G(7,2)$. We conclude that it is not viable to check all the possibilities with the proposed algorithms. Nevertheless, we are able to provide a computer-assisted proof that if $G(7,2)$ is a monoid graph then the connection set $C$ does not have any invertible element

Large circulant graphs of fixed diameter and arbitrary degree

We consider the degree-diameter problem for undirected and directed circulant graphs. To date, attempts to generate families of large circulant graphs of arbitrary degree for a given diameter have concentrated mainly on the diameter 2 case. We present a direct product construction yielding improved bounds for small diameters and introduce a new general technique for “stitching” together circulant graphs which enables us to improve the current best known asymptotic orders for every diameter. As an application, we use our constructions in the directed case to obtain upper bounds on the minimum size of a subset A of a cyclic group of order n such that the k-fold sumset kA is equal to the whole group. We also present a revised table of largest known circulant graphs of small degree and diameter

Diameter, Girth And Other Properties Of Highly Symmetric Graphs

We consider a number of problems in graph theory, with the unifying theme being the properties of graphs which have a high degree of symmetry. In the degree-diameter problem, we consider the question of finding asymptotically large graphs of given degree and diameter. We improve a number of the current best published results in the case of Cayley graphs of cyclic, dihedral and general groups. In the degree-diameter problem for mixed graphs, we give a new corrected formula for the Moore bound and show non-existence of mixed Cayley graphs of diameter 2 attaining the Moore bound for a range of open cases. In the degree-girth problem, we investigate the graphs of Lazebnik, Ustimenko and Woldar which are the best asymptotic family identified to date. We give new information on the automorphism groups of these graphs, and show that they are more highly symmetrical than has been known to date. We study a related problem in group theory concerning product-free sets in groups, and in particular those groups whose maximal product-free subsets are complete. We take a large step towards a classification of such groups, and find an application to the degree-diameter problem which allows us to improve an asymptotic bound for diameter 2 Cayley graphs of elementary abelian groups. Finally, we study the problem of graphs embedded on surfaces where the induced map is regular and has an automorphism group in a particular family. We give a complete enumeration of all such maps and study their properties