[논문 리뷰] The graph theoretic moment problem

László Lovász, Balázs Szegedy|arXiv (Cornell University)|2010. 10. 25.

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

한 줄 요약

이 논문은 고전적 모멘트 문제의 그래프 이론적 유사체를 소개한다. 여기서 모멘트는 정수가 아니라 그래프로 인덱싱된다. 반사 양성이고 곱셈적인 유한 질량을 가진 그래프 불변량은 무작위로 가중된 그래프로의 호모모르피즘으로부터 유도되는 것들임을 증명하며, 그래프 극한과 모멘트 수열에 관한 고전적 결과를 일반화한다.

ABSTRACT

We study an analogue of the classical moment problem in the framework where moments are indexed by graphs instead of natural numbers. We study limit objects of graph sequences where edges are labeled by elements of a topological space. Among other things we obtain strengthening and generalizations of the main results of previous papers characterizing reflection positive graph parameters, graph homomorphism numbers, and limits of simple graph sequences. We study a new class of reflection positive partition functions which generalize the node-coloring models (homomorphisms into weighted graphs).

연구 동기 및 목표

• 다중그래프로 인덱싱된 모멘트로 고전적 모멘트 문제를 그래프 기반으로 확장하는 것.
• 특히 호모모르피즘 밀도를 통해 2변수 함수의 모멘트로 나타나는 그래프 매개변수를 특성화하는 것.
• 다중그래프 및 가중 그래프의 맥락에서 반사 양성과 모멘트 수열을 일반화하는 것.
• 유한 연결 질량을 가진 그래프 불변량이 유한 가중 그래프로의 호모모르피즘과 일치하는 조건을 규명하는 것.
• 그래프 수열과 극한 대상의 맥락에서 그래프 극한, 호모모르피즘 밀도, 반사 양성에 관한 이전 결과들을 통합하고 강화하는 것.

제안 방법

• 대칭적 가측 함수 $ W: [0,1]^2 \to \mathbb{R} $에서 유도된 변량 다항식의 기대값으로 그래프 매개변수를 정의하며, 이를 다중그래프로 인덱싱한다.
• 그래프 이론적 모멘트로 호모모르피즘 밀도 $ t(F,W) = \int_{[0,1]^{V(F)}} \prod_{ij \in E(F)} W(x_i,x_j) \, dx $ 를 사용한다.
• 그래프 불변량 $ f $의 연결 질량 $ \text{rk}(M(f,n)) $ 개념을 도입하여, $ n $-정점 그래프 위에서의 모멘트 행렬의 질량을 측정한다.
• 정수형 프로그래밍과 모멘트 행렬 기법을 적용하여 연결 질량의 성장률을 분석한다.
• 치환 방법과 가중 그래프 구성 기법을 사용하여 명크 공간 $ \mathcal{P}_n / f $ 의 차원을 유계화한다. 여기서 $ f = \text{hom}(\cdot, H) $ 이다.
• 확률 벡터 $ x $ 에 대해 $ \sum_{u,v} x_u x_v \log p_{u,v} $ 의 최대값을 정의하여 $ A(H) $ 를 유도함으로써, $ \dim(\mathcal{P}_n / f)^{1/n^2} $ 의 점근적 경계를 수립한다.

실험 결과

연구 질문

• RQ1 다중그래프로 인덱싱된 대칭적 가측 함수 $ W: [0,1]^2 \to \mathbb{R} $ 의 모멘트로 나타나는 그래프 매개변수는 무엇인가?
• RQ2 반사 양성이고 곱셈적인 그래프 불변량이 유한 가중 그래프로의 호모모르피즘 밀도로 표현될 수 있는 조건은 무엇인가?
• RQ3 연결 질량 $ \text{rk}(M(f,n)) $ 의 성장률은 그래프 불변량 $ f $ 의 구조를 어떻게 결정하는가?
• RQ4 그래프 불변량 $ f $ 가 무작위로 가중된 그래프 $ H $ 로의 호모모르피즘일 경우, 몹크 공간 $ \mathcal{P}_n / f $ 의 차원의 점근적 행동은 어떠한가?
• RQ5 기능 $ A(H) = \max \sum_{u,v} x_u x_v \log p_{u,v} $ 는 모멘트 행렬의 질량 성장률을 어떻게 제어하는가?

주요 결과

• 그래프 불변량 $ f $ 가 약한 반사 양성이고 곱셈적이며, 어떤 $ n \geq 2 $ 에 대해 유한 연결 질량 $ \text{rk}(M(f,n)) < \infty $ 을 가진다. 이는 $ f = \text{hom}(\cdot, H) $ 를 만족하는 유한 가중 그래프 $ H $ 가 존재하는 것과 동치이다.
• 모든 $ f = \text{hom}(\cdot, H) $ 에 대해 $ \dim(\mathcal{P}_n / f)^{1/n^2} $ 의 점근적 성장률은 $ A(H) $ 로 수렴하며, 여기서 $ A(H) = \max_{x \geq 0, \sum x_u = 1} \sum_{u,v} x_u x_v \log p_{u,v} $ 이다.
• 유한 가중 그래프 $ H $ 에 대해 $ \dim(\mathcal{P}_n / f)^{1/n} $ 의 성장률은 $ \log |V(H)| $ 로 수렴하고, 적절한 무작위로 가중된 그래프의 경우 $ \dim(\mathcal{P}_n / f)^{1/n^2} $ 의 성장률은 $ A(H) $ 로 수렴한다.
• 몫 공간 $ \mathcal{P}_n / f $ 의 하한은 $ \frac{2^{n^2 A(H)}}{p(H)^{2n}} $ 이고, 상한은 $ |V(H)|^n 2^{n^2 A(H)} $ 이다. 여기서 $ p(H) = \prod_{u,v} p_{u,v} $ 이다.
• 그래프 불변량 $ f = \text{hom}(\cdot, H) $ 의 연결 질량이 유한한 것은 $ H $ 가 유한 가중 그래프일 때에만 성립하며, 이 조건은 이러한 불변량의 집합을 특성화한다.
• 결과들은 이전의 반사 양성 그래프 매개변수와 단순 그래프 수열의 극한에 대한 특성화를 일반화하고 강화하며, 그래프 이론의 모멘트 문제를 함수 해석학과 정수형 프로그래밍과 통합한다.