[論文レビュー] Amortized Analysis of Asynchronous Price Dynamics

Yun Kuen Cheung, Richard Cole|arXiv (Cornell University)|Jan 1, 2018

Economic theories and models参考文献 38被引用数 1

ひとこと要約

本稿では、CES または Leontief 効用を有するFisher市場における非同期tatonnementプロセスが市場均衡に収束することを、アモアタイズド解析を用いて証明する。これは、従来の同期的座標降下法との同等性を拡張したものである。価格更新の遅延を制限し、Lipschitz勾配特性を活用することで、中央集権的調整や厳密な時間制約なしに現実的な非同期条件のもとで収束を確立する。

ABSTRACT

We extend a recently developed framework for analyzing asynchronous coordinate descent algorithms to show that an asynchronous version of tatonnement, a fundamental price dynamic widely studied in general equilibrium theory, converges toward a market equilibrium for Fisher markets with CES utilities or Leontief utilities, for which tatonnement is equivalent to coordinate descent.

研究の動機と目的

• 非同期tatonnementがFisher市場において収束することを確立すること。Fisher市場は、もともと中央集権的調整を必要とするためである。
• tatonnementと座標降下法との同等性を非同期設定に拡張し、遅延または非同期な価格更新に対しても頑健性を保証すること。
• Leontief市場解析において従来必要とされていた不自然なステップサイズ制約を排除し、より自然な動的挙動を可能にすること。
• アモアタイズド解析を用いて非同期価格ダイナミクスを分析する一般的な枠組みを提供すること。tatonnementを超える応用にも適用可能である。

提案手法

• アモアタイズド解析を用い、非同期更新における実際の進捗を同期的対応物からの望ましい進捗と関連付ける。
• 進捗の差を二乗超過需要と勾配差に束縛し、価格勾配のLipschitz連続性を活用する。
• 時間に依存するポテンシャル関数 A(t) を導入し、累積的な価格変化とその収束への影響を追跡する。
• 局所的Lipschitz定数と価格比に基づき、更新パラメータ Γτ_kτ に対する収束を保証する十分条件を導出する。
• CES効用の導関数と時間経過による価格比の変化に上限を設け、誤差伝搬を制御する。
• 価格変化の二乗に比例する進捗下限を示すことで収束を確立し、単調な改善を保証する。

実験結果

リサーチクエスチョン

• RQ1 遅延や非同期な更新がある中で、CES または Leontief 効用を有するFisher市場における非同期tatonnementは、市場均衡に収束するのか？
• RQ2 アモアタイズド解析は、現実の市場ダイナミクスにおける非同期性に対応するためにどのように適合可能か？
• RQ3 非同期設定において収束を保証するために、更新パラメータ (Γτ_kτ) に必要なおよび十分な制約は何か？
• RQ4 この枠組みを用いることで、従来のLeontief市場解析で求められていた不自然なステップサイズ制約を排除できるか？
• RQ5 非同期条件下でも、tatonnementと座標降下法との同等性はどの程度保持されるか？

主な発見

• 非同期tatonnementは、CES または Leontief 効用を有するFisher市場において、市場均衡に収束する。これは、従来の同期的結果を拡張するものである。
• 更新パラメータ Γτ_kτ に対する自然な条件のもとで収束が保証される。この条件は、局所的Lipschitz定数と価格比に依存する。
• 従来のLeontief市場tatonnementで課されていた不自然なステップサイズ制約が、本解析により排除され、動的挙動がより現実的になる。
• λ ≤ 1/25.5 のCES効用に対しては、更新パラメータが Γτ_kτ ≥ max{21c1e^{4λ(λ+1)}, 4/c1 · e^{8λ(λ+1)}} · x_kτ(pτ−)/pτ−_kτ を満たす場合に収束が保証される。
• 主な進捗下限は、時間変動するポテンシャル関数と遅延更新のアモアタイズド処理を用いて導出され、収束速度の下限が保証される。
• 本フレームワークは、tatonnementが座標降下法と同等である市場に広く適用可能である。これには、ネスト型CES市場や、補完的・代替的混合CES市場が含まれる。