二重確率行列

数学の確率論や組合せ論の分野における二重確率行列（にじゅうかくりつぎょうれつ、）とは、各行の和および各列の和がそれぞれ 1 となる非負の実正方行列 formula_1 のことである。すなわち、
が成り立つ行列 formula_1 のことを二重確率行列と呼ぶ。この定義から、二重確率行列は左確率的であると同時に右確率的である。
このような遷移行列は必ず正方行列でなければならない。すなわち、もし各行の和が 1 であるならその行列の全ての成分の和は各行の数に等しく、同様のことが各列に対しても成り立つため、行の数と列の数は必ず等しくなければならない。
バーコフ多面体とバーコフ＝フォン・ノイマンの定理.
 二重確率行列の類は、として知られる凸多面体 である。この行列成分をデカルト座標系として用いることで、それは 次元ユークリッド空間のある 次元アフィン部分空間に含まれる。その空間は、行の和および列の和がそれぞれ 1 であるという特別な 個の線型独立な制限によって定義される（そのような制限の数は であって ではない。なぜならば、行の和と列の和が等しくなる必要があるので、 個の条件の内の一つは線型依存であるからである）。さらに、行列の成分はすべて非負で 1 以下であるように制限されている。
バーコフ＝フォン・ノイマンの定理では、この多面体 は 置換行列の集合の凸包であること、さらに の頂点は正しく置換行列であることが述べられている。
他の性質.
シンクホーンの定理では、厳密に正な成分を持つ任意の行列は、適切な対角行列の前方および後方からの乗算によって二重確率行列へと変換することができることが述べられている。
 に対し、すべての二重確率行列はかつである。しかしより大きい に対してこのことは成立しない。
 は、すべての 二重確率行列の中での最小のは formula_4 であり、そのような最小はすべての成分が である二重確率行列によって達成されると予想した。この予想の証明は、1980年の B. Gyires、1981年の G. P. Egorychevおよび D. I. Falikman によって行われた。この業績により、Egorychev と Falikman は1982年にファルカーソン賞を受賞した。