■良い配置(その13)
各成分が1か−1のn×n行列の行列式はn^n/2以下である.もっと一般に,平行2n体の体積を考えると,各成分が|aijl≦1のとき,
|detA|≦n^n/2
であることがわかる.
===================================
[定理]次数nのアダマール行列が行列が存在するならば,n=1,2,またはn=4の倍数であ.
[予想]4の倍数のある任意の自然数に対して,その次数のアダマール行列が存在するか否かは有名な未解決問題である.
すなわち,アダマール行列予想とは,nが4の倍数であればアダマール行列は必ず存在するというものである.現在発見されていない最小のアダマール行列は
n=668=4・167
である.
===================================