A Combinatorial Proof of Cayley's Formula via Degree Sequences
Helia Karisani, Mohammadreza Daneshvaramoli
TL;DR
The paper tackles Cayley’s formula, which counts labeled trees on $n$ vertices as $n^{n-2}$, by presenting a new combinatorial proof centered on degree sequences. It establishes a closed-form count for trees with a fixed degree sequence, $T_{n,d_1,...,d_n} = \frac{(n-2)!}{(d_1-1)! \cdots(d_n-1)!}$, extending to zero when a degree is zero, and proves this by induction via leaf removal. By summing over all valid degree sequences and employing a double-counting perspective that partitions trees into components treated as super-vertices, the method derives Cayley’s result and offers an intuitive alternative to Prüfer codes and the Matrix-Tree Theorem. The approach provides a fresh combinatorial viewpoint that links degree sequences to enumeration problems and suggests avenues for related counting problems. Overall, it contributes a rigorous, accessible framework for understanding Cayley’s formula through structural decomposition and induction.
Abstract
Cayley's formula is a fundamental result in combinatorics that counts the number of labeled trees on n vertices. While existing proofs use approaches such as Prufer sequences and the Matrix-Tree Theorem, we give a combinatorial proof that highlights the role of degree sequences and structural properties of labeled trees. Our goal is to provide an accessible perspective and suggest connections to related enumeration problems.
