[논문 리뷰] Unleashing the power of Schrijver's permanental inequality with the help of the Bethe Approximation

Leonid Gurvits|arXiv (Cornell University)|2011. 06. 14.

Matrix Theory and Algorithms참고 문헌 14인용 수 39

한 줄 요약

이 논문은 베테 근사법을 사용하여 슈리저의 영구행렬 부등식을 일반화하며, 이중확률행렬을 이용하여 비음수 행렬의 영구행렬 로그에 대한 새로운 하한을 도출한다. 주요 기여는 프리들랜드의 점점 커지는 하한 매칭 추측을 함의하는 새로운 부등식을 제시하는 것으로, 영구행렬에 대해 $(\sqrt{2})^n$ 요인 이내의 결정적 다항시간 근사 알고리즘을 제안한다. 이 결과는 통계역학과의 깊은 연관성을 활용하며, 영구행렬 추정에 강력한 도구를 제공한다.

ABSTRACT

Let $A \in Ω_n$ be doubly-stochastic $n imes n$ matrix. Alexander Schrijver proved in 1998 the following remarkable inequality per(\widetilde{A}) \geq \prod_{1 \leq i,j \leq n} (1- A(i,j)); \widetilde{A}(i,j) =: A(i,j)(1-A(i,j)), 1 \leq i,j \leq n. We use the above Shrijver's inequality to prove the following lower bound: \frac{per(A)}{F(A)} \geq 1; F(A) =: \prod_{1 \leq i,j \leq n} (1- A(i,j))^{1- A(i,j)}. We use this new lower bound to prove S.Friedland's Asymptotic Lower Matching Conjecture(LAMC) on monomer-dimer problem. We use some ideas of our proof of (LAMC) to disprove [Lu,Mohr,Szekely] positive correlation conjecture. We present explicit doubly-stochastic $n imes n$ matrices $A$ with the ratio $\frac{per(A)}{F(A)} = \sqrt{2}^{n}$; conjecture that \max_{A \in Ω_n}\frac{per(A)}{F(A)} \approx (\sqrt{2})^{n} and give some examples supporting the conjecture. If true, the conjecture (and other ones stated in the paper) would imply a deterministic poly-time algorithm to approximate the permanent of $n imes n$ nonnegative matrices within the relative factor $(\sqrt{2})^{n}$. The best current such factor is $e^n$.

연구 동기 및 목표

• 통계역학적 방법을 활용하여 슈리저의 1998년 영구행렬 부등식을 유리수 이중확률행렬을 초월하는 더 넓은 비음수 행렬 클래스로 일반화하는 것.
• 일반화된 부등식을 사용하여 프리들랜드의 단체-디머 엔트로피에 대한 점점 커지는 하한 매칭 추측을 해결하는 것.
• 비음수 행렬의 영구행렬에 대해 상대 요인 $(\sqrt{2})^n$ 이내의 결정적 다항시간 근사 알고리즘을 수립하는 것.
• 특히 베테 근사법을 포함한 통계역학 기반 접근법이 오랜 기간 동안 미해결이었던 행렬 해석학 및 조합론 문제를 해결하는 데 얼마나 강력한 도구가 되는지 보여주는 것.

제안 방법

• 영구행렬 $ P $ 와 이중확률행렬 $ Q $ 간의 관계를 설명하는 기능 $ CW(P,Q) $ 를 도입하며, 이는 엔트로피 유사 항과 칼리브라-라이블러 발산을 조합한다.
• 모든 비음수 행렬 $ P $ 에 대해 $ \log(\text{per}(P)) \geq \max_{Q \in \Omega_n} CW(P,Q) $ 를 증명하며, 이는 슈리저의 부등식을 특수한 경우로 포함한다.
• 함수 $ CW(P,Q) $ 가 $ Q $ 에 대해 볼록임을 이용하고, 분해 불가능 블록의 구조를 활용하여 문제를 기약성 성분으로 축소한다.
• 이 부등식을 적용하여 이중확률행렬에 대한 영구행렬 하한을 도출한다: $ \frac{\text{per}(A)}{F(A)} \geq 1 $, 여기서 $ F(A) = \prod_{i,j} (1 - A(i,j))^{1 - A(i,j)} $.
• 이 하한을 단체-디머 문제에 적용하여, 행렬 가족의 극한 분석을 통해 점점 커지는 하한 매칭 추측을 증명한다.
• 행렬 수열의 점근적 분석을 통해 영구행렬과 하한의 성장률을 비교하며, 하한 쪽으로 엄밀한 부등식이 성립하는 것을 보인다.

실험 결과

연구 질문

• RQ1 통계역학적 방법을 사용하여 슈리저의 영구행렬 부등식을 유리수 이중확률행렬을 초월해 일반화할 수 있는가?
• RQ2 베테 근사 프레임워크는 새로운 영구행렬 하한을 도출하는 데 통합적이고 강력한 도구가 될 수 있는가?
• RQ3 일반화된 부등식을 사용하여 프리들랜드의 단체-디머 엔트로피에 대한 점점 커지는 하한 매칭 추측을 증명할 수 있는가?
• RQ4 이 방법을 사용하여 비음수 행렬의 영구행렬에 대해 최적의 근사 요인은 무엇인가?
• RQ5 $(\sqrt{2})^n$ 요인 이내의 결정적 다항시간 알고리즘이 영구행렬 근사에 존재하는가?

주요 결과

• 논문은 모든 비음수 행렬 $ P $ 에 대해 $ \log(\text{per}(P)) \geq \max_{Q \in \Omega_n} CW(P,Q) $ 를 증명하며, 이는 슈리저의 부등식을 일반화한 것으로, $ \text{per}(P) > 0 $ 인 경우에 대해 유효하다.
• 모든 $ A \in \Omega_n $ 에 대해 $ \frac{\text{per}(A)}{F(A)} \geq 1 $ 이 성립하며, 여기서 $ F(A) = \prod_{i,j} (1 - A(i,j))^{1 - A(i,j)} $ 이고, 특정 행렬 가족에서 등호에 수렴함을 보였다.
• 논문은 특정 이중확률행렬의 영구행렬이 $ F(A) $ 를 최소한으로 초월하며, 극한에서 등호에 도달함을 보여 프리들랜드의 점점 커지는 하한 매칭 추측을 증명한다.
• 영구행렬 대비 $ F(A) $ 의 비율이 $ (\sqrt{2})^n $ 에 도달하는 $ n \times n $ 이중확률행렬 $ A $ 의 명시적 구성이 제시되며, 이 비율이 최대일 수 있음을 시사한다.
• 논문은 영구행렬 하한에 대한 추측에 반례를 제시한다: $ n=90 $ 인 $ 135 \times 135 $ 행렬 $ K_n $ 에 대해 $ \text{LMS}(K_n) > \text{per}(K_n) $ 를 만족하며, 제안된 하한을 반박한다.