Linear Algebra – Do Determinants of Binary Matrices Form a Set of Consecutive Numbers?

determinantlinear algebrareference-request

While pondering a solution for the problem of generating random 0-1 matrices with small absolute determinants, I once again realise how little I know about 0-1 matrices. My initial idea was to pick a random determinant, construct a 0-1 matrix to match this determinant and then permute the matrix's rows and columns. But I quickly abandoned this idea because I simply know no way to construct a 0-1 matrix with a given determinant.

In fact, I don't even know how large the determinant of a 0-1 matrix can be. The Hadamard's bound for the absolute determinant of an $n\times n$ 0-1 matrix is $\frac{(n+1)^{(n+1)/2}}{2^n}$ (online ref. 1 and ref. 2), and the bound is sharp if and only if there exists a Hadamard matrix of order $n+1$. Yet, to my knowledge, there is no known sharp upper bound for the absolute determinant of a general $n\times n$ 0-1 matrix.

While I have abandoned the aforementioned idea, the determinants of 0-1 matrices still intrigues me. So, here is my question:

Let ${\cal B}^{n\times n}$ denotes the set of all $n\times n$ 0-1 matrices and let $M=\max_{A\in B}\det A$. Is it true that for every $d\in\{0,1,\ldots,M\}$, there exists $A\in{\cal B}^{n\times n}$ such that $\det(A)=d$?

For $n\le6$, the answer is positive, but I have no idea about the general case. Edit: The answer doesn't need to be complete. If this question has been recognised as an open problem in the literature, I am glad to know the references.

Best Answer

For size 7 it was proved by Metropolis, Stein, and Wells that the set of non-negative determinant values is $[0,18]\cup\{20,24,32\}$, which means that the answer to your question in the gray box is no. See this paper:

N. Metropolis, , Spectra of determinant values in (0, 1) matrices. In A. O. L. Atkin and B. J. Birch, editors, Computers in Number Theory: Proceedings of the Science Research Atlas Symposium No. 2 held at Oxford, from 18-23 August, 1969, pages 271–276, London, 1971. Academic Press.

For general size, the data I have suggest that the set of determinant values is "dense" up to about half of Hadamard's bound and sparse thereafter, but I have no argument why that should be the case. And my data only go up to size 22. Who knows what happens in size 200?

Here are some entries in the OEIS that might be helpful.

  • A003432 - maximimal determinants of n-by-n binary matrix
  • A089472 - number of different values taken by the determinant of n-by-n binary matrix
  • A013588 - smallest positive integer not the determinant of an n-by-n binary matrix.

I gave a talk couple of years ago, Range and distribution of determinants of binary matrices (available here), in which I discussed this topic. That discussion starts on slide 27, but other parts of the talk may also be relevant to your question.

I've also created a web page listing determinant values that have been constructed in matrix sizes up to 16. These lists are proved to be complete in sizes up to 10 and also in size 12, but I believe that the lists are probably complete in the other sizes as well. Be careful: my page discusses $\{-1,1\}$-matrices. You'll have to subtract 1 from the matrix size if you're interested in $\{0,1\}$-matrices.

See also the Mathworld and Wikipedia pages on Hadamard's maximal determinant problem. Also relevant are the papers of Tao and Vu mentioned in my slides. There is recent work on lower bounds on the maximal determinant by Brent, Osborn, and Smith. You can find these on the arXiv.

Related Question