-
Orbit counting lemma
A graph-theoretic proof of Burnside's lemma, counting group-action orbits by double-counting edges in a bipartite graph.
-
Matrix recurrence for non-backtracking walks
A matrix recurrence for walks that avoid immediately retracing the last edge.
-
Graham-Pollak determinant formula
A beautiful formula for the determinant of the distance matrix of a tree.