[论文解读] Anick-type resolutions and consecutive pattern avoidance

Vladimir Dotsenko, Anton Khoroshkin|arXiv (Cornell University)|Feb 15, 2010

Advanced Combinatorial Mathematics参考文献 15被引用 12

一句话总结

本文提出了一种基于同调动机的组合公式，用于计算避免给定一组连续模式的排列的指数生成函数的乘法逆。基于用于打乱代数的Anick型解析，作者引入了“链”——Goulden–Jackson簇的改进版本——通过符号交替的对合映射推导出简洁的反演公式，将Anick的同调方法从字模式推广至连续排列模式。

ABSTRACT

For permutations avoiding consecutive patterns from a given set, we present a combinatorial formula for the multiplicative inverse of the corresponding exponential generating function. The formula comes from homological algebra considerations in the same sense as the corresponding inversion formula for avoiding word patterns comes from the well known Anick's resolution.

研究动机与目标

• 开发一种用于连续模式避免的同调框架，将Anick的解析方法从字模式推广至排列模式。
• 为避免一组连续模式的排列的指数生成函数提供一个组合反演公式。
• 在单一代数解析框架内统一并推广现有方法，特别是Goulden–Jackson簇方法与Mendes–Remmel对称函数方法。
• 建立由连续模式关系定义的打乱代数上平凡模的极小自由解析。
• 展示该方法在经典排列模式计数问题中的适用性，包括Wilf等价性与模式出现次数的分布。

提出的方法

• 引入‘链’作为Goulden–Jackson簇的改进组合结构，用于捕捉排列中重叠的禁止模式。
• 通过链上的符号交替对合映射构造链复形，其中微分由对合在条目位置上的作用定义。
• 定义一个分次向量空间 $ C $，其第 $ n $ 个分量由 $ n $-链张成，并通过该对合 $ I $ 在 $ C \boxtimes A $ 上赋予微分结构。
• 利用复形在正度数上的无环性推导欧拉示性数恒等式，从而得出指数生成函数的反演公式。
• 从打乱代数与自由解析的角度重新诠释该构造，证明该解析是极小且唯一的。
• 通过将结合型范畴中的左理想与连续模式避免联系起来，将该框架与范畴理论联系起来，其中左整除性对应于连续出现。

实验结果

研究问题

• RQ1 能否将原本为结合代数设计的Anick型解析，适配于排列中连续模式避免的设定？
• RQ2 如何改进Goulden–Jackson簇方法，以获得模式避免排列生成函数的极小且唯一的解析？
• RQ3 避免连续模式的排列生成函数背后的代数与同调结构是什么？
• RQ4 模式出现次数的分布与Wilf等价性在多大程度上仅依赖于禁止模式的第一个与最后一个元素？
• RQ5 能否将用于字模式的同调框架推广至排列模式，并保持相同的极小性与组合清晰性？

主要发现

• 本文通过链上的符号交替对合映射，推导出避免一组连续模式的排列的指数生成函数的乘法逆的闭式公式。
• 该方法给出了由连续模式关系定义的打乱代数上平凡模的极小自由解析，将Anick解析推广至该情境。
• 对于长度为 $ k $ 且无自重叠的排列 $ \tau $，长度为 $ n $ 的排列中包含 $ k $ 个 $ \tau $ 的个数仅依赖于 $ k $、$ \tau(1) $ 与 $ \tau(k) $，从而证实了Elizalde的猜想。
• 该框架适用于长度为4的模式，可推导出某些长度为3的模式同时避免的新公式，并恢复了关于排列中上升数的已知结果。
• 该构造自然嵌入打乱代数与结合型范畴上左模的理论中，链在解析中扮演极小生成元的角色。
• 同调方法为包含排除原理中的消去现象提供了概念性解释，类似于Mendes–Remmel对称函数方法中的现象，但具有更强的代数基础。