[論文レビュー] The Lagrangian Radon Transform and the Weil representation

G. Marmo, Peter W. Michor+1 more|Dec 19, 2012

Mathematical Analysis and Transform Methods参考文献 16被引用数 8

ひとこと要約

本稿では、ℝ²ⁿ 上の関数をアフィンラグランジュ部分空間上での積分へ写像する積分作用素としてのラグランジュラドン変換を導入し、アフィンシンプレクティック群のウェイリ表現との関係を確立する。主な貢献は、L²(ℝ²ⁿ) 上のウェイリ表現とシーゲル上半平面における正則フォック模型の間のインターリービング作用素の構成であり、変換は微分方程式系を満たし、再帰的核構造を有する。

ABSTRACT

We consider the operator $\mathcal R$, which sends a function on $\mathbb R^{2n}$ to its integrals over all affine Lagrangian subspaces in $\mathbb R^{2n}$. We discuss properties of the operator $\mathcal R$ and of the representation of the affine symplectic group in the space of functions on $\mathbb R^{2n}$.

研究の動機と目的

• 位相空間内のラグランジュ部分空間への統合を通じて、量子トモグラフィーの幾何的枠組みを提供すること。
• アフィンシンプレクティック群 ASp(2n,ℝ) のウェイリ表現とラグランジュラドン変換の関係を確立すること。
• シーゲル上半平面における微分方程式系を用いて、ラドン変換の像を特徴付けること。
• L²(ℝ²ⁿ) 上のウェイリ表現とシーゲル上半平面における正則フォック模型の間のインターリービング作用素を構成すること。
• 変換がシンプレクティック不変性を保ち、正則表現空間において再帰的核構造を有することを示すこと。

提案手法

• 関数 f を ℝ²ⁿ 内のアフィンラグランジュ部分空間 L に沿って統合するラグランジュラドン変換 𝒫 を定義し、対称行列 T と平行移動 τ によってパrameter化する。
• グリーンバーグの結果を一般化し、微分作用素行列の 3×3 ミニマル（小行列式）を満たす2階偏微分方程式系（PDE）を導出する。
• 複素ガウス積分変換を用いて、L²(ℝ²ⁿ) 上のウェイリ表現と ℋ⁺⊗ℋ⁻ 上の正則フォック模型の間のユニタリインターリービング作用素 𝒥 を構成する。
• ウェイリ表現を標準的および共役ウェイリ表現のテンソル積として実現し、シーゲル上半平面 ℒ⁺(n)×ℒ⁻(n) 上の正則関数に作用させる。
• ASp(2n,ℝ) の生成子（メタプレクティック作用および平行移動作用）との整合性を確認することで、インターリービング性を検証する。
• 核関数 ΦR,ρ 及びその双対 φR,ρ を用いて、変換が再帰的核性を満たすことを示す。

実験結果

リサーチクエスチョン

• RQ1 位相空間内のラグランジュ部分空間への統合を通じて、古典的ラドン変換をシンプレクティック設定に一般化する方法は何か？
• RQ2 正則フォック模型におけるラグランジュラドン変換の像を特徴付ける微分方程式は何か？
• RQ3 アフィンシンプレクティック群のウェイリ表現は、シーゲル上半平面における正則関数空間にどのように実現されるか？
• RQ4 L²(ℝ²ⁿ) 上のウェイリ表現と正則フォック模型の間のインターリービング作用素の明示的形は何か？
• RQ5 ラグランジュラドン変換は、量子トモグラフィーおよびマージナル分布からの量子状態再構成とどのように関係するか？

主な発見

• ラグランジュラドン変換 𝒫f は、式 (1) の微分作用素行列のすべての 3×3 ミニマル（小行列式）によって消える。これは、その像を特徴付ける PDE の系である。
• 変換 𝒫f は微分系 Dℱ(P,π) = 0 を満たす。ここで D は ∂/∂p_ij、∂/∂π_i、および i/2 を含む行列の 2×2 ミニマル（小行列式）を走る。これにより、シーゲル上半平面における正則性が確認される。
• インターリービング作用素 𝒥 は、(Q−P) の逆行列および (x,y) における2次形式を含む複素ガウス積分で与えられ、(−i(Q−P))⁻¹ᐟ² を含む行列式因子を有する。
• 変換の像は ℒ⁺(n)×ℒ⁻(n) 上の正則関数の空間に属し、⟨f, ΦR,ρ⟩ を用いた再帰的核構造を有する。
• ASp(2n,ℝ) の作用は、式 (64) から (68) までの明示的公式により、正則フォック模型上で実現される。これにはメタプレクティック作用および平行移動作用が含まれる。
• 極限ケース Q = P は、複素ラグランジュグラスマンニアン内の2つのウェッジの境界に対応し、標準ラドン変換が退化した場合として回復される。