• Research
• Open Access

# On improvements of Fischer’s inequality and Hadamard’s inequality for ${K}_{0}$-matrices

Journal of Inequalities and Applications20132013:460

https://doi.org/10.1186/1029-242X-2013-460

• Accepted: 9 September 2013
• Published:

## Abstract

In this paper, the class of ${K}_{0}$-matrices, which includes positive definite matrices, totally positive matrices, M-matrices and inverse M-matrices, is first introduced and the refinements of Fischer’s inequality and Hadamard’s inequality for ${K}_{0}$-matrices are obtained. Some previous well-known results for totally nonnegative matrices can be regarded as the special case of this paper.

MSC:15A15.

## Keywords

• totally nonnegative matrix
• ${K}_{0}$-matrix
• Fischer’s inequality

## 1 Introduction

All matrices considered in this paper are real. For an $n×n$ matrix $A,\alpha ,\beta \subseteq 〈n〉=\left\{1,2,\dots ,n\right\}$, the submatrix of A lying in rows indexed by α and the columns indexed by β will be denoted by $A\left[\alpha ,\beta \right]$. If $\alpha =\beta$, then the principal submatrix $A\left[\alpha ,\alpha \right]$ is abbreviated to $A\left[\alpha \right]$. For any $\alpha \subseteq 〈n〉$, let ${\alpha }^{c}$ denote the complement of α relative to $〈n〉$, and let $|\alpha |$ denote the cardinality of α. If $\alpha =\mathrm{\varnothing }$, we define $detA\left[\mathrm{\varnothing }\right]=1$. We use ${S}_{n}$ for the symmetric group on $〈n〉$.

An $n×n$ matrix A is called a ${P}_{0}$-matrix (P-matrix) if all the principal minors of A are nonnegative (positive). A P-matrix A is called 1-minor symmetric if $detA\left[\alpha ,\beta \right]\cdot detA\left[\beta ,\alpha \right]\ge 0$, whenever $|\alpha |=|\beta |=1+|\alpha \cap \beta |$. Of course, each of the P-matrices, such as positive definite matrices (PD), totally positive matrices (TP), M-matrices (M) and inverse M-matrices (${M}^{-1}$), is 1-minor symmetric, see . We have known that the following multiplicative principal minor inequalities are classical for PD, M and ${M}^{-1}$ matrices:
• Hadamard: $detA\le {\prod }_{i=1}^{n}{a}_{ii}$;

• Fischer: $detA\le detA\left[S\right]\cdot detA\left[{S}^{c}\right]$, for $\mathrm{\forall }S\subseteq 〈n〉$;

• Koteljanskii: $detA\left[S\cup T\right]\cdot detA\left[S\cap T\right]\le detA\left[S\right]\cdot detA\left[T\right]$, for $\mathrm{\forall }S,T\subseteq 〈n〉$.

These inequalities also hold for totally nonnegative matrices (TN), see .

The study of multiplicative principal minor inequalities has been actively going on for many years, many authors have done various wonderful works on this topic, see . In , Zhang and Yang improved Hadamard’s inequality for totally nonnegative matrices as follows:

If $A=\left[{a}_{ij}\right]$ is an $n×n$ totally nonnegative matrix with ${\prod }_{i=1}^{n}{a}_{ii}>0$, then
$detA\le min\left\{\prod _{i=1}^{n}{a}_{ii}-\underset{1\ne \sigma \in {S}_{n}}{max}{\left(\prod _{i=1}^{n}{a}_{i\sigma \left(i\right)}{a}_{\sigma \left(i\right)i}\right)}^{1/2},\underset{k\in 〈n〉}{min}{a}_{kk}\underset{i\ne k}{\overset{n}{\prod _{i=1}}}\left({a}_{ii}-\frac{{a}_{ik}{a}_{ki}}{{a}_{kk}}\right)\right\}.$
(1.1)

Hadamard’s inequality for some subclasses of ${P}_{0}$-matrices is an important inequality in matrix analysis, inequality (1.1) is the generalization of Hadamard’s inequality for totally nonnegative matrices. It is a noticeable problem to generalize inequality (1.1) for totally nonnegative matrices to other classes of matrices. In this paper we give some new upper bounds of Fischer’s inequality and Hadamard’s inequality for a subclass of ${P}_{0}$-matrices and extend the corresponding results due to Zhang and Yang (see ).

## 2 Some lemmas

To avoid triviality, we always assume $n>1$. We will need important Sylvester’s identity for determinants (see ).

Lemma 2.1 

Let A be an $n×n$ matrix, $\alpha \subseteq 〈n〉$, and suppose $|\alpha |=k$ ($1\le k\le n-1$). Define the $\left(n-k\right)×\left(n-k\right)$ matrix $B=\left({b}_{ij}\right)$, with $i,j\in {\alpha }^{c}$, by setting ${b}_{ij}=detA\left[\alpha \cup \left\{i\right\},\alpha \cup \left\{j\right\}\right]$ for every $i,j\in {\alpha }^{c}$. B is called the Sylvester matrix of A associated with $A\left[\alpha \right]$. Then Sylvester’s identity states that for each $\delta ,\gamma \subseteq {\alpha }^{c}$, with $|\delta |=|\gamma |=l$,
$detB\left[\delta ,\gamma \right]={\left(detA\left[\alpha \right]\right)}^{l-1}detA\left[\alpha \cup \delta ,\alpha \cup \gamma \right].$
(2.1)

For convenience, we introduce the following definition.

Definition 2.1 A ${P}_{0}$-matrix (P-matrix) A is called a ${K}_{0}$-matrix (K-matrix) if every principal submatrix of A satisfies Koteljanskii’s inequality.

Obviously, each principal submatrix of a ${K}_{0}$-matrix (K-matrix) is a ${K}_{0}$-matrix (K-matrix). Of course, each of the matrices PD, TP, M and ${M}^{-1}$ is a K-matrix, the totally nonnegative matrices are ${K}_{0}$-matrices. In fact, an evident necessary and sufficient condition for a K-matrix was given in .

Lemma 2.2 

A P-matrix satisfies Koteljanskii’s inequality if and only if it is 1-minor symmetric.

There are K-matrices that lie in none of the classes PD, TP, M and ${M}^{-1}$, e.g.,
$\left(\begin{array}{ccc}4& 2& -3\\ 1& 3& 1\\ -1& 1& 2\end{array}\right).$

Lemma 2.3 If an $n×n$ matrix $A=\left[{a}_{ij}\right]$ is a ${K}_{0}$-matrix, then ${a}_{ij}{a}_{ji}\ge 0$ for $\mathrm{\forall }i,j\in 〈n〉$.

Proof For $\mathrm{\forall }i,j\in 〈n〉$, $i, we consider the submatrix $A\left[\left\{i,j\right\}\right]$ of the ${K}_{0}$-matrix A. Since $A\left[\left\{i,j\right\}\right]$ is a ${K}_{0}$-matrix, by the Hadamard’s inequality, we have
$detA\left[\left\{i,j\right\}\right]={a}_{ii}{a}_{jj}-{a}_{ij}{a}_{ji}\le {a}_{ii}{a}_{jj},$
therefore

This completes the proof. □

Lemma 2.4 Let A be a K-matrix, B be the Sylvester matrix of A associated with $A\left[\alpha \right]$, then B is a K-matrix.

Proof For $\mathrm{\forall }\delta \subseteq {\alpha }^{c}$, with $|\delta |=l$, by Sylvester’s identity (2.1), we have
$detB\left[\delta ,\delta \right]={\left(detA\left[\alpha \right]\right)}^{l-1}detA\left[\alpha \cup \delta ,\alpha \cup \delta \right]>0,$

this means that B is a P-matrix.

For $\mathrm{\forall }{\delta }^{\prime }$, $\gamma \subseteq {\alpha }^{c}$, with $|{\delta }^{\prime }|=|\gamma |=1+|{\delta }^{\prime }\cap \gamma |={k}_{1}$, by Sylvester’s identity (2.1), we have
$\begin{array}{r}detB\left[{\delta }^{\prime },\gamma \right]detB\left[\gamma ,{\delta }^{\prime }\right]\\ \phantom{\rule{1em}{0ex}}={\left(detA\left[\alpha \right]\right)}^{2{k}_{1}-2}detA\left[\alpha \cup {\delta }^{\prime },\alpha \cup \gamma \right]detA\left[\alpha \cup \gamma ,\alpha \cup {\delta }^{\prime }\right]>0.\end{array}$
(2.2)
Obviously,
$\begin{array}{c}\begin{array}{rl}|\alpha \cup {\delta }^{\prime }|& =|\alpha |+|{\delta }^{\prime }|=1\phantom{\rule{0.25em}{0ex}}+|\alpha |+|{\delta }^{\prime }\cap \gamma |\\ =1+|\left(\alpha \cup {\delta }^{\prime }\right)\cap \left(\alpha \cup \gamma \right)|,\end{array}\hfill \\ \begin{array}{rl}|\alpha \cup \gamma |& =|\alpha |+|\gamma |=1\phantom{\rule{0.25em}{0ex}}+|\alpha |+|{\delta }^{\prime }\cap \gamma |\\ =1+|\left(\alpha \cup {\delta }^{\prime }\right)\cap \left(\alpha \cup \gamma \right)|.\end{array}\hfill \end{array}$
That is,
$|\alpha \cup {\delta }^{\prime }|=|\alpha \cup \gamma |=1+|\left(\alpha \cup {\delta }^{\prime }\right)\cap \left(\alpha \cup \gamma \right)|.$

By Lemma 2.2 and (2.2), we conclude that B is 1-minor symmetric, therefore B is a K-matrix. □

Lemma 2.5 If $A=\left[{a}_{ij}\right]$ is an $n×n$ ${K}_{0}$-matrix, then
(2.3)
Proof For each $\sigma \in {S}_{n}$, by Lemma 2.3, we obtain
Since each $2×2$ principal minor of A is nonnegative, we have
thus
${\left(\prod _{i=1}^{n}{a}_{ii}\right)}^{2}\ge \prod _{i=1}^{n}{a}_{i\sigma \left(i\right)}{a}_{\sigma \left(i\right)i},$

hence inequality (2.3) follows. □

## 3 Main results

In this section, we give some new upper bounds for Fischer’s inequality and Hadamard’s inequality, and extend the corresponding results due to Zhang and Yang (see ).

Theorem 3.1 If $A=\left[{a}_{ij}\right]$ is an $n×n$ ${K}_{0}$-matrix, with ${\prod }_{i=1}^{n}{a}_{ii}>0$, then
$detA\le detA\left[\alpha \right]\cdot detA\left[{\alpha }^{c}\right]\left(1-\underset{j\in {\alpha }^{c}}{\underset{i\in \alpha }{max}}\frac{{a}_{ij}{a}_{ji}}{{a}_{ii}{a}_{jj}}\right).$
(3.1)
Proof If A is singular, (3.1) is valid obviously. If A is a nonsingular ${K}_{0}$-matrix, by Fisher’s inequality, we know that A is a P-matrix, therefore A is a K-matrix. Now we prove (3.1) for the K-matrix by induction on n. When $n=2$, it is very easy to see that the result is valid. We suppose that the result is valid for all $m×m$ ($m and $n\ge 3$) K-matrices, let k be the cardinality of α. Note that α and ${\alpha }^{c}$ are symmetric in inequality (3.1). Without loss of generality, we assume $k\ge 2$. Let
$\underset{j\in {\alpha }^{c}}{\underset{i\in \alpha }{max}}\frac{{a}_{ij}{a}_{ji}}{{a}_{ii}{a}_{jj}}=\frac{{a}_{{i}_{1}{j}_{1}}{a}_{{j}_{1}{i}_{1}}}{{a}_{{i}_{1}{i}_{1}}{a}_{{j}_{1}{j}_{1}}},$

where ${i}_{1}\in \alpha$ and ${j}_{1}\in {\alpha }^{c}$.

For any $r\in \alpha$ and $r\ne {i}_{1}$, let $\omega =\alpha -\left\{r\right\}$, and $S=\left({S}_{ij}\right)$ be the $\left(n-k+1\right)×\left(n-k+1\right)$ Sylvester matrix of A associated with $A\left[\omega \right]$. By Lemma 2.4, S is a K-matrix. Clearly, ${S}_{rr}=detA\left[\alpha \right]$, then, by Fisher’s inequality, we have
$detS\le {S}_{rr}\cdot detS\left[{\alpha }^{c}\right]=detA\left[\alpha \right]\cdot detS\left[{\alpha }^{c}\right],$
(3.2)
where ${\alpha }^{c}=〈n〉-\alpha$. It follows from Sylvester’s identity (2.1) and (3.2) that
$detA=\frac{detS}{{\left(detA\left[\omega \right]\right)}^{n-k}}\le \frac{detA\left[\alpha \right]\cdot detS\left[{\alpha }^{c}\right]}{{\left(detA\left[\omega \right]\right)}^{n-k}}.$
(3.3)
Let $\beta =〈n〉-\left\{r\right\}$, from Sylvester’s identity (2.1), we obtain
$detS\left[{\alpha }^{c}\right]={\left(detA\left[\omega \right]\right)}^{n-k-1}\cdot detA\left[\beta \right].$
(3.4)
Thus, by the inductive hypothesis, we have
$detA\left[\beta \right]\le detA\left[\omega \right]\cdot detA\left[{\alpha }^{c}\right]\left(1-\underset{j\in {\alpha }^{c}}{\underset{i\in \omega }{max}}\frac{{a}_{ij}{a}_{ji}}{{a}_{ii}{a}_{jj}}\right).$
(3.5)
From (3.3), (3.4) and (3.5), it follows that
$detA\le detA\left[\alpha \right]\cdot detA\left[{\alpha }^{c}\right]\left(1-\underset{j\in {\alpha }^{c}}{\underset{i\in \omega }{max}}\frac{{a}_{ij}{a}_{ji}}{{a}_{ii}{a}_{jj}}\right).$
(3.6)
Clearly,
$\underset{j\in {\alpha }^{c}}{\underset{i\in \omega }{max}}\frac{{a}_{ij}{a}_{ji}}{{a}_{ii}{a}_{jj}}=\underset{j\in {\alpha }^{c}}{\underset{i\in \alpha }{max}}\frac{{a}_{ij}{a}_{ji}}{{a}_{ii}{a}_{jj}}.$
(3.7)

Combining (3.6) and (3.7), we obtain inequality (3.1). □

Example 3.1 Now, we consider a $4×4$ K-matrix that lies in none of the classes PD, TP, M and ${M}^{-1}$. Let
$A=\left(\begin{array}{cccc}15& 5& 0& -3\\ 1& 3& 6& 9\\ 0& 3& 7& 11\\ -1& 5& 15& 30\end{array}\right).$
Then A is 1-minor symmetric and A is a P-matrix. By Lemma 2.2, we know that A is a K-matrix. Let $\alpha =\left\{1,2\right\}$, then ${\alpha }^{c}=\left\{3,4\right\}$. By calculating, we have
$detA=36

therefore inequality (3.1) holds.

Let $A\left[\alpha \right]\phantom{\rule{0.25em}{0ex}}=A\left[\left\{k\right\}\right]$ ($k\in 〈n〉$), by Theorem 3.1 and the induction, we can obtain the following conclusion.

Corollary 3.2 If $A=\left[{a}_{ij}\right]$ is an $n×n$ ${K}_{0}$-matrix, with ${\prod }_{i=1}^{n}{a}_{ii}>0$, then
$detA\le \underset{k\in 〈n〉}{min}{a}_{kk}\underset{i\ne k}{\overset{n}{\prod _{i=1}}}\left({a}_{ii}-\frac{{a}_{ik}{a}_{ki}}{{a}_{kk}}\right).$

If $A=\left[{a}_{ij}\right]$ is a totally nonnegative matrix with ${\prod }_{i=1}^{n}{a}_{ii}>0$, Corollary 3.2 is certainly valid, so Corollary 3.2 is the generalization of Theorem 3 in .

Theorem 3.3 If $A=\left[{a}_{ij}\right]$ is an $n×n$ ${K}_{0}$-matrix, then
$detA\le \prod _{i=1}^{n}{a}_{ii}-\underset{1\ne \sigma \in {S}_{n}}{max}{\left(\prod _{i=1}^{n}{a}_{i\sigma \left(i\right)}{a}_{\sigma \left(i\right)i}\right)}^{1/2}.$
(3.8)

Proof If A is singular, by Lemma 2.3 and Lemma 2.5, we know (3.8) is valid. If A is a nonsingular ${K}_{0}$-matrix, then A is a K-matrix. We suppose that A is a K-matrix in the following.

If $n=2$, then equality in (3.8) holds. If $n>2$, then first we prove the following conclusion:

For any $1\ne \sigma \in {S}_{n}$, there exists ${k}_{0}\ne \sigma \left({k}_{0}\right)$ such that
${\left[\prod _{i=1}^{n}{a}_{i\sigma \left(i\right)}{a}_{\sigma \left(i\right)i}\right]}^{\frac{1}{2}}\le {a}_{{k}_{0}\sigma \left({k}_{0}\right)}{a}_{\sigma \left({k}_{0}\right){k}_{0}}\prod _{i=1,i\ne {k}_{0},\sigma \left({k}_{0}\right)}^{n}{a}_{ii}.$
(3.9)

Case 1. If ${\prod }_{i=1}^{n}{a}_{i\sigma \left(i\right)}{a}_{\sigma \left(i\right)i}=0$. For any $1\ne \sigma \in {S}_{n}$, by Lemma 2.3, we know that (3.9) certainly holds.

Case 2. If ${\prod }_{i=1}^{n}{a}_{i\sigma \left(i\right)}{a}_{\sigma \left(i\right)i}>0$. Let $T=\left\{k|\sigma \left(k\right)\ne k\right\}$, then $|T|\ge 2$, it is easy to see that (3.9) is true even with the equality sign for $|T|=2$. Now we assume that $|T|>2$.

Suppose that there exists $1\ne \sigma \in {S}_{n}$, for any $k\ne \sigma \left(k\right)$, such that
${\left[\prod _{i=1}^{n}{a}_{i\sigma \left(i\right)}{a}_{\sigma \left(i\right)i}\right]}^{\frac{1}{2}}>{a}_{k\sigma \left(k\right)}{a}_{\sigma \left(k\right)k}\prod _{i=1,i\ne k,\sigma \left(k\right)}^{n}{a}_{ii}.$
(3.10)
Then multiplying all the possible inequalities in (3.10) yields
${\left[\prod _{i=1}^{n}{a}_{i\sigma \left(i\right)}{a}_{\sigma \left(i\right)i}\right]}^{\frac{|T|}{2}}>\prod _{k\in T}\left[{a}_{k\sigma \left(k\right)}{a}_{\sigma \left(k\right)k}\prod _{i=1,i\ne k,\sigma \left(k\right)}^{n}{a}_{ii}\right].$
(3.11)
Let $S=〈n〉-T$. If $S\ne \mathrm{\varnothing }$, by (3.11) we have
${\left[\prod _{i\in T}{a}_{i\sigma \left(i\right)}{a}_{\sigma \left(i\right)i}\right]}^{\frac{|T|}{2}}{\left[\prod _{i\in S}{a}_{ii}\right]}^{|T|}>\left[\prod _{i\in T}{a}_{i\sigma \left(i\right)}{a}_{\sigma \left(i\right)i}\right]\cdot {\left[\prod _{i\in S}{a}_{ii}\right]}^{|T|}\prod _{i\in T}{a}_{ii}^{|T|-2}.$
(3.12)
If $S=\mathrm{\varnothing }$, by (3.11) we have
${\left[\prod _{i\in T}{a}_{i\sigma \left(i\right)}{a}_{\sigma \left(i\right)i}\right]}^{\frac{|T|}{2}}>\left[\prod _{i\in T}{a}_{i\sigma \left(i\right)}{a}_{\sigma \left(i\right)i}\right]\cdot \prod _{i\in T}{a}_{ii}^{|T|-2}.$
(3.13)
By (3.12) and (3.13), we have
${\left[\prod _{i\in T}{a}_{i\sigma \left(i\right)}{a}_{\sigma \left(i\right)i}\right]}^{\frac{1}{2}}>\prod _{i\in T}{a}_{ii}.$
(3.14)
On the other hand, since the principal submatrix $A\left[T\right]$ of A is a K-matrix, applying Lemma 2.5 to $A\left[T\right]$ yields
${\left[\prod _{i\in T}{a}_{i\sigma \left(i\right)}{a}_{\sigma \left(i\right)i}\right]}^{\frac{1}{2}}\le \prod _{i\in T}{a}_{ii},$
(3.15)

which is a contradiction to (3.14), therefore (3.9) holds.

By Fisher’s inequality (3.1) and (3.9), we have
$\begin{array}{rl}detA& \le detA\left[\left\{{k}_{0},\sigma \left({k}_{0}\right)\right\}\right]\cdot detA\left[{\left\{{k}_{0},\sigma \left({k}_{0}\right)\right\}}^{c}\right]\\ \le \left[{a}_{{k}_{0}{k}_{0}}{a}_{\sigma \left({k}_{0}\right)\sigma \left({k}_{0}\right)}-{a}_{\sigma \left({k}_{0}\right){k}_{0}}{a}_{{k}_{0}\sigma \left({k}_{0}\right)}\right]\cdot \prod _{i=1,i\ne {k}_{0},\sigma \left({k}_{0}\right)}{a}_{ii}\\ \le \prod _{i=1}^{n}{a}_{ii}-{\left[\prod _{i=1}^{n}{a}_{i\sigma \left(i\right)}{a}_{\sigma \left(i\right)i}\right]}^{\frac{1}{2}},\end{array}$

therefore (3.8) holds. □

If $A=\left[{a}_{ij}\right]$ is a totally nonnegative matrix, Theorem 3.3 is certainly valid too, so Theorem 3.3 is the generalization of Theorem 4 in .

Example 3.2 Now we consider the previous K-matrix. Let
$A=\left(\begin{array}{ccc}4& 2& -3\\ 1& 3& 1\\ -1& 1& 2\end{array}\right).$
By calculating we have
$detA=2\le \prod _{i=1}^{3}{a}_{ii}-\underset{1\ne \sigma \in {S}_{3}}{max}{\left[\prod _{i=1}^{3}{a}_{i\sigma \left(i\right)}{a}_{\sigma \left(i\right)i}\right]}^{\frac{1}{2}}=24-max\left\{4,9,\sqrt{6},4,\sqrt{6}\right\}=15,$

therefore inequality (3.8) holds.

By Corollary 3.2 and Theorem 3.3, we get the following result.

Corollary 3.4 If $A=\left[{a}_{ij}\right]$ is an $n×n$ ${K}_{0}$-matrix, with ${\prod }_{i=1}^{n}{a}_{ii}>0$, then
$detA\le min\left\{\prod _{i=1}^{n}{a}_{ii}-\underset{1\ne \sigma \in {S}_{n}}{max}{\left(\prod _{i=1}^{n}{a}_{i\sigma \left(i\right)}{a}_{\sigma \left(i\right)i}\right)}^{1/2},\underset{k\in 〈n〉}{min}{a}_{kk}\underset{i\ne k}{\overset{n}{\prod _{i=1}}}\left({a}_{ii}-\frac{{a}_{ik}{a}_{ki}}{{a}_{kk}}\right)\right\}.$

If A is a totally nonnegative matrix, Corollary 3.4 is valid, so we obtain the result in .

Corollary 3.5 

If $A=\left[{a}_{ij}\right]$ is an $n×n$ totally nonnegative matrix, with ${\prod }_{i=1}^{n}{a}_{ii}>0$, then
$detA\le min\left\{\prod _{i=1}^{n}{a}_{ii}-\underset{1\ne \sigma \in {S}_{n}}{max}{\left(\prod _{i=1}^{n}{a}_{i\sigma \left(i\right)}{a}_{\sigma \left(i\right)i}\right)}^{1/2},\underset{k\in 〈n〉}{min}{a}_{kk}\underset{i\ne k}{\overset{n}{\prod _{i=1}}}\left({a}_{ii}-\frac{{a}_{ik}{a}_{ki}}{{a}_{kk}}\right)\right\}.$

## Declarations

### Acknowledgements

The author expresses his deep gratitude to the referees for their many very valuable suggestions and comments. The research of this paper was supported by the Natural Science Foundation of Shandong Province of China (ZR2010AL017).

## Authors’ Affiliations

(1)
School of Mathematics and Information Sciences, Weifang University, Weifang, 261061, People’s Republic of China

## References 