Skip to main content
2 of 4
added some detail; fixed some typos.
Suvrit
  • 28.6k
  • 7
  • 82
  • 150

Here is a proof that holds under a slight additional hypothesis, namely, suppose that we also have $\|A^*B^*-I\| < \epsilon$. The conclusion is also stronger than the one requested, as under this additional hypothesis, the claim holds for all unitarily invariant norms, not just Schatten-$p$ norms.

Let $A=UP$ be the polar decomposition of $A$. Then, we know that for unitarily invariant norms \begin{equation*} \|A-U\| \le \|A-V\| \le \|A+U\|, \end{equation*} for any unitary matrix $V$. It follows therefore that \begin{equation*} \left\|\begin{pmatrix} A & 0\\ 0 & -A^* \end{pmatrix} - \begin{pmatrix} U & 0\\ 0 & -U^* \end{pmatrix}\right\| \le \left\|\begin{pmatrix} A & 0\\ 0 & -A^* \end{pmatrix} - V^*\right\| \end{equation*} for any unitary matrix $V$. Since $B$ is a contraction, we can dilate it to a unitary matrix, e.g., \begin{equation*} V := \begin{pmatrix} B & *\\ * & -B^* \end{pmatrix}, \end{equation*} where the $*$ denotes unspecified entries.

Since the norms involved are unitarily invariant, we have \begin{equation*} \|(A-U)\oplus(U-A)^*\| \le \left\|\begin{pmatrix} A & 0\\ 0 & -A^* \end{pmatrix}V - I\right\| = \|(AB-I)\oplus (A^*B^*-I)\|. \end{equation*} But notice that $s_j(A-U)=s_j(U^*-A^*)$, for each singular value $s_j$ for $1\le j \le n$. Therefore, we can conclude the following weak-majorization between the singular values: \begin{equation*} s(A-U) \prec_w \max\{s_j(AB-I),s_j(A^*B^*-I)\}_{j=1}^n. \end{equation*} From this under our hypotheses $\|AB-I\|<\epsilon$ and $\|A^*B^*-I\| < \epsilon$, it follows that $\|A-U\| < \epsilon$.

Note: It should be possible to get rid of the extra assumption, but am not sure as of now.

Suvrit
  • 28.6k
  • 7
  • 82
  • 150