and
of sizes
and
, such that (i)
is greater than
, (ii) there are
rows of
and
which form a nonsingular matrix. The sufficient condition is in the form of a rank test on a constant matrix having block Toeplitz structure and becomes both necessary and sufficient in the scalar case.