[論文レビュー] On inequivalent factorizations of a cycle

Gregory Berkolaiko, J M Harrison+1 more|arXiv (Cornell University)|Sep 20, 2008

graph theory and CDMA systems参考文献 20被引用数 5

ひとこと要約

本稿は、$n$-サイクル $(1\,2\ldots n)$ の最小因子分解を、指定された頂点次数を持つ根付き平面木に視覚的双対写像することで、同値でない因子分解の正確な数え上げを可能にする。主な貢献は、量子コヒーレント輸送における軌道相関をモデル化するために不可欠な、与えられた数のヘッドとテイルをもつ因子分解の数の母関数を導出することであり、加えて、サイクルの集合が最小因子分解をなすための条件を完全に特定することにある。

ABSTRACT

We introduce a bijection between inequivalent minimal factorizations of the n-cycle (1 2 ... n) into a product of smaller cycles of given length, on one side, and trees of a certain structure on the other. We use this bijection to count the factorizations with a given number of different commuting factors that can appear in the first and in the last positions, a problem which has found applications in physics. We also provide a necessary and sufficient condition for a set of cycles to be arrangeable into a product evaluating to (1 2 ... n).

研究の動機と目的

• $n$-サイクルの最小因子分解と、因子分解型 $\boldsymbol{\alpha}$ から導かれる次数制約を満たす根付き平面木との間の双対写像を確立すること。
• 第一（ヘッド）および最後（テイル）の位置に現れる異なるサイクルの指定された数をもつ同値でない最小因子分解の数を数えること。これは半古典的量子輸送に関連する。
• サイクルの集合が $n$-サイクルの最小因子分解をなすための必要十分条件を提供すること。
• カクタスと木に基づく幾何的・視覚的アプローチを用いて、既存のサイクル因子分解に関する結果を統一的かつ簡略化すること。
• 転置に限らない一般の置換への因子分解数え上げの適用を拡張し、量子輸送および透過確率の高次モーメントに関連してその意義を明らかにすること。

提案手法

• 円に内接する多角形の幾何的変換と多角形の膨張を用いて、$n$-サイクルの最小因子分解と、サイクル型 $\boldsymbol{\alpha}$ に従って頂点次数が決定される根付き平面木との一対一対応を構築する。
• 頂点を共有する多角形からなる平面グラフ（カクタス）を、接する角を分離し、円弧をカットし、多角形を頂点に縮小することで木に変換する。
• 木の頂点を、指定された葉から反時計回りに走査することで得られるタイプ（$h$ または $t$）に従って多角形に膨張させることで、元のカクタスを再構成する逆のプロセスを実行する。
• この双対写像を用いて、$h_j$ 個の $j$-サイクルのヘッドと $t_j$ 個の $j$-サイクルのテイルをもつ同値でない最小因子分解の数 $\widetilde{H}_{\boldsymbol{h},\boldsymbol{t}}(\boldsymbol{\alpha})$ の母関数を導出する。
• 既知の平面木の数え上げ結果（Erdélyi と Etherington、Tutte、Stanley）を活用し、タイプ $\boldsymbol{\alpha}$ の同値でない最小因子分解の総数 $\widetilde{H}(\boldsymbol{\alpha})$ を計算する。
• 木-カクタス対応を用いて、サイクルの集合が $n$-サイクルの最小因子分解をなすための必要十分条件（例えば、単連結であること、重複する多角形がないこと）を証明する。

実験結果

リサーチクエスチョン

• RQ1 $n$-サイクルをより小さなサイクルに最小因子分解する方法を、可換な因子の同値性に関して体系的に数えるにはどうすればよいか？
• RQ2 第一および最後の位置に現れる異なるサイクルの指定された数をもつ同値でない最小因子分解の数は何か？
• RQ3 サイクルの集合が最小因子分解をなすために満たすべき組合せ的および位相的条件は何か？
• RQ4 提案された因子分解と平面木の間の双対写像は、特に転置の場合に既知の結果をどのように簡略化または一般化するか？
• RQ5 このアプローチは、$n$-サイクルに限らない一般の置換の因子分解へと拡張可能か？そして、量子輸送理論にどのような意味を持つのか？

主な発見

• サイクル型 $\boldsymbol{\alpha}$ に従って頂点次数が決定される根付き平面木と、$n$-サイクルの最小因子分解との直接的な双対写像が確立され、正確な列挙が可能になる。
• タイプ $\boldsymbol{\alpha}$ の同値でない最小因子分解の総数は、木の列挙から導かれる公式で与えられ、転置の場合および一般の $\boldsymbol{\alpha}$ に対して既知の結果と一致する。
• $h_j$ 個の $j$-サイクルのヘッドと $t_j$ 個の $j$-サイクルのテイルをもつ因子分解の数 $\widetilde{H}_{\boldsymbol{h},\boldsymbol{t}}(\boldsymbol{\alpha})$ の母関数が導出され、これは量子カオス的系における軌道相関のモデル化に不可欠である。
• $n$-サイクルの最小因子分解をなすための必要十分条件は、対応するカクタスが単連結であること、重複する多角形がないこと、次数および連結性の制約を満たすことである。
• 本稿では、同じサイクルからなる2つの因子分解が同値であることを証明しており、因子分解の同値類はその要因の多重集合によって一意に決定されることを示している。
• 本手法は、スプリングァーとアイビングの結果を再現・拡張する統一的で視覚的なフレームワークを提供し、より直感的で幾何的な双対写像を用いる。