On Graph Continued Fractions and the Heilmann-Lieb Theorem

Abstract

Inspired by Viennot's observation that matching polynomials are numerators of branched continued fractions we present a proof of the Heilmann-Lieb Theorem.