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.

On determinants of matrices related to Pascal's triangle

Matrices related to the Pascal triangle

The Determinants of Pascal Tensors

Remark on Pascal's Triangle

On the determinants of matrices with elements from arbitrary sets

On Certain Determinants and Related Legendre Symbols

The Pascal Matrix, Commuting Tridiagonal Operators and Fourier Algebras

On One-Parameter Catalan Arrays

Total positivity of recursive matrices

On Generalized Pfaffians

Counting $2\times2$ integer matrices with fixed trace and determinant

Multislant matrices and Jacobi--Trudi determinants over finite fields

On commutators of unipotent matrices of index 2

Matrix invertible extensions over commutative rings. Part II: determinant liftability

On Some Determinants and Permanents

On Some Determinants Involving Jacobi Symbols

On certain determinants and the square root of some determinants involving Legendre Symbols

Spaces of triangularizable matrices

On the Column Number and Forbidden Submatrices for [math]-Modular Matrices

On determinants involving $(\frac{j+k}p)\pm(\frac{j-k}p)$

Déterminant d'une matrice carrée