On the Column Number and Forbidden Submatrices for [math]-Modular Matrices
Joseph Paat,Ingo Stallknecht,Zach Walsh,Luze Xu
DOI: https://doi.org/10.1137/22m1539927
IF: 0.868
2024-01-05
SIAM Journal on Discrete Mathematics
Abstract:SIAM Journal on Discrete Mathematics, Volume 38, Issue 1, Page 1-18, March 2024. An integer matrix [math] is [math]-modular if the determinant of each [math] submatrix of [math] has absolute value at most [math]. The study of [math]-modular matrices appears in the theory of integer programming, where an open conjecture is whether integer programs defined by [math]-modular constraint matrices can be solved in polynomial time if [math] is considered constant. The conjecture is known to hold true only when [math]. In light of this conjecture, a natural question is to understand structural properties of [math]-modular matrices. We consider the column number question, how many nonzero, pairwise nonparallel columns can a rank-[math] [math]-modular matrix have? We prove that for each positive integer [math] and sufficiently large integer [math], every rank-[math] [math]-modular matrix has at most [math] nonzero, pairwise nonparallel columns, which is tight up to the term [math]. This is the first upper bound of the form [math] with [math] a polynomial function. Underlying our results is a partial list of matrices that cannot exist in a [math]-modular matrix. We believe this partial list may be of independent interest in future studies of [math]-modular matrices.
mathematics, applied