[論文レビュー] Admissible vectors and traces on the commuting algebra

Hartmut Fuehr|ArXiv.org|Sep 19, 2002

Mathematical Analysis and Transform Methods参考文献 13被引用数 3

ひとこと要約

この論文は、単模で局所コンパクトな群のユニタリ表現における許容的ベクトルのトレース的条件を確立し、許容的ベクトルが正則表現の可換代数上の一意な有限トレースに対するトレース的ベクトルにちょうど一致することを示している。主な貢献は、群ヒルベルト代数に関連するフォン・ノイマン代数上のトレースを用いて、ガボール解析におけるウェクスラー＝ラズの双対直交性関係を一般化することにある。

ABSTRACT

Given a representation of a unimodular locally compact group, we discuss criteria for associated coherent state expansions in terms of the commuting algebra. It turns out that for those representations that admit such expansions there exists a unique finite trace on the commuting algebra such that the admissible vectors are precisely the tracial vectors for that trace. This observation is immediate from the definition of the group Hilbert algebra and its associated trace. The trace criterion allows to discuss admissibility in terms of the central decomposition of the regular representation. In particular, we present a new proof of the admissibility criteria derived for the type I case. In addition we derive admissibility criteria which generalize the Wexler-Raz biorthogonality relations characterizing dual windows for Weyl-Heisenberg frames.

研究の動機と目的

• 単模で局所コンパクトな群のユニタリ表現における許容的ベクトルの存在および特徴付けの一般的基準を確立すること。
• 可縮分解の代わりに正則表現の中心的分解を用いて許容性を分析すること。
• 許容的ペアと可換フォン・ノイマン代数 $VN_r(G)$ 上のトレースとの間の関係を確立すること。
• トレース理論的手法を用いて、ワイエル＝ハイゼンベルクフレームのウェクスラー＝ラズの双対直交性関係を一般化すること。
• 可換代数上のトレース構造を用いて、タイプIの場合の許容性基準の新しい証明を提供すること。

提案手法

• 群ヒルベルト代数と、右群フォン・ノイマン代数 $VN_r(G)$ 上の忠実で、正規で、半有限なトレースを利用する。
• 表現空間 $\mathcal{H}_\pi$ 上で $V_\eta^* V_\psi = \text{Id}$ という条件によって許容的ペア $(\eta, \psi)$ を定義する。
• 許容的ベクトルが、$VN_r(G)$ 上の一意な有限トレースに対するトレース的ベクトルにちょうど一致することを確立し、許容性とトレース理論を結びつける。
• 正則表現 $\lambda_G$ の中心的分解を適用して、許容的ペアの特徴付けをファイバー・フォン・ノイマン代数に還元する。
• トレース構造を活用して、一般化されたウェクスラー＝ラズ条件の形での直交性関係を導出する。
• フレームワークをワイエル＝ハイゼンベルク群に適用し、ガボールフレームにおける双対窓関数の標準的直交性条件を回復する。

実験結果

リサーチクエスチョン

• RQ1 可換代数上のトレースは、ユニタリ群表現における許容的ベクトルを特徴付ける際に果たす役割は何か？
• RQ2 正則表現の中心的分解は、タイプIの範囲を超えて許容性基準を導出するためにどのように用いることができるか？
• RQ3 ガボールフレームのウェクスラー＝ラズの双対直交性関係は、一般のトレース理論的枠組みから導出可能か？
• RQ4 群ヒルベルト代数の文脈において、許容的ベクトルとトレース的ベクトルの正確な関係は何か？
• RQ5 トレース基準は、既存の文献における許容性条件をどのように簡略化または一般化するか？

主な発見

• 可換フォン・ノイマン代数 $VN_r(G)$ 上に、許容的ベクトルがこのトレースに対するトレース的ベクトルにちょうど一致する一意な有限トレースが存在する。
• ペア $(\eta, \psi)$ の許容性は、条件 $V_\eta^* V_\psi = \text{Id}$ に同値であり、これは $VN_r(G)$ 上のトレースによって特徴付けられる。
• ワイエル＝ハイゼンベルク群の場合、条件 $\langle M_{m/\beta}T_{n/\alpha}\gamma, g \rangle = \alpha\beta \delta_{m,0}\delta_{n,0}$ は、一般のトレース基準の特別な場合として導出される。
• 本論文は、トレース理論的分解を用いてタイプIの場合の許容性基準の新しい証明を提供し、以前の結果を一般化する。
• トレース基準により、双対格子における直交性関係を通じた許容的ペアの特徴付けが可能となり、ウェクスラー＝ラズ条件が一般化される。
• ベクトル $\eta_0 = \sqrt{\alpha} \chi_{[0,\beta)}$ がワイエル＝ハイゼンベルク表現に対して許容的であることが示され、トレースに基づく基準が裏付けられる。