Tutte polynomial, complete invariant, and theta series (Q2051875)

The authors prove two results unrelated to each other, both inspired by Tutte polynomials. In the first part, they start with an undirected finite graph \(G\) with \(n\) vertices and show that \(G\) can be completely recovered from an \(n\)-state polynomial \(Z_n = Z_{W_n}(G)\) in \(n(n+1)/2\) variables. By this they mean that the number of vertices, edges, and adjacencies can be recovered from the polynomial. As a result, the set \(\{Z_n\}_{n=1}^\infty\) forms a set of complete invariants for finite graphs. They go on to show that \(G\) can also be recovered from the similarly defined pseudo \(n\)-state polynomial \(\tilde{Z_n} = Z_{\tilde{W_n}}(G)\) in one variable of degree \(3|E(G)|\) yielding a similar conclusion about the set \(\{\tilde{Z_n}\}_{n=1}^\infty\). In the second part, they prove that non-isomorphic lattices of rank \(4d\) with the same \(\Theta\)-series exist for \(d \in \{24,27,30,33,35,36,38,39,41,42\} \cup\) \(\{i \in \mathbb{Z} \mid i \geq 44\}\).