[논문 리뷰] Asymptotic enumeration of integer matrices with constant row and column sums

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

Advanced Combinatorial Mathematics참고 문헌 17인용 수 9

한 줄 요약

이 논문은 $m \times n$ 정수 행렬의 행합과 열합이 일정할 때의 수를 정확한 점 渐近 공식으로 제시한다. 이는 $m,n \to \infty$ 이고 평균 원소 $\lambda = s/n = t/m$ 가 너무 작지 않을 때 유효하다. 매개변수의 최적화 방법과 다면체 기하학을 사용하여, 행렬 수 $M(m,s;n,t)$ 는 $G(m,s;n,t) \cdot \exp(1/2 + O(n^{-b}))$ 와 점 渐近적으로 같음을 보였다. 여기서 $G$ 는 다항계수를 기반으로 한 조합적 근사이며, Birkhoff 다면체의 새로운 점 渐近 부피 공식을 제공한다.

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.

연구 동기 및 목표

• $m \times n$ 정수 행렬의 수에 대한 정확한 점 渐近 공식을 유도한다. 이 행렬의 행합은 $s$ 이고 열합은 $t$ 이며, $ms = nt$ 를 만족한다.
• 이전의 점 渐근 결과가 작은 또는 희박한 경우에만 유효했던 것을, 밀도가 높은 경우를 포함한 광범위한 매개변수 범위로 확장한다.
• 이중 확률 행렬의 집합인 Birkhoff 다면체의 부피에 대한 첫 번째 점 渐근 공식을 제공한다.
• Good의 히우리스틱 근사 $G(m,s;n,t)$ 가 광범위한 매개변수 범위에서 $M(m,s;n,t)$ 와 거의 정확한 추정치임을 엄밀히 검증한다.

제안 방법

• 고정된 행합과 열합을 가진 정수 행렬의 다변수 생성함수에 매개변수의 최적화 방법을 적용한다.
• Laplace 유사법을 사용하여 적분의 주요 기여가 오는 영역 $\mathcal{R}'$ 을 정의한다.
• 운반 다면체의 Ehrhart 다항식을 사용하여, $\lambda \geq n^5$ 인 고밀도 영역에서 격자점 수를 분석한다. 여기서 $\lambda = s/n = t/m$ 이다.
• Stanley의 Ehrhart 다항식 이론을 활용하여 $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 이 틀을 사용하여 Birkhoff 다면체의 부피를 점 渐근적으로 추정할 수 있는가?
• RQ4 어떤 조건에서 근사 $G(m,s;n,t)$ 가 진짜 수 $M(m,s;n,t)$ 와 상수 인자 범위 내에 있는가?
• RQ5 운반 다면체의 구조와 그들의 Ehrhart 다항식은 연관 표의 점 渐근 수세기에서 어떤 기여를 하는가?

주요 결과

• 행렬 수 $M(m,s;n,t)$ 는 $G(m,s;n,t) \cdot \exp(1/2 + O(n^{-b}))$ 와 점 渐근적으로 같으며, 여기서 $G(m,s;n,t)$ 는 이항계수를 포함하는 조합적 표현이다.
• 조건 $\frac{(1+2\lambda)^2}{4\lambda(1+\lambda)} \left(1 + \frac{5m}{6n} + \frac{5n}{6m}\right) \leq a \log n$ 을 만족할 때 공식이 성립한다. 이 조건은 상수 $a,b > 0$ 에 대해 $a+b < 1/2$ 를 만족하며, $m/n$ 과 $s/n$ 이 0에서 멀리 떨어져 있는 영역을 포함한다.
• $\lambda = O(n^5)$ 인 경우, 다변수 적분 표현의 매개변수의 최적화 분석을 통해 점 渐근 공식이 도출된다.
• $\lambda \geq n^5$ 인 경우, 운반 다면체의 Ehrhart 다항식을 사용하여 공식이 확장되며, 서로 다른 $\lambda$ 값에 대한 수의 비율이 2의 거듭제곱으로 수렴함을 보였다.
• 결과적으로 Good의 근사 $G(m,s;n,t)$ 는 매우 정확하며, 광범위한 매개변수 범위에서 진짜 수 $M(m,s;n,t)$ 와 상수 인자 범위 내에 있다.
• Birkhoff 다면체의 첫 번째 점 渐근 부피 공식이 이 결과의 결과로 도출되며, 이는 $m=n$ 이고 $s=t$ 일 때 유효하다.