[论文解读] Asymptotic enumeration of contingency tables with constant margins

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

Advanced Combinatorial Mathematics参考文献 21被引用 10

一句话总结

本文為行和與列和固定的 m × n 列聯表在 m、n 逐漸增大且彼此近似相等、比值有界、平均項不趨近於零的情況下，建立了精確的漸近公式。該結果推廣了魔方陣與半正則二分多圖，並在廣泛的參數範圍內提供統一的漸近估計。

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 × n 矩陣數量的漸近公式。
• 將現有關於魔方陣與二分多圖的研究結果，擴展至具有平衡邊際約束的更廣泛類別之列聯表。
• 確定漸近公式有效的參數範圍（m, s; n, t），特別是在 m, n → ∞，且 m/n、n/m、s/n、t/m 有下界時。

提出的方法

• 運用組合與機率技術，包括配置模型與多變量鞍點法，分析列聯表的結構。
• 應用母函數與拉普拉斯法，近似邊際和約束之整數解的數量。
• 利用對稱性與尺度變換，將問題簡化為在 sm = tn 條件下的極限定形式。
• 根據運輸多面體的體積與其內部整數點的密度，推導漸近表達式。
• 將平均項大小視為關鍵參數，確保其遠離零，以維持漸近有效性。
• 透過分析 m、n、s、t 在尺度極限下的對數表數行為，驗證公式的適用範圍。

实验结果

研究问题

• RQ1 當 m 與 n 漸近增大時，行和與列和固定的 m × n 列聯表數量之漸近增長率為何？
• RQ2 當行和與列和成比例且平均項始終遠離零時，漸近公式如何表現？
• RQ3 漸近公式在何參數範圍（m, s; n, t）內有效，特別是當 m/n 與 s/t 有界時？
• RQ4 該公式能否擴展以包含魔方陣與半正則二分多圖作為特例？
• RQ5 平均項大小在決定漸近近似精確度方面扮演何種角色？

主要发现

• 本文推導出 M(m,s;n,t) 的精確漸近公式，其在 m, n → ∞，且比值 m/n、n/m、s/n、t/m 有下界時成立。
• 該公式適用於所有 sm = tn 的情況，包括魔方陣（當 m = n 且 s = t 時）與半正則二分多圖。
• 即使平均項不大，只要其遠離零，漸近估計仍有效。
• 該結果推廣並精化了先前關於魔方陣與列聯表的研究，擴展了適用範圍。
• 公式透過對數尺度下體積與熵項的結合，捕捉了列聯表的指數增長速率。
• 該方法確保在指定參數區域內，近似誤差可 uniformly 控制。