[논문 리뷰] Upper bounds on the permanent of multidimensional (0,1)-matrices

Anna A. Taranenko|arXiv (Cornell University)|2014. 12. 05.

graph theory and CDMA systems참고 문헌 4인용 수 4

한 줄 요약

이 논문은 다차원 (0,1)-행렬의 영구행렬에 대한 상계를 도출하기 위해 Minc의 추측을 고차원으로 일반화한다. 초평면 합을 기반으로 한 상계를 제안하고, 계승 근사와 수학적 귀납법을 사용하여 渐近적 추정을 도출하며, 초평면 가중치가 $ n $에 대해 충분히 빠르게 증가하는 조건 하에서 영구행렬의 성장률이 $ n!^{d-2} e^{o(n)} \prod_{i=1}^n \lceil r_i/n^{d-2} \rceil!^{1/\lceil r_i/n^{d-2} \rceil} $ 이하임을 보여준다.

ABSTRACT

The permanent of a multidimensional matrix is the sum of products of entries over all diagonals. By Minc's conjecture, there exists a reachable upper bound on the permanent of 2-dimensional (0,1)-matrices. In this paper we obtain some generalizations of Minc's conjecture to the multidimensional case. For this purpose we prove and compare several bounds on the permanent of multidimensional (0,1)-matrices. Most estimates can be used for matrices with nonnegative bounded entries.

연구 동기 및 목표

• 2차원 (0,1)-행렬의 영구행렬에 대한 Minc의 추측을 고차원 다차원 행렬로 일반화한다.
• 초평면 내 1의 개수에 기반하여 d차원 (0,1)-행렬의 영구행렬에 대한 상계를 확립한다.
• 초평면 가중치에 대한 성장 조건 하에서 최대 영구행렬의 渐近적 추정을 개발한다.
• 항목이 1을 초과하지 않는 비음수 행렬에 대해 재귀적 구성과 계승 상계를 사용하여 결과를 확장한다.
• 초평면 합에 대한 온건한 성장 가정 하에서 제안된 상계가 渐近적으로 성립함을 증명한다.

제안 방법

• 2차원 경우(Minc의 정리)를 기저 사례로 삼아 차원 $ d $ 에 대해 귀납법을 적용한다.
• d차원 행렬 $ A $ 에서 각 항목 $ b_\beta = s_\beta!^{1/s_\beta} $ 인 (d-1)차원 행렬 $ B $ 로의 사상 정의. 여기서 $ s_\beta $ 는 1차원 평면 $ l_\beta $ 에서 1의 개수이다.
• 계승 항목을 근사하기 위해 부등식 $ x!^{1/x} \leq e^{1/x} x^{1+1/(2x)} e^{-1} $ 를 적용하고, 합계의 상한을 구하기 위해 볼록성의 성질을 활용한다.
• 행렬 $ B $ 의 항목을 재정렬하여 항목이 0 또는 $ f(n) $ 인 새로운 행렬 $ C $ 를 구성하며, 재정렬을 통해 영구행렬을 유지하거나 증가시킨다.
• 함수의 볼록성에 기반하여 $ \sum_{\beta} g(s_\beta) \leq n^{d-2} g(r_i(n)/n^{d-2}) $ 를 이용해 행렬 $ B $ 의 각 초평면에 대한 항목 합을 상한으로 제한한다.
• 행렬 $ C $ 를 $ f(n) $ 으로 스케일링한 후 귀납 가정을 적용하여, 최종적으로 $ n!^{d-2} e^{o(n)} \prod_{i=1}^n F(r_i(n)/n^{d-2}) $ 를 포함하는 渐近적 상계를 유도한다.

실험 결과

연구 질문

• RQ1 2차원 (0,1)-행렬의 영구행렬에 대한 Minc의 추측을 고차원 다차원 행렬로 어떻게 일반화할 수 있는가?
• RQ2 초평면 내 1의 개수에 기반하여 d차원 (0,1)-행렬의 영구행렬에 대해 어떤 상계를 도출할 수 있는가?
• RQ3 초평면 가중치에 대한 성장 조건 하에서 행렬 크기 $ n \to \infty $ 일 때 이러한 상계는 어떻게 행동하는가?
• RQ4 동일한 상계를 1을 초과하지 않는 비음수 행렬로 확장할 수 있는가?
• RQ5 최소 초평면 가중치가 $ n^{d-2} $ 보다 더 빠르게 증가할 경우 최대 영구행렬의 渐近적 성장률은 무엇인가?

주요 결과

• d차원 (0,1)-행렬의 영구행렬은 $ r_i $ 가 i번째 초평면 내 1의 개수일 때, $ \prod_{i=1}^n \lceil r_i/n^{d-2} \rceil!^{1/\lceil r_i/n^{d-2} \rceil} $ 이하로 상한이 정해진다.
• 조건 $ \min_i r_i(n)/n^{d-2} \to \infty $ 하에서 $ \max_{A \in \Lambda^d(n,r)} \text{per}(A) \leq n!^{d-2} e^{o(n)} \prod_{i=1}^n F\left(\frac{r_i(n)}{n^{d-2}}\right) $ 는 $ n \to \infty $ 일 때 渐近적으로 성립한다.
• 초평면 합이 8인 3차원 행렬에 대해 $ \text{per}(A) \leq 4! \cdot 2^{4/2} = 96 $ 라는 추측 1은 예시에서 영구행렬이 74이지만 渐近적으로 성립함을 보였다.
• 정리 3은 $ \text{per}(A) \leq 4!^2 = 576 $ 과 같은 느슨한 상계를 제공하며, 이는 유효하지만 예시에 대해 타이트하지 않다.
• 보조정리 1은 2차원 상한을 1을 초과하지 않는 비음수 행렬로 확장하여, $ r_i $ 가 행의 합일 때 $ \text{per}(A) \leq \prod_{i=1}^n \lceil r_i \rceil!^{1/\lceil r_i \rceil} $ 이 성립함을 보여준다.
• 渐近적 상한은 $ e^{o(n)} $ 요소를 제외하고는 타이트하며, 성장률은 초평면 가중치로 스케일링된 계승 항목의 곱에 의해 지배된다.