English

Permanental rank versus determinantal rank of random matrices over finite fields

Computational Complexity 2025-12-05 v1 Combinatorics Probability

Abstract

This paper is motivated by basic complexity and probability questions about permanents of random matrices over finite fields, and in particular, about properties separating the permanent and the determinant. Fix q=pmq = p^m some power of an odd prime, and let knk \leq n both be growing. For a uniformly random n×kn \times k matrix AA over Fq\mathbb{F}_q, we study the probability that all k×kk \times k submatrices of AA have zero permanent; namely that AA does not have full "permanental rank". When k=nk = n, this is simply the probability that a random square matrix over Fq\mathbb{F}_q has zero permanent, which we do not understand. We believe that the probability in this case is 1q+o(1)\frac{1}{q} + o(1), which would be in contrast to the case of the determinant, where the answer is 1q+Ωq(1)\frac{1}{q} + \Omega_q(1). Our main result is that when kk is O(n)O(\sqrt{n}), the probability that a random n×kn \times k matrix does not have full permanental rank is essentially the same as the probability that the matrix has a 00 column, namely (1+o(1))kqn(1 +o(1)) \frac{k}{q^n}. In contrast, for determinantal (standard) rank the analogous probability is Θ(qkqn)\Theta(\frac{q^k}{q^n}). At the core of our result are some basic linear algebraic properties of the permanent that distinguish it from the determinant.

Keywords

Cite

@article{arxiv.2512.03221,
  title  = {Permanental rank versus determinantal rank of random matrices over finite fields},
  author = {Fatemeh Ghasemi and Gal Gross and Swastik Kopparty},
  journal= {arXiv preprint arXiv:2512.03221},
  year   = {2025}
}

Comments

Expanded version of doi.org/10.4230/LIPIcs.APPROX/RANDOM.2025.37