[논문 리뷰] The domination number of the graph defined by two levels of the $n$-cube, II

József Balogh, Gyula O. H. Katona외 2명|arXiv (Cornell University)|2019. 10. 23.

Limits and Structures in Graph Theory인용 수 4

한 줄 요약

이 논문은 $n$-큐브의 $k$-번째 및 2번째 수준으로 구성된 이분 그래프의 渐近적 지배 수에 대한 추측을 증명하며, 고정된 $k \geq 3$에 대해 $n \to \infty$일 때 $\gamma(G_{k,2}) = \frac{k+3}{2(k-1)(k+1)}n^2 + o(n^2)$임을 확립한다. 증명은 Frankl-R"odl 초그래프 정규성과 그래프 제거 보조정리를 사용하여 날카로운 상한과 하한을 확립하며, 극단적 조합론에서 오랫동안 미해결이었던 문제를 해결한다.

ABSTRACT

Consider all $k$-element subsets and $\\ell$-element subsets $(k>\\ell )$ of an $n$-element set as vertices of a bipartite graph. Two vertices are adjacent if the corresponding $\\ell$-element set is a subset of the corresponding $k$-element set. Let $G_{k,\\ell}$ denote this graph. The domination number of $G_{k,1}$ was exactly determined by Badakhshian, Katona and Tuza. A conjecture was also stated there on the asymptotic value ($n$ tending to infinity) of the domination number of $G_{k,2}$. Here we prove the conjecture, determining the asymptotic value of the domination number $\\gamma (G_{k,2})={k+3\\over 2(k-1)(k+1)}n^2+o(n^2)$.

연구 동기 및 목표

• 이분 그래프 $G_{k,2}$의 지배 수 $\gamma(G_{k,2})$의 渐近적 행동에 대한 추측을 해결하기 위해.
• 고정된 $k \geq 3$에 대해 $n \to \infty$일 때 $\gamma(G_{k,2})$의 날카로운 渐近적 상한과 하한을 확립하기 위해.
• 모든 $k$-집합과 $2$-집합이 지배되어야 하는 이중 측면 커버링 문제에 대한 극단적 집합 이론에서의 이해를 확장하기 위해.
• 특히 $\ell = 3$에 대해 더 높은 $\ell$에 대한 하한의 날카로움을 탐색하고, $\gamma(G_{k,\ell})$에 대한 추측을 제안하기 위해.

제안 방법

• Frankl-R"odl의 초그래프 정규성 정리로, 추측된 渐近 공식과 일치하는 크기의 지배 집합을 구성한다.
• 그래프 제거 보조정리를 적용하여, 초그래프 내의 쌍의 밀도와 그 차수를 분석함으로써 $\gamma(G_{k,2})$에 대한 하한을 유도한다.
• 분할 전략을 활용: $[n]$을 $k-1$개의 동일한 부분 $A_1, \dots, A_{k-1}$으로 나누고, 각 부분 내의 쌍들로 이루어진 집합 $E$를 정의하며, $F = \binom{[n]}{2} \setminus E$를 $k$-집합을 구성하기 위한 도메인으로 사용한다.
• $A_i$ 각각과 적어도 한 원소를 공유하는 (한 개의 예외를 제외하고) $k$-집합의 가족 $\mathcal{K}$를 구성하고, $A$의 서로 다른 $A_i$들 사이의 쌍들로 이루어진 집합 $H(A)$를 정의하여 모든 $k$-집합이 커버됨을 보장한다.
• 정리 2.1의 차수 조건과 이중 차수 조건을 사용하여, 구성된 초그래프가 $[N]$을 $\sim N/m$개의 집합으로 커버하는 데 필요한 조건을 만족함을 검증한다.
• 하한에 대해 두 가지 서로 다른 증명을 제공하며, 하나는 더 구체적이고 통찰력 있는 것으로, 모두 그래프 제거 보조정리를 기반으로 하여 더 작은 지배 집합이 渐近적으로 존재할 수 없음을 보여준다.

실험 결과

연구 질문

• RQ1 고정된 $k \geq 3$에 대해 $n \to \infty$일 때 $\gamma(G_{k,2})$의 渐近적 값은 무엇인가?
• RQ2 Badakhshian, Katona, 및 Tuza의 $\gamma(G_{k,2})$의 渐近적 행동에 대한 추측이 올바른가?
• RQ3 그래프 제거 보조정리는 이분 그래프 $G_{k,2}$의 지배 수에 대해 날카로운 하한을 유도하는 데 효과적으로 적용될 수 있는가?
• RQ4 $n$-큐브 내의 $k$-집합과 $2$-집합의 구조적 성질은 최소 지배 집합의 크기에 어떻게 영향을 주는가?
• RQ5 유사한 방법은 $\ell > 2$에 대해, 특히 $\ell = 3$에 대해 $\gamma(G_{k,\ell})$를 결정하는 데로 확장될 수 있는가?

주요 결과

• 논문은 고정된 $k \geq 3$에 대해 $n \to \infty$일 때 $\gamma(G_{k,2}) = \frac{k+3}{2(k-1)(k+1)}n^2 + o(n^2)$임을 증명하며, 이는 이전 연구에서 제기된 추측을 확인한다.
• 상한은 $[n]$을 $k-1$개의 동일한 부분으로 나누고 초그래프 정규성 정리를 사용하여 모든 $k$-집합과 $2$-집합이 커버됨을 보장하는 구성에 기반하여 확립된다.
• 하한은 그래프 제거 보조정리를 통해 도출되며, 임의의 지배 집합의 크기가 $\frac{k+3}{2(k-1)(k+1)}n^2 + o(n^2)$ 이상이어야 한다고 보여주며, 이는 상한과 정확히 일치한다.
• $k=5, \ell=3$에 대해, 논문은 $\gamma(G_{5,3}) \leq \frac{1}{3}\binom{n}{3} + o(n^3)$의 상한을 제공하며, 이는 잠재적인 渐近적 날카로움을 시사한다.
• $k=4, \ell=3$에 대해, 논문은 $\gamma(G_{4,3}) \leq \frac{17}{27}\binom{n}{3} + o(n^3)$를 확립하며, 3분할 및 차수 분석에 기반한 구성이 있다.
• 저자들은 정리 5.1의 하한이 모든 고정된 $k > \ell \geq 2$에 대해 $n \to \infty$일 때 渐近적으로 날카로울 것이라고 추측하며, 이는 $\gamma(G_{k,\ell})$에 대한 일반적인 패턴을 시사한다.