[論文レビュー] FindStat - the combinatorial statistics database

Chris Berg, Viviane Pons+3 more|arXiv (Cornell University)|Jan 15, 2014

Advanced Combinatorial Mathematics参考文献 1被引用数 9

ひとこと要約

FindStat は、検索可能なデータ、組合せ写像、母関数を用いた組合せ統計を特定・探索するのを支援するオンラインデータベースおよびウェブプラットフォームです。正確な値または分布を用いた未知の統計の同定を支援し、組合せ的集合間で関連する統計をリンクします。2014年初頭時点で、170以上の統計と1,200以上の写像がインデックス化されています。

ABSTRACT

The FindStat project at www.FindStat.org provides an online platform for mathematicians, particularly for combinatorialists, to gather information about combinatorial statistics and their relations. This outline provides an overview over the project.

研究の動機と目的

• 数学者が組合せ統計とその関係性を保存・検索・探索できる統合的でアクセスしやすいプラットフォームを提供すること。
• 順序付けられた標準形を持たない組合せ的対象や構造的関係を扱えない OEIS の制限に対処すること。
• オブジェクトのインデックスが曖昧または非標準的であっても、データのパターン照合によって未知の統計を同定できるようにすること。
• 正確な値照合と母関数を用いた分布ベースの検索を両方サポートすること。
• データベースとウィキへの新規統計・写像・文脈的参照の貢献を可能にすることで、協働的開発を促進すること。

提案手法

• プラットフォームはウェブベースのインターフェースを用い、置換やグラフなどの組合せ的対象に関連付けられた整数値のユーザー入力を受付ける。
• 明示的で明確に定義された変換である組合せ写像を用いて、異なる種類の対象間の統計を関連付ける。
• 正確な値（例：置換ごとの多項式の次数）または母関数（例：F_n(q) = ∑ q^{deg(f_π)} 置換の全範囲で）による検索をサポートする。
• 指紋データベース機構により、構造的および分布的性質に基づいて等価または関連する統計を認識できる。
• バックエンドでは SageMath を用いて組合せ写像の計算と統計的分析を実行し、MoinMoin ウィキエンジンを用いて文書とメタデータを管理する。
• 貢献はウェブフォームを経由して受け付けられ、データは検証され、文脈、参考文献、関連統計とリンクされる。

実験結果

リサーチクエスチョン

• RQ1 部分的または分布的データしか入手できない状況で、データベースが組合せ統計を効率的に同定する方法は何か？
• RQ2 異なる組合せ的集合間で等価または関連する統計を同定するためのメカニズムは何か？
• RQ3 組合せ的対象に標準的総順序付けが存在しない状況で、統計を同定するシステムはどのように実現できるか？
• RQ4 母関数と分布パターンを用いて、未知の統計を既知の統計と照合することはどの程度可能か？
• RQ5 Webベースのプラットフォーム上で、コミュニティ主導の組合せ統計と写像のキュレーションを効果的に支援する方法は何か？

主な発見

• 2014年1月現在、FindStat には17の組合せ的集合にまたがる173の組合せ統計があり、それらを結ぶ1,200以上の組合せ写像が存在する。
• ユーザーがその概念を事前に知らなくても、多項式の次数列に対してマジョルティ・インデックスが根本的な統計として正しく同定された。
• 置換でインデックス付けられた多項式の次数分布を検索した際、FindStat はマジョルティ・インデックス（St000004）に加え、逆転数（St000018）などの関連統計も返した。
• 分布による柔軟な検索が可能であり、オブジェクトの正確なインデックスが不明または曖昧な場合でも、ユーザーが自身のデータと照合できる。
• 母関数を用いた統計の同定において、システムの有効性が実証され、2014年1月1日までに22,000件以上のデータベース検索が実施された。
• データベースとウィキへの貢献は、クリエイティブ・コモンズ 表示-継承 3.0 ユニーク・ライセンスの下でライセンス化されており、組合せ的知識のオープンかつ協働的開発を可能にしている。