Theorem 4.22 (Godsil-Gutman, 80s).

𝔼S∼{±1}det⁡(xI−As)=μG(x),

where

μG(x)=∑k≥0xn−2k(−1)kmk(G),

where mk(G) is the number of matchings in G with k edges.