[論文レビュー] Surjective Kuiper isometries

György Pál Gehér|arXiv (Cornell University)|Jun 21, 2016

Mathematical functions and polynomials参考文献 7被引用数 11

ひとこと要約

本稿は、ℝ 上のボレル確率測度空間におけるクイパー距離に関して、全単射等長写像を特徴づけ、そのような等長写像がℝ のホメオモルフィズムによって引き起こされることを証明している。連続的および絶対連続的測度の場合、等長写像はホメオモルフィズムによる押し出しで与えられる。一般の測度の場合、それらは実直線上の測度を保存するホメオモルフィズムによって引き起こされる。

ABSTRACT

Characterizations of surjective isometries with respect to the Kuiper distance on three classes of Borel probability measures of $\mathbb{R}$ (or equivalently, probability distribution functions) are presented here. These classes are the set of continuous, absolute continuous and general measures.

研究の動機と目的

• ℝ 上のボレル確率測度空間におけるクイパー距離に関して、全単射等長写像を特徴づけること。
• ドゥリナールとモルナーが統計的距離に関して等長写像を研究した分野を継続し、今後はクイパー距離に焦点を当てる。
• 連続的、絶対連続的、一般のボレル確率測度の3つのクラスにおける等長写像の構造を特定すること。
• 凸結合の不変性が、これらの等長写像において前提条件ではなく、結果であることを示すこと。
• モルナーが提起した、これらの測度空間におけるクイパー等長写像群の構造に関する疑問を解決すること。

提案手法

• クイパー距離を $ d_{Ku}(\nu,\nu) = \sup_{I \in \mathcal{I}} |\mu(I) - \nu(I)| $ と定義する。ここで $ \mathcal{I} $ は非退化な区間の集合である。
• 分布関数におけるクイパー距離とコルモゴロフ＝スミルノフ距離の同値性を用い、既知の安定性結果を活用する。
• 全単射クイパー等長写像が、特にディラック測度および連続的測度のサポート構造を保存することを確立する。
• クイパー位相における密度論的議論を用いて、純粋に離散的測度の集合を保存することを証明する。
• 全単射 $ f: \mathbb{R} \to \mathbb{R} $ を構成し、$ \phi(\mu) = \mu \circ f^{-1} $ となることを示し、すべての等長写像がホメオモルフィズムによる測度の輸送によって生じることを示す。
• 分布関数の構造と区間上での測度の振る舞いを用いて、等長写像が基礎となる空間上のホメオモルフィズムによって引き起こされることを導出する。

実験結果

リサーチクエスチョン

• RQ1 ℝ 上の連続的ボレル確率測度空間におけるクイパー距離に関して、全単射等長写像の構造は何か？
• RQ2 クイパー距離に関して、絶対連続的測度における全単射等長写像と一般の測度におけるそれらの違いは何か？
• RQ3 クイパー等長写像において、凸結合の不変性は前提ではなく、結果として導かれるか？
• RQ4 純粋に離散的測度の密度が、一般のクイパー等長写像を特徴づける際に果たす役割は何か？
• RQ5 空間 $ P(\mathbb{R}) $ におけるクイパー等長写像は、実直線のホメオモルフィズムからどれほどまで生じるか？

主な発見

• 連続的ボレル確率測度の空間 $ P_c(\mathbb{R}) $ に対して、すべての全単射クイパー等長写像は、あるホメオモルフィズム $ g: \mathbb{R} \to \mathbb{R} $ と $ x \in \mathbb{R} \cup \{\infty\} $ に対して $ \phi(\mu) = \mu \circ (g \circ r_x) $ の形で与えられる。ここで $ r_x $ は点 $ x $ に関する反転写像である。
• $ P_c(\mathbb{R}) $ の場合、パラメータ $ x \in \mathbb{R} $ はサポート保存条件の下で矛盾を引き起こすため、唯一許容されるのは $ x = \infty $ であり、これにより $ \phi(\mu) = \mu \circ g $ となる。ここで $ g $ はホメオモルフィズムである。
• 絶対連続的測度の空間 $ P_{ac}(\mathbb{R}) $ に対しても、等長写像は再びホメオモルフィズム $ g $ によって引き起こされ、$ \phi(\mu) = \mu \circ g $ となる。ここで $ g $ は測度空間の構造を保存する。
• 全空間 $ P(\mathbb{R}) $ に対しては、すべての全単射クイパー等長写像は、あるホメオモルフィズム $ f: \mathbb{R} \to \mathbb{R} $ に対して $ \phi(\mu) = \mu \circ f^{-1} $ の形で与えられる。これは、等長写像が実直線の測度を保存する変換によって引き起こされることを意味する。
• 等長写像はディラック測度の構造を保存する：$ \phi(\delta_x) = \delta_{f(x)} $ であり、したがって $ f $ はホメオモルフィズムである。
• クイパー距離における純粋に離散的測度の $ P(\mathbb{R}) $ における密度が、等長写像がすべての離散的測度を固定しなければならないことを示すために用いられ、結論として等長写像が基礎となる空間上のホメオモルフィズムによって引き起こされることを導く。