[논문 리뷰] An upper bound for the number of perfect matchings in graphs

Shmuel Friedland|ArXiv.org|2008. 03. 06.

Limits and Structures in Graph Theory참고 문헌 4인용 수 12

한 줄 요약

이 논문은 정점의 차수를 바탕으로, 짝수 개인 정점 수를 가진 무방향 단순 그래프에서 완전 매칭의 수에 대한 상계를 설정한다: $\mathop{\mathrm{perfmat}}\nolimits G \leq \prod_{v\in V} (\deg v)!^{1/(2\deg v)}$. 이 상계는 대칭 (0,1) 행렬의 하프니안에 대해 브레그만-민크 부등식을 일반화한 것으로, 대각 성분이 0인 경우에 적용되며, 그래프가 완전 이분 그래프의 서로소 합집합인 경우에 정확히 성립한다.

ABSTRACT

We give an upper bound on the number of perfect matchings in an undirected simple graph $G$ with an even number of vertices, in terms of the degrees of all the vertices in $G$. This bound is sharp if $G$ is a union of complete bipartite graphs. This bound is a generalization of the upper bound on the number of perfect matchings in bipartite graphs on $n+n$ vertices given by the Bregman-Minc inequality for the permanents of $(0,1)$ matrices.

연구 동기 및 목표

• 짝수 개인 정점 수를 가진 무방향 단순 그래프에서의 완전 매칭 수에 대해, 정점의 차수만을 기반으로 상계를 유도하는 것.
• 원래 (0,1)-행렬의 행렬식에 대해 제시된 브레그만-민크 부등식을, 대각 성분이 0인 대칭 (0,1)-행렬의 하프니안으로 일반화하는 것.
• 그래프가 완전 이분 그래프의 서로소 합집합인 경우에 이 상계가 정확히 성립함을 보이는 것.
• 스크리저의 브레그만-민크 부등식 증명과 유사한 증명 기법을 하프니안 설정에 맞게 수정하여 적용하는 것.

제안 방법

• 정점 수에 대한 귀납법을 사용하며, 매칭된 정점 쌍을 제거함으로써 하프니안의 재귀적 전개를 활용한다.
• 매칭된 정점 쌍을 제거하여 형성된 부분그래프에 귀납 가정을 적용하며, 하프니안의 재귀식을 사용한다: $\mathop{\mathrm{hafn}}\nolimits A = \sum_{j \neq i} a_{ij} \mathop{\mathrm{hafn}}\nolimits A(i,j)$.
• 각 정점의 차수의 계승을 포함하는 항들의 곱으로 하프니안을 바ounds하기 위해, $x \log x$의 볼록성과 이웃 구성의 조합적 수를 적용한다.
• 모든 완전 매칭에서 각 정점의 기여를 분석하며, 매칭된 쌍과의 공통 이웃 수에 따라 경우를 나눈다.
• 핵심 단계는 레이마 3.3을 사용하여, 계승을 포함하는 특정 식이 비접속 쌍의 수에 따라 증가함을 보여주며, 제약 조건 하에서 최대화 가능함을 보여준다.
• 최종 부등식은 곱의 순서를 재정렬하고, 부등식 $\prod_{\alpha \in \mathcal{M}} \text{항들} \leq \left( \prod_{i=1}^{2n} (r_i!)^{1/(2r_i)} \right)^{2n \cdot \mathop{\mathrm{hafn}}\nolimits A}$ 를 적용하여 유도한다.

실험 결과

연구 질문

• RQ1 주어진 정점의 차수만을 고려할 때, 일반적인 무방향 그래프에서 완전 매칭 수에 대한 가장 날카로운 상계는 무엇인가?
• RQ2 행렬식에 대한 브레그만-민크 부등식은 대칭 (0,1)-행렬의 하프니안으로 확장될 수 있는가?
• RQ3 어떤 그래프 구조에서 제안된 상계가 등호가 성립하는가?
• RQ4 완전 매칭 내의 이웃 관계의 구조는 하프니안의 상계에 어떤 영향을 미치는가?

주요 결과

• 모든 짝수 개인 정점 수를 가진 무방향 단순 그래프에서의 완전 매칭 수는 $\prod_{v \in V} (\deg v)!^{1/(2\deg v)}$ 이하로 bound된다. 여기서 $0^{1/0} = 0$ 으로 간주한다.
• 그래프가 완전 이분 그래프의 서로소 합집합인 경우 이 상계는 정확히 성립하며, 예를 들어 $K_{r,r}$ 와 같이 등호가 성립한다.
• 완전 그래프 $K_{2n}$ 에 대해서는 상계가 $\prod_{i=1}^{2n} (2n-1)!^{1/(2(2n-1))}$ 를 유도하며, 이는 알려진 완전 매칭 수 $\frac{(2n)!}{n! \cdot 2^n}$ 과 상수 형태로 일치한다.
• 스크리저의 브레그만-민크 부등식 증명에서 유도된 증명 기법을 하프니안 설정에 적응시켜, 귀납법과 계승 항의 볼록성에 기반한 증명을 통해 상계를 확립하였다.
• 각 정점의 하프니안에 대한 기여를 분석함으로써 부등식이 정확함을 입증하였으며, 이는 이웃 겹침이 최소화될 때 최대가 달성됨을 보여준다.
• 이 상계는 원래 브레그만-민크 부등식을 행렬식에서 하프니안으로 일반화하여, 비이분 그래프와 대칭 행렬에 대한 적용 가능성을 넓혔다.