Given a matrix $L$ of dimension $n \times n$ which is lower triangular, and with distinct elements along the diagonal, there is a way to unitarily transform it into a different lower triangular matrix as follows.

With $L$'s lower triangular, $P$'s permutations, $D$'s diagonal, $Q$'s unitary, and $C$'s non-sungular: \begin{align} CL_0C^{-1}&=D_0 \\ PD_0P^*&=D_1 \\ QD_1Q^* &= L_1 \\ \end{align}

The claim is that the total change is a unitary similarity, or equivalently that $L_1 = UL_0 U^*$ for some $U$ unitary.

Begin Placeholder On the likely chance that clarifications of my claim are necessary, I will insert/edit here later. For now a (hopefully complete and clear) sketch.

The matrix is first diagonalized and re-ordered via permutation so that we have : $$D_1=PCL_0C^{-1}P^*$$

The original matrix $L_0$ is now represented in a similar diagonal form with respect to the re-ordered diagonal matrix $D_1$: $$L_0 = C^{-1}\underbrace{P^*D_1P}_{D_0}C$$

From this point, similarity operations may be applied to $D_1$ putting it in lower triangular form. This is done with the goal of the unitary $U$ in mind:

Factor $C^{-1}P^*=UR$ from the QR factorization of $C^{-1}P^*$ where $U$ is unitary. Then $$L_0 = \underbrace{UR}_{C^{-1}P^*}D_1R^{-1}U^*$$

Since $R$ is lower triangular, its inverse is also, and we have $L_1 = RD_1R^{-1}$ is lower triangular. Thus the unitary similarity is shown $$L_0 = UL_1 U^*$$

End Placeholder

This all amounts to re-ordering the diagonal elements of $L_i$ while unitarily retaining the lower triangular structure. Thus since there are $n!$ such possible orderings resulting in distinct $L_i$, there are $n!$ different unitary transformations. So for my question:

Does this enumerate (up to the number of distinct diagonal elements) all such unitary similarities between lower triangular forms?

I don't know the answer to this question. I am very interested in any discussion since differing viewpoints will likely be enlightening.


$Q$ and $P$ are unitary. Since the unitary matrices form a group, $QPC$ is unitary if and only if $C$ is unitary.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.