[論文レビュー] A maximum entropy theorem with applications to the measurement of biodiversity

Tom Leinster|arXiv (Cornell University)|Oct 6, 2009

Ecosystem dynamics and resilience参考文献 15被引用数 8

ひとこと要約

本稿は、類似度行列に基づく一パラメータ族の多様性測度に対して、最大エントロピー定理を確立し、すべての多様性の順序において同時に多様性を最大化する唯一の確率分布が存在することを証明する。主な結果は、類似度行列が正定値かつ正の重み付けを持つ場合、一意の最大化分布はこの重み付けに比例し、最大多様性は類似度行列の行列式に等しいことである。

ABSTRACT

This is a preliminary article stating and proving a new maximum entropy theorem. The entropies that we consider can be used as measures of biodiversity. In that context, the question is: for a given collection of species, which frequency distribution(s) maximize the diversity? The theorem provides the answer. The chief surprise is that although we are dealing with not just a single entropy, but a one-parameter family of entropies, there is a single distribution maximizing all of them simultaneously.

研究の動機と目的

• 種の類似度を組み込んだ一般化されたエントロピー／多様性測度の族に対する最大多様性問題を解決すること。
• すべての多様性の順序（q ∈ [0, ∞)）において一意の分布が多様性を最大化する条件を特定すること。
• 多様性最大化と類似度行列の正定値性および重み付けの間の数学的関係を確立すること。
• 生態学的、情報理論的、物理的視点を統合する生物多様性測定の理論的基盤を提供すること。

提案手法

• 本稿は、類似度行列 $ Z $ と確率分布 $ \mathbf{p} $ を用いて、一パラメータ族のエントロピー $ H_q^Z $ 及びそれに対応する多様性測度 $ D_q^Z $ を定義する。
• 類似度行列 $ Z $ の重み付け $ \mathbf{w} $（$ Z\mathbf{w} = \mathbf{1} $ を満たすベクトル）の概念を導入し、$ \mathbf{w} > 0 $ であれば $ \mathbf{p} = \mathbf{w}/|Z| $ が多様性を最大化することを示す。
• この手法は正定値行列の理論に依拠し、特にメトリック空間の例において、Sylvesterの基準を用いて $ Z $ の正定値性を検証する。
• 類似度行列の逆行列を用いて多様性を最大化する分布を導出し、最大多様性が $ Z $ の行列式 $ |Z| $ に等しいことを証明する。
• 極限と連続性を用いて $ q = 1 $ の場合を扱い、多様性測度 $ D_1^Z $ がシャノンエントロピーの指数関数に一致することを保証する。
• 対称行列をメトリック空間から導出した例（例：$ Z_{ij} = e^{-d(a_i,a_j)} $ である3点メトリック空間）を用いて理論的結果を図示する。

実験結果

リサーチクエスチョン

• RQ1 与えられた類似度行列 $ Z $ に対して、すべての順序 $ q \in [0, \infty) $ において一様に多様性を最大化する確率分布が存在するか？
• RQ2 $ Z $ に対してどのような条件下で一意の最大化分布が存在し、かつその分布が完全にサポートされる（つまり、すべての $ i $ に対して $ p_i > 0 $）か？
• RQ3 最大多様性値は、類似度行列 $ Z $ の代数的性質（正定値性、行列式など）とどのように関係しているか？
• RQ4 多様性を最大化する分布は行列 $ Z $ から明示的に計算可能か？また、重み付けベクトル $ \mathbf{w} $ はこの計算においてどのような役割を果たすか？
• RQ5 最大多様性が $ |Z| $（$ Z $ の行列式）に等しいという事実の生態学的・情報理論的意義は何か？

主な発見

• 類似度行列 $ Z $ が正定値かつ正の重み付け $ \mathbf{w} $ を持つ限り、すべての $ q \in [0, \infty) $ に対して最大多様性 $ D_q^Z(\mathbf{p}) $ は一意の分布 $ \mathbf{p} = \mathbf{w}/|Z| $ によって達成される。
• 類似度行列 $ Z $ が正定値かつ正の重み付けを持つ場合、最大多様性値は正確に $ |Z| $、すなわち類似度行列 $ Z $ の行列式に等しい。
• 類似度行列 $ Z $ が正定値であり、その一意の重み付け $ \mathbf{w} $ が正であれば、最大化分布 $ \mathbf{p} $ は完全にサポートされ、すなわちすべての $ i $ に対して $ p_i > 0 $ である。
• 3点メトリック空間で $ Z_{ij} = e^{-d(a_i,a_j)} $ である場合、$ 1 - (Z_{12}^2 + Z_{23}^2 + Z_{31}^2) + 2Z_{12}Z_{23}Z_{31} > 0 $ であれば、行列 $ Z $ は正定値となり、一意の最大化分布が保証される。
• すべての $ i \neq j $ に対して $ Z_{ij} < 1/(n-1) $ が成り立つ場合、行列 $ Z $ は正定値であり、正の重み付けを持つため、$ D_{\text{max}}(Z) = |Z| $ であり、最大化分布は完全にサポートされる。
• 多様性測度 $ D_q^Z $ は $ q $ に関して連続であり、$ D_1^Z(\mathbf{p}) = \exp(H_1^Z(\mathbf{p})) $ が成り立ち、$ q \to 1 $ の極限でシャノンエントロピーの指数関数が回復される。