The tree cover bound for positive semidefinite maximum nullity
The tree cover bound. For every graph GGG,