[论文解读] Estimations of the particular periodicity in case of the extremal periods in Shirshov's Height theorem

Mikhail Kharitonov|arXiv (Cornell University)|Aug 31, 2011

semigroups and automata theory参考文献 4被引用 3

一句话总结

本文通过分析非n-可约词中的周期性子词，改进了l-生成的PI-代数在多项式增长次数n下的本质高度上界。利用词结构的组合技术，包括字典序可比性与Dilworth定理，对周期为2、3和n−1的子词建立了紧致估计，从而得出本质高度的亚指数上界 $Σ(n,l) = 8(l+1)^n n^6$，显著优于以往估计，推动了Shirshov高度定理的证明进展。

ABSTRACT

Let us recall the well-known Shirshov's Height Theorem. "Let A be a finitely generated algebra of degree d. Then there exists a finite set Y which is the subset of A that A has and an integer h' = h(A) such that A has Shirshov's height h' over set Y. For Y we may take the set of words of length

研究动机与目标

• 改进l-生成的具有n次多项式恒等式的PI-代数的本质高度上界。
• 通过聚焦于具有特定周期（2、3和n−1）的字典序可比子词，分析非n-可约词的结构。
• 通过组合词分析与周期性估计，优化Shirshov高度定理的证明策略。
• 弥合已知下界（例如，$\sim (l-1)n^2/4 + 1$）与文献中上界之间的差距。

提出的方法

• 应用Dilworth定理，限制周期为2、3和n−1的字典序可比子词的数量。
• 使用Rosamond (k-图) 表示法建模词轨迹，并分析子词中的周期性。
• 通过关于 $\beth(t,l,n)$ 的引理，递归应用界，利用对数深度与幂运算控制增长。
• 将小周期子词编码至支持主高度界推导的框架中。
• 使用反证法表明，过多的不可比高周期子词将强制实现n-可约性。
• 建立涉及 $\beth(t,l,n)$ 的不等式链，最终得出界 $\Upsilon(n,l) < 8(l+1)^n n^6$。

实验结果

研究问题

• RQ1 在任意l-生成的n次PI-代数的幺半群中，字典序可比的周期为2的子词最多有多少个？
• RQ2 在不强制实现n-可约性的前提下，此类代数中最多可存在多少个周期为3的子词？
• RQ3 周期为n−1的子词结构能否用于推导出更紧致的本质高度界？
• RQ4 l-生成的具有n次多项式恒等式的PI-代数的本质高度的最紧致上界是什么？
• RQ5 新界与基于Gelfand–Kirillov维数和Amitsur–Levitzky定理的已知下界相比如何？

主要发现

• 在该代数的任意幺半群中，字典序可比的周期为2的子词数量至多为 $\frac{(2l-1)(n-1)(n-2)}{2}$。
• 周期为2的此类子词数量至多为 $(2l-1)(n-1)(n-2)$。
• 对于周期 $n-1$，此类子词的最大数量受限于 $(l-2)(n-1)$。
• l-生成的n次PI-代数的本质高度小于 $\Upsilon(n,l) = 8(l+1)^n n^6$，这是一个亚指数上界。
• 界 $\Upsilon(n,l)$ 优于早期估计 $\Phi(l,n) = 2^{87}l \cdot n^{12\log_3 n + 48}$。
• 结果通过周期性词分解与子词结构的组合控制，支持了Shirshov定理的精细化证明。