Math — Singular Value Decomposition

A = U\Sigma V^\top

\Sigma = \operatorname{diag}(\sigma_1, \sigma_2, \ldots), \ \sigma_i \geq 0

U, V \text{ orthogonal}

\operatorname{rank}(A) = \#\{\sigma_i > 0\}