关于sofic移位轨道增长的一个简短注记
A short note on the orbit growth of sofic shifts
AI总结:
本文通过Artin-Mazur zeta函数及最小右解析表示,简短证明了sofic移位素轨道与Mertens轨道计数函数的渐近行为。
摘要:
Sofic移位是一种移位空间,由带标号图中路径的双无限标号组成。作为一个动力系统,其闭轨道的分布可能反映该空间的复杂性。为此,引入了素轨道和Mertens轨道计数函数,用以描述闭轨道的增长。这些计数函数的渐近行为可由空间的Artin-Mazur zeta函数的解析性推出。尽管zeta函数具有闭式表达式,但它以若干带符号子集矩阵隐式表示,这使得对其解析性的研究看似困难。在本文中,我们将通过zeta函数证明sofic移位计数函数的渐近行为。这涉及研究上述矩阵的性质。令人惊讶的是,证明相当简短,仅使用了关于sofic移位的众所周知的事实,特别是其最小右解析表示。
英文摘要:
A sofic shift is a shift space consisting of bi-infinite labels of paths from a labelled graph. Being a dynamical system, the distribution of its closed orbits may indicate the complexity of the space. For this purpose, prime orbit and Mertens' orbit counting functions are introduced as a way to describe the growth of the closed orbits. The asymptotic behaviours of these counting functions can be implied from the analiticity of the Artin-Mazur zeta function of the space. Despite having a closed-form expression, the zeta function is expressed implicitly in terms of several signed subset matrices, and this makes the study on its analyticity to be seemingly difficult. In this paper, we will prove the asymptotic behaviours of the counting functions for a sofic shift via its zeta function. This involves investigating the properties of the said matrices. Suprisingly, the proof is rather short and only uses well-known facts about a sofic shift, especially on its minimal right-resolving presentation.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。