[논문 리뷰] Graph structure via local occupancy

Ewan Davies, Ross J. Kang외 2명|arXiv (Cornell University)|2020. 03. 31.

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

한 줄 요약

이 논문은 삼각형이 없는 그래프를 초월하여 국소적 에지 밀도, 홀 비율, 클리크 수가 유계인 그래프 클래스로 확장되는, 하드코어 모델 기반의 국소적 점유도를 통한 통합 프레임워크를 제안한다. 확률적 방법과 로바슈의 국소 렘마를 활용하여 독립 수, 색칠 수, 리스트/대응 색칠에 대한 향상된 경계를 도출하며, 셰이어의 결과를 일반화하고 강화한다.

ABSTRACT

The first author together with Jenssen, Perkins and Roberts (2017) recently showed how local properties of the hard-core model on triangle-free graphs guarantee the existence of large independent sets, of size matching the best-known asymptotics due to Shearer (1983). The present work strengthens this in two ways: first, by guaranteeing stronger graph structure in terms of colourings through applications of the Lov\\'asz local lemma; and second, by extending beyond triangle-free graphs in terms of local sparsity, treating for example graphs of bounded local edge density, of bounded local Hall ratio, and of bounded clique number. This generalises and improves upon much other earlier work, including that of Shearer (1995), Alon (1996) and Alon, Krivelevich and Sudakov (1999), and more recent results of Molloy (2019), Bernshteyn (2019) and Achlioptas, Iliopoulos and Sinclair (2019). Our results derive from a common framework built around the hard-core model. It pivots on a property we call local occupancy, giving a clean separation between the methods for deriving graph structure with probabilistic information and verifying the requisite probabilistic information itself.

연구 동기 및 목표

• 삼각형이 없는 그래프에 대한 셰이어의 독립 수 경계를 국소적 희박성 조건을 갖는 더 넓은 그래프 클래스로 일반화한다.
• 공통된 확률적 프레임워크를 사용하여 기존의 색칠 수, 분수 색칠 수, 리스트 색칠에 대한 결과들을 통합하고 강화한다.
• 국소 최대 평균 차수, 국소 홀 비율, 클리크 수가 유계인 그래프에 대해 하드코어 모델과 국소 점유도의 적용 가능성을 확장한다.
• 구조적 성질 유도와 로바슈의 국소 렘마를 통한 확률적 조건 검증 간의 명확한 분리를 제공한다.
• 알고리즘적 함의와 연속 기하 모델(특히 하드스피어 모델)과의 유사성 탐구를 통해 희박한 그래프에서의 샘플링과 색칠에 대해 고려한다.

제안 방법

• 하드코어 모델에서의 '국소 점유도' 개념을 중심으로 한 프레임워크를 개발하여 독립 집합과 색칠을 분석한다.
• 로바슈의 국소 렘마를 적용하여 독립 집합의 국소 확률적 성질에서 전반적인 그래프 구조를 도출한다.
• 라멘트 W-함수와 엔트로피 분석을 사용하여 다양한 국소 희박성 제약 조건 하에서 점유도 분수의 경계를 설정한다.
• 국소 최대 평균 차수가 유계인 그래프에 대한 일반 정리를 도입하여 삼각형이 없는 그래프를 초월한 결과를 확장한다.
• 국소 홀 비율이 유계인 그래프와 클리크 수가 유계인 그래프에 프레임워크를 적용하여 점유도 분수와 분수 색칠에 대한 새로운 경계를 증명한다.
• 하드코어 모델의 점유도 분수와 색칠 수 사이의 연결 고리를 대응 색칠 및 리스트 색칠 모델을 통해 설정한다.

실험 결과

연구 질문

• RQ1 하드코어 모델의 국소 점유도 성질을 활용하여 삼각형이 없는 그래프를 초월한 그래프의 색칠 수 경계를 더 강력하게 도출할 수 있는가?
• RQ2 이 프레임워크는 국소 에지 밀도, 국소 홀 비율, 또는 클리크 수가 유계인 그래프를 어느 정도 다룰 수 있는가?
• RQ3 희박한 그래프의 국소 리스트 또는 대응 색칠에 필요한 최소 리스트 크기는 무엇이며, 기존 경계와 비교해보면 어떻게 되는가?
• RQ4 이 프레임워크는 하드스피어 모델과 같은 연속 기하 모델로 확장될 수 있는가?
• RQ5 이 프레임워크는 하드코어 분포에서의 샘플링이나 유도된 조건 하에서 희박한 그래프의 색칠을 위한 효율적인 랜덤 알고리즘이나 존재하는가?

주요 결과

• 이 프레임워크는 국소 최대 평균 차수가 유계인 그래프에 대해 독립 수가 α(G) ≥ (1−o(1))|V(G)| log Δ / Δ 를 만족함을 증명하며, 이는 셰이어의 경계와 渐近적으로 일치한다.
• 삼각형이 없는 그래프의 경우 색칠 수는 χ(G) ≤ (1+o(1))Δ / log Δ 로 경계지며, 몰로이의 결과를 확인하고 확장한다.
• 동일한 조건 하에서 분수 색칠 수는 χ_f(G) ≤ (1+o(1))Δ / log Δ 로 경계지며, 리스트 크기의 추가 가정이 필요하지 않다.
• 국소 홀 비율이 유계인 그래프에 대해 프레임워크는 점유도 분수와 분수 색칠에 대해 향상된 경계를 도출하며, 알론 등이 이전에 얻은 결과를 일반화한다.
• 이 방법은 국소 리스트 색칠과 대응 색칠을 통합적으로 다루는 접근법을 제공하며, 리스트 크기 Δ / log Δ 가 충분함을 보여, 희박한 그래프에서의 색칠 가능성을 보장한다.
• 함께 제공된 알고리즘적 연구에서는 짧은 사이클이 적은 그래프에 대해, 약간의 리스트 크기 조건 하에서 랜덤화된 다항식 시간 알고리즘이 리스트 색칠에 존재함을 보여준다.