[論文レビュー] Convergence of Tâtonnement in Fisher Markets

Noa Avigdor-Elgrabli, Yuval Rabani+1 more|arXiv (Cornell University)|Jan 26, 2014

Economic theories and models参考文献 23被引用数 8

ひとこと要約

本稿は、ネスト型CES-Leontief効用関数を備えたFisher市場における離散的tâtonnementプロセスが、有効に市場均衡に収束することを証明しており、従来の収束結果を線形またはLeontief効用に限定されたクラスからより複雑な効用構造へと拡張している。主な貢献は、単純で分散型の価格調整ルールに従う近似均衡計算の多項式時間収束率を確立したことである。

ABSTRACT

Analyzing simple and natural price-adjustment processes that converge to a market equilibrium is a fundamental question in economics. Such an analysis may have implications in economic theory, computational economics, and distributed systems. Tâtonnement, proposed by Walras in 1874, is a process by which prices go up in response to excess demand, and down in response to excess supply. This paper analyzes the convergence of a time-discrete tâtonnement process, a problem that recently attracted considerable attention of computer scientists. We prove that the simple tâtonnement process that we consider converges (efficiently) to equilibrium prices and allocation in markets with nested CES-Leontief utilities, generalizing some of the previous convergence proofs for more restricted types of utility functions.

研究の動機と目的

• 計算経済学における基本的問題である、Fisher市場における離散的tâtonnementプロセスの収束を分析すること。
• 従来の収束結果を、線形またはLeontief効用に限定されたクラスから、より一般的なネスト型CES-Leontief効用関数へと拡張すること。
• tâtonnementプロセスが多項式時間内にδ-近似均衡に収束することを確立し、近似均衡計算の計算効率の良いメカニズムを提供すること。
• 価格調整ルール（超過需要に対して価格を引き上げ、超過供給に対しては引き下げる）が、複雑な効用設定下でも均衡に至ることを示すこと。
• tâtonnementを、エージェントが利己的であるが価格信号に応答する分散型システム（例：クラウドリソース割り当て）における実用的で分散型のアルゴリズムとしての利用を支援すること。

提案手法

• 時間離散型tâtonnementルールを提案し、価格は $ p(t) = (1 - \epsilon) \cdot p(t-1) + \epsilon \cdot f(t) \cdot p(t-1) $ として更新される。ここで $ f(t) $ は時刻 $ t-1 $ における総需要を表す。
• 凸最適化の双対性を用いてこのプロセスの収束を分析し、凹かつ同次的効用関数を有する市場におけるEisenberg-Galeフレームワークを活用する。
• 変分不等式のアプローチを用いて、現在の価格と均衡価格との距離をバインドし、双対潜在関数のヘッセ行列の性質を利用する。
• 資源割り当て効用関数に対して歪み技術を導入し、$ \rho = 1 - \delta/(4\ln k) $ を有するネスト型CES-Leontief効用関数で近似することで収束解析を可能にする。
• コーシー・シュワルツと平均値の定理を用いた議論により、価格更新関数のリプシッツ的挙動をバインドし、均衡に向けた収縮を保証する。
• 双対潜在関数に基づくリャプノフ関数の議論を用いて収束を証明し、均衡への距離が時間とともに幾何的に減少することを示す。

実験結果

リサーチクエスチョン

• RQ1 ネスト型CES-Leontief効用関数を有するFisher市場において、離散的tâtonnementプロセスは市場均衡に収束するか？
• RQ2 tâtonnementの収束速度は、近似パラメータδおよび市場パラメータの観点でバインド可能か？
• RQ3 線形またはLeontiefよりも複雑な、例えばネスト型CES-Leontiefのような効用関数に対しても、tâtonnementプロセスは安定的かつ効率的か？
• RQ4 標準的なtâtonnementが収束を拒むことが知られている資源割り当て効用関数に対しても、tâtonnementを適応可能か？
• RQ5 ステップサイズεとδ-近似均衡における収束時間の関係は何か？

主な発見

• 離散的tâtonnementプロセスは、ネスト型CES-Leontief効用関数を有するFisher市場において、$ T \geq \frac{\kappa_2 \ln(1/p^0_{\min})}{\varepsilon^2 \delta^3} $ を満たす十分に小さなεに対して、δ-近似均衡に収束する。
• 収束速度はδの逆数に関して多項式的であり、初期最小価格の対数的であるため、近似均衡計算の計算効率の良いアルゴリズムが確立される。
• 資源割り当て効用関数（ρ=1のネスト型CES-Leontiefの特別な場合）に対しては、ρ = 1 - δ/(4 ln k) を有する歪みを加えた効用関数に適用したtâtonnementプロセスが収束する。
• 効用関数の歪みは、効用において(1 - δ)要因まで均衡性質を保持し、結果として得られる割り当てがδ-近似均衡条件を満たすことを保証する。
• 証明は、双対潜在関数のヘッセ行列をバインドし、変分不等式を用いて価格更新ルールが均衡価格ベクトルに収束することを示す。
• 解析により、従来の収束結果の適用範囲外であった効用関数に対しても、tâtonnementプロセスが安定的かつ収束的であることが示された。