【３】もうひとつのアダマール行列

　０，＋１を成分とする行列で，２つの異なる行または列を取ってくると，成分の半分は一致し，残りの半分が違っている行列もアダマール行列とよばれる．

　アダマールはこのような行列が存在するのはｎが２または４の倍数の場合だけであることを証明した．１９３３年，ベイリーはｎが４の倍数で，かつ，ｐを奇素数として，ｎ＝２^a（ｐ^b＋１）であれば，アダマール行列は必ず存在することを証明した．

　ベイリーの定理から外れる４の倍数は，９２，１１６，１５６，１７２，１８４，１８８，２３２，２３６，２６０，２６８などである．

　アダマール行列予想とは，ｎが４の倍数であればアダマール行列は必ず存在するというものである．現在発見されていない最小のアダマール行列はｎ＝６６８である．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

アダマール行列の構成法については、

　　[参]ファン・リント、ウィルソン「組合せ論」丸善

を参照されたい

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝