[논문 리뷰] Benjamini--Schramm continuity of root moments of graph polynomials

Péter Csíkvári, Péter E. Frenkel|arXiv (Cornell University)|2012. 04. 02.

Advanced Combinatorial Mathematics참고 문헌 13인용 수 5

한 줄 요약

이 논문은 크기 제한된 지수형 타입을 가진 그래프 다항식의 넓은 범주에 대해 루트 모멘트의 Benjamini–Schramm 연속성을 확립한다 — 특히 곱셈형 그래프 다항식의 경우로서, 이는 이전의 색칠 다항식에 대한 결과를 일반화한다. Benjamini–Schramm 수렴하는 그래프 수열에 대해, 루트 측도의 해석적 모멘트가 수렴함을 증명하며, Abért와 Hubai의 작업을 확장하고, 색칠 다항식의 경우조차도 더 단순한 증명을 제공한다.

ABSTRACT

Recently, M.\ Abért and T.\ Hubai studied the following problem. The chromatic measure of a finite simple graph is defined to be the uniform distribution on its chromatic roots. Abért and Hubai proved that for a Benjamini-Schramm convergent sequence of finite graphs, the chromatic measures converge in holomorphic moments. They also showed that the normalized log of the chromatic polynomial converges to a harmonic real function outside a bounded disc. In this paper we generalize their work to a wide class of graph polynomials, namely, multiplicative graph polynomials of bounded exponential type. A special case of our results is that for any fixed complex number $v_0$ the measures arising from the Tutte polynomial $Z_{G_n}(z,v_0)$ converge in holomorphic moments if the sequence $(G_n)$ of finite graphs is Benjamini--Schramm convergent. This answers a question of Abért and Hubai in the affirmative. Even in the original case of the chromatic polynomial, our proof is considerably simpler.

연구 동기 및 목표

• Benjamini–Schramm 수렴 하에서 색칠 측도 수렴에 대한 Abért와 Hubai의 결과를 더 넓은 범위의 그래프 다항식으로 확장한다.
• 크기 제한된 지수형 타입의 그래프 다항식에 대해 근의 균일한 바운드를 확립하여, 색칠 다항식에 대한 Sokal의 바운드를 일반화한다.
• 그래프 다항식이 곱셈형이고 크기 제한된 지수형 타입일 경우, Benjamini–Schramm 수렴하는 유한 그래프 수열에 대해 루트 측도의 해석적 모멘트가 수렴함을 증명한다.
• 이전의 작업에 비해 증명 기법을 단순화하여, 특히 색칠 다항식의 경우에 대해 더 간결한 증명을 제공한다.
• 2-곱셈성 조건 하에서, 루트의 거듭제곱 합 모멘트를 2-연결 부분그래프의 형태로 명시적인 공식으로 표현한다.

제안 방법

• 서브그래프 계수에 대한 유계 함수 R(Δ)를 통해 정의된 크기 제한된 지수형 타입의 그래프 다항식 클래스를 도입한다.
• 일반화된 Sokal 유형의 바운드를 증명한다: 이러한 다항식의 근은 cR(Δ) 이하로 균일하게 유계이며, c < 7.04 이다.
• 지수형 타입 성질을 활용해 다항식을 서브그래프 위의 생성함수로 표현함으로써 재귀적 분해를 가능하게 한다.
• Benjamini–Schramm 수렴을 적용하여 랜덤 정점 이웃의 국소 통계가 안정화됨을 보이고, 이로써 근의 분포를 제어한다.
• 2-곱셈성과 동형 불변성을 활용해 루트의 거듭제곱 합 모멘트를 서브그래프 호모모르피 밀도의 선형 조합으로 표현한다.
• 제어된 연결성 조건을 가진 그래프 위에서의 조합적 분해를 통해 거듭제곱 합 전개의 계수에 대한 명시적 공식을 유도한다.

실험 결과

연구 질문

• RQ1 Benjamini–Schramm 수렴 하에서 색칠 측도의 수렴성은 색칠 다항식 이외의 다른 그래프 다항식으로도 확장 가능한가?
• RQ2 색칠 다항식 이외의 광범위한 그래프 다항식 클래스에 대해 균일한 근 바운드를 확립할 수 있는가?
• RQ3 어떤 조건 하에서 Benjamini–Schramm 수렴하는 그래프 수열에 대해 루트 측도의 수렴이 해석적 모멘트에서 성립하는가?
• RQ4 색칠 다항식에 대한 증명 기법을 더 넓은 범위의 곱셈형 그래프 다항식으로 단순화하고 일반화할 수 있는가?
• RQ5 지수형 타입의 그래프 다항식에 대해, 루트의 거듭제곱 합 모멘트의 대수적 구조는 서브그래프 밀도로 어떻게 기술되는가?

주요 결과

• 크기 제한된 지수형 타입의 그래프 다항식과 유계 함수 R을 가진 모든 다항식에 대해, 모든 근의 절댓값은 cR(Δ) 이하이며, 여기서 c < 7.04 이다.
• 그래프 다항식이 곱셈형이고 크기 제한된 지수형 타입일 경우, 임의의 Benjamini–Schramm 수렴하는 유한 그래프 수열에 대해 루트 측도의 해석적 모멘트가 수렴한다.
• 이 결과는 Abért와 Hubai가 Tutte 다항식 Z_G(z, v₀)의 고정된 v₀에서 루트 측도의 수렴성에 대해 제기한 질문에 대해 긍정적인 답변을 제공한다.
• 색칠 다항식의 경우, 원래 Abért와 Hubai의 증명보다 훨씬 단순한 증명이 가능하다.
• 2-곱셈성 조건 하에서, k차 거듭제곱 합의 루트는 크기가 최대 k+1인 2-연결 부분그래프의 형태로 명시적인 공식이 유도된다.
• Tutte 다항식 Z_G(q,v)의 경우, 거듭제곱 합 전개의 계수는 특정한 간선 및 정점 제약 조건을 가진 부분그래프로의 분해에 대한 부호가 있는 합으로 주어지며, 이는 v^{|E(H_j)|}를 포함한다.