[论文解读] Loop conditions with strongly connected graphs

Miroslav Olšák|arXiv (Cornell University)|Oct 7, 2018

Advanced Graph Theory Research参考文献 9被引用 4

一句话总结

该论文证明，在代数中存在满足 $ s(r,a,r,e) = s(a,r,e,a) $ 的项，当且仅当存在满足 $ t(x,x,y,y,z,z) = t(y,z,z,x,x,y) $ 的项，从而证明所有由代数长度为一的强连通有向图定义的环条件彼此等价。关键贡献在于一项结构表征：一个种类满足非平凡环条件，当且仅当每个具有代数长度为一的强连通分量的相容图都包含一个环。

ABSTRACT

We prove that the existence of a term $s$ satisfying $s(r,a,r,e) = s(a,r,e,a)$ in a general algebraic structure is equivalent to an existence of a term $t$ satisfying $t(x,x,y,y,z,z)=t(y,z,z,x,x,y)$. As a consequence of a general version of this theorem and previous results we get that each strongly connected digraph of algebraic length one, which is compatible with an operation $t$ satisfying an identity of the from $t(\ldots)=t(\ldots)$, has a loop.

研究动机与目标

• 解决关于四元和六元 Siggers 环条件在一般代数中是否等价的开放问题。
• 通过识别更广泛的等价环条件类，将环引理推广至任意代数。
• 利用相容图的图论性质，为满足非平凡环条件的种类提供结构表征。
• 统一并扩展通用代数与约束满足领域中关于 Taylor 项、Siggers 项和环条件的先前结果。

提出的方法

• 为每个环条件引入一个有向图，其中顶点代表变量，边代表项等式中的变量依赖关系。
• 将有向图的代数长度定义为所有有向圈长度的最大公约数，代数长度为一表示不存在非平凡圈可映射为有向圈。
• 使用原初正向（pp）定义从已有图构造新图，保持代数长度不变，并实现对圈的归纳约化。
• 对圈长度进行归纳，证明任何满足环条件的代数长度为一的强连通有向图必然在基础代数中蕴含一个环。
• 利用通用代数中的已知结果，包括 Taylor 项和 Siggers 项的存在性，建立不同环条件之间的等价性。
• 采用图与代数相容的概念：若图的所有边在代数的所有项运算下保持不变，则称该图为相容图。

实验结果

研究问题

• RQ1 在一般（无限）代数中，四元 Siggers 环条件 $ s(r,a,r,e) = s(a,r,e,a) $ 与六元 Siggers 环条件 $ t(x,x,y,y,z,z) = t(y,z,z,x,x,y) $ 是否等价？
• RQ2 给定代数满足非平凡环条件，何种图的结构条件可保证其相容图中存在环？
• RQ3 能否证明所有由代数长度为一的强连通有向图定义的环条件彼此等价？
• RQ4 四元近似一致项的存在是否蕴含一个不等价于 $ \mathbb{K}_3 $ 环条件的环条件？
• RQ5 当限制在任意代数长度的强连通有向图时，环条件的完整层级结构是什么？

主要发现

• 满足 $ s(r,a,r,e) = s(a,r,e,a) $ 的项的存在性，与满足 $ t(x,x,y,y,z,z) = t(y,z,z,x,x,y) $ 的项的存在性等价，解决了这两个环条件之间等价性的开放问题。
• 每个满足非平凡环条件的种类都包含一个满足 $ s(r,a,r,e) = s(a,r,e,a) $ 的四元 Siggers 项，反之亦然。
• 一个种类满足非平凡环条件，当且仅当每个具有代数长度为一的强连通分量的相容图都包含一个环。
• 针对代数长度为一的有向图的环引理可推广至所有代数，而不仅限于有限代数，从而将先前针对有限代数的结果扩展至一般情形。
• 由代数长度为一的强连通有向图定义的环条件类，在原初正向解释框架下形成单一等价类。
• 本文提供了一个反例，表明四元近似一致项并不蕴含任何超出 $ \mathbb{K}_3 $ 条件的环条件，因此该问题仍需进一步研究。