[논문 리뷰] Random Graphons and a Weak Positivstellensatz for Graphs

László Lovász, Balázs Szegedy|ArXiv.org|2009. 02. 08.

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

한 줄 요약

이 논문은 부분적으로 레이블이 붙은 그래프 대수에서 제곱합의 합으로 근사될 수 있음을 보여줌으로써, 모든 그래프에 대해 점점 커지는 방식으로 성립하는 동형사상 조밀도 사이의 선형 부등식에 대해 약한 포지티빌스텔렌사츠를 확립한다. 그래프 극한 구조의 느슨한 형태—예를 들어, 카운터블 그래프 위의 에르고딕 측도와 곱셈적이지 않으며 고립점에 대해 민감하지 않은 그래프 매개변수—를 도입하여 그 상호 등가성을 증명하고, 코시-슈바르츠 유사 항등식을 사용한 점근적 부등식에 대한 형식적 증명 체계를 가능하게 한다.

ABSTRACT

In an earlier paper the authors proved that limits of convergent graph sequences can be described by various structures, including certain 2-variable real functions called graphons, random graph models satisfying certain consistency conditions, and normalized, multiplicative and reflection positive graph parameters. In this paper we show that each of these structures has a related, relaxed version, which are also equivalent. Using this, we describe a further structure equivalent to graph limits, namely probability measures on countable graphs that are ergodic with respect to the group of permutations of the nodes. As an application, we prove an analogue of the Positivstellensatz for graphs: We show that every linear inequality between subgraph densities that holds asymptotically for all graphs has a formal proof in the following sense: it can be approximated arbitrarily well by another valid inequality that is a "sum of squares" in the algebra of partially labeled graphs.

연구 동기 및 목표

• 그래프 극한 이론을 확장하기 위해 그래프론, 랜덤 그래프 모델, 그래프 매개변수의 느슨한 구조적 등가체를 도입하기 위해.
• 이러한 느슨한 구조들 간의 등가성을 입증하기 위해, 특히 순열 불변성 하에 카운터블 그래프 위의 에르고딕 확률 측도를 포함하여.
• 부분적으로 레이블이 붙은 그래프 대수에서 제곱합을 사용하여 부분 그래프 조밀도 사이의 점근적 선형 부등식에 대한 형식적 증명 체계를 제공하기 위해.
• 맨틀-투라니의 부등식과 같은 극한 그래프 이론의 부등식들이 극한에서 코시-슈바르츠 유사 항등식을 통해 유도될 수 있음을 확인하기 위해.

제안 방법

• 고립된 노드 제거에 대한 불변성으로 곱셈성을 대체함으로써 그래프 매개변수의 느슨한 형태를 도입하기 위해.
• 국소성 조건이 없는 새로운 유형의 랜덤 그래프 모델을 정의하여, 그래프론 위의 분포를 허용하기 위해.
• 부분적으로 레이블이 붙은 그래프 대수(양자 그래프)를 사용하여 부등식을 형식화하고 제곱합을 정의하기 위해.
• 행렬 공간에서의 쌍대성과 극한 추론을 적용하여, 비음수 그래프 매개변수가 제곱합의 극한임을 보여주기 위해.
• 컷 거리 위상에서의 쌍대성과 극한 추론을 통해, 카운터블 그래프 위의 에르고딕 측도와 느슨한 그래프 극한 객체 간의 등가성을 확립하기 위해.
• 컷 노름과 컷 거리를 사용하여 그래프론과 그 느슨한 형태에서의 수렴성과 컴acts성 정의하기 위해.

실험 결과

연구 질문

• RQ1 그래프 매개변수의 곱셈성 조건을 유지하면서도 그래프 극한 구조와의 등가성을 유지할 수 있도록 느슨하게 조정할 수 있는가?
• RQ2 특히 순열 불변성 하에 카운터블 그래프 위의 에르고딕 측도와 같은 자연스러운 확률적 구조가 그래프 극한을 특징짓는가?
• RQ3 모든 점근적 선형 부등식이 부분 레이블이 붙은 그래프 대수에서 제곱합으로 공식적으로 도출될 수 있는가?
• RQ4 코시-슈바르츠 유사 항등식은 극한 그래프 이론에서의 타당한 점근적 부등식을 얼마나 잘 포괄하는가?
• RQ5 느슨한 그래프 극한 객체(예: 그래프론 위의 분포)는 고전적 그래프론과 랜덤 그래프 모델과 어떻게 관련이 있는가?

주요 결과

• 모든 그래프에 대해 점점 커지는 방식으로 성립하는 동형사상 조밀도 사이의 선형 부등식은 부분적으로 레이블이 붙은 그래프 대수에서 제곱합으로 임의로 잘 근사될 수 있다.
• 유효한 동형사상 조밀도 간 선형 부등식의 콘의 부분공간에서 제곱합의 공간은 조밀하며, 이는 그래프에 대한 약한 포지티빌스텔렌사츠를 확립한다.
• 카운터블 그래프 위의 에르고딕 확률 측도는 그래프론 위의 분포와 고립점에 민감하지 않은 그래프 매개변수를 포함한 느슨한 그래프 극한 구조와 등가이다.
• 쌍대성과 행렬 공간에서의 극한 추론을 통해 느슨한 그래프 극한 객체(예: 국소성이 없는 랜덤 그래프 모델, 곱셈적이지 않은 매개변수) 간의 등가성이 확립된다.
• 비음수이자 고립점에 민감하지 않으며 평탄하게 반사 정규성을 갖는 매개변수의 쌍대 콘은 제곱합에 의해 생성되며, 이는 형식적 증명 체계의 정당성을 확인한다.
• 컷 노름 위상은 그래프론 공간의 컴팩턴스를 보장하여, 주요 결과에 필수적인 수렴성과 극한 분석을 가능하게 한다.