[論文レビュー] Asymptotic enumeration of integer matrices with constant row and column sums

E. Rodney Canfield, Brendan D. McKay|arXiv (Cornell University)|Mar 20, 2007

Advanced Combinatorial Mathematics参考文献 17被引用数 9

ひとこと要約

本稿は、$m,n \to \infty$ かつ平均要素数 $\lambda = s/n = t/m$ が小さくない場合に、指定された定数行和・列和を持つ $m \times n$ 整数行列の数に対する正確な漸近公式を確立する。鞍点法と多面体幾何を用いて、行列数 $M(m,s;n,t)$ が $G(m,s;n,t) \cdot \exp(1/2 + O(n^{-b}))$ に漸近することを示し、ここで $G$ は多項係数に基づく組合せ的近似である。また、バーキホフ単体の新たな漸近体積公式も得られる。

ABSTRACT

Let s,t,m,n be positive integers such that sm=tn. Let M(m,s;n,t) be the number of m x n matrices over {0,1,2,...} with each row summing to s and each column summing to t. Equivalently, M(m,s;n,t) counts 2-way contingency tables of order m x n such that the row marginal sums are all s and the column marginal sums are all t. A third equivalent description is that M(m,s;n,t) is the number of semiregular labelled bipartite multigraphs with m vertices of degree s and n vertices of degree t. When m=n and s=t such matrices are also referred to as n x n magic squares with line sums equal to t. We prove a precise asymptotic formula for M(m,s;n,t) which is valid over a range of (m,s;n,t) in which m,n become infinite while remaining approximately equal and the average entry is not too small. This range includes the case where m/n, n/m, s/n and t/m are bounded from below.

研究の動機と目的

• 固定された行和 $s$ と列和 $t$ を持つ $m \times n$ 整数行列の数について、$ms = nt$ を満たす場合に正確な漸近公式を導出すること。
• これまでの結果がスパースな場合に限られていた漸近的結果を、密度の高い行列を含む広範なパラメータ範囲へと拡張すること。
• 二重確率行列の集合であるバーキホフ単体の体積に対する初の漸近的公式を提供すること。
• Goodのヒューリスティック近似 $G(m,s;n,t)$ が、広範なパラメータ範囲で $M(m,s;n,t)$ の近似として非常に正確であることを厳密に検証すること。

提案手法

• 固定行和・列和を持つ整数行列のための多変数母関数に鞍点法を適用する。
• ラプラス型近似を用いて、積分の主要寄与が集中する領域 $\mathcal{R}'$ を定義する。
• 輸送多面体のエーリヒト多項式を用いて、$\lambda \geq n^5$ の密度の高い状態における格子点数の解析を行う。ここで $\lambda = s/n = t/m$ である。
• スターリングの理論を用いて、$M(m,s;n,t)$ と拡大された輸送多面体 $q\mathcal{P}$ の整数点数との関係を確立する。
• 異なる $\lambda$ 値におけるカウント比が2の累乗に収束することを示し、パラメータ範囲を横断する補間を可能にする。
• スパース（$\lambda = O(n^5)$）と密度の高い（$\lambda \geq n^5$）状態の結果を統合し、完全な漸近公式を証明する。

実験結果

リサーチクエスチョン

• RQ1 $m,n \to \infty$ のとき、定数行和 $s$ と列和 $t$ を持つ $m \times n$ 整数行列の数の漸近的成長率は何か？
• RQ2 パラメータ範囲が異なる場合に、Goodのヒューリスティック近似 $G(m,s;n,t)$ は $M(m,s;n,t)$ に対してどの程度正確か？
• RQ3 この枠組みを用いて、バーキホフ単体の体積を漸近的に推定できるか？
• RQ4 $G(m,s;n,t)$ が真のカウント $M(m,s;n,t)$ と定数倍の範囲内にあることを保証する条件は何か？
• RQ5 輸送多面体の構造とそのエーリヒト多項式は、連関表の漸近的数え上げにどのように寄与するか？

主な発見

• 行列数 $M(m,s;n,t)$ は、$G(m,s;n,t) \cdot \exp(1/2 + O(n^{-b}))$ に漸近する。ここで $G(m,s;n,t)$ は二項係数を含む組合せ的表現である。
• この公式は、定数 $a,b > 0$ で $a+b < 1/2$ を満たし、$\frac{(1+2\lambda)^2}{4\lambda(1+\lambda)} \left(1 + \frac{5m}{6n} + \frac{5n}{6m}\right) \leq a \log n$ を満たす条件下で成り立つ。この条件により、$m/n$ と $s/n$ が0から離れた範囲が保証される。
• $\lambda = O(n^5)$ の場合、多変数積分表現の鞍点解析により漸近公式が導出される。
• $\lambda \geq n^5$ の場合、輸送多面体のエーリヒト多項式を用いて公式が拡張され、異なる $\lambda$ 値におけるカウント比が2の累乗に収束することが示される。
• この結果により、Goodの近似 $G(m,s;n,t)$ が非常に正確であることが示され、広範なパラメータ範囲で真の値 $M(m,s;n,t)$ と定数倍の範囲内に収束することがわかる。
• バーキホフ単体の初の漸近体積公式が、$m=n$ かつ $s=t$ の場合に導出される。