[논문 리뷰] On the growth rate of minor-closed classes of graphs

Olivier Bernardi, Marc Noy외 1명|ArXiv.org|2007. 10. 16.

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

한 줄 요약

이 논문은 레이블이 부여된 그래프의 미니처-폐쇄 클래스의 성장률을 조사하며, 이러한 클래스의 성장률은 매우 제약이 있음을 밝혀낸다: 0에서 1 사이 또는 1에서 약 1.76 사이의 상수를 가진 팩토리얼 성장률을 보이는 어떤 미니처-폐쇄 클래스도 존재하지 않는다. 저자들은 특정 그래프 가족의 포함 여부를 기반으로 성장률을 팩토리얼, 거의-팩토리얼, 반-팩토리얼, 지수, 다항, 상수의 여섯 가지 범주로 분류하고, 가능한 성장 상수의 집합이 간극과 집적점이 있음을 증명하며, 이는 그래프 클래스의 웰-쿼지-오더링과 부드러움에 대한 함의를 가진다.

ABSTRACT

A minor-closed class of graphs is a set of labelled graphs which is closed under isomorphism and under taking minors. For a minor-closed class $C$, we let $c_n$ be the number of graphs in $C$ which have $n$ vertices. A recent result of Norine et al. shows that for all minor-closed class $C$, there is a constant $r$ such that $c_n < r^n n!$. Our main results show that the growth rate of $c_n$ is far from arbitrary. For example, no minor-closed class $C$ has $c_n= r^{n+o(n)} n!$ with $0 < r < 1$ or $1 < r < ξ\approx 1.76$.

연구 동기 및 목표

• 레이블이 부여된 그래프의 미니처-폐쇄 클래스의 가능한 성장률을 분류하고, 이전의 유전적 클래스에 대한 연구를 확장한다.
• 특정 성장률 범주(예: 팩토리얼, 지수)가 어떤 구조적 조건 하에서 달성 가능한지, 특히 배제된 미니처의 조건을 규명한다.
• 미니처-폐쇄 그래프 클래스의 가능한 성장 상수 집합 내에 간극이 존재하는지, 그리고 그 성격을 조사한다.
• 웰-쿼지-오더링이 미니처-폐쇄 클래스의 성장 상수에 대한 무한 감소 수열의 존재에 어떤 함의를 갖는지 탐구한다.
• 미니처-폐쇄 클래스가 잘 정의된 성장 상수를 가지는 조건과, 이러한 클래스가 부드러운지(즉, g_n / (n g_{n-1})의 비율이 수렴하는지)를 검토한다.

제안 방법

• 저자들은 특정 그래프 가족(예: 경로, 별림, 매칭, 별)의 포함 여부를 성장률의 구조적 기준으로 삼아, 미니처-폐쇄 그래프 클래스를 분류한다.
• 지수적 생성함수와 특이점 분석을 사용하여 渐近적 성장 추정치를 도출하며, 특히 생성함수의 수렴 반경에 중점을 둔다.
• 증명은 그래프 미니처 이론의 기존 결과에 기반하며, 특히 유한한 배제된 미니처 특성화와 웰-쿼지-오더링 추측을 포함한다.
• 특히 루트가 있는 트리와 그 변형의 경우, 생성함수의 수렴 반경의 역수를 통해 성장 상수를 분석한다.
• 수렴하는 성장 상수를 가지는 그래프 클래스의 수열을 구성하고, 볼록성과 계수 비교를 통해 한계를 유계화한다.
• 무한 감소 수열의 존재가 미니처-폐쇄 클래스에 대한 웰-쿼지-오더링 추측과 관련이 있음을 규명한다.

실험 결과

연구 질문

• RQ1 모든 미니처-폐쇄 그래프 클래스에 대해 성장 상수가 잘 정의되어 있는가? 즉, (g_n / n!)^{1/n}의 극한이 존재하는가?
• RQ2 가능한 성장 상수 집합 내에 간극이 존재하는가? 만약 존재한다면, 어떤 구간이 제외되는가?
• RQ3 ξ ≈ 1.76일 때, 구간 (ξ, 2)는 성장 상수 집합의 간극인가?
• RQ4 2의 거듭제곱 이외의 대수적 수가 미니처-폐쇄 그래프 클래스의 성장 상수로 존재할 수 있는가?
• RQ5 어떤 조건에서 미니처-폐쇄 클래스가 부드럽다고 할 수 있는가? 즉, g_n / (n g_{n-1})의 비율이 수렴하는가?

주요 결과

• 0 < c < 1 또는 1 < c < ξ ≈ 1.76를 만족하는 성장 상수 c를 가진 팩토리얼 성장률을 보이는 어떤 미니처-폐쇄 클래스도 존재하지 않으며, 이는 성장 상수 스펙트럼에 두 개의 간극이 있음을 입증한다.
• 성장 상수 집합은 집적점이 있으며, 알려진 최소한의 집적점은 ν ≈ 2.24이며, 이는 z exp(z/(1−z)) = 1의 양의 최소 근의 역수이다.
• 각 음이 아닌 정수 k에 대해 2^k는 성장 상수이며, 이러한 값들 외에 알려진 대수적 수로 성장 상수인 것은 없다.
• 미니처-폐쇄 클래스의 성장률은 경로 숲, 별림, 매칭, 별, 단일 간선 그래프, 또는 자명한 그래프의 포함 여부에 따라 여섯 가지 범주로 완전히 분류된다.
• 만약 미니처-폐쇄 클래스에 대한 웰-쿼지-오더링 추측이 참이라면, 성장 상수의 무한 감소 수열은 존재할 수 없으며, 이는 알려진 간격 외에도 간극이 존재해야 한다는 함의를 가진다.
• 미니처-폐쇄 클래스의 성장 상수는 그 지수적 생성함수의 수렴 반경의 역수와 같으며, 이 상수는 배제된 미니처가 2-연결일 경우 잘 정의된다.