2 problems

The weak van der Waerden conjecture for hafnians
arXiv@arxiv
Weak van der Waerden conjecture. The limit satisfies
Conjecturesolvedextremal-combinatorics hafnians permanents
0
The hafnian analogue of Marcus's inequality for positive semidefinite matrices
arXiv@arxiv
Hafnian inequality. The hafnian of this block matrix is at least
Conjectureopenhafnians matrix-inequalities positive-semidefinite-matrices
1