二重確率行列

数学の確率論や組合せ論の分野における二重確率行列（にじゅうかくりつぎょうれつ、テンプレート:Lang-en-short）とは、各行の和および各列の和がそれぞれ 1 となる非負の実正方行列 $A=(a_{ij})$ のことである。すなわち、

$\sum _i{a}_{ij}=\sum _j{a}_{ij}=1$

が成り立つ行列 $A=(a_{ij})$ のことを二重確率行列と呼ぶ。この定義から、二重確率行列は左確率的であると同時に右確率的である。

このような遷移行列は必ず正方行列でなければならない。すなわち、もし各行の和が 1 であるならその行列の全ての成分の和は各行の数に等しく、同様のことが各列に対しても成り立つため、行の数と列の数は必ず等しくなければならない。

バーコフ多面体とバーコフ＝フォン・ノイマンの定理

テンプレート:Math2 二重確率行列の類は、テンプレート:仮リンクとして知られる凸多面体 テンプレート:Mvar である。この行列成分をデカルト座標系として用いることで、それは テンプレート:Math2次元ユークリッド空間のある テンプレート:Math2次元アフィン部分空間に含まれる。その空間は、行の和および列の和がそれぞれ 1 であるという特別な テンプレート:Math 個の線型独立な制限によって定義される（そのような制限の数は テンプレート:Math であって テンプレート:Math ではない。なぜならば、行の和と列の和が等しくなる必要があるので、テンプレート:Math 個の条件の内の一つは線型依存であるからである）。さらに、行列の成分はすべて非負で 1 以下であるように制限されている。

バーコフ＝フォン・ノイマンの定理では、この多面体 テンプレート:Mvar は テンプレート:Math2 置換行列の集合の凸包であること、さらに テンプレート:Mvar の頂点は正しく置換行列であることが述べられている。

他の性質

シンクホーンの定理では、厳密に正な成分を持つ任意の行列は、適切な対角行列の前方および後方からの乗算によって二重確率行列へと変換することができることが述べられている。

テンプレート:Math2 に対し、すべての二重確率行列はテンプレート:仮リンクかつテンプレート:仮リンクである。しかしより大きい テンプレート:Mvar に対してこのことは成立しない。

Van der Waerden は、すべての テンプレート:Math2 二重確率行列の中での最小のテンプレート:仮リンクは $\frac{n!}{n^n}$ であり、そのような最小はすべての成分が テンプレート:Math である二重確率行列によって達成されると予想した。この予想の証明は、1980年の B. Gyires、1981年の G. P. Egorychevおよび D. I. Falikman によって行われた。この業績により、Egorychev と Falikman は1982年にファルカーソン賞を受賞した。

参考文献

• テンプレート:Cite book

関連項目

• 確率行列

外部リンク

• テンプレート:高校数学の美しい物語