[论文解读] Discrete and continuous exponential transforms of simple Lie groups of rank two

Iryna Kashuba, J. Patera|ArXiv.org|Feb 5, 2007

Advanced Algebra and Geometry参考文献 10被引用 4

一句话总结

本论文通过将一维指数函数推广为称为 E-函数的多变量特殊函数，为秩为二的紧致单李群 SU(3)、O(5)/Sp(4) 和 G(2) 上的类函数引入了离散与连续的指数变换（E-变换）。该方法利用 Weyl 群的偶子群进行对称化，实现了在基本域上具有任意密度和对称性的均匀离散化网格的高效展开，采用正交基展开。

ABSTRACT

We develop and describe continuous and discrete transforms of class functions on compact simple Lie group $G$ as their expansions into series of uncommon special functions, called here $\E$-functions in recognition of the fact that the functions generalize common exponential functions. The rank of $G$ is the number of variables in the $\E$-functions. A uniform discretization of the decomposition problem is described on lattices of any density and symmetry admissible for the Lie group $G$.

研究动机与目标

• 将一维指数函数推广为紧致李群秩二上的多变量特殊函数（E-函数）。
• 利用 E-函数作为基本域上的正交基，发展类函数的连续与离散变换。
• 为这些变换在任意密度和与李群结构兼容的对称性的格点上提供统一的离散化方案。
• 通过与使用更大对称性群的传统傅里叶展开进行比较，建立 E-变换的高效性，特别是其收敛特性。
• 通过 Weyl 群与偶 Weyl 群对称性，探讨 E-函数与其他特殊函数（C-函数与 S-函数）之间的关系。

提出的方法

• 将 E-函数定义为紧致半单李群的 Weyl 群偶子群上 U(1) 特征的对称化乘积。
• 通过在群的基本域 F 上对类函数展开为 E-函数的级数，构建连续变换。
• 通过在有限网格 FM 上采样基本域实现离散变换，其中 FM 对应该群的有限阿贝尔子群。
• 利用仿射 Weyl 群与偶仿射 Weyl 群的作用，确保 E-函数在 F 上的积分与在 FM 上的求和具有正交性。
• 利用李群的权格来匹配数据格的几何结构，从而实现连续变换的高效离散化。
• 通过 Weyl 群轨道与对称化，将 E-函数与 C-函数和 S-函数关联，突出其正交性与仿射 Weyl 群下的对称性等共同性质。

实验结果

研究问题

• RQ1 如何将一维指数函数推广为紧致李群秩二上的多变量函数？
• RQ2 偶 Weyl 群在为秩二李群的类函数构造 E-函数正交基中起什么作用？
• RQ3 在不同密度与对称性的格点上对 E-变换进行离散化，如何影响函数展开的精度与效率？
• RQ4 由于使用了更大的对称性群，E-变换在收敛性与谐波成分方面如何优于传统傅里叶展开？
• RQ5 从群论构造与函数性质的角度，E-函数与 C-函数和 S-函数之间有何关系？

主要发现

• E-函数被定义为在李群的偶 Weyl 群上对 U(1) 特征的对称化乘积，将 e^{imx} 推广至高秩李群。
• 连续 E-变换在基本域 F 上将类函数展开为 E-函数的正交级数，系数通过在 F 上的积分计算。
• 离散 E-变换在 F 内使用有限网格 FM，其中 M 选择 G 的一个有限阿贝尔子群，从而实现数字数据的精确表示。
• E-函数在 F 上的积分与在 FM 上的求和均保持正交性，正交性由偶仿射 Weyl 群的作用所保持。
• 对于秩二群 SU(3)、O(5) 和 G(2)，E-变换被显式构造，并因其更大的对称性群（|W| > 1）而表现出高效性，从而减少了所需谐波的数量。
• 该方法可将数据格结构与李群的权格相匹配，实现具有任意密度与对称性的统一离散化。