[논문 리뷰] Extremal problems in ordered graphs

Craig Weidert|ArXiv.org|2009. 07. 15.

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

한 줄 요약

이 논문은 순서가 부여된 그래프에서 극한 문제를 조사하며, 고정된 금지된 부분그래프를 피하면서 순서가 부여된 그래프가 가질 수 있는 간선 수의 최댓값을 다룬다. '요트' 그래프라고도 불리는 특정한 순서가 부여된 이분 그래프에 대해, 반복적인 밀도 증가 구성과 양호한 모자 및 간격 분할을 포함한 조합론적 추론을 사용하여 극한 함수에 대한 상한을 확립한다. 이는 패치와 토르도스가 제기한 나무에 대한 극한 함수에 관한 추측을 향한 진전을 이룬다.

ABSTRACT

In this thesis we consider ordered graphs (that is, graphs with a fixed linear ordering on their vertices). We summarize and further investigations on the number of edges an ordered graph may have while avoiding a fixed forbidden ordered graph as a subgraph. In particular, we take a step toward confirming a conjecture of Pach and Tardos regarding the number of edges allowed when the forbidden pattern is a tree by establishing an upper bound for a particular ordered graph for which existing techniques have failed. We also generalize a theorem of Geneson by establishing an upper bound on the number of edges allowed if the forbidden graphs fit a generalized notion of a matching.

연구 동기 및 목표

• 순서가 부여된 이분 그래프에 대해 $ ex_2(n,P) $ 를 다루며, 특히 '요트' 그래프 $ P $ 에 대해 날카운 bounds 가 아직 알려져 있지 않은 상황에서 이를 해결한다.
• 기존 기법들이 실패하는 패턴에 대해 순서가 부여된 그래프에서 극한 함수를 유 bounds 하는 기법을 확장한다.
• 순서가 부여된 그래프에서 $ m $-튜플 매칭 및 기타 일반화된 매칭 패턴의 극한 행동을 조사한다.
• 순서가 부여된 그래프에서 나무에 대한 극한 함수에 관한 패치와 토르도스의 추측을 확인하는 데 있어 점진적인 진전을 제공한다.
• 이 논문에서 '요트' 그래프에 사용된 방법이 연구된 그래프를 초월해 다른 고정된 순서가 부여된 그래프로 일반화될 수 있는지 탐색한다.

제안 방법

• 금지된 패턴 $ P $ 를 피하면서 간선 밀도가 점차 증가하는 순서가 부여된 이분 그래프 $ G_0, G_1, \dots, G_i $ 의 시퀀스를 만드는 반복적 구성 과정을 사용한다.
• 이 방법은 그래프 내부에서 특정 구조를 이루는 '양호한 모자'—세 개의 간선이 특정 구성으로 이루어진 삼중조합—를 식별하고, 구조적 제약 조건에 따라 세 가지 유형으로 분류하는 데 의존한다.
• 간격 분할과 차수 제약 조건을 사용하여 총 '양호한 모자'의 수를 유 bounds 하기 위한 수세기적 추론을 적용한다.
• 증명은 재귀적 밀도 증가를 사용한다: $ G_{i-1} $ 에서 $ G_i $ 로 넘어갈 때, 정점 수 $ n_i $ 는 $ \lfloor n_{i-1}/t_{i-1} \rfloor $ 으로 감소하고, 최소 차수 $ t_i $ 는 약 $ 1/(80 \log n_{i-1}) $ 의 요소로 증가한다.
• 최소 차수가 $ 24 \lceil \log n_i \rceil $ 를 초과할 때까지 구성 과정을 반복하며, 이 경우 초기 간선 수가 너무 높으면 모순이 유도된다.
• 최종 상한은 시퀀스 $ t_0, t_1, \dots, t_{i_0} $ 의 성장 분석을 통해 유도되며, 이는 $ n $ 과 로그 인자에 대한 $ ex_2(n,P) $ 의 상한으로 이어진다.

실험 결과

연구 질문

• RQ1 순서가 부여된 이분 그래프인 '요트' 그래프 $ P $ 에 대해 극한 함수 $ ex_2(n,P) $ 의 점근적 행동은 어떠한가?
• RQ2 일반화된 매칭 패턴과 간격 분해 기법을 사용하여 순서가 부여된 그래프에서 $ m $-튜플 매칭의 극한 함수를 유 bounds 할 수 있는가?
• RQ3 '요트' 그래프에 사용된 반복적 밀도 증가 방법이, 여섯 개 이상의 간선을 가진 나무를 포함한 다른 순서가 부여된 그래프에도 적용 가능한가?
• RQ4 '요트' 그래프에 대해 유도된 상한이 날카로운가? 만약 그렇다면, 이는 패치와 토르도스의 나무에 대한 극한 함수에 관한 추측에 대한 반례가 될 수 있는가?
• RQ5 간격 크로마틱 수와 정점 집합의 독립 집합으로의 분할은 순서가 부여된 그래프의 극한 행동에 어떤 영향을 미치는가?

주요 결과

• '요트' 그래프 $ P $ 의 극한 함수 $ ex_2(n,P) $ 에 대해 상한이 확립되었으며, $ ex_2(n,P) = O(n \cdot 80^{\sqrt{\log n \log \log n}}) $ 라고 나타내어, 이 패턴에 대해 이전의 상한보다 향상된 결과를 보였다.
• 이 방법은 이전 기법이 실패하는 순서가 부여된 그래프의 일부 클래스, 특히 '요트' 그래프에 대해 존재하는 기법의 한계를 극복하는 데 성공했다.
• 반복적 구성 과정은 매 단계에서 간선 밀도를 증가시키면서 금지된 패턴 $ P $ 를 유지함으로써, 초기 간선 수가 너무 높으면 모순이 발생함을 보여준다.
• 그래프 내 총 '양호한 모자'의 수는 $ 3npt $ 이하로 유 bounds 되며, 이 유 bounds 는 너무 많은 구성이 존재한다는 가정에서 모순을 도출하는 데 사용된다.
• 분석 결과, '요트' 그래프의 극한 함수는 $ n $ 의 어떤 다항식보다 느리게 증가하지만, 어떤 다중로그 함수보다는 빠르게 증가함을 확인하였다.
• 결과는 이 상한이 날카로울 가능성이 있으며, 만약 그렇다면 '요트' 그래프는 패치와 토르도스의 나무에 대한 극한 함수에 관한 추측에 대한 반례가 될 수 있음을 지지한다.