[论文解读] Orthogonality within the Families of C-, S-, and E-Functions of Any Compact Semisimple Lie Group

Robert V. Moody, J. Patera|SHILAP Revista de lepidopterología|Nov 8, 2006

Advanced Algebra and Geometry被引用 9

一句话总结

本文在任意紧致单连通半单李群的极大环面（maximal torus）上，建立了C-、S-和E-函数的连续与离散正交关系——这些函数是余弦、正弦和指数函数的推广。研究证明，当在由环面的有限阿贝尔子群导出的有限网格上进行积分或求和时，这些函数构成正交基，从而实现高效傅里叶型变换，具有平滑插值和相较于标准傅里叶方法的计算优势。

ABSTRACT

The paper is about methods of discrete Fourier analysis in the context of Weyl group symmetry. Three families of class functions are defined on the maximal torus of each compact simply connected semisimple Lie group $G$. Such functions can always be restricted without loss of information to a fundamental region $\check F$ of the affine Weyl group. The members of each family satisfy basic orthogonality relations when integrated over $\check F$ (continuous orthogonality). It is demonstrated that the functions also satisfy discrete orthogonality relations when summed up over a finite grid in $\check F$ (discrete orthogonality), arising as the set of points in $\check F$ representing the conjugacy classes of elements of a finite Abelian subgroup of the maximal torus $\mathbb T$. The characters of the centre $Z$ of the Lie group allow one to split functions $f$ on $\check F$ into a sum $f=f_1+...+f_c$, where $c$ is the order of $Z$, and where the component functions $f_k$ decompose into the series of $C$-, or $S$-, or $E$-functions from one congruence class only.

研究动机与目标

• 在任意紧致单连通半单李群的极大环面上，建立C-、S-和E-函数的连续与离散正交关系。
• 证明当在仿射Weyl群的基本区域上积分，或在由环面的有限阿贝尔子群导出的有限网格上求和时，这些函数构成正交基。
• 展示李群中心的特征标如何将函数分解为若干分量，每个分量仅在某一同余类的C-、S-或E-函数中展开。
• 提供一种高效、具有对称性感知的离散变换框架，适用于多维数据插值与信号处理。
• 通过利用李群中的中心分裂与群论结构，为快速变换算法奠定基础。

提出的方法

• 将C-、S-和E-函数定义为极大环面的李代数上Weyl群或其偶子群的轨道和，推广余弦、正弦和指数函数。
• 利用仿射Weyl群将函数限制在基本区域 $\check{F}$，以确保周期性与对称性不变性。
• 在 $\check{F}$ 内构造有限网格，作为极大环面 $\mathbb{T}$ 的有限阿贝尔子群的共轭类的像，保持 $W_{\text{aff}}$-不变性。
• 通过在这些有限网格上求和，推导出离散正交性，证明C-、S-和E-函数在这些网格上的求和下彼此正交。
• 应用李群中心的中心特征标，将 $\check{F}$ 上的任意函数 $f$ 分解为 $c = |Z|$ 个分量 ($f_k$)，每个分量仅支持于某一同余类的C-、S-或E-函数。
• 利用Weyl群及其偶子群的结构定义E-函数，并确保其正交关系与傅里叶级数类似。

实验结果

研究问题

• RQ1 如何证明C-、S-和E-函数在由极大环面的有限阿贝尔子群导出的有限网格上求和时满足离散正交性？
• RQ2 李群中心在将函数分解为仅在一个同余类的C-、S-或E-函数中展开的分量中起什么作用？
• RQ3 C-、S-和E-函数在 $\partial\check{F}$ 上的边界行为有何不同？这对函数逼近与插值有何影响？
• RQ4 在何种条件下C-、S-和E-函数为实值或纯虚数，这与最长Weyl群元素 $w_{\text{opp}}$ 的奇偶性有何关系？
• RQ5 能否为单李群的积构造混合变换（如CS、CE、SE）？相较于标准C-、S-或E-变换，这些变换可能具有哪些优势？

主要发现

• C-、S-和E-函数在基本区域 $\check{F}$ 内的有限网格上求和时满足离散正交性，这些网格是极大环面的有限阿贝尔子群的共轭类的像。
• 李群的中心 $Z$ 允许将 $\check{F}$ 上的任意函数 $f$ 分解为 $c = |Z|$ 个分量 $f_k$，每个分量仅在某一同余类的C-、S-或E-函数中展开。
• C-函数在 $\partial\check{F}$ 上的法向导数为零，S-函数在 $\partial\check{F}$ 上为零且具有反对称性，而E-函数无此类对称约束。
• 当 $w_{\text{opp}} = -1$ 且为偶数时（例如 $B_{2k}, C_{2k}, D_{2k}, E_8, F_4, G_2$），所有C-、S-和E-函数均为实值；当 $w_{\text{opp}} = -1$ 且为奇数时（例如 $A_1, B_{2k+1}, C_{2k+1}, E_7$），S-函数为纯虚数。
• 基于这些函数的离散变换可实现对数字数据的平滑插值，性能优于传统傅里叶变换，尤其在对称晶格中表现更优。
• 对于 $G = SU(2)$，中心分裂与变换结构退化为标准快速余弦与正弦变换，验证了与已有方法的一致性。