[論文レビュー] Compositionality and String Diagrams for Game Theory

Jules Hedges, Evguenia Shprits+2 more|arXiv (Cornell University)|Apr 20, 2016

Logic, Reasoning, and Knowledge参考文献 19被引用数 4

ひとこと要約

この論文は、圏論を活用してモジュラーで階層的かつスケーラブルなゲーム設計を可能にする、構成的で図式的な言語としてのストリング図を導入し、経済学におけるゲームのモデリングと構築を目的としている。並列および逐次的合成に加え、抽象化のためのボックス化を用いることで、戦略的相互作用について直感的で形式的な推論が可能となり、検証およびスケーラビリティの観点から関数型プログラミングへの直接的翻訳が可能であることを示している。

ABSTRACT

We introduce string diagrams as a formal mathematical, graphical language to represent, compose, program and reason about games. The language is well established in quantum physics, quantum computing and quantum linguistic with the semantics given by category theory. We apply this language to the game theoretical setting and show examples how to use it for some economic games where we highlight the compositional nature of our higher-order game theory.

研究の動機と目的

• 従来のゲーム理論における構成性の欠如が、大規模な経済システムにおけるスケーラビリティを阻害するという問題に対処すること。
• 量子理論およびコンピュータサイエンスに由来するストリング図を、ゲームの表現と合成のための新しい形式的枠組みとして導入すること。
• 経済学者が直感的な図式的構文を用いて複雑なゲームをモデリングしつつ、厳密な圏的意味論を維持できるようにすること。
• 抽象的なゲーム理論的モデルと、スケーラブルでコンピュータ支援の実装との間の溝を、直接的な関数型プログラミングへの翻訳によって埋めること。
• 図式的な構成性が、経済モデリングにおけるモジュラーな推論、再利用、検証をどのように支援するかを示すこと。

提案手法

• ストリング図を用いて、ストリングが状態空間を、ノードが変換または意思決定を表すプロセスのネットワークとしてゲームを表現すること。
• 図式的な操作（合成、テンソル積、ボックス化）が、well-defined なゲーム理論的演算に対応することを保証するため、圏的意味論を適用すること。
• 並列および逐次的合成を用いて、戦略的構造を保持したまま、単純な要素から複雑なゲームを構築すること。
• ボックス化を用いて、入力と出力を明確に定義された再利用可能な抽象モジュールとしてサブゲームをカプセル化すること。
• ストリング図を直接Haskellコードに翻訳することで、自動検証、均衡のチェック、型安全性を実現すること。
• 整合性定理を活用して、図の位相的変形が意味を保つことを保証し、複雑な数学的詳細を抽象化すること。

実験結果

リサーチクエスチョン

• RQ1 ゲーム理論をどのように構成的にすることで、大規模な経済モデルの構築を可能にすることができるか？
• RQ2 ストリング図は、戦略的ゲームの表現とその合成について、図式的で直感的かつ形式的に妥当な言語を提供できるか？
• RQ3 ストリング図におけるボックス化によって、どの程度階層的なゲーム構造をモデリングし、再利用できるか？
• RQ4 ストリング図の圏的基盤が、図的変形に対する不変性と正しさをどのように保証するか？
• RQ5 ストリング図は直接的に関数型プログラミングコードにコンパイル可能であり、経済モデリングにおける自動推論と検証を可能にするか？

主な発見

• ストリング図は、単純な要素の並列的および逐次的合成を通じて、複雑なゲームの構築を可能にする構成的枠組みを提供する。
• 図式的言語はボックス化による階層的抽象化をサポートし、サブゲームを明確なインターフェースを持つモジュラーで再利用可能なユニットとして扱えるようにする。
• 背後にある圏的意味論により、図の位相的変形が意味を保つことが保証され、低レベルの数学的詳細を追跡することなく形式的な正しさが確保される。
• このフレームワークにより、ストリング図をHaskellコードに直接翻訳でき、自動検証、均衡のチェック、ソフトウェア工学のベストプラクティスとの統合が可能になる。
• このアプローチは、エネルギー・グリッドやマルチレイヤード市場構造のような大規模で複雑なシステムにおいて特に有益である、従来のゲーム理論的表現のスケーラブルな代替手段を提供する。
• この手法は、数学的厳密性を保ちつつ経済学における推論を簡素化できることを示しており、戦略的相互作用のモデリングに新たな抽象化のレイヤーを提供する。