[论文解读] 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市场中的收敛性，这些市场此前被认为需要集中协调。
• 将tatonnement与坐标下降之间的等价性扩展至异步设置，确保对延迟或不同步价格更新的鲁棒性。
• 消除先前在Leontief市场分析中所需的对步长的非自然约束，使动态过程更加自然。
• 提供一种使用摊销分析分析异步价格动态的一般框架，适用于tatonnement之外的场景。

提出的方法

• 使用摊销分析将异步更新中的实际进展与同步对应物的期望进展关联起来。
• 将进展差异与平方超额需求及梯度差异绑定，利用价格梯度的Lipschitz连续性。
• 引入一个依赖时间的势函数A(t)，以追踪累积价格变化及其对收敛的影响。
• 基于局部Lipschitz常数和价格比，推导出确保收敛的更新参数Γτ_kτ的充分条件。
• 通过对CES效用导数和价格比随时间的变化施加边界，控制误差传播。
• 通过证明进展下界与价格变化的平方成正比，确保单调改进，从而建立收敛性。

实验结果

研究问题

• RQ1 在存在延迟和不同步更新的情况下，异步tatonnement能否在具有CES或Leontief效用的Fisher市场中收敛至市场均衡？
• 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市场。