[논문 리뷰] Limited packings of closed neighbourhoods in graphs

Paul Balister, Béla Bollobás외 1명|arXiv (Cornell University)|2015. 01. 08.

Limits and Structures in Graph Theory참고 문헌 6인용 수 3

한 줄 요약

이 논문은 삼차 그래프에서 2-제한된 포장 수 $L_2(G)$에 대한 날카운 하한을 확립하여 $L_2(G) \geq |V(G)|/3$임을 증명하며, 이는 이전의 $1/4$ 하한을 향상시킨다. 또한 고정된 $k$와 증가하는 최대 차수 $Δ$에 대해 기존의 渐近 하한이 상수 인자까지 날카롭게 잠긴다는 것을 보여주기 위해 유한 사영 평면을 이용해 극한 그래프를 구성한다. 더 나아가, $k$와 $Δ$가 함께 급격히 증가할 경우 레바스 로바스 국소 렘마를 적용하여 거의 최적의 하한을 도출한다.

ABSTRACT

The k-limited packing number, $L_k(G)$, of a graph $G$, introduced by Gallant, Gunther, Hartnell, and Rall, is the maximum cardinality of a set $X$ of vertices of $G$ such that every vertex of $G$ has at most $k$ elements of $X$ in its closed neighbourhood. The main aim in this paper is to prove the best-possible result that if $G$ is a cubic graph, then $L_2(G) \geq |V (G)|/3$, improving the previous lower bound given by Gallant, \emph{et al.} In addition, we construct an infinite family of graphs to show that lower bounds given by Gagarin and Zverovich are asymptotically best-possible, up to a constant factor, when $k$ is fixed and $Δ(G)$ tends to infinity. For $Δ(G)$ tending to infinity and $k$ tending to infinity sufficiently quickly, we give an asymptotically best-possible lower bound for $L_k(G)$, improving previous bounds.

연구 동기 및 목표

• 삼차 그래프에서 2-제한된 포장 수 $L_2(G)$에 대한 최상의 하한을 확립하기.
• 고정된 $k$와 $Δ(G) \to \infty$일 때 기존의 $L_k(G)$ 하한의 渐近 날카움을 분석하기.
• 확률적 기법을 사용하여 $k$와 $Δ(G)$가 모두 무한으로 갈 때 $L_k(G)$의 개선된 渐近 하한을 확립하기.
• 정규 그래프에서 제한된 포장 수와 독립 집합 파라미터 간의 관계를 분석하며, 특히 $ε$-튜플 독립 집합과의 이중성에 기반한다.

제안 방법

• 모든 삼차 그래프 $G$에 대해 $L_2(G) \geq |V(G)|/3$임을 구조적 및 극한적 추론을 통해 증명하며, 특정 무한 그래프 가족에서 등호가 성립함을 보인다.
• 유한 사영 평면을 기반으로 한 무한 그래프 가족을 구성하여, $k$가 고정되고 $Δ \to \infty$일 때 가가린-즈베로비치의 $L_k(G)$ 하한이 상수 인자까지 날카롭게 잠긴다는 것을 입증한다.
• 대칭적 레바스 로바스 국소 렘마를 적용하여 $k > \log \Delta \log \log \Delta$ 이고 $Δ \to \infty$일 때 $L_k(G)$에 대한 새로운 渐近 하한을 유도하며, $L_k(G) \geq \frac{k|V(G)|}{\Delta}(1+o(1))$임을 보인다.
• 체르노프 불등식을 사용한 랜덤 샘플링을 통해 무작위로 선택된 정점 집합이 $k$-제한된 포장이 되는 확률을 추정하며, 독립 조건과 尾확률 불등식을 통합한다.
• 정규 그래프에서 $k$-제한된 포장과 $(\Delta+1-k)$-튜플 독립 집합 간의 이중성을 활용하여 결과를 독립 이론으로 이전한다.
• 사영 기하학에서 점과 직선으로 구성된 그래프 $G_{q,k}$에서의 $k$-제한된 포장의 극한 경우를 분석하여 $L_k(G_{q,k}) = k$이며, $|V(G_{q,k})| \sim \frac{q^{k+1}}{q-1}$, $\Delta(G_{q,k}) \sim \frac{q^k}{q-1}$임을 보이며, 이로부터 $L_k(G_{q,k}) \sim \frac{k|V(G_{q,k})|}{\Delta(G_{q,k})^{1+1/k}}$를 도출한다.

실험 결과

연구 질문

• RQ1 삼차 그래프에서 $L_2(G)$에 대한 최상의 하한은 무엇이며, 이는 날카로운가?
• RQ2 고정된 $k$와 $Δ(G) \to \infty$일 때 기존의 $L_k(G)$ 渐近 하한은 얼마나 날카로운가?
• RQ3 $k$와 $Δ(G)$가 모두 무한으로 갈 때 $L_k(G)$에 대한 개선된 渐近 하한을 확립할 수 있는가?
• RQ4 정규 그래프에서 $k$-제한된 포장과 $\ell$-튜플 독립 집합 간의 관계는 무엇인가?
• RQ5 기존의 $L_k(G)$ 하한은 渐近적으로 최적인가? 만약 그렇다면 상수 인자까지 얼마나 날카로운가?

주요 결과

• 모든 삼차 그래프 $G$에 대해 $L_2(G) \geq |V(G)|/3$이며, 이 하한은 명시적인 구성에 의해 최상임이 입증된다.
• 가가린과 즈베로비치가 제시한 하한 $L_k(G) \geq n \frac{k}{(k+1)\sqrt[k]{\binom{\Delta}{k}(\Delta+1)}}$는 $k$가 고정되고 $Δ \to \infty$일 때 渐近적으로 상수 인자까지 날카롭게 잠긴다. 이는 극한 그래프의 무한 가족을 구성함으로써 입증된다.
• $k > \log \Delta \log \log \Delta$ 이면, 레바스 로바스 국소 렘마를 통해 최대 차수 $Δ$를 갖는 그래프에 대해 $L_k(G) \geq \frac{k|V(G)|}{\Delta}(1+o(1))$의 渐近적으로 최적의 하한을 도출할 수 있으며, 이는 하위항까지 날카롭게 잠긴다.
• $\Delta$-정규 그래프에서 $L_k(G) \geq \frac{k|V(G)|}{\Delta}(1+o(1))$의 하한은 이중성과 알려진 상한 $L_k(G) \leq \frac{k|V(G)|}{\delta(G)+1}$에 의해 渐近적으로 최상임이 확인된다.
• 사영 기하학에서 유도된 그래프 $G_{q,k}$에서 $L_k(G_{q,k}) = k$이며, $|V(G_{q,k})| \sim \frac{q^{k+1}}{q-1}$, $\Delta(G_{q,k}) \sim \frac{q^k}{q-1}$이므로 $L_k(G_{q,k}) \sim \frac{k|V(G_{q,k})|}{\Delta(G_{q,k})^{1+1/k}}$를 도출하며, 이는 $L_k(G) \geq \frac{k|V(G)|}{\Delta^{1+1/k}}$의 하한이 상수 인자까지 날카롭다는 것을 보여준다.
• 논문은 갈란트 등이 제시한 삼차 그래프에서 $L_2(G)$에 대한 $1/4$ 하한의 날카움을 해결하며, 이를 최적의 $1/3$ 하한으로 대체한다. 또한 이중성에 기반해 삼차 그래프에서 2-튜플 독립 집합에 대한 새로운 상한을 제시한다.