[论文解读] Perfect Codes for Generalized Deletions from Minuscule Elements of Weyl Groups

Manabu Hagiwara|arXiv (Cornell University)|Oct 23, 2018

DNA and Biological Computing参考文献 2被引用 6

一句话总结

本文建立了编码理论中插入/删除（ID）码与类型 A 和 B 的 Weyl 群的极小元素之间的新联系。通过利用 Weyl 群反射作用于极小元素，对标准插入操作进行推广，引入了平衡相邻插入（BAIs），并证明了对任意长度为 n 的位串，此类插入的数量与位串内容无关，从而形成一个组合结构，等价于加权 Catalan 数的 Dyck 路径之和，t 次插入的基数为 $inom{n+2t}{t}$。

ABSTRACT

This paper discusses a connection between insertion/deletion (ID) codes and minuscule elements of Weyl groups.

研究动机与目标

• 建立插入/删除（ID）码与 Weyl 群极小元素之间的结构联系。
• 通过 Weyl 群反射作用于极小元素，推广位串上的标准插入操作。
• 证明任意长度为 n 的位串中，广义插入的数量与位串内容无关。
• 利用 Dyck 路径和 Catalan 数推导此类插入数量的闭式表达。
• 为将插入模型扩展到 A 和 B 以外的其他 Weyl 群类型奠定基础。

提出的方法

• 通过类型 B 的反射的约化表达式的右子词作用于极小元素，定义广义插入。
• 引入平衡相邻插入（BAIs）作为标准插入的推广，其中插入受限制以保持类似 Dyck 路径结构的平衡。
• 利用极小元素与位串之间的双射，将群论操作转化为位串变换。
• 应用字典序最小性与递归分解，刻画给定位串中所有可能插入的集合。
• 基于 Dyck 路径计数和 Catalan 数对插入集合进行划分，使用 $\mathrm{DYC}(c_i, y_i)$ 表示长度为 $2c_i$ 且初始位为 $y_i$ 的 Dyck 路径。
• 利用恒等式 $\sum_{c_1+\cdots+c_{n+1}=t} (c_{n+1}+1)C_{c_1}\cdots C_{c_{n+1}} = \binom{n+2t}{t}$ 证明任意 n 位串中 t 次插入的总数为 $\binom{n+2t}{t}$。

实验结果

研究问题

• RQ1 能否通过 Weyl 群元素作用于极小元素来推广位串上的标准插入操作？
• RQ2 位串中广义插入的数量是否依赖于位串内容，或仅取决于其长度和插入次数？
• RQ3 广义插入过程背后的组合结构是什么？它与 Dyck 路径和 Catalan 数有何关联？
• RQ4 能否以闭式表达任意 n 位串中 t 次插入集合的基数？
• RQ5 如何将极小元素的框架扩展到定义其他 Weyl 群类型中的插入操作？

主要发现

• 任意 n 位串中 t 次平衡相邻插入（BAIs）的数量与位串内容无关，基数为 $\binom{n+2t}{t}$。
• 位串 $\mathbf{y}$ 中所有 t-BAIs 的集合被划分为由非负整数 $c_1, \dots, c_{n+1}$ 索引的子集，其和为 t，每个子集 $\mathrm{DYC}(\mathbf{y}; c_1, \dots, c_{n+1})$ 的大小为 $C_{c_1} C_{c_2} \cdots C_{c_n} \cdot \#\mathbb{Y}_{c_{n+1},c_{n+1}}$。
• 全零位串 $\mathbf{0}^n$ 中 t 次插入集合的基数为 $\binom{n+2t}{t}$，与半长为 $n+t$ 的 Dyck 路径数量一致。
• 通过插入模型，组合性地证明了恒等式 $\sum_{c_1+\cdots+c_{n+1}=t} (c_{n+1}+1)C_{c_1}\cdots C_{c_{n+1}} = \binom{n+2t}{t}$。
• 该构造表明广义插入模型保持对称性：对任意 $\mathbf{y} \in \{0,1\}^n$，有 $\#\mathrm{DYC}(\mathbf{y}; c_1, \dots, c_{n+1}) = \#\mathrm{DYC}(\mathbf{0}^n; c_1, \dots, c_{n+1})$。
• 该框架通过将标准 ID 码嵌入极小元素和 Weyl 群的表示论结构中，推广了标准 ID 码。