[논문 리뷰] Existence of Modeling Limits for Sequences of Sparse Structures

Jaroslav Nešetřil, Patrice Ossona de Mendez|arXiv (Cornell University)|2016. 07. 30.

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

한 줄 요약

이 논문은 구조적 그래프 이론과 모델 이론에서 오랫동안 남아있던 두 가지 추측을 증명한다: 모든 FO 수렴하는 잔여 희박 그래프 수열은 모델링 극한을 갖는다. 그리고 단조인 그래프 클래스가 모델링 극한을 갖는다 하는 것과 그것이 어디서도 조밀하지 않다는 것 사이에 이unge가 존재한다. 저자들은 일阶논리와 측도론적 모델링 구조를 사용하여, 어디서도 조밀함-어디서든 조밀함의 이분법을 기초적인 분석적 특성으로 규명한다.

ABSTRACT

A sequence of graphs is FO-convergent if the probability of satisfaction of every first-order formula converges. A graph modeling is a graph, whose domain is a standard probability space, with the property that every definable set is Borel. It was known that FO-convergent sequence of graphs do not always admit a modeling limit, and it was conjectured that this is the case if the graphs in the sequence are sufficiently sparse. Precisely, two conjectures were proposed: * If a FO-convergent sequence of graphs is residual, that is if for every integer $d$ the maximum relative size of a ball of radius $d$ in the graphs of the sequence tends to zero, then the sequence has a modeling limit. * A monotone class of graphs $\mathcal C$ has the property that every FO-convergent sequence of graphs from $\mathcal C$ has a modeling limit if and only if $\mathcal C$ is nowhere dense, that is if and only if for each integer $p$ there is $N(p)$ such that no graph in $\mathcal C$ contains the $p$th subdivision of a complete graph on $N(p)$ vertices as a subgraph.

연구 동기 및 목표

• 모든 유한 구조의 FO 수렴 잔여 수열이 모델링 극한을 갖는다는 추측을 해결하기.
• 단조인 그래프 클래스가 모델링 극한을 갖는다 하는 것과 그것이 어디서도 조밀하다는 것 사이에 이unge가 존재하는지 증명하기.
• 일阶논리와 모델링 극한을 사용하여, 어디서도 조밀함-어디서든 조밀함의 이분법을 분석적으로 특성화하기.
• 최소한의 구조적 가정 하에 희박 그래프 수열의 모델링 극한 존재성을 확립하기.
• 구조적 극한의 프레임워크를 통해 모델 이론, 조합론, 해석학의 개념을 통합하기.

제안 방법

• 모든 고정된 반경의 공의 상대적 크기가 0으로 수렴하는 잔여 수열의 개념을 도입하고 분석한다.
• 모델링 극한을 보렐 정의 가능한 집합과 자동형에 관해 불변인 측도를 갖는 확률 공간으로 정의한다.
• 모델 이론과 기술적 집합 이론의 기법을 적용하여, FO 수렴 수열의 모델링 극한을 구성한다.
• 강력한 유한성 질량 운반 원리를 사용하여 극한 구조에서의 이웃 제약 조건을 분석한다.
• 어디서도 조밀한 클래스와 완전 그래프의 큰 부분분할의 부재 사이의 동치성을 활용한다.
• 유한 모델 성질과 일阶논리에서의 정의 가능성으로 모델링 극한의 이론을 특성화한다.

실험 결과

연구 질문

• RQ1 모든 FO 수렴 잔여 수열의 유한 그래프 수열은 모델링 극한을 갖는가?
• RQ2 모든 FO 수렴 수열이 단조인 그래프 클래스에서 모델링 극한을 갖는다는 것과 그 클래스가 어디서도 조밀하다는 것 사이에 이unge가 존재하는가?
• RQ3 어디서도 조밀한 그래프 수열의 모델링 극한에서 강력한 유한성 질량 운반 원리는 보장되는가?
• RQ4 모델링의 $τ$-이론과 그 $τ(Q_m)$-이론 사이의 관계는 무엇인가?
• RQ5 어떤 조건에서 모델링 구조는 유한 그래프 수열의 FO 극한이 되는가?

주요 결과

• 논문은 추측 1을 증명한다: 모든 FO 수렴 잔여 수열의 유한 구조는 모델링 극한을 갖는다.
• 논문은 추측 2를 증명한다: 단조인 그래프 클래스가 모델링 극한을 갖는다 하는 것과 그것이 어디서도 조밀하다는 것 사이에 이unge가 존재한다.
• 모델링 극한을 통한 어디서도 조밀한 클래스의 특성화는 어디서도 조밀함-어디서든 조밀함의 이분법에 대한 새로운 분석적 특성화를 제공한다.
• FO 수렴 수열에서 어디서도 조밀한 클래스로부터 유도된 모델링 극한의 정의 가능한 집합에서 강력한 유한성 질량 운반 원리가 성립한다.
• 모델링 극한의 이론은 일阶논리 공식의 만족 확률에 의해 완전히 결정된다.
• 모델링 극한은 수심이 유계인 그래프 수열, 트리, 경로폭이 유계인 그래프 수열의 특수한 경우로 일반 결과의 일부로 존재한다.