[論文レビュー] Notes of the Summer School on Finite Set Statistics

Jérémie Houssineau, Emmanuel Delande+1 more|arXiv (Cornell University)|Aug 12, 2013

Soil Geostatistics and Mapping参考文献 2被引用数 6

ひとこと要約

この論文は、多対象推定のための有限集合統計（FISST）に不可欠な測度論および確率論の基礎的概要を提供しており、点過程を用いた多対象推定に焦点を当てている。σ-代数、測度、ラプラス/PGF関数型の基本的概念を確立し、同一分布に従う（i.i.d.）および更新された点過程の分散表現を導出し、ポアソン過程でないi.i.d.過程でさえ、有限な平均標的数の下で局所的分散が任意に大きくなる可能性があることを示している。

ABSTRACT

This document contains the notes of some of the lectures given at the first summer school on Finite Set Statistics held in Edinburgh from July 22, 2013 to July 26, 2013. The notes are mostly self contained and are accessible to everyone.

研究の動機と目的

• 多対象推定における有限集合統計（FISST）に必要な測度論および確率論の数学的枠組みを確立すること。
• 可測空間、σ-代数、測度（特にボレルσ-代数およびライプニッツ測度）を定義・特徴づけること。
• 点過程をランダムな多対象配置のモデルとして導入し、ラプラス関数型および確率生成関数型（PGFl）を用いること。
• 更新された点過程およびi.i.d.点過程の一次モーメントおよび分散の表現を導出し、非ポアソン的挙動に注目すること。
• i.i.d.過程が有限な平均標的数の下で、任意に大きな局所的分散を示す可能性があることを実証し、ポアソン過程からの直感とは対照的であることを示すこと。

提案手法

• 「部屋の中のハエ」という思考実験を用いて、可測集合およびσ-代数の必要性を動機づけ、R^d 上のボレルσ-代数に到達する。
• 可測空間上での測度および確率測度の定義を行い、ライプニッツ測度を代表例として挙げる。
• 単純関数およびそのライプニーツ積分を導入し、測度論を関数へと拡張する。
• 関数型微分を用いてモーメント測度を抽出する手法を用い、点過程に理論を適用する。ラプラス関数型およびPGFlを用いる。
• 更新過程Φ₊のラプラス関数型をPGFlを用いて導出し、1_Bの方向に二階微分することで分散を計算する。
• 局所的分散対平均比を増加させるi.i.d.過程の系列を構築し、任意の分散増大を示す存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 ランダム実験における「そこら辺」を数学的に形式化するにはどうすればよく、バナッハ＝タルスキーの逆説のようなパラドックスを避けるためにどのような構造が必要か？
• RQ2 多対象推定における連続空間上の確率を定義する際、ボレルσ-代数およびライプニッツ測度が果たす役割は何か？
• RQ3 点過程のラプラス関数型およびPGFlは、その一次モーメントおよび階乗モーメント測度とどのように関係するか？
• RQ4 観測集合Zが与えられたとき、更新過程Φ₊の分散はどのようになるか？検出確率および誤検出の強度にどのように依存するか？
• RQ5 i.i.d.点過程は、有限なグローバル平均標的数の下で、任意に大きな局所的分散を示すことができるか？

主な発見

• 領域Bにおける更新過程Φ₊の分散は、背景項と検出および誤検出の尤度に依存する信号項の和として表現される。
• i.i.d.過程の標高分布がポアソン分布の場合、PGFlを既知のポアソン形と一致させることで、過程がポアソン過程に還元されることを確認した。
• i.i.d.過程の領域Bにおける分散は、var_Φ(B) = μ^(1)_Φ(B) + (μ^(1)_Φ(B))² [∑n(n−1)ρ_Φ(n)/ (∑nρ_Φ(n))² − 1] で与えられ、ポアソン分布に対して過分散（overdispersion）を示す。
• 任意の有限な平均μおよび任意のC > 0に対して、var_Φ_C(B) ≥ μ^(1)_Φ_C(B) + C·λ(B) を満たすi.i.d.過程Φ_Cが存在することを示し、局所的分散を任意に大きくできることを証明した。
• i.i.d.過程の系列において、λ(B)に対する分散対平均比の極限が無限大に発散することを示し、グローバル平均が有限であっても局所的標的数が完全に信頼できないことが明らかになった。
• この直感に反する挙動は、ポアソン過程では分散が平均に等しいのに対し、i.i.d.過程では局所的推定が著しく信頼できない可能性があることを示しており、顕著な対比を示している。