[论文解读] 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

一句话总结

本文建立了广义迭代半直积循环群的不可约表示与带标签根树之间的对应关系，提供了布雷泰利图（Bratteli diagram）、表示计数的递归公式，并提出了快速傅里叶变换（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.

研究动机与目标

• 建立广义迭代半直积循环群 $\mathbb{Z}_{r_1} \wr \cdots \wr \mathbb{Z}_{r_k}$ 的不可约表示的组合索引。
• 利用根树结构开发一种计数不可约表示的递归方法。
• 为这些群上的快速傅里叶变换（FFT）计算推导出一个紧致的上界。
• 将先前关于半直积表示理论的结果推广至任意阶循环群。
• 为未来研究对称群半直积及自适应FFT基底奠定基础。

提出的方法

• 本文使用归纳法和群论函子——特别是子群上的诱导与限制——来构建不可约表示。
• 通过循环群作用下字串的轨道定义不可约表示的遍历方式，利用 $\mathbb{Z}_{r_k}$ 在 $[h]^{r_k}$ 上的轨道来参数化诱导表示。
• 该构造依赖于诱导公式：$\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$，并使用矩阵扩展技术高效计算诱导表示变换。
• 建立了不可约表示与 $\vec{r}|_k$-叉根树上标记轨道之间的双射，从而为该群列构造出布雷泰利图。

实验结果

研究问题

• 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$-轨道代表元的集合。
• 该方法建立了不可约表示与根树上标记轨道之间的双射，推广了针对对称群和循环群半直积的早期结果。