[論文レビュー] Factorizations of permutations into star transpositions

J. Irving, Amarpreet Rattan|arXiv (Cornell University)|Oct 21, 2006

graph theory and CDMA systems参考文献 2被引用数 9

ひとこと要約

この論文は、対称群 $\mathfrak{S}_n$ 内の任意の置換の最小の直列星因子分解の数について、閉形式の公式を提供する。これは、パックの以前の結果を一般化し、巡回構造に制限を設けない。因子分解とDyck型の列で符号化された根付き平面木との間の双対性を用いて、このような因子分解の数が置換の巡回型にのみ依存することを導出し、巡回型依存性に予期しない対称性が現れるが、その組合せ的解釈は未だ不明である。

ABSTRACT

We give a compact expression for the number of factorizations of any permutation into a minimal number of transpositions of the form $(1 i)$. Our result generalizes earlier work of Pak in which substantial restrictions were placed on the permutation being factored.

研究の動機と目的

• 1 を固定し、すべての巡回長が等しいような置換に限定されていたパックの最小星因子分解の公式を、任意の置換へと拡張すること。
• すべての転置が 1 を含むという事実にもかかわらず、最小の直列星因子分解の数が巡回長にのみ依存するという驚きの対称性を説明すること。
• グラフ埋め込みと木表現を用いて、最小の直列星因子分解を組合せ的に特徴付けること。
• 因子分解、平面マップ、根付き平面木との間の関係を確立し、循環補題を用いて数え上げを可能にする。

提案手法

• 因子分解の構造と目的の置換の巡回分解との関連を示す組合せ的補題を用いて、最小の直列星因子分解を特徴付ける。
• 最小の直列星因子分解と、$m$ 個の白頂点（各巡回に対し1つ）と $n-m$ 個の黒頂点（非ルート要素毎に1つ）を持つ根付き平面木との間の双対性を確立する。白頂点は各巡回の最小要素でラベル付けされる。
• このような木をDyck型の列で符号化する：頂点を初めて訪問するときに +1 を、白頂点 $j$ を最後に訪問するときに $-i^{(j)}$ を記録する（$i$ は $j$ の黒子の数）。
• 循環補題を用いて、有効なDyck列の数を数え、それが最小の直列星因子分解と双対的であることを示す。
• オイラー＝ポワンカレの公式を介して、因子分解と平面マップとの対応を確立し、最小性および直列性の条件を確認する。
• マップ表現を標準的な木の形に簡略化し、余分なエッジラベルを取り除き、数え上げを容易にする。

実験結果

リサーチクエスチョン

• RQ1 一般の置換 $\pi \in \mathfrak{S}_n$ の最小の直列星因子分解の数は、その巡回型が与えられたとき、どのように求められるか？
• RQ2 すべての転置が 1 を含むという事実にもかかわらず、このような因子分解の数が $\pi$ の巡回長にのみ依存する理由は何か？
• RQ3 観察された数え上げの対称性を、1 を含む巡回のラベルに依存しない一様な組合せ的説明が可能か？
• RQ4 最小の星因子分解は平面マップや根付き木とどのように関係するか？この関係を用いて数え上げの公式を導出できるか？
• RQ5 最小因子分解に限らない、より長い因子分解に対しても、直列星因子分解の数の対称性は拡張可能か？

主な発見

• 巡回長 $\ell_1, \ldots, \ell_m$ を持つ置換 $\pi \in \mathfrak{S}_n$ の最小の直列星因子分解の数は、$\frac{(n + m - 2)!}{n!} \ell_1 \cdots \ell_m$ に等しい。
• この公式は巡回長に対して対称的である：1 を含む巡回がどれであるかにかかわらず、数え上げに影響しない。
• この結果は、パックの公式を一般化する。パックの公式は、1 を固定点とし、すべての巡回長が $k \geq 2$ で等しいという制限を設けていたが、本研究では巡回長の均一性の制限と、1 が固定点でなければならないという要件をすべて除去した。
• 1 を除く $k$ 個の固定点を持つ置換に対して、最小の星因子分解の数は $\frac{(n + m - 2(k+1))!}{(n-k)!} \ell_1 \cdots \ell_m$ に等しくなる。ここで $m$ は非固定巡回の数である。
• Dyck型の列から導かれる根付き平面木への双対性を用いて、数え上げが達成された。有効な列の数え上げには循環補題が用いられた。
• 公式の対称性は組合せ的に未だ説明されておらず、置換因子分解とグラフ埋め込みの間のより深い構造的関係が示唆されている。