[论文解读] New lower bounds for the maximal determinant problem

William P. Orrick, Bruce Solomon+2 more|ArXiv.org|Apr 25, 2003

graph theory and CDMA systems参考文献 4被引用 4

一句话总结

本文通过数值优化和一种新型会议矩阵构造，提出了 $n \times n$ 且元素为 $\pm 1$ 的矩阵最大行列式的新型下界。在 $n = 22, 23, 27, \dots, 95$ 的维度上，建立了突破记录的行列式值，其中多个结果超过理论上限的80%，并推测 $n=22$ 时达到最优。相关结果已存档于 www.indiana.edu/~maxdet。

ABSTRACT

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 \.

研究动机与目标

• 建立 $n \times n$ 且元素为 $\pm 1$ 的矩阵最大行列式的新下界。
• 解决长期存在的开放问题：确定 $\mathrm{md}(n)$ 的精确值，特别是在 $n \not\equiv 0 \pmod{4}$ 时，此时海德曼界不可达。
• 提出新型构造方法与数值搜索，显著超越以往文献中记录的多个维度。
• 在 www.indiana.edu/~maxdet 提供记录突破矩阵及其行列式的全面存档，以支持持续研究。

提出的方法

• 采用带离散梯度上升与模拟退火的爬山算法，迭代优化 $\pm 1$ 矩阵中的行列式值。
• 利用余子式展开，在逐行优化过程中高效更新行列式估计值。
• 提出一种基于会议矩阵的构造方法，适用于 $n \equiv 15 \pmod{16}$ 的情形，成功生成 $n = 47, 63, 79, 95$ 等维度的高行列式矩阵。
• 通过随机扰动局部极大值，以逃离次优解并探索搜索空间的新区域。
• 从高质量初始矩阵开始搜索，包括海德曼矩阵及先前文献中的矩阵。
• 通过将所得下界与巴尔巴、艾赫利希和沃伊塔斯推导的理论上限进行比较，验证结果的可靠性。

实验结果

研究问题

• RQ1 对于 $n$ 不被 4 整除的情形，特别是精确值尚不明确的维度，$\mathrm{md}(n)$ 的最佳已知下界是什么？
• RQ2 新型构造方法（如基于会议矩阵的方法）是否能显著提升特定 $n \equiv 15 \pmod{16}$ 情形下的行列式界？
• RQ3 新构造的矩阵在多大程度上逼近巴尔巴、艾赫利希与沃伊塔斯推导的理论上限？
• RQ4 如所猜想，$n=22$ 的行列式记录是否为全局最优？
• RQ5 新构造的矩阵能否用于构建超过以往已知记录的超额海德曼矩阵？

主要发现

• 本文在 19 个维度上建立了 $\mathrm{md}(n)$ 的新下界：$n = 22, 23, 27, 29, 31, 33, 34, 35, 39, 45, 47, 53, 63, 69, 73, 77, 79, 93, 95$，其中多个结果超过理论上限的 80%。
• 对于 $n=22$，行列式 $2^{23} \times 5^{11}$ 被推测为最优，达到理论边界的 95%。
• 基于会议矩阵的构造方法在 $n \equiv 15 \pmod{16}$ 情形下生成了突破记录的行列式，包括 $n=47, 63, 79, 95$，其中 $n=95$ 的矩阵行列式达到 $2^{96} \times 23^{36} \times 27^{11}$。
• 通过从 $n=73$ 和 $n=77$ 的矩阵中删除一行一列，作者构造出 $72 \times 72$ 与 $76 \times 76$ 的海德曼矩阵，其超额分别为 580 和 628，优于以往记录。
• 对 $n=67, 75, 83, 87, 91, 99$ 等维度，报告了额外的最佳已知下界，全部超过理论上限的 70%。
• 唯一被推测为全局最大的行列式记录是 $n=22$ 的结果，作者指出其达到理论边界的 95%。