Height characterization of dependence in the determinantal matroid
Prove that a set \Omega\subseteq[m]\times[n] is dependent in the determinantal matroid M(r,[m]\times[n]) if and only if there exists T\subseteq[m]\times[n] such that \operatorname{height}(I_T)>|T\setminus\Omega|.
References
As all our examples of dependent sets are detected by Theorem \ref{thm:height}, we conjecture that all dependent sets have this property.
A set $\Omega \subseteq [m] [n]$ is a dependent set of the matroid $M(r,[m] [n])$ if and only if there is a set $T \subseteq [m] [n]$ such that
\height(I_T) > |T \setminus \Omega|.
— The Determinantal Matroid
(2502.18222 - Nicklasson et al., 25 Feb 2025) in Conjecture 3.13, Section 3 (Detecting dependent sets)