arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2305.09030math.CO
收藏

使用符号计算探索广义Dyck路径及其面积

Using Symbolic Computation to Explore Generalized Dyck Paths and Their Areas

AJ Bu, Doron Zeilberger

AI总结:

本文利用Groebner基算法与符号动态规划及微积分相结合,自动推导广义Dyck路径的生成函数及其面积幂次和的生成函数,从而获取面积统计信息。

摘要:

我们展示了Bruno Buchberger开创性的Groebner基算法与我们所称的符号动态规划无缝对接的强大能力,能够自动生成满足枚举所谓广义Dyck游走(即从x轴出发并在x轴结束、且从不低于x轴的二维游走,对于任意给定的步长集合)的生成函数所满足的代数方程。更令人印象深刻的是,我们将其与微积分(Maple非常擅长!)相结合,自动计算这些广义Dyck路径的面积之和的生成函数,甚至能计算面积的任意给定次幂之和的生成函数,从而使我们能够获得关于随机广义Dyck路径下面积的统计信息。

英文摘要:

We show the power of Bruno Buchberger's seminal Groebner Basis algorithm, interfaced, seamlessly, with what we call symbolic dynamical programming, to automatically generate algebraic equations satisfied by the generating functions enumerating so-called Generalized Dyck Walks, i.e. 2D walks that start and end on the x-axis, and never dip below it, for an arbitrary set of steps. More impressively, we combine it with calculus (that Maple knows very well!), to automatically compute generating functions for the sum-of-the-areas of these generalized Dyck paths, and even for the sum of any given power of the areas, enabling us to get statistical information about the area under a random generalized Dyck path.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑