[논문 리뷰] A tight lower bound on the matching number of graphs via Laplacian eigenvalues

Xiaofeng Gu, Muhuo Liu|arXiv (Cornell University)|2021. 03. 21.

Graph theory and applications참고 문헌 28인용 수 21

한 줄 요약

이 논문은 그래프의 라플라시안 고유값을 사용하여 매칭 수 α′에 대한 날카운 하한을 확립한다. 이를 통해 α′ ≥ min{⌊(μ₂/μₙ)(n−1)/m⌋, ⌊(n−1)/(2m)⌋} 를 증명하며, Brouwer와 Haemers의 이전 결과를 일반화하고 강화한다. 핵심 혁신은 Haemers의 분리 부등식을 활용해, 매칭 수, 인수-비결정성, 발기구, 짝수 부분그래프, 그리고 유계 차수를 가진 스패닝 트리에 대한 날카운 스펙트럼 하한을 도출할 수 있는 보조정리를 유도한 것이다.

ABSTRACT

Let $\alpha'$ and $\mu_i$ denote the matching number of a non-empty simple graph $G$ with $n$ vertices and the $i$-th smallest eigenvalue of its Laplacian matrix, respectively. In this paper, we prove a tight lower bound $$\alpha' \ge \min\left\{\Big\lceil\frac{\mu_2}{\mu_n} (n -1)\Big ceil,\ \ \Big\lceil\frac{1}{2}(n-1)\Big ceil ight\}.$$ This bound strengthens the result of Brouwer and Haemers who proved that if $n$ is even and $2\mu_2 \ge \mu_n$, then $G$ has a perfect matching. A graph $G$ is factor-critical if for every vertex $v\in V(G)$, $G-v$ has a perfect matching. We also prove an analogue to the result of Brouwer and Haemers mentioned above by showing that if $n$ is odd and $2\mu_2 \ge \mu_n$, then $G$ is factor-critical. We use the separation inequality of Haemers to get a useful lemma, which is the key idea in the proofs. This lemma is of its own interest and has other applications. In particular, we prove similar results for the number of balloons, spanning even subgraphs, as well as spanning trees with bounded degree.

연구 동기 및 목표

• 일반 그래프에 대해 정규 그래프에 국한되지 않는 라플라시안 고유값을 사용한 매칭 수에 대한 날카운 하한을 확립하는 것.
• n 이 홀수일 때, 2μ₂ ≥ μₙ 조건이 인수-비결정성 그래프에 대한 스펙트럼 조건을 설정하는 것.
• 이 방법을 매칭 수 이외의 그래프 매개변수, 예를 들어 발기구 수, 짝수 스패닝 부분그래프, 그리고 유계 차수를 가진 스패닝 트리로 확장하는 것.
• 극한 그래프의 명시적 구성으로 유도된 하한이 날카로움을 증명하는 것.
• Haemers의 분리 부등식을 기반으로 한 새로운 보조정리를 개발하고, 스펙트럼 그래프 이론의 통합 도구로 적용하는 것.

제안 방법

• 서로소 정점 집합 X와 Y가 간선 없이 분리되어 있을 때, Haemers의 분리 부등식을 활용: |X||Y| / [(n−|X|)(n−|Y|)] ≤ [(μₙ−μ₂)/(μₙ+μ₂)]².
• 핵심 보조정리 유도: G−S 가 비연결이고, V(G)−S 내의 서로소 부분집합 X, Y 에 대해 |X|≤|Y| 이면, |X| ≤ (μₙ−μ₂)/(2μₙ)·n 과 |S| ≥ (2μ₂)/(μₙ−μ₂)·|X| 가 성립한다.
• 이 보조정리를 적용해 주요 결과 증명: n 개 정점과 m条 간선을 가진 그래프에 대해 α′(G) ≥ min{⌊(μ₂/μₙ)(n−1)/m⌋, ⌊(n−1)/(2m)⌋} 이다.
• 동일한 보조정리를 사용해 발기구 수, 짝수 스패닝 부분그래프, 최대 차수 ≤k 인 스패닝 트리에 대한 하한을 도출한다.
• 극한 그래프(예: 완전 이분 그래프 Ks,t 및 조인 그래프 Ks∨tK₁)를 구성하여 하한의 날카로움을 보여준다.
• Gallai의 인수-비결정성 그래프 특성화를 활용해, n 이 홀수이고 2μ₂ ≥ μₙ 이면 G 는 인수-비결정성임을 증명한다.

실험 결과

연구 질문

• RQ1 정규 그래프에 국한되지 않고 일반 그래프에 대해 라플라시안 고유값을 사용해 매칭 수에 대한 날카운 하한을 확립할 수 있는가?
• RQ2 n 이 홀수일 때, 조건 2μ₂ ≥ μₙ 이 인수-비결정성 그래프를 보장하는 데 충분한가?
• RQ3 Haemers의 분리 부등식을 기반으로 한 스펙트럼 하한 기법을 매칭 수 이외의 다른 그래프 매개변수로 확장할 수 있는가?
• RQ4 비정규 그래프에 대해 μ₂ 와 μₙ 를 기반으로 한 매칭 수에 대한 가장 날카운 하한은 무엇인가?
• RQ5 스펙트럼 조건을 어떻게 활용해 차수 제약 조건을 가진 스패닝 부분그래프(예: 짝수 부분그래프, 유계 차수 스패닝 트리)의 존재를 보장할 수 있는가?

주요 결과

• 매칭 수에 대한 날카운 하한이 확립됨: α′(G) ≥ min{⌊(μ₂/μₙ)(n−1)/m⌋, ⌊(n−1)/(2m)⌋}, 이는 Brouwer와 Haemers의 결과를 일반화하고 개선한다.
• μ₂ ≥ rμₙ 이면 α′(G) ≥ r(n−1) 이며, 0 < r ≤ 1/2 이다. 이 하한은 Ks,t 및 Ks∨tK₁ 와 같은 극한 그래프로 날카로움을 입증한다.
• n 이 홀수이고 2μ₂ ≥ μₙ 이면 G 는 인수-비결정성이며, 이 조건은 날카로움을 Ks,s+1 및 Ks∨(s+1)K₁ 를 통해 입증한다.
• 발기구 수 b(G) 는 μ₂ ≥ (1−r−rδ)μₙ 이며 δ ≥2 이거나 μ₂ ≥ (1−3r)μₙ 이며 δ=1 이면, r ≤ min{1/3, 1/(δ+1)} 이면 상한 ⌈rn⌉ 으로 유계된다.
• δ ≥3 이면 (δ−1)μ₂ ≥ μₙ 이면 짝수 스패닝 부분그래프가 존재하며, 이는 날카로우며 비정규 그래프로의 스펙트럼 조건 확장을 가능하게 한다.
• k ≥3 이면 (k−1)μ₂ ≥ μₙ 이면 최대 차수 ≤k 인 스패닝 트리가 존재하며, 이는 해밀턴 경로(예: k=2) 및 그 이상에 대한 스펙트럼 충분조건을 제공한다.