[論文レビュー] Borel Edge Colorings for Finite Dimensional Groups

Felix Weilacher|arXiv (Cornell University)|Apr 29, 2021

Advanced Topology and Set Theory参考文献 7被引用数 6

ひとこと要約

本稿では、最近導入されたボレル漸近的分離指数という、ボレル組合せ論における新たな不変量が、奇数位の生成元をもたない有限生成群の自由ボレル作用によって生成されるシュライエル図形について、ヴィジングの古典的辺彩色境界（$\chi_B' \leq |S|+1$）の回復を可能にすることを確立している。さらに、アーベル群の自由作用における正確なボレル辺彩色数を特定し、その値がねじれ部分の位数が偶数のとき$|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.

研究の動機と目的

• 群作用によって生成されるシュライエル図形における、古典的ヴィジング辺彩色境界（$\chi' \leq d+1$）がボレル設定でも成り立つかどうかを調査すること。
• 特に$\Gamma = \Delta \times \mathbb{Z}^d$の形をしたアーベル群の自由作用における正確なボレル辺彩色数を特定すること。
• 古典的彩色数が$|S|$である場合でも、ヴィジング境界の$+1$を一般に取り除くことはできないことの証明。
• ボレル漸近的分離指数を、ボレル組合せ論における辺彩色問題への適用範囲を拡張すること。

提案手法

• 本稿では、コンリーらが提唱したボレル漸近次元の変種であるボレル漸近的分離指数を、シュライエル図形の辺彩色解析に適用している。
• マーク付き群$(\Gamma, S)$がボレル漸近的分離指数1であり、かつ奇数位の生成元をもたない場合、$\chi_B'(G(a,S)) \leq |S|+1$が成り立つことを証明している。
• アーベル群$\Gamma = \Delta \times \mathbb{Z}^d$に対しては、軌道に沿ったパリティ遷移を含むプロトコルベースの辺彩色構成法が用いられている。
• この手法では、$(0,b)$-辺に沿って色を操作し、$(1,m)$-辺を用いてプロトコルをシフトさせることで、隣接する辺が異なる色をとることを保証している。
• 鍵となる技術は、二重符号とモジュロ算術を用いて、軌道に沿った色の遷移を制御することであり、特定のパラメータの互いに素性に依存して、符号の不一致における偶数の差を保証している。
• 証明は、ボレル同相埋め込みをベルヌーイシフトへ行う以前の研究結果を活用し、一般の場合をベルヌーイシフト作用への還元している。

実験結果

リサーチクエスチョン

• RQ1 群作用によって生成されるシュライエル図形における、古典的ヴィジング境界$\chi' \leq d+1$は、ボレル設定でも成り立つか？
• RQ2 ボレル漸近的分離指数を用いて、ボレル辺彩色数の境界を確立できるか？
• RQ3 アーベル群$\Delta \times \mathbb{Z}^d$の形をした自由作用におけるボレル辺彩色数の正確な値は何か？
• RQ4 古典的彩色数が$|S|$である場合でも、ヴィジング境界の$+1$はボレル辺彩色において必要不可欠であるか？

主な発見

• ボレル漸近的分離指数1かつ奇数位の生成元をもたないマーク付き群$(\Gamma, S)$の自由ボレル作用に対して、$\chi_B'(G(a,S)) \leq |S|+1$が成り立つ。
• アーベル群$\Gamma = \Delta \times \mathbb{Z}^d$に対して、ねじれ部分$\Delta$の位数が偶数のときボレル辺彩色数は正確に$|S|$、それ以外のときは$|S|+1$である。
• $d = 0$の場合、$\Delta$の位数が偶数のときボレル辺彩色数は$|S|$、それ以外は$|S|+1$であり、境界がタイトであることが示された。
• $d = 1$の場合、同様に$\Delta$の位数が偶数のとき$|S|$、それ以外は$|S|+1$であり、奇数位の場合は$+1$が不可欠であることが再確認された。
• $d \geq 2$の場合、$\Delta$の位数にかかわらずボレル辺彩色数は正確に$|S|$であり、$d=2$で段階的転移が生じていることが示された。
• 本稿では、古典的彩色数が$|S|$である場合でも、一般にヴィジング境界の$+1$を削除できないことを、$\chi_B'(G) = |S|+1$となる明示的な例の構成により示している。