[논문 리뷰] Borel Edge Colorings for Finite Dimensional Groups

Felix Weilacher|arXiv (Cornell University)|2021. 04. 29.

Advanced Topology and Set Theory참고 문헌 7인용 수 6

한 줄 요약

이 논문은 최근에 도입된 Borel 점점 다가가는 분리 지수라는 불변량을 사용하여, 홀수 차수의 생성자를 가지지 않는 유한 생성 군의 자유 Borel 작용에 의해 생성된 Schreier 그래프에 대해 Vizing의 고전적 간선 색칠 경계($\chi_B' \leq |S|+1$)를 복원함을 보여준다. 또한 아벨 군의 자유 작용에 대해 정확한 Borel 간선 색칠 수를 결정하여, 토르션 부분군의 순서가 짝수이면 $|S|$로, 그렇지 않으면 $|S|+1$로 주어지며, 일반적으로 이 경계가 날카로운 것을 보여준다.

ABSTRACT

We study the potential of Borel asymptotic dimension, a tool introduced recently in arXiv:2009.06721, to help produce Borel edge colorings of Schreier graphs generated by Borel group actions. We find that it allows us to recover the classical bound of Vizing in certain cases, and also use it to exactly determine the Borel edge chromatic number for free actions of abelian groups.

연구 동기 및 목표

• Schreier 그래프가 군 작용에 의해 생성될 때, 고전적 Vizing 간선 색칠 경계($\chi' \leq d+1$)가 Borel 설정에서 성립하는지 조사하기.
• 특히 $\Gamma = \Delta \times \mathbb{Z}^d$ 형태의 아벨 군의 자유 작용에 대해 정확한 Borel 간선 색칠 수를 결정하기.
• 고전적 색칠 수가 $|S|$일지라도, Vizing 경계의 $+1$ 항을 일반적으로 제거할 수 없음을 보여주기.
• Borel 점점 다가가는 분리 지수를 Borel 조합론의 간선 색칠 문제에까지 적용 가능하게 확장하기.

제안 방법

• 논문은 Conley 등이 제안한 Borel 점점 다가가는 차원의 변종인 Borel 점점 다가가는 분리 지수를 사용하여, Schreier 그래프의 간선 색칠을 분석한다.
• 만약 표시된 군 $(\Gamma, S)$가 Borel 점점 다가가는 분리 지수 1을 가지며, 홀수 차수의 생성자가 없으면, $\chi_B'(G(a,S)) \leq |S|+1$임을 증명한다.
• 아벨 군 $\Gamma = \Delta \times \mathbb{Z}^d$의 경우, 궤도를 따라 짝수 전이를 포함하는 프로토콜 기반 간선 색칠 구성 방법을 사용한다.
• 이 방법은 $ (0,b) $-간선을 따라 색을 조작하고, $ (1,m) $-간선을 사용해 프로토콜을 이동시켜 인접한 간선가 서로 다른 색을 갖도록 보장한다.
• 핵심 기법은 이중 코드와 모듈로 산술을 사용하여 궤도를 따라 색 전이를 제어하는 것으로, 일부 매개변수의 서로소 성질을 이용해 코드 불일치의 짝수 차이를 보장한다.
• 증명은 이전의 Borel 조합론 연구 결과, 특히 Bernoulli 이동에 대한 Borel 등변 임bedding 결과를 활용하여 일반 케이스를 Bernoulli 이동 작용으로 환원한다.

실험 결과

연구 질문

• RQ1 군 작용에 의해 생성된 Schreier 그래프에 대해, 고전적 Vizing 경계 $\chi' \leq d+1$가 Borel 설정에서 성립하는가?
• RQ2 Borel 점점 다가가는 분리 지수를 사용하여 Borel 간선 색칠 수에 대한 경계를 확립할 수 있는가?
• RQ3 형태 $\Delta \times \mathbb{Z}^d$의 아벨 군의 자유 작용에 대해 Borel 간선 색칠 수의 정확한 값은 무엇인가?
• RQ4 고전적 색칠 수가 $|S|$일지라도, Vizing 경계의 $+1$ 항이 Borel 간선 색칠에 반드시 필요한가?

주요 결과

• Borel 점점 다가가는 분리 지수 1을 가지며, 홀수 차수의 생성자가 없는 표시된 군 $(\Gamma, S)$의 자유 Borel 작용에 대해, Borel 간선 색칠 수는 $\chi_B'(G(a,S)) \leq |S|+1$를 만족한다.
• 아벨 군 $\Gamma = \Delta \times \mathbb{Z}^d$에 대해, Borel 간선 색칠 수는 토르션 부분군 $\Delta$의 순서가 짝수이면 정확히 $|S|$, 그렇지 않으면 $|S|+1$이다.
• 만약 $ d = 0 $이면, $\Delta$의 순서가 짝수면 Borel 간선 색칠 수는 $|S|$, 아니면 $|S|+1$이며, 이 경계는 날카롭다.
• 만약 $ d = 1 $이면, $\Delta$의 순서가 짝수면 Borel 간선 색칠 수는 $|S|$, 아니면 $|S|+1$이며, 다시 말해 홀수 차수의 경우 $+1$ 항이 반드시 필요하다.
• 만약 $ d \geq 2 $이면, Borel 간선 색칠 수는 $\Delta$의 순서에 관계없이 정확히 $|S|$이며, 이는 $d=2$에서 단계 전이가 발생함을 시사한다.
• 논문은 고전적 색칠 수가 $|S|$일지라도, 일반적으로 Vizing 경계의 $+1$ 항을 제거할 수 없음을, 구체적인 예제를 통해 $\chi_B'(G) = |S|+1$임을 보여줌으로써 입증한다.