[论文解读] Representations of $\Aut(\M)$-Invariant Measures: Part 1

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

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

一句话总结

本论文将Aldous-Hoover-Kallenberg表示定理推广至关于可数结构$ M$的自同构群$ Aut(\M)$不变的数组。它引入了$ Aut(\nM)$-配方——以$ Aut(\nM)$-轨道为索引的可测构造——并证明：对于自由结构$ M$，每个$ Aut(\nM)$-不变测度均可表示为这种配方的分布，而每个此类配方又可作为自由结构上测度的限制而获得。

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.

研究动机与目标

• 将Aldous-Hoover-Kallenberg表示定理从交换性推广至$\nSym(\mathbb{N})$的任意闭子群作用下的不变性。
• 定义并刻画以可数结构$\nM$中的$ Aut(\nM)$-轨道为索引的$ Aut(\nM)$-配方。
• 确定在何种条件下，$ Aut(\nM)$-空间上的每个$ Aut(\nM)$-不变测度均可表示为$ Aut(\nM)$-配方的分布。
• 建立$ Aut(\nM)$-配方与自由结构上测度之间的联系，表明此类配方是自由结构上测度的限制。

提出的方法

• 将$ Aut(\nM)$-配方定义为通过$\nAut(\nM)$-轨道索引的可测函数构造的$ Aut(\nM)$-不变数组。
• 若结构$\nM$满足确保足够对称性和灵活性的组合条件，则称其为“自由”结构。
• 利用$\nAut(\nM)$-轨道的结构，参数化生成$ Aut(\nM)$-不变数组的可测映射的构造。
• 证明：对于自由结构$\nM$，$ Aut(\nM)$-空间上的每个$ Aut(\nM)$-不变测度均为某个$ Aut(\nM)$-配方的分布。
• 证明：任何由$ Aut(\nM)$-配方生成的测度，必为自由结构上定义的测度的限制。
• 利用群作用下的不变性与轨道结构，将表示问题约化为轨道空间上的可测构造。

实验结果

研究问题

• RQ1 当数组在$\nSym(\mathbb{N})$的闭子群作用下不变时，何时存在表示定理（而非仅在全对称群作用下）？
• RQ2 在何种条件下，$ Aut(\nM)$-空间上的每个$ Aut(\nM)$-不变测度均可表示为$ Aut(\nM)$-配方的分布？
• RQ3 结构$\nM$的何种结构性质——特别是何种条件使$\nM$成为“自由”结构——是此类表示成立的必要且充分条件？
• RQ4 $\nAut(\nM)$-配方与自由结构上的测度之间有何关系？这种关系的本质是什么？

主要发现

• 对于任意自由结构$\nM$，$ Aut(\nM)$-空间上的每个$ Aut(\nM)$-不变测度均为某个$ Aut(\nM)$-配方的分布。
• $\nAut(\nM)$-配方通过以$\nAut(\nM)$-轨道为索引的可测函数构造，确保在群作用下不变。
• 若一测度是$ Aut(\nM)$-配方的分布，则其必为自由结构上定义的测度的限制。
• 当且仅当$\nM$为自由结构时，$ Aut(\nM)$-配方类可完全参数化$ Aut(\nM)$-不变测度。
• “自由结构”的概念捕捉了表示定理从交换性推广至更广情形所必需的最小对称性与结构丰富性。
• 本结果通过以$ Aut(\nM)$-不变性替代全交换性，扩展了Aldous-Hoover-Kallenberg定理，而“自由结构”条件正是该推广成立的关键充分条件。