源自泛不变量的大颜色展开

与结相关的着色 Jones 多项式允许一个结不变量的展开，称为大颜色展开或 Melvin-Morton-Rozansky 展开。我们将展示如何从 Bar-Natan 和 Van der Veen 引入的源于 Hopf 代数 $\mathbb{D}$ 的泛不变量中推导出这一展开。我们利用 Mathematica 实现来计算给定结 $\mathcal{K}$ 的泛不变量 $\mathbf{Z}_{\mathbb{D}}(\mathcal{K})$ 至某一阶，从而允许对我们的理论结果进行实验验证。