[논문 리뷰] Limit aperiodic and repetitive colorings of graphs

Jesús A. Álvarez López, Ramón Barral Lijó|arXiv (Cornell University)|2018. 07. 24.

Graph Labeling and Dimension Problems참고 문헌 26인용 수 4

한 줄 요약

이 논문은 최대 차수 Δ를 가진 무한, 연결, 국소 유한 그래프가 정확히 Δ가지 색을 사용하여 극한 비순환성과 반복성을 동시에 만족하는 정점 색칠을 가짐을 입증한다. 이는 유한 그래프에 대한 이전 결과를 개선하고 군 동역학 및 타일 이론의 개념을 확장한다. 이 구성은 색의 수에서 최적이며, 간선 색칠과 원형 타일링으로 일반화된다.

ABSTRACT

Let $X$ be a (repetitive) infinite connected simple graph with a finite upper bound $Δ$ on the vertex degrees. The main theorem states that $X$ admits a (repetitive) limit aperiodic vertex coloring by $Δ$ colors. This refines a theorem for finite graphs proved by Collins and Trenk, and by Klavžar, Wong and Zhu, independently. It is also related to a theorem of Gao, Jackson and Seward stating that any countable group has a strongly aperiodic coloring by two colors, and to recent research on distinguishing number of graphs by Lehner, Pilśniak and Stawiski, and by Hüning et al. In our theorem, the number of colors is optimal for general graphs of bounded degree. We derive similar results for edge colorings, and for more general graphs, as well as a construction of limit aperiodic and repetitive tilings by finitely many prototiles. In a subsequent paper, this result is also used to improve the construction of compact foliated spaces with a prescribed leaf.

연구 동기 및 목표

• 유한 그래프에 대한 Collins-Trenk와 Klavžar-Wong-Zhu의 결과를 Δ가지 색을 사용하여 무한 그래프로 확장함으로써 극한 비순환 색칠의 존재성을 증명한다.
• 일반적인 유한 차수를 가진 무한 그래프에서 Δ가지 색이 최적이며, 이는 유한 경우의 자연스러운 확장 문제를 해결한다.
• 구성 방법을 간선 색칠과 유한한 수의 원형 타일을 사용한 타일링으로 일반화하여 그래프 색칠을 동역학계와 타일 이론과 연결한다.
• 후속 연구에서 적용된 바와 같이, 특정 잎의 구조를 갖는 컴act 폴리에이션 공간을 구성하는 기초 도구를 제공한다.

제안 방법

• 점점 더 세밀해지는 그래프 $X_n$과 그에 상응하는 색칠 $\phi_n^N$을 인도크티브이고 계층적인 과정을 통해 구성한다.
• 지역 동형과 클러스터 구조에 기반한 재귀적 색칠 방식을 사용하여 모든 척도에서 비순환성과 반복성을 보장한다.
• 거리 제어를 위해 매개변수 $R_m^+$, $L_m$, $\Gamma_m^+$, $\Upsilon_m$를 활용하는 메트릭 기반 접근 방식을 사용하여 모든 척도에서 일관성을 확보한다.
• 이웃 영역 간에 색을 유지하는 동형사상 $f$를 정의하여 비자명한 자기동형사상이 존재할 수 없음을 입증함으로써 극한 비순환성을 확인한다.
• $\mathfrak{X}_n$-클러스터와 그들의 $\phi_m^N$-색칠을 정의하여 모든 국소 패턴이 균일하게 반복됨을 보장한다.
• 하위시프트 이론과 $\{0,1\}^G$ 위의 군 작용을 활용하여 가산 군에서의 강력한 비순환 색칠과 유사성을 도출한다.

실험 결과

연구 질문

• RQ1 유한 그래프 결과 $D(X) \leq \deg X$는 무한 그래프로 동일한 색 수의 한계를 가지며 확장될 수 있는가?
• RQ2 유한 차수를 가진 무한 그래프에 대해 정확히 $\Delta$가지 색을 사용하여 극한 비순환성과 반복성을 동시에 만족하는 색칠을 구성할 수 있는가?
• RQ3 색칠된 그래프의 공간 $\widehat{\mathcal{G}}_*$의 구조는 이러한 색칠의 존재성과 어떻게 관련이 있는가?
• RQ4 이 구성은 간선 색칠과 유한한 수의 원형 타일을 사용한 타일링으로 일반화될 수 있는가?
• RQ5 일般적인 유한 차수를 가진 무한 그래프에서 이러한 색칠을 위해 필요한 최소 색 수는 얼마인가?

주요 결과

• 최대 차수 $\Delta$를 가진 모든 무한, 연결, 국소 유한 그래프는 정확히 $\Delta$가지 색을 사용하여 극한 비순환성과 반복성을 동시에 만족하는 정점 색칠을 가진다.
• 유한 그래프의 경우 $\Delta+1$가지 색이 필요로 하는 그래프가 존재함을 보여 이로써 $\Delta$가지 색이 일반적인 유한 차수 그래프에서 최적이며, 이는 유한 경우의 자연스러운 확장 문제를 해결한다.
• 이 구성은 색칠된 그래프 공간 $\widehat{\mathcal{G}}_*$의 캐논리컬 분할을 유도하며, $\phi$가 반복적일 경우 각 $[X,\phi]$는 컴팩트하고 최소가 된다.
• 이 방법은 간선 색칠로 일반화되어 $\Delta$가지 색을 사용하여 유사한 극한 비순환성과 반복성을 만족하는 간선 색칠을 생성한다.
• 결과적으로 이는 특정 잎의 구조를 갖는 컴팩트 폴리에이션 공간을 구성하는 데 활용될 수 있으며, 후속 적용에서 이를 보여준다.
• 증명은 이sov미즘 성질를 제어하는 계층적, 인도크티브 색칠 구성에 의존하며, 이는 임의의 비자명한 자기동형사상이 $\varepsilon_n$-분리 조건을 위반할 것임을 보장한다.