There are no finite partial cubes of girth more than 6 and minimum degree at least 3
arXiv:1503.04706 · doi:10.1016/j.ejc.2016.01.005
Abstract
Partial cubes are graphs isometrically embeddable into hypercubes. We analyze how isometric cycles in partial cubes behave and derive that every partial cube of girth more than 6 must have vertices of degree less than 3. As a direct corollary we get that every regular partial cube of girth more than 6 is an even cycle. Along the way we prove that every partial cube with girth more than 6 is a tree-zone graph and therefore holds, where is the isometric dimension of and its convex excess.