[論文レビュー] Entropy and Diversity: The Axiomatic Approach

Tom Leinster|arXiv (Cornell University)|Dec 3, 2020

Philosophy and History of Science参考文献 307被引用数 5

ひとこと要約

本稿は、関数方程式、圏論、情報理論を用いてエントロピーと多様性測度を統一するきめ細やかな公理的枠組みを提示する。シャノンエントロピー、相対エントロピー、一般化エントロピー（例：ヒル数）を基礎的公理によって特徴づけ、生態学、統計学、情報科学におけるそれらの数学的構造と応用を確立する。

ABSTRACT

This book brings new mathematical rigour to the ongoing vigorous debate on how to quantify biological diversity. The question "what is diversity?" has surprising mathematical depth, and breadth too: this book involves parts of mathematics ranging from information theory, functional equations and probability theory to category theory, geometric measure theory and number theory. It applies the power of the axiomatic method to a biological problem of pressing concern, but the new concepts and theorems are also motivated from a purely mathematical perspective. The main narrative thread requires no more than an undergraduate course in analysis. No familiarity with entropy or diversity is assumed.

研究の動機と目的

• 公理的原則を用いてエントロピーと多様性の統一的数学的基盤を確立すること。
• 関数方程式と情報理論的公理を用いてシャノンエントロピーと相対エントロピーを特徴づけること。
• 累乗平均とq対数関数を用いてエントロピー測度（例：リーニー、ヒルエントロピー）を一般化すること。
• 多様性指標と幾何的スケールおよび確率的手法を結びつけること。
• 情報損失とエントロピー不変性の背後にある圏的および代数的構造を明らかにすること。

提案手法

• 基本的な関数方程式（例：コーシーの関数方程式、対数列）を用いてエントロピー公理を導出する。
• 合成則と符号理論的解釈を適用してシャノンエントロピーを特徴づける。
• q対数関数と累乗平均を導入し、変形されたエントロピー（例：リーニー、ヒルエントロピー）を定義する。
• スケール理論と類似性行列を用いて生態的コミュニティ内の種の多様性をモデル化する。
• 価値理論と凸双対性を用いて相対エントロピーと多様性測度を統一する。
• 圏論を用いてエントロピーを有限確率空間の圏における内部代数として形式化する。

実験結果

リサーチクエスチョン

• RQ1 どのような公理的性質がシャノンエントロピーを一意に特徴づけるか？
• RQ2 相対エントロピーはどのように公理的に定義され、符号理論と多様性に結びつけられるか？
• RQ3 与えられた順序のヒル数が多様性測度として一意に決定される条件は何か？
• RQ4 一般化エントロピー（例：リーニー、q対数関数）は累乗平均と多様性プロファイルとどのように関係するか？
• RQ5 エントロピーと情報損失の圏的および代数的起源は何か？

主な発見

• シャノンエントロピーは合成則、連続性、対称性によって一意に特徴づけられ、情報理論におけるその基盤的役割を裏付ける。
• 相対エントロピーは測度を保全する写像の下での性質および符号理論と発散最小化における役割によって完全に特徴づけられる。
• 順序qのヒル数は類似変換における不変性およびコミュニティの複製・統合における挙動によって一意に決定される。
• 価値関数はエントロピーの一般化として、さまざまな順序における多様性と相対エントロピーを統一的に特徴づける。
• 素数を法とするエントロピーはフェルマー商を介して特徴づけられ、有限体における離散的・連続的エントロピーを結びつける。
• 圏の枠組みにより、エントロピーが有限確率空間の圏における内部代数として自然に生じることが明らかになった。