畳の敷き方数を数えあげるにはある行列式（カステレイン行列）の固有値を計算する必要があるという．

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

【１】長方形を畳で敷きつめる

　１９６１年，物理学者のカステレイン，フィッシャー，テンパレイは縦横２辺の長さが任意の偶数（２ｍ×２ｎ）の長方形の畳の敷き方数は

　　Ｋ（ｎ，ｍ）＝Π(j=1~n)Π(k=1~m)｛４ｃｏｓ^2（ｊπ／（２ｎ＋１））＋４ｃｏｓ^2（ｋπ／（２ｍ＋１））｝

であることを見いだした．これはフィボナッチ数列の三角関数表現の拡張である．

　この不思議な公式には興味深い性質が隠されていて，たとえば，正方形（ｍ＝ｎ）の場合には，つねに奇数の２乗を２^n倍したものになる．

　　Ｋ（０，０）＝１＝２^0

　　Ｋ（１，１）＝２＝２^1

　　Ｋ（２，２）＝３６＝２^2３^2

　　Ｋ（３，３）＝６７２８＝２^3２９^2

　　Ｋ（４，４）＝１２９８８８１６＝２^4９０１^2

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

【２】カステレイン行列

　カステレインは今日「カステレイン行列」と呼ばれる行列を導入して，ダイマー模型の分配関数が線形代数適法法で扱えることを示し，正方格子上のダイマー模型に対してその計算を実行した．

　２×ｎ格子に対するカステレイン行列は，３重対角ｎ×ｎ行列

　　Ｋ＝［ａ，−ｂ，０，・・・・・・・・，０］

　　　　［ｂ，ａ，−ｂ，０，・・・・・・，０］

　　　　［０，ｂ，ａ，−ｂ，０，０，・・，０］

　　　　［０，０，ｂ，ａ，−ｂ，０，・・，０］

　　　　［・・・・・・・・・・・・・・・・・］

　　　　［０，０，・・・・・・，ｂ，ａ，−ｂ］

　　　　［０，０，・・・・・・，０，ｂ，　ａ］

になる．

　そして，Ｋの固有ベクトルを直接構成してＫを対角化し，その固有値の積として行列式を表すのであって，２ｎ×２ｍの正方格子の場合，

　　Ｋ（ｎ，ｍ）＝Π(j=1~n)Π(k=1~m)｛４ｃｏｓ^2（ｊπ／（２ｎ＋１））＋４ｃｏｓ^2（ｋπ／（２ｍ＋１））｝

となる．

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