1: \begin{definition}{\citep[Theorem~1]{DPS15}}\label{def:rpm}

2:   The rank profile matrix of an $m\times n$ matrix $\mat{A}$ of rank $r$ is the unique $m \times

3:   n$ matrix $\mathcal{R}_\mat{A}$, with only $r$ non-zero coefficients, all equal to one, located on

4:   distinct rows and columns such that any leading sub-matrices of $\mathcal{R}_\mat{A}$ has

5:   the same rank as the corresponding leading sub-matrix in $\mat{A}$.

6: \end{definition}

7: