[論文レビュー] Another combinatorial proof of a result of Zagier and Stanley

Ricky X. F. Chen, Christian M. Reidys|arXiv (Cornell University)|Feb 26, 2015

Genome Rearrangement Algorithms参考文献 34被引用数 3

ひとこと要約

この論文は、ZagierとStanleyが示した結果について、$n$-サイクル $\omega$ で $\omega(12\cdots n)$ がちょうど $k$ 個のサイクルを持つものの数について、組合せ証明を提示する。$n-k$ が奇数のときはその数がゼロであり、偶数のときは $\frac{2C(n+1,k)}{n(n+1)}$ である。ここで $C(n,k)$ は第1種の無符号スターリング数である。証明では平面順列を導入し、転置作用を用いて超過度を分析する。また、1面超マップの再帰関係を反射原理を用いて精緻化する。

ABSTRACT

In this paper, we present another combinatorial proof for the result of Zagier and Stanley, that the number of $n$-cycles $\omega$, for which $\omega(12\cdots n)$ has exactly $k$ cycles is $0$, if $n-k$ is odd and $\frac{2C(n+1,k)}{n(n+1)}$, otherwise, where $C(n,k)$ is the unsigned Stirling number of the first kind. To this end, we generalize permutations to plane permutations and study exceedances via a natural transposition action on plane permutations. Furthermore, based on a reflection principle argument, we give a refinement of a recurrence satisfied by the numbers counting one-face hypermaps which was recently obtained by Chapuy by counting bipartite unicellular maps.

研究の動機と目的

• 既知の結果である置換におけるサイクル数に関する組合せ的証明を代替的に提供すること。
• 超過度の分析を容易にするために、置換を平面順列に一般化すること。
• Chapuyが最近導出した再帰関係を反射原理を用いて精緻化すること。
• 平面順列における転置作用と置換の積におけるサイクル構造との間の関係を確立すること。

提案手法

• 標準的な置換の一般化として平面順列の概念を導入すること。
• 超過度の分析とその分布を調べるために、平面順列における転置作用を定義すること。
• 反射原理を適用して、1面超マップの個数に関する精緻化された再帰関係を導出すること。
• 母関数と組合せ的恒等式を用いて、平面順列と第1種のスターリング数との関係を確立すること。
• 置換の積 $\omega(12\cdots n)$ の構造を活用し、組合せ的対称性を用いてサイクル数を分析すること。
• 転置ダイナミクスを通じた双対写像に類似した議論を用いて、$n-k$ が奇数のときの消滅条件を証明すること。

実験結果

リサーチクエスチョン

• RQ1 積 $\omega(12\cdots n)$ において $n-k$ が奇数のときにサイクル数が消える背後にある組合せ的構造は何か？
• RQ2 平面順列を用いて、置換の積における超過度をどのようにモデル化し分析できるか？
• RQ3 Chapuyが最近導出した1面超マップの再帰関係を、反射原理を適用して精緻化できるか？
• RQ4 サイクル数の公式における係数 $\frac{2C(n+1,k)}{n(n+1)}$ の明確な組合せ的解釈は何か？
• RQ5 平面順列における転置作用が、$\omega(12\cdots n)$ におけるサイクル構造の情報をどのように符号化するか？

主な発見

• $\omega(12\cdots n)$ がちょうど $k$ 個のサイクルを持つような $n$-サイクル $\omega$ の数は、$n-k$ が奇数のときはゼロである。
• $n-k$ が偶数のとき、そのような $\omega$ の数は $\frac{2C(n+1,k)}{n(n+1)}$ である。ここで $C(n+1,k)$ は第1種の無符号スターリング数である。
• 平面順列の導入により、転置作用を通じた超過度の分析のための新しい枠組みが得られた。
• 反射原理を用いて、Chapuyの結果を拡張する形で、1面超マップの個数に関する精緻化された再帰関係が導出された。
• 平面順列における転置作用は、$n-k$ が奇数のときの消滅条件を説明する構造的対称性を明らかにした。
• 証明により、平面順列と積 $\omega(12\cdots n)$ のサイクル指数との間の直接的な組合せ的関係が確立された。