Let us assume that we have a full-rank $(n\cdot l)\times k$ matrix, $\boldsymbol{H}$, with no specific structure (e.g., a realization of a Gaussian i.i.d. random matrix), and an $m\times (n\cdot l)$ block diagonal matrix $\boldsymbol{W}$ such that
\begin{equation}
\boldsymbol{W}= \begin{bmatrix}
\boldsymbol{W}_1 & \boldsymbol{0}_{m_1\times l} & \dots & \boldsymbol{0}_{m_1\times l}\\
\boldsymbol{0}_{m_2\times l} & \boldsymbol{W}_2 & \dots & \boldsymbol{0}_{m_2\times l}\\
\vdots & \vdots & \ddots & \vdots \\
\boldsymbol{0}_{m_n\times l} & \boldsymbol{0}_{m_n\times l} & \dots & \boldsymbol{W}_n
\end{bmatrix},
\end{equation}
where $\boldsymbol{W}_i$ are $m_i \times l$ matrices with $\sum_{i=1}^nm_i=m$, $1\leq m_i \leq l$, and $\boldsymbol{0}_{m_i\times l}$ denotes the $m_i\times l$ all-zero matrix.

After some tests and derivations, we strongly believe that it's not possible to construct a $\boldsymbol{W}$ such that 
\begin{equation}
\mathrm{rank}(\boldsymbol{W})=m \;\;\;\; \mathrm{and}\;\;\;\; \mathrm{rank}\left( \boldsymbol{W} \boldsymbol{H} \right)\leq\frac{m\cdot (k-l)}{k},
\end{equation}
except for a set of $\boldsymbol{H}$ which has measure 0, but we are not able to come up with a formal proof. (It is indeed possible to find a full-rank $\boldsymbol{W}$ if $\mathrm{rank}\left( \boldsymbol{W} \boldsymbol{H} \right)> m\cdot (k-l)/k)$

We have been struggling with this problem for a while and we are able to sketch a proof if $m_i = 1,\; \forall i\in\{1,2,\dots,n \}$. However, we would like to get help to prove this for any combination of $1\leq m_i \leq l$. Thanks in advance for any contribution.