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

ひとこと要約

本稿では、ランク2のコンパクト単純リー群 SU(3)、O(5)/Sp(4)、G(2) における型関数に対して、一変数指数関数を多変数特殊関数と呼ぶ E-関数に一般化することで、離散的および連続的指数変換（E-変換）を導入する。この手法は、偶数ワイル群による対称化を用い、任意の密度および対称性を持つ均一な格子を用いた、基本領域上の直交基底による効率的な展開を可能にする。

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$.

研究の動機と目的

• コンパクトリー群のランク2における一変数指数関数を、多変数特殊関数（E-関数）に一般化すること。
• 基本領域上での E-関数を直交基底として用いた、型関数の連続的および離散的変換の開発。
• リー群構造に適合する任意の密度および対称性を持つ格子における、これらの変換の均一な離散化スキームの提供。
• より大きな対称性群を有する伝統的なフーリエ展開と比較することで、E-変換の収束特性を評価し、その効率性を確立すること。
• ワイル群および偶数ワイル群の対称性を介して、E-関数と他の特殊関数（C-関数およびS-関数）との関係を探索すること。

提案手法

• コンパクトな半単純リー群のワイル群の偶数部分群上での U(1) 特徴の積の対称化として E-関数を定義する。
• 群の基本領域 F 上で型関数を E-関数の級数に展開することによって連続的変換を構築する。
• 有限アーベル部分群 G に対応する有限グリッド FM 上で基本領域をサンプリングすることによって離散的変換を実装する。
• アフィンワイル群および偶数アフィンワイル群の作用を活用し、F 上での積分および FM 上での和算の両方において E-関数の直交性を保証する。
• リー群の重み格子を用いて、データ格子の幾何的構造と一致させ、連続的変換の効率的な離散化を可能にする。
• ワイル群の軌道および対称化を介して E-関数を C-関数および S-関数と関連づけ、両者に共通する性質（直交性およびアフィンワイル群による対称性）を強調する。

実験結果

リサーチクエスチョン

• RQ1 一変数指数関数は、ランク2のコンパクトリー群上での多変数関数にどのように一般化可能か？
• RQ2 偶数ワイル群は、ランク2リー群の型関数の直交基底である E-関数を構築する上で果たす役割は何か？
• RQ3 異なる密度および対称性を持つ格子上での E-変換の離散化は、関数展開の精度および効率にどのように影響するか？
• RQ4 より大きな対称性群のおかげで、E-変換は伝統的なフーリエ展開と比較して、収束性および調和成分の面でどのように優れているか？
• RQ5 群論的構成および関数的性質の観点から、E-関数は C-関数および S-関数とどのように関係しているか？

主な発見

• E-関数は、偶数ワイル群上での U(1) 特徴の積の対称化として定義され、e^{imx} を高ランクリー群に一般化する。
• 連続的 E-変換は、基本領域 F 上の型関数を E-関数の直交級数に展開し、F 上での積分により係数を計算する。
• 離散的 E-変換は、F 内の有限グリッド FM を用い、M が G の有限アーベル部分群を特定する。これにより、デジタルデータの正確な表現が可能になる。
• E-関数は、F 上での積分および FM 上での和算の両方において直交しており、偶数アフィンワイル群の作用のおかげで直交性が保たれる。
• ランク2群 SU(3)、O(5)、G(2) に対して、E-変換が明示的に構築され、|W| > 1 というより大きな対称性群のおかげで必要な調和成分の数が減少し、効率的であることが示された。
• 本手法により、データの格子構造をリー群の重み格子と一致させることができ、任意の密度および対称性を持つ均一な離散化が可能になった。