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