arXiv++ Combinatorics

A $k$-regular graph of girth $g$ is called vertex-girth-regular if every vertex is contained in the same number of cycles of length $g$. For integers $n, k, g$ and $λ$, we denote such a graph on $n$ vertices in which every vertex lies on exactly $λ$ cycles of length $g$ by a $\text{vgr}(n,k,g,λ)$-graph. It is well-known that any vertex-girth-regular graph satisfies $λ\le \frac{k(k-1)^{\left\lfloor \frac{g}{2} \right\rfloor}}{2}$. Graphs for which $λ$ is close to this bound are of particular interest in connection with the cage problem, since requiring many girth cycles through every vertex is a natural way to isolate highly structured candidates for small regular graphs of prescribed girth. In this paper, we prove that for every $k\ge 3$ and every integer $0< \varepsilon \leq \frac{k-1}{2}$, there does not exist a $\text{vgr}(n,k,5,\frac{k(k-1)^2}{2}-\varepsilon)$-graph. Previous non-existence results had already settled all odd girths at least $7$ and very recently also girth $3$, leaving girth $5$ as the only girth for which no non-trivial non-existence result was known. Thus, our result resolves the final remaining case and completes the picture for odd girths.

We study graphs that are simultaneously regular with respect to the ordinary vertex degree and regular with respect to the triangle degree, that is, the number of triangles containing a given vertex. We call such graphs regular $K_3$-regular. We investigate the (non-)existence of regular $K_3$-regular graphs with prescribed parameters $(r_2,r_3)$, where $r_2$ is the vertex degree and $r_3$ is the triangle degree. General bounds relating vertex and edge triangle degrees are derived, and non-existence results are established for broad ranges of these parameters. Furthermore, it is shown that the class of regular $K_3$-regular graphs is closed under the Cartesian product, and decomposability properties are analysed. Special attention is paid to Turán graphs, for which we establish uniqueness results for certain parameters. The paper concludes with a summary of admissible parameters and several open problems.