[論文レビュー] To Infinity and Beyond: A General Framework for Scaling Economic Theories

Yannai A. Gonczarowski, Scott Duke Kominers+1 more|arXiv (Cornell University)|Jun 25, 2019

Economic theories and models被引用数 4

ひとこと要約

この論文は、モデル理論的コンパクト性に基づく一般化された論理的枠組みを導入し、証明を変更せずに経済的定理を有限から無限の設定へスケーリングすることを可能にする。有限モデルの定理から無限時空や無限エージェントの結果を導出可能であり、証明の論理的構造を確認するだけでよく、提示された好みの理論やマッチング理論への応用において、短く再利用可能な証明を生み出す。

ABSTRACT

Many economic theory models incorporate finiteness assumptions that, while introduced for simplicity, play a real role in the analysis. We provide a principled framework for scaling results from such models by removing these finiteness assumptions. Our sufficient conditions are on the theorem statement only, and not on its proof. This results in short proofs, and even allows to use the same argument to scale similar theorems that were proven using distinctly different tools. We demonstrate the versatility of our approach via examples from both revealed-preference theory and matching theory.

研究の動機と目的

• 経済モデルにおける有限性仮定が理論的性質を曇らせる概念的・分析的制限を是正すること。
• 既存の証明を変更せずに有限モデルの結果を無限の設定へ拡張できる、証明に依存しない一般化手法の開発。
• 提示された手法の多様性を示すために、提示された好み理論およびマッチング理論の基礎的結果への応用。
• 定理のスケーラビリティが、証明の複雑さではなく、その論理的構造にのみ依存することを確立すること。
• 特殊な構成を避けて、異なる経済的文脈において既存の議論を再利用可能な統一的アプローチを提供すること。

提案手法

• 一階論理のコンパクト性定理を活用し、有限部分モデルから無限設定におけるモデルの存在を推論する。
• 与えられた経済モデル（例：好み、容量、マッチング）の条件を命題変数および述語変数を用いて一階論理的理論として表現する。
• 与えられたモデルインスタンスに関して、安定性、実行可能性、ブロッキング条件といったすべての関連制約を表す論理式の集合を定義する。
• 有限部分集合の性質を適用：理論のすべての有限部分集合がモデルを持つならば、全体の理論に対してもモデルが存在する。これにより、無限解の存在が保証される。
• 論理的コンパクト性を用いて、有限定理の無限時空または無限エージェント版（例：無限の病院を有する安定マッチング、無限データセット上の需要関数）を導出する。
• 同じ論理的枠組みを、提示された好みやマッチング理論といった異なる分野に再利用可能であることを示し、分野固有の制約を同じ論理的構造内に組み込む。

実験結果

リサーチクエスチョン

• RQ1 証明を再構築せずに、有限経済的定理を体系的に無限の設定へ拡張可能か？
• RQ2 定理の記述に必要な論理的条件は何か？ これにより、有限モデルから無限モデルへのスケーリングが保証される。
• RQ3 スケーリング後、同じ証明戦略を異なる経済理論間でどの程度再利用可能か？
• RQ4 論理的一致性を用いて、有限モデルから無限モデル（例：無限時空マッチング、無限需要関数）をどのように構築できるか？
• RQ5 特殊な無限拡張に比べ、モデル理論的コンパクト性を用いることで得られる概念的・技術的利点は何か？

主な発見

• 安定性条件の論理的構造のみを確認することで、有限の安定マッチングから無限時空の安定マッチングを導出可能である。
• コンパクト性を用いて、無限設定における男性最適安定マッチングの存在が示され、新たな証明技術を必要としない。
• 有限データを仮定する提示された好みの定理は、定理の論理的構造を確認するだけで、無限需要関数へ拡張可能である。
• 証明固有の詳細を抽象化することで、マッチング理論や提示された好み理論といった多様な分野において、短く一様な証明を生み出す。
• この枠組みにより、スケーラビリティが定理の論理的構造にのみ依存し、元の証明の複雑さとは無関係であることが特定された。
• このアプローチは、二重に無限の時空や無限容量制約を含むケースを含め、マッチング理論において有限から無限の設定への結果の一般化に成功した。