Sign conjecture for the abstract matrix-tree Laplacian
Sign conjecture. All coefficients xHx_HxH are integers of the same sign.