[論文レビュー] A bijection between certain quarter plane walks and Motzkin paths

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

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

ひとこと要約

本稿は、ステップ {→, ↘, ↓, ←, ↖, ↑} を用いる6ステップの四分平面上の歩みのクラスと2色モーツキンパスの間の構成的全単射を提示する。これは、先行する生成関数に基づく等数的結果を拡張するものである。全単射は、マーク付きおよび色付きステップを追跡する段階的変換によって明示的に定義され、これはユーの3行標準ヤング盤と単色モーツキンパスの間の既知の全単射に制限される。

ABSTRACT

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

研究の動機と目的

• 四分平面上の歩み（ステップ {→, ↘, ↓, ←, ↖, ↑} を使用）と2色モーツキンパスの間の明示的かつ構成的な全単射を提供すること。これにより、以前の生成関数に基づく証明における空白を埋める。
• 3行標準ヤング盤と単色モーツキンパスの間のユーの既存の全単射を、より多くのステップタイプを含むより大きな歩みのクラスへと拡張すること。
• 歩みの長さを保ちつつ四分平面制約を維持し、ステップの色とマーク情報がモーツキンパスに符号化されるような写像を定義すること。
• 写像 f∘φ による制限付き歩みクラス Y（{↘, ←, ↑} のみを用いる）の像が、単に赤色ステップのみを用いるモーツキンパスに正確に一致することを示すこと。

提案手法

• 各歩みのステップを順に処理する写像 φ: S → MM₂ を定義し、マーク付きおよび色付き成分を含むモーツキンパスにステップを追加または変更する。
• 各ステップに対して、特定の規則を適用する：現在の歩みステップに応じて、マーク付きステップを挿入するか、特定のタイプ（赤色 → または黒色 ↘）の右端のマーク付きステップを置き換える。
• 赤/黒の2色システムとマーク（マーク付き/マークなし）のメカニズムを用い、歩みステップの種別とその順序をモーツキンパスに符号化する。
• マークを無視し元の歩みを再構成する逆写像 ψ: M₂ → MM₂ を確立し、f∘φ が全単射であることを保証する。
• f∘φ による歩みクラス Y（{↘, ←, ↑} のみを用いる）の像が、単に赤色ステップのみを用いるモーツキンパスを生成することを証明する。
• 写像が長さを保ち、φ(S) = ψ(M₂) が成り立つことを検証し、f∘φ を通じて S と M₂ の間の全単射を確認する。

実験結果

リサーチクエスチョン

• RQ1 生成関数による同等性を超えて、6ステップの四分平面上の歩みと2色モーツキンパスの間の構成的全単射を確立できるか？
• RQ2 3行標準ヤング盤と単色モーツキンパスの間の既知の全単射は、より多くのステップタイプを含むより大きな歩みクラスへ自然に拡張可能か？
• RQ3 歩みの長さを保ち、四分平面制約を維持するような明示的かつ段階的な変換によって、全単射を定義できるか？
• RQ4 完全な全単射の自然な制限として、{↘, ←, ↑} のみを用いる歩みに対してユーの以前の結果が回復されるか？
• RQ5 高さの上限を保つように全単射を変更可能か？例えば、歩みを三角形内に制限し、パスを固定高さの帯に制限するなど。

主な発見

• 写像 f∘φ: S → M₂ は、6ステップの四分平面上の歩みのクラスと2色モーツキンパスの間の長さを保つ全単射である。
• f∘φ を部分クラス Y（{↘, ←, ↑} のみを用いる歩み）に制限すると、単に赤色ステップのみを用いるモーツキンパスのクラスに正確に一致する。
• 全単射 φ は単射かつ長さを保ち、その像上に明示的な逆写像 φ⁻¹ が定義され、φ(S) は ψ(M₂) に等しい。ここで ψ は2色マーク付きパスから歩みを再構成する。
• この構成は、赤色ステップのみを用いる場合にユーの3行標準ヤング盤と単色モーツキンパスの間の全単射を特別なケースとして回復する。
• 全単射は高さの上限（例：歩みを三角形内、パスを固定高さの帯内）を保たないため、このような制約を満たすために別の構成が必要であることを示唆する。
• この方法は、マーク付きステップの右端置換ルールに依存しており、これによりパスが有効なまま保たれ、逆写像が段階的に構成可能になる。