[论文解读] Analytic aspects of the shuffle product

Marni Mishna, Mike Zabrocki|ArXiv.org|Feb 20, 2008

Advanced Combinatorial Mathematics参考文献 13被引用 4

一句话总结

本文提出了一种基于打乱积的语言理论框架，通过定义打乱语法和封闭性质，利用打乱积来建模满足多项式系数线性微分方程的D-有限生成函数。研究证明，由无环打乱依赖关系生成的语言可能产生非D-有限的生成函数，但仍可获得渐近增长界，从而将解析复杂性的组合理解扩展至上下文无关和代数类之外。

ABSTRACT

There exist very lucid explanations of the combinatorial origins of rational and algebraic functions, in particular with respect to regular and context free languages. In the search to understand how to extend these natural correspondences, we find that the shuffle product models many key aspects of D-finite generating functions, a class which contains algebraic. We consider several different takes on the shuffle product, shuffle closure, and shuffle grammars, and give explicit generating function consequences. In the process, we define a grammar class that models D-finite generating functions.

研究动机与目标

• 将形式语言与生成函数之间的组合对应关系，从有理函数和代数函数类扩展至更广范围。
• 解决D-有限生成函数缺乏自然组合表征的问题，这类函数已知满足多项式系数线性微分方程。
• 探究打乱积是否可作为统一算子，用于建模D-有限函数及其解析复杂性。
• 定义一类新语言——具有无环依赖关系的打乱语法——以捕捉更复杂的生成函数，同时保持结构控制。
• 建立此类语言中词数增长的渐近界，即使其生成函数并非D-有限。

提出的方法

• 将打乱积引入为单词上的二元运算，通过交错递归定义，并将其扩展至语言集合。
• 通过形如 $ A \rightarrow w $、$ A \rightarrow BC $ 和 $ A \rightarrow B \shuffle C $ 的产生式规则定义打乱语法，其中 $ w $ 为单词，$ B, C $ 为非终结符。
• 从打乱规则构建依赖图，其中在 $ A \rightarrow B \shuffle C $ 中，从 $ A $ 到 $ B $ 和 $ C $ 添加有向边，并在该图无环时定义无环打乱依赖关系。
• 使用标记算子和微分方程建模满足多项式系数线性常微分方程的生成函数，从而刻画D-有限函数。
• 应用Hadamard积和Laplace-Borel变换，建立普通生成函数与指数生成函数之间的联系。
• 采用椭圆积分（EllipticK, EllipticE）表达特定打乱生成语言的生成函数，如 $ A(z) $ 和 $ C(z) $，以证明其非D-有限性。

实验结果

研究问题

• RQ1 打乱积能否通过形式语言框架用于建模D-有限生成函数？
• RQ2 具有无环依赖关系的打乱语法与D-有限生成函数类之间存在何种关系？
• RQ3 是否存在生成函数非D-有限但依然可获得有意义渐近增长估计的语言？
• RQ4 打乱积在解析复杂性层次上如何将形式语言类系扩展至正则和上下文无关类之外？
• RQ5 语言理论构造能否捕捉全部D-有限函数类，包括非代数的函数？

主要发现

• 由具有无环依赖关系的打乱语法生成的语言，其生成函数可能并非D-有限，如非D-有限的 $ C(z) = \frac{1}{1 - A(z)} $ 所示，其中 $ A(z) $ 涉及椭圆积分。
• 打乱语法生成的Dyck语言与偶长括号语言的打乱生成函数 $ A(z) $ 可用完全椭圆积分 $ \operatorname{EllipticK} $ 和 $ \operatorname{EllipticE} $ 表示，显示出超越性复杂度。
• 尽管非D-有限，由 $ C \rightarrow 1 \mid AC $ 生成的语言 $ C $ 满足 $ \ell(n) = O(n!^2) $，从而确立了紧致的渐近增长界。
• 本文证明，任何D-有限生成函数均可表示为两个具有无环依赖关系的打乱语法生成函数之差。
• 由无环打乱依赖关系生成的语言类，严格扩展了由标记算子生成的语言类，因其包含非D-有限函数。
• 该框架为D-有限函数提供了语言理论解释，为此前缺乏此类表征的函数类建立了组合桥梁。