■良い配置(その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

である.

===================================