On the column number and forbidden submatrices for -modular matrices
Abstract
An integer matrix A is -modular if the determinant of each rank(A) × rank(A) submatrix of A 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 ∈ \1,2\. 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-r -modular matrix have? We prove that for each positive integer and sufficiently large integer r, every rank-r -modular matrix has at most r+12 + 807 · r nonzero, pairwise non-parallel columns, which is tight up to the term 807. This is the first upper bound of the form r+12 + f()· r with f 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.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.