The hafnian analogue of Marcus's inequality for positive semidefinite matrices
Hafnian inequality. The hafnian of this block matrix is at least
MathDB