[論文レビュー] Generalized iterated wreath products of cyclic groups and rooted trees correspondence

Mee Seong Im, Angela Y. Wu|arXiv (Cornell University)|Sep 2, 2014

Genetic Neurodegenerative Diseases被引用数 3

ひとこと要約

本稿は、巡回群の一般化された反復ワルフィー積の既約表現とラベル付き根付き木の間の対応関係を確立し、ブラッテリ図、表現数の再帰的公式、および高速フーリエ変換（FFT）計算のための新たな上界を提示する。主な貢献は、木構造による体系的な既約表現のインデキシングであり、既存の文献で最もきついとされる上界を持つ効率的なFFTアルゴリズムの実現を可能にする。

ABSTRACT

Consider the generalized iterated wreath product $\mathbb{Z}_{r_1}\wr \mathbb{Z}_{r_2}\wr \ldots \wr \mathbb{Z}_{r_k}$ where $r_i \in \mathbb{N}$. We prove that the irreducible representations for this class of groups are indexed by a certain type of rooted trees. This provides a Bratteli diagram for the generalized iterated wreath product, a simple recursion formula for the number of irreducible representations, and a strategy to calculate the dimension of each irreducible representation. We calculate explicitly fast Fourier transforms (FFT) for this class of groups, giving literature's fastest FFT upper bound estimate.

研究の動機と目的

• 一般化された反復ワルフィー積の巡回群の既約表現に対する組合せ的インデキシングを確立すること。
• 根付き木構造を用いた再帰的メソッドにより、既約表現の数を数えること。
• これらの群における高速フーリエ変換（FFT）計算のタイトな上界を導出すること。
• 巡回群の次数が任意である場合に、先行研究のワルフィー積表現理論を一般化すること。
• 将来の対称群のワルフィー積および適応FFT基底の研究の基盤を築くこと。

提案手法

• 本稿は、反復ワルフィー積の部分群における誘導と制限という群論的ファンクターを用い、帰納法により既約表現を構成する。
• 文字列の軌道を用いた既約表現の走査を定義し、$[h]^{r_k}$ 上の $\mathbb{Z}_{r_k}$-軌道を用いて誘導表現をパrameter化する。
• 誘導公式 $\mathcal{R}_{W(\vec{r}|_k)} = \{\mathop{\mathrm{Ind}}_{W(\vec{r}|_{k-1})\rtimes\mathbb{Z}_{d_x}}^{W(\vec{r}|_k)}(\rho_{x_1}\otimes\cdots\otimes\rho_{x_{r_k}}\otimes\tau)\}$ に依存する。ここで $x$ は軌道代表元を走査し、$\tau$ は $\mathbb{Z}_{d_x}$ の既約表現を走査する。
• FFT計算は、群代数をブロックに分解し、部分群に再帰的フーリエ変換を適用することで解析され、計算量は $r \cdot T(K^r) + \sum_{\eta \in E} m(r\dim(\eta)^\alpha + \dim(\eta)^2 O(r\log(r/m))) + r m \dim(\eta)^\alpha$ で抑えられる。
• 構造 $G = K^r \rtimes \mathbb{Z}_r$（$K = \mathbb{Z}_m$）を活用し、行列拡張技術を用いて誘導表現変換を効率的に計算する。
• 根付き木のラベル付けの軌道と既約表現との間の全単写像を確立し、群系列のブラッテリ図を構成する。

実験結果

リサーチクエスチョン

• RQ1 一般化された反復ワルフィー積 $\mathbb{Z}_{r_1} \wr \cdots \wr \mathbb{Z}_{r_k}$ の既約表現を体系的にインデキシングし、数える方法は何か？
• RQ2 この群クラスのブラッテリ図の構造は何か？ また、表現理論がどのように反映されているか？
• RQ3 これらの群に対して、改善された計算複雑度上界を持つ高速フーリエ変換アルゴリズムを構築できるか？
• RQ4 部分群からの誘導表現は、構成における根付き木のラベリングとどのように関係するか？
• RQ5 反復ワルフィー積の巡回群におけるFFT計算の、既存の文献で最もタイトな上界は何か？

主な発見

• $W(\vec{r}|_k)$ の既約表現は、高さ $k$ の $\vec{r}|_k$-分岐根付き木上のラベル付けの軌道によってインデキシングされ、完全な組合せ的対応関係が確立される。
• $[h]^{r_k}$ の $\mathbb{Z}_{r_k}$-作用における軌道構造から、既約表現数の再帰的公式が導出される。
• 本稿は、この群クラスに対して、これまでに知られている中で最も高速なFFT上界推定値を提供する。
• 各既約表現の次元は、$\mathbb{Z}_{d_x}$ と $\rho_{x_i}$ を含む誘導表現構成により計算可能であり、$d_x$ は $r_k$ を割り切る。
• 全FFT計算コストは、$r \cdot T(K^r) + \sum_{\eta \in E} m(r\dim(\eta)^\alpha + \dim(\eta)^2 O(r\log(r/m))) + r m \dim(\eta)^\alpha$ で抑えられる。ここで $E$ は $G$-軌道代表元の集合である。
• 本手法により、既約表現と根付き木上のラベル付けの軌道との間の全単写像が確立され、対称群や巡回群のワルフィー積に関する先行研究を一般化する。