arXiv++ Combinatorics

Let $K_n$ denote the set of all nonsingular $n\times n$ lower triangular $(0,1)$-matrices. Hong and Loewy (2004) introduced the number sequence $$ c_n=\min\{λ\midλ~\text{is an eigenvalue of}~XX^{\rm T},~X\in K_n\},\quad n\in\mathbb Z_+. $$ There have been a number of attempts in the literature to obtain bounds on the numbers $c_n$ by Mattila (2015), Altinisik et al. (2016), Kaarnioja (2021), Loewy (2021), and Altinisik (2021). In this paper, improved upper and lower bounds are derived for the numbers $c_n$. By considering the characteristic polynomial corresponding to the matrix $Z_n$ satisfying $c_n=\|Z_n\|_2^{-1}$, it is shown that the second largest eigenvalue of $Z_n$ is bounded from above by $\frac45$ leading to an improved upper bound on $c_n$. On the other hand, Samuelson's inequality applied to the roots of the characteristic polynomial of $Z_n$ yields an improved lower bound. Numerical experiments demonstrate the quality of the new bounds.

Let $K_n$ be the set of all nonsingular $n\times n$ lower triangular $(0,1)$-matrices. Hong and Loewy (2004) introduced the numbers $$ c_n={\rm min}\{λ\mid λ~\text{is an eigenvalue of}~XX^{\rm T},~X\in K_n\},\quad n\in\mathbb{Z}_+. $$ A related family of numbers was considered by Ilmonen, Haukkanen, and Merikoski (2008): $$ C_n={\rm max}\{λ\mid λ~\text{is an eigenvalue of}~XX^{\rm T},~X\in K_n\},\quad n\in\mathbb{Z}_+. $$ These numbers can be used to bound the singular values of matrices belonging to $K_n$ and they appear, e.g., in eigenvalue bounds for power GCD matrices, lattice-theoretic meet and join matrices, and related number-theoretic matrices. In this paper, it is shown that for $n$ odd, one has the lower bound $$ c_n\geq \frac{1}{\sqrt{\frac{1}{25}\varphi^{-4n}+\frac{2}{25}\varphi^{-2n}-\frac{2}{5\sqrt{5}}n\varphi^{-2n}-\frac{23}{25}+n+\frac{2}{25}\varphi^{2n}+\frac{2}{5\sqrt{5}}n\varphi^{2n}+\frac{1}{25}\varphi^{4n}}}, $$ and for $n$ even, one has $$ c_n\geq \frac{1}{\sqrt{\frac{1}{25}\varphi^{-4n}+\frac{4}{25}\varphi^{-2n}-\frac{2}{5\sqrt{5}}n\varphi^{-2n}-\frac{2}{5}+n+\frac{4}{25}\varphi^{2n}+\frac{2}{5\sqrt{5}}n\varphi^{2n}+\frac{1}{25}\varphi^{4n}}}, $$ where $\varphi$ denotes the golden ratio. These lower bounds improve the estimates derived previously by Mattila (2015) and Altinişik et al. (2016). The sharpness of these lower bounds is assessed numerically and it is conjectured that $c_n\sim 5\varphi^{-2n}$ as $n\to\infty$. In addition, a new closed form expression is derived for the numbers $C_n$, viz. $$ C_n=\frac14 \csc^2\bigg(\fracπ{4n+2}\bigg)=\frac{4n^2}{π^2}+\frac{4n}{π^2}+\bigg(\frac{1}{12}+\frac{1}{π^2}\bigg)+\mathcal{O}\bigg(\frac{1}{n^2}\bigg),\quad n\in\mathbb{Z}_+. $$

We introduce a notion of positive definiteness for functions $f\!:P\to\mathbb{R}$ defined on meet semilattices $(P,\preceq,\wedge)$ and prove several properties for these functions. In addition, we utilize the $LDL^{\rm T}$ decomposition of meet matrices in order to explore the properties of multivariate positive definite arithmetic functions $f\!:\mathbb{Z}_+^d\to\mathbb{R}$. Finally, we give a series of examples and counterexamples of positive definite functions.

We study generalized eigenvalue problems for meet and join matrices with respect to incidence functions on semilattices. We provide new bounds for generalized eigenvalues of meet matrices with respect to join matrices under very general assumptions. The applied methodology is flexible, and it is shown in the case of GCD and LCM matrices that even sharper bounds can be obtained by applying the known properties of the divisor lattice. These results can also be easily modified for the dual problem of eigenvalues of join matrices with respect to meet matrices, which we briefly consider as well. We investigate the effectiveness of the obtained bounds for select examples involving number-theoretical lattices.