パフィアン
数学、特に線型代数において、パフィアン(ぱふぃあん、)とは、交代行列に対して定義される斉次多項式。交代行列の行列式は、パフィアンの2乗で表されるとともに、パフィアンにおいても行列式における関係式と類似の関係式が成り立つ。表現論や組み合せ論において応用されるほか、数理物理においては、可積分系の方程式のソリトン解の表示や可解格子の1種であるダイマー模型の分配関数の計算等に応用される。パフィアンという語は、その性質を研究したイギリスの数学者アーサー・ケイリーによって、名づけられたものであり、最初にパフィアンを導入したドイツの数学者に因むものである。
次の交代行列 に対し、
で定義される 次の斉次多項式 を 次のパフィアンと呼ぶ。但し、 は 次の対称群 の部分集合で、
を満たすものとして定義される。現れる項の重複を許すならば、
という表示も可能である。但し、
ベクトル空間 の基底 を用い、外積代数 における2形式
を定義すると、その 乗の外積は
であり、自然な形でパフィアンが現れる。
パフィアンを表す記法としては、 のほかに、行と列の区別を排した
といった記法がある。また、スコットランドの数学者によって導入された行列式の記法 において右上半分だけ表示する、
も用いられる。
便宜上、 の元である置換 を順列 の形で表すこととする。
のときの の元は だけであり、その符号 は であるから、
の場合には、 の元は , , であり、それぞれの符号 は、, , であるから、
最も基本的な性質は、交代行列 に対して、その行列式との間に成り立つ関係式
である。また、 の交代行列 と任意の 行列 に対して、
が成り立つ。
また、任意の 行列 について、
が成り立つ。
の交代行列 に対し、 から 行、 列を取り除いた の交代行列を と表すと
が成り立つ。但し、2行目において、 は、その成分をとり除くことを意味する。これは行列式における余因子展開に相当する。