Nonnegativity for hafnians of certain matrices
We show that a complex symmetric matrix of the form where is Hermitian positive semidefinite, has a nonnegative hafnian. These are positive scalar multiples of matrices that are encodable in a Gaussian boson sampler. Further, the hafnian of this matrix is non-decreasing in in the sense that if .