[論文レビュー] Representations of $\Aut(\M)$-Invariant Measures: Part 1

Nathanael Ackerman|arXiv (Cornell University)|Sep 21, 2015

Advanced Topology and Set Theory参考文献 5被引用数 5

ひとこと要約

この論文は、可算構造 $Μ$ の自己同型群 $Μ\text{Aut}(\u039c)$ に対して不変な配列へ、Aldous-Hoover-Kallenberg の表現定理を一般化する。$Μ\text{Aut}(\u039c)$-レシピ（$Μ\text{Aut}(\u039c)$-軌道によってインデックス付けられた可測構成）を導入し、自由構造 $Μ$ に対しては、任意の $Μ\text{Aut}(\u039c)$-不変測度がそのようなレシピの分布として得られ、逆に任意のレシピが自由構造上の測度の制限として得られることを証明する。

ABSTRACT

In this paper we generalize the Aldous-Hoover-Kallenberg theorem concerning representations of distributions of exchangeable arrays via collections of measurable maps. We give criteria when such a representation theorem exists for arrays which need only be preserved by a closed subgroup of $\Sym{\Nats}$. Specifically, for a countable structure $\M$ we introduce the notion of an \emph{$\Aut(\M)$-recipe}, which is an $\Aut(\M)$-invariant array obtained via a collection of measurable functions indexed by the $\Aut(\M)$-orbits in $\M$. We further introduce the notion of a \emph{free structure} and then show that if $\M$ is free then every $\Aut(\M)$-invariant measure on an $\Aut(\M)$-space is the distribution of an $\Aut(\M)$-recipe. We also show that if a measure is the distribution of an $\Aut(\M)$-recipe it must be the restriction of a measure on a free structure.

研究の動機と目的

• 完全な対称群 $\text{Sym}(\mathbb{N})$ の閉部分群に対する不変性へ、Aldous-Hoover-Kallenberg の表現定理を交換可能性を超えて拡張すること。
• $\u039c$ を可算構造とするとき、$\u039c\text{Aut}(\u039c)$-軌道によってインデックス付けられた可測構成である $\u039c\text{Aut}(\u039c)$-レシピの定義と特徴づけ。
• $\u039c\text{Aut}(\u039c)$-不変測度が $\u039c\text{Aut}(\u039c)$-レシピの分布として得られる条件を同定すること。
• $\u039c\text{Aut}(\u039c)$-レシピと自由構造上の測度との間の関係を確立し、そのようなレシピが自由構造上の測度の制限であることを示すこと。

提案手法

• $\u039c\text{Aut}(\u039c)$-軌道によってインデックス付けられた可測関数を用いた構成により、$\u039c\text{Aut}(\u039c)$-不変な配列として $\u039c\text{Aut}(\u039c)$-レシピの概念を導入する。
• 組合せ的条件を満たすことで十分な対称性と柔軟性を保証するため、可算構造 $\u039c$ を「自由」と定義する。
• $\u039c\text{Aut}(\u039c)$-軌道の構造を用いて、$\u039c\text{Aut}(\u039c)$-不変な配列を生成する可測写像の構成をパrameter化する。
• 自由構造 $\u039c$ に対して、任意の $\u039c\text{Aut}(\u039c)$-不変測度が $\u039c\text{Aut}(\u039c)$-レシピの分布として得られることを証明する。
• 任意の $\u039c\text{Aut}(\u039c)$-レシピから得られる測度は、自由構造上に定義された測度の制限でなければならないことを示す。
• 群作用の不変性と軌道構造を活用し、表現問題を軌道空間上の可測構成に還元する。

実験結果

リサーチクエスチョン

• RQ1 完全な対称群 $\text{Sym}(\mathbb{N})$ の閉部分群に対する不変性を想定する場合、配列の表現定理が存在する条件は何か？
• RQ2 任意の $\u039c\text{Aut}(\u039c)$-不変測度が $\u039c\text{Aut}(\u039c)$-レシピの分布として得られるのはいつか？
• RQ3 $\u039c$ のどのような構造的性質（特に「自由」とされる条件）が、このような表現が成り立つために必要かつ十分か？
• RQ4 $\u039c\text{Aut}(\u039c)$-レシピと自由構造上の測度との間にはどのような関係があり、その性質は何か？

主な発見

• 任意の自由構造 $\u039c$ に対して、$\u039c\text{Aut}(\u039c)$-不変測度は、$\u039c\text{Aut}(\u039c)$-レシピの分布として得られる。
• $\u039c\text{Aut}(\u039c)$-レシピは、$\u039c\text{Aut}(\u039c)$-軌道によってインデックス付けられた可測関数を用いて構成され、群作用の下での不変性が保証される。
• 測度が $\u039c\text{Aut}(\u039c)$-レシピの分布であるならば、それは自由構造上に定義された測度の制限でなければならない。
• $\u039c\text{Aut}(\u039c)$-レシピのクラスは、$\u039c$ が自由であるとき、$\u039c\text{Aut}(\u039c)$-不変測度を完全にパrameter化する。
• 「自由構造」という概念は、交換可能性を超えた表現定理を一般化するために必要な最小限の対称性と構造的豊かさを捉えている。
• Aldous-Hoover-Kallenberg の定理は、完全な交換性から $\u039c\text{Aut}(\u039c)$-不変性に置き換えられ、自由構造の条件がその定理が成り立つための主要な十分条件となっている。