[论文解读] Borel Edge Colorings for Finite Dimensional Groups

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

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

一句话总结

本文证明了Borel渐近分离指标这一近期在Borel组合学中引入的不变量，能够恢复由无奇数阶生成元的有限生成群的自由Borel作用生成的Schreier图的Vizing经典边染色界（$χ_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组合学中的边染色问题。

提出的方法

• 本文应用Borel渐近分离指标（源自Conley等人提出的Borel渐近维数的变体），分析Schreier图的边染色。
• 证明若标记群$(\Gamma, S)$具有Borel渐近分离指标1且无奇数阶生成元，则$\chi_B'(G(a,S)) \leq |S|+1$。
• 对于阿贝尔群$\Gamma = \Delta \times \mathbb{Z}^d$，作者采用基于协议的边染色构造方法，沿轨道实现奇偶性转换。
• 该方法通过利用$(1,m)$-边在$(0,b)$-边上移动协议，操控颜色以确保相邻边获得不同颜色。
• 关键技术是使用双重码和模运算控制轨道间颜色转换，依赖于某些参数的互素性以确保码错配的偶数差异。
• 证明利用了早期Borel组合学研究中的结果，包括Borel等变嵌入到Bernoulli位移，从而将一般情形约化为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$，若挠部分$\Delta$的阶为偶数，则Borel边染色数恰好为$|S|$；否则为$|S|+1$。
• 当$d = 0$时，若$\Delta$阶为偶数，则Borel边染色数为$|S|$；否则为$|S|+1$，且该界是紧的。
• 当$d = 1$时，若$\Delta$阶为偶数，则Borel边染色数为$|S|$；否则为$|S|+1$，再次表明在奇数阶情况下$+1$是必要的。
• 当$d \geq 2$时，Borel边染色数恰好为$|S|$，与$\Delta$的阶无关，表明在$d=2$处存在相变。
• 本文通过构造显式例子，证明即使经典染色数为$|S|$，Vizing界中的$+1$在一般情况下也无法被移除，即$\chi_B'(G) = |S|+1$。