Possible Number of Vertices for Graphs with Three Edge Connections

metapuff
Messages
53
Reaction score
6
I want to create graphs where each vertex has three edges, and is connected by these three edges to three distinct vertices.

I'd like to know the number of vertices for which this is possible. By playing around a bit, I've found that it's possible for graphs with 4, 8, and 12 vertices. If v is the number of vertices, it's easy to see that a necessary (but not sufficient) condition is that 3v/2 \equiv 0 (mod 3).

The attached image shows exactly what I'm looking for. The graphs for the tetrahedron, cube, and dodecahedron all satisfy my criteria, while the others do not.

Thanks in advance!
 

Attachments

  • Gp17.JPG
    Gp17.JPG
    15.2 KB · Views: 501
Physics news on Phys.org
Take any example and notice that any vertex can be expanded into a triangle where each vertex of the new triangle connects to one of the edges that came into the expanded point. Start with the simplest case (the tetrahedran) and expand the center vertex. That gives a new example with 6 vertices, 9 edges and 5 faces (counting the exterior as a face). You can continue expanding one vertex at a time, each time getting another example with 3 more edges, 2 more vertices, and one more face. I think you can continue this forever to exhaust all possibilities.
 
Yeah, that's totally correct. It's pretty easy to see that any even number of vertices will work, while any odd number will not. For the case of an even number of vertices, the attached image shows a pattern that works every time. (duh!)
 

Attachments

  • Photo on 10-31-14 at 5.50 PM.jpg
    Photo on 10-31-14 at 5.50 PM.jpg
    5.7 KB · Views: 487
Ha! That's a good way of generating them.
 
There is another point to make that might already be obvious. There are a lot of other ways to generate graphs with those properties that are not equivalent to these graphs.
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top