A Random Walk Proof of Matrix Tree Theorem
A Random Walk Proof of Matrix Tree Theorem
A Random Walk Proof of Matrix Tree Theorem
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Some History• Kirchh<strong>of</strong>f - 1800sGustav Kirchh<strong>of</strong>f was motivated to study spanning trees by problems arisingfrom his work on electrical networks.• Wilson’s Algorithm - 1996David Wilson used “cycle-popping” to prove his algorithm generated a uniformspanning tree. His original pro<strong>of</strong> is <strong>of</strong> a very different flavour. The <strong>Matrix</strong> <strong>Tree</strong><strong>Theorem</strong> does not follow directly from the cycle-popping pro<strong>of</strong>.• Greg Lawler - 1999Lawler discovered a new, computational pro<strong>of</strong> <strong>of</strong> Wilson’s Algorithm viaGreen’s functions. The <strong>Matrix</strong> <strong>Tree</strong> <strong>Theorem</strong> follows immediately as a corollaryto his pro<strong>of</strong>.Our original goal was to give an expository account <strong>of</strong> Lawler’s pro<strong>of</strong>. However, inaddition to simplifying his pro<strong>of</strong>, we discovered that these ideas could be applied todeduce results for Markov processes.15