[论文解读] On two problems from "Hyperidentities and Clones"

Gerhard R. Paseman|arXiv (Cornell University)|Aug 8, 2014

Mathematics and Applications参考文献 7被引用 4

一句话总结

本文研究了从超恒等式和相似类型导出的等式理论的有限基问题，特别关注二元运算中的超结合性。研究为类型 $<2>$ 中的超结合性提供了由五个等式构成的有限基，反驳了早期关于有限公理化不可判定的猜想，并将该问题与符号动力学和电路优化联系起来，为《超恒等式与类》中的问题27和28提供了部分解决方案。

ABSTRACT

A hyperidentity $E$ can be viewed as a statement in second order logic. When combined with a similarity type $τ$, it can also be considered as a set of first order statements. Based on examples from "A small basis for hyperassociativity", which included hyperassociativity and $τ=&lt;2&gt;$, it was conjectured that each first order theory so produced was finitely axiomatizable. Part of the analysis suggested further investigating the relatively free 2-generated semigroup satisfying one or both of the equations $xxyxxyz=xxyyz$ and $zyyxx=zyxxyxx$. At ICM 1994, the conjecture above was refuted, and a finite basis problem arose: Is it decidable which pairs $$ give rise to finitely axiomatizable theories? This problem will be examined, and its connections to other fields (e.g. symbolic dynamics) will be reviewed. In doing so, we give partial solutions to problems 27 and 28 from "Hyperidentities and Clones"

研究动机与目标

• 解决在相似类型背景下，特别是针对二元运算的超恒等式的有限基问题。
• 检验由一个超恒等式和相似类型生成的等式理论是否可有限公理化。
• 研究超恒等式与符号动力学之间的联系，以及在电路优化中的应用。
• 为《超恒等式与类》中的问题27和28提供部分解决方案。
• 分析刚性树的可计算性与递归结构，以探讨有限基可判定性。

提出的方法

• 使用二阶逻辑将超恒等式形式化为函数变量上的全称量化等式。
• 应用项重写与约化技术，简化自由代数中的词，尤其关注模2的重复平方与幂。
• 采用超代入与词代数方法，分析等式基的结构。
• 利用如 $x^2y^3z = x^2y^5z$ 和 $x^2y^2x^2z = x^2y^2x^4z$ 等恒等式约简复杂项，以限制非等价形式的数量。
• 分析由 $xxyyz = xxyxxyz$ 定义的簇，证明其相对自由的二生成半群是有限的。
• 探索与代数理论及Lawvere对类的范畴框架之间的联系。

实验结果

研究问题

• RQ1 给定一对 $<E, \tau>$，其中 $E$ 为超恒等式，$\tau$ 为相似类型，是否可判定其生成的等式理论是否可有限公理化？
• RQ2 在单个二元运算上，超结合性超恒等式是否可有限公理化？若可，其最小基为何？
• RQ3 词中重复平方模式如何影响由超恒等式导出的簇中自由代数的有限生成性？
• RQ4 有限基问题与符号动力学之间存在何种关系，特别是在无限词与有向集的语境下？
• RQ5 对类的范畴解释与代数理论是否有助于解决有限基问题的可判定性？

主要发现

• 为相似类型 $<2>$ 中的超结合性确立了由五个等式构成的有限基，反驳了早期关于无限公理化不可判定的猜想。
• 由 $xxyyz = xxyxxyz$ 定义的簇产生了一个有限的相对自由二生成半群，表明其具有有限公理化性。
• 对词中幂的模2约简技术（例如，将 $Z(x,y)$ 约简为 $Z'(x,y)$，其中指数模2）将非等价项的数量限制为有限多个。
• 对 $xxyyz = xxyxxyz$ 和 $xyyzz = xyzzyzz$ 的分析，为《超恒等式与类》中的问题27和28提供了部分解决方案。
• 刚性树的概念与可计算性相关联，表明若刚性树构成非递归集合，则有限基问题可能不可判定。
• 识别出与符号动力学及电路优化（如k选n电路）的联系，作为未来有前景的研究方向。