On the Ilmonen-Haukkanen-Merikoski Conjecture

Let $K_n$ be the set of all $n\times n$ lower triangular (0,1)-matrices with each diagonal element equal to $1$, $L_n=\{Y{Y}^T:Y\in K_n\}$ and let \begin{equation*} c_n = \min_{Z\in L_n} \left\lbrace \mu_n^{(1)}(Z):\mu_n^{(1)} (Z) $\text{ is the smallest eigenvalue of }$ Z \right\rbrace . \end{equation*} The Ilmonen-Haukkanen-Merikoski conjecture (the IHM conjecture) states that $c_n$ is equal to the smallest eigenvalue of $Y_0{Y}_0^T$, where \begin{equation*} (Y_0)_{ij}=\left\lbrace \ \begin{array}{cl} 0 & $\text{if }$ \ i<j, 1 & $\text{if }$ \ i=j, \frac{1-(-1)^{i+j}}{2} & $\text{if }$ \ i>j. \end{array} \right. \end{equation*} In this paper we present a proof of this conjecture. In our proof we use an inequality for spectral radii of nonnegative matrices.