关于非一致递归序列的复杂度函数

我们证明每一个满足温和非周期性条件的非极小传递子移位 $X$ 都满足 $\limsup c_n(X) - 1.5n = \infty$,并给出一类例子表明 $1.5n$ 的阈值无法提高。作为一个推论,我们证明任何满足 $\limsup c_n(X) - n = \infty$ 且 $\limsup c_n(X) - 1.5n < \infty$ 的传递 $X$ 必为极小的。我们还证明了满足 $\liminf c_n(X) - 2n = -\infty$ 的传递非极小 $X$ 的结构上的若干限制,其作为推论蕴含唯一遍历性(关于一个周期测度),这将 Boshernitzan 的一个结果从极小情形推广到更一般的传递情形。