On the column number and forbidden submatrices for $\Delta$-modular matrices
Abstract
An integer matrix is -modular if the determinant of each submatrix of has absolute value at most . The study of -modular matrices appears in the theory of integer programming, where an open conjecture is whether integer programs defined by -modular constraint matrices can be solved in polynomial time if is considered constant. The conjecture is only known to hold true when . In light of this conjecture, a natural question is to understand structural properties of -modular matrices. We consider the column number question -- how many nonzero, pairwise non-parallel columns can a rank- -modular matrix have? We prove that for each positive integer and sufficiently large integer , every rank- -modular matrix has at most nonzero, pairwise non-parallel columns, which is tight up to the term . This is the first upper bound of the form with a polynomial function. Underlying our results is a partial list of matrices that cannot exist in a -modular matrix. We believe this partial list may be of independent interest in future studies of -modular matrices.
Cite
@article{arxiv.2212.03819,
title = {On the column number and forbidden submatrices for $\Delta$-modular matrices},
author = {Joseph Paat and Ingo Stallknecht and Zach Walsh and Luze Xu},
journal= {arXiv preprint arXiv:2212.03819},
year = {2022}
}