[论文解读] A bijection between certain quarter plane walks and Motzkin paths

Karen Yeats|arXiv (Cornell University)|Dec 3, 2014

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

一句话总结

本文提出了一类6步四分平面行走（使用步骤→, ↘, ↓, ←, ↖, ↑）与双色Motzkin路径之间的显式双射，扩展了先前基于生成函数的等价结果。该双射通过逐步变换显式定义，追踪标记和着色步骤，并退化为Eu已知的3行标准杨表与单色Motzkin路径之间的双射。

ABSTRACT

This short note gives a bijection between quarter plane walks using the steps $\{ ightarrow, \searrow, \downarrow, \leftarrow, warrow, \uparrow\}$ and bicoloured Motzkin paths.

研究动机与目标

• 提供四分平面行走（使用步骤{→, ↘, ↓, ←, ↖, ↑}）与双色Motzkin路径之间显式、构造性的双射，以弥补先前基于生成函数证明的空白。
• 将Eu已有的3行标准杨表与单色Motzkin路径之间的双射扩展至具有更多步长类型的更广行走类。
• 定义一个保持行走长度并维持四分平面约束的映射，同时在Motzkin路径中编码步骤颜色和标记信息。
• 证明在双射下，仅使用{↘, ←, ↑}的行走子类的像恰好对应于单色Motzkin路径，从而恢复Eu的结果。

提出的方法

• 定义一个映射φ: S → MM₂，按顺序处理S中行走的每一步，在Motzkin路径中追加或修改带标记和着色的步骤。
• 对行走中的每一步，应用特定规则：根据当前行走步骤，插入带标记的步骤或替换特定类型（红色→或黑色↘）的最右标记步骤。
• 使用双色系统（红/黑）和标记机制（标记/未标记）在Motzkin路径中编码行走步骤类型及其顺序。
• 建立一个逆映射ψ: M₂ → MM₂，忽略标记并重建原始行走，确保复合映射f∘φ为双射。
• 证明在f∘φ下，行走子类Y（仅使用{↘, ←, ↑}）的像仅由红色步骤构成的Motzkin路径组成，与Eu的双射一致。
• 验证映射保持长度不变，且φ(S) = ψ(M₂)，通过复合映射f∘φ确认S与M₂之间的双射关系。

实验结果

研究问题

• RQ1 能否在6步四分平面行走与双色Motzkin路径之间建立显式双射，而不仅限于生成函数等价？
• RQ2 已知的3行标准杨表与单色Motzkin路径之间的双射是否能自然地扩展至具有更多步长类型的更广行走类？
• RQ3 能否定义一个双射，使其保持行走长度并通过对每一步的显式、逐步变换维持四分平面约束？
• RQ4 是否存在全双射的一个自然限制，能恢复Eu对仅使用{↘, ←, ↑}的行走的早期结果？
• RQ5 能否修改双射以保持高度边界，例如将行走限制在三角形内，将路径限制在固定高度的条带内？

主要发现

• 复合映射f∘φ: S → M₂是6步四分平面行走类与双色Motzkin路径之间保持长度的双射。
• f∘φ在子类Y（仅使用{↘, ←, ↑}的行走）上的限制恰好产生仅由红色步骤构成的单色Motzkin路径类。
• 双射φ是单射且保持长度，其在像上的显式逆φ⁻¹存在，且像φ(S)等于ψ(M₂)，其中ψ从双色带标记路径重构行走。
• 该构造在仅使用红色步骤时，作为特例恢复了Eu关于3行标准杨表与单色Motzkin路径之间的双射。
• 该双射不保持高度边界（例如，行走限制在三角形内，路径限制在固定高度条带内），表明需采用不同构造以实现此类约束。
• 该方法依赖于对最右标记步骤的替换规则，确保路径始终有效，且可逐步构建逆映射。