[논문 리뷰] Hat Guessing on Books and Windmills

Xiaoyu He, Yuzu Ido외 1명|arXiv (Cornell University)|2020. 10. 25.

Advanced Graph Theory Research참고 문헌 12인용 수 5

한 줄 요약

이 논문은 충분히 많은 페이지를 가진 책 그래프에 대해 헷 추측 수(HG)를 정확히 결정하여 HG(B_{d,n}) = 1 + ∑_{i=1}^d i^i임을 증명함으로써 Gadouleau의 상한이 날카로운지 확인한다. 또한 K_{3,3}의 HG는 3임을 입증하여, HG가 n+1보다 엄밀히 작은 최초로 알려진 완전이분할 그래프 K_{n,n}임을 규명하고, n ≥ log₂(2k−2)일 때 풍차 그래프 W_{k,n}의 HG를 2k−2로 계산함으로써 한 점에서 접합된 클리크들이 전체적으로 헛 추측 수를 개별 클리크의 크기보다 크게 증가시킬 수 있음을 보여준다.

ABSTRACT

The hat-guessing number is a graph invariant defined by Butler, Hajiaghayi, Kleinberg, and Leighton. We determine the hat-guessing number exactly for book graphs with sufficiently many pages, improving previously known lower bounds of He and Li and exactly matching an upper bound of Gadouleau. We prove that the hat-guessing number of $K_{3,3}$ is $3$, making this the first complete bipartite graph $K_{n,n}$ for which the hat-guessing number is known to be smaller than the upper bound of $n+1$ of Gadouleau and Georgiou. Finally, we determine the hat-guessing number of windmill graphs for most choices of parameters.

연구 동기 및 목표

• 충분히 많은 페이지를 가진 책 그래프 B_{d,n}에 대해 정확한 헛 추측 수(HG)를 결정하는 것.
• 완전이분할 그래프 K_{3,3}의 헛 추측 수를 해결하는 것. 이는 HG가 n+1보다 엄밀히 작은 최초의 K_{n,n}이다.
• 광범위한 매개변수 범위에서 풍차 그래프 W_{k,n}의 헛 추측 수를 계산하는 것.
• Gadouleau의 상한과 이전에 알려진 하한 사이의 격차를 메우기 위해 책 그래프의 정확한 헛 추측 수를 증명함으로써 상한의 날카로움을 입증하는 것.

제안 방법

• Hall의 결혼 정리(婚姻定理)를 사용하여 ℕ^d 내의 사영 문제를 해결함으로써 책 그래프에 대한 정확한 HG를 증명하는 기하학적 문제를 해결하는 것.
• 3차원 입방체 내의 분할 및 커버링 문제로 K_{3,3}의 경우를 환원하여 HG=3를 확립하는 것.
• 모듈로 산술과 차이-불일치 집합을 사용하여 풍차 그래프에서 서로소인 구성 집합을 구성함으로써 HG ≥ q를 달성하는 것.
• d^n개의 집합을 기반으로 하는 재귀적 구성법을 사용하여 특정 매개변수에서 HG(W_{d^n - d^{n-1} + 1, n}) = d^n임을 증명하는 것.
• Lemma 4.4를 적용하여 구성된 구성 집합들이 서로소임을 검증함으로써 q개의 색상에 대해 유효한 전략이 존재함을 보장하는 것.
• 공통된 정점에서 접합된 클리크의 구조를 활용하여 전역 대칭성을 이용하는 조율된 추측 전략을 설계하는 것.

실험 결과

연구 질문

• RQ1 n이 충분히 클 때 책 그래프 B_{d,n}의 정확한 헛 추측 수는 무엇인가?
• RQ2 n > 2일 때, HG(K_{n,n}) ≤ n+1라는 상한이 날카로운가? 그리고 HG(K_{3,3})의 값은 무엇인가?
• RQ3 일반적인 k와 n에 대해 풍차 그래프 W_{k,n}의 헛 추측 수는 무엇인가?
• RQ4 단일 정점에서 접합된 다수의 클리크로 구성된 그래프의 헛 추측 수는 클리크의 크기를 초월할 수 있는가?
• RQ5 평면 그래프의 헛 추측 수는 무한히 증가하는가, 아니면 Hadwiger 수의 함수로 유계인가?

주요 결과

• 충분히 큰 n에 대해 책 그래프 B_{d,n}의 헛 추측 수는 정확히 1 + ∑_{i=1}^d i^i이며, 이는 Gadouleau의 상한이 날카로운지 확인한다.
• K_{3,3}의 헛 추측 수는 정확히 3이며, 이는 HG < n+1인 최초로 알려진 완전이분할 그래프 K_{n,n}임을 의미한다.
• n ≥ log₂(2k−2)일 때 풍차 그래프 W_{k,n}의 헛 추측 수는 2k−2이며, 이는 HG가 클리크 크기의 거의 두 배로 증가할 수 있음을 보여준다.
• 특정 매개변수에서 HG(W_{d^n - d^{n-1} + 1, n}) = d^n을 달성하는 구성법이 존재함으로써, 고정된 n에 대해 k에 대해 초선형적으로 HG가 증가할 수 있음을 보여준다.
• 모든 그래프 G에 대해 HG(G) ≤ Δ+1라는 추측을 지지하는 결과이며, 책 그래프와 풍차 그래프가 극단적인 예시로 작용한다.
• 논문은 평면 그래프의 헛 추측 수가 유계가 아닐 수 있음을 뒷받침하는 증거를 제공하며, 이는 이전의 추측에 도전한다.