パーマネント (数学)

線型代数学における正方行列の**パーマネント**（）は、行列式 (determinant) によく似たである。パーマネントは、行列式と同様に、行列の成分を変数とする多項式である。Permutation（置換）と determinant（行列式）を合成したカバン語をもじったものである。英単語の「Permanent」から**永久式**または**恒久式**と訳されたこともある。

パーマネントと行列式はともに、より一般の行列函数イマナントの特別の場合である。

## 定義
次正方行列  のパーマネントは
:\operatorname{perm}(A) := \textstyle\sum\limits_{\sigma\in S_n} \prod\limits_{i=1}^n a_{i,\sigma(i)}
で与えられる。右辺の和は、対称群  の任意の元 （つまり、番号  の置換）に亙ってとるものとする。

例えば、二次正方行列に対しては
:\operatorname{perm}\!\begin{pmatrix}
a &b \\
c &d
\end{pmatrix}=ad+bc
であり、三次正方行列に対しては
:\operatorname{perm}\!\begin{pmatrix}a&b&c \\ d&e&f \\ g&h&i \end{pmatrix}=aei + bfg + cdh + ceg + bdi + afh
となる。

 のパーマネントの定義において、 の行列式のそれと異なる点は、各置換（に対応する項）に対して行列式が置換の符号を考慮するのに対してパーマネントは考慮しないことである。

行列  のパーマネントは記号で  などと書く（引数をパーレンで括ることもある）。 は  が矩形行列の場合に , 正方行列には  と使い分けている。 は \overset{+}{|}\quad \overset{+}{|} で括る記法を用いている。

術語「パーマネント」は元々はコーシーが1812年に “fonctions symétriques permanentes” として関連する函数の一種に対して用いた。より特定した現代的な意味での使用は  による。

## 性質
パーマネントを 本の列（または行）ベクトルを引数にとる写像と見るとき、多重線型（引数となるベクトルの順番を入れ替えても結果は変わらない）である。より具体的に、次正方行列  に対して以下が成り立つ：
*  は  の行または列ベクトルに関する任意の置換の下で不変である。この性質を任意の置換行列  を用いて  という形で記号的に表せる。
*  の任意の一つの行または列にスカラー  を掛けるとき、 は  に写る。
*  は転置の下で不変：.

次正方行列  に対し
:\operatorname{perm}(A+B) = \textstyle\sum\limits_{s,t} \operatorname{perm} (a_{ij})_{i \in s, j \in t} \operatorname{perm} (b_{ij})_{i \in \bar{s}, j \in \bar{t}}
が成立する。ただし、 は  の同じサイズの部分集合で、 はそれぞれの補集合である。

これと対照に、行列式の基本性質である乗法性はパーマネントでは成り立たない。

行列式に対するラプラス展開と同様に、パーマネントを行、列または対角線にそって展開することができる（行列式の場合には各余因子に交代符号が付いたが、パーマネントの場合には符号は付かない）。

## 応用
行列式の場合とは違い、パーマネントは平易な幾何学的解釈はない。主な応用先として、組合せ論、量子力学におけるボソンのグリーン関数の扱いにおいて、およびシステムの状態可能性の決定においてなどがある。ただし、2種類のグラフ理論的解釈をもつ（有向グラフのの重み付き和、および二部グラフにおける完全マッチングの重み付き和）。

### 対称テンソル
パーマネントはヒルベルト空間上の対称テンソル冪の研究において自然に生じてくる。具体的に、 をヒルベルト空間とし、その対称テンソル全体の成す空間である対称テンソル冪を \bigvee^k H と書くと、特に \bigvee^k H は  の元からなる対称（テンソル）積によって生成されることに注意する。 の対称積は
:x_1 \vee x_2 \vee \cdots \vee x_k := (k!)^{-\tfrac{1}{2}} \textstyle\sum\limits_{\sigma \in S_k} x_{\sigma(1)} \otimes x_{\sigma(2)} \otimes \cdots \otimes x_{\sigma(k)}
と定義される。\bigvee^k H を（ の 次 \bigotimes^k H の部分空間として）考えるとき、その上に内積  が定義されれば、それに応じて
:\langle x_1 \vee x_2 \vee \cdots \vee x_k, y_1 \vee y_2 \vee \cdots \vee y_k\rangle = \operatorname{perm}((\langle x_i,y_j\rangle)_{1\le i,j\le k})\qquad (x_j,y_j \in H)
となることが分かる。コーシー＝シュワルツの不等式を適用すれば、\operatorname{perm}((\langle x_i,x_j \rangle)_{1\le i,j\le k}) \geq 0 および
:\Bigl| \operatorname{perm}((\langle x_i,y_j \rangle)_{1\le i,j\le k}) \Bigr|^2 \leq
\operatorname{perm}((\langle x_i,x_j \rangle)_{1\le i,j\le k}) \cdot \operatorname{perm}((\langle y_i,y_j \rangle)_{1\le i,j\le k})
が確かめられる。

### 閉路被覆
任意の正方行列  は適当な重み付き有向グラフの隣接行列と見なすことができて、各  は頂点  から  へ結ぶ弧の重み付けを表す。
重み付き有向グラフのとは、その有向グラフの点素 (vertex-disjoint) な有向閉路の集まりで、グラフの全ての頂点を被覆するものをいう。このとき、有向グラフの各頂点  は、その閉路被覆において一意的な「後続点」 を持ち、 は （ はグラフの頂点数）の置換となる。逆に、 上の任意の置換  は、各  に対して頂点  から  へ結ぶ弧がある閉路被覆に対応する。

「閉路被覆の重み」を各閉路における重みの総乗と定めるならば、
:\operatorname{weight}(\sigma) := \textstyle\prod\limits_{i=1}^n a_{i,\sigma(i)}
と書ける。次正方行列  のパーマネントの定義
:\operatorname{perm}(A) = \textstyle\sum\limits_\sigma \prod\limits_{i=1}^n a_{i,\sigma(i)}
（ は  上の置換）と比較すれば、隣接行列  のパーマネントが、対応する有向グラフの閉路被覆全てに亙る重み付き和に等しいことが分かる。

### 完全マッチング
正方行列  を、頂点集合  および  を持つ二部グラフで、頂点  から頂点  へ結んだ辺の重みが  であるものの隣接行列と見ることもできる。 を  にマッチさせる   の重みを、このマッチングに現れる辺全ての重みの総乗と定義するならば
:\operatorname{weight}(\sigma) := \textstyle\prod\limits_{i=1}^n a_{i,\sigma(i)}
と書けるから、 のパーマネントはこの二部グラフの完全マッチング全てに亙る重み付き和に等しいことが分かる。

## 
### 数え上げ
多くの数え上げ問題に  と  のみを成分とする行列のパーマネントを計算することで答えることができる。

 は 次 -値の行列で各行各列の成分の和が  に等しいもの全体の成すクラスとする。このクラスに属する任意の行列  は  である。射影平面の接続行列は、適当な整数  に対するクラス  に属する。最小の射影平面に対応するパーマネントは計算されており、 に対してその値はそれぞれ  となる。 のときの射影平面（ファノ平面と呼ばれる）の接続行列を  とすると、特筆すべきことに  が成り立っている（右辺は  の行列式の絶対値の意味である）。これは  が巡回行列であることと、以下の定理からの帰結である。
; 定理
:  がクラス  に属する巡回行列ならば、 のとき、 であり、 のとき  が成り立つ。さらには、 のとき、行および列を入れ替えて、 を行列  の 個のコピーの直和の形にすることができて、したがって  および  となる。

位置の制限（禁止）を含む置換の総数の計算にもパーマネント は利用できる。標準 元-集合  に対して、 を、各  は素の置換で  と写せるならば , さもなくば  と定めて得られる -行列とするとき、 は標準 -元集合上でこれらの制限を全て満たす置換の総数に等しい。このような例としてよく知られた特別の場合が、完全順列問題（不動点を全く持たない場合）と（*problème des ménages*: 複数の男女カップルがどの組もパートナー同士が隣り合うことなく円卓に着席する場合の数を求める）である。完全順列の場合、元-集合において不動点が一つもない置換の総数は
:\operatorname{perm} (J-I) = \operatorname{perm}\!\begin{pmatrix}
  0 &1 &1 &\dots &1 \\
  1 &0 &1 &\dots &1 \\
  1 &1 &0 &\dots &1 \\
  \vdots &\vdots &\vdots &\ddots &\vdots \\
  1 &1 &1 &\dots &0
\end{pmatrix} = n! \textstyle\sum\limits_{i=0}^n \dfrac{(-1)^i}{i!}
で与えられる。ただし  は全ての成分が  の 次正方行列で、 は 次単位行列である。一方、メナージュ問題の場合の数（）は
:\begin{align}
\operatorname{perm}(J-I-I')
  &= \operatorname{perm}\!\begin{pmatrix}
    0 &0 &1 &\dots &1 \\
    1 &0 &0 &\dots &1 \\
    1 & 1 &0 &\dots &1 \\
    \vdots &\vdots &\vdots &\ddots &\vdots \\
    0 &1 &1 &\dots &0
\end{pmatrix} \\
  &= \textstyle\sum\limits_{k=0}^n (-1)^k \dfrac{2n}{2n-k} \dbinom{2n-k}{k} (n-k)!
\end{align}
で与えられる。ただし、 は 成分および 成分のみが非零である -行列とする。

### 上界
（で予想され、が1973年に証明した）は 次 -行列の上界を与える。

;定理 (Bregman–Minc inequality)
:各  に対して、 の第 行には 個の  があるものとするとき、
:\operatorname{perm} A \leq \textstyle\prod\limits_{i=1}^n (r_i)!^{\tfrac{1}{r_i}}
が成り立つ。

## ファンデルヴェルデンの予想
 は次二重確率行列の中で最小のパーマネントは  で、それは全ての成分が  に等しい行列によって達成されると予想した。この予想の証明は、 および  および として出版された。Egorychev の証明はの一つの応用である。この業績により Egorychev と Falikman はファルカーソン賞を1982年に受賞している。

## 計算

定義通りに素朴にパーマネントを計算しようとすれば、比較的小さい行列に対してさえ計算量的に不可能である。知られている最も速いアルゴリズムの一つは  による包除原理に基づいたで、以下のように与えられる:

;主張
: は  から  個の列を取り除いて得られる任意の行列とする。 は  の行和の総乗とし、 として考え得る全ての行列に亙って  を加えた和を  と書けば、
:\operatorname{perm}(A)= \textstyle\sum\limits_{k=0}^{n-1} (-1)^k \Sigma_k
が成り立つ。あるいはこれを行列の成分を陽に出して書けば
:\operatorname{perm} (A) = (-1)^n \textstyle\sum\limits_{S \subseteq \{1,\dots,n\}} (-1)^ \prod\limits_{i=1}^n \sum\limits_{j\in S} a_{ij} と書ける。

パーマネントの計算は行列式の場合に比べて複雑になると信じられている（例えば、行列式はガウスの消去法を用いて多項式時間で計算できるが、パーマネントはガウス消去では計算できない）。もっと言えば、-行列のパーマネントの計算はである。したがって、何らかの方法でパーマネントが多項式時間で計算できたと仮定すると、**** となるが、これは  よりもいっそう強い主張である。しかし、 の成分が全て非負の場合、パーマネントは確率的多項式時間で近似的に計算することができる（その誤差は、パーマネントの値  と任意の  に対する  に関するオーダーでとる）。半正定値行列のある種の集合上ではパーマネントが確率的多項式時間で近似的に計算できる（この近似で達成可能な最良の誤差は  である。 はやはりパーマネントの値とする）。

## マクマホンの基本定理

パーマネントを多変数母函数を通じて解釈する視点もある。次正方行列  に対して、多変数母函数
:F(x_1,x_2,\dotsc,x_n) := \textstyle\prod\limits_{i=1}^n \biggl(\sum\limits_{j=1}^n a_{ij} x_j \biggr) = \biggl( \sum\limits_{j=1}^n a_{1j} x_j \biggr) \biggl( \sum\limits_{j=1}^n a_{2j} x_j \biggr) \cdots \biggl( \sum\limits_{j=1}^n a_{nj} x_j \biggr)
を考えると、 における x_1 x_2 \dots x_n の係数は  に等しい。

このことの一般化として、
;定義
:任意の長さ  の非負整数列 s_1,s_2,\dotsc,s_n に対して \operatorname{perm}^{(s_1,s_2,\dots,s_n)}(A) を \left( \textstyle\sum\limits_{j=1}^n a_{1j} x_j \right)^{s_1} \left( \textstyle\sum\limits_{j=1}^n a_{2j} x_j \right)^{s_2} \cdots \left( \textstyle\sum\limits_{j=1}^n a_{nj} x_j \right)^{s_n} における {x_1}^{s_1} {x_2}^{s_2} \cdots {x_n}^{s_n} の係数と定める。

; 定理 (MacMahon's Master Theorem)
: パーマネントと行列式の間の関係として、「\operatorname{perm}^{(s_1,s_2,\dots,s_n)}(A) は \frac{1}{\det(I - XA)} における {x_1}^{s_1} {x_2}^{s_2} \cdots {x_n}^{s_n} の係数に等しい」が成り立つ。ただし、 は 次単位行列で、 は対角成分が  である対角行列とする。

## 
パーマネント函数の定義域を正方行列でない矩形行列も含むように拡張することができる。実際いくつかの文献では、そのようにパーマネントを定義して、正方行列に制限したものを特別の場合と見るものがある。具体的には、 行列  で  とするとき、
:\operatorname{perm}(A) := \textstyle\sum\limits_{\sigma \in P(n,m)} a_{1 \sigma(1)} a_{2 \sigma(2)} \dotsc a_{m \sigma(m)}
と定める。ただし、 は 元-集合  から  元選ぶ部分置換（順列）全体の成す集合である。

パーマネントに対するRyserの計算論的結果も一般化できる。 が  行列 () のとき、 から  個の列を取り除いて  が得られるとすると、 の行和の積を , 可能な全ての  に対する  の総和を  と書けば、
:\operatorname{perm}(A) = \textstyle\sum\limits_{k=0}^{m-1} (-1)^k \dbinom{n-m+k}{k} \sigma_{n-m+k}
が成り立つ。

### 完全代表系
矩形行列に対してパーマネントの定義を一般化することで、いくつかの応用においてはより自然な方法でこれを用いることができるようになる。例えば:

; 命題:（相異なるとは限らない） は 元-集合の部分集合で、 とする。この部分集合族の接続行列  は  の -行列である。この族の（systems of distinct representatives; 相異なる代表系、個別代表系; **SDR**）総数は  である。

## 関連項目
* ：順序統計学における応用
* スレイター行列式：量子力学における応用

## 注

### 注釈

### 出典

## 参考文献
* 
* 
* 
* 
* 
* 

## 関連文献
*  Contains a proof of the Van der Waerden conjecture.
* 

## 外部リンク
* 
* 
* 
* 
* 
*