revisiting
singular values of "rotated" matrix
Maybe I've since forgotten - or maybe I never bothered to ask myself - but
Since $A^T$ has the same singular values as $A$ and $K$ is orthogonal, conclude that [ $A^\top K$ ] indeed has the same singular values.
Why does this hold?
Why can we say that multiplying by an orthogonal matrix retains the singular values?
We calculate the singular values of $A$ by decomposing it into $A=USV^T$ with diagonal $S$ and orthogonal $U$ and $V$. If we have another orthogonal $K$, we have $AK= USV^TK = U S (V^TK)$ which is the SVD of $AK$.