对哈达姆（hadamard）最大行列式问题的一次浅显的探讨

River Chandler

已于 2023-07-05 18:16:33 修改

阅读量884

点赞数 2

分类专栏：代数学基础与进阶文章标签： python

于 2022-04-01 20:13:15 首次发布

本文链接：https://blog.csdn.net/Chandler_river/article/details/123905742

版权

代数学基础与进阶专栏收录该内容

12 篇文章 0 订阅

订阅专栏

Q：现有矩阵A，矩阵A的每一个元素若非1则为-1

那么，矩阵A的行列式的最大值是多少呢？

PART I

证明：元素为1或-1的n阶行列式的绝对值不超过 $\left ( n-1 \right )!(n-1)$

1)当n==3时，D的展开式有6项，每一项的绝对值必定为1所以有：

若 $\left | D \right |==6$ ，则有

$\left\{\begin{matrix} a_{11}a_{22}a_{33}^{}==1\\ a_{12}a_{23}a_{31}==1 \\ a_{13}a_{21}a_{32}==1 \\ -a_{11}a_{23}a_{32}==1 \\ -a_{12}a_{21}a_{33}==1 \\ -a_{13}a_{22}a_{31}==1 \end{matrix}\right.$

显然不能找出符合要求的9个元素

故推出该行列式小于等于4

2)假设结论对于n-1阶行列式成立，那么：

按第一行展开行列式可得：

$\left | D \right |=\left | a_{11}A_{11} +a_{21}A_{21}+...+a_{n1}A_{n1}\right |\leqslant \left | A_{11} \right |+\left | A_{12} \right |+...+\left | A_{1n} \right |$

根据假设有： $\left | A_{11} \right |==\left | M_{11} \right |\leqslant \left ( n-2 \right )!*(n-2)$

所以有 $\left | D \right |\leqslant n(n-2)!(n-2)$

不等号右边加上1可得证

3）证毕

PART II

计算机模拟计算结果

import numpy as np
import random as r

d = [1,-1]
b = 10
for i in range(1000):
    a = np.array([[r.choice(d) for i in range(b)] for i in range(b)])
    f = open("data"+str(b)+".txt","a")
    c = np.linalg.det(a)
    f.write(str(c)+"\n")
    f.close()

2阶-7阶结果如下