中文

小字母表上的循环重复阈值:Gorbunova猜想的最后情形

组合数学 2018-10-05 v2 形式语言与自动机理论

摘要

如果一个词没有指数大于或等于β\beta的因子,则称其为β\beta-free的。重复阈值RT(k)\mathrm{RT}(k)是所有满足存在任意长kkβ\beta-free词的β\beta集合的下确界(等价地,存在任意足够大长度的kkβ\beta-free词,甚至任意长度的kkβ\beta-free词)。重复阈值的这三个等价定义引出了循环词重复阈值的三个自然定义。所有满足以下条件的β\beta集合的下确界:- 存在任意长kkβ\beta-free循环词,称为弱循环重复阈值,记为CRTW(k)\mathrm{CRT}_{\mathrm{W}}(k);- 存在任意足够大长度的kkβ\beta-free循环词,称为中间循环重复阈值,记为CRTI(k)\mathrm{CRT}_{\mathrm{I}}(k);- 存在任意长度的kkβ\beta-free循环词,称为强循环重复阈值,记为CRTS(k)\mathrm{CRT}_{\mathrm{S}}(k)。我们证明了CRTS(4)=32\mathrm{CRT}_{\mathrm{S}}(4)=\tfrac{3}{2}CRTS(5)=43\mathrm{CRT}_{\mathrm{S}}(5)=\tfrac{4}{3},证实了Gorbunova的一个猜想,并给出了强循环重复阈值的最后未知值。我们还证明了CRTI(3)=CRTW(3)=RT(3)=74\mathrm{CRT}_{\mathrm{I}}(3)=\mathrm{CRT}_{\mathrm{W}}(3)=\mathrm{RT}(3)=\tfrac{7}{4}

关键词

引用

@article{arxiv.1803.08145,
  title  = {Circular repetition thresholds on some small alphabets: Last cases of Gorbunova's conjecture},
  author = {James D. Currie and Lucas Mol and Narad Rampersad},
  journal= {arXiv preprint arXiv:1803.08145},
  year   = {2018}
}

备注

27 pages (including a 6 page appendix). As promised in an earlier version, we have added a proof that the strong circular repetition threshold for five letters is 4/3, completing the last case of Gorbunova's conjecture