The following question came to mind when looking at this question and thinking about the approach I took here.
Suppose that we are given an $m \times k$ matrix $M$ with $k<m$ (potentially $k$ is much smaller than $m$) and linearly independent columns. How can one (efficiently) find a square, invertible matrix $P$ such that $$ PX = \pmatrix{I\\ 0}? \tag{*} $$ What if we also require knowledge of the full form of $P^{-1}$? That is, what if we also need to know the matrix $Y$ in $$ P^{-1} = \pmatrix{X & Y}? \tag{**} $$
I was primarily thinking about this problem for matrices with real-number or complex-number entries, but approaches for other fields are welcome.
One approach to compute such a $P$ (which is the first that I had thought of but I suspect is significantly less efficient than is optimal) is to extend the columns of $X$ into a complete basis, which is to say find an $m \times (m-k)$ matrix $Y$ such that $[X\ \ Y]$ is invertible. From there, one could simply take $P = [X \ \ Y]^{-1}$.
Notably, finding such a matrix $Y$ is itself a noteworthy task; one approach is to row-reduce $[X \mid I_m]$ and extract pivot columns. Another "probabilistic" approach is to just select $Y$ randomly since if $Y$ is selected using an absolutely continuous probability measure, $[X\ \ Y]$ will be invertible with probability $1$.
As it turns out (and I'm only noticing this now), row reducing $[X \mid I_m]$ will produce a matrix of the form $[R \mid P]$ where $R$ denotes the right-hand side of $(*)$ and $P$ satisfies $(*)$, i.e. $PX = R$. That already brings the complexity down from $O(m^3)$ to $O(k^3)$. It's not clear to me if $P^{-1}$ could quickly be constructed here.
I have some other approaches that come to mind that I'll be sharing in my own answer, but I am interested in seeing any ideas and, if anyone recognizes it, knowing whether this problem has been studied.