One can define cochain complexes of (combinatorial) graphs, where each term is a vector space of linear combinations of certain (isomorphism classes of) graphs, and where the differential $d$ is a signed sum of edge contractions. One can understand the kernel of $d$ by understanding the image (and hence the cokernel) of its adjoint $d^\*$. It is easy to see that $d^\*$ takes a graph to some linear combination of all possible "edge expansions" (some of which may be isomorphic graphs!). The exact values of the coefficients in this linear combination are perhaps less obvious. If one identifies the dual to the graph complex as a vector space of graphs via the pairing $\langle \Gamma\_i, \Gamma\_j\rangle = \delta\_{ij}|\mathrm{Aut}(\Gamma\_i)|$, those coefficients turn out to be all $(\pm)1$. (This allows one to deduce the STU and IHX relations in finite-type invariants via graph cohomology.)


In the case of "unitrivalent" graphs (which is all I'm interested in), I have written a somewhat complicated proof justifying these coefficients (or automorphism factors, depending on how you look at it). But if someone else has already written down this proof (or a shorter one, or a more general one), I'd be happy to know about it. Similarly, I'd be happy to get a hint as to why this is obvious, if that's the case.



Reference for the image of the adjoint to the differential in graph cohomology (which yields STU & IHX)?
One just needs to check that with your definition of pairing, one always gets $\langle d^\*\Gamma\_1,\Gamma\_2\rangle=\pm\langle\Gamma\_1,d\Gamma\_2\rangle$. Notice that the right-hand side counts the number of homeomorphisms (counted with signs) between $\Gamma\_1$ and $\Gamma\_2/e$, where $e$ runs through the set of edges of $\Gamma\_2$. The left-hand side counts the number of ways to expand $\Gamma\_1$ in a vertex $v$ and then define a homeomorphism of the resulting graph with $\Gamma\_2$. One can clearly define a bijection between these two sets, since both sets can be written as a union over the vertices $v$ of $\Gamma\_1$ and the edges of $\Gamma\_2$ of the sets of homeomorphisms $\Gamma\_1\to\Gamma\_2/e$ that send $v$ to the vertex in $\Gamma\_2$ obtained from $e$.


I am sorry I can not provide any reference, but it seems pretty standard. 


