[论文解读] Local time for lattice paths and the associated limit laws

Cyril Banderier, Michael Wallner|arXiv (Cornell University)|May 23, 2018

Mathematical Dynamics and Fractals参考文献 13被引用 4

一句话总结

本文提出了一种核方法的新变体，用于推导格路的三元生成函数，追踪长度、最终高度和零点处的局部时间（即穿越x轴的次数）。研究证明，局部时间的渐近行为遵循普适的极限分布律（几何分布、负二项分布、瑞利分布或半正态分布），具体取决于漂移量和路径类型，通过解析组合数学与奇点分析，解决了布朗运动方法无法捕捉的离散参数问题。

ABSTRACT

For generalized Dyck paths (i.e., directed lattice paths with any finite set of jumps), we analyse their local time at zero (i.e., the number of times the path is touching or crossing the abscissa). As we are in a discrete setting, the event we analyse here is '' invisible '' to the tools of Brownian motion theory. It is interesting that the key tool for analysing directed lattice paths, which is the kernel method, is not directly applicable here. Therefore, we introduce a variant of this kernel method to get the trivariate generating function (length, final altitude, local time): this leads to an expression involving symmetric and algebraic functions. We apply this analysis to different types of constrained lattice paths (meanders , excursions, bridges,. . .). Then, we illustrate this approach on 'basketball walks ' which are walks defined by the jumps --2, --1, 0, +1, +2. We use singularity analysis to prove that the limit laws for the local time are (depending on the drift and the type of walk) the geometric distribution, the negative binomial distribution, the Rayleigh distribution, or the half-normal distribution (a universal distribution up to now rarely encountered in analytic combinatorics).

研究动机与目标

• 开发一种分析有向格路中零点处局部时间的方法，该参数在布朗运动方法中不可见。
• 将核方法扩展至处理局部时间，克服标准生成函数技术的局限性。
• 推导编码长度、最终高度和局部时间的广义Dyck路径的三元生成函数。
• 利用奇点分析，建立不同路径类型（偏置游走、首返、桥、一般游走）下局部时间的极限分布律。
• 在跳跃集为{-2,-1,0,1,2}的“篮球游走”上验证该方法，表明其收敛于瑞利分布或半正态分布。

提出的方法

• 开发一种改进的核方法，用于推导包含长度、最终高度和零点处局部时间三元生成函数。
• 应用Omega算子处理涉及代数函数的函数方程，实现对局部时间统计量的提取。
• 对生成函数应用奇点分析，聚焦于z=ρ处的主导奇点，通过Puiseux展开揭示平方根行为。
• 该方法识别出1/F(z,q)具有g(z,q) + h(z,q)√(1−z/ρ)的结构，其中g和h为解析函数，且满足g(ρ,1)=0。
• 在z=ρ和q=1处对g和h进行渐近分析，确定极限分布律：桥路径对应瑞利分布，零漂移游走对应半正态分布。
• 通过数值模拟在“篮球游走”上验证该方法，显示经验局部时间分布快速收敛至理论极限分布律。

实验结果

研究问题

• RQ1 如何系统分析有向格路中零点处的局部时间（即x轴穿越次数）？
• RQ2 当同时追踪长度、最终高度和局部时间时，格路的生成函数结构是怎样的？
• RQ3 哪些普适的极限分布律控制着不同路径类型和漂移条件下局部时间的分布？
• RQ4 为何标准布朗运动工具在分析格路中离散局部时间时失效？
• RQ5 核方法能否被调整以处理非返回参数（如轴穿越），这些参数无法通过经典首返分解捕捉？

主要发现

• 使用改进的核方法推导出格路的三元生成函数，其表达式由对称函数和代数函数构成。
• 对于桥路径，局部时间的极限分布律为瑞利分布，由z=ρ处gq(ρ,1)<0且h(ρ,1)≠0决定。
• 对于零漂移游走，局部时间的极限分布律为半正态分布，当gq(ρ,1)=gqq(ρ,1)=0且h(ρ,1)=0，但gz(ρ,1)≠0且hq(ρ,1)≠1时出现。
• 该方法成功处理了复杂步长集（如篮球游走，跳跃集为{-2,-1,0,1,2}），并导出明确的渐近分布律。
• 数值模拟证实经验局部时间分布快速收敛至理论上的瑞利分布与半正态分布。
• 该方法揭示局部时间是解析组合数学中的普适参数，其极限分布律取决于漂移量和路径约束，且无法通过布朗运动标度获得。