References & Citations
Computer Science > Symbolic Computation
Title: On the probability of generating a primitive matrix
(Submitted on 12 May 2021 (v1), last revised 16 Mar 2023 (this version, v2))
Abstract: Given a $k\times n$ integer primitive matrix $\bf{A}$ (i.e., a matrix can be extended to an $n\times n$ unimodular matrix over the integers) with the maximal absolute value of entries $\|\bf{A}\|$ bounded by {an integer} $\lambda$ from above, we study the probability that the $m\times n$ matrix extended from $\bf{A}$ by appending other $m-k$ row vectors of dimension $n$ with entries chosen randomly and independently from the uniform distribution over $\{0, 1,\ldots, \lambda-1\}$ is still primitive. We present a complete and rigorous proof of a lower bound on the probability, which is at least a constant for fixed $m$ in the range $[k+1, n-4]$. As an application, we prove that there exists a fast Las Vegas algorithm that completes a $k\times n$ primitive matrix $\bf{A}$ to an $n\times n$ unimodular matrix within expected $\tilde{O}(n^{\omega}\log \|\bf{A}\|)$ bit operations, where $\tilde{O}$ is big-$O$ but without log factors, $\omega$ is the exponent on the arithmetic operations of matrix multiplication.
Submission history
From: Jingwei Chen [view email][v1] Wed, 12 May 2021 01:03:20 GMT (15kb)
[v2] Thu, 16 Mar 2023 10:26:00 GMT (20kb)
Link back to: arXiv, form interface, contact.