主題
Search

哈達瑪最大行列式問題

下載 Mathematica 筆記本下載 Wolfram 筆記本

哈達瑪最大行列式問題旨在找到對於任意 行列式 而言，當 n×n 矩陣的元素取自某個集合時，可能的最大 行列式 值（絕對值）。哈達瑪 (Hadamard) (1893) 證明了任意 複數 n×n 矩陣 A，其元素取自閉 單位圓盤 |a_(ij)|<=1，滿足

|detA|<=n^(n/2),
(1)

等式在 範德蒙矩陣 為 n 次 單位根 時成立（Faddeev 和 Sominskii 1965, p. 331；Brenner 和 Cummings 1972）。max(detA_n) 對於 n=1, 2, ... 的前幾個值為 1, 2, 3sqrt(3), 16, 25sqrt(5), 216, ...，它們的平方為 1, 4, 27, 256, 3125, ... (OEIS A000312)。

具有最大行列式的 (-1,1)-矩陣 稱為 哈達瑪矩陣 (Brenner 和 Cummings 1972)。n^(n/2) 的相同界限適用於此類矩陣，當矩陣的大小不是 4 的倍數時，已知更嚴格的界限。Orrick 和 Solomon 給出了關於這些界限的已知總結。

對於 (0,1)-矩陣，哈達瑪界限可以改進為

|detA|<=((n+1)^((n+1)/2))/(2^n)
(2)

(Faddeev 和 Sominskii 1965, 問題 523；Brenner 和 Cummings 1972)。

對於 n×n (0,1)-矩陣（即，二進位制矩陣），對於 n=1, 2, ...，可能的最大行列式 beta_n 為 1, 1, 2, 3, 5, 9, 32, 56, 144, 320, 1458, 3645, 9477, ... (OEIS A003432)。具有最大可能行列式的不同 n×n 二進位制矩陣的數量為 1, 3, 3, 60, 3600, 529200, 75600, 195955200, 13716864000, ... (OEIS A051752)。

n矩陣
1[1]
2[1 0; 0 1],[1 0; 1 1],[1 1; 0 1]
3[0 1 1; 1 0 1; 1 1 0],[1 0 1; 1 1 0; 0 1 1],[1 1 0; 0 1 1; 1 0 1]

對於 n×n (-1,1)-矩陣，對於 n=1, 2, ...，可能的最大行列式 alpha_n 為 1, 2, 4, 16, 48, 160, ... (OEIS A003433；Ehlich 和 Zeller 1962, Ehlich 1964)。具有最大可能行列式的不同 n×n (-1,1)-矩陣的數量為 1, 4, 96, 384, 30720, ... (OEIS A188895)。alpha_n 與最大可能 (0,1)-矩陣行列式 beta_(n-1) 相關，關係如下：

alpha_n=2^(n-1)beta_(n-1)
(3)

(Williamson 1946, Brenner 和 Cummings 1972)。

n矩陣
1[1]
2[-1 -1; 1 -1],[-1 1; -1 -1],[1 -1; 1 1],[1 1; -1 1]

對於 n×n (-1,0,1)-矩陣，最大可能行列式 gamma_n 與 alpha_n 相同 (Ehlich 1964, Brenner 1972)。具有最大行列式的 n×n (-1,0,1)-矩陣的數量為 1, 4, 240, 384, 30720, ... (OEIS A051753)。

另請參閱

(-1,0,1)-矩陣, (-1,1)-矩陣, (0,1)-矩陣, 行列式, 哈達瑪矩陣, 整數矩陣

使用 探索

參考文獻

Brenner, J. 和 Cummings, L. "The Hadamard Maximum Determinant Problem." Amer. Math. Monthly 79, 626-630, 1972.Cohn, J. H. E. "Determinants with Elements +/-1." J. London Math. Soc. 14, 581-588, 1963.Ehlich, H. "Determinantenabschätzungen für binäre Matrizen." Math. Z. 83, 123-132, 1964.Ehlich, H. 和 Zeller, K. "Binäre Matrizen." Z. angew. Math. Mechanik 42, T20-21, 1962.Faddeev, D. K. 和 Sominskii, I. S. 高等代數問題集。 舊金山: W. H. Freeman, 1965.Hadamard, J. "Résolution d'une question relative aux déterminants." Bull. Sci. Math. 17, 30-31, 1893.Hall, M. 組合理論，第二版。 紐約: Wiley, 1998.Kaplansky, I. "Never Too Late." Amer. Math. Monthly 102, 259, 1995.MacWilliams, F. J. 和 Sloane, N. J. A. 糾錯碼理論。 阿姆斯特丹，荷蘭: North-Holland, p. 54, 1978.Orrick, W. 和 Solomon, B. "Known Bounds on Maximal Determinants." http://www.indiana.edu/~maxdet/bounds.html.Sloane, N. J. A. 序列 A003432/M0720, A003433/M1291, A051752, A051753, 和 A188895，出自 "整數序列線上百科全書"。Williamson, J. "Determinants Whose Elements are 0 and 1." Amer. Math. Monthly 53, 427-434, 1946.Yang, C. H. "Some Designs for Maximal (+1,-1)-Determinant of Order n=2 (mod 4)." Math. Comput. 20, 147-148, 1966.Yang, C. H. "A Construction for Maximal (+1,-1)-Matrix of Order 54." Bull. Amer. Math. Soc. 72, 293, 1966.Yang, C. H. "On Designs of Maximal (+1,-1)-Matrices of Order n=2 (mod 4)." Math. Comput. 22, 174-180, 1968.Yang, C. H. "On Designs of Maximal (+1,-1)-Matrices of Order n=2 (mod 4) II." Math. Comput. 23, 201-205, 1969.

在 中被引用

哈達瑪最大行列式問題

請引用本文獻，格式如下：

Weisstein, Eric W. "哈達瑪最大行列式問題。" 出自 --一個 資源。 https://mathworld.tw/HadamardsMaximumDeterminantProblem.html

主題分類