Abstract:We study the non-linear extension of integer programming with greatest common divisor constraints of the form $\gcd(f,g) \sim d$, where $f$ and $g$ are linear polynomials, $d$ is a positive integer, and $\sim$ is a relation among $\leq, =, \neq$ and $\geq$. We show that the feasibility problem for these systems is in NP, and that an optimal solution minimizing a linear objective function, if it exists, has polynomial bit length. To show these results, we identify an expressive fragment of the existential theory of the integers with addition and divisibility that admits solutions of polynomial bit length. It was shown by Lipshitz [Trans. Am. Math. Soc., 235, pp. 271-283, 1978] that this theory adheres to a local-to-global principle in the following sense: a formula $\Phi$ is equi-satisfiable with a formula $\Psi$ in this theory such that $\Psi$ has a solution if and only if $\Psi$ has a solution modulo every prime $p$. We show that in our fragment, only a polynomial number of primes of polynomial bit length need to be considered, and that the solutions modulo prime numbers can be combined to yield a solution to $\Phi$ of polynomial bit length. As a technical by-product, we establish a Chinese-remainder-type theorem for systems of congruences and non-congruences showing that solution sizes do not depend on the magnitude of the moduli of non-congruences.

Nonsingularity of matrices associated with classes of arithmetical functions

Some Sufficient Conditions for Nonsingular H-Matrices

The Loewner-Neville Factorization Of Generalized Matrices With Consecutive-Column And -Row Properties

Divisibility among power matrices associated with multiplicative functions

Nonsigularity of linear combinations of idempotent matrices

An Additive Function on a Ring of Integers in the Imaginary Quadratic Field Q(√d) with Class-Number One

On rational functional identities involving inverses on matrix rings

A new generalization of Fermat's Last Theorem

Integer matrices with a given characteristic polynomial and multiplicative dependence of matrices

A Matrix Inequality

On Prime Factors of Nonsingular Rational Matrices

On the sparsity of non-diagonalisable integer matrices and matrices with a given discriminant

On the class of matrices with rows that weakly decrease cyclicly from the diagonal

Integer Programming with GCD Constraints

Two Matrix Theorems Arising from Nilpotent Groups

Generalized LCM matrices

Gaussian hypergeometric functions and cyclotomic matrices involving squares over finite fields

The Noncommutative Edmonds' Problem Re-visited

A Proof of a Conjecture of C.L. Siegel

Some counting questions for matrix products

Linear equations with unknowns from a multiplicative group whose solutions lie in a small number of subspaces