[논문 리뷰] Tight Bounds on Adjacency Labels for Monotone Graph Classes

Édouard Bonnet, Julien Duron외 3명|arXiv (Cornell University)|2023. 10. 31.

Advanced Graph Theory Research참고 문헌 26인용 수 1

한 줄 요약

이 논문은 성장률이 2^O(nf(n))인 단조성 그래프 계열에 대해 인접 레이블링 체계의 날카운 경계를 확립하며, f(n)이 특정 조건을 만족할 경우 이러한 계열이 크기 Θ(f(n) log n)의 레이블링 체계를 가짐을 증명한다. 주요 결과는 초대수적 성장률을 가진 단조성 계열에 대해 암묵적 그래프 추측을 부정으로 해결하지만, 유계 비율의 단조성 소계열에 대해서는 이를 확인한다.

ABSTRACT

A class of graphs admits an adjacency labeling scheme of size $b(n)$, if the vertices in each of its $n$-vertex graphs can be assigned binary strings (called labels) of length $b(n)$ so that the adjacency of two vertices can be determined solely from their labels. We give tight bounds on the size of adjacency labels for every family of monotone (i.e., subgraph-closed) classes with a well-behaved growth function between $2^{O(n \log n)}$ and $2^{O(n^{2-δ})}$ for any $δ> 0$. Specifically, we show that for any function $f: \mathbb N o \mathbb R$ satisfying $\log n \leqslant f(n) \leqslant n^{1-δ}$ for any fixed $δ> 0$, and some~sub-multiplicativity condition, there are monotone graph classes with growth $2^{O(nf(n))}$ that do not admit adjacency labels of size at most $f(n) \log n$. On the other hand, any such class does admit adjacency labels of size $O(f(n)\log n)$. Surprisingly this tight bound is a $Θ(\log n)$ factor away from the information-theoretic bound of $Ω(f(n))$. The special case when $f = \log$ implies that the recently-refuted Implicit Graph Conjecture [Hatami and Hatami, FOCS 2022] also fails within monotone classes. We further show that the Implicit Graph Conjecture holds for all monotone \emph{small} classes. In other words, any monotone class with growth rate at most $n!\,c^n$ for some constant $c>0$, admits adjacency labels of information-theoretic order optimal size. In fact, we show a more general result that is of independent interest: any monotone small class of graphs has bounded degeneracy.We conjecture that the Implicit Graph Conjecture holds for all hereditary small classes.

연구 동기 및 목표

• 성장률이 제곱 이하 성장률을 가진 단조성 그래프 계열에 대해 인접 레이블링 체계의 최적 크기를 결정하기.
• 암묵적 그래프 추측이 단조성 그래프 계열 내에서 성립하는지 조사하기.
• 정보 이론적으로 최적의 레이블링 체계를 허용하는 계열과 그렇지 않은 계열 사이의 경계를 규명하기.
• 성장률, 비율성, 레이블링 체계 효율성 간의 연결 고리를 단조성 그래프 가족 내에서 설정하기.

제안 방법

• 확률적 방법을 사용하여 성장률이 2^O(nf(n))인 단조성 그래프 계열을 구성하고, 크기 2^f(n)log n인 보편 그래프가 존재하지 않음을 증명한다.
• 극한 조합론을 적용하여 보편 그래프의 n-정점 유도 부분그래프 수를 근사하고, (cf)-좋은 그래프의 수와 비교한다.
• 가능한 레이블 집합과 그래프 집합의 수에 대한 로그 경계 기반의 수세기적 추론을 통해 레이블 크기가 너무 작을 경우 모순을 이끌어낸다.
• 비율성을 구조적 성질로 활용: 성장률이 2^O(nf(n))인 단조성 계열은 O(f(n))-비율성을 가지며, 이는 효율적인 레이블링을 가능하게 한다.
• 인접 레이블링 체계와 보편 그래프 간의 등가성을 활용하여 레이블 크기 경계를 보편 그래프 크기 제약 조건으로 변환한다.
• f(n)에 대한 하위곱셈성 및 성장 함수 제약 조건을 적용하여 날카운 점근적 경계를 확보한다.

실험 결과

연구 질문

• RQ1 성장률이 2^O(nf(n))인 모든 단조성 그래프 계열이 크기 O(f(n) log n)의 인접 레이블링 체계를 갖는가?
• RQ2 암묵적 그래프 추측은 성장률이 제곱 이하 성장률을 가진 단조성 그래프 계열로 확장될 수 있는가?
• RQ3 단조성 그래프 계열에서 최적의 인접 레이블링 체계가 존재하는 정확한 임계값은 무엇인가?
• RQ4 비율성은 단조성 그래프 가족 내에서 성장률과 레이블링 효율성 간에 어떤 관계를 맺는가?
• RQ5 유계 비율성과 같은 구조적 성질이 최적의 레이블링 체계를 허용하는 단조성 계열을 특징짓는가?

주요 결과

• log n ≤ f(n) ≤ n^{1−δ} (δ > 0)를 만족하고 비감소 함수인 f(n)에 대해, 성장률이 2^O(nf(n))인 단조성 그래프 계열은 크기 O(f(n) log n)의 인접 레이블링 체계를 가진다.
• 동일한 계열은 크기 ≤ f(n) log n의 레이블링 체계를 갖지 않으며, 이는 O(f(n) log n)이 상수 인자까지 날카로운 경계임을 증명한다.
• 이 경계는 정보 이론적 하한선 Ω(f(n))으로부터 Θ(log n) 떨어져 있어 압축 가능성에 근본적인 격차가 있음을 보여준다.
• 성장률이 최대 n! c^n (상수 c > 0)인 단조성 계열은 유계 비율성을 가지며, 따라서 정보 이론적으로 최적의 레이블링 체계를 갖는다.
• 2^O(n log n)과 2^O(n^{2−δ}) 사이의 성장률을 가진 단조성 계열에 대해 암묵적 그래프 추측이 실패함을 명시적 구성으로 보여준다.
• 논문은 암묵적 그래프 추측이 모든 유계 소계열에 대해 성립한다고 추측하며, 결과를 더 넓은 그래프 계열로 확장한다.