[논문 리뷰] Distributed Algorithms, the Lovász Local Lemma, and Descriptive Combinatorics

Anton Bernshteyn|arXiv (Cornell University)|2020. 04. 10.

Advanced Topology and Set Theory인용 수 4

한 줄 요약

이 논문은 유한 그래프에서의 효율적인 분산 색칠 알고리즘과 무한 Borel 그래프에서의 잘 조율된 Borel, 측도 가능 또는 Baire 측도 가능 색칠 간의 다리를 놓는다. 특히, 유한 그래프에서의 분산 색칠 알고리즘은 최대 차수 제약이 있는 무한 Borel 그래프에서 잘 조율된 Borel, 측도 가능 또는 Baire 측도 가능 색칠을 유도한다. 또한 더 강한 조건 하에 측도 가능 및 Baire 측도 가능 버전의 대칭 Lovász Local Lemma를 증명하여, 짧은 사이클이 없는 그래프에서의 측도 가능 색칠 수에 대한 새로운 결과를 이끌어낸다.

ABSTRACT

In this paper we consider coloring problems on graphs and other combinatorial structures on standard Borel spaces. Our goal is to obtain sufficient conditions under which such colorings can be made well-behaved in the sense of topology or measure. To this end, we show that such well-behaved colorings can be produced using certain powerful techniques from finite combinatorics and computer science. First, we prove that efficient distributed coloring algorithms (on finite graphs) yield well-behaved colorings of Borel graphs of bounded degree; roughly speaking, deterministic algorithms produce Borel colorings, while randomized algorithms give measurable and Baire-measurable colorings. Second, we establish measurable and Baire-measurable versions of the Symmetric Lovász Local Lemma (under the assumption $\mathsf{p}(\mathsf{d}+1)^8 \leq 2^{-15}$, which is stronger than the standard LLL assumption $\mathsf{p}(\mathsf{d} + 1) \leq e^{-1}$ but still sufficient for many applications). From these general results, we derive a number of consequences in descriptive combinatorics and ergodic theory.

연구 동기 및 목표

• Borel 그래프에서의 조합 색칠이 위상적 또는 측도 이론적 의미에서 잘 조율된 조건을 만족하도록 하는 충분한 조건을 확립하는 것.
• 특히 분산 알고리즘과 Lovász Local Lemma를 포함한 유한 조합론의 기법들을 기술적 조합론의 맥락으로 이행하는 것.
• 최대 차수 제약과 고리 제약이 있는 Borel 그래프에 대해 측도 가능 색칠 수의 새로운 정량적 상한을 유도하는 것.
• 기존의 $\mathsf{p}(\mathsf{d}+1) \leq e^{-1}$ 조건보다 더 강한 조건인 $\mathsf{p}(\mathsf{d}+1)^8 \leq 2^{-15}$ 하에 대칭 Lovász Local Lemma의 측도 가능 및 Baire 측도 가능 버전을 증명하는 것.
• 무한 조합론에서 색칠 문제에 대한 알고리즘적 접근과 기술적 집합론적 접근을 통합하는 것.

제안 방법

• 분산 계산의 LOCAL 모델을 수정하여, 결정적 분산 알고리즘이 Borel 색칠을 생성하고, 확률적 알고리즘은 Borel 그래프에서 측도 가능 및 Baire 측도 가능 색칠을 유도함을 보여준다.
• 확률적 구성에 기반한 국소적 해의 유한 집합 위에서 작동하는 Borel 감소 프레임워크를 도입하여, 확률적 분산 알고리즘을 측도 가능 및 Baire 측도 가능 설정에서 시뮬레이션한다.
• Lovász Local Lemma의 정교한 분석을 통해 더 강한 조건인 $\mathsf{p}(\mathsf{d}+1)^8 \leq 2^{-15}$ 를 도입함으로써 측도 가능 및 Baire 측도 가능 해의 존재를 보장한다.
• 비가환 또는 전측정 영역을 갖는 국소적 해의 재귀적 구성 기법을 통해 전역적 해가 정규성(측도 가능성 또는 Baire 측도 가능성)을 유지하도록 보장한다.
• Borel 감소와 확률적 평균화 기법을 활용하여, 유한 조합론 결과(예: CSP에서의 결과)를 정규성을 유지하는 무한 구조로 확장한다.
• 기본 집합 이론에서의 결과—예를 들어, 코메이저 집합과 Borel 결정성—을 활용하여 최종 색칠 함수가 측도 가능 또는 Baire 측도 가능함을 보장한다.

실험 결과

연구 질문

• RQ1 유한 그래프에서의 효율적 분산 알고리즘을 사용하여 최대 차수가 유한한 무한 Borel 그래프에서 잘 조율된 색칠(Borel, 측도 가능 또는 Baire 측도 가능)을 구성할 수 있는가?
• RQ2 표준 Borel 공간 맥락에서 측도 가능 또는 Baire 측도 가능 버전의 대칭 Lovász Local Lemma가 성립하는 조건은 무엇인가?
• RQ3 최대 차수 제약과 짧은 사이클이 없는 조건 하에서 Borel 그래프의 측도 가능 색칠 수에 대한 날카운 상한은 무엇인가?
• RQ4 최대 차수와 고리 길이 제약 조건 하에서 측도 가능 색칠 수가 조합 색칠 수에 얼마나 가까워질 수 있는가?
• RQ5 큰 고리 길이를 가진 그래프에서 조합 색칠 수와 측도 가능 색칠 수 간의 격차를 줄일 수 있으며, 이 경우 Lovász Local Lemma는 어떤 역할을 하는가?

주요 결과

• 모든 $\Delta \geq \Delta_0$ 에 대해, $c \leq \sqrt{\Delta + 1/4} - 5/2$ 이면, 최대 차수가 $\leq \Delta$ 인 Borel 그래프의 측도 가능 색칠 수는 그 조합 색칠 수와 같으며, 이 조합 색칠 수가 $\Delta - c$ 이하일 경우에 한하여 성립한다.
• 제시된 상한 $c \leq \sqrt{\Delta + 1/4} - 5/2$ 는 논문 내에서 제시된 보조정리에 의해 최적값에서 약 2 이내임을 보여준다.
• 3-사이클이 없는 그래프의 경우, 충분히 큰 $\Delta$ 에 대해 $\mu$-측도 가능 색칠 수는 $(4 + \varepsilon)\Delta / \log \Delta$ 이하이다.
• 4-사이클이 없는 그래프의 경우, 충분히 큰 $\Delta$ 에 대해 $\mu$-측도 가능 색칠 수는 $(1 + \varepsilon)\Delta / \log \Delta$ 이하이며, 이는 알려진 하한값과 상수 인자 범위 내에서 일치한다.
• 순환 Borel 그래프의 측도 가능 색칠 수는 $(1/2 + o(1))\Delta / \log \Delta$ 이상임을 보여, 본 논문의 상한이 상수 인자 범위 내에서 최적임을 시사한다.
• 조건 $\mathsf{p}(\mathsf{d}+1)^8 \leq 2^{-15}$ 하에 대칭 Lovász Local Lemma는 측도 가능 및 Baire 측도 가능 설정으로 일반화될 수 있으며, 이는 고전적 조건인 $\mathsf{p}(\mathsf{d}+1) \leq e^{-1}$ 보다 더 강하지만 여전히 많은 응용에 충분하다.