[論文レビュー] Nonintersecting lattice paths on the cylinder

Markus Fulmek|ArXiv.org|Nov 19, 2003

Theoretical and Computational Physics参考文献 5被引用数 14

ひとこと要約

本稿は、Lindström–Gessel–Viennot (LGV) 法を用いた統一的な組合せ的枠組みを提供し、特に壊れ者ウォークァー（vicious walkers）に対して、円筒格子上の交差しない格子路の公式を証明・一般化する。Forresterの熱力学的極限における自由エネルギーの漸近的公式に小さな誤りが含まれていたのを是正し、偶数および奇数のパス数に対して一様に有効な等間隔壊れ者ウォークァーの明示的列挙公式を導出し、サイトあたりの自由エネルギーの閉形式漸近的表現を提示する。

ABSTRACT

We show how a formula concerning ``vicious walkers'' (which basically are nonintersecting lattice paths) on the cylinder given by P.J. Forrester can be proved and generalized by using the Lindström--Gessel--Viennot method, after having things set up in the right way. We apply the corresponding results to the (thermodynamic limit of the) free energy of the ``lock step model of vicious walkers'', thus completing (and in one instance correcting) the work of Forrester . Moreover, we also show how a related formula given by I. Gessel and C. Krattenthaler can be obtained from the same ``point of view''.

研究の動機と目的

• Forresterの円筒格子上の交差しない格子路の公式を、Lindström–Gessel–Viennot法を用いて統一的かつ簡潔に証明すること。
• Forresterの公式を、以前未解決であった偶数個の交差しないパスのケースに一般化すること。
• 壊れ者ウォークァーのロックステップモデルの熱力学的極限における自由エネルギーの漸近的公式に、小さな誤りが含まれていたのを是正すること。
• GesselとKrattenthalerの円筒分割の公式が、同じLGVに基づく枠組みからどのように導かれるかを示すこと。
• 等間隔壊れ者ウォークァーのr個のパスに対する明示的列挙公式を導出し、パス長が無限大に近づく際の漸近的挙動を明らかにすること。

提案手法

• 格子 $ℤ \times \mathbb{Z}_M$ 上の円筒格子にLindström–Gessel–Viennot法を適応させるために、適切な頂点および辺の重みを定義する。
• 指定された始点および終点を持つ交差しないr重格子路の列挙に、パス重みに基づく行列式による公式を用いる。
• 負の符号を排除し、特に偶数rの場合に列挙の有用性を高めるために、母関数に修正された重みを導入する。
• 得られた和に対してリーマン和近似を適用し、熱力学的極限における漸近的表現を導出する。
• 主となる行列式公式から係数を抽出することで、シフトされた交差しないパスのためのGesselとKrattenthalerの多重和公式との関係を明らかにする。
• 三角関数和における対称性と主要項の解析を用いて、サイトあたりの自由エネルギーの極限値を評価する。

実験結果

リサーチクエスチョン

• RQ1 Forresterの円筒格子上の交差しない格子路の公式は、LGV法を用いてどのように証明・一般化できるか？
• RQ2 特に偶数個のウォークァーの場合に、ロックステップモデルの壊れ者ウォークァーの熱力学的極限におけるサイトあたりの自由エネルギーの正しい漸近的表現は何か？
• RQ3 LGVフレームワークを用いて、偶数および奇数のパス数に対して一様に等間隔壊れ者ウォークァーの列挙公式を導出できるか？
• RQ4 円筒設定におけるLGV行列式とGesselおよびKrattenthalerのシフト付き交差しないパスの公式との関係は何か？
• RQ5 Forresterの公式 (2.33) における自由エネルギーの偶数の場合の正確な是正は何か？

主な発見

• 本稿は、Forresterの公式 (2.33) を熱力学的極限における自由エネルギーについて是正し、$\nu$ が偶数の場合、正しい表現が $F_\nu = -\frac{\log 2}{\nu} - \int_{-1/(2\nu)}^{1/(2\nu)} \log(\cos(2\pi t)) \, dt$ であることを示した。
• 奇数 $\nu$ の場合、是正された自由エネルギーは $F_\nu = -\frac{\log 2}{\nu} - 2\int_{-1/(4\nu)}^{1/(4\nu)} \log(\cos(2\pi t)) \, dt$ である。
• 等間隔壊れ者ウォークァーのr個のパスに対する列挙公式が、偶数および奇数のrについて閉形式で導出され、偶数の場合の結果は新規のものである。
• このようなパスの数の漸近的挙動が、行列式和のリーマン和近似によって得られた自由エネルギーの式によって支配されることを示した。
• LGV法は、GesselとKrattenthalerの多重和公式を総当たりで足し合わせるのとは対照的に、主公式 (16) の直接的かつ明快な導出を可能にした。
• 生成関数における係数抽出を通じて、LGV行列式とGesselおよびKrattenthalerの公式との間の関係を確立し、両手法の整合性を確認した。