The motivation for the post comes from a pair of cocyclic graphs on 10 vertices. We call a pair of non-isomorphic graphs cocyclic if there is a bijection between the vertex sets defined by the function: $$ f(a) = b \text{ if } C_k(a) = C_k(b) $$ where $C_k$ counts the total number of closed walks of length $k$. The following is one example of a cocyclic pair (and is believed to be the smallest).
They are really rare! Only 116 exist out of 1,229,2182 graphs on 10 vertices. I haven't been able to find much literature on the construction of these graphs. I have been doing some exploring myself and I found that at least on 10 vertices, these graphs usually have a high edge count:
The $y$-axis is the number of graphs and the $x$-axis: is the number of edges divided by the maximum number of edges on 10 vertices. I am trying to find works that estimate the relative frequency of such graphs as the number of vertices grows. As always, I'll be very grateful if anyone can direct me to relevant resources or even questions that are related to this.
