paper

On the column number and forbidden submatrices for -modular matrices

arXiv:2212.03819

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.

On the column number and forbidden submatrices for $Δ$-modular matrices · wovepaper