[Math] Bounding the minimum singular value of a block triangular matrix

linear algebramatricesreference-request

Question:

What is the sharpest known lower bound for the minimum singular value of the block triangular matrix
$$M:=\begin{bmatrix}
A & B \\ 0 & D
\end{bmatrix}$$
in terms of the properties of its constituent matrices?

Some known bounds:

Since the minimum singular value of $M$ is one over the norm of $M^{-1}$, we can equivalently look for upper bounds on $M^{-1}$, which has the following block structure:
$$M^{-1} = \begin{bmatrix}
A^{-1} & -A^{-1}BD^{-1} \\
0 & D^{-1}
\end{bmatrix}.$$

Applying the triangle inequality yields the simple bound:
$$\left\Vert M^{-1} \right\Vert \le \left\Vert D^{-1} \right\Vert + \left\Vert A^{-1}BD^{-1} \right\Vert + \left\Vert A^{-1} \right\Vert,$$

A slightly more involved argument discussed here yields the (usually sharper) bounds:
\begin{align}
\left\Vert M^{-1} \right\Vert &\le \sqrt{\left\Vert A^{-1}\right\Vert^2\left(1 + \left\Vert BD^{-1} \right\Vert^2 \right) + \left\Vert D^{-1} \right\Vert^2} \\
\left\Vert M^{-1} \right\Vert &\le \sqrt{\left\Vert D^{-1}\right\Vert^2\left(1 + \left\Vert A^{-1}B \right\Vert^2 \right) + \left\Vert A^{-1} \right\Vert^2}.
\end{align}

Conjecture:

The obvious conjecture is the following symmetrized version:
$$\left\Vert M^{-1} \right\Vert \overset{?}{\le} \sqrt{\left\Vert D^{-1} \right\Vert^2 + \left\Vert A^{-1}BD^{-1} \right\Vert ^2 + \left\Vert A^{-1} \right\Vert ^2},$$
which I have been unable to prove.

Notes:

  • This question was asked on math.stackexchange where it got many upvotes but no answers.

  • Presumably this has been systematically studied somewhere, but I have just been unable to find the right paper.

  • Perhaps there is no one "best" bound. In that case, it would still be useful to know what different bounds are out there, and what the tradeoffs are between them.

Best Answer

Yes, this works. As I suggested in my comment above, we can rephrase the claim as $\|M\|^2 \le \|A\|^2 + \|B\|^2 + \|D\|^2$, and this we can check by direct calculation: Apply $M$ to $v=(x,y)^t$. Then $$ \|Mv\|^2 =\|Ax+By\|^2 + \|Dy\|^2 $$ and $$ \|Ax+By\|^2 \le (\|A\| \|x\|+\|B\|\|y\|)^2 \le (\|A\|^2 + \|B\|^2)(\|x\|^2+\|y\|^2) , $$ (by the Cauchy-Schwarz inequality on $\mathbb R^2$ in the last step) as desired.

Related Question