A four-vertex, quadratic, spanning forest polynomial identity
  The classical Dodgson identity can be interpreted as a quadratic identity of spanning forest polynomials, where the spanning forests used in each polynomial are defined by how three marked vertices are divided among the component trees. We prove an analogous result with four marked vertices. 
Aleksandar Vlasev and Karen Yeats
math.CO