パフィアン

パフィアンとは

パフィアンとは、偶数次の交代行列に対して定義される斉次多項式であり、行列式の平方根に相当します。この重要な概念は、イギリスの数学者アーサー・ケイリーによって名付けられ、元はドイツの数学者ヨハン・フリードリヒ・パフに因んでいます。いわば、パフィアンは行列のある特性を数式で捉えるための手法です。

特徴と応用

一般には行列式は平方根を利用して表現されますが、特に偶数次の交代行列においては、要素を含む多項式で平方根が書けるという特性があります。この結果がパフィアンの登場を要請し、様々な分野—表現論や組合せ論、さらには数理物理においても広く応用されています。たとえば、可積分系の方程式におけるソリトン解や、ダイマー模型の分配関数の計算において役立ちます。

パフィアンの定義

一般的な形として、次のように定義されます。2n次の交代行列 A = (aij) で定義され、以下の式で表されます:

$$
Pf(A) = extstyle rac{1}{2^n n!} extstyle igg( extstyle extsum_{ ext{σ} ext{ ∈ } S_{2n}} sgn(σ) a_{σ(1)σ(2)} a_{σ(3)σ(4)} imes ext{⋯} imes a_{σ(2n-1)σ(2n)} \ igg)
$$

ここで、sgn(σ)は置換の符号を意味します。このパイプの中で特に重要なのは、対称群の部分集合 F_{2n} に属する置換を用いて表現されている点です。

外積代数におけるパフィアン

外積代数の観点から考えると、ベクトル空間 V の基底を用いて次のように定義される2-形式が存在します:

$$
ω = extstyle extsum_{i < j} a_{ij} e_i ∧ e_j
$$

このn乗の外積がパフィアンを自然に導入します。したがって、パフィアンはシンプレクティック幾何や微分形式の積分理論にも関連しています。

グラフ理論との関係

また、特定のグラフ上における完全マッチングと関連が深く、パフィアンは以下の式でも表されます:

$$
Pf(A) = extstyle extsum_M ε(M) w(M)
$$

ここで、ε(M)はレヴィ＝チヴィタ記号を、w(M)は重みを表します。このように、パフィアンは異なる数学の領域に跨がって重要な役割を果たします。

性質と展開公式

パフィアンには幾つかの基本的な性質があり、交代行列に対する行列式との関係が特に重要です:

$$
det(A) = (Pf(A))^2
$$

また、2n次の交代行列 A を用いれば、行列から特定の行・列を取り除いた場合のパフィアンの表現が可能です。この展開公式は、行列式の余因子展開に似ています。

具体例

例えば、n=1の時、パフィアンは次のように簡潔に表されます:

$$
Pf(A) = a_{12}
$$

また、n=2の場合、次々に符号を考慮しながら計算する必要があり、最終的には以下のように表現されます:

$$
Pf(A) = a_{12}a_{34} - a_{13}a_{24} + a_{14}a_{23}
$$

このようにして、パフィアンの計算はその特性を理解し、応用する上で非常に重要です。

小パフィアン

パフィアンに類似して「小パフィアン」という概念も存在します。これらは特定の行と列を考慮して計算され、行列式の小行列式と似た役割を果たします。具体的には、以下のように定義されます:

$$
(Pf(A))_I = rac{(2q)!}{q!2^q} a_{[i_1 i_2} a_{i_3 i_4}...
$$

このように、パフィアンは linear algebra の基本的な道具として多彩な表現を持ち、それぞれの数学的問題に対して非常に便利な手法を提供します。

もう一度検索