We report new world records for the maximal determinant of an n-by-n matrix with entries +/-1. Using various techniques, we beat existing records for n=22, 23, 27, 29, 31, 33, 34, 35, 39, 45, 47, 53, 63, 69, 73, 77, 79, 93, and 95, and we present the record-breaking matrices here. We conjecture that our n=22 value attains the globally maximizing determinant in its dimension. We also tabulate new records for n=67, 75, 83, 87, 91 and 99, dimensions for which no previous claims have been made. The relevant matrices in all these dimensions, along with other pertinent information, are posted at http://www.indiana.edu/~maxdet \.
We prove a double binomial sum identity which differs from most binomial sum identities in that the summands involve the absolute value function. The identity is of interest because it can be used in proofs of lower bounds for the Hadamard maximal determinant problem. Our proof of the identity uses a two-variable variant of the method of telescoping sums.
By an old result of Cohn (1965), a Hadamard matrix of order n has no proper Hadamard submatrices of order m > n/2. We generalise this result to maximal determinant submatrices of Hadamard matrices, and show that an interval of length asymptotically equal to n/2 is excluded from the allowable orders. We make a conjecture regarding a lower bound for sums of squares of minors of maximal determinant matrices, and give evidence in support of the conjecture. We give tables of the values taken by the minors of all maximal determinant matrices of orders up to and including 21 and make some observation…
We give upper bounds for the determinant of an $n\times n$ zero-one matrix containing $kn$ ones for integral $k$. Our results improve upon a result of Ryser for $k=o(n^{1/3})$. For fixed $k\ge 3$ it was an open question whether Hadamard's inequality could be exponentially improved. We answer this in the affirmative. Our results stem from studying matrices with row sums $k$ and bounding their Gram determinants. Our technique allows us to give upper bounds when these matrices are perturbed.
We study the question of finding the maximal determinant of matrices of odd order with entries {-1,1}. The most general upper bound on the maximal determinant, due to Barba, can only be achieved when the order is the sum of two consecutive squares. It is conjectured that the bound is always attained in such cases. Apart from these, only in orders 3, 7, 9, 11, 17 and 21 has the maximal value been established. In this paper we confirm the results for these orders, and add order 15 to the list. We follow previous authors in exhaustively searching for candidate Gram matrices having determinant gre…
We prove that $\det A\leq 6^\frac{n}{6}$ whenever $A\in\{0,1\}^{n\times n}$ contains at most $2n$ ones. We also prove an upper bound on the determinant of matrices with the $k$-consecutive ones property, a generalisation of the consecutive ones property, where each row is allowed to have up to $k$ blocks of ones. Finally, we prove an upper bound on the determinant of a path-edge incidence matrix in a tree and use that to bound the leaf rank of a graph in terms of its order.
The Hadamard maximal determinant problem asks for the largest n-by-n determinant with entries in {+1,-1}. When n is congruent to 1 (mod 4), the maximal excess construction of Farmakis & Kounias has been the most successful general method for constructing large (though seldom maximal) determinants. For certain small n, however, still larger determinants have been known; several new records were recently reported in ArXiv preprint math.CO/0304410 . Here, we define ``3-normalized'' n-by-n Hadamard matrices, and construct large-determinant matrices of order n+1 from them. Our constructions account…
We show that the maximal determinant D(n) for $n \times n$ ${\pm 1}$-matrices satisfies $R(n) := D(n)/n^{n/2} \ge κ_d > 0$. Here $n^{n/2}$ is the Hadamard upper bound, and $κ_d$ depends only on $d := n-h$, where $h$ is the maximal order of a Hadamard matrix with $h \le n$. Previous lower bounds on R(n) depend on both $d$ and $n$. Our bounds are improvements, for all sufficiently large $n$, if $d > 1$. We give various lower bounds on R(n) that depend only on $d$. For example, $R(n) \ge 0.07 (0.352)^d > 3^{-(d+3)}$. For any fixed $d \ge 0$ we have $R(n) \ge (2/(πe))^{d/2}$ for all sufficiently l…
We describe algorithms for computing maximal determinants of binary circulant matrices of small orders. Here "binary matrix" means a matrix whose elements are drawn from $\{0,1\}$ or $\{-1,1\}$. We describe efficient parallel algorithms for the search, using Duval's algorithm for generation of necklaces and the well-known representation of the determinant of a circulant in terms of roots of unity. Tables of maximal determinants are given for orders $\le 53$. Our computations extend earlier results and disprove two plausible conjectures.
Technological University of the Shannon: Midlands Midwest（香农理工大学：米德兰中西部）；Dublin City University（都柏林城市大学）；Mathematical Sciences Publishers, Berkeley, CA, USA（数学科学出版社）；Worcester Polytechnic Institute, MA, USA（伍斯特理工学院）
In a celebrated paper of 1893, Hadamard established the maximal determinant theorem, which establishes an upper bound on the determinant of a matrix with complex entries of norm at most $1$. His paper concludes with the suggestion that mathematicians study the maximum value of the determinant of an $n \times n$ matrix with entries in $\{ \pm 1\}$. This is the Hadamard maximal determinant problem. This survey provides complete proofs of the major results obtained thus far. We focus equally on upper bounds for the determinant (achieved largely via the study of the Gram matrices), and constructiv…
A saturated D-optimal design is a {+1,-1} square matrix of given order with maximal determinant. We search for saturated D-optimal designs of orders 19 and 37, and find that known matrices due to Smith, Cohn, Orrick and Solomon are optimal. For order 19 we find all inequivalent saturated D-optimal designs with maximal determinant, 2^30 x 7^2 x 17, and confirm that the three known designs comprise a complete set. For order 37 we prove that the maximal determinant is 2^39 x 3^36, and find a sample of inequivalent saturated D-optimal designs. Our method is an extension of that used by Orrick to r…
We give general lower bounds on the maximal determinant of n by n {+1,-1}-matrices, both with and without the assumption of the Hadamard conjecture. Our bounds improve on earlier results of de Launey and Levin (2010) and, for certain congruence classes of n mod 4, those of Koukouvinos, Mitrouli and Seberry (2000). In an Appendix we give a new proof, using Jacobi's determinant identity, of a result of Szöllősi (2010) on minors of Hadamard matrices.
Let $D(n)$ be the maximal determinant for $n \times n$ $\{\pm 1\}$-matrices, and ${\mathcal R}(n) = D(n)/n^{n/2}$ be the ratio of $D(n)$ to the Hadamard upper bound. We give several new lower bounds on ${\mathcal R}(n)$ in terms of $d$, where $n = h+d$, $h$ is the order of a Hadamard matrix, and $h$ is maximal subject to $h \le n$. A relatively simple bound is \[{\mathcal R}(n) \ge \left(\frac{2}{πe}\right)^{d/2} \left(1 - d^2\left(\fracπ{2h}\right)^{1/2}\right) \;\text{ for all }\; n \ge 1.\] An asymptotically sharper bound is \[{\mathcal R}(n) \ge \left(\frac{2}{πe}\right)^{d/2} \exp\left(d\…
Let ${\mathcal D}(n)$ be the maximal determinant for $n \times n$ $\{\pm 1\}$-matrices, and $\mathcal R(n) = {\mathcal D}(n)/n^{n/2}$ be the ratio of ${\mathcal D}(n)$ to the Hadamard upper bound. Using the probabilistic method, we prove new lower bounds on ${\mathcal D}(n)$ and $\mathcal R(n)$ in terms of $d = n-h$, where $h$ is the order of a Hadamard matrix and $h$ is maximal subject to $h \le n$. For example, $\mathcal R(n) > (πe/2)^{-d/2}$ if $1 \le d \le 3$, and $\mathcal R(n) > (πe/2)^{-d/2}(1 - d^2(π/(2h))^{1/2})$ if $d > 3$. By a recent result of Livinskyi, $d^2/h^{1/2} \to 0$ as $n \…
New Records for the Hadamard Maximal Determinant Problem
California Institute of Technology（加州理工学院）；University of Cambridge（剑桥大学）；London Institute for Mathematical Sciences（伦敦数学科学研究所）；University of Miami（迈阿密大学）；Temple University（天普大学）
An $n$ by $n$ skew-symmetric type $(-1,1)$-matrix $K=[k_{i,j}]$ has $1$'s on the main diagonal and $\pm 1$'s elsewhere with $k_{i,j}=-k_{j,i}$. The largest possible determinant of such a matrix $K$ is an interesting problem. The literature is extensive for $n\equiv 0 \mod 4$ (skew-Hadamard matrices), but for $n\equiv 2\mod 4$ there are few results known for this question. In this paper we approach this problem constructing cocyclic matrices over the dihedral group of $2t$ elements, for $t$ odd, which are equivalent to $(-1,1)$-matrices of skew type. Some explicit calculations have been done up…
The Hadamard maximal determinant (maxdet) problem is to find the maximum determinant D(n) of a square {+1, -1} matrix of given order n. Such a matrix with maximum determinant is called a saturated D-optimal design. We consider some cases where n > 2 is not divisible by 4, so the Hadamard bound is not attainable, but bounds due to Barba or Ehlich and Wojtas may be attainable. If R is a matrix with maximal (or conjectured maximal) determinant, then G = RR^T is the corresponding Gram matrix. For the cases that we consider, maximal or conjectured maximal Gram matrices are known. We show how to gen…
Let D(m,n) be the set of all the integer points in the m-dilate of the Birkhoff polytope of doubly-stochastic n by n matrices. In this paper we find the sharp upper bound on the tropical determinant over the set D(m,n). We define a version of the tropical determinant where the maximum over all the transversals in a matrix is replaced with the minimum and then find the sharp lower bound on thus defined tropical determinant over D(m,n).
This work shows that the smallest natural number $d_n$ that is not the determinant of some $n\times n$ binary matrix is at least $c\,2^n/n$ for $c=1/201$. That same quantity naturally lower bounds the number of distinct integers $D_n$ which can be written as the determinant of some $n\times n$ binary matrix. This asymptotically improves the previous result of $d_n=Ω(1.618^n)$ and slightly improves the previous result of $D_n\ge 2^n/g(n)$ for a particular $g(n)=ω(n^2)$ function.
Let ${\mathcal D}^{k,l}(m,n)$ be the set of all the integer points in the transportation polytope of $kn\times ln$ matrices with row sums $lm$ and column sums $km$. In this paper we find the sharp lower bound on the tropical determinant over the set ${\mathcal D}^{k,l}(m,n)$. This integer piecewise-linear programming problem in arbitrary dimension turns out to be equivalent to an integer non-linear (in fact, quadratic) optimization problem in dimension two. We also compute the sharp upper bound on a modification of the tropical determinant, where the maximum over all the transversals in a matr…
We give some necessary conditions for maximality of $0/1$-determinant. Let ${\bf M}$ be a nondegenerate $0/1$-matrix of order $n$. Denote by $\bf A$ the matrix of order $n+1$ which appears from ${\bf M}$ after adding the $(n+1)$th row $(0,0,\ldots,0,1)$ and the $(n+1)$th column consisting of $1$'s. Suppose ${\bf A}^{-1}=(l_{ij}),$ then for all $i=1,\ldots,n$ we have $\sum_{j=1}^{n+1} |l_{ij}|\geq 2.$ Moreover, if $|\det({\bf M})|$ is equal to the maximum value of a $0/1$-determinant of order $n$, then $\sum_{j=1}^{n+1} |l_{ij}|= 2$ for all $i=1,\ldots,n$. Keywords: maximum 0/1-deteminant, simp…
State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院数学科学学院）；School of Mathematical Sciences, University of Science and Technology of China（中国科学技术大学数学科学学院）
