1

A simple graph (no loops, no multi-edges) $G$ is 'local', when the neighbourhood graph of each vertex is isomorphic to a specific graph $H$; here, the neighbourhood of a vertex $v$ in a graph $G$ is the subgraph of $G$ induced by all vertices adjacent to $v$, i.e., the graph composed of the vertices adjacent to $v$ and all edges connecting vertices adjacent to $v$.
Specific definitions may differ whether the 'central vertex' is included in that neighbourhood but that does not make a difference to the definition of a graph being local.

Alternatively, theses graphs are called 'locally H','neighbourhood regular', 'graphs with isomorphic neighbourhood subgraphs' or 'link graphs'.

I find this an intriguing set of graphs, e.g.,

  • it can be easily seen/ constructively proven that the only connected, locally $C_3$, $C_4$ and $C_5$ graphs (using the open neighbourhood definition without the central vertex) are respectively the 1-skeletons of the tetrahedron, octahedron and icosahedron... while for $n=6$, there are infinitely many non isomorphic graphs which are locally $C_n$ (regular triangulations); I don't quite understand $n>6$
  • more generally; I would like to better understand, when there are just a finite number of cases or infinite families of these for a given neighbourhood $H$
  • is it as simple as the closed neighbourhood $H$ (including the central vertex) containing a spanning star, for a locally $H$ graph $G$ to exist? Is there a counter example?

I'm looking for modern review, ideally publicly available for this type of graph.

References

Michael T
  • 1,742
  • 1
    The Klein quartic is locally C7. – Ed Pegg May 03 '25 at 18:16
  • 1
    Frank Harary, Zevi Miller, and I wrote a paper about the special case where $H$ is a tree: "Which trees are link graphs?" J. Combinatorial Theory 29 (1980) 277--292. – Andreas Blass May 03 '25 at 19:13
  • 1
    @ Ed, many thanks! That is 'sort of' clear; less clear: how many more $C_7$ graphs are there and how can they be constructed? Can you do a similar construction with more 'rings' of heptagons (# grows with Fibonacci)? Would you have a reference for that? – Michael T May 04 '25 at 08:57
  • 1
    Not sure how to do that. But Mathematica's GraphData lists local graphs. For example, GraphData[{"NoncayleyTransitive", {28, 13}}, "LocalGraph", "Name"] – Ed Pegg May 06 '25 at 01:25
  • See https://math.stackexchange.com/questions/5066009/classification-of-simple-finite-locally-c-7-graphs for a discussion on $C_7$ graphs – Michael T May 18 '25 at 14:05

1 Answers1

1

Not really an answer, but {"NoncayleyTransitive",{28,13}} is locally $C_9$

Graph[GraphData[{"NoncayleyTransitive",{28,13}}], VertexCoordinates->Join[Thread[{2,3,5,8,9,10,7,6,4}->1.3CirclePoints[9]],{1->{.2,.3}}, Thread[{20,18,23,19,22,17,21,14,25,16,26,11,28,12,27,15,24,13}->(Reverse/@CirclePoints[18])]]]  

enter image description here

Another embedding, perhaps more clear.

ResourceFunction["DragGraphVertices"][Graph[GraphData[{"NoncayleyTransitive",{28,13}}], VertexCoordinates->Join[Thread[{3,5,8,9,10,7,6,4,2}->(-1CirclePoints[9])],{1->{0,0}}, Thread[{18,13,15,12,11,16,14,17,19}->.7CirclePoints[9]],

Thread[{26,25,21,22,23,20,24,27,28}->.5CirclePoints[9]]]]]

enter image description here

Ed Pegg
  • 21,868