[論文レビュー] 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

ひとこと要約

本稿では、任意のコンパクトで単連結な半単純リー群の最大トーラス上で、余弦、正弦、指数関数の一般化である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関数の連続的および離散的直交関係を確立すること。
• これらの関数が、アフィンワイル群の基本領域上で統合されるか、またはトーラスの有限アーベル部分群から導かれる有限グリッド上で和算される際に、直交基底を形成することを示すこと。
• リー群の中心の特性標により、関数がC-、S-、またはE関数の1つの合同類にのみ展開される成分に分解可能であることを示すこと。
• 多次元データ補間および信号処理への応用を想定し、対称性を考慮した効率的な離散変換のフレームワークを提供すること。
• リー群における中心的分割と群論的構造を活用することで、高速変換アルゴリズムの基盤を築くこと。

提案手法

• C-、S-、およびE関数を、最大トーラスのリー代数上でのワイル群またはその偶数部分の軌道和として定義し、余弦、正弦、指数関数の一般化とする。
• アフィンワイル群を用いて関数を基本領域 $\check{F}$ に制限し、周期性と対称性不変性を保証する。
• 最大トーラス $\mathbb{T}$ の有限アーベル部分群の共役類の像として $\check{F}$ 内に有限グリッドを構成し、$W_{\text{aff}}$-不変性を維持する。
• これらの有限グリッド上で和算することにより離散的直交性を導出し、C-、S-、およびE関数がこのようなグリッド上で和算された際に直交することを示す。
• リー群の中心の中心的特性標を適用し、$\check{F}$ 上の任意の関数 $f$ を $c = |Z|$ 個の成分 $f_k$ に分解し、それぞれが1つの合同類のC-、S-、またはE関数にのみ展開されることを保証する。
• ワイル群およびその偶数部分の構造を用いてE関数を定義し、フーリエ級数と類似した直交関係を保証する。

実験結果

リサーチクエスチョン

• RQ1 C-、S-、およびE関数が、最大トーラスの有限アーベル部分群から導かれる有限グリッド上で和算された際に、どのように離散的直交性を満たすか。
• RQ2 リー群の中心が、C-、S-、またはE関数の1つの合同類にのみ展開される成分に関数を分解する役割を果たす仕組みは何か。
• RQ3 C-、S-、およびE関数が $\partial\check{F}$ で示す境界挙動の違いは何か。これにより関数近似および補間にどのような影響があるか。
• RQ4 C-、S-、およびE関数が実数値または純虚数値をとる条件は何か。これは、ワイル群の最長元 $w_{\text{opp}}$ にどのように依存するか。
• RQ5 単純リー群の積に対して、ハイブリッド変換（例：CS、CE、SE）を構築可能か。また、標準的なC-、S-、またはE変換に比べてどのような利点があるか。

主な発見

• C-、S-、およびE関数は、最大トーラスの有限アーベル部分群の共役類の像である有限グリッド $\check{F}$ 内で和算された際に、離散的直交性を満たす。
• リー群の中心 $Z$ を用いることで、$\check{F}$ 上の任意の関数 $f$ を $c = |Z|$ 個の成分 $f_k$ に分解でき、それぞれが1つの合同類の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)$ の場合、中心的分割と変換構造は標準的な高速コサインおよびサイン変換に還元され、従来の手法と整合性が確認される。