[论文解读] Virtual Extension of Temperley--Lieb Algebra

Yong Zhang, Louis H. Kauffman+1 more|ArXiv.org|Oct 22, 2006

Geometric and Algebraic Topology参考文献 14被引用 10

一句话总结

本文引入了虚拟 Temperley–Lieb 代数（vTL），作为包含虚拟 braid 群中虚拟交叉的 Temperley–Lieb 代数的代数扩展。通过在 TL 幂等元与虚拟交叉之间定义混合关系，作者建立了 vTL 与 Brauer 代数之间的联系，表明由置换算符及其部分转置生成的代数实现了 vTL 结构及其商代数，在量子信息与扭结不变量中具有应用。

ABSTRACT

The virtual knot theory is a new interesting subject in the recent study of low dimensional topology. In this paper, we explore the algebraic structure underlying the virtual braid group and call it the virtual Temperley--Lieb algebra which is an extension of the Temperley--Lieb algebra by adding the group algebra of the symmetrical group. We make a connection clear between the Brauer algebra and virtual Temperley--Lieb algebra, and show the algebra generated by permutation and its partial transpose to be an example for the virtual Temperley--Lieb algebra and its important quotients.

研究动机与目标

• 通过将 Temperley–Lieb 代数扩展以包含来自虚拟 braid 群的虚拟交叉，形式化虚拟 braid 群背后的代数结构。
• 通过定义的代数关系，阐明虚拟 TL 代数与 Brauer 代数之间的关系。
• 证明由置换算符及其部分转置生成的代数能够具体实现虚拟 TL 代数及其商代数。
• 探索虚拟 TL 代数在量子信息协议与虚拟扭结不变量中的应用。

提出的方法

• 将虚拟 TL 代数（vTL_n）定义为通过添加满足 VCR 和混合 VBR 关系的虚拟交叉生成元，对标准 TL 代数的扩展。
• 通过施加禁止移动关系（F1 和 F2）将焊接的和无限制的虚拟 TL 代数定义为 vTL_n 的商代数。
• 使用张量积希尔伯特空间上的算符，构建虚拟 TL 代数的图解表示。
• 定义作用于张量积第二因子的部分转置算符 Θ₂，从而导出算符 P* = Θ₂∘P，证明其为满足 TL 代数关系的幂等元。
• 证明由置换算符 P 和 P* 生成的代数同构于 Brauer 代数 D_n(d)，从而在 vTL 与 Brauer 代数之间建立直接联系。
• 推导出 braid 表示 ρ_± = 1 + b_±P*，其中 b_± = -1/2(d ∓ √(d²−4))，确认其与 vTL 关系的一致性。

实验结果

研究问题

• RQ1 如何将 Temperley–Lieb 代数扩展以包含来自虚拟 braid 群的虚拟交叉？
• RQ2 虚拟交叉相对于 TL 幂等元必须满足何种代数关系，才能确保与虚拟 braid 群表示的一致性？
• RQ3 Brauer 代数与虚拟 TL 代数之间有何关系？在何种条件下前者可作为后者的商代数出现？
• RQ4 由置换算符及其部分转置生成的代数能否实现虚拟 TL 代数及其商代数？
• RQ5 虚拟 TL 代数对量子信息协议与虚拟扭结不变量有何影响？

主要发现

• 虚拟 Temperley–Lieb 代数 vTL_n(d) 被定义为在 TL_n(λ) 基础上添加满足 VCR 和 VBR 关系的虚拟交叉生成元的扩展，其中 λ = d。
• 由置换算符 P 及其部分转置 P* 生成的代数满足 vTL 关系，且同构于 Brauer 代数 D_n(d)。
• 算符 P* = 1 - P_*, 其中 P_* 是 P 的部分转置，为满足 P_*² = dP_* 的幂等元，从而确认其在 TL 代数结构中的作用。
• braid 表示 ρ_± = 1 + b_±P*，其中 b_± = -1/2(d ∓ √(d²−4))，为 vTL 代数中虚拟 braid 群的一致实现。
• 禁止移动（F1）和（F2）在代数上分别表示为 P_i P*_i+1 P*_i = P*_i+1 P*_i P_i+1 和 P*_i P*_i+1 P_i = P_i+1 P*_i P*_i+1。
• 当 d=2 且 a=b=-1 时，由 P 和 P* 生成的代数成为无限制虚拟 TL 代数 uTL_n(2)，确认其作为 vTL_n 的商代数的角色。