16
$\开始组$

最近在平面的色数德格雷提出了一个有趣的事实,即某些凯利图具有较大的色数;即,顶点是给定复数绝对值||的某个数域K的整数环的图,其中x和y相邻当且仅当|x-y|=1。

这让我意识到我对无限Cayley图的色数知之甚少,也让我惊讶的是,我在文献中找不到太多!

下面是一个示例问题。设A是有限生成的自由阿贝尔群,S是A的有限子集,在否定下闭,G是Cayley图,其顶点是A的元素,其中A,b是相邻的当且仅当|A-b|位于S中。

对于每个整数N,G都有一个商G/N,这是一个有限的Cayley图,其顶点是a/NA,其边由a/NA中的S的图像给出

显然,G/N的着色拉回G,所以我们得到了色数的一个不等式

$\chi(G)\leq\ chi(G/N)$。

我的问题是:总是这样吗

$\chi(G)=\inf_N\chi[G/N)$?

换句话说:如果G有一个k着色,它是否一定有一个周期性的k着色?

(您可能认为$\inf_N\chi(G/N)$是亵渎神灵凯利图。)

我甚至不知道如何为A=Z做这件事!

$\端组$
7
  • $\开始组$ 你希望$S$是有限的吗? $\端组$ 评论 2018年7月10日21:09
  • $\开始组$ 托特。我已经编辑过了。 $\端组$
    – JSE公司
    评论 2018年7月10日21:20
  • $\开始组$ 这让人感觉像是在问是否有一个形状只是不定期地平铺平面,尽管显然这两个问题并不是严格等价的。 $\端组$ 评论 2018年7月10日23:18
  • 2
    $\开始组$ 我问了这个问题的一个特例在这里,其中$A$是一个欧几里德格,$S$是一组Voronoi邻居的原点,我在去年与Mathieu Dutour和Frank Vallenton取得了一些结果,我们仍在写这些结果,但我希望很快将它们上传到arXiv。我们所有的最佳色彩都是周期性的,但我们不知道是否有一般的原因。 $\端组$ 评论 2018年7月11日0:12
  • 1
    $\开始组$ 在双色的情况下,答案是肯定的,证明也相当简单。想法是这样的。假设c是一个适当的双染色,其中c的余域是{0,1}。为了简单起见,假设S生成A。在不损失通用性的情况下,假设c(0)=0。(如果不是,则反转颜色。)那么c本身就是一个周期性的双色。如果S不生成a,则首先将c限制为S生成的子群,然后扩展到所有a。对于>2种颜色,此逻辑不再起作用,问题似乎更难解决。 $\端组$ 评论 2020年10月13日0:08

1答案1

重置为默认值
7
$\开始组$

下面是$A=\mathbb Z$的答案(假设$s$是有限的):

设$c$是$\mathrm{Cay}(\mathbbZ,S)$的最佳着色(即使用最少的颜色数),并设$k>\maxS$。$\mathrm{Cay}(\mathbbZ,S)$中的度数是有界的,因此$c$使用有限数量的颜色。

这意味着序列$(c(n+i))_{0\leq i\leq k}$只有有限多个可能性,因此存在$n_1,n2\in\mathbb Z$,使得$n2>n_1+k$和$c(n_1+i)=c(n2+i)$对于$0\leq i\leq k$。在不损失通用性的情况下,假设$n_1=0$,$n_2=l$

定义颜色$d$x$d(n)=c(n\mod l)$。这显然是周期性的。由于$k>\max S$和$c(i)=c(l+i)$对于$0\leq i\leq k$,任何顶点$n$的邻域在$d$中的颜色与$(n\modl)$的邻接在$c$中的相同,因此着色是正确的。

$\端组$
1
  • 1
    $\开始组$ 这也是Eggleton、Erdos和Skilton在“着色素数距离图”、图和组合数学6、17-32 1990、定理2中给出的相同证明。 $\端组$ 评论 2018年7月11日2:43

你的答案

单击“发布您的答案”,表示您同意我们的服务条款并确认您已阅读我们的隐私政策.

不是你想要的答案吗?浏览标记的其他问题问你自己的问题.