[論文レビュー] Juggling card sequences

Steve Butler, Fan Chung+2 more|arXiv (Cornell University)|Apr 6, 2015

Algorithms and Data Compression参考文献 9被引用数 5

ひとこと要約

本稿では、各カードがボール順序の巡回置換に対応するカード列によって誘導される置換を通じて、ジャグリングパターンを組合せ的モデルとして表現する『ジャグリングカード列』を導入する。このモデルにより、n枚のカードからなるランダムな列が単一のb-サイクル置換を生成する確率が、nに依存せずに正確に1/bであることが示され、群に基づくランダムウォークにおける一様定常分布との深い関係が明らかになる。

ABSTRACT

Juggling patterns can be described by a sequence of cards which keep track of the relative order of the balls at each step. This interpretation has many algebraic and combinatorial properties, with connections to Stirling numbers, Dyck paths, Narayana numbers, boson normal ordering, arc-labeled digraphs, and more. Some of these connections are investigated with a particular focus on enumerating juggling patterns satisfying certain ordering constraints, including where the number of crossings is fixed.

研究の動機と目的

• ジャグリングカード列を、周期的ジャグリングパターンをモデル化するための組合せ的枠組みとして形式化すること。
• ジャグリングカード列によって誘導される置換の代数的・組合せ的構造を調査すること。
• 特定の置換型、特に固定されたサイクル構造や交差数をもつものを生成するカード列を数えること。
• ジャグリングカード列とスターリング数、Dyckパス、Narayana数などの組合せ的対象との関係を探索すること。
• 驚くべき不変性を確立すること：任意の列長nに対して、ランダムなカード列が単一のb-サイクルを誘導する確率は正確に1/bである。

提案手法

• b個のボールに対して、各カードC_iが置換(i i−1 … 1)を誘導するように、ジャグリングパターンをカード列C_iで表現する。
• 列A = C_{i1}C_{i2}…C_{in}に沿って個々のカード置換を合成し、全体の置換π_Aをモデル化する。
• 置換π_Aのサイクル構造を、サイクル数および最長サイクル長L(σ)によって定義し、σを生成する異なるカード列の数を決定する。
• 第一種スターリング数と関連する組合せ的恒等式を用いて、指定されたサイクル型を持つ置換を生成する列の数を数える。
• 群論的議論を用いて、S_b上の対称群に誘導されるランダムウォークの定常分布が一様であることを証明し、1/bの結果に至る。
• 母関数および包含・排除原理を用いて、固定されたサイクル構造または固定された交差数を持つ列を数える。

実験結果

リサーチクエスチョン

• RQ1 長さnのジャグリングカード列のうち、与えられた置換σを生成するものの数は何か？
• RQ2 長さnのジャグリングカード列のうち、単一のb-サイクル置換を生成するものの数は何か？
• RQ3 固定された交差数または固定されたサイクル構造を持つジャグリングカード列の数は何か？
• RQ4 nが増加する際、誘導される置換π_Aのサイクル型の分布はどのように変化するか？
• RQ5 なぜ任意の列長nに対して、b-サイクル置換が得られる確率が正確に1/bになるのか？

主な発見

• 長さnのランダムなジャグリングカード列が単一のb-サイクル置換を生成する確率は、nに依存せず正確に1/bである。
• L(σ) = k を満たす置換σに対して、σを生成する列の数は∑_{j=b−k}^{b} {n race j} である。ここで{ n race j }は第二種スターリング数である。
• b-サイクルを誘導する列の数は、総列数b^nのちょうど1/bに相当する。これは、S_bに誘導されるランダムウォークの定常分布の一様性による。
• この結果はmボール投げに拡張可能であり、mやnにかかわらずb-サイクルが得られる確率は1/bのまま維持される。
• 群論的固定点議論を用いて、任意の生成集合および任意の非ゼロ確率割り当てに対して、S_b上のカード列によるランダムウォークの定常分布が一様であることが証明された。
• 制限付きの極限分布∑_{ℓ} [b race ℓ]/b! への収束は速く、有限nでは「端のケース」以外はすべて極限から大きく外れない。